Axiom A Diffeomorphism

Let  be a  diffeomorphism on a compact Riemannian manifold . Then  satisfies Axiom A if the nonwandering set  of  is hyperbolic and the periodic points of  are dense in . Although it was conjectured that the first of these conditions implies the second, they were shown to be independent in or around 1977. Examples include the Anosov diffeomorphisms and Smale horseshoe map.

In some cases, Axiom A can be replaced by the condition that the diffeomorphism is a hyperbolic diffeomorphism on a hyperbolic set (Bowen 1975, Parry and Pollicott 1990).

REFERENCES:

Bowen, R. Equilibrium States and the Ergodic Theory of Anosov Diffeomorphisms. New York: Springer-Verlag, 1975.

Ott, E. Chaos in Dynamical Systems. New York: Cambridge University Press, p. 143, 1993.

Parry, W. and Pollicott, M. "Zeta Functions and the Periodic Orbit Structure of Hyperbolic Dynamics." Astérisque No. 187-188, 1990.

Smale, S. "Differentiable Dynamical Systems." Bull. Amer. Math. Soc. 73, 747-817, 1967.