Computational symplectic topology and symmetric orbits in the restricted three-body problem

Abstract

In this paper we propose a computational approach to proving the Birkhoff conjecture on the restricted three-body problem, which asserts the existence of a disk-like global surface of section. Birkhoff had conjectured this surface of section as a tool to prove existence of a direct periodic orbit. Using techniques from validated numerics we prove the existence of an approximately circular direct orbit for a wide range of mass parameters and Jacobi energies. We also provide methods to rigorously compute the Conley-Zehnder index of periodic Hamiltonian orbits using computational tools, thus giving some initial steps for developing computational Floer homology and providing the means to prove the Birkhoff conjecture via symplectic topology. We apply this method to various symmetric orbits in the restricted three-body problem.

References in corpus (5)

• CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
• The contact geometry of the restricted 3-body problem
• On the existence of disk-like global sections for Reeb flows on the tight 3-sphere
• Fast finite-energy planes in symplectizations and applications
• Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems