Computer assisted existence proofs of Lyapunov orbits at L₂ and transversal intersections of invariant manifolds in the Jupiter--Sun PCR3BP
From MaRDI portal
Publication:4904559
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
Cited in
(28)- Melnikov method for non-conservative perturbations of the restricted three-body problem
- Computer assisted proof of drift orbits along normally hyperbolic manifolds. II: Application to the restricted three body problem
- Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem
- Chebyshev-Taylor parameterization of stable/unstable manifolds for periodic orbits: implementation and applications
- Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem
- Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
- Automatic differentiation for Fourier series and the radii polynomial approach
- Transversality of the invariant manifolds associated to the Lyapunov family of periodic orbits near \(L_ 2\) in the restricted three-body problem
- Parameterization method for unstable manifolds of delay differential equations
- 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
- 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
- Torus knot choreographies in the \(n\)-body problem
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
- Breakdown of homoclinic orbits to \(L_3\) in the RPC3BP. II: An asymptotic formula
- Arnold diffusion in the planar elliptic restricted three-body problem: mechanism and numerical verification
- Possible chaotic motion of comets in the Sun–Jupiter system—a computer-assisted approach based on shadowing
- Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence
- Resonant tori, transport barriers, and chaos in a vector field with a Neimark-Sacker bifurcation
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
- On computer-assisted proving the existence of periodic and bounded orbits
- On the construction of Lyapunov functions with computer assistance
- Characterising blenders via covering relations and cone conditions
- 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
- Efficient representation of invariant manifolds of periodic orbits in the CRTBP
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)
