Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem

DOI10.1016/j.jde.2023.10.002zbMath1529.70014arXiv2212.00930MaRDI QIDQ6065756

Maxime Murray, Jason D. Mireles James

Publication date: 15 November 2023

Published in: Journal of Differential Equations (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2212.00930

zbMATH Keywords

Newton-Kantorovich methodparameterization methodhyperbolic periodic orbitBanach algebra productFourier-Taylor approximationhomoclinic connection existence

Mathematics Subject Classification ID

Computational methods for problems pertaining to mechanics of particles and systems (70-08) Transition to stochasticity (chaotic behavior) for nonlinear problems in mechanics (70K55) (n)-body problems (70F10) Homoclinic and heteroclinic trajectories for nonlinear problems in mechanics (70K44) Periodic and almost periodic solutions for problems in Hamiltonian and Lagrangian mechanics (70H12)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The parameterization method for invariant manifolds. From rigorous results to effective computations
• On the ``blue sky catastrophe termination in the restricted four-body problem
• The existence of a Smale horseshoe in a planar circular restricted four-body problem
• Families of periodic orbits in the restricted four-body problem
• Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation
• Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series
• The existence of transversal homoclinic orbits in a planar circular restricted four-body problem
• A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line
• Heteroclinic connections between periodic orbits in planar restricted circular three body problem. II
• Dynamical aspects of an equilateral restricted four-body problem
• Homoclinic orbits in Hamiltonian systems
• Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
• Periodic orbits, symbolic dynamics and topological entropy for the restricted 3-body problem
• Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds
• Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof
• Efficient representation of invariant manifolds of periodic orbits in the CRTBP
• General configurations of the symmetric restricted 4-body problem
• Continuation of periodic orbits in conservative and Hamiltonian systems
• Rigorous numerics for ODEs using Chebyshev series and domain decomposition
• Automatic differentiation for Fourier series and the radii polynomial approach
• Homoclinic dynamics in a spatial restricted four-body problem: blue skies into Smale horseshoes for vertical Lyapunov families
• Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence
• Homoclinic dynamics in a restricted four-body problem: transverse connections for the saddle-focus equilibrium solution set
• Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
• Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem
• On the central configurations of the planar restricted four-body problem
• The parameterization method for invariant manifolds. III: Overview and applications
• Computation of Limit Cycles and Their Isochrons: Fast Algorithms and Their Convergence
• Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity
• Chebyshev–Taylor Parameterization of Stable/Unstable Manifolds for Periodic Orbits: Implementation and Applications
• EQUILIBRIUM POINTS AND THEIR STABILITY IN THE RESTRICTED FOUR-BODY PROBLEM
• The Set of Degenerate Central Configurations in the Planar Restricted Four-Body Problem
• A Computational and Geometric Approach to Phase Resetting Curves and Surfaces
• A Software Package for the Numerical Integration of ODEs by Means of High-Order Taylor Methods
• Relative equilibrium solutions in the four body problem
• Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
• Computation of Periodic Solutions of Conservative Systems with Application to the 3-Body Problem
• Computer Assisted Existence Proofs of Lyapunov Orbits at $L_2$ and Transversal Intersections of Invariant Manifolds in the Jupiter--Sun PCR3BP
• Nonlinear Stability of Equilibrium Points in the Planar Equilateral Restricted Mass-Unequal Four-Body Problem
• A Note on the Nonlinear Stability of Equilibrium Points in the Planar Equilateral Restricted Mass-Unequal Four-Body Problem
• Parameterization of Invariant Manifolds for Periodic Orbits I: Efficient Numerics via the Floquet Normal Form
• Stationary Coexistence of Hexagons and Rolls via Rigorous Computations
• Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series
• Bifurcations and Enumeration of Classes of Relative Equilibria in the Planar Restricted Four-Body Problem
• Differentiable dynamical systems
• Study on Chaotic Behavior of the Restricted Four-Body Problem with an Equilateral Triangle Configuration
• Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem