Pesin's entropy formula for systems between \(C^1\) and \(C^{1+\alpha}\) (Q478411)

It is well known that Pesin's entropy formula gives the relationship between metric-theoretic entropy and Lyapunov exponents, and there is a lot of versions of it, most of which requiring that the given dynamical system is of class \(C^{1+\alpha}\) for some \(\alpha >0\). It is interesting to give some conditions weaker than \(C^{1+\alpha}\) such that Pesin's entropy formula holds. The author gives the concept of nonuniform Hölder-continuity for an \(f\)-invariant measure where \(f\) is a \(C^1\) diffeomorphism on a compact Riemannian manifold, which is weaker than \(C^{1+\alpha}\), and shows that if \(\mu\) is an \(f\)-invariant measure as above which is absolutely continuous with respect to the Lebesgue measure, then the Pesin's entropy formula holds. To prove this, the author follows Mañe's method.