Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
From MaRDI portal
Publication:907673
DOI10.1016/j.cnsns.2014.08.010zbMath1329.37081MaRDI QIDQ907673
Publication date: 26 January 2016
Published in: Communications in Nonlinear Science and Numerical Simulation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.cnsns.2014.08.010
linear approximation; stable and unstable manifolds; computer assisted proof for connecting orbits in higher dimensions; validated computer assisted error bounds
37D10: Invariant manifold theory for dynamical systems
37M25: Computational methods for ergodic theory (approximation of invariant measures, computation of Lyapunov exponents, entropy, etc.)
Related Items
Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits, High-Order Parameterization of Stable/Unstable Manifolds for Long Periodic Orbits of Maps, Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds, A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations, Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation, Parameterization method for unstable manifolds of delay differential equations, Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds, Validated numerics for continuation and bifurcation of connecting orbits of maps, Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- High-order adaptive method for computing two-dimensional invariant manifolds of three-dimensional maps
- Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
- Cone conditions and covering relations for topologically normally hyperbolic invariant manifolds
- Rigorous and accurate enclosure of invariant manifolds on surfaces
- Morse homology
- A parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps: rigorous results
- A parametrization method for the computation of invariant tori and their whiskers in quasi-periodic maps: numerical algorithms
- Covering relations and the existence of topologically normally hyperbolic invariant sets
- Covering relations, cone conditions and the stable manifold theorem
- Abundance of heteroclinic and homoclinic orbits for the hyperchaotic Rössler system
- Numerical computation of heteroclinic orbits
- Ergodic theory of differentiable dynamical systems
- Supersymmetry and Morse theory
- Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
- Rigorous chaos verification in discrete dynamical systems
- Numerical approximation of homoclinic chaos
- Periodic orbits, symbolic dynamics and topological entropy for the restricted 3-body problem
- Parameterization of invariant manifolds by reducibility for volume preserving and symplectic maps
- Controlling the wrapping effect in the solution of ODEs for asteroids
- Covering relations for multidimensional dynamical systems. II
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
- A method for the study of whiskered quasi-periodic and almost-periodic solutions in finite and infinite dimensional Hamiltonian systems
- A Hermite spectral method for the computation of homoclinic orbits and associated functionals
- A note on the convergence of parametrised non-resonant invariant manifolds
- Homoclinic shadowing
- The parameterization method for invariant manifolds. III: Overview and applications
- Abundance of homoclinic and heteroclinic orbits and rigorous bounds for the topological entropy for the Hénon map
- Rigorous Numerics in Floquet Theory: Computing Stable and Unstable Bundles of Periodic Orbits
- Rigorous A Posteriori Computation of (Un)Stable Manifolds and Connecting Orbits for Analytic Maps
- Verification methods: Rigorous results using floating-point arithmetic
- Computer assisted proof for normally hyperbolic invariant manifolds
- Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
- HIGH-ORDER BISECTION METHOD FOR COMPUTING INVARIANT MANIFOLDS OF TWO-DIMENSIONAL MAPS
- A Computational and Geometric Approach to Phase Resetting Curves and Surfaces
- The Numerical Computation of Connecting Orbits in Dynamical Systems
- Morse Theory, the Conley Index and Floer Homology
- Global smooth solution curves using rigorous branch following
- Computation of Heteroclinic Arcs with Application to the Volume Preserving Hénon Family
- Fast numerical computation of quasi-periodic equilibrium states in 1D statistical mechanics, including twist maps
- Numerical Computation and Continuation of Invariant Manifolds Connecting Fixed Points
- CHARACTERISTIC LYAPUNOV EXPONENTS AND SMOOTH ERGODIC THEORY
- The Numerical Computation of Homoclinic Orbits for Maps
- 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 H non–Heiles Hamiltonian near the critical energy level—some rigorous results
- Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
- KAM theory without action-angle variables
- Rigorous verification of chaotic behaviour of maps using validated shadowing
- A Homoclinic Solution for Excitation Waves on a Contractile Substratum
- A numerically accessible criterion for the breakdown of quasi-periodic solutions and its rigorous justification
- Rigorous Computations of Homoclinic Tangencies
- A SURVEY OF METHODS FOR COMPUTING (UN)STABLE MANIFOLDS OF VECTOR FIELDS
- Existence of a Center Manifold in a Practical Domain around $L_1$ in the Restricted Three-Body Problem
- Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series
- The Newton-Kantorovich Theorem
- Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level