Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof

DOI10.1007/s00220-002-0709-0zbMath1055.70005arXivmath/0201278OpenAlexW2021708781MaRDI QIDQ1400901

Publication date: 17 August 2003

Published in: Communications in Mathematical Physics (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Three-body problems (70F07) Homoclinic and heteroclinic trajectories for nonlinear problems in mechanics (70K44)

Related Items (52)

Heteroclinic connections between periodic orbits in planar restricted circular three body problem. II ⋮ Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds ⋮ Validated Spectral Stability via Conjugate Points ⋮ Covering relations for multidimensional dynamical systems ⋮ On computer-assisted proving the existence of periodic and bounded orbits ⋮ Unnamed Item ⋮ Euler integral as a source of chaos in the three-body problem ⋮ Transversal connecting orbits from shadowing ⋮ A note on the existence of a Smale horseshoe in the planar circular restricted three-body problem ⋮ Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence ⋮ Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits ⋮ Kirkwood gaps and diffusion along mean motion resonances in the restricted planar three-body problem ⋮ A computer-assisted proof of the existence of Smale horseshoe for the folded-towel map ⋮ Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs ⋮ Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem ⋮ Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof ⋮ Numerical studies to detect chaotic motion in the full planar averaged three-body problem ⋮ Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem ⋮ Combinatorial approach to detection of fixed points, periodic orbits, and symbolic dynamics ⋮ Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds ⋮ Arnold diffusion in the planar elliptic restricted three-body problem: mechanism and numerical verification ⋮ Infinitely Many Heteroclinic Orbits of a Complex Lorenz System ⋮ Breakdown of homoclinic orbits to \(L_3\) in the RPC3BP. II: An asymptotic formula ⋮ Semianalytical Computation of Heteroclinic Connections Between Center Manifolds with the Parameterization Method ⋮ Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem ⋮ Determination of the doubly symmetric periodic orbits in the restricted three-body problem and Hill's lunar problem ⋮ Computation of maximal local (un)stable manifold patches by the parameterization method ⋮ 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 ⋮ Chaos in the Kuramoto-Sivashinsky equations -- a computer-assisted proof. ⋮ Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems ⋮ Dynamical aspects of multi-round horseshoe-shaped homoclinic orbits in the RTBP ⋮ RIGOROUS VERIFICATION OF THE EXISTENCE OF TRANSVERSAL HOMOCLINIC ORBITS ⋮ Torus knot choreographies in the n-body problem ⋮ Lunar landing trajectory design based on invariant manifold ⋮ Rigorous numerics for ODEs using Chebyshev series and domain decomposition ⋮ 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 ⋮ A computer-assisted proof of symbolic dynamics in Hyperion's rotation ⋮ Heteroclinic Trajectory and Hopf Bifurcation in an Extended Lorenz System ⋮ CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems ⋮ Covering relations, cone conditions and the stable manifold theorem ⋮ Numerical computation of orbits and rigorous verification of existence of snapback repellers ⋮ Validated computations for connecting orbits in polynomial vector fields ⋮ Existence of Periodic Solutions of the FitzHugh--Nagumo Equations for an Explicit Range of the Small Parameter ⋮ Melnikov method for non-conservative perturbations of the restricted three-body problem ⋮ A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line ⋮ Rigorous validation of stochastic transition paths ⋮ A THREE-DIMENSIONAL NONLINEAR SYSTEM WITH A SINGLE HETEROCLINIC TRAJECTORY ⋮ Chebyshev–Taylor Parameterization of Stable/Unstable Manifolds for Periodic Orbits: Implementation and Applications ⋮ Stationary Coexistence of Hexagons and Rolls via Rigorous Computations ⋮ Rich Bifurcation Structure in a Two-Patch Vaccination Model

This page was built for publication: Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof