Rigorous KAM results around arbitrary periodic orbits for Hamiltonian systems

DOI10.1088/1361-6544/aa4ff3zbMath1412.70024arXiv1105.3235MaRDI 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 systems; N-body problem; KAM; verified numerics; computer assisted proofs

Mathematics Subject Classification ID

37J40: Perturbations of finite-dimensional Hamiltonian systems, normal forms, small divisors, KAM theory, Arnol'd diffusion

70F10: (n)-body problems

37J25: Stability problems for finite-dimensional Hamiltonian and Lagrangian systems

70H08: Nearly integrable Hamiltonian systems, KAM theory

Uses Software

• CAPD