Computer-Assisted Proofs of Existence of Invariant Tori in Quasi-periodic Systems via Fourier Methods

Alex Haro, Eric Sandin Vidal

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…