Computer-assisted proofs of existence of KAM tori in planetary dynamical models of \(\upsilon\)-And \(\mathbf{b}\)
DOI10.1016/j.cnsns.2023.107706arXiv2311.01938OpenAlexW4388934512MaRDI QIDQ6183807
Rita Mastroianni, Ugo Locatelli
Publication date: 23 January 2024
Published in: Communications in Nonlinear Science and Numerical Simulation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2311.01938
normal formHamiltonian perturbation theoryFourier decompositionexoplanetsecular quasi-periodic restricted Hamiltonian model
Computational methods for problems pertaining to mechanics of particles and systems (70-08) Celestial mechanics (70F15) Perturbation theories for problems in Hamiltonian and Lagrangian mechanics (70H09) Periodic and almost periodic solutions for problems in Hamiltonian and Lagrangian mechanics (70H12) Nearly integrable Hamiltonian systems, KAM theory (70H08) Computer assisted proofs of proofs-by-exhaustion type (68V05)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Kolmogorov's normal form for equations of motion with dissipative effects
- Large scale chaos and marginal stability in the solar system
- Kolmogorov theorem and classical perturbation theory
- Superexponential stability of KAM tori.
- 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
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
- KAM quasi-periodic tori for the dissipative spin-orbit problem
- KAM quasi-periodic solutions for the dissipative standard map
- Hamiltonian control of magnetic field lines: computer assisted results proving the existence of KAM barriers
- Recent advances in a rigorous computation of Poincaré maps
- Elliptic tori in FPU non-linear chains with a small number of nodes
- KAM stability and celestial mechanics
- Solar System Dynamics
- Improved estimates on the existence of invariant tori for Hamiltonian systems
- Notes on Hamiltonian Dynamical Systems
- Invariant tori in the secular motions of the three-body planetary systems
- High-order symplectic integrators for perturbed Hamiltonian systems
- Existence proof of librational invariant tori in an averaged model of HD60532 planetary system
- Secular orbital dynamics of the innermost exoplanet of the \(\upsilon\)-Andromedæ system
This page was built for publication: Computer-assisted proofs of existence of KAM tori in planetary dynamical models of \(\upsilon\)-And \(\mathbf{b}\)
