Computer assisted proofs for hyperbolic quasi-periodic invariant tori in dissipative twist maps
Dynamical Systems
2023-05-09 v1 Numerical Analysis
Numerical Analysis
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.
Keywords
Cite
@article{arxiv.2305.04640,
title = {Computer assisted proofs for hyperbolic quasi-periodic invariant tori in dissipative twist maps},
author = {Victor Linroth},
journal= {arXiv preprint arXiv:2305.04640},
year = {2023}
}
Comments
23 pages