Computer Assisted Existence Proofs of Lyapunov Orbits at $L_2$ and Transversal Intersections of Invariant Manifolds in the Jupiter--Sun PCR3BP

DOI10.1137/110847366zbMath1264.37008OpenAlexW2054688937MaRDI QIDQ4904559

Maciej J. Capiński

Publication date: 30 January 2013

Published in: SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/110847366

zbMATH Keywords

invariant manifoldsparameterization methodcone conditionsrestricted three body problemcomputer assisted proofs

Mathematics Subject Classification ID

Transformation and reduction of ordinary differential equations and systems, normal forms (34C20) Invariant manifold theory for dynamical systems (37D10) Dynamical systems in classical and celestial mechanics (37N05)

Related Items (25)

Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds ⋮ On computer-assisted proving the existence of periodic and bounded orbits ⋮ Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation ⋮ Computer assisted proof of drift orbits along normally hyperbolic manifolds. II: Application to the restricted three body problem ⋮ Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits ⋮ Parameterization method for unstable manifolds of delay differential equations ⋮ Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem ⋮ Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem ⋮ Arnold diffusion in the planar elliptic restricted three-body problem: mechanism and numerical verification ⋮ Breakdown of homoclinic orbits to \(L_3\) in the RPC3BP. II: An asymptotic formula ⋮ Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem ⋮ Resonant tori, transport barriers, and chaos in a vector field with a Neimark-Sacker bifurcation ⋮ Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds ⋮ Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems ⋮ Computer assisted proofs of two-dimensional attracting invariant tori for ODEs ⋮ An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs ⋮ Torus knot choreographies in the n-body problem ⋮ On the construction of Lyapunov functions with computer assistance ⋮ Efficient representation of invariant manifolds of periodic orbits in the CRTBP ⋮ Automatic differentiation for Fourier series and the radii polynomial approach ⋮ Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence ⋮ CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems ⋮ Global Persistence of Lyapunov Subcenter Manifolds as Spectral Submanifolds under Dissipative Perturbations ⋮ Melnikov method for non-conservative perturbations of the restricted three-body problem ⋮ Chebyshev–Taylor Parameterization of Stable/Unstable Manifolds for Periodic Orbits: Implementation and Applications

This page was built for publication: Computer Assisted Existence Proofs of Lyapunov Orbits at $L_2$ and Transversal Intersections of Invariant Manifolds in the Jupiter--Sun PCR3BP