2024/11/18 by Álvaro Fernández-Mora, Fernández-Mora, Álvaro, Àlex Haro +3 · 1 citation
Computer Science · Engineering · #Advanced Control Systems Optimization #Control and Stability of Dynamical Systems #Dynamical Systems (math.DS) #FOS: Mathematics #Matrix Theory and Algorithms
paper · pdf · doi:10.48550/arxiv.2411.11772
openalex publication_date 2024/11/18 · openalex created_date 2024/11/21 · openalex updated_date 2026/08/01
In this work, we obtain an a-posteriori theorem for the existence of partly hyperbolic invariant tori in analytic Hamiltonian systems: autonomous, periodic, and quasi-periodic. The method of proof is based on the convergence of a KAM iterative scheme to solve the invariance equations of tori and their invariant bundles under the framework of the parameterization method. Starting from parameterizations analytic in a complex strip and satisfying their invariance equations approximatly, we derive conditions for the existence of analytic parameterizations in a smaller strip satisfying the invariance equations exactly. The proof relies on the careful treatment of the analyticity loss with each iterative step and on the control of geometric properties of symplectic flavour. We also provide all the necessary explicit constants to perform computer assisted proofs.