Existence proof of librational invariant tori in an averaged model of HD60532 planetary system

Abstract

We investigate the long-term dynamics of HD60532, an extrasolar system hosting two giant planets orbiting in a 3:1 mean motion resonance. We consider an average approximation at order one in the masses which results (after the reduction of the constants of motion) in a resonant Hamiltonian with two libration angles. In this framework, the usual algorithms constructing the Kolmogorov normal form approach do not easily apply and we need to perform some untrivial preliminary operations, in order to adapt the method to this kind of problems. First, we perform an average over the fast angle of libration which provides an integrable approximation of the Hamiltonian. Then, we introduce action-angle variables that are adapted to such an integrable approximation. This sequence of preliminary operations brings the Hamiltonian in a suitable form to successfully start the Kolmogorov normalization scheme. The convergence of the KAM algorithm is proved by applying a technique based on a computer-assisted proof. This allows us to reconstruct the quasi-periodic motion of the system, with initial conditions that are compatible with the observations.

References in corpus (14)

• Kolmogorov and Nekhoroshev theory for the problem of three bodies
• The 3-dimensional architecture of the Upsilon Andromedae planetary system
• HD60532, a planetary system in a 3:1 mean motion resonance
• Frequency map analysis and quasiperiodic decompositions
• An Integrable Model for the Dynamics of Planetary Mean Motion Resonances
• Secular dynamics of a planar model of the Sun-Jupiter-Saturn-Uranus system; effective stability into the light of Kolmogorov and Nekhoroshev theories
• The origin of chaos in the Solar System through computer algebra
• Resonant Laplace-Lagrange theory for extrasolar systems in mean-motion resonance
• On the 3D secular dynamics of radial-velocity-detected planetary systems
• Computer-assisted estimates for Birkhoff normal forms
• Methods of algebraic manipulation in perturbation theory
• Librational KAM tori in the secular dynamics of the $\upsilon$ Andromedæ planetary system
• Normal forms for the Laplace resonance
• A numerical criterion evaluating the robustness of planetary architectures; applications to the $\upsilon$ Andromedæ system