Computer assisted proof of drift orbits along normally hyperbolic manifolds. II: Application to the restricted three body problem

DOI10.1016/J.CNSNS.2022.106424zbMATH Open1501.37061arXiv2105.07204OpenAlexW3162804954WikidataQ113877800 ScholiaQ113877800MaRDI QIDQ2137348FDOQ2137348

Natalia Wodka-Cholewa, Maciej Capiński

Publication date: 16 May 2022

Published in: Communications in Nonlinear Science and Numerical Simulation (Search for Journal in Brave)

Abstract: We present a computer assisted proof or diffusion in the Planar Elliptic Restricted Three Body Problem. We treat the elliptic problem as a perturbation of the circular problem, where the perturbation parameter is the eccentricity of the primaries. The unperturbed system preserves energy, and we show that for sufficiently small perturbations we have orbits with explicit energy changes, independent from the size of the perturbation. The result is based on shadowing of orbits along transversal intersections of stable/unstable manifolds of a normally hyperbolic cylinder.

Full work available at URL: https://arxiv.org/abs/2105.07204

Recommendations

• Arnold diffusion in the planar elliptic restricted three-body problem: mechanism and numerical verification
• Computer assisted proof of drift orbits along normally hyperbolic manifolds
• Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
• Transition tori in the planar restricted elliptic three-body problem
• Instability and diffusion in the elliptic restricted three-body problem

zbMATH Keywords

Arnold diffusionscattering mapthree-body problemcomputer assisted proofnormally hyperbolic manifoldtopological shadowing

Mathematics Subject Classification ID

Approximate trajectories (pseudotrajectories, shadowing, etc.) in smooth dynamics (37C50) Stability problems for finite-dimensional Hamiltonian and Lagrangian systems (37J25) Perturbations of finite-dimensional Hamiltonian systems, normal forms, small divisors, KAM theory, Arnol'd diffusion (37J40) Three-body problems (70F07) Celestial mechanics (70F15) Perturbation theories for problems in Hamiltonian and Lagrangian mechanics (70H09) Computer assisted proofs of proofs-by-exhaustion type (68V05) Computational methods for invariant manifolds of dynamical systems (37M21) Approximate trajectories, pseudotrajectories, shadowing and related notions for topological dynamical systems (37B65)

Cites Work

• CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
• Poincaré - Melnikov - Arnold method for analytic planar maps
• Geometric properties of the scattering map of a normally hyperbolic invariant manifold
• The parameterization method for invariant manifolds. From rigorous results to effective computations
• Transition tori in the planar restricted elliptic three-body problem
• Title not available (Why is that?)
• Title not available (Why is that?)
• Invariant manifolds
• Parameterization Method for Computing Quasi-periodic Reducible Normally Hyperbolic Invariant Tori
• Title not available (Why is that?)
• Global instability in the restricted planar elliptic three body problem
• Heteroclinic connections between periodic orbits and resonance transitions in celestial mechanics
• Asymptotic stability with rate conditions for dynamical systems
• Geometric proof for normally hyperbolic invariant manifolds
• ON MOULTON'S ORBITS IN THE RESTRICTED PROBLEM OF THREE BODIES
• Arnold diffusion in the planar elliptic restricted three-body problem: mechanism and numerical verification
• Computer Assisted Existence Proofs of Lyapunov Orbits at $L_2$ and Transversal Intersections of Invariant Manifolds in the Jupiter--Sun PCR3BP
• A General Mechanism of Diffusion in Hamiltonian Systems: Qualitative Results
• Recent advances in a rigorous computation of Poincaré maps
• KAM quasi-periodic tori for the dissipative spin-orbit problem
• Computer assisted proof of drift orbits along normally hyperbolic manifolds
• A general mechanism of instability in Hamiltonian systems: skipping along a normally hyperbolic invariant manifold

Cited In (6)

• Possible chaotic motion of comets in the Sun–Jupiter system—a computer-assisted approach based on shadowing
• Title not available (Why is that?)
• Topological shadowing methods in arnold diffusion: weak torsion and multiple time scales
• Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem
• Rigorous proof of chaotic behaviour in a dumbbell satellite model
• Verification of chaotic behaviour in the planar restricted three body problem

Uses Software

• CAPD DynSys

This page was built for publication: Computer assisted proof of drift orbits along normally hyperbolic manifolds. II: Application to the restricted three body problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2137348)