On the convergence of flow map parameterization methods for whiskered tori in quasi-periodic Hamiltonian systems

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Fernández-Mora, Álvaro, Haro, Alex, Mondelo, Josep-Maria
Format: Preprint
Published: 2024
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866915448389369856
author Fernández-Mora, Álvaro
Haro, Alex
Mondelo, Josep-Maria
author_facet Fernández-Mora, Álvaro
Haro, Alex
Mondelo, Josep-Maria
contents 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.
format Preprint
id arxiv_https___arxiv_org_abs_2411_11772
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle On the convergence of flow map parameterization methods for whiskered tori in quasi-periodic Hamiltonian systems
Fernández-Mora, Álvaro
Haro, Alex
Mondelo, Josep-Maria
Dynamical Systems
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.
title On the convergence of flow map parameterization methods for whiskered tori in quasi-periodic Hamiltonian systems
topic Dynamical Systems
url https://arxiv.org/abs/2411.11772