The existence of simple choreographies for theN-body problem—a computer-assisted proof
From MaRDI portal
Publication:4444051
DOI10.1088/0951-7715/16/6/302zbMath1060.70023arXivmath/0304404OpenAlexW1994376573MaRDI QIDQ4444051
Piotr Zgliczyński, Tomasz Kapela
Publication date: 2003
Published in: Nonlinearity (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/0304404
Related Items (27)
On computer-assisted proving the existence of periodic and bounded orbits ⋮ Algorithm for rigorous integration of delay differential equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation ⋮ Comet and moon solutions in the time-dependent restricted \((n+1)\)-body problem ⋮ Transitive decomposition of symmetry groups for the \(n\)-body problem ⋮ Continuation of normal doubly symmetric orbits in conservative reversible systems ⋮ Rigorous KAM results around arbitrary periodic orbits for Hamiltonian systems ⋮ Distance estimates for action-minimizing solutions of the \(N\)-body problem ⋮ Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem ⋮ Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem ⋮ Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds ⋮ Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems ⋮ Braids with the symmetries of Platonic polyhedra in the Coulomb (N+1)-body problem ⋮ An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs ⋮ Torus knot choreographies in the n-body problem ⋮ Automatic differentiation for Fourier series and the radii polynomial approach ⋮ Finite resolution dynamics ⋮ Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence ⋮ A computer-assisted proof of existence of a periodic solution ⋮ Simple choreographies of the planar Newtonian \(N\)-body problem ⋮ On the stability of periodic N-body motions with the symmetry of Platonic polyhedra ⋮ Symmetries and choreographies in families that bifurcate from the polygonal relative equilibrium of the \(n\)-body problem ⋮ A new branch of mountain pass solutions for the choreographical 3-body problem ⋮ From the Lagrange polygon to the figure eight. I: Numerical evidence extending a conjecture of Marchal ⋮ CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems ⋮ Variational proof of the existence of the super-eight orbit in the four-body problem ⋮ A restricted four-body problem for the figure-eight choreography ⋮ Local minimality properties of circular motions in \(1/r^\alpha\) potentials and of the figure-eight solution of the 3-body problem
This page was built for publication: The existence of simple choreographies for theN-body problem—a computer-assisted proof
