DeepAI AI Chat
Log In Sign Up

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

by   Victor Linroth, et al.
Uppsala universitet

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.


page 1

page 2

page 3

page 4


Accurate computations up to break-down of quasi-periodic attractors in the dissipative spin-orbit problem

In recent papers, we developed extremely accurate methods to compute qua...

Computer-assisted proofs of Hopf bubbles and degenerate Hopf bifurcations

We present a computer-assisted approach to prove the existence of Hopf b...

Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs

A computer-assisted argument is given, which provides existence proofs f...

Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture

There are several approaches for using computers in deriving mathematica...

KAM quasi-periodic tori for the dissipative spin-orbit problem

We provide evidence of the existence of KAM quasi-periodic attractors fo...

Real-number Computability from the Perspective of Computer Assisted Proofs in Analysis

We present an interval approach to real-number computations. In some asp...

Computer-assisted proofs of "Kariya's theorem" with computer algebra

We demonstrate computer-assisted proofs of "Kariya's theorem," a theorem...