Computation of whiskered invariant tori and their associated manifolds: new fast algorithms

DOI10.3934/DCDS.2012.32.1309zbMATH Open1279.70004arXiv1004.5231OpenAlexW2963881724MaRDI QIDQ765100FDOQ765100

Yannick Sire, Rafael de la Llave, Gemma Huguet

Publication date: 19 March 2012

Published in: Discrete and Continuous Dynamical Systems (Search for Journal in Brave)

Abstract: In this paper we present efficient algorithms for the computation of several invariant objects for Hamiltonian dynamics. More precisely, we consider KAM tori (i.e diffeomorphic copies of the torus such that the motion on them is conjugated to a rigid rotation) both Lagrangian tori (of maximal dimension) and whiskered tori (i.e. tori with hyperbolic directions which, together with the tangents to the torus and the symplectic conjugates span the whole tangent space). In the case of whiskered tori, we also present algorithms to compute the invariant splitting and the invariant manifolds associated to the splitting. We present them both for the case of discrete time and for differential equations. The algorithms are based on a Newton method to solve an appropriately chosen functional equation that expresses invariance. The algorithms are efficient: if we discretize the objects by $N$ elements, one step of the Newton method requires only O(N) storage and $O(Nln(N))$ operations. Furthermore, if the object we consider is of dimension $ell$, we only need to compute functions of $ell$ variables, independently of what is the dimension of the phase space. The algorithms do not require that the system is presented in action-angle variables nor that it is close to integrable. The algorithms are backed up by rigorous emph{a-posteriori} bounds which state that if the equations are solved with a small residual and some explicitly computable condition numbers are not too big, then, there is a true solution which is close to the computed one. The algorithms apply both to primary (i.e non-contractible) and secondary tori (i.e. contractible to a torus of lower dimension, such as islands). They have already been implemented. We will report on the technicalities of the implementation and the results of running them elsewhere.

Full work available at URL: https://arxiv.org/abs/1004.5231

zbMATH Keywords

Newton iterationquasi-periodic solutioninvariant splitting

Mathematics Subject Classification ID

Numerical methods for Hamiltonian systems including symplectic integrators (65P10) Nearly integrable Hamiltonian systems, KAM theory (70H08) Approximation methods and numerical treatment of dynamical systems (37M99) Computational methods for problems pertaining to mechanics of particles and systems (70-08)

Cited In (33)

• Computing the conjugacy of invariant tori for volume-preserving maps
• A new approach to the parameterization method for Lagrangian tori of Hamiltonian systems
• KAM tori and whiskered invariant tori for non-autonomous systems
• Flow Map Parameterization Methods for Invariant Tori in Quasi-Periodic Hamiltonian Systems
• Parameterized stable/unstable manifolds for periodic solutions of implicitly defined dynamical systems
• Birkhoff averages and rotational invariant circles for area-preserving maps
• Global structure of regular tori in a generic 4D symplectic map
• Global transport in a nonautonomous periodic standard map
• Efficient representation of invariant manifolds of periodic orbits in the CRTBP
• Numerical Computation of High-Order Expansions of Invariant Manifolds of High-Dimensional Tori
• A-posteriori KAM theory with optimal estimates for partially integrable systems
• Rigorous computer-assisted application of KAM theory: a modern approach
• Effective bounds for the measure of rotations
• A KAM theory for conformally symplectic systems: efficient algorithms and their validation
• Invariant manifolds and global bifurcations
• Homoclinic dynamics in a spatial restricted four-body problem: blue skies into Smale horseshoes for vertical Lyapunov families
• Existence of whiskered KAM tori of conformally symplectic systems
• A numerical method for computing initial conditions of Lagrangian invariant tori using the frequency map
• Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
• Parameterization Method for Unstable Manifolds of Standing Waves on the Line
• Computation of maximal local (un)stable manifold patches by the parameterization method
• A Parameterization Method for Lagrangian Tori of Exact Symplectic Maps of $R^2r$
• Flow map parameterization methods for invariant tori in Hamiltonian systems
• Quasi-periodic solution for the complex Ginzburg-Landau equation with continuous spectrum
• Whiskered tori for presymplectic dynamical systems
• Rapid and accurate methods for computing whiskered tori and their manifolds in periodically perturbed planar circular restricted 3-body problems
• Thirty years of turnstiles and transport
• A parametrization algorithm to compute lower dimensional elliptic tori in Hamiltonian systems
• A new method to compute periodic orbits in general symplectic maps
• Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds
• Local behavior near quasi-periodic solutions of conformally symplectic systems
• Construction of invariant whiskered tori by a parameterization method. I: Maps and flows in finite dimensions
• Computation of quasiperiodic normally hyperbolic invariant tori: rigorous results

   Recommendations

• A parametrization method for the computation of invariant tori and their whiskers in quasi-periodic maps: numerical algorithms 👍 👎
• Computation and Parameterisation of Invariant Curves and Tori 👍 👎
• Title not available (Why is that?) 👍 👎
• KAM tori and whiskered invariant tori for non-autonomous systems 👍 👎
• Algorithms for computing normally hyperbolic invariant manifolds 👍 👎

This page was built for publication: Computation of whiskered invariant tori and their associated manifolds: new fast algorithms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q765100)