Computer assisted proof of drift orbits along normally hyperbolic manifolds

DOI10.1016/J.CNSNS.2021.105970MaRDI QIDQ2060658zbMATH OpenOpenAlexWikidataFDO

Authors Maciej Capiński, J. A. González, Jean-Pierre Marco, J. 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 diffusioncomputer assisted proofnormally hyperbolic manifoldscattering maptopological shadowing

Mathematics Subject Classification ID

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

Abstract: Normally hyperbolic invariant manifolds theory provides an efficient tool for proving diffusion in dynamical systems. In this paper we develop a methodology for computer assisted proofs of diffusion in a-priori chaotic systems based on this approach. We devise a method, which allows us to validate the needed conditions in a finite number of steps, which can be performed by a computer by means of rigorous-interval-arithmetic computations. We apply our method to the generalized standard map, obtaining diffusion over an explicit range of actions.

Recommendations

• Computer assisted proof for normally hyperbolic invariant manifolds
• Computer assisted proof of drift orbits along normally hyperbolic manifolds. II: Application to the restricted three body problem
• Computer assisted proof of chaos in the Lorenz equations
• Computer assisted proofs in dynamical systems
• Beyond the Melnikov method: A computer assisted approach

Cites work

• A general mechanism of diffusion in Hamiltonian systems: qualitative results
• A tutorial on KAM theory.
• Approximately invariant manifolds and global dynamics of spike states
• Arnold diffusion in a priori chaotic symplectic maps
• Arnold diffusion in arbitrary degrees of freedom and normally hyperbolic invariant cylinders
• CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
• Cone conditions and covering relations for topologically normally hyperbolic invariant manifolds
• Convergent series expansions for quasi-periodic motions
• Covering relations, cone conditions and the stable manifold theorem
• Diffusion times and stability exponents for nearly integrable analytic systems
• Existence and persistence of invariant manifolds for semiflows in Banach space
• Geometric proof for normally hyperbolic invariant manifolds
• Geometric properties of the scattering map of a normally hyperbolic invariant manifold
• scientific article; zbMATH DE number 4048539 (Why is no real title available?)
• scientific article; zbMATH DE number 3596309 (Why is no real title available?)
• scientific article; zbMATH DE number 714513 (Why is no real title available?)
• scientific article; zbMATH DE number 6984304 (Why is no real title available?)
• scientific article; zbMATH DE number 3220203 (Why is no real title available?)
• scientific article; zbMATH DE number 3390024 (Why is no real title available?)
• scientific article; zbMATH DE number 3090395 (Why is no real title available?)
• Improved exponential stability for near-integrable quasi-convex Hamiltonians
• Improved stability for analytic quasi-convex nearly integrable systems and optimal speed of Arnold diffusion
• Invariant manifolds
• Models for skew-products and polysystems
• Normally hyperbolic invariant manifolds. The noncompact case
• Persistence of overflowing manifolds for semiflow
• PROOF OF A THEOREM OF A. N. KOLMOGOROV ON THE INVARIANCE OF QUASI-PERIODIC MOTIONS UNDER SMALL PERTURBATIONS OF THE HAMILTONIAN
• Rigorous a posteriori computation of (un)stable manifolds and connecting orbits for analytic maps
• SMALL DENOMINATORS AND PROBLEMS OF STABILITY OF MOTION IN CLASSICAL AND CELESTIAL MECHANICS
• Stability and instability for Gevrey quasi-convex near-integrable Hamiltonian systems
• The Lagrange Configuration in Celestial Mechanics
• 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
• The parameterization method for invariant manifolds. From rigorous results to effective computations
• The parameterization method for invariant manifolds. III: Overview and applications

Cited in

(6)

• Diffusing orbits along chains of cylinders
• Computer assisted proof of drift orbits along normally hyperbolic manifolds. II: Application to the restricted three body problem
• Computer assisted proof for normally hyperbolic invariant manifolds
• Semianalytical Computation of Heteroclinic Connections Between Center Manifolds with the Parameterization Method
• On the constructivity of the variational approach to Arnold's diffusion
• Computer assisted existence proofs for parameterized cycle-to-cycle connections

This page was built for publication: Computer assisted proof of drift orbits along normally hyperbolic manifolds

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