Nearly-periodic maps and geometric integration of noncanonical Hamiltonian systems

TL;DR

This paper extends Kruskal's nearly-periodic theory to discrete maps, establishing formal symmetries and adiabatic invariants for noncanonical Hamiltonian systems, and introduces a new geometric integration method.

Contribution

It develops a discrete-time analogue of Kruskal's nearly-periodic theory, including formal $U(1)$ symmetries and adiabatic invariants, for noncanonical Hamiltonian systems.

Findings

Formal $U(1)$ symmetries exist to all orders in perturbation theory.

Discrete-time adiabatic invariants are proven for Hamiltonian nearly-periodic maps.

A novel geometric integration technique for non-canonical Hamiltonian systems is introduced.

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 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.