Measure-theoretic degrees and topological pressure for non-expanding transformations

We consider invariant sets Λ of saddle type, for non-invertible smooth maps f  , and equilibrium measures μϕμϕ associated to Hölder potentials ϕ on Λ. We define a notion of measure-theoretic asymptotic degree of  f|Λ:Λ→Λf|Λ:Λ→Λ, with respect to the measure μϕμϕ on the fractal set Λ  . In our case, the equilibrium measure μϕμϕ is the unique linear functional in C(Λ)⁎C(Λ)⁎ tangent to the pressure function P(⋅):C(Λ)→RP(⋅):C(Λ)→R at ϕ  . In particular, for the measure of maximal entropy μ0μ0 of f|Λf|Λ, we obtain the asymptotic degree   of f|Λf|Λ, which represents the average rate of growth of the number of n-preimages of x that remain in Λ   when n→∞n→∞; notice that, in general, Λ is not totally invariant for f  . To this end, we will obtain first a formula for the Jacobians of the probability μϕμϕ, with respect to arbitrary iterates fmfm, m≥2m≥2. We then show that a formula for the topological pressure P(ϕ)P(ϕ) that holds in the expanding case, is no longer true on saddle sets. In the saddle case we find a new formula for the pressure  , involving weighted sums on preimage sets. We also apply the asymptotic degrees, together with various pressure functionals, in order to obtain estimates for the Hausdorff dimension of stable slices through certain sets of full μϕμϕ-measure in the fractal Λ. In the end, we give also some concrete examples on saddle folded sets.