Dimension and product structure of hyperbolic measures

We prove that every hyperbolic measure invariant under a C 1+fi difieomorphism of a smooth Riemannian manifold possesses asymptotically \almost" local product structure, i.e., its density can be approximated by the product of the densities on stable and unstable manifolds up to small exponentials. This has not been known even for measures supported on locally maximal hyperbolic sets. Using this property of hyperbolic measures we prove the long-standing Eckmann-Ruelle conjecture in dimension theory of smooth dynamical systems: the pointwise dimension of every hyperbolic measure invariant under a C 1+fi difieomorphism exists almost everywhere. This implies the crucial fact that virtually all the characteristics of dimension type of the measure (including the Hausdorfi dimension, box dimension, and information dimension) coincide. This provides the rigorous mathematical justiflcation of the concept of fractal dimension for hyperbolic measures.

[1]  J. Zukas Introduction to the Modern Theory of Dynamical Systems , 1998 .

[2]  H. Weiss,et al.  On the dimension of deterministic and random Cantor-like sets, symbolic dynamics, and the Eckmann-Ruelle Conjecture , 1996 .

[3]  F. Ledrappier Propriétés Ergodiques Des Mesures De Sinaï , 1984 .

[4]  A. Katok Lyapunov exponents, entropy and periodic orbits for diffeomorphisms , 1980 .

[5]  Anatole Katok,et al.  On local entropy , 1983 .

[6]  F. Ledrappier,et al.  The metric entropy of diffeomorphisms Part I: Characterization of measures satisfying Pesin's entropy formula , 1985 .

[7]  L. Young Ergodic Theory of Attractors , 1995 .

[8]  J. Yorke,et al.  Dimension of chaotic attractors , 1982 .

[9]  H. Weiss,et al.  On the dimension of deterministic and random Cantor-like sets , 1994 .

[10]  Miguel de Guzmán,et al.  Differentiation of Integrals in Rn , 1975 .

[11]  L. Young Dimension, entropy and Lyapunov exponents , 1982, Ergodic Theory and Dynamical Systems.

[12]  F. Ledrappier,et al.  The metric entropy of diffeomorphisms , 1984 .

[13]  L. Barreira A non-additive thermodynamic formalism and applications to dimension theory of hyperbolic dynamical systems , 1996, Ergodic Theory and Dynamical Systems.

[14]  S. V. Fomin,et al.  Ergodic Theory , 1982 .

[15]  Lai-Sang Young,et al.  Ergodic Theory of Differentiable Dynamical Systems , 1995 .

[16]  Y. Pesin DIMENSION THEORY IN DYNAMICAL SYSTEMS: CONTEMPORARY VIEWS AND APPLICATIONS By YAKOV B. PESIN Chicago Lectures in Mathematics, University of Chicago Press, 312 pp. Price: hardback $56, paperback $19.95. ISBN 0 226 66222 5 , 1998, Ergodic Theory and Dynamical Systems.

[17]  F. Ledrappier,et al.  Some relations between dimension and Lyapounov exponents , 1981 .

[18]  Ja B Pesin FAMILIES OF INVARIANT MANIFOLDS CORRESPONDING TO NONZERO CHARACTERISTIC EXPONENTS , 1976 .

[19]  D. Ruelle,et al.  Ergodic theory of chaos and strange attractors , 1985 .

[20]  F. Takens Detecting strange attractors in turbulence , 1981 .

[21]  Michał Misiurewicz,et al.  Dimension of invariant measures for maps with exponent zero , 1985, Ergodic Theory and Dynamical Systems.

[22]  R. Fefferman Review: Miguel de Guzmán, Differentiation of integrals in $R^n$ , 1977 .

[23]  秦 浩起,et al.  Characterization of Strange Attractor (カオスとその周辺(基研長期研究会報告)) , 1987 .

[24]  Kenneth Falconer,et al.  Fractal Geometry: Mathematical Foundations and Applications , 1990 .

[25]  P. Grassberger,et al.  Characterization of Strange Attractors , 1983 .

[26]  Y. Pesin Dimension Theory in Dynamical Systems: Contemporary Views and Applications , 1997 .