Multisymplectic Structures Research Articles

On the development of a high-order compact scheme for exhibiting the switching and dissipative solution natures in the Camassa–Holm equation

In this paper a two-step iterative solution algorithm for solving the Camassa–Holm equation, which involves only the first-order derivative term, is presented. In each set of the u − P and u − m differential equations, one is governed by the inviscid nonlinear convection–reaction equation for the time-evolving fluid velocity component along the horizontal direction. The other equation is known as the inhomogeneous Helmholtz equation. The resulting reduction of differential order facilitates us to develop the flux discretization scheme in a stencil with comparatively fewer points. For accurately predicting the unidirectional propagation of the shallow water wave, the modified equation analysis for eliminating several leading discretization error terms and the Fourier analysis for minimizing a particular type of wave-like error are employed. In this study, the fifth-order spatially accurate combined compact upwind scheme is developed in a three-point stencil for approximating the first-order derivative term. For the purpose of retaining a long-term accurate Hamiltonian and multi-symplectic geometric structures in Camassa–Holm equation, the time integrator (or time-stepping scheme) chosen in this study should conserve symplecticity. Another main emphasis of conducting the present calculation of Camassa–Holm equation is to shed light on the conservation of Hamiltonians up to the time before wave breaking. We also intended to elucidate the switching scenario by virtue of the peakon–peakon interaction problem and the dissipative scenario after the time of head-on collision in the peakon–antipeakon interaction problem.

On higher analogues of Courant algebroids

In this paper, we study the algebraic properties of the higher analogues of Courant algebroid structures on the direct sum bundle TM ⊕ ∧ n T*M for an m-dimensional manifold. As an application, we revisit Nambu-Poisson structures and multisymplectic structures. We prove that the graph of an (n+1)-vector field π is closed under the higher-order Dorfman bracket iff π is a Nambu-Poisson structure. Consequently, there is an induced Leibniz algebroid structure on ∧ n T*M. The graph of an (n+1)-form ω is closed under the higher-order Dorfman bracket iff ω is a premultisymplectic structure of order n, i.e., dω = 0. Furthermore, there is a Lie algebroid structure on the admissible bundle A ⊂ ∧ n T*M. In particular, for a 2-plectic structure, it induces the Lie 2-algebra structure given in (Baez, Hoffnung and Rogers, 2010).

Symplectic and multisymplectic numerical methods for Maxwell’s equations

In this paper, we compare the behaviour of one symplectic and three multisymplectic methods for Maxwell’s equations in a simple medium. This is a system of PDEs with symplectic and multisymplectic structures. We give a theoretical discussion of how some numerical methods preserve the discrete versions of the local and global conservation laws and verify this behaviour in numerical experiments. We also show that these numerical methods preserve the divergence. Furthermore, we extend the discussion on dispersion for (multi)symplectic methods applied to PDEs with one spatial dimension, to include anisotropy when applying (multi)symplectic methods to Maxwell’s equations in two spatial dimensions. Lastly, we demonstrate how varying the Courant–Friedrichs–Lewy (CFL) number can cause the (multi)symplectic methods in our comparison to behave differently, which can be explained by the study of backward error analysis for PDEs.

Multisymplectic structures and the variational bicomplex

AbstractMultisymplecticity and the variational bicomplex are two subjects which have developed independently. Our main observation is that re-analysis of multisymplectic systems from the view of the variational bicomplex not only is natural but also generates new fundamental ideas about multisymplectic Hamiltonian PDEs. The variational bicomplex provides a natural grading of differential forms according to their base and fibre components, and this structure generates a new relation between the geometry of the base, covariant multisymplectic PDEs and the conservation of symplecticity. Our formulation also suggests a new view of Noether theory for multisymplectic systems, leading to a definition of multimomentum maps that we apply to give a coordinate-free description of multisymplectic relative equilibria. Our principal example is the class of multisymplectic systems on the total exterior algebra bundle over a Riemannian manifold.

