Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
From MaRDI portal
Publication:1400901
DOI10.1007/S00220-002-0709-0zbMATH Open1055.70005arXivmath/0201278OpenAlexW2021708781MaRDI QIDQ1400901FDOQ1400901
Authors: Daniel Wilczak, Piotr Zgliczyński 
Publication date: 17 August 2003
Published in: Communications in Mathematical Physics (Search for Journal in Brave)
Abstract: The restricted circular three-body problem is considered for the following parameter values , - the values for {em Oterma} comet in the Sun-Jupiter system. We present a computer assisted proof of an existence of homo- and heteroclinic cycle between two Lyapunov orbits and an existence of symbolic dynamics on four symbols built on this cycle.
Full work available at URL: https://arxiv.org/abs/math/0201278
Recommendations
- Heteroclinic connections between periodic orbits in planar restricted circular three body problem. II
- scientific article; zbMATH DE number 549911
- GEOMETRY OF HOMOCLINIC CONNECTIONS IN A PLANAR CIRCULAR RESTRICTED THREE-BODY PROBLEM
- Homoclinic and heteroclinic solutions in the restricted three-body problem
- Heteroclinic connections between triple collisions and relative periodic orbits in the isosceles three-body problem
- Periodic orbits for the perturbed planar circular restricted 3-body problem
- Families of periodic orbits emanating from homoclinic orbits in the restricted problem of three bodies
- Variational existence proof for multiple periodic orbits in the planar circular restricted three-body problem
- The bifurcation of periodic orbits and equilibrium points in the linked restricted three-body problem with parameter \(\omega\)
Three-body problems (70F07) Homoclinic and heteroclinic trajectories for nonlinear problems in mechanics (70K44)
Cited In (60)
- Chebyshev-Taylor parameterization of stable/unstable manifolds for periodic orbits: implementation and applications
- Melnikov method for non-conservative perturbations of the restricted three-body problem
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
- Resonant tori, transport barriers, and chaos in a vector field with a Neimark-Sacker bifurcation
- On computer-assisted proving the existence of periodic and bounded orbits
- Validated computations for connecting orbits in polynomial vector fields
- Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem
- Numerical computation of orbits and rigorous verification of existence of snapback repellers
- Computer assisted proof of drift orbits along normally hyperbolic manifolds. II: Application to the restricted three body problem
- Infinitely many heteroclinic orbits of a complex Lorenz system
- Computer assisted existence proofs of Lyapunov orbits at \(L_2\) and transversal intersections of invariant manifolds in the Jupiter--Sun PCR3BP
- Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems
- Lunar landing trajectory design based on invariant manifold
- Rigorous validation of stochastic transition paths
- A computer-assisted proof of symbolic dynamics in Hyperion's rotation
- Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence
- A THREE-DIMENSIONAL NONLINEAR SYSTEM WITH A SINGLE HETEROCLINIC TRAJECTORY
- Kirkwood gaps and diffusion along mean motion resonances in the restricted planar three-body problem
- Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof
- Euler integral as a source of chaos in the three-body problem
- A note on the existence of a Smale horseshoe in the planar circular restricted three-body problem
- Automatic differentiation for Fourier series and the radii polynomial approach
- Possible chaotic motion of comets in the Sun–Jupiter system—a computer-assisted approach based on shadowing
- Connecting orbits for compact infinite dimensional maps: computer assisted proofs of existence
- GEOMETRY OF HOMOCLINIC CONNECTIONS IN A PLANAR CIRCULAR RESTRICTED THREE-BODY PROBLEM
- Torus knot choreographies in the \(n\)-body problem
- Arnold diffusion in the planar elliptic restricted three-body problem: mechanism and numerical verification
- Heteroclinic connections between periodic orbits in planar restricted circular three body problem. II
- A computer-assisted proof of the existence of Smale horseshoe for the folded-towel map
- Existence of periodic solutions of the Fitzhugh-Nagumo equations for an explicit range of the small parameter
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
- Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
- Computation of maximal local (un)stable manifold patches by the parameterization method
- RIGOROUS VERIFICATION OF THE EXISTENCE OF TRANSVERSAL HOMOCLINIC ORBITS
- Periodic orbits, symbolic dynamics and topological entropy for the restricted 3-body problem
- Rich bifurcation structure in a two-patch vaccination model
- Validated Spectral Stability via Conjugate Points
- Covering relations, cone conditions and the stable manifold theorem
- Covering relations for multidimensional dynamical systems
- A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line
- Rigorous numerics for homoclinic dynamics
- Dynamical aspects of multi-round horseshoe-shaped homoclinic orbits in the RTBP
- Homoclinic and heteroclinic solutions in the restricted three-body problem
- Stationary coexistence of hexagons and rolls via rigorous computations
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem
- Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds
- Using normal forms to study Oterma's transition in the planar RTBP
- Rigorous numerics for symmetric homoclinic orbits in reversible dynamical systems
- Analytic continuation of local (un)stable manifolds with rigorous computer assisted error bounds
- Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds
- Heteroclinic Trajectory and Hopf Bifurcation in an Extended Lorenz System
- Chaos in the Kuramoto-Sivashinsky equations -- a computer-assisted proof.
- Determination of the doubly symmetric periodic orbits in the restricted three-body problem and Hill's lunar problem
- Transversal connecting orbits from shadowing
- 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 proof of homoclinic chaos in the spatial equilateral restricted four-body problem
- Numerical studies to detect chaotic motion in the full planar averaged three-body problem
- Combinatorial approach to detection of fixed points, periodic orbits, and symbolic dynamics
This page was built for publication: Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1400901)
