Computer-Assisted Proofs of Existence of Invariant Tori in Quasi-periodic Systems via Fourier Methods
Abstract
The goal of this paper is to provide a methodology to prove existence of (fiberwise hyperbolic) real-analytic invariant tori in real-analytic quasi-periodic skew-product dynamical systems that present nearly-invariant tori of the same characteristics. The methodology is based on the application of a Newton-Kantorovich theorem whose hypotheses are tested using Fourier analysis methods for a numerical approximation of the parameterization of an invariant torus.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2024
- DOI:
- 10.48550/arXiv.2403.18566
- arXiv:
- arXiv:2403.18566
- Bibcode:
- 2024arXiv240318566H
- Keywords:
-
- Mathematics - Dynamical Systems;
- 37C55;
- 37C60;
- 37D10;
- 65G30;
- 42A16