Uniformly hyperbolic attractor of the Smale-Williams type for a Poincaré map in the Kuznetsov system

Abstract

We propose a general algorithm for computer assisted verification of uniform hyperbolicity for maps which exhibit a robust attractor. The method has been successfully applied to a Poincare map for a system of coupled non-autonomous van der Pol oscillators. The model equation has been proposed by Kuznetsov and the attractor seems to be of the Smale-Williams type.

20 pages, 5 figures

References in corpus (1)

• A non-autonomous flow system with Plykin type attractor

Cited by in corpus (12)

• CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
• Local stability implies global stability for the 2-dimensional Ricker map
• Recent advances in rigorous computation of Poincaré maps
• Numerical test for hyperbolicity of chaotic dynamics in time-delay systems
• Numerical test for hyperbolicity in chaotic systems with multiple time delays
• Collective Phase Chaos in the Dynamics of Interacting Oscillator Ensembles
• An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
• A "saddle-node" bifurcation scenario for birth or destruction of a Smale-Williams solenoid
• Violation of hyperbolicity via unstable dimension variability in a chain with local hyperbolic chaotic attractors
• On Hyperbolic Attractors in Complex Shimizu -- Morioka Model
• A computer-assisted proof of the existence of Smale horseshoe for the folded-towel map
• Rigorous computation of expansion in one-dimensional dynamics