Verification of Hyperbolicity for Attractors of Some Mechanical Systems with Chaotic Dynamics

Computer verification of hyperbolicity is provided based on statistical analysis of the angles of intersection of stable and unstable manifolds for mechanical systems with hyperbolic attractors of Smale – Williams type: (i) a particle sliding on a plane under periodic kicks, (ii) interacting particles moving on two alternately rotating disks, and (iii) a string with parametric excitation of standing-wave patterns by a modulated pump. The examples are of interest as contributing to filling the hyperbolic theory of dynamical systems with physical content.