Pointwise dimension, entropy and Lyapunov exponents for \(C^{1}\) maps (Q2844842)

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.