View source for Uniformly hyperbolic attractors

<p>An attractor is a set <math>\Lambda</math> such that all points sufficiently close to <math>\Lambda</math> are forward asymptotic to <math>\Lambda\ .</math>  A <strong>uniformly hyperbolic attractor</strong> is an attractor with a dense orbit and a hyperbolic structure. Uniformly hyperbolic attractors are remarkable in both their topological and statistical properties. 

== Background ==

A  '''hyperbolic set''' for a diffeomorphism is a compact invariant set whose tangent space splits into uniformly expanding and contracting directions.  For each point <math>x</math> in a hyperbolic set <math>\Lambda</math> there exist injectively immersed Euclidean spaces, that are as smooth as the diffeomorphism, called the stable and unstable manifolds.  The stable manifold consists of all points that are positively asymptotic to <math>x</math> and the unstable manifold consists of all points that are negatively asymptotic to <math>x\ .</math>  Furthermore, for <math>x\in\Lambda</math> the stable manifold at <math>x</math> is tangent to the contracting direction of the spitting at <math>x</math> and the unstable manifold at <math>x</math> is tangent to the expanding direction of the splitting at <math>x\ .</math></p>

<p>A '''uniformly hyperbolic attractor''', <math>\Lambda\ ,</math> is a hyperbolic set such that there is a point <math>x\in\Lambda</math> whose orbit is dense in <math>\Lambda</math> and a neighborhood <math>U</math> of <math>\Lambda</math> where <math>f(\overline{U})\subset U</math> and <math>\Lambda=\bigcap_{k\geq 0}f^k(U)\ .</math>  Such a neighborhood <math>U</math> is called an '''attracting set'''.  The set of all points that are positively asymptotic to a hyperbolic attractor is called the '''basin of attraction'''.</p>

<p>All uniformly hyperbolic attractors have certain basic properties.  
* Periodic points are dense in the attractor.  
* The unstable manifold of each point is contained in the attractor.  
* The union of the stable manifolds for the orbit of a periodic point is dense in the basin of attraction for the hyperbolic attractor.</p>


== Examples ==

<p>There are many standard examples of hyperbolic attractors including 
* the Plykin attractor, 
* Anosov diffeomorphisms, 
* the solenoid (or Smale-Williams attractor), and 
* the DA (derived from Anosov)  - attractor. </p>

<p>As all but the last are described in other articles we give a brief description of the DA –Attractor. Let <math>f_A:\mathbb{T}^2\rightarrow \mathbb{T}^2</math> be the map on the torus induced by the linear map <math>A=\begin{bmatrix}2 & 1\\
1 & 1
\end{bmatrix}.</math>
Let <math>p</math>[[Image:uhafr1a.png|thumb|200px|right|F1|Saddle fixed point]] be a saddle fixed point of <math>f_A\ .</math>  Using an appropriate bump function one can deform the map <math>f_A</math> in a sufficiently small neighborhood <math>U</math> of <math>p</math> such that[[Image:uhafr2a.png|thumb|200px|right|F2|Deformed fixed point source]]
* the deformation is supported in <math>U\ ,</math> 
* <math>p</math> is a source for the deformation, and 
*the recurrent points for the deformed map consists of <math>p</math> and a uniformly hyperbolic attractor <math>\Lambda\ .</math>  
The deformed map <math>f</math> is called the '''DA-diffeomorphism''' and the attractor is called the '''DA-attractor'''.</p>


== Properties ==

<p>As stated in the beginning of this article the properties of uniformly hyperbolic attractors can be studied both for the topological and statistical properties.</p>

<p>In 1967, Smale constructed the DA – attractor as example of a structurally stable diffeomorphism that was neither Anosov or Morse-Smale.  In the same paper the solenoid, previously known by topologists, was introduced as a uniformly hyperbolic attractor.  In the same year Williams independently introduced the solenoid.</p>

