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

DOI10.1016/j.jde.2018.08.007zbMath1422.37062arXiv1711.06932OpenAlexW2963906850MaRDI QIDQ2423229

Shane Kepley, Jason D. Mireles James

Publication date: 21 June 2019

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

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

zbMATH Keywords

invariant manifoldsparameterization methodcircular restricted four body problem

Mathematics Subject Classification ID

Related Items (15)

A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations ⋮ Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem ⋮ Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem ⋮ Torus knot choreographies in the n-body problem ⋮ On polynomial forms of nonlinear functional differential equations ⋮ Complexity in a Hybrid van der Pol System ⋮ 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 ⋮ Hill four-body problem with oblate bodies: an application to the Sun-Jupiter-Hektor-Skamandrios system ⋮ Critical homoclinics in a restricted four-body problem: numerical continuation and center manifold computations ⋮ Nonlinear Stability of Equilibrium Points in the Planar Equilateral Restricted Mass-Unequal Four-Body Problem ⋮ Validated computations for connecting orbits in polynomial vector fields ⋮ Rigorous validation of stochastic transition paths ⋮ On the number of equilibria balancing Newtonian point masses with a central force

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
• 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
• Periodic orbits in the concentric circular restricted four-body problem and their invariant manifolds
• Geometric proof of strong stable/unstable manifolds with application to the restricted three body problem
• Infinite Feigenbaum sequences and spirals in the vicinity of the Lagrangian periodic solutions
• The existence of transversal homoclinic orbits in a planar circular restricted four-body problem
• A parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps: rigorous results
• A parametrization method for the computation of invariant tori and their whiskers in quasi-periodic maps: numerical algorithms
• Hill's approximation in a restricted four-body problem
• Dynamical aspects of an equilateral restricted four-body problem
• Stability of the triangular Lagrange points beyond Gascheau's value
• A new branch of mountain pass solutions for the choreographical 3-body problem
• A shorter proof of the existence of the Feigenbaum fixed point
• Computer-assisted proofs in analysis
• Homoclinic orbits in Hamiltonian systems
• Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
• Chaotic transfers in three- and four-body systems
• Periodic orbits, symbolic dynamics and topological entropy for the restricted 3-body problem
• Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof
• Branches of periodic orbits for the planar restricted 3-body problem
• A complete proof of the Feigenbaum conjectures
• Automatic differentiation for Fourier series and the radii polynomial approach
• Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
• On the central configurations of the planar restricted four-body problem
• The parameterization method for invariant manifolds. III: Overview and applications
• On the differential equations of Hill in the theory of the motion of the moon
• Rigorous Numerics in Dynamics
• Rigorous Numerics in Floquet Theory: Computing Stable and Unstable Bundles of Periodic Orbits
• Rigorous A Posteriori Computation of (Un)Stable Manifolds and Connecting Orbits for Analytic Maps
• Introduction to Smooth Manifolds
• Verification methods: Rigorous results using floating-point arithmetic
• Arnold diffusion in the planar elliptic restricted three-body problem: mechanism and numerical verification
• Transition tori in the planar restricted elliptic three-body problem
• Chebyshev–Taylor Parameterization of Stable/Unstable Manifolds for Periodic Orbits: Implementation and Applications
• The Set of Degenerate Central Configurations in the Planar Restricted Four-Body Problem
• A computer-assisted proof of universality for area-preserving maps
• A computer-assisted proof of the Feigenbaum conjectures
• On the behaviour of a Hamiltonian system in a neighbourhood of the transversal homoclinic orbit of a saddle-focus
• Complex dynamics and bifurcations in a Hamiltonian system having a transversal homoclinic orbit to a saddle focus
• The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces
• The parameterization method for invariant manifolds II: regularity with respect to parameters
• The existence of simple choreographies for theN-body problem—a computer-assisted proof
• Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
• Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds
• KAM theory without action-angle variables
• Computer Assisted Existence Proofs of Lyapunov Orbits at $L_2$ and Transversal Intersections of Invariant Manifolds in the Jupiter--Sun PCR3BP
• Computer assisted proofs for nonsymmetric planar choreographies and for stability of the Eight
• A Parameterization Method for the Computation of Invariant Tori and Their Whiskers in Quasi‐Periodic Maps: Explorations and Mechanisms for the Breakdown of Hyperbolicity
• Rigorous KAM results around arbitrary periodic orbits for Hamiltonian systems
• Existence of a Center Manifold in a Practical Domain around $L_1$ in the Restricted Three-Body Problem
• Bifurcations and Enumeration of Classes of Relative Equilibria in the Planar Restricted Four-Body Problem
• Differentiable dynamical systems
• [https://portal.mardi4nfdi.de/wiki/Publication:5675367 Proof of a conjecture of E. Str�mgren]
• Study on Chaotic Behavior of the Restricted Four-Body Problem with an Equilateral Triangle Configuration

This page was built for publication: Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem