-
The Lie algebra of classical mechanics
Authors:
Robert I McLachlan,
Ander Murua
Abstract:
Classical mechanical systems are defined by their kinetic and potential energies. They generate a Lie algebra under the canonical Poisson bracket. This Lie algebra, which is usually infinite dimensional, is useful in analyzing the system, as well as in geometric numerical integration. But because the kinetic energy is quadratic in the momenta, the Lie algebra obeys identities beyond those implied…
▽ More
Classical mechanical systems are defined by their kinetic and potential energies. They generate a Lie algebra under the canonical Poisson bracket. This Lie algebra, which is usually infinite dimensional, is useful in analyzing the system, as well as in geometric numerical integration. But because the kinetic energy is quadratic in the momenta, the Lie algebra obeys identities beyond those implied by skew symmetry and the Jacobi identity. Some Poisson brackets, or combinations of brackets, are zero for all choices of kinetic and potential energy, regardless of the dimension of the system. Therefore, we study the universal object in this setting, the `Lie algebra of classical mechanics' modelled on the Lie algebra generated by kinetic and potential energy of a simple mechanical system with respect to the canonical Poisson bracket. We show that it is the direct sum of an abelian algebra $\mathcal X$, spanned by `modified' potential energies isomorphic to the free commutative nonassociative algebra with one generator, and an algebra freely generated by the kinetic energy and its Poisson bracket with $\mathcal X$. We calculate the dimensions $c_n$ of its homogeneous subspaces and determine the value of its entropy $\lim_{n\to\infty} c_n^{1/n}$. It is $1.8249\dots$, a fundamental constant associated to classical mechanics. We conjecture that the class of systems with Euclidean kinetic energy metrics is already free, i.e., the only linear identities satisfied by the Lie brackets of all such systems are those satisfied by the Lie algebra of classical mechanics.
△ Less
Submitted 18 May, 2019;
originally announced May 2019.
-
Symmetry reduction for central force problems
Authors:
Robert I McLachlan,
Klas Modin,
Olivier Verdier
Abstract:
We given an elementary illustration of symmetry reduction for central force problems, drawing phase portraits of the reduced dynamics as the intersection of Casimir and energy level sets in three dimensions. These systems form a classic example of symplectic reduction which can usefully be compared to the more-commonly seen case of the free rigid body.
We given an elementary illustration of symmetry reduction for central force problems, drawing phase portraits of the reduced dynamics as the intersection of Casimir and energy level sets in three dimensions. These systems form a classic example of symplectic reduction which can usefully be compared to the more-commonly seen case of the free rigid body.
△ Less
Submitted 14 December, 2015;
originally announced December 2015.
-
Geometry of discrete-time spin systems
Authors:
Robert I. McLachlan,
Klas Modin,
Olivier Verdier
Abstract:
Classical Hamiltonian spin systems are continuous dynamical systems on the symplectic phase space $(S^2)^n$. In this paper we investigate the underlying geometry of a time discretization scheme for classical Hamiltonian spin systems called the spherical midpoint method. As it turns out, this method displays a range of interesting geometrical features, that yield insights and sets out general strat…
▽ More
Classical Hamiltonian spin systems are continuous dynamical systems on the symplectic phase space $(S^2)^n$. In this paper we investigate the underlying geometry of a time discretization scheme for classical Hamiltonian spin systems called the spherical midpoint method. As it turns out, this method displays a range of interesting geometrical features, that yield insights and sets out general strategies for geometric time discretizations of Hamiltonian systems on non-canonical symplectic manifolds. In particular, our study provides two new, completely geometric proofs that the discrete-time spin systems obtained by the spherical midpoint method preserve symplecticity.
The study follows two paths. First, we introduce an extended version of the Hopf fibration to show that the spherical midpoint method can be seen as originating from the classical midpoint method on $T^*\mathbf{R}^{2n}$ for a collective Hamiltonian. Symplecticity is then a direct, geometric consequence. Second, we propose a new discretization scheme on Riemannian manifolds called the Riemannian midpoint method. We determine its properties with respect to isometries and Riemannian submersions and, as a special case, we show that the spherical midpoint method is of this type for a non-Euclidean metric. In combination with Kähler geometry, this provides another geometric proof of symplecticity.
△ Less
Submitted 15 May, 2015;
originally announced May 2015.
-
Symplectic integrators for spin systems
Authors:
Robert I. McLachlan,
Klas Modin,
Olivier Verdier
Abstract:
We present a symplectic integrator, based on the canonical midpoint rule, for classical spin systems in which each spin is a unit vector in $\mathbb{R}^3$. Unlike splitting methods, it is defined for all Hamiltonians, and is $O(3)$-equivariant. It is a rare example of a generating function for symplectic maps of a noncanonical phase space. It yields an integrable discretization of the reduced moti…
▽ More
We present a symplectic integrator, based on the canonical midpoint rule, for classical spin systems in which each spin is a unit vector in $\mathbb{R}^3$. Unlike splitting methods, it is defined for all Hamiltonians, and is $O(3)$-equivariant. It is a rare example of a generating function for symplectic maps of a noncanonical phase space. It yields an integrable discretization of the reduced motion of a free rigid body.
△ Less
Submitted 26 October, 2014; v1 submitted 17 February, 2014;
originally announced February 2014.
-
A minimal-variable symplectic integrator on spheres
Authors:
Robert I. McLachlan,
Klas Modin,
Olivier Verdier
Abstract:
We construct a symplectic, globally defined, minimal-coordinate, equivariant integrator on products of 2-spheres. Examples of corresponding Hamiltonian systems, called spin systems, include the reduced free rigid body, the motion of point vortices on a sphere, and the classical Heisenberg spin chain, a spatial discretisation of the Landau-Lifschitz equation. The existence of such an integrator is…
▽ More
We construct a symplectic, globally defined, minimal-coordinate, equivariant integrator on products of 2-spheres. Examples of corresponding Hamiltonian systems, called spin systems, include the reduced free rigid body, the motion of point vortices on a sphere, and the classical Heisenberg spin chain, a spatial discretisation of the Landau-Lifschitz equation. The existence of such an integrator is remarkable, as the sphere is neither a vector space, nor a cotangent bundle, has no global coordinate chart, and its symplectic form is not even exact. Moreover, the formulation of the integrator is very simple, and resembles the geodesic midpoint method, although the latter is not symplectic.
△ Less
Submitted 18 May, 2017; v1 submitted 13 February, 2014;
originally announced February 2014.
-
The algebraic entropy of classical mechanics
Authors:
Robert I McLachlan,
Brett Ryland
Abstract:
We describe the `Lie algebra of classical mechanics', modelled on the Lie algebra generated by kinetic and potential energy of a simple mechanical system with respect to the canonical Poisson bracket. It is a polynomially graded Lie algebra, a class we introduce. We describe these Lie algebras, give an algorithm to calculate the dimensions $c_n$ of the homogeneous subspaces of the Lie algebra of…
▽ More
We describe the `Lie algebra of classical mechanics', modelled on the Lie algebra generated by kinetic and potential energy of a simple mechanical system with respect to the canonical Poisson bracket. It is a polynomially graded Lie algebra, a class we introduce. We describe these Lie algebras, give an algorithm to calculate the dimensions $c_n$ of the homogeneous subspaces of the Lie algebra of classical mechanics, and determine the value of its entropy $\lim_{n\to\infty} c_n^{1/n}$. It is $1.82542377420108...$, a fundamental constant associated to classical mechanics.
△ Less
Submitted 15 October, 2002;
originally announced October 2002.
-
A unified approach to Hamiltonian systems, Poisson systems, gradient systems, and systems with Lyapunov functions and/or first integrals
Authors:
Robert I McLachlan,
GRW Quispel,
Nicolas Robidoux
Abstract:
Systems with a first integral (i.e., constant of motion) or a Lyapunov function can be written as ``linear-gradient systems'' $\dot x= L(x)\nabla V(x)$ for an appropriate matrix function $L$, with a generalization to several integrals or Lyapunov functions. The discrete-time analogue, $Δx/Δt = L \bar\nabla V$ where $\bar\nabla$ is a ``discrete gradient,'' preserves $V$ as an integral or Lyapunov…
▽ More
Systems with a first integral (i.e., constant of motion) or a Lyapunov function can be written as ``linear-gradient systems'' $\dot x= L(x)\nabla V(x)$ for an appropriate matrix function $L$, with a generalization to several integrals or Lyapunov functions. The discrete-time analogue, $Δx/Δt = L \bar\nabla V$ where $\bar\nabla$ is a ``discrete gradient,'' preserves $V$ as an integral or Lyapunov function, respectively.
△ Less
Submitted 24 May, 1998;
originally announced May 1998.
