Abstract:We consider a Celestial Mechanics model: the spin-orbit problem with a dissipative tidal torque, which is a singular perturbation of a conservative system. The goal of this paper is to show that it is possible to compute quasi-periodic attractors accurately and reliably for parameter values extremely close to the breakdown. Therefore, it is possible to obtain information on mathematical phenomena at breakdown. The method we use incorporates the same time numerical and rigorous improvements. Among them (i) the formalism is based on studying the time-one map of the spin-orbit problem (which reduces the dimensionality of the problem) and has mathematical advantages; (ii) very accurate integration of the ODE (high order Taylor methods implemented with extended precision) for the map at its jets; (iii) a very efficient KAM method for maps which computes the attractor and its tangent spaces ( quadratically convergent step with low storage requirements, and low operation count); (iv) the algorithms are backed by a rigorous a-posteriori KAM Theorem, which establishes that if the algorithm, produces a very approximate solution of functional equation with reasonable condition numbers. then there is a true solution nearby; and (v) the continuation algorithm is guaranteed to reach arbitrarily close to the border of existence if it is given enough computer resources. As a byproduct of the accuracy that we maintain till breakdown, we study several scale invariant observables of the tori used in the renormalization group of infinite dimensional spaces. In contrast with previously studied simple models, the behavior at breakdown of the spin-orbit problem does not satisfy standard scaling relations which implies that the spin-orbit problem is not described by a hyperbolic fixed point of a renormalization operator.

Break-Up of Three-Frequency KAM Tori: Determination of the Critical Parameters

Breakup of Last KAM Torus in Double-Frequency Standard Map

Universal Behaviour on the Break-up of the Spiral Mean Torus

NON-PERTURBATIVE POSITIVITY AND WEAK HOLDER CONTINUITY OF LYAPUNOV EXPONENT OF ANALYTIC QUASI-PERIODIC JACOBI COCYCLES DEFINED ON A HIGH DIMENSION TORUS

Strong Stability of KAM Tori: from the Point of View of Viscosity Solutions of H-J Equations

Quantitative KAM theory, with an application to the three-body problem

A KAM Theorem for the Hamiltonian with Finite Zero Normal Frequencies and Its Applications (in Memory of Professor Walter Craig)

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

Birkhoff-Kolmogorov-Arnold-Moser Tori in Convex Hamiltonian Systems

Torus and hyperchaos in 3D Lotka-Volterra map

A Formal KAM Theorem for Hamiltonian Systems and Its Application to Hyperbolic Lower Dimensional Invariant Tori

The Existence of Periodic Orbits and Invariant Tori for Some 3-Dimensional Quadratic Systems.

Long time stability of KAM tori for the nonlinear Schr\"odinger equation

A note on stability of Eliasson-Kuksin's KAM tori for the nonlinear Schr\"{o}dinger equation

Strong Stability of KAM Tori — from the view of Viscosity Solutions of HJ equations

A KAM Theorem with Applications to Partial Equations of Higher Dimension

High dimensional tori and chaotic and intermittent transients in magnetohydrodynamic Couette flows

Invariant Tori of Impulsive Duffing-Type Equations via KAM Technique

Ergodic and resonant torus doubling bifurcation in a three-dimensional quadratic map

Numerical periodic normalization for codim 2 bifurcations of limit cycles with center manifold of dimension higher than 3

A KAM theorem for the Hamiltonian with finite zero normal frequencies and its applications