<p>Williams analyzed the topological structure of uniformly hyperbolic attractors.  Specifically, he studied the case where the topological dimension of the attractor was equal to the dimension of the unstable manifolds, called '''expanding attractors'''.  Williams showed that locally an expanding attractor is the cross product of a Cantor set and the unstable manifold.  He also showed that expanding attractors can be represented as inverse limits of a map on a branched manifold. </p>

<p>Plykin studied uniformly hyperbolic attractors on surfaces and constructed one-dimensional attractors on surfaces.  He showed that the basin of attraction of a uniformly hyperbolic attractor on a surface must have at least 3 holes.  </p>

<p>Another class of expanding attractors that have been studied extensively are the codimension-one attractors, those in which the stable manifolds are one dimensional.  Plykin showed that codimension-one expanding attractors are generalized versions of DA-attractors.  At present there is a complete classification of codimension-one expanding attractors.  However, for general attractors on manifolds of dimension greater than or equal to three there are basic questions on the classification that are not well understood. </p>

<p>In the 1970’s Sinai began to look at the statistical behavior of Anosov diffeomorphisms.  He noticed that although an Anosov diffeomorphism is deterministic it behaves like a stochastic system.  His work was extended by Ruelle and Bowen to hyperbolic attractors.  They showed that if <math>f</math> is a <math>C^2</math> diffeomorphism and <math>\Lambda</math> is a uniformly hyperbolic attractor for <math>f\ ,</math> then there exists a unique invariant probability measure <math>\mu</math> such that for every continuous function <math>\varphi</math> and Lebesgue almost every <math>x</math> in the basin of attraction for <math>\Lambda</math> the following is satisfied: 
<math>\lim_{n\rightarrow\infty}\frac{1}{n}\sum_{j=0}^{n-1}\varphi(f^j(x))=\int\varphi d\mu.</math>
Such a measure is called an '''Sinai-Ruelle-Bowen (SRB)  measure''' or '''physical measure'''. Sinai, Kifer, and Young were able to represent the SRB measure as the zero-noise limit of a stochastic process.</p>

<p>Additionally, Ruelle, Sinai, and Bowen  were able to prove the central limit theorem and that the decay of correlations occurs exponentially fast for hyperbolic attractors of <math>C^2</math> diffeomorphisms. </p>






== References ==
*R. Bowen, ''Equilibrium states and the ergodic theory of Anosov diffeomorphisms'', vol. 470, ''Lect. Notes in Math.'', Springer Verlag, 1975
*V.Z. Grines, E. V. Zhuzhoma, ''Expanding attractors'', Regul. Chaotic Dyn., '''11''' (2006), no. 2, 225-246
*Yu. Kifer, ''Random perturbations of dynamical systems'', Birkh&auml;user, 1988
*Ya. Sinai, ''Gibbs measures in ergodic theory'', Russian Math. Surveys, '''27''' (1972), 21-69 
* S. Smale, ''Differentiable Dynamical Systems''. Bulletin of the American Mathematical Society (N.S.) '''73''' (1967), 747-817


<!-- Authors, please check this list and remove any references that are irrelevant. This list is generated automatically to reflect the links from your article to other accepted articles in Scholarpedia. -->
<b>Internal references</b>

* John W. Milnor (2006) [[Attractor]]. Scholarpedia, 1(11):1815.

* Edward Ott (2006) [[Basin of attraction]]. Scholarpedia, 1(8):1701.

* Nikolai Chernov (2008) [[Decay of correlations]]. Scholarpedia, 3(4):4862.

* James Meiss (2007) [[Dynamical systems]]. Scholarpedia, 2(2):1629.

* Philip Holmes and Eric T. Shea-Brown (2006) [[Stability]]. Scholarpedia, 1(10):1838.


== See also ==
<p>[[Hyperbolic dynamics]], Non-uniformly hyperbolic attractors</p>



[[Category:Dynamical Systems]]
[[Category:Mappings]]