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

DOI10.1016/J.CNSNS.2022.106424MaRDI QIDQ2137348zbMATH OpenOpenAlexWikidataFDO

Authors Maciej Capiński, Natalia Wodka-Cholewa

Publication date 16 May 2022

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

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

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)

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.

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

Cites work

• scientific article; zbMATH DE number 3569457 (Why is no real title available?)
• scientific article; zbMATH DE number 714513 (Why is no real title available?)
• scientific article; zbMATH DE number 3220203 (Why is no real title available?)
• A general mechanism of diffusion in Hamiltonian systems: qualitative results
• A general mechanism of instability in Hamiltonian systems: skipping along a normally hyperbolic invariant manifold
• Arnold diffusion in the planar elliptic restricted three-body problem: mechanism and numerical verification
• Asymptotic stability with rate conditions for dynamical systems
• CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
• Computer assisted existence proofs of Lyapunov orbits at \(L_2\) and transversal intersections of invariant manifolds in the Jupiter--Sun PCR3BP
• Computer assisted proof of drift orbits along normally hyperbolic manifolds
• Geometric proof for normally hyperbolic invariant manifolds
• Geometric properties of the scattering map of a normally hyperbolic invariant manifold
• Global instability in the restricted planar elliptic three body problem
• Heteroclinic connections between periodic orbits and resonance transitions in celestial mechanics
• Invariant manifolds
• KAM quasi-periodic tori for the dissipative spin-orbit problem
• ON MOULTON'S ORBITS IN THE RESTRICTED PROBLEM OF THREE BODIES
• Parameterization Method for Computing Quasi-periodic Reducible Normally Hyperbolic Invariant Tori
• Poincaré - Melnikov - Arnold method for analytic planar maps
• Recent advances in a rigorous computation of Poincaré maps
• The parameterization method for invariant manifolds. From rigorous results to effective computations
• Transition tori in the planar restricted elliptic three-body problem

Cited in

(11)

• Computer assisted proof of drift orbits along normally hyperbolic manifolds
• Arnold Diffusion, Quantitative Estimates, and Stochastic Behavior in the <scp>Three‐Body</scp> Problem
• Computer assisted existence proofs of Lyapunov orbits at \(L_2\) and transversal intersections of invariant manifolds in the Jupiter--Sun PCR3BP
• Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem
• Topological shadowing methods in arnold diffusion: weak torsion and multiple time scales
• Global instability in the restricted planar elliptic three body problem
• Possible chaotic motion of comets in the Sun–Jupiter system—a computer-assisted approach based on shadowing
• Geometric proof of strong stable/unstable manifolds with application to the restricted three body problem
• scientific article; zbMATH DE number 1532114 (Why is no real title available?)
• Rigorous proof of chaotic behaviour in a dumbbell satellite model
• Verification of chaotic behaviour in the planar restricted three body problem

Describes a project that uses

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)