View source for Smale horseshoe

[[Image: Smale Horseshoe Shub1.gif|thumb|300px|right|F1|Smale Horseshoe. 
(This image was produced by Bill Casselman,
Graphics Editor of the Notices of the American Mathematical Society.
It first appeared in an article by M. Shub
in the May, 2005 issue of the Notices of the AMS.)]] 

The <strong><nowiki>Smale horseshoe</nowiki></strong> is the hallmark of chaos. With striking
geometric and analytic clarity it robustly describes the homoclinic
dynamics encountered by [[Henri Poincaré|Poincaré]] and studied by Birkhoff,
Cartwright-Littlewood and Levinson. We give the example first and
the definitions later.

Consider the embedding <math>f</math> of the disc <math>\Delta </math> into itself
exhibited in the figure. It contracts the semi-discs <math>A\ ,</math> <math>E</math> to the
semi-discs <math>f(A)\ ,</math> <math>f(E)</math> in <math>A\ ;</math> and it sends the rectangles <math>B\ ,</math>
<math>D</math> linearly to the rectangles <math>f(B)\ ,</math> <math>f(D)\ ,</math> stretching them
vertically and shrinking them horizontally. In the case of <math>D\ ,</math> it
also rotates by 180 degrees. We don't really care what the image
<math>f(C)</math> of <math>C</math> is as long as it does not intersect the rectangle <math>B\cup C \cup D\ .</math> In the figure it is placed so that the total image
resembles a horseshoe, hence the name.

It's easy to see that <math>f</math> extends
to a diffeomorphism of the
<math>2</math>-sphere  to itself.  We
also refer to the extension
as <math>f\ ,</math> and work out its
dynamics in <math>\Delta \ ,</math> i.e., its
iterates
<math>f^n</math> for <math>n  \in \mathbb{Z}\ .</math>

Necessarily there are three fixed points <math>p, q, s.</math>  The point
<math>q</math> is a sink in the sense that all points <math>z \in  A \cup E \cup C</math>
converge to <math>q</math> under forward iteration, <math>f^n(z) \rightarrow  q</math> as
<math>n \rightarrow  \infty\ .</math>

The points
<math>p\ ,</math> <math>s</math> are  saddle points.  If
<math>x</math> lies on the horizontal through
<math>p</math> then <math>f^n</math> squeezes it to
<math>p</math> as
<math>n \rightarrow \infty\ ,</math> while if
<math>y</math> lies on the vertical through
<math>p</math> then the inverse
iterates of <math>f</math> squeeze it to
<math>p\ .</math>  With respect to linear
coordinates centered at <math>p\ ,</math>
<math>f(x, y) = (kx, my)</math> where <math>(x,
y) \in  B</math> and <math>0 < k < 1 < m\ .</math>
Similarly, <math>f(x, y) = (-kx, -my)</math> with respect to linear
coordinates on <math>D</math> at <math>s\ .</math>

The sets
:<math>
W^s = \{z : f^n(z)
\rightarrow p</math> as <math>n \rightarrow +\infty \}</math>
:<math>
W^u = \{z : f^n(z)
\rightarrow p</math> as <math>n \rightarrow -\infty \}</math>
are the stable and unstable
manifolds of <math>p\ .</math>  They
intersect at <math>r\ ,</math> which is what
Poincare called a ''[[homoclinic bifurcation|homoclinic point]]''.
The homoclinic point here is ''transverse'' in the sense that the stable and unstable
manifolds are not tangent at <math>r\ .</math>
The figure only shows these
invariant manifolds locally.
Iteration extends them
globally.

The key part of the dynamics
of <math>f</math> happens on the
''horseshoe''
:<math>
\Lambda  = \{ z : f^n(z) \in  B
\cup D</math> for all <math>n  \in \mathbb{Z}\}.</math>
Everything there is explained as the "full shift on the space of two symbols," (see [[symbolic dynamics]]). Take two symbols, <math>0</math> and <math>1\ ,</math> and look at the set <math>\Sigma </math> of all bi-infinite sequences  <math>a = (a_n)</math>  where <math>n  \in \mathbb{Z}</math> and for each <math>n\ ,</math> <math>a_n</math> is <math>0</math> or <math>a_n</math> is <math>1\ .</math>  Thus
<math>\Sigma  = \{ 0, 1\}^{\mathbb{Z}}</math> is homeomorphic to the Cantor
set.  The map <math>\sigma  : \Sigma \rightarrow \Sigma </math> that sends <math>a =
(a_n)</math> to <math>\sigma (a) = (a_{n+1})</math> is a homeomorphism called the
shift map.  It shifts the decimal point one slot rightward. Every
dynamical property of the shift map is possessed equally by
<math>f|_{\Lambda }</math> because there is a
homeomorphism
<math>h : \Sigma  \rightarrow
\Lambda </math>  such that the
diagram
:[[Image:Smale Shub commitative diagram.gif]]
commutes.  The conjugacy <math>h</math>
is easy to describe.  Given any
<math>a
\in \Sigma \ ,</math> there is a unique
<math>z
\in \Lambda
</math> such that <math>f^n(z) \in  B</math>
whenever
<math>a _n= 1\ ,</math> while
<math>f^n(z) \in  D</math> whenever
<math>a _n= 0\ .</math> Thus <math>\sigma </math> codes
the horseshoe dynamics.  For
instance,   <math>(
\cdots 11.111 \cdots )</math> codes the
point <math>p\ ,</math>
<math>( \cdots  00. 000  \cdots )</math>
codes  <math>s\ ,</math> while
<math>(\cdots 111.0111 \cdots) </math>
codes
<math>r\ .</math>

<math>\sigma </math> has <math>2^n</math> periodic
orbits of period  <math>n\ ,</math> and so
must <math>f|_{\Lambda }\ .</math>  The set
of periodic orbits of <math>\sigma </math>
is dense in <math>\Sigma \ ,</math> and so
must be the set of periodic
orbits
of
<math>f|_{\Lambda }\ .</math>  Small
changes of initial conditions in
<math>\Sigma </math> can produce large
changes of a <math>\sigma </math>-orbit,
so the same must be true of
<math>f|_{\Lambda }\ .</math>  In short,
due to  conjugacy, the
chaos of
<math>\sigma
</math> is reproduced exactly in the
horseshoe.

The utility of Smale's analysis is this: ''every'' dynamical
system having a transverse  homoclinic point, such as <math>r\ ,</math> is such that some power <math>f^T</math> has
also a horseshoe containing <math>r\ ,</math> and has thus the shift chaos.
Nowadays, this fact is not hard to see, even in higher dimensions.
The mere existence of a transverse intersection between the stable
and unstable manifolds of a periodic orbit implies a horseshoe.
In the case of flows, the corresponding assertion holds for the
Poincare map.  To recapitulate,
:transverse homoclinicity <math>\Rightarrow</math> horseshoe <math>\Rightarrow</math> chaos.
Since transversality persists
under perturbation, it follows
that so does the horseshoe, and
so does its chaos.

The analytical feature of the horseshoe is ''hyperbolicity''
– the squeeze/stretch phenomenon expressed via the derivative.
The derivative of <math>f</math> stretches tangent vectors which are parallel
to the vertical and contracts vectors parallel to the horizontal,
not only at the saddle points, but uniformly throughout <math>\Lambda
\ .</math> In general, hyperbolicity of a compact invariant set such as
<math>\Lambda</math> in any dimension is expressed in terms of expansion and
contraction of the derivative on sub-bundles of the tangent
bundle. Smale unified such examples as the horseshoe and the
geodesic flow on manifolds of negative curvature defining what is
now called uniformly hyperbolic dynamical systems. These are systems in which the non-wandering set 
is a uniformly hyperbolic set and its stable and unstable manifolds are transverse at all points or at least exhibit no cycles (see, e.g., the book of Shub below for precise definitions). The study of
these systems has led to many fruitful discoveries in modern
dynamical systems theory.

David Ruelle has
called Smale's 1967 article
"a masterpiece of mathematical
literature." It is still worth reading
today. Hyperbolic dynamics
flourished in the 1960s and 70s.
Anosov
proved the structural stability and ergodicity of the globally
hyperbolic systems that now
bear his name. Sinai initiated the
more general investigation of
the ergodic theory of hyperbolic
dynamical systems, and in
particular showed that the
Markov partitions
of Adler and Weiss could be
constructed for all hyperbolic
invariant sets thus giving a
coding similar the two shift
coding
for the horseshoe. This work
was carried forward by Ruelle
and
Bowen. The invariant measures
they found, now called [[Sinai-Ruelle-Bowen measures]] (SRB measures), describe the asymptotic
dynamics of most Lebesgue
points in the manifold even for
dissipative sytems.
Uniformly hyperbolic
dynamical systems are
remarkable.
They exhibit chaotic behaviour.
By the
work of Anosov, Smale, Palis
and Robbin they are structurally
stable or non-wandering set stable, that is the dynamics of a
perturbation of a uniformly
hyperbolic system is
topologically conjugate to the
original globally or at least restricted to the non-wandering sets. By
the work of Sinai, Ruelle, Bowen
they are described statistically.

