Rigorous verification of chaotic behaviour of maps using validated shadowing
From MaRDI portal
Publication:4719908
DOI10.1088/0951-7715/12/6/316zbMath0988.37041OpenAlexW2089471986MaRDI QIDQ4719908
Daniel Stoffer, Kenneth James Palmer
Publication date: 22 July 2002
Published in: Nonlinearity (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/4090152566bc24bc679f22ea22caf233cb164eae
Strange attractors, chaotic dynamics of systems with hyperbolic behavior (37D45) Complex behavior and chaotic systems of ordinary differential equations (34C28) Low-dimensional dynamical systems (37E99)
Related Items
Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds ⋮ Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence ⋮ Chaos and the shadowing property ⋮ Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs ⋮ Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits ⋮ RIGOROUS VERIFICATION OF THE EXISTENCE OF TRANSVERSAL HOMOCLINIC ORBITS ⋮ HOMOCLINIC SHADOWING AND ITS APPLICATION TO CHAOTIC SYSTEMS ⋮ Genericity of inverse shadowing property ⋮ Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields ⋮ The Kantorovich theorem and interior point methods ⋮ A survey of shadowing methods for numerical solutions of ordinary differential equations ⋮ Verification of chaotic behaviour in the planar restricted three body problem ⋮ Transversal homoclinic points of the Hénon map ⋮ On Topological Entropy of Finite Representations of the Hénon Map ⋮ Numerical computation of orbits and rigorous verification of existence of snapback repellers ⋮ Chaos in Iterated Function Systems ⋮ A note on chaos and the shadowing property ⋮ CHAOS ON HYPERSPACE ⋮ Homoclinic shadowing ⋮ Rigorous proof of chaotic behaviour in a dumbbell satellite model
