Dmitry Ryzhov | Searcharxiv

arXiv2012

Example of a diffeomorphism for which the special ergodic theorem doesn't hold

In this work we present an example of C^\infty-diffeomorphism of a compact 4-manifold such that it admits a global SRB measure μbut for which the special ergodic theorem doesn't hold. Namely, for this transformation there exist a continuous function ϕand a positive constant αsuch that the following holds: the set of the initial points for which the Birkhoff time averages of the function ϕdiffer from its μ--space average by at least αhas zero Lebesgue measure but full Hausdorff dimension.

math.DS↗

arXiv2011

Special Ergodic Theorem for hyperbolic maps

Let f be a self-map of a compact manifold M, admitting an global SRB measure μ. For a continuous test function ϕon M and a constant α>0, consider the set of the initial points for which the Birkhoff time averages of the function ϕdiffer from its μ--space average by at least α. As the measure μis an SRB one, the intersection of this set with the basin of attraction of μshould have zero Lebesgue measure. The \emph{special ergodic theorem}, whenever it holds, claims that, moreover, this intersection has the Hausdorff dimension less than the dimension of M. We prove that for Lipschitz maps, the special ergodic theorem follows from the dynamical large deviations principle. Applying theorems of L. S. Young and of V. Araujo and M. J. Pacifico, we conclude that the special ergodic theorem holds for transitive hyperbolic attractors of C^2-diffeomorphisms, as well as for some other known classes of maps (including the one of partially hyperbolic non-uniformly expanding maps).

math.DS↗