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

DOI10.1016/j.cnsns.2020.105680zbMath1464.37084arXiv2101.10416OpenAlexW3115220112MaRDI QIDQ2656034

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

symbolic dynamicshyperbolicitycomputer assisted prooffolded towel map

Mathematics Subject Classification ID

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

Uses Software

• CAPD

Cites Work

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

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