Pointwise dimension, entropy and Lyapunov exponents for C^1 maps

DOI10.1090/S0002-9947-2012-05527-9MaRDI QIDQ2844842zbMATH OpenFDO

Publication date 20 August 2013

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/S0002-9947-2012-05527-9

ergodic measures local entropy Lyapunov exponents pointwise dimension

Dimension theory of smooth dynamical systems (37C45) Nonuniformly hyperbolic systems (Lyapunov exponents, Pesin theory, etc.) (37D25)

Review text

This paper investigates the interrelations between pointwise dimensions, entropy and Lyapunov exponents of ergodic Borel probability measures for \(C^1\) self-maps on smooth Riemannian manifolds. Precisely, let \(f\) be a \(C^1\) self-map on a smooth Riemannian manifold \(M\) and \(\mu\) an \(f\)-invariant ergodic Borel probability measure with compact support \(\Lambda\). If the largest Lyapunov exponent (w.r.t. the measure \(\mu\)) \(\chi_{\mu}^{1}\) is positive, then the lower pointwise dimension of the measure \(\mu\) satisfies \(\underline{d}_{\mu}(x)\geq\frac{h_{\mu}(f)}{\chi_{\mu}^{1}}\) for \(\mu\)-a.e. \(x\in M\) (here \(h_{\mu}(f)\) is the metric entropy of \(f\) w.r.t. the measure \(\mu\)). Moreover, if \(f\) is non-degenerate on \(\Lambda\) and the smallest Lyapunov exponent (w.r.t. the measure \(\mu\)) \(\chi_{\mu}^{s}\) is positive, then the lower and upper pointwise dimension of the measure \(\mu\) satisfies NEWLINE\[NEWLINE\frac{h_{\mu}(f)}{\chi_{\mu}^{1}}\leq \underline{d}_{\mu}(x)\leq \overline{d}_{\mu}(x)\leq \frac{h_{\mu}(f)}{\chi_{\mu}^{s}}\text{ for }\mu\text{-a.e. }x\in M.NEWLINE\]NEWLINE Using \textit{L.-S. Young}'s results [Ergodic Theory Dyn. Syst. 2, 109--124 (1982; Zbl 0523.58024)], one has \(D(\mu)\geq\frac{h_{\mu}(f)}{\chi_{\mu}^{1}}\) provided that \(\chi_{\mu}^{1}>0\) and \(\frac{h_{\mu}(f)}{\chi_{\mu}^{1}}\leq D(\mu) \leq\frac{h_{\mu}(f)}{\chi_{\mu}^{s}}\) if \(f\) is non-degenerate on \(\Lambda\) and \(\chi_{\mu}^{s}>0\). Here \(D(\mu)\) stands for the Hausdorff dimension of \(\mu\) or the lower and upper Ledrappier's dimension of \(\mu\) or the lower and upper Box dimension of \(\mu\). Furthermore, if the map \(f\) is \(C^{1+\alpha}\) for some \(\alpha> 0\), then the non-degeneracy condition can be removed.

Recommendations

Cites work

Cited in

(15)

This page was built for publication: Pointwise dimension, entropy and Lyapunov exponents for \(C^{1}\) maps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2844842)