Computer assisted proofs for hyperbolic quasi-periodic invariant tori in dissipative twist maps

05/08/2023

∙

by   Victor Linroth, et al.

∙

Uppsala universitet

∙

0

∙

share

This paper outlines an approach for proving existence of hyperbolic quasi-periodic invariant tori using computer assisted methods based on an a posteriori KAM-like theorem. We implement it for the dissipative standard map following the approach and give computer assisted proofs of existence of invariant circles for some parameter choices.