arXiv · 2305.04640
Computer assisted proofs for hyperbolic quasi-periodic invariant tori in dissipative twist maps
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.
Explore related subjects
Keep this discovery
Victor Linroth. 2023-05-08. Computer assisted proofs for hyperbolic quasi-periodic invariant tori in dissipative twist maps. https://arxiv.org/abs/2305.04640
Cite the original work for its findings. Save a collection to share your selection of sources.