Computer assisted proof of drift orbits along normally hyperbolic manifolds

DOI10.1016/j.cnsns.2021.105970zbMath1485.37071arXiv2102.06436OpenAlexW3211847087WikidataQ115578193 ScholiaQ115578193MaRDI QIDQ2060658

Maciej J. Capiński, Jorge A. González, Jean-Pierre Marco, Jason D. Mireles James

Publication date: 13 December 2021

Published in: Communications in Nonlinear Science and Numerical Simulation (Search for Journal in Brave)

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

zbMATH Keywords

Arnold diffusionscattering mapcomputer assisted proofnormally hyperbolic manifoldtopological shadowing

Mathematics Subject Classification ID

Perturbations of finite-dimensional Hamiltonian systems, normal forms, small divisors, KAM theory, Arnol'd diffusion (37J40) Invariant manifold theory for dynamical systems (37D10) Stability problems for finite-dimensional Hamiltonian and Lagrangian systems (37J25) Computational methods for invariant manifolds of dynamical systems (37M21)

Related Items

Computer assisted proof of drift orbits along normally hyperbolic manifolds. II: Application to the restricted three body problem, Semianalytical Computation of Heteroclinic Connections Between Center Manifolds with the Parameterization Method, Diffusing orbits along chains of cylinders

Cites Work

• The parameterization method for invariant manifolds. From rigorous results to effective computations
• Geometric proof for normally hyperbolic invariant manifolds
• Arnold diffusion in arbitrary degrees of freedom and normally hyperbolic invariant cylinders
• Cone conditions and covering relations for topologically normally hyperbolic invariant manifolds
• Approximately invariant manifolds and global dynamics of spike states
• Covering relations, cone conditions and the stable manifold theorem
• Stability and instability for Gevrey quasi-convex near-integrable Hamiltonian systems
• CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
• Arnold diffusion in a priori chaotic symplectic maps
• Normally hyperbolic invariant manifolds. The noncompact case
• Geometric properties of the scattering map of a normally hyperbolic invariant manifold
• Models for skew-products and polysystems
• Diffusion times and stability exponents for nearly integrable analytic systems
• Convergent series expansions for quasi-periodic motions
• The parameterization method for invariant manifolds. III: Overview and applications
• Rigorous A Posteriori Computation of (Un)Stable Manifolds and Connecting Orbits for Analytic Maps
• Improved exponential stability for near-integrable quasi-convex Hamiltonians
• The Lagrange Configuration in Celestial Mechanics
• Existence and persistence of invariant manifolds for semiflows in Banach space
• Persistence of overflowing manifolds for semiflow
• The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces
• The parameterization method for invariant manifolds II: regularity with respect to parameters
• Improved stability for analytic quasi-convex nearly integrable systems and optimal speed of Arnold diffusion
• A General Mechanism of Diffusion in Hamiltonian Systems: Qualitative Results
• PROOF OF A THEOREM OF A. N. KOLMOGOROV ON THE INVARIANCE OF QUASI-PERIODIC MOTIONS UNDER SMALL PERTURBATIONS OF THE HAMILTONIAN
• SMALL DENOMINATORS AND PROBLEMS OF STABILITY OF MOTION IN CLASSICAL AND CELESTIAL MECHANICS
• Invariant manifolds
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item