In the early days of the 60s it
was hoped that uniformly
hyperbolic
dynamical systems might be in
some sense typical. While they
form a large open set on all
manifolds they are not dense.
The search for
the typical dynamical systems
continues to be a great problem.
For progress
see the survey by Bonatti et al. (2004).
Hyperbolic periodic points, their
global stable and unstable
manifolds and homoclinic points
remain some of the principal
features of and tools for
understanding the dynamics of
chaotic
systems.

Indeed transverse homoclinic
points are proven to exist in many
of the dynamical systems
encountered in science and
engineering
from celestial mechanics where
Poincare first observed them
to
ecology and beyond.

==History==

The history of the discovery of the horseshoe and the state of mathematics in 1960 is described in detail by Smale (1998).

The horseshoe is a natural consequence of a geometrical way of looking at the equations of Cartwright-Littlewood and Levinson. It helps understand the mechanism of chaos, and explain the widespread unpredictability in dynamics. It was discovered in 1960 in Rio de Janeiro, while Dr. Smale was receiving support from the National Science Foundation (NSF) of the United States as a postdoctoral fellow. Dr. Smale was hosted at the Instituto da Matematica, Pura e Aplicada (IMPA), funded by the Brazilian government, which provided a pleasant office and working environment. (Subsequently questions were raised about him having used U.S. taxpayer's money for this research done on the beaches of Rio. In fact none other than President Johnson's science adviser, Donald Hornig, wrote on this issue in 1968 in the widely circulated magazine "Science".) 

In Rio, Smale was doing research in an area of mathematics which was to become the theory of chaos. At that time, as a topologist, he prided himself on a paper that he had just published in dynamics. He was delighted with a conjecture in that paper which had as a consequence (in modern terminology) "chaos doesn't exist"! This euphoria was soon shattered by a letter received from an M.I.T. mathematician named Norman Levinson. He had coauthored the main graduate text in ordinary differential equations and was a scientist to be taken seriously. Levinson described an earlier result of his which effectively contained a counterexample to Smale’s conjecture. Levinson’s paper in turn was a clarification of extensive work of the pair of British mathematicians Mary Cartwright and J. L. Littlewood done during World War II. Cartwright and Littlewood
had been analyzing some equations that arose in doing war-related studies involving radio waves. They had found unexpected and unusual behaviour of solutions of these equations. In fact Cartwright and Littlewood had proved mathematically that signs of chaos could exist, even in equations that arose naturally in engineering. But the world wasn't ready to listen, and even today their important contributions to chaos theory are not well-known. To understand Levinson’s counter-example, it was necessary to translate his analytic arguments into geometric way of thinking, which lead into the discovery of the horseshoe.

==References==

* Bonatti, Lorenzo J. Diaz, Marcelo Viana, ''Dynamics  Beyond Uniform Hyperbolicity:  A Global Geometric and  Probabilistic Approach,'' Encyclopedia of Mathematical Sciences, Springer, 2004.

* Michael Shub, ''Global Stability of  Dynamical Systems'', Springer, 1986.

* Michael Shub, ''What is a Horseshoe?'', Notices of the AMS, v.52, p.530-532

* Stephen Smale, ''Differentiable dynamical  systems,'' Bull. Amer. Math. Soc.73(1967), 747-817.

* Steve Smale, '' Finding a horseshoe on the  beaches of Rio,'' Mathematical Intelligencer 20 (1998), 39-44.

<!-- 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>

* Yuri A. Kuznetsov (2007) [[Conjugate maps]]. Scholarpedia, 2(12):5420.
* James Meiss (2007) [[Dynamical systems]]. Scholarpedia, 2(2):1629.
* Jeff Moehlis, Kresimir Josic, Eric T. Shea-Brown (2006) [[Periodic orbit]]. Scholarpedia, 1(7):1358.
* Leonid Pavlovich Shilnikov and Andrey Shilnikov (2007) [[Shilnikov bifurcation]]. Scholarpedia, 2(8):1891.
* Philip Holmes and Eric T. Shea-Brown (2006) [[Stability]]. Scholarpedia, 1(10):1838.

==See also==

[[Chaos]], [[Ergodic Theory]], [[Homoclinic Orbits]], [[Hyperbolic Dynamics]], [[Iterative Mappings]], [[Shilnikov Bifurcation]], [[SRB Measure]], [[Structural Stability]], [[Symbolic Dynamics]]



[[Category:Dynamical Systems]]
[[Category:Mappings]]
[[Category:Chaos]]
[[Category:Eponymous]]
[[Category:Topological Dynamics]]
[Category:Multiple Curators]]
<!-- -->