Collective heavy top dynamics

DOI10.3842/SIGMA.2019.083MaRDI QIDQ2280422zbMATH OpenOpenAlexFDO

Authors Tomoki Ohsawa

Publication date 18 December 2019

Published in SIGMA. Symmetry, Integrability and Geometry: Methods and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1907.07819

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

collectivizationheavy top dynamicsLie-Poisson integratormomentum maps

Mathematics Subject Classification ID

Completely integrable finite-dimensional Hamiltonian systems, integration methods, integrability tests (37J35) Relations of finite-dimensional Hamiltonian and Lagrangian systems with topology, geometry and differential geometry (symplectic geometry, Poisson geometry, etc.) (37J39) Discretization methods and integrators (symplectic, variational, geometric, etc.) for dynamical systems (37M15) Integrable difference and lattice equations; integrability tests (39A36) Momentum maps; symplectic reduction (53D20) Motion of a rigid body with a fixed point (70E17) Integrable cases of motion in rigid body dynamics (70E40)

Abstract: We construct a Poisson map $mathbfMcolon{T}^{\ast }mathbb{C}^{2}omathfrakse(3{)}^{\ast }$ with respect to the canonical Poisson bracket on $T^{\ast }mathbb{C}^{2}cong{T}^{\ast }mathbb{R}^4$ and the $(-)$-Lie--Poisson bracket on the dual $mathfrakse(3{)}^{\ast }$ of the Lie algebra of the special Euclidean group $mathsfSE(3)$. The essential part of this map is the momentum map associated with the cotangent lift of the natural right action of the semidirect product Lie group $mathsfSU(2)ltimesmathbb{C}^2$ on $mathbb{C}^2$. This Poisson map gives rise to a canonical Hamiltonian system on $T^{\ast }mathbb{C}^2$ whose solutions are mapped by $mathbfM$ to solutions of the heavy top equations. We show that the Casimirs of the heavy top dynamics and the additional conserved quantity of the Lagrange top correspond to the Noether conserved quantities associated with certain symmetries of the canonical Hamiltonian system. We also construct a Lie--Poisson integrator for the heavy top dynamics by combining the Poisson map $mathbfM$ with a simple symplectic integrator, and demonstrate that the integrator exhibits either exact or near conservation of the conserved quantities of the Kovalevskaya top.

Review text

The idea of collective dynamics was introduced by \textit{V. Guillemin} and \textit{S. Sternberg} [Ann. Phys. 127, 220--253 (1980; Zbl 0453.58015)] in 1980 as a way to describe Hamiltonian systems of particles with a rigid body type dynamics. Given a Poisson manifold \(P\) with some right action of a Lie group of Lie algebra \(\ g\) and associated equivariant momentum map \(M: P\rightarrow g^*\), a collective Hamiltonian is a function \(h: g^*\rightarrow \mathbb R\) such that \(h\circ M=H\) for some Hamiltonian function \(H:P\rightarrow \mathbb R\). The aim of this article is to find a collective dynamics representation of heavy top Hamiltonians in order to map symplectic integrators for some Hamiltonian system \((P,H)\) to heavy top Hamiltonian systems on \(( g^*,h)\). In this case, \(P=T^*\mathbb C^2\) with the canonical symplectic structure, and \( g=\mathrm{se}(3)\), while \(M=\varpi \circ L\), being \(L:T^*\mathbb C^2 \rightarrow (\mathbb C^2\rtimes \mathrm{su}(2))^*\) the momentum map associated with the action of \(\mathbb C^2 \rtimes \mathrm{SU}(2)\) and \(\varpi : (\mathbb C^2\rtimes \mathrm{su}(2))^*\rightarrow \mathrm{se}(3)^*\), a Poisson map identifying the two dual Lie algebras. Casimirs and other conserved quantities of the heavy top are traced back to corresponding symmetries of \((P,H)\). As an example, the numerical results of a symplectic integrator defined for \((P,H)\) are mapped via \(M\) to the Kovalevskaya top and compared with other non-symplectic integrators, showing evidences of a more faithful representation of the Kovalevskaya's constants of motion provided by symplectic integrators.

Recommendations

• Collective Lie-Poisson integrators on \(\mathbb{R}^{3}\)
• The Euler-Arnold equations in Hamiltonian form of the heavy top
• Integrable Discretizations of Some Cases of the Rigid Body Dynamics
• Lie-Poisson Hamilton-Jacobi theory and Lie-Poisson integrators
• Publication:4723325

Cites work

• A minimal-variable symplectic integrator on spheres
• Almost Poisson integration of rigid body systems
• Collective Lie-Poisson integrators on \(\mathbb{R}^{3}\)
• Collective symplectic integrators
• Geometric Numerical Integration
• Geometry of discrete-time spin systems
• scientific article; zbMATH DE number 3870269 (Why is no real title available?)
• scientific article; zbMATH DE number 3769011 (Why is no real title available?)
• scientific article; zbMATH DE number 50101 (Why is no real title available?)
• scientific article; zbMATH DE number 1300852 (Why is no real title available?)
• scientific article; zbMATH DE number 918813 (Why is no real title available?)
• Semidirect Products and Reduction in Mechanics
• Simulating Hamiltonian Dynamics
• The Euler-Poincaré equations and semidirect products with applications to continuum theories
• The moment map and collective motion

Cited in

(3)

• Clebsch canonization of Lie-Poisson systems
• Integrable Hamiltonian systems on the symplectic realizations of \(\textbf{e}(3)^\ast\)
• The Euler-Arnold equations in Hamiltonian form of the heavy top

This page was built for publication: Collective heavy top dynamics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2280422)