Rigorous KAM results around arbitrary periodic orbits for Hamiltonian systems

DOI10.1088/1361-6544/aa4ff3zbMath1412.70024arXiv1105.3235OpenAlexW71450538MaRDI QIDQ5346730

Carles Simó, Tomasz Kapela

Publication date: 29 May 2017

Published in: Nonlinearity (Search for Journal in Brave)

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

zbMATH Keywords

Hamiltonian systemsN-body problemKAMverified numericscomputer assisted proofs

Mathematics Subject Classification ID

Perturbations of finite-dimensional Hamiltonian systems, normal forms, small divisors, KAM theory, Arnol'd diffusion (37J40) (n)-body problems (70F10) Stability problems for finite-dimensional Hamiltonian and Lagrangian systems (37J25) Nearly integrable Hamiltonian systems, KAM theory (70H08)

Related Items

Systematic Computer-Assisted Proof of Branches of Stable Elliptic Periodic Orbits and Surrounding Invariant Tori, 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, Computing Chaotic Eigenvectors in Narrow Energy Windows, Braids with the symmetries of Platonic polyhedra in the Coulomb (N+1)-body problem, Numerical integration of high-order variational equations of ODEs, Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds, Torus knot choreographies in the n-body problem, Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence, 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, 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

Uses Software

• CAPD

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Measuring the total amount of chaos in some Hamiltonian systems
• Return maps, dynamical consequences and applications
• On the centre manifold of collinear points in the planar three-body problem
• A note on the non-integrability of some Hamiltonian systems with a homogeneous potential.
• \(C^1\) Lohner algorithm.
• Effect of islands in diffusive properties of the standard map for large parameter values
• Resonance tongues in the quasi-periodic Hill-Schrödinger equation with three frequencies
• From the Hénon conservative map to the Chirikov standard map for large parameter values
• Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
• Simple Choreographic Motions of N Bodies: A Preliminary Study
• Resonant zones, inner and outer splittings in generic and low order resonances of area preserving maps
• A computer-assisted proof of the Feigenbaum conjectures
• Interval Methods for Systems of Equations
• The existence of simple choreographies for theN-body problem—a computer-assisted proof
• Braids in classical dynamics
• Computer assisted proofs for nonsymmetric planar choreographies and for stability of the Eight
• PROOF OF A THEOREM OF A. N. KOLMOGOROV ON THE INVARIANCE OF QUASI-PERIODIC MOTIONS UNDER SMALL PERTURBATIONS OF THE HAMILTONIAN
• A remarkable periodic solution of the three-body problem in the case of equal masses