Computer assisted existence proofs of Lyapunov orbits at L₂ and transversal intersections of invariant manifolds in the Jupiter--Sun PCR3BP
DOI10.1137/110847366zbMATH Open1264.37008OpenAlexW2054688937MaRDI QIDQ4904559FDOQ4904559
Authors: Maciej 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
Recommendations
- Computer assisted proof of drift orbits along normally hyperbolic manifolds. II: Application to the restricted three body problem
- Rigorous numerics for homoclinic dynamics
- Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem
- Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
- Transversality of the invariant manifolds associated to the Lyapunov family of periodic orbits near \(L_ 2\) in the restricted three-body problem
invariant manifoldsparameterization methodcone conditionsrestricted three body problemcomputer assisted proofs
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)
Cited In (28)
- 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
- Breakdown of homoclinic orbits to \(L_3\) in the RPC3BP. II: An asymptotic formula
- 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
- On the construction of Lyapunov functions with computer assistance
- Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem
- Parameterization method for unstable manifolds of delay differential equations
- Computer assisted proof of drift orbits along normally hyperbolic manifolds. II: Application to the restricted three body problem
- Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
- Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence
- Efficient representation of invariant manifolds of periodic orbits in the CRTBP
- Computer assisted proofs of two-dimensional attracting invariant tori for ODEs
- 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
- Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem
- Torus knot choreographies in the \(n\)-body problem
- Arnold diffusion in the planar elliptic restricted three-body problem: mechanism and numerical verification
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
- Characterising blenders via covering relations and cone conditions
- Global persistence of Lyapunov subcenter manifolds as spectral submanifolds under dissipative perturbations
- 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
- Analytic continuation of local (un)stable manifolds with rigorous computer assisted error bounds
- Transversality of the invariant manifolds associated to the Lyapunov family of periodic orbits near \(L_ 2\) in the restricted three-body problem
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
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4904559)