Multisymplectic Structures and Discretizations for One-way Wave Equations

Multisymplectic structures for one-way wave equations are presented in this letter. Based on the multisymplectic formulation, we obtain the corresponding multisymplectic discretizations. The structure-preserving property of a finite difference scheme for the first-order one-way wave equation is proved. Implications and applications of this result are explored.

Canonical multi-symplectic structure on the total exterior algebra bundle

The aim of this paper is to construct multi-symplectic structures starting with the geometry of an oriented Riemannian manifold, independent of a Lagrangian or a particular partial differential equation (PDE). The principal observation is that on an n -dimensional orientable manifold M there is a canonical quadratic form Θ associated with the total exterior algebra bundle on M . On the fibre, which has dimension 2 n , the form Θ can be locally decomposed into n classical symplectic structures. When concatenated, these n -symplectic structures define a partial differential operator, J ∂ , which turns out to be a Dirac operator with multi-symplectic structure. The operator J ∂ generalizes the product operator J (d/d t ) in classical symplectic geometry, and M is a generalization of the base manifold (i.e. time) in classical Hamiltonian dynamics. The structure generated by Θ provides a natural setting for analysing a class of covariant nonlinear gradient elliptic operators. The operator J ∂ is elliptic, and the generalization of Hamiltonian systems, J ∂ Z =∇ S ( Z ), for a section Z of the total exterior algebra bundle, is also an elliptic PDE. The inverse problem—find S ( Z ) for a given elliptic PDE—is shown to be related to a variant of the Legendre transform on k -forms. The theory is developed for flat base manifolds, but the constructions are coordinate free and generalize to Riemannian manifolds with non-trivial curvature. Some applications and implications of the theory are also discussed.

Local Lagrangian formalism and discretization of the Heisenberg magnet model

In this paper we develop the Lagrangian and multisymplectic structures of the Heisenberg magnet (HM) model which are then used as the basis for geometric discretizations of HM. Despite a topological obstruction to the existence of a global Lagrangian density, a local variational formulation allows one to derive local conservation laws using a version of Nöther’s theorem from the formal variational calculus of Gelfand-Dikii. Using the local Lagrangian form we extend the method of Marsden, Patrick and Schkoller to derive local multisymplectic discretizations directly from the variational principle. We employ a version of the finite element method to discretize the space of sections of the trivial magnetic spin bundle N = M × S 2 over an appropriate space-time M. Since sections do not form a vector space, the usual FEM bases can be used only locally with coordinate transformations intervening on element boundaries, and conservation properties are guaranteed only within an element. We discuss possible ways of circumventing this problem, including the use of a local version of the method of characteristics, non-polynomial FEM bases and Lie-group discretization methods.

Difference Discrete Variational Principles, Euler–Lagrange Cohomology and Symplectic, Multisymplectic Structures III: Application to Symplectic and Multisymplectic Algorithms**The project supported by National Natural Science Foundation of China and National Key Project for Basic Research of China (G1998030601)

In the previous papers I and II, we have studied the difference discrete variational principle and the Euler–Lagrange cohomology in the framework of multi-parameter differential approach. We have gotten the difference discrete Euler–Lagrange equations and canonical ones for the difference discrete versions of classical mechanics and field theory as well as the difference discrete versions for the Euler–Lagrange cohomology and applied them to get the necessary and sufficient condition for the symplectic or multisymplectic geometry preserving properties in both the Lagrangian and Hamiltonian formalisms. In this paper, we apply the difference discrete variational principle and Euler–Lagrange cohomological approach directly to the symplectic and multisymplectic algorithms. We will show that either Hamiltonian schemes or Lagrangian ones in both the symplectic and multisymplectic algorithms are variational integrators and their difference discrete symplectic structure-preserving properties can always be established not only in the solution space but also in the function space if and only if the related closed Euler–Lagrange cohomological conditions are satisfied.

Difference Discrete Variational Principle, Euler–Lagrange Cohomology and Symplectic, Multisymplectic Structures II: Euler–Lagrange Cohomology**The project partly supported by National Natural Science Foundation of China and National Key Project for Basic Research of China (G1998030601)

In this second paper of a series of papers, we explore the difference discrete versions for the Euler–Lagrange cohomology and apply them to the symplectic or multisymplectic geometry and their preserving properties in both the Lagrangian and Hamiltonian formalisms for discrete mechanics and field theory in the framework of multi-parameter differential approach. In terms of the difference discrete Euler–Lagrange cohomological concepts, we show that the symplectic or multisymplectic geometry and their difference discrete structure-preserving properties can always be established not only in the solution spaces of the discrete Euler–Lagrange or canonical equations derived by the difference discrete variational principle but also in the function space in each case if and only if the relevant closed Euler–Lagrange cohomological conditions are satisfied.

Difference Discrete Variational Principles, Euler–Lagrange Cohomology and Symplectic, Multisymplectic Structures I: Difference Discrete Variational Principle**The project supported by National Natural Science Foundation of China and National Key Project for Basic Research of China (G1998030601)

In this first paper of a series, we study the difference discrete variational principle in the framework of multi-parameter differential approach by regarding the forward difference as an entire geometric object in view of noncommutative differential geometry. Regarding the difference as an entire geometric object, the difference discrete version of Legendre transformation can be introduced. By virtue of this variational principle, we can discretely deal with the variation problems in both the Lagrangian and Hamiltonian formalisms to get difference discrete Euler–Lagrange equations and canonical ones for the difference discrete versions of the classical mechanics and classical field theory.

On Symplectic and Multisymplectic Structures and Their Discrete Versions in Lagrangian Formalism

We introduce the Euler–Lagrange cohomology to study the symplectic and multisymplectic structures and their preserving properties in finite and infinite dimensional Lagrangian systems respectively. We also explore their certain difference discrete counterparts in the relevant regularly discretized finite and infinite dimensional Lagrangian systems by means of the difference discrete variational principle with the difference being regarded as an entire geometric object and the noncommutative differential calculus on regular lattice. In order to show that in all these cases the symplectic and multisymplectic preserving properties do not necessarily depend on the relevant Euler–Lagrange equations, the Euler–Lagrange cohomological concepts and content in the configuration space are employed.

On the geometry of multisymplectic manifolds

AbstractA multisymplectic structure on a manifold is defined by a closed differential form with zero characteristic distribution. Starting from the linear case, some of the basic properties of multisymplectic structures are described. Various examples of multisymplectic manifolds are considered, and special attention is paid to the canonical multisymplectic structure living on a bundle of exterior k-forms on a manifold. For a class of multisymplectic manifolds admitting a ‘Lagrangian’ fibration, a general structure theorem is given which, in particular, leads to a classification of these manifolds in terms of a prescribed family of cohomology classes.

Multi-symplectic structures and wave propagation

A Hamiltonian structure is presented, which generalizes classical Hamiltonian structure, by assigning a distinct symplectic operator for each unbounded space direction and time, of a Hamiltonian evolution equation on one or more space dimensions. This generalization, called multi-symplectic structures, is shown to be natural for dispersive wave propagation problems. Application of the abstract properties of the multi-symplectic structures framework leads to a new variational principle for space-time periodic states reminiscent of the variational principle for invariant tori, a geometric reformulation of the concepts of action and action flux, a rigorous proof of the instability criterion predicted by the Whitham modulation equations, a new symplectic decomposition of the Noether theory, generalization of the concept of reversibility to space-time and a proof of Lighthill's geometric criterion for instability of periodic waves travelling in one space dimension. The nonlinear Schrödinger equation and the water-wave problem are characterized as Hamiltonian systems on a multi-symplectic structure for example. Further ramifications of the generalized symplectic structure of theoretical and practical interest are also discussed.