Computer assisted proofs for nonsymmetric planar choreographies and for stability of the Eight
From MaRDI portal
Publication:5297506
DOI10.1088/0951-7715/20/5/010zbMath1115.70008OpenAlexW1978758631MaRDI QIDQ5297506
Publication date: 11 July 2007
Published in: Nonlinearity (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/ccc76f50acfc2719d947707a98cf214a0bc9797b
Stability for nonlinear problems in mechanics (70K20) Computational methods for problems pertaining to mechanics of particles and systems (70-08) (n)-body problems (70F10)
Related Items
A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations, On computer-assisted proving the existence of periodic and bounded orbits, Rigorous KAM results around arbitrary periodic orbits for Hamiltonian systems, 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, Braids with the symmetries of Platonic polyhedra in the Coulomb (N+1)-body problem, The Round Taylor Method, Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds, Existence and linear stability of the rhomboidal periodic orbit in the planar equal mass four-body problem, Existence of the Broucke periodic orbit and its linear stability, An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs, Torus knot choreographies in the n-body problem, A continuum of periodic solutions to the planar four-body problem with two pairs of equal masses, Automatic differentiation for Fourier series and the radii polynomial approach, Finite resolution dynamics, A family of periodic orbits in the three-dimensional lunar problem, A computer-assisted proof of existence of a periodic solution, Linear stability analysis of the figure-eight orbit in the three-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, 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, Local minimality properties of circular motions in \(1/r^\alpha\) potentials and of the figure-eight solution of the 3-body problem, Index and stability of symmetric periodic orbits in Hamiltonian systems with application to figure-eight orbit, Star pentagon and many stable choreographic solutions of the Newtonian 4-body problem
