Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem
From MaRDI portal
Homoclinic and heteroclinic orbits for dynamical systems (37C29) Periodic, homoclinic and heteroclinic orbits of finite-dimensional Hamiltonian systems (37J46) Dynamical systems in classical and celestial mechanics (37N05) Computer assisted proofs of proofs-by-exhaustion type (68V05) Three-body problems (70F07) Celestial mechanics (70F15)
Abstract: This paper considers two point boundary value problems for conservative systems defined in multiple coordinate systems, and develops a flexible a-posteriori framework for computer assisted existence proofs. Our framework is applied to the study collision and near collision orbits in the circular restricted three body problem. In this case the coordinate systems are the standard rotating coordinates, and the two Levi-Civita coordinate systems regularizing collisions with each of the massive primaries. The proposed framework is used to prove the existence of a number of orbits which have long been studied numerically in the celestial mechanics literature, but for which there are no existing analytical proofs at the mass and energy values considered here. These include transverse ejection/collisions from one primary body to the other, Str"{o}mgren's assymptotic periodic orbits (transverse homoclinics for ), families of periodic orbits passing through collision, and orbits connecting to ejection or collision.
Recommendations
- Computer assisted proof of drift orbits along normally hyperbolic manifolds. II: Application to the restricted three body problem
- Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence
- Computer assisted existence proofs of Lyapunov orbits at \(L_2\) and transversal intersections of invariant manifolds in the Jupiter--Sun PCR3BP
- Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
- Existence of either a periodic collisional orbit or infinitely many consecutive collision orbits in the planar circular restricted three-body problem
Cites work
- C^1 Lohner algorithm.
- A new branch of mountain pass solutions for the choreographical 3-body problem
- A new regularization of the restricted three-body problem and an application
- A note on the existence of invariant punctured tori in the planar circular restricted three-body problem
- A numerical study of the orbits of second species of the planar circular RTBP
- Analytical and numerical results on families of \(n\)-ejection-collision orbits in the RTBP
- Asymptotic density of collision orbits in the restricted circular planar 3 body problem
- Averaging the planar three-body problem in the neighborhood of double inner collisions
- Basics of regularization theory
- Branches of periodic orbits for the planar restricted 3-body problem
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
- Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem
- Computation of Periodic Solutions of Conservative Systems with Application to the 3-Body Problem
- Computational methods for global analysis of homoclinic and heteroclinic orbits: A case study
- Computer assisted existence proofs of Lyapunov orbits at \(L_2\) and transversal intersections of invariant manifolds in the Jupiter--Sun PCR3BP
- Computer assisted proof of drift orbits along normally hyperbolic manifolds. II: Application to the restricted three body problem
- Computer assisted proofs for nonsymmetric planar choreographies and for stability of the Eight
- Computer-assisted estimates for Birkhoff normal forms
- Computer-assisted proofs in analysis
- Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
- Computer-assisted proofs in PDE: a survey
- Connecting orbits and invariant manifolds in the spatial restricted three-body problem
- Consecutive quasi-collisions in the planar circular RTBP.
- CONTINUATION OF CONNECTING ORBITS IN 3D-ODEs (I): POINT-TO-CYCLE CONNECTIONS
- CONTINUATION OF CONNECTING ORBITS IN 3D-ODEs (II) : CYCLE-TO-CYCLE CONNECTIONS
- Continuation of periodic orbits in conservative and Hamiltonian systems
- Derived eigenvalues of symmetric matrices, with applications to distance geometry
- Destruction of invariant curves in the restricted circular planar three-body problem by using comparison of action
- Dynamics and Mission Design Near Libration Points
- Dynamics and mission design near libration points. Vol. 4: Advanced methods for triangular points
- Ejection-collision orbits in the RTBP
- Ejection-collision orbits in the symmetric collinear four-body problem
- Ejection-collision orbits with the more massive primary in the planar elliptic restricted three body problem
- Erratum to "Improbability of Collisions in Newtonian Gravitational Systems"
- Existence of a center manifold in a practical domain around \(L_1\) in the restricted three-body problem
- Fly me to the moon. An insider's guide to the new science of space travel. With a foreword by Neil deGrasse Tyson
- Generalized analytical results on \(n\)-ejection-collision orbits in the RTBP. Analysis of bifurcations
- Global bifurcation of planar and spatial periodic solutions from the polygonal relative equilibria for the \(n\)-body problem
- Global bifurcation of planar and spatial periodic solutions in the restricted \(n\)-body problem
- Global bifurcations of periodic solutions of the Hill lunar problem
- Global bifurcations of periodic solutions of the restricted three-body problem
- Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
- High-order resonant orbit manifold expansions for mission design in the planar circular restricted 3-body problem
- Homoclinic dynamics in a restricted four-body problem: transverse connections for the saddle-focus equilibrium solution set
- Homoclinic orbits in Hamiltonian systems
- scientific article; zbMATH DE number 3668051 (Why is no real title available?)
- scientific article; zbMATH DE number 3733314 (Why is no real title available?)
- scientific article; zbMATH DE number 3752283 (Why is no real title available?)
- scientific article; zbMATH DE number 67111 (Why is no real title available?)
- scientific article; zbMATH DE number 67117 (Why is no real title available?)
- scientific article; zbMATH DE number 1552395 (Why is no real title available?)
- scientific article; zbMATH DE number 1552437 (Why is no real title available?)
- scientific article; zbMATH DE number 1785966 (Why is no real title available?)
- scientific article; zbMATH DE number 3802857 (Why is no real title available?)
- scientific article; zbMATH DE number 1440908 (Why is no real title available?)
- scientific article; zbMATH DE number 5070067 (Why is no real title available?)
- scientific article; zbMATH DE number 3281219 (Why is no real title available?)
- scientific article; zbMATH DE number 3018439 (Why is no real title available?)
- Improbability of Collisions in Newtonian Gravitational Systems. II
- Nonplanar second species periodic and chaotic trajectories for the circular restricted three-body problem
- Numerical computation of heteroclinic orbits
- Numerical continuation of families of heteroclinic connections between periodic orbits in a Hamiltonian system
- Numerical continuation of families of homoclinic connections of periodic orbits in the RTBP
- Numerical verification methods and computer-assisted proofs for partial differential equations
- ON MOULTON'S ORBITS IN THE RESTRICTED PROBLEM OF THREE BODIES
- On the construction of the Kolmogorov normal form for the Trojan asteroids
- On the restrited three-body problem when the mass parameter is small
- Oscillatory motions and parabolic manifolds at infinity in the planar circular restricted three body problem
- Periodic and chaotic trajectories of the second species for the n-centre problem
- Periodic orbits, symbolic dynamics and topological entropy for the restricted 3-body problem
- Proof of a conjecture of E. Str�mgren
- Quasi-periodic almost-collision orbits in the spatial three-body problem
- Quasiperiodic motions in the planar three-body problem
- Rapid and accurate methods for computing whiskered tori and their manifolds in periodically perturbed planar circular restricted 3-body problems
- Rigorous computer-assisted application of KAM theory: a modern approach
- Rigorous KAM results around arbitrary periodic orbits for Hamiltonian systems
- Rigorous Numerics in Dynamics
- Rigorous numerics in dynamics
- Shadowing chains of collision orbits for the elliptic 3-body problem
- Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence
- Stability and Multiplicity of Solutions to Discretizations of Nonlinear Ordinary Differential Equations
- Stationary coexistence of hexagons and rolls via rigorous computations
- Successive continuation for locating connecting orbits
- Symmetric regularization, reduction and blow-up of the planar three-body problem
- The existence of simple choreographies for theN-body problem—a computer-assisted proof
- The Krawczyk operator and Kantorovich's theorem
- The Numerical Computation of Connecting Orbits in Dynamical Systems
- The parameterization method for invariant manifolds. From rigorous results to effective computations
- The parameterization method for invariant manifolds. III: Overview and applications
- Theory of orbit. The restricted problem of three bodies
- Topological bifurcations of central configurations in the \(N\)-body problem
- Torus knot choreographies in the \(n\)-body problem
- Transit regions and ejection/collision orbits in the RTBP
- TRANSPORT IN DYNAMICAL ASTRONOMY AND MULTIBODY PROBLEMS
- Transversal ejection-collision orbits for the restricted problem and the Hill's problem with applications
- Transversal ejection-collision orbits in Hill's problem forC?1
- Triple collision in the collinear three-body problem
- Triple collision in the planar isosceles three body problem
- Triple collisions in the isosceles 3-body problem
- Triple collisions in the isosceles three body problem with small mass ratio
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
- Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems
- Validated numerics. A short introduction to rigorous computations.
- Verification methods: rigorous results using floating-point arithmetic
Cited in
(14)- Generalized analytical results on \(n\)-ejection-collision orbits in the RTBP. Analysis of bifurcations
- Computer assisted existence proofs of Lyapunov orbits at \(L_2\) and transversal intersections of invariant manifolds in the Jupiter--Sun PCR3BP
- Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem
- On the collision dynamics in a molecular model
- Parametric approximations of fast close encounters of the planar three-body problem as arcs of a focus-focus dynamics
- Equivariant optimisation for the gravitational n-body problem: a computational factory of symmetric orbits
- Oscillatory collision approach in the Earth-Moon restricted three body problem
- Computer assisted existence proofs for parameterized cycle-to-cycle connections
- Ejection-collision orbits in the parabolic restricted three-body problem
- Oscillatory motions, parabolic orbits and collision orbits in the planar circular restricted three-body problem
- Dynamics of slow-fast Hamiltonian systems: the saddle-focus case
- Branches and bifurcations of ejection-collision orbits in the planar circular restricted three body problem
- Computational symplectic topology and symmetric orbits in the restricted three-body problem
- Proving symmetry of localized solutions and application to dihedral patterns in the planar Swift-Hohenberg PDE
This page was built for publication: Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6155309)
