A computer-assisted proof of the existence of Smale horseshoe for the folded-towel map
Abstract
The paper contains a rigorous proof of existence of symbolic dynamics chaos in the generalized Hénon map's 4th iterate H4 , which was conjectured in the paper 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 CAPD for interval arithmetic, differentiation and integration.
- Publication:
-
Communications in Nonlinear Science and Numerical Simulations
- Pub Date:
- May 2021
- DOI:
- 10.1016/j.cnsns.2020.105680
- arXiv:
- arXiv:2101.10416
- Bibcode:
- 2021CNSNS..9605680G
- Keywords:
-
- Computer assisted proof;
- Symbolic Dynamics;
- Hyperbolicity;
- Folded towel map;
- Mathematics - Dynamical Systems
- E-Print:
- Commun Nonlinear Sci Numer Simulat 96 (2021) 105680