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

discrete dynamical systemshadowingchaotic behaviourHénon map

Mathematics Subject Classification ID

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)

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

(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 chaos verification in discrete dynamical systems
• RIGOROUS VERIFICATION OF THE EXISTENCE OF TRANSVERSAL HOMOCLINIC ORBITS
• 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
• Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
• A note on chaos and the shadowing property
• Verification of chaotic behaviour in the planar restricted three body problem
• Chaos on hyperspace
• HOMOCLINIC SHADOWING AND ITS APPLICATION TO CHAOTIC SYSTEMS
• TOWARDS AUTOMATED CHAOS VERIFICATION

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)