Existence proof of librational invariant tori in an averaged model of HD60532 planetary system
From MaRDI portal
Publication:6155760
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.
Recommendations
- Construction of Kolmogorov's normal form for a planetary system
- Invariant tori in the secular motions of the three-body planetary systems
- On the convergence of an algorithm constructing the normal form for elliptic lower dimensional tori in planetary systems
- Computer-assisted proofs of existence of KAM tori in planetary dynamical models of \(\upsilon\)-And \(\mathbf{b}\)
- A semi-analytic algorithm for constructing lower dimensional elliptic tori in planetary systems
Cites work
- A reverse KAM method to estimate unknown mutual inclinations in exoplanetary systems
- Computer-assisted estimates for Birkhoff normal forms
- Construction of Kolmogorov's normal form for a planetary system
- Effective stability for a Hamiltonian system near an elliptic equilibrium point, with an application to the restricted three body problem
- Hamiltonian control of magnetic field lines: computer assisted results proving the existence of KAM barriers
- High-order symplectic integrators for perturbed Hamiltonian systems
- Improved estimates on the existence of invariant tori for Hamiltonian systems
- Invariant tori in the secular motions of the three-body planetary systems
- Invariant tori in the Sun-Jupiter-Saturn system
- Kolmogorov and Nekhoroshev theory for the problem of three bodies
- Kolmogorov's normal form for equations of motion with dissipative effects
- Normal forms for the Laplace resonance
- Notes on Hamiltonian dynamical systems
- On the construction of the Kolmogorov normal form for the Trojan asteroids
- On the extension of the Laplace-Lagrange secular theory to order two in the masses for extrasolar systems
- Resonant Laplace-Lagrange theory for extrasolar systems in mean-motion resonance
- Rigorous computer-assisted application of KAM theory: a modern approach
- Secular dynamics of a planar model of the Sun-Jupiter-Saturn-Uranus system; effective stability in the light of Kolmogorov and Nekhoroshev theories
- Superexponential stability of KAM tori.
- The parameterization method for invariant manifolds. From rigorous results to effective computations
Cited in
(2)
This page was built for publication: Existence proof of librational invariant tori in an averaged model of HD60532 planetary system
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6155760)
