# American Institute of Mathematical Sciences

June  2019, 6(1): 111-130. doi: 10.3934/jcd.2019005

## Symplectic integration of PDEs using Clebsch variables

 1 School of Fundamental Sciences, Massey University, Private Bag 11 222, Palmerston North, 4442, New Zealand 2 Department of Mathematical Sciences, Norwegian University of Science and Technology, Sentralbygg 2, Gløshaugen, Norway

Published  July 2019

Fund Project: This research was supported by the Marsden Fund of the Royal Society Te Apārangi.

Many PDEs (Burgers' equation, KdV, Camassa-Holm, Euler's fluid equations, …) can be formulated as infinite-dimensional Lie-Poisson systems. These are Hamiltonian systems on manifolds equipped with Poisson brackets. The Poisson structure is connected to conservation properties and other geometric features of solutions to the PDE and, therefore, of great interest for numerical integration. For the example of Burgers' equations and related PDEs we use Clebsch variables to lift the original system to a collective Hamiltonian system on a symplectic manifold whose structure is related to the original Lie-Poisson structure. On the collective Hamiltonian system a symplectic integrator can be applied. Our numerical examples show excellent conservation properties and indicate that the disadvantage of an increased phase-space dimension can be outweighed by the advantage of symplectic integration.

Citation: Robert I McLachlan, Christian Offen, Benjamin K Tapley. Symplectic integration of PDEs using Clebsch variables. Journal of Computational Dynamics, 2019, 6 (1) : 111-130. doi: 10.3934/jcd.2019005
##### References:

show all references

