Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence
From MaRDI portal
Publication:2005582
DOI10.1007/s10569-018-9879-8zbMath1448.70024OpenAlexW2910060093WikidataQ113904045 ScholiaQ113904045MaRDI QIDQ2005582
Jaime Burgos-García, Jean-Philippe Lessard, Jason D. Mireles James
Publication date: 8 October 2020
Published in: Celestial Mechanics and Dynamical Astronomy (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10569-018-9879-8
Chebyshev spectral methodscomputer-assisted existence proofsgravitational four-body problemspatial periodic orbits
Related Items (12)
A rigorous implicit \(C^1\) Chebyshev integrator for delay equations ⋮ Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem ⋮ Periodic orbits in Hořava-Lifshitz cosmologies ⋮ Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem ⋮ Torus knot choreographies in the n-body problem ⋮ Rigorous numerics for ODEs using Chebyshev series and domain decomposition ⋮ Homoclinic dynamics in a spatial restricted four-body problem: blue skies into Smale horseshoes for vertical Lyapunov families ⋮ Homoclinic dynamics in a restricted four-body problem: transverse connections for the saddle-focus equilibrium solution set ⋮ Symmetric periodic orbits in the Moulton-Copenhagen problem ⋮ A new method to compute periodic orbits in general symplectic maps ⋮ Critical homoclinics in a restricted four-body problem: numerical continuation and center manifold computations ⋮ The spatial Hill four-body problem. I: An exploration of basic invariant sets
Uses Software
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
- Unnamed Item
- Unnamed Item
- The parameterization method for invariant manifolds. From rigorous results to effective computations
- Families of periodic orbits in the restricted four-body problem
- Geometric proof of strong stable/unstable manifolds with application to the restricted three body problem
- On the high order approximation of the centre manifold for ODEs
- Destruction of invariant curves in the restricted circular planar three-body problem by using comparison of action
- Non-symmetric low-index solutions for a symmetric boundary value problem
- Instabilities in the Sun-Jupiter-asteroid three body problem
- Heteroclinic connections between periodic orbits in planar restricted circular three body problem. II
- A parametrization method for the computation of invariant tori and their whiskers in quasi-periodic maps: numerical algorithms
- Dynamical aspects of an equilateral restricted four-body problem
- A new branch of mountain pass solutions for the choreographical 3-body problem
- Introduction to Hamiltonian dynamical systems and the \(N\)-body problem.
- Numerical methods in bifurcation problems. Lectures delivered at the Indian Institute of Science, Bangalore, under the T.I.F.R.-I.I.Sc. Programme in Applications of Mathematics. Notes by A. K. Nandakumaran and Mythily Ramaswamy
- On the stability of realistic three-body problems
- 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
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
- Branches of periodic orbits for the planar restricted 3-body problem
- Computing discrete convolutions with verified accuracy via Banach algebras and the FFT.
- Continuation of periodic orbits in conservative and Hamiltonian systems
- \(C^1\) Lohner algorithm.
- Automatic differentiation for Fourier series and the radii polynomial approach
- Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem
- Periodic orbits in the restricted four-body problem with two equal masses
- 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 for analytic solutions of differential equations: the radii polynomial approach
- Rigorous Numerics in Dynamics
- 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 Software Package for the Numerical Integration of ODEs by Means of High-Order Taylor Methods
- KAM stability and celestial mechanics
- ELEMENTAL PERIODIC ORBITS ASSOCIATED WITH THE LIBRATION POINTS IN THE CIRCULAR RESTRICTED 3-BODY PROBLEM
- Validated Continuation for Equilibria of PDEs
- Rigorous estimates for a computer-assisted KAM theory
- Localized oscillations in conservative or dissipative networks of weakly coupled autonomous oscillators
- Relative equilibrium solutions in the four body problem
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces
- The existence of simple choreographies for theN-body problem—a computer-assisted proof
- Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds
- Accurate strategies for small divisor problems
- Computer Assisted Existence Proofs of Lyapunov Orbits at $L_2$ and Transversal Intersections of Invariant Manifolds in the Jupiter--Sun PCR3BP
- Parameterization of Invariant Manifolds for Periodic Orbits I: Efficient Numerics via the Floquet Normal Form
- Poincaré and the Three-Body Problem
- Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
- 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
- A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE
This page was built for publication: Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence
