10-185 J.Ll Figueras, A. Haro
Computer Assisted Proofs of existence of Fiberwise Hyperbolic Invariant Tori in skew products over rigid rotations (4692K, pdflatex) Nov 18, 10
Abstract , Paper (src), View paper (auto. generated pdf), Index of related papers

Abstract. We present a methodology to perform Computer Assisted Proofs for the existence and (local) uniqueness of Fiberwise Hyperbolic Invariant Tori in skew product systems over rotations. The theoretical basis is a tailored version of the Newton-Kantorovich theorem for the functional equations describing the invariance of tori and their stable and unstable subbundles. The computational tools allow the rigorous manipulation of truncated Fourier series, which parametrize the tori and their subbundles used in the validations. Our methodology exploits the special form of these dynamical systems, and it is based on the results exposed on the papers by Haro and de la Llave, 2006, 2007. We apply these techniques to two scenarios where the invariant tori are on the verge of hyperbolicity breakdown.

Files: 10-185.src( 10-185.keywords , 1001figueras_haro.pdf.mm )