##### References:
Uniform periodic grids on $S^1 \cong \mathbb{R}/L\mathbb{Z}$, $L>0$
Order-two convergence for the travelling wave solution of the extended Burgers' equation outlined in section 6.2. The plots correspond to the conventional solution (○) and the collective solution (△) and an order-two reference line (). The error is calculated after 512 timesteps, with $L = 8$, $\Delta t = 2^{-14}$ and $\Delta x = L/2^{k}$ for $k = 1,2,3$ and $4$
Inviscid Burgers' equation solutions of the conventional method () and collective method (). The grid parameters are $n_x = 64$, $\Delta x = 0.125$, $L = 8$ and $\Delta t = 2^{-12}$. A shock forms at about $t = 0.4$
The errors corresponding to the conventional () and collective () methods for the inviscid Burgers' equation and $\mathcal{O}(t^2)$ reference lines ()
Travelling wave solutions of the perturbed Burgers' equation (top row) and the positive Fourier modes (bottom row) at $t = 109$ (left column), $t = 218$ (middle column) and $t = 437$ (right column). The plots correspond to the conventional method (), collective method () and the exact travelling wave solution (). The grid parameters are $n_x = 16$, $\Delta x = 0.5$, $L = 8$ and $\Delta t = 2^{-6}$
The errors corresponding to the conventional () and collective () methods for the travelling wave experiment. The reference lines () are $\mathcal{O}(t)$ in figures (a) and (b) and exponential in figure (c)
Periodic bump solutions of the extended Burgers' equation (top row) and the positive Fourier modes (bottom row) at $t = 10$ (left column), $t = 100$ (middle column) and $t = 1000$ (right column). The plots correspond to the conventional method () and the collective method (). The grid parameters are $n_x = 32$, $\Delta x = 0.25$, $L = 8$ and $\Delta t = 2^{-8}$
The errors corresponding to the conventional () and collective () methods for the periodic bump example. The reference line () in figure (a) is $\mathcal{O}(t)$
Overview of the setting
 Continuous system Spatially discretised system Collective Hamiltonian system on an infinite-dimensional symplectic vector space in Clebsch variables $q_t = \frac{\delta \bar H}{\delta p}, \quad p_t = -\frac{\delta \bar H}{\delta q}.$ Exact solutions preserve the symplectic structure, the Hamiltonian $\bar H=H\circ J$, all quantities related to the Casimirs of the original PDE and the fibres of the Clebsch map $J(q,p)=u$. Canonical Hamiltonian ODEs in $2N$ variables $\hat q_t = \nabla_{\hat p} \hat {\bar H}, \quad \hat p_t = - \nabla_{\hat q} \hat {\bar H}.$ The exact flow preserves the symplectic structure and the Hamiltonian $\hat {\bar H}$. Time-integration with the midpoint rule is symplectic. Original PDE, interpreted as a Lie-Poisson equation $u_t = \mathrm{ad}^\ast_{\frac {\delta H}{\delta u}}u.$ Exact solutions preserve the Poisson structure, the Hamiltonian $H$ and all Casimirs. Non-Hamiltonian ODEs in $N$ variables $\hat u_t = K(\hat u) \nabla_{\hat u} \hat H, \qquad K^T=-K.$ Exact solutions conserve $\hat H$. Time-integration with the midpoint rule is not symplectic.
 Continuous system Spatially discretised system Collective Hamiltonian system on an infinite-dimensional symplectic vector space in Clebsch variables $q_t = \frac{\delta \bar H}{\delta p}, \quad p_t = -\frac{\delta \bar H}{\delta q}.$ Exact solutions preserve the symplectic structure, the Hamiltonian $\bar H=H\circ J$, all quantities related to the Casimirs of the original PDE and the fibres of the Clebsch map $J(q,p)=u$. Canonical Hamiltonian ODEs in $2N$ variables $\hat q_t = \nabla_{\hat p} \hat {\bar H}, \quad \hat p_t = - \nabla_{\hat q} \hat {\bar H}.$ The exact flow preserves the symplectic structure and the Hamiltonian $\hat {\bar H}$. Time-integration with the midpoint rule is symplectic. Original PDE, interpreted as a Lie-Poisson equation $u_t = \mathrm{ad}^\ast_{\frac {\delta H}{\delta u}}u.$ Exact solutions preserve the Poisson structure, the Hamiltonian $H$ and all Casimirs. Non-Hamiltonian ODEs in $N$ variables $\hat u_t = K(\hat u) \nabla_{\hat u} \hat H, \qquad K^T=-K.$ Exact solutions conserve $\hat H$. Time-integration with the midpoint rule is not symplectic.
 [1] Denis Bonheure, Silvia Cingolani, Simone Secchi. Concentration phenomena for the Schrödinger-Poisson system in $\mathbb{R}^2$. Discrete & Continuous Dynamical Systems - S, 2020  doi: 10.3934/dcdss.2020447 [2] Peter Poláčik, Pavol Quittner. Entire and ancient solutions of a supercritical semilinear heat equation. Discrete & Continuous Dynamical Systems - A, 2021, 41 (1) : 413-438. doi: 10.3934/dcds.2020136 [3] Jianhua Huang, Yanbin Tang, Ming Wang. Singular support of the global attractor for a damped BBM equation. Discrete & Continuous Dynamical Systems - B, 2020  doi: 10.3934/dcdsb.2020345 [4] Stefano Bianchini, Paolo Bonicatto. Forward untangling and applications to the uniqueness problem for the continuity equation. Discrete & Continuous Dynamical Systems - A, 2020  doi: 10.3934/dcds.2020384 [5] Siyang Cai, Yongmei Cai, Xuerong Mao. A stochastic differential equation SIS epidemic model with regime switching. Discrete & Continuous Dynamical Systems - B, 2020  doi: 10.3934/dcdsb.2020317 [6] Xuefei He, Kun Wang, Liwei Xu. Efficient finite difference methods for the nonlinear Helmholtz equation in Kerr medium. Electronic Research Archive, 2020, 28 (4) : 1503-1528. doi: 10.3934/era.2020079 [7] Cheng He, Changzheng Qu. Global weak solutions for the two-component Novikov equation. Electronic Research Archive, 2020, 28 (4) : 1545-1562. doi: 10.3934/era.2020081 [8] Hirokazu Ninomiya. Entire solutions of the Allen–Cahn–Nagumo equation in a multi-dimensional space. Discrete & Continuous Dynamical Systems - A, 2021, 41 (1) : 395-412. doi: 10.3934/dcds.2020364 [9] Jiaquan Liu, Xiangqing Liu, Zhi-Qiang Wang. Sign-changing solutions for a parameter-dependent quasilinear equation. Discrete & Continuous Dynamical Systems - S, 2020  doi: 10.3934/dcdss.2020454 [10] Thierry Cazenave, Ivan Naumkin. Local smooth solutions of the nonlinear Klein-gordon equation. Discrete & Continuous Dynamical Systems - S, 2020  doi: 10.3934/dcdss.2020448 [11] Reza Chaharpashlou, Abdon Atangana, Reza Saadati. On the fuzzy stability results for fractional stochastic Volterra integral equation. Discrete & Continuous Dynamical Systems - S, 2020  doi: 10.3934/dcdss.2020432 [12] Leilei Wei, Yinnian He. A fully discrete local discontinuous Galerkin method with the generalized numerical flux to solve the tempered fractional reaction-diffusion equation. Discrete & Continuous Dynamical Systems - B, 2020  doi: 10.3934/dcdsb.2020319 [13] Xin-Guang Yang, Lu Li, Xingjie Yan, Ling Ding. The structure and stability of pullback attractors for 3D Brinkman-Forchheimer equation with delay. Electronic Research Archive, 2020, 28 (4) : 1395-1418. doi: 10.3934/era.2020074 [14] Kihoon Seong. Low regularity a priori estimates for the fourth order cubic nonlinear Schrödinger equation. Communications on Pure & Applied Analysis, 2020, 19 (12) : 5437-5473. doi: 10.3934/cpaa.2020247 [15] Ahmad Z. Fino, Wenhui Chen. A global existence result for two-dimensional semilinear strongly damped wave equation with mixed nonlinearity in an exterior domain. Communications on Pure & Applied Analysis, 2020, 19 (12) : 5387-5411. doi: 10.3934/cpaa.2020243 [16] José Luis López. A quantum approach to Keller-Segel dynamics via a dissipative nonlinear Schrödinger equation. Discrete & Continuous Dynamical Systems - A, 2020  doi: 10.3934/dcds.2020376 [17] S. Sadeghi, H. Jafari, S. Nemati. Solving fractional Advection-diffusion equation using Genocchi operational matrix based on Atangana-Baleanu derivative. Discrete & Continuous Dynamical Systems - S, 2020  doi: 10.3934/dcdss.2020435 [18] Claudianor O. Alves, Rodrigo C. M. Nemer, Sergio H. Monari Soares. The use of the Morse theory to estimate the number of nontrivial solutions of a nonlinear Schrödinger equation with a magnetic field. Communications on Pure & Applied Analysis, , () : -. doi: 10.3934/cpaa.2020276 [19] Lihong Zhang, Wenwen Hou, Bashir Ahmad, Guotao Wang. Radial symmetry for logarithmic Choquard equation involving a generalized tempered fractional $p$-Laplacian. Discrete & Continuous Dynamical Systems - S, 2020  doi: 10.3934/dcdss.2020445 [20] Yongxiu Shi, Haitao Wan. Refined asymptotic behavior and uniqueness of large solutions to a quasilinear elliptic equation in a borderline case. Electronic Research Archive, , () : -. doi: 10.3934/era.2020119

Impact Factor: