Rigorous verification of chaotic behaviour of maps using validated shadowing

DOI10.1088/0951-7715/12/6/316MaRDI QIDQ4719908zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

chaotic behaviourdiscrete dynamical systemHénon mapshadowing

Mathematics Subject Classification ID

Complex behavior and chaotic systems of ordinary differential equations (34C28) Strange attractors, chaotic dynamics of systems with hyperbolic behavior (37D45) Low-dimensional dynamical systems (37E99)

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

Cited in

(25)

• Rigorous chaos verification in discrete dynamical systems
• Rigorous proof of chaotic behaviour in a dumbbell satellite model
• Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds
• Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
• The Kantorovich theorem and interior point methods
• A survey of shadowing methods for numerical solutions of ordinary differential equations
• Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
• Transversal homoclinic points of the Hénon map
• A verified optimization technique to locate chaotic regions of Hénon systems
• Homoclinic shadowing
• Chaos and the shadowing property
• A computer-assisted proof of the existence of Smale horseshoe for the folded-towel map
• A note on chaos and the shadowing property
• Chaos on hyperspace
• Connecting orbits for compact infinite dimensional maps: computer assisted proofs of existence
• RIGOROUS VERIFICATION OF THE EXISTENCE OF TRANSVERSAL HOMOCLINIC ORBITS
• HOMOCLINIC SHADOWING AND ITS APPLICATION TO CHAOTIC SYSTEMS
• Genericity of inverse shadowing property
• Numerical computation of orbits and rigorous verification of existence of snapback repellers
• Using chaos to shadow the quadratic map for all time
• Chaos in iterated function systems
• On topological entropy of finite representations of the Hénon map
• TOWARDS AUTOMATED CHAOS VERIFICATION
• Verification of chaotic behaviour in the planar restricted three body problem
• Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits

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)