Inverse Pressure Estimates and the Independence of Stable Dimension for Non-Invertible Maps

Mihailescu, Eugen ; Urbański, Mariusz

Canadian journal of mathematics, Tome 60 (2008) no. 3, pp. 658-684

Résumé

We study the case of an Axiom $\text{A}$ holomorphic non-degenerate (hence non-invertible) map $f:{{\mathbb{P}}^{2}}\mathbb{C}\to {{\mathbb{P}}^{2}}\mathbb{C}$ , where ${{\mathbb{P}}^{2}}\mathbb{C}$ stands for the complex projective space of dimension 2. Let $\Lambda $ denote a basic set for $f$ of unstable index 1, and $x$ an arbitrary point of $\Lambda $ ; we denote by ${{\delta }^{s}}(x)$ the Hausdorff dimension of $\text{W}_{r}^{s}(x) \cap \,\Lambda$ , where $r$ is some fixed positive number and $\text{W}_{r}^{s}(x)$ is the local stable manifold at $x$ of size $r;{{\delta }^{s}}(x)$ is called the stable dimension at $x$ . Mihailescu and Urbański introduced a notion of inverse topological pressure, denoted by ${{P}^{-}}$ , which takes into consideration preimages of points. Manning and McCluskey studied the case of hyperbolic diffeomorphisms on real surfaces and give formulas for Hausdorff dimension. Our non-invertible situation is different here since the local unstable manifolds are not uniquely determined by their base point, instead they depend in general on whole prehistories of the base points. Hence our methods are different and are based on using a sequence of inverse pressures for the iterates of $f$ , in order to give upper and lower estimates of the stable dimension. We obtain an estimate of the oscillation of the stable dimension on $\Lambda $ . When each point $x$ from $\Lambda $ has the same number ${d}'$ of preimages in $\Lambda $ , then we show that ${{\delta }^{s}}(x)$ is independent of $x$ ; in fact ${{\delta }^{s}}(x)$ is shown to be equal in this case with the unique zero of the map $t\to P(t{{\phi }^{s}}-\log {d}')$ . We also prove the Lipschitz continuity of the stable vector spaces over $\Lambda $ ; this proof is again different than the one for diffeomorphisms (however, the unstable distribution is not always Lipschitz for conformal non-invertible maps). In the end we include the corresponding results for a real conformal setting.

Détail

DOI : 10.4153/CJM-2008-029-2

Mots-clés : 37D20, 37A35, 37F35, Hausdorff dimension, stable manifolds, basic sets, inverse topological pressure

Bibliographie

[1] [1] Fornaess, J. E. and Sibony, N., Hyperbolic maps on ℙ2. Math. Ann. 311(1998), no. 2, 305–333. Google Scholar

[2] [2] Manning, A. and McCluskey, H., Hausdorff dimension for horseshoes. Ergodic Theory Dynam. Systems 3(1983), no. 2, 251–260. Google Scholar

[3] [3] Mihailescu, E., Applications of thermodynamic formalism in complex dynamics on ℙ2. Discrete Contin. Dynam. Systems 7(2001), no. 4, 821–836. Google Scholar

[4] [4] Mihailescu, E., The set K− for hyperbolic non-invertible maps. Ergodic Theory Dynam. Systems 22(2002), no. 3, 873–887. Google Scholar

[5] [5] Mihailescu, E. and Urbański, M., Estimates for the stable dimension for holomorphic maps. Houston J. Math 31(2005), 2, 367–389 (electronic). Google Scholar

[6] [6] Mihailescu, E. and M. Urbański, Inverse topological pressure with applications to holomorphic dynamics of several complex variables. Commun. Contemp.Math. 6(2004), no. 4, 653–679. Google Scholar

[7] [7] Nitecki, Z., Topological entropy and the preimage structure of maps. Real Anal. Exchange 29(2003/04), no. 1, 9–41. Google Scholar

[8] [8] Ruelle, D., Elements of differentiable dynamics and bifurcation theory. Academic Press, Boston,MA, 1989. Google Scholar

[9] [9] Shub, M., Global Stability of Dynamical Systems. Springer-Verlag, New York, 1987. Google Scholar

[10] [10] Verjovsky, A. and Wu, H., Hausdorff dimension of Julia sets of complex Hénon mappings. Ergodic Theory Dynam. Systems 16(1996), no. 4, 849–861. Google Scholar

[11] [11] Wilkinson, A., Stable ergodicity of the time-one map of a geodesic flow. Ergodic Theory Dynam. Systems 18(1998), no. 6, 1545–1587. Google Scholar