Hyperbolic set

of a smooth dynamical system

A compact subset of the phase manifold , completely consisting of trajectories, each of which has the following property: It has a neighbourhood such that all trajectories in that neighbourhood (including those which are not in ) behave (with respect to the given trajectory) like the trajectories near a saddle. More exactly, a hyperbolic set in a smooth dynamical system is a compact invariant subset of the phase manifold such that at each point in the tangent space to there exist subspaces and for which the following two conditions are met: 1) the action of the differentials of the mappings at on the vectors , satisfies the inequalities (cf. Differentiation of a mapping)

with certain constants which are independent of . 2) If is a cascade (i.e. if the time assumes integral values), then

if is a flow,

where is the one-dimensional subspace spanned by the vector of phase velocity (this involves the assumption that the latter does not vanish anywhere on ). Moreover, for the sake of convenience in certain formulations, one calls equilibrium positions of flows for which the eigen values of the matrix of the linearized system lie outside the imaginary axis also hyperbolic (cf. Hyperbolic point).

The subspace is called stable, is called unstable and is called neutral. The points for which and tend to each other as form a smooth manifold tangent to at ; it is called the stable manifold of the point . The union of the for all lying on the same trajectory is called the stable manifold of this trajectory. The unstable manifolds of a point or a trajectory are defined in the same manner.

The classical example of a hyperbolic set of a flow is a periodic trajectory for which only one Floquet multiplier has modulus one. In certain systems the whole phase space is a hyperbolic set (cf. -system). Numerous examples of hyperbolic sets were discovered during the study of dynamical systems of classical origin — for example, in celestial mechanics [1]. Hyperbolic sets as a class were introduced in 1965 by S. Smale [2], and have since played an important role in the theory of smooth dynamical systems, both as objects of studies and as a part in many examples [3]–[5].

References

[1]	A.G. Kushnirenko, A.B. Katok, V.M. Alekseev, "Three papers on dynamical systems" Trans. Amer. Math. Soc. (2) , 116 (1981) pp. 1–169 Nineth math. summer school (1972) pp. 50–341
[2]	S. Smale, "Differentiable dynamical systems" Bull. Amer. Math. Soc. , 73 (1967) pp. 747–817
[3]	Z. Nitecki, "Differentiable dynamics. An introduction to the orbit structure of diffeomorphisms" , M.I.T. (1971)
[4]	M. Shub, "Stabilité globale des systèmes dynamiques" Astérisque , 56 (1978) (English abstract)
[5]	Sh.E. Newhouse, "Lectures on dynamical systems" J. Guckenheimer (ed.) J. Moser (ed.) Sh.E. Newhouse (ed.) , Dynamical systems , Birkhäuser (1980) pp. 1–114