In dynamical systems theory, a subset Λ of a smooth manifold M is said to have a hyperbolic structure with respect to a smooth map f if its tangent bundle may be split into two invariant subbundles, one of which is contracting and the other is expanding under f, with respect to some Riemannian metric on M. An analogous definition applies to the case of flows.

In the special case when the entire manifold M is hyperbolic, the map f is called an Anosov diffeomorphism. The dynamics of f on a hyperbolic set, or hyperbolic dynamics, exhibits features of local structural stability and has been much studied, cf. Axiom A.

Definition

Let M be a compact smooth manifold, f: M M a diffeomorphism, and Df: TM TM the differential of f. An f-invariant subset Λ of M is said to be hyperbolic, or to have a hyperbolic structure, if the restriction to Λ of the tangent bundle of M admits a splitting into a Whitney sum of two Df-invariant subbundles, called the stable bundle and the unstable bundle and denoted Es and Eu. With respect to some Riemannian metric on M, the restriction of Df to Es must be a contraction and the restriction of Df to Eu must be an expansion. Thus, there exist constants 0<λ<1 and c>0 such that

and

and for all

and

for all and

and

for all and .

If Λ is hyperbolic then there exists a Riemannian metric for which c = 1 — such a metric is called adapted.

Examples

References

  • Abraham, Ralph; Marsden, Jerrold E. (1978). Foundations of Mechanics. Reading Mass.: Benjamin/Cummings. ISBN 0-8053-0102-X.
  • Brin, Michael; Stuck, Garrett (2002). Introduction to Dynamical Systems. Cambridge University Press. ISBN 0-521-80841-3.

This article incorporates material from Hyperbolic Set on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.