Rigorous KAM results around arbitrary periodic orbits for Hamiltonian systems
From MaRDI portal
(Redirected from Publication:5346730)
Abstract: We set up a methodology for computer assisted proofs of the existence and the KAM stability of an arbitrary periodic orbit for Hamiltonian systems. We give two examples of application for systems with 2 and 3 degrees of freedom. The first example verifies the existence of tiny elliptic islands inside large chaotic domains for a quartic potential. In the 3-body problem we prove the KAM stability of the well-known figure eight orbit and two selected orbits of the so called family of rotating Eights. Some additional theoretical and numerical information is also given for the dynamics of both examples.
Recommendations
- Systematic computer assisted proofs of periodic orbits of Hamiltonian systems
- Rigorous estimates for a computer-assisted KAM theory
- Rigorous computer-assisted application of KAM theory: a modern approach
- scientific article; zbMATH DE number 2217390
- Construction of analytic KAM-surfaces and effective stability bounds
Cites work
- C^1 Lohner algorithm.
- A computer-assisted proof of the Feigenbaum conjectures
- A note on the non-integrability of some Hamiltonian systems with a homogeneous potential.
- A remarkable periodic solution of the three-body problem in the case of equal masses
- Braids in classical dynamics
- Computer assisted proofs for nonsymmetric planar choreographies and for stability of the Eight
- Effect of islands in diffusive properties of the standard map for large parameter values
- From the Hénon conservative map to the Chirikov standard map for large parameter values
- scientific article; zbMATH DE number 3175439 (Why is no real title available?)
- scientific article; zbMATH DE number 4159716 (Why is no real title available?)
- scientific article; zbMATH DE number 4084894 (Why is no real title available?)
- scientific article; zbMATH DE number 3488665 (Why is no real title available?)
- scientific article; zbMATH DE number 714513 (Why is no real title available?)
- scientific article; zbMATH DE number 1944709 (Why is no real title available?)
- scientific article; zbMATH DE number 1785972 (Why is no real title available?)
- scientific article; zbMATH DE number 3241128 (Why is no real title available?)
- scientific article; zbMATH DE number 3281219 (Why is no real title available?)
- scientific article; zbMATH DE number 3090395 (Why is no real title available?)
- Interval Methods for Systems of Equations
- Measuring the total amount of chaos in some Hamiltonian systems
- Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
- On the centre manifold of collinear points in the planar three-body problem
- PROOF OF A THEOREM OF A. N. KOLMOGOROV ON THE INVARIANCE OF QUASI-PERIODIC MOTIONS UNDER SMALL PERTURBATIONS OF THE HAMILTONIAN
- Resonance tongues in the quasi-periodic Hill-Schrödinger equation with three frequencies
- Resonant zones, inner and outer splittings in generic and low order resonances of area preserving maps
- Return maps, dynamical consequences and applications
- Simple Choreographic Motions of N Bodies: A Preliminary Study
- The existence of simple choreographies for theN-body problem—a computer-assisted proof
Cited in
(24)- Rigorous proof of chaotic behaviour in a dumbbell satellite model
- Rigorous computer-assisted application of KAM theory: a modern approach
- Symmetries and choreographies in families that bifurcate from the polygonal relative equilibrium of the n-body problem
- Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence
- 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^ potentials and of the figure-eight solution of the 3-body problem
- Hamiltonian control of magnetic field lines: computer assisted results proving the existence of KAM barriers
- Braids with the symmetries of Platonic polyhedra in the Coulomb (N+1)-body problem
- Systematic computer assisted proofs of periodic orbits of Hamiltonian systems
- Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem
- Numerical integration of high-order variational equations of ODEs
- scientific article; zbMATH DE number 1066216 (Why is no real title available?)
- Systematic computer-assisted proof of branches of stable elliptic periodic orbits and surrounding invariant tori
- On the stability of periodic N-body motions with the symmetry of platonic polyhedra
- scientific article; zbMATH DE number 4117926 (Why is no real title available?)
- Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
- Torus knot choreographies in the \(n\)-body problem
- Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem
- Computing Chaotic Eigenvectors in Narrow Energy Windows
- Computer-assisted proofs of existence of KAM tori in planetary dynamical models of \(\upsilon\)-And \(\mathbf{b}\)
- Computational methods in perturbation theory
- Constructive approaches to QP-time-dependent KAM theory for Lagrangian tori in Hamiltonian systems
This page was built for publication: Rigorous KAM results around arbitrary periodic orbits for Hamiltonian systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5346730)
