A computer-assisted proof of the existence of Smale horseshoe for the folded-towel map

DOI10.1016/J.CNSNS.2020.105680MaRDI QIDQ2656034zbMATH OpenOpenAlexFDO

Authors Anna Gierzkiewicz

Publication date 10 March 2021

Published in Communications in Nonlinear Science and Numerical Simulation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2101.10416

zbMATH Keywords

computer assisted prooffolded towel maphyperbolicitysymbolic dynamics

Mathematics Subject Classification ID

Symbolic dynamics (37B10) Dynamical systems with hyperbolic orbits and sets (37D05) Uniformly hyperbolic systems (expanding, Anosov, Axiom A, etc.) (37D20) Strange attractors, chaotic dynamics of systems with hyperbolic behavior (37D45) Computational methods for attractors of dynamical systems (37M22) Computer assisted proofs of proofs-by-exhaustion type (68V05)

Abstract: The paper contains a rigorous proof of existence of symbolic dynamics chaos in the generalized H'enon map's 4th iterate $H^4$, which was conjectured in the paper extit{A 3D Smale Horseshoe in a Hyperchaotic Discrete-Time System} of Li and Yang, 2007. We prove also the uniform hyperbolicity of the invariant set with symbolic dynamics. The proofs are computer-assisted with the use of C++ library extit{CAPD} for interval arithmetic, differentiation and integration.

Review text

The author considers the dynamical system defined by the map \(H(x,y,z)=(1.76-y^{2}-0.1z, x, y)\). She provides a rigorous proof for the existence of symbolic dynamics chaos in the generalized Hénon map's 4-th iterate \(H^{4}\), thus confirming a conjecture by \textit{Q. Li} and \textit{X.-S. Yang} [Discrete Dyn. Nat. Soc. 2007, Article ID 16239, 9 p. (2007; Zbl 1179.37050)]. Further, the author shows the uniform hyperbolicity of the invariant set. The computer-assisted proofs make use of the C++ library CAPD for interval arithmetic, differentiation and integration. The author also presents several plots to support the theoretical findings.

Recommendations

• scientific article; zbMATH DE number 989768
• A 3D Smale horseshoe in a hyperchaotic discrete-time system
• Computer assisted proof of chaos in the Rössler equations and in the Hénon map
• scientific article; zbMATH DE number 1543285
• Rigorous verification of chaotic behaviour of maps using validated shadowing

Cites work

• A 3D Smale horseshoe in a hyperchaotic discrete-time system
• A computer-assisted proof of symbolic dynamics in Hyperion's rotation
• A two-dimensional mapping with a strange attractor
• Abundance of heteroclinic and homoclinic orbits for the hyperchaotic Rössler system
• An equation for hyperchaos
• Covering relations for multidimensional dynamical systems
• Covering relations, cone conditions and the stable manifold theorem
• Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
• Invariant manifolds
• THE GENERALIZED HÉNON MAPS: EXAMPLES FOR HIGHER-DIMENSIONAL CHAOS
• THREE-DIMENSIONAL HÉNON-LIKE MAPS AND WILD LORENZ-LIKE ATTRACTORS
• Uniformly hyperbolic attractor of the Smale-Williams type for a Poincaré map in the Kuznetsov system
• When chaos meets hyperchaos: 4D Rössler model

Cited in

(6)

• Dynamical system where proving chaos is equivalent to proving Fermat's conjecture
• scientific article; zbMATH DE number 989768 (Why is no real title available?)
• TOPOLOGICAL HORSESHOES AND COMPUTER ASSISTED VERIFICATION OF CHAOTIC DYNAMICS
• Smale’s Horseshoe Map via Ternary Numbers
• scientific article; zbMATH DE number 1543285 (Why is no real title available?)
• Rigorous verification of chaotic behaviour of maps using validated shadowing

Describes a project that uses

Uses Software

• CAPD

This page was built for publication: A computer-assisted proof of the existence of Smale horseshoe for the folded-towel map

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2656034)