1.Udmurt State University,Izhevsk,Russia;2.Kotelnikov’s Institute of Radio-Engineering and Electronics of RAS, Saratov Branch,Saratov,Russia;3.Saratov State University,Saratov,Russia
Abstract:
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.
