Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem (Q6155309)

scientific article; zbMATH DE number 7694703

Language	Label	Description	Also known as
English	Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem	scientific article; zbMATH DE number 7694703

Statements

instance of

scholarly article

0 references

title

Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem (English)

0 references

author

Maciej J. Capiński

0 references

Shane Kepley

0 references

Jason D. Mireles James

0 references

published in

Journal of Differential Equations

0 references

publication date

12 June 2023

0 references

full work available at URL

https://arxiv.org/abs/2205.03922

0 references

zbMATH Keywords

celestial mechanics

0 references

collisions

0 references

transverse homoclinic

0 references

computer assisted proofs

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

On the restrited three-body problem when the mass parameter is small

0 references

Proof of a conjecture of E. Str�mgren

0 references

Homoclinic orbits in Hamiltonian systems

0 references

Q5758976

0 references

ON MOULTON'S ORBITS IN THE RESTRICTED PROBLEM OF THREE BODIES

0 references

Q5369428

0 references

Global bifurcations of periodic solutions of the Hill lunar problem

0 references

Global bifurcations of periodic solutions of the restricted three-body problem

0 references

Topological bifurcations of central configurations in the $N$-body problem

0 references

Global bifurcation of planar and spatial periodic solutions from the polygonal relative equilibria for the $n$-body problem

0 references

Global bifurcation of planar and spatial periodic solutions in the restricted $n$-body problem

0 references

Erratum to "Improbability of Collisions in Newtonian Gravitational Systems"

0 references

Improbability of Collisions in Newtonian Gravitational Systems. II

0 references

Asymptotic density of collision orbits in the restricted circular planar 3 body problem

0 references

Basics of regularization theory

0 references

Q3920693

0 references

Q3865567

0 references

Triple collision in the collinear three-body problem

0 references

Symmetric regularization, reduction and blow-up of the planar three-body problem

0 references

A new regularization of the restricted three-body problem and an application

0 references

Triple collision in the planar isosceles three body problem

0 references

Q3936240

0 references

Triple collisions in the isosceles three body problem with small mass ratio

0 references

Triple collisions in the isosceles 3-body problem

0 references

Q4747619

0 references

Ejection-collision orbits in the symmetric collinear four-body problem

0 references

Transversal ejection-collision orbits for the restricted problem and the Hill's problem with applications

0 references

Transversal ejection-collision orbits in Hill's problem forC?1

0 references

Ejection-collision orbits with the more massive primary in the planar elliptic restricted three body problem

0 references

A note on the existence of invariant punctured tori in the planar circular restricted three-body problem

0 references

Averaging the planar three-body problem in the neighborhood of double inner collisions

0 references

Quasiperiodic motions in the planar three-body problem

0 references

Quasi‐Periodic Almost‐Collision Orbits in the Spatial Three‐Body Problem

0 references

Periodic and chaotic trajectories of the second species for the $n$-centre problem

0 references

Nonplanar second species periodic and chaotic trajectories for the circular restricted three-body problem

0 references

Q5457333

0 references

Consecutive quasi-collisions in the planar circular RTBP

0 references

A numerical study of the orbits of second species of the planar circular RTBP

0 references

Ejection-collision orbits in the RTBP

0 references

Analytical and numerical results on families of $n$-ejection-collision orbits in the RTBP

0 references

Transit regions and ejection/collision orbits in the RTBP

0 references

Generalized analytical results on $n$-ejection-collision orbits in the RTBP. Analysis of bifurcations

0 references

Q3503406

0 references

Stability and Multiplicity of Solutions to Discretizations of Nonlinear Ordinary Differential Equations

0 references

The Numerical Computation of Connecting Orbits in Dynamical Systems

0 references

Numerical computation of heteroclinic orbits

0 references

Computational methods for global analysis of homoclinic and heteroclinic orbits: A case study

0 references

Successive continuation for locating connecting orbits

0 references

