Rigorous verification of chaotic behaviour of maps using validated shadowing
DOI10.1088/0951-7715/12/6/316zbMATH Open0988.37041OpenAlexW2089471986MaRDI QIDQ4719908FDOQ4719908
Authors: Daniel Stoffer, Kenneth Palmer 
Publication date: 22 July 2002
Published in: Nonlinearity (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/4090152566bc24bc679f22ea22caf233cb164eae
Recommendations
- Verification of chaotic behaviour in the planar restricted three body problem
- Computer assisted proof of chaos in the Rössler equations and in the Hénon map
- scientific article; zbMATH DE number 843185
- A computer-assisted proof of the existence of Smale horseshoe for the folded-towel map
- Rigorous chaos verification in discrete dynamical systems
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)
Cited In (24)
- Transversal homoclinic points of the Hénon map
- Homoclinic shadowing
- Numerical computation of orbits and rigorous verification of existence of snapback repellers
- On topological entropy of finite representations of the Hénon map
- Genericity of inverse shadowing property
- The Kantorovich theorem and interior point methods
- A survey of shadowing methods for numerical solutions of ordinary differential equations
- Connecting orbits for compact infinite dimensional maps: computer assisted proofs of existence
- Chaos in iterated function systems
- Chaos and the shadowing property
- A computer-assisted proof of the existence of Smale horseshoe for the folded-towel map
- Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
- RIGOROUS VERIFICATION OF THE EXISTENCE OF TRANSVERSAL HOMOCLINIC ORBITS
- Rigorous chaos verification in discrete dynamical systems
- A verified optimization technique to locate chaotic regions of Hénon systems
- Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
- Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds
- Rigorous proof of chaotic behaviour in a dumbbell satellite model
- Verification of chaotic behaviour in the planar restricted three body problem
- A note on chaos and the shadowing property
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
- TOWARDS AUTOMATED CHAOS VERIFICATION
- Chaos on hyperspace
- HOMOCLINIC SHADOWING AND ITS APPLICATION TO CHAOTIC SYSTEMS
This page was built for publication: Rigorous verification of chaotic behaviour of maps using validated shadowing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4719908)
