Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems

Abstract

We propose a general framework for computer-assisted verification of the presence of symmetry breaking, period-tupling and touch-and-go bifurcations of symmetric periodic orbits for reversible maps. The framework is then adopted to Poincaré maps in reversible autonomous Hamiltonian systems. In order to justify the applicability of the method, we study bifurcations of halo orbits in the Circular Restricted Three Body Problem. We give a computer-assisted proof of the existence of wide branches of halo orbits bifurcating from $L_{1,2,3}$-Lyapunov families and for wide range of mass parameter. For two physically relevant mass parameters we prove, that halo orbits undergo multiple period doubling, quadrupling and third-order touch-and-go bifurcations.

36 pages, 9 Figures

Cited by in corpus (4)

• CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
• Recent advances in rigorous computation of Poincaré maps
• Structure of the center manifold of the L1 and L2 collinear libration points in the restricted three-body problem
• Computational symplectic topology and symmetric orbits in the restricted three-body problem