Arnold diffusion in the planar elliptic restricted three-body problem: mechanism and numerical verification

Abstract

We present a diffusion mechanism for time-dependent perturbations of autonomous Hamiltonian systems introduced in [25]. This mechanism is based on shadowing of pseudo-orbits generated by two dynamics: an `outer dynamics', given by homoclinic trajectories to a normally hyperbolic invariant manifold, and an `inner dynamics', given by the restriction to that manifold. On the inner dynamics the only assumption is that it preserves area. Unlike other approaches, [25] does not rely on the KAM theory and/or Aubry-Mather theory to establish the existence of diffusion. Moreover, it does not require to check twist conditions or non-degeneracy conditions near resonances. The conditions are explicit and can be checked by finite precision calculations in concrete systems. As an application, we study the planar elliptic restricted three-body problem. We present a rigorous theorem that shows that if some concrete calculations yield a non zero value, then for any sufficiently small, positive value of the eccentricity of the orbits of the main bodies, there are orbits of the infinitesimal body that exhibit a change of energy that is bigger than some fixed number, which is independent of the eccentricity. We verify numerically these calculations for values of the masses close to that of the Jupiter/Sun system. The numerical calculations are not completely rigorous, because we ignore issues of round-off error and do not estimate the truncations, but they are not delicate at all by the standard of numerical analysis. (Standard tests indicate that we get 7 or 8 figures of accuracy where 1 would be enough). The code of this verifications is available. We hope that some full computer assisted proofs will be obtained in a near future since there are packages (CAPD) designed for problems of this type.

34 pages, 11 figures

References in corpus (1)

• Persistence of noncompact normally hyperbolic invariant manifolds in bounded geometry

Cited by in corpus (9)

• Rapid and Accurate Methods for Computing Whiskered Tori and their Manifolds in Periodically Perturbed Planar Circular Restricted 3-Body Problems
• Slow manifold reduction for plasma science
• Global Melnikov Theory in Hamiltonian Systems with General Time-dependent Perturbations
• Transits close to the Lagrangian solutions $L_1,L_2$ in the Elliptic Restricted Three-body Problem
• Analytic genericity of diffusing orbits in a priori unstable Hamiltonian systems
• Oscillatory orbits in the Restricted Planar 4 Body Problem
• Melnikov method for non-conservative perturbations of the three-body problem
• Computer Assisted Proof of Drift Orbits Along Normally Hyperbolic Manifolds II: Application to the Restricted Three Body Problem
• Semi-analytic construction of global transfers between quasi-periodic orbits in the spatial R3BP