Heteroclinic Connections between Periodic Orbits in Planar Restricted Circular Three Body Problem - A Computer Assisted Proof

Abstract

The restricted circular three-body problem is considered for the following parameter values $C=3.03$, $\mu =0.0009537$ - the values for {\em Oterma} comet in the Sun-Jupiter system. We present a computer assisted proof of an existence of homo- and heteroclinic cycle between two Lyapunov orbits and an existence of symbolic dynamics on four symbols built on this cycle.

40 pages, 11 figures

References in corpus (1)

• Periodic orbits, symbolic dynamics and topological entropy for the restricted 3-body problem

Cited by in corpus (28)

• CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
• Heteroclinic Connections between Periodic Orbits in Planar Restricted Circular Three Body Problem - Part II
• Computing Invariant Manifolds and Connecting Orbits in the Circular Restricted Three Body Problem
• Symbolic dynamics for Kuramoto-Sivashinsky PDE on the line --- a computer-assisted proof
• Arnold diffusion in the planar elliptic restricted three-body problem: mechanism and numerical verification
• New applications of the H-reversal trajectory using solar sails
• Chebyshev-Taylor parameterization of stable/unstable manifolds for periodic orbits: implementation and applications
• Saddle Transport and Chaos in the Double Pendulum
• Resonant Tori, Transport Barriers, and Chaos in a Vector Field with a Neimark-Sacker Bifurcation
• Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems
• Generalized and multi-oscillation solitons in the Nonlinear Schrödinger Equation with quartic dispersion
• $C^r$-Lohner algorithm
• A computer-assisted proof of symbolic dynamics in Hyperion's inner rotation model
• Determination of the doubly-symmetric periodic orbits in the restricted three-body problem and Hill's lunar problem
• Existence of periodic solutions of the FitzHugh-Nagumo equations for an explicit range of the small parameter
• A Lohner-type algorithm for control systems and ordinary differential inclusions
• Euler integral as a source of chaos in the three-body problem
• Melnikov method for non-conservative perturbations of the three-body problem
• Topological method for symmetric periodic orbits for maps with a reversing symmetry
• Complex behaviour in cyclic competition bimatrix games
• Lyapunov Orbits at L2 and Transversal Intersections of Invariant Manifolds in the Jupiter-Sun Planar Restricted Circular Three Body Problem
• Geometric Proof of Strong Stable/Unstable Manifolds, with Application to the Restricted Three Body Problem
• Syzygies for periodic orbits in the restricted three-body problem
• Rigorous numerics for a singular perturbation problem
• Transition Tori in the Planar Restricted Elliptic Three Body Problem
• Computer-Assisted Proofs of Gap Solitons in Bose-Einstein Condensates
• A computer-assisted proof of the existence of Smale horseshoe for the folded-towel map
• Arnold Diffusion in a Restricted Planar Four-Body Problem