Rigorous estimates for a computer-assisted KAM theory

DOI10.1063/1.527418MaRDI QIDQ3796418zbMATH OpenOpenAlexFDO

Authors Alessandra Celletti, L. Chierchia

Publication date 1987

Published in Journal of Mathematical Physics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1063/1.527418

zbMATH Keywords

integrable Hamiltonian systemsinvariant KAM-toriperturbation

Mathematics Subject Classification ID

Periodic and quasi-periodic flows and diffeomorphisms (37C55) Perturbations of finite-dimensional Hamiltonian systems, normal forms, small divisors, KAM theory, Arnol'd diffusion (37J40) Dynamical aspects of finite-dimensional Hamiltonian and Lagrangian systems (37J99) Hamilton's equations (70H05)

Recommendations

• Rigorous computer-assisted application of KAM theory: a modern approach
• Improved estimates on the existence of invariant tori for Hamiltonian systems
• The KAM theory of systems with short range interactions. I
• scientific article; zbMATH DE number 4037299
• Non-KAM Hamiltonians

Cites work

• A computer-assisted proof of the Feigenbaum conjectures
• Computer-assisted proofs in analysis
• Converse KAM: theory and practice
• Glancing billiards
• PROOF OF A THEOREM OF A. N. KOLMOGOROV ON THE INVARIANCE OF QUASI-PERIODIC MOTIONS UNDER SMALL PERTURBATIONS OF THE HAMILTONIAN

Cited in

(29)

• Construction of analytic KAM-surfaces and effective stability bounds
• On the numerical optimization of KAM estimates by classical perturbation theory
• Construction of invariant tori for the spin-orbit problem in the Mercury-Sun system
• A numerical perturbation method based on the KAM construction
• Invariant curves for area-preserving twist maps far from integrable
• Stability of the synchronous spin-orbit resonance by construction of librational trapping tori
• Construction of librational invariant tori in the spin-orbit problem
• A-posteriori KAM theory with optimal estimates for partially integrable systems
• Rigorous computer-assisted application of KAM theory: a modern approach
• Diophantine conditions and K.A.M. estimates for the Siegel theorem in C^ N
• Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence
• Hamiltonian control of magnetic field lines: computer assisted results proving the existence of KAM barriers
• Normal form for lower dimensional elliptic tori in Hamiltonian systems
• On the sharpness of the Rüssmann estimates
• Computer assisted proofs of two-dimensional attracting invariant tori for ODEs
• scientific article; zbMATH DE number 4037299 (Why is no real title available?)
• scientific article; zbMATH DE number 1189411 (Why is no real title available?)
• scientific article; zbMATH DE number 67111 (Why is no real title available?)
• Improved estimates on the existence of invariant tori for Hamiltonian systems
• Rigorous KAM results around arbitrary periodic orbits for Hamiltonian systems
• Invariant tori in Hamiltonian systems with high order proper degeneracy
• Kolmogorov-Arnold-Moser (KAM) theory for finite and infinite dimensional systems
• A parametrization algorithm to compute lower dimensional elliptic tori in Hamiltonian systems
• KAM algorithms for Lagrangian tori in time-quasi-periodic Hamiltonian systems
• Constructive approaches to QP-time-dependent KAM theory for Lagrangian tori in Hamiltonian systems
• A direct method for constructing solutions of the Hamilton-Jacobi equation
• KAM tori for n-body problems: a brief history
• Analysis of resonances in the spin-orbit problem in celestial mechanics. I: The synchronous resonance
• Analysis of resonances in the spin-orbit problem in celestial mechanics. II: Higher order resonances and some numerical experiments

This page was built for publication: Rigorous estimates for a computer-assisted KAM theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3796418)