Measure theoretic pressure and dimension formula for non-ergodic measures

Abstract

This paper first studies the measure theoretic pressure of measures that are not necessarily ergodic. We define the measure theoretic pressure of an invariant measure (not necessarily ergodic) via the Carathéodory-Pesin structure described in [13], and show that this quantity is equal to the essential supremum of the free energy of the measures in an ergodic decomposition. To the best of our knowledge, this formula is new even for entropy. Meanwhile, we define the measure theoretic pressure in another way by using separated sets, it is showed that this quantity is exactly the free energy if the measure is ergodic. Particularly, if the dynamical system satisfies the uniform separation condition and the ergodic measures are entropy dense, this quantity is still equal to the the free energy even if the measure is non-ergodic. As an application of the main result, we find that the Hausdorff dimension of an invariant measure supported on an average conformal repeller is given by the zero of the measure theoretic pressure of this measure. Furthermore, if a hyperbolic diffeomorphism is average conformal and volume-preserving, the Hausdorff dimension of any invariant measure on the hyperbolic set is equal to the sum of the zeros of measure theoretic pressure restricted to stable and unstable directions. 0 N →∞ R(Z, ϕ, α, N, ǫ), r(Z, ϕ, α, ǫ) = lim sup N →∞ R(Z, ϕ, α, N, ǫ) and define the jump-up points of r(Z, ϕ, α, ǫ) and r(Z, ϕ, α, ǫ) as CP Z (f, ϕ, ǫ) = inf{α : r(Z, ϕ, α, ǫ) = 0} = sup{α : r(Z, ϕ, α, ǫ) = +∞}, CP Z (f, ϕ, ǫ) = inf{α : r(Z, ϕ, α, ǫ) = 0} = sup{α : r(Z, ϕ, α, ǫ) = +∞} respectively. Definition 2.2. We call the quantities CP Z (f, ϕ) = lim ǫ→0 CP Z (f, ϕ, ǫ) and CP Z (f, ϕ) = lim ǫ→0 CP Z (f, ϕ, ǫ) the lower and upper topological pressures of (f, ϕ) on the set Z.

Measures of maximal and full dimension for smooth maps

“…Furthermore, if , then See [28] for the detailed proofs, which can be viewed as an extension of Young’s results in [31] to the case of an average conformal hyperbolic setting. If , Fang, Cao, and Zhao [16, Theorem 4.4] proved that with the essential supremum taken with respect to the ergodic decomposition of . See [6, Theorem 2] for the case of hyperbolic surface diffeomorphisms.…”