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.

Computing periodic orbits with arbitrary precision.

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

High-precision computation: Mathematical physics and dynamics

Dynamics and patterns of the least significant digits of the infinite-arithmetic precision logistic map orbits

Rigorous numerics for a singular perturbation problem

Numerical Computations Of Connecting Orbits In Discrete And Continuous Dynamical Systems

Asymptotically quasiperiodic solutions for time-dependent Hamiltonians

A posteriori error analysis of round-off errors in the numerical solution of ordinary differential equations

Numerical computation of transverse homoclinic orbits for periodic solutions of delay differential equations

Complex dynamics in simple systems with periodic parameter oscillations

Periodic orbit asymptotics for intermittent Hamiltonian systems

Numerical solution of highly oscillatory ordinary differential equations

Orbit-counting in non-hyperbolic dynamical systems

Numerical computation of high-order expansions of invariant manifolds of high-dimensional tori

Designable Dynamical Systems for the Generalized Landau Scenario and the Nonlinear Complexification of Periodic Orbits

Numerical Evidence of Hyperbolic Dynamics and Coding of Solutions for Duffing-Type Equations with Periodic Coefficients

Towards a Parallel-in-Time Calculation of Time-Periodic Solutions with Unknown Period

Continuation of Periodic Orbits in Conservative Hybrid Dynamical Systems and its Application to Mechanical Systems with Impulsive Dynamics

Periodic solutions for nonlinear systems of Ode's with generalized variable exponents operators

Improved uniform error bounds on parareal exponential algorithm for highly oscillatory systems

Using Lagrangian descriptors to calculate the Maslov index of periodic orbits