Horseshoe map

The map was introduced by Stephen Smale while studying the behavior of the orbits of the van der Pol oscillator.

The squishing, stretching and folding of the horseshoe map are typical of chaotic systems, but not necessary or even sufficient.

The folding is done neatly, so that the orbits that remain forever in the square can be simply described.

Contracting by a factor smaller than one half assures that there will be a gap between the branches of the horseshoe.

Finally the resulting strip is folded into a horseshoe-shape and placed back into S. The interesting part of the dynamics is the image of the square into itself.

The extension of f to the caps adds a fixed point to the non-wandering set of the map.

To ensure that the map remains one-to-one, the contracted square must not overlap itself.

For example, the map on the right needs to be extended to a diffeomorphism of the sphere by using a “cap” that wraps around the equator.

The horseshoe map was designed to reproduce the chaotic dynamics of a flow in the neighborhood of a given periodic orbit.

The set of points that never leaves the neighborhood of the given periodic orbit form a fractal.

Under repeated iteration of the horseshoe map, most orbits end up at the fixed point in the left cap.

This is because the horseshoe maps the left cap into itself by an affine transformation that has exactly one fixed point.

That is, a point in Vn will, under n iterations of the horseshoe, end up in the set Hn of vertical strips.

If a point is to remain indefinitely in the square, then it must belong to a set Λ that maps to itself.

The structure of this set can be better understood by introducing a system of labels for all the intersections—a symbolic dynamics.

It converges to a point that is part of a periodic orbit of the horseshoe map.

The Smale horseshoe map f is the composition of three geometrical transformations
Mixing in a real ball of colored putty after consecutive iterations of Smale horseshoe map
Variants of the horseshoe map
Pre-images of the square region
Intersections that converge to the invariant set
Example of an invariant measure
The basic domains of the horseshoe map