Continuation of periodic orbits in conservative and Hamiltonian systems

0 references

CONTINUATION OF CONNECTING ORBITS IN 3D-ODEs (I): POINT-TO-CYCLE CONNECTIONS

0 references

CONTINUATION OF CONNECTING ORBITS IN 3D-ODEs (II) : CYCLE-TO-CYCLE CONNECTIONS

0 references

Dynamics and Mission Design Near Libration Points

0 references

Dynamics and Mission Design Near Libration Points

0 references

Q4524692

0 references

Connecting orbits and invariant manifolds in the spatial restricted three-body problem

0 references

Q4547285

0 references

Numerical continuation of families of homoclinic connections of periodic orbits in the RTBP

0 references

Numerical continuation of families of heteroclinic connections between periodic orbits in a Hamiltonian system

0 references

High-order resonant orbit manifold expansions for mission design in the planar circular restricted 3-body problem

0 references

Rapid and accurate methods for computing whiskered tori and their manifolds in periodically perturbed planar circular restricted 3-body problems

0 references

TRANSPORT IN DYNAMICAL ASTRONOMY AND MULTIBODY PROBLEMS

0 references

Branches of periodic orbits for the planar restricted 3-body problem

0 references

A new branch of mountain pass solutions for the choreographical 3-body problem

0 references

The existence of simple choreographies for the<i>N</i>-body problem—a computer-assisted proof

0 references

Q5394980

0 references

Rigorous KAM results around arbitrary periodic orbits for Hamiltonian systems

0 references

Computer assisted proofs for nonsymmetric planar choreographies and for stability of the Eight

0 references

Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence

0 references

Torus knot choreographies in the n-body problem

0 references

Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems

0 references

Periodic orbits, symbolic dynamics and topological entropy for the restricted 3-body problem

0 references

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

0 references

Computer Assisted Existence Proofs of Lyapunov Orbits at $L_2$ and Transversal Intersections of Invariant Manifolds in the Jupiter--Sun PCR3BP

0 references

Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem

0 references

Destruction of invariant curves in the restricted circular planar three-body problem by using comparison of action

0 references

Oscillatory motions and parabolic manifolds at infinity in the planar circular restricted three body problem

0 references

Existence of a Center Manifold in a Practical Domain around $L_1$ in the Restricted Three-Body Problem

0 references

Computer assisted proof of drift orbits along normally hyperbolic manifolds. II: Application to the restricted three body problem

0 references

Q4011802

0 references

Q4011809

0 references

Rigorous computer-assisted application of KAM theory: a modern approach

0 references

On the construction of the Kolmogorov normal form for the Trojan asteroids

0 references

Computer-assisted estimates for Birkhoff normal forms

0 references

Computer-assisted proofs in analysis

0 references

Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study

0 references

Rigorous Numerics in Dynamics

0 references

Computer-assisted proofs in PDE: a survey

0 references

Q5198996

0 references

Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

0 references

CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems

0 references

$C^1$ Lohner algorithm.

0 references

Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits

0 references

Q4524649

0 references

Computation of Periodic Solutions of Conservative Systems with Application to the 3-Body Problem

0 references

Stationary Coexistence of Hexagons and Rolls via Rigorous Computations

0 references

Homoclinic dynamics in a restricted four-body problem: transverse connections for the saddle-focus equilibrium solution set

0 references

Q5566070

0 references

Derived eigenvalues of symmetric matrices, with applications to distance geometry

0 references

The Krawczyk operator and Kantorovich's theorem

0 references

Verification methods: Rigorous results using floating-point arithmetic

0 references

Rigorous Numerics in Dynamics

0 references

Q4949347

0 references

The parameterization method for invariant manifolds. III: Overview and applications

0 references

The parameterization method for invariant manifolds. From rigorous results to effective computations

0 references

Identifiers

zbMATH Open document ID

0 references

0 references

10.1016/j.jde.2023.03.053

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:6155309