Abstract:The intention of this article is to illustrate the use of methods from symplectic geometry for practical purposes. Our intended audience is scientists interested in orbits of Hamiltonian systems (e.g. the three-body problem). The main directions pursued in this article are: (1) given two periodic orbits, decide when they can be connected by a regular family; (2) use numerical invariants from Floer theory which help predict the existence of orbits in the presence of a bifurcation; (3) attach a sign +/- to each elliptic or hyperbolic Floquet multiplier of a closed symmetric orbit, generalizing the classical Krein--Moser sign to also include the hyperbolic case; and (4) do all of the above in a visual, easily implementable and resource-efficient way. The mathematical framework is provided by the first and third authors, where the ``Broucke stability diagram'' was rediscovered, but further refined with the above signs, and algebraically reformulated in terms of GIT quotients of the symplectic group. The advantage of the above framework is that it applies to the study of closed orbits of an arbitrary Hamiltonian system. Moreover, in the case where the system admits symmetries in the form of ``reflections'', i.e. anti-symplectic involutions, which is the case for many systems of interest, the information provided for orbits which are symmetric is richer, and one may distinguish more symmetric orbits. This is the case for several well-known families in the space mission design industry, such as the Halo orbits, which are ubiquitous in real-life space missions. We will carry out numerical work based on the cell-mapping method, for the Jupiter-Europa and the Saturn-Enceladus systems. These are currently systems of interest, falling in the agenda of space agencies like NASA, as these icy moons are considered candidates for harbouring conditions suitable for extraterrestrial life.

Multiple timestep reversible N -body integrators for close encounters in planetary systems

Multiple timestep reversible $N$-body integrators for close encounters in planetary systems

Long-term planetary integration with individual time steps

Reversible time-step adaptation for the integration of few-body systems

TRACE: a code for Time-Reversible Astrophysical Close Encounters

trace : a code for time-reversible astrophysical close encounters

The Reversibility Error Method (REM): a new, dynamical fast indicator for planetary dynamics

A Slow-Down Time-Transformed Symplectic Integrator for Solving the Few-Body Problem

New insight of time-transformed symplectic integrator I: hybrid methods for hierarchical triples

An implicit symplectic solver for high-precision long term integrations of the Solar System

Multi-Point Hermite Methods for the N-Body Problem

A new timestep criterion for N-body simulations

orbitN: A symplectic integrator for planetary systems dominated by a central mass -- Insight into long-term solar system chaos

Hybrid Methods in Planetesimal Dynamics: Description of a New Composite Algorithm

Variational Integrators for the Gravitational N-Body Problem

Extended phase-space symplectic-like integrators for coherent post-Newtonian Euler-Lagrange equations

REBOUNDx: A Library for Adding Conservative and Dissipative Forces to Otherwise Symplectic N-body Integrations

Neural Symplectic Integrator with Hamiltonian Inductive Bias for the Gravitational $N$-body Problem

Parallelization of the Symplectic Massive Body Algorithm (SyMBA) $N$-body Code

WHFast512: A symplectic N-body integrator for planetary systems optimized with AVX512 instructions

Symplectic methods in the numerical search of orbits in real-life planetary systems