-
Variational Principles for Hamiltonian Systems
Authors:
Brian K. Tran,
Melvin Leok
Abstract:
Motivated by recent developments in Hamiltonian variational principles, Hamiltonian variational integrators, and their applications such as to optimization and control, we present a new Type II variational approach for Hamiltonian systems, based on a virtual work principle that enforces the Type II boundary conditions through a combination of essential and natural boundary conditions; particularly…
▽ More
Motivated by recent developments in Hamiltonian variational principles, Hamiltonian variational integrators, and their applications such as to optimization and control, we present a new Type II variational approach for Hamiltonian systems, based on a virtual work principle that enforces the Type II boundary conditions through a combination of essential and natural boundary conditions; particularly, this approach allows us to define this variational principle intrinsically on manifolds. We first develop this variational principle on vector spaces and subsequently extend it to parallelizable manifolds, general manifolds, as well as to the infinite-dimensional setting. Furthermore, we provide a review of variational principles for Hamiltonian systems in various settings as well as their applications.
△ Less
Submitted 3 February, 2025; v1 submitted 3 October, 2024;
originally announced October 2024.
-
Discrete Dirac reduction of implicit Lagrangian systems with abelian symmetry groups
Authors:
Álvaro Rodríguez Abella,
Melvin Leok
Abstract:
This paper develops the theory of discrete Dirac reduction of discrete Lagrange-Dirac systems with an abelian symmetry group acting on the configuration space. We begin with the linear theory and, then, we extend it to the nonlinear setting using retraction compatible charts. We consider the reduction of both the discrete Dirac structure and the discrete Lagrange-Pontryagin principle, and show tha…
▽ More
This paper develops the theory of discrete Dirac reduction of discrete Lagrange-Dirac systems with an abelian symmetry group acting on the configuration space. We begin with the linear theory and, then, we extend it to the nonlinear setting using retraction compatible charts. We consider the reduction of both the discrete Dirac structure and the discrete Lagrange-Pontryagin principle, and show that they both lead to the same discrete Lagrange-Poincaré-Dirac equations. The coordinatization of the discrete reduced spaces relies on the notion of discrete connections on principal bundles. At last, we demonstrate the method obtained by applying it to a charged particle in a magnetic field, and to the double spherical pendulum.
△ Less
Submitted 27 June, 2022; v1 submitted 1 February, 2022;
originally announced February 2022.
-
Nearly-periodic maps and geometric integration of noncanonical Hamiltonian systems
Authors:
J. W. Burby,
E. Hirvijoki,
M. Leok
Abstract:
M. Kruskal showed that each continuous-time nearly-periodic dynamical system admits a formal $U(1)$ symmetry, generated by the so-called roto-rate. When the nearly-periodic system is also Hamiltonian, Noether's theorem implies the existence of a corresponding adiabatic invariant. We develop a discrete-time analoue of Kruskal's theory. Nearly-periodic maps are defined as parameter-dependent diffeom…
▽ More
M. Kruskal showed that each continuous-time nearly-periodic dynamical system admits a formal $U(1)$ symmetry, generated by the so-called roto-rate. When the nearly-periodic system is also Hamiltonian, Noether's theorem implies the existence of a corresponding adiabatic invariant. We develop a discrete-time analoue of Kruskal's theory. Nearly-periodic maps are defined as parameter-dependent diffeomorphisms that limit to rotations along a $U(1)$-action. When the limiting rotation is non-resonant, these maps admit formal $U(1)$ symmetries to all orders in perturbation theory. For Hamiltonian nearly-periodic maps on exact presymplectic manifolds, we prove that the formal $U(1)$ symmetry gives rise to a discrete-time adiabatic invariant using a discrete-time extension of Noether's theorem. When the unperturbed $U(1)$-orbits are contractible, we also find a discrete-time adiabatic invariant for mappings that are merely presymplectic, rather than Hamiltonian. As an application of the theory, we use it to develop a novel technique for geometric integration of non-canonical Hamiltonian systems on exact symplectic manifolds.
△ Less
Submitted 15 December, 2021;
originally announced December 2021.
-
Variational Structures in Cochain Projection Based Variational Discretizations of Lagrangian PDEs
Authors:
Brian Tran,
Melvin Leok
Abstract:
Compatible discretizations, such as finite element exterior calculus, provide a discretization framework that respect the cohomological structure of the de Rham complex, which can be used to systematically construct stable mixed finite element methods. Multisymplectic variational integrators are a class of geometric numerical integrators for Lagrangian and Hamiltonian field theories, and they yiel…
▽ More
Compatible discretizations, such as finite element exterior calculus, provide a discretization framework that respect the cohomological structure of the de Rham complex, which can be used to systematically construct stable mixed finite element methods. Multisymplectic variational integrators are a class of geometric numerical integrators for Lagrangian and Hamiltonian field theories, and they yield methods that preserve the multisymplectic structure and momentum-conservation properties of the continuous system. In this paper, we investigate the synthesis of these two approaches, by constructing discretization of the variational principle for Lagrangian field theories utilizing structure-preserving finite element projections. In our investigation, compatible discretization by cochain projections plays a pivotal role in the preservation of the variational structure at the discrete level, allowing the discrete variational structure to essentially be the restriction of the continuum variational structure to a finite-dimensional subspace. The preservation of the variational structure at the discrete level will allow us to construct a discrete Cartan form, which encodes the variational structure of the discrete theory, and subsequently, we utilize the discrete Cartan form to naturally state discrete analogues of Noether's theorem and multisymplecticity, which generalize those introduced in the discrete Lagrangian variational framework by Marsden et al. [29]. We will study both covariant spacetime discretization and canonical spatial semi-discretization, and subsequently relate the two in the case of spacetime tensor product finite element spaces.
△ Less
Submitted 26 August, 2022; v1 submitted 16 March, 2021;
originally announced March 2021.
-
Symplectic Semiclassical Wave Packet Dynamics
Authors:
Tomoki Ohsawa,
Melvin Leok
Abstract:
The paper gives a symplectic-geometric account of semiclassical Gaussian wave packet dynamics. We employ geometric techniques to "strip away" the symplectic structure behind the time-dependent Schrödinger equation and incorporate it into semiclassical wave packet dynamics. We show that the Gaussian wave packet dynamics is a Hamiltonian system with respect to the symplectic structure, apply the the…
▽ More
The paper gives a symplectic-geometric account of semiclassical Gaussian wave packet dynamics. We employ geometric techniques to "strip away" the symplectic structure behind the time-dependent Schrödinger equation and incorporate it into semiclassical wave packet dynamics. We show that the Gaussian wave packet dynamics is a Hamiltonian system with respect to the symplectic structure, apply the theory of symplectic reduction and reconstruction to the dynamics, and discuss dynamic and geometric phases in semiclassical mechanics. A simple harmonic oscillator example is worked out to illustrate the results: We show that the reduced semiclassical harmonic oscillator dynamics is completely integrable by finding the action--angle coordinates for the system, and calculate the associated dynamic and geometric phases explicitly. We also propose an asymptotic approximation of the potential term that provides a practical semiclassical correction term to the approximation by Heller. Numerical results for a simple one-dimensional example show that the semiclassical correction term realizes a semiclassical tunneling.
△ Less
Submitted 7 September, 2013; v1 submitted 5 February, 2013;
originally announced February 2013.
-
Dirac Structures and Hamilton-Jacobi Theory for Lagrangian Mechanics on Lie Algebroids
Authors:
Melvin Leok,
Diana Sosa
Abstract:
This paper develops the notion of implicit Lagrangian systems on Lie algebroids and a Hamilton--Jacobi theory for this type of system. The Lie algebroid framework provides a natural generalization of classical tangent bundle geometry. We define the notion of an implicit Lagrangian system on a Lie algebroid $E$ using Dirac structures on the Lie algebroid prolongation $\T^EE^*$. This setting include…
▽ More
This paper develops the notion of implicit Lagrangian systems on Lie algebroids and a Hamilton--Jacobi theory for this type of system. The Lie algebroid framework provides a natural generalization of classical tangent bundle geometry. We define the notion of an implicit Lagrangian system on a Lie algebroid $E$ using Dirac structures on the Lie algebroid prolongation $\T^EE^*$. This setting includes degenerate Lagrangian systems with nonholonomic constraints on Lie algebroids.
△ Less
Submitted 19 November, 2012;
originally announced November 2012.
-
A novel formulation of point vortex dynamics on the sphere: geometrical and numerical aspects
Authors:
Joris Vankerschaver,
Melvin Leok
Abstract:
In this paper, we present a novel Lagrangian formulation of the equations of motion for point vortices on the unit 2-sphere. We show first that no linear Lagrangian formulation exists directly on the 2-sphere but that a Lagrangian may be constructed by pulling back the dynamics to the 3-sphere by means of the Hopf fibration. We then use the isomorphism of the 3-sphere with the Lie group SU(2) to d…
▽ More
In this paper, we present a novel Lagrangian formulation of the equations of motion for point vortices on the unit 2-sphere. We show first that no linear Lagrangian formulation exists directly on the 2-sphere but that a Lagrangian may be constructed by pulling back the dynamics to the 3-sphere by means of the Hopf fibration. We then use the isomorphism of the 3-sphere with the Lie group SU(2) to derive a variational Lie group integrator for point vortices which is symplectic, second-order, and preserves the unit-length constraint. At the end of the paper, we compare our integrator with classical fourth-order Runge--Kutta, the second-order midpoint method, and a standard Lie group Munthe-Kaas method.
△ Less
Submitted 20 June, 2013; v1 submitted 19 November, 2012;
originally announced November 2012.
-
The Hamilton-Pontryagin Principle and Multi-Dirac Structures for Classical Field Theories
Authors:
Joris Vankerschaver,
Hiroaki Yoshimura,
Melvin Leok
Abstract:
We introduce a variational principle for field theories, referred to as the Hamilton-Pontryagin principle, and we show that the resulting field equations are the Euler-Lagrange equations in implicit form. Secondly, we introduce multi-Dirac structures as a graded analog of standard Dirac structures, and we show that the graph of a multisymplectic form determines a multi-Dirac structure. We then dis…
▽ More
We introduce a variational principle for field theories, referred to as the Hamilton-Pontryagin principle, and we show that the resulting field equations are the Euler-Lagrange equations in implicit form. Secondly, we introduce multi-Dirac structures as a graded analog of standard Dirac structures, and we show that the graph of a multisymplectic form determines a multi-Dirac structure. We then discuss the role of multi-Dirac structures in field theory by showing that the implicit Euler-Lagrange equations for fields obtained from the Hamilton-Pontryagin principle can be described intrinsically using multi-Dirac structures. Lastly, we show a number of illustrative examples, including time-dependent mechanics, nonlinear scalar fields, Maxwell's equations, and elastostatics.
△ Less
Submitted 18 June, 2013; v1 submitted 11 July, 2012;
originally announced July 2012.
-
Generating Functionals and Lagrangian PDEs
Authors:
Joris Vankerschaver,
Cuicui Liao,
Melvin Leok
Abstract:
We introduce the concept of Type-I/II generating functionals defined on the space of boundary data of a Lagrangian field theory. On the Lagrangian side, we define an analogue of Jacobi's solution to the Hamilton-Jacobi equation for field theories, and we show that by taking variational derivatives of this functional, we obtain an isotropic submanifold of the space of Cauchy data, described by the…
▽ More
We introduce the concept of Type-I/II generating functionals defined on the space of boundary data of a Lagrangian field theory. On the Lagrangian side, we define an analogue of Jacobi's solution to the Hamilton-Jacobi equation for field theories, and we show that by taking variational derivatives of this functional, we obtain an isotropic submanifold of the space of Cauchy data, described by the so-called multisymplectic form formula. We also define a Hamiltonian analogue of Jacobi's solution, and we show that this functional is a Type-II generating functional. We finish the paper by defining a similar framework of generating functions for discrete field theories, and we show that for the linear wave equation, we recover the multisymplectic conservation law of Bridges.
△ Less
Submitted 20 June, 2013; v1 submitted 1 November, 2011;
originally announced November 2011.
-
Hamilton-Jacobi Theory for Degenerate Lagrangian Systems with Holonomic and Nonholonomic Constraints
Authors:
Melvin Leok,
Tomoki Ohsawa,
Diana Sosa
Abstract:
We extend Hamilton-Jacobi theory to Lagrange-Dirac (or implicit Lagrangian) systems, a generalized formulation of Lagrangian mechanics that can incorporate degenerate Lagrangians as well as holonomic and nonholonomic constraints. We refer to the generalized Hamilton-Jacobi equation as the Dirac-Hamilton-Jacobi equation. For non-degenerate Lagrangian systems with nonholonomic constraints, the theor…
▽ More
We extend Hamilton-Jacobi theory to Lagrange-Dirac (or implicit Lagrangian) systems, a generalized formulation of Lagrangian mechanics that can incorporate degenerate Lagrangians as well as holonomic and nonholonomic constraints. We refer to the generalized Hamilton-Jacobi equation as the Dirac-Hamilton-Jacobi equation. For non-degenerate Lagrangian systems with nonholonomic constraints, the theory specializes to the recently developed nonholonomic Hamilton-Jacobi theory. We are particularly interested in applications to a certain class of degenerate nonholonomic Lagrangian systems with symmetries, which we refer to as weakly degenerate Chaplygin systems, that arise as simplified models of nonholonomic mechanical systems; these systems are shown to reduce to non-degenerate almost Hamiltonian systems, i.e., generalized Hamiltonian systems defined with non-closed two-forms. Accordingly, the Dirac-Hamilton-Jacobi equation reduces to a variant of the nonholonomic Hamilton-Jacobi equation associated with the reduced system. We illustrate through a few examples how the Dirac-Hamilton-Jacobi equation can be used to exactly integrate the equations of motion.
△ Less
Submitted 12 September, 2012; v1 submitted 27 September, 2011;
originally announced September 2011.
-
On the Geometry of Multi-Dirac Structures and Gerstenhaber Algebras
Authors:
Joris Vankerschaver,
Hiroaki Yoshimura,
Melvin Leok
Abstract:
In a companion paper, we introduced a notion of multi-Dirac structures, a graded version of Dirac structures, and we discussed their relevance for classical field theories. In the current paper we focus on the geometry of multi-Dirac structures. After recalling the basic definitions, we introduce a graded multiplication and a multi-Courant bracket on the space of sections of a multi-Dirac structur…
▽ More
In a companion paper, we introduced a notion of multi-Dirac structures, a graded version of Dirac structures, and we discussed their relevance for classical field theories. In the current paper we focus on the geometry of multi-Dirac structures. After recalling the basic definitions, we introduce a graded multiplication and a multi-Courant bracket on the space of sections of a multi-Dirac structure, so that the space of sections has the structure of a Gerstenhaber algebra. We then show that the graph of a k-form on a manifold gives rise to a multi-Dirac structure and also that this multi-Dirac structure is integrable if and only if the corresponding form is closed. Finally, we show that the multi-Courant bracket endows a subset of the ring of differential forms with a graded Poisson bracket, and we relate this bracket to some of the multisymplectic brackets found in the literature.
△ Less
Submitted 16 March, 2011; v1 submitted 14 February, 2011;
originally announced February 2011.
-
Stokes-Dirac Structures through Reduction of Infinite-Dimensional Dirac Structures
Authors:
Joris Vankerschaver,
Hiroaki Yoshimura,
Melvin Leok,
Jerrold E. Marsden
Abstract:
We consider the concept of Stokes-Dirac structures in boundary control theory proposed by van der Schaft and Maschke. We introduce Poisson reduction in this context and show how Stokes-Dirac structures can be derived through symmetry reduction from a canonical Dirac structure on the unreduced phase space. In this way, we recover not only the standard structure matrix of Stokes-Dirac structures, bu…
▽ More
We consider the concept of Stokes-Dirac structures in boundary control theory proposed by van der Schaft and Maschke. We introduce Poisson reduction in this context and show how Stokes-Dirac structures can be derived through symmetry reduction from a canonical Dirac structure on the unreduced phase space. In this way, we recover not only the standard structure matrix of Stokes-Dirac structures, but also the typical non-canonical advection terms in (for instance) the Euler equation.
△ Less
Submitted 12 October, 2010;
originally announced October 2010.
-
Discrete Routh Reduction
Authors:
Sameer M. Jalnapurkar,
Melvin Leok,
Jerrold E. Marsden,
Matthew West
Abstract:
This paper develops the theory of abelian Routh reduction for discrete mechanical systems and applies it to the variational integration of mechanical systems with abelian symmetry. The reduction of variational Runge-Kutta discretizations is considered, as well as the extent to which symmetry reduction and discretization commute. These reduced methods allow the direct simulation of dynamical feat…
▽ More
This paper develops the theory of abelian Routh reduction for discrete mechanical systems and applies it to the variational integration of mechanical systems with abelian symmetry. The reduction of variational Runge-Kutta discretizations is considered, as well as the extent to which symmetry reduction and discretization commute. These reduced methods allow the direct simulation of dynamical features such as relative equilibria and relative periodic orbits that can be obscured or difficult to identify in the unreduced dynamics. The methods are demonstrated for the dynamics of an Earth orbiting satellite with a non-spherical $J_2$ correction, as well as the double spherical pendulum. The $J_2$ problem is interesting because in the unreduced picture, geometric phases inherent in the model and those due to numerical discretization can be hard to distinguish, but this issue does not appear in the reduced algorithm, where one can directly observe interesting dynamical structures in the reduced phase space (the cotangent bundle of shape space), in which the geometric phases have been removed. The main feature of the double spherical pendulum example is that it has a nontrivial magnetic term in its reduced symplectic form. Our method is still efficient as it can directly handle the essential non-canonical nature of the symplectic structure. In contrast, a traditional symplectic method for canonical systems could require repeated coordinate changes if one is evoking Darboux' theorem to transform the symplectic structure into canonical form, thereby incurring additional computational cost. Our method allows one to design reduced symplectic integrators in a natural way, despite the noncanonical nature of the symplectic structure.
△ Less
Submitted 5 January, 2006; v1 submitted 17 August, 2005;
originally announced August 2005.
