DeepAI AI Chat
Log In Sign Up

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

05/08/2023
by   Victor Linroth, et al.
Uppsala universitet
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

10/11/2022

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...
02/27/2022

Computer-assisted proofs of Hopf bubbles and degenerate Hopf bifurcations

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

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

A computer-assisted argument is given, which provides existence proofs f...
01/23/2018

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...
07/06/2021

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

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

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

We present an interval approach to real-number computations. In some asp...
04/15/2023

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

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