2000 character limit reached
Computer assisted proofs for hyperbolic quasi-periodic invariant tori in dissipative twist maps (2305.04640v1)
Published 8 May 2023 in math.DS, cs.NA, and math.NA
Abstract: 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.