Rigorous estimates for a computer-assisted KAM theory

DOI10.1063/1.527418zbMath0651.58011OpenAlexW1979874680MaRDI QIDQ3796418

Luigi Chierchia, Alessandra Celletti

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

perturbationintegrable Hamiltonian systemsinvariant KAM-tori

Mathematics Subject Classification ID

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

Related Items (16)

KAM tori for \(n\)-body problems: a brief history ⋮ Construction of analytic KAM-surfaces and effective stability bounds ⋮ On the numerical optimization of KAM estimates by classical perturbation theory ⋮ Normal form for lower dimensional elliptic tori in Hamiltonian systems ⋮ Analysis of resonances in the spin-orbit problem in celestial mechanics. I: The synchronous resonance ⋮ Computer assisted proofs of two-dimensional attracting invariant tori for ODEs ⋮ Analysis of resonances in the spin-orbit problem in celestial mechanics. II: Higher order resonances and some numerical experiments ⋮ Construction of invariant tori for the spin-orbit problem in the Mercury-Sun system ⋮ Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence ⋮ A numerical perturbation method based on the KAM construction ⋮ Invariant curves for area-preserving twist maps far from integrable ⋮ Diophantine conditions and K.A.M. estimates for the Siegel theorem in \(C^ N\) ⋮ Unnamed Item ⋮ Stability of the synchronous spin-orbit resonance by construction of librational trapping tori ⋮ A direct method for constructing solutions of the Hamilton-Jacobi equation ⋮ Construction of librational invariant tori in the spin-orbit problem

Cites Work

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

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