Computer assisted proof of drift orbits along normally hyperbolic manifolds. II: Application to the restricted three body problem
Arnold diffusioncomputer assisted proofnormally hyperbolic manifoldscattering mapthree-body problemtopological shadowing
Approximate trajectories, pseudotrajectories, shadowing and related notions for topological dynamical systems (37B65) 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) Computational methods for invariant manifolds of dynamical systems (37M21) Computer assisted proofs of proofs-by-exhaustion type (68V05) Three-body problems (70F07) Celestial mechanics (70F15) Perturbation theories for problems in Hamiltonian and Lagrangian mechanics (70H09)
The authors present a computer assisted proof of diffusion in the planar elliptic restricted three-body problem. They treat the elliptic problem as a perturbation of the circular problem, where the eccentricity of the primary masses is the perturbation parameter. The unperturbed system preserves the energy, and for perturbations which are sufficiently small it is shown that the orbits exhibit energy changes, irrespective of the size of the perturbation. Without perturbation, the system has a normally hyperbolic invariant manifold with stable and unstable manifolds which intersect transversally. This is called ``apriori-chaotic system. Their diffusion mechanism is based on establishing the existence of trajectories that shadow the intersections of the stable and unstable manifolds and change energy under the influence of the perturbation. The authors apply their results using the mass of Jupiter and a massless particle, which corresponds to the comet Oterna, and they assume that the eccentricity of the system is sufficiently small.
- 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
- 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
- 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?)
- 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
- Rigorous proof of chaotic behaviour in a dumbbell satellite model
- Global instability in the restricted planar elliptic three body problem
- Computer assisted proof of drift orbits along normally hyperbolic manifolds
- Possible chaotic motion of comets in the Sun–Jupiter system—a computer-assisted approach based on shadowing
- scientific article; zbMATH DE number 1532114 (Why is no real title available?)
- Computer assisted existence proofs of Lyapunov orbits at \(L_2\) and transversal intersections of invariant manifolds in the Jupiter--Sun PCR3BP
- Topological shadowing methods in arnold diffusion: weak torsion and multiple time scales
- Geometric proof of strong stable/unstable manifolds with application to the restricted three body problem
- Verification of chaotic behaviour in the planar restricted three body problem
- Arnold Diffusion, Quantitative Estimates, and Stochastic Behavior in the <scp>Three‐Body</scp> Problem
- Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem
- Computer assisted existence proofs for parameterized cycle-to-cycle connections
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)
