Non-uniform hyperbolicity in complex dynamics (Q1006323)

The Poincaré series is a basic tool of Kleinian groups, which is used to construct and study conformal densities and dimensions of the limit set. The basic attention of this article are estimates of the Poincaré series in rational dynamics, i.e. the problem of regularity of conformal measures or to study rational maps satisfying the summability condition, which requires only a polynomial growth of the derivative along critical orbits. Rational maps with parabolic periodic points are non-generic and therefore are excluded from considerations. In the class of rational maps satisfying the summability condition it is proved the counterpart of Sullivan's result [\textit{D. Sullivan}, Conformal dynamical systems. Geometric dynamics, Proc. int. Symp., Rio de Janeiro/Brasil 1981, Lect. Notes Math. 1007, 725--752 (1983; Zbl 0524.58024)], that conformal measures with minimal exponent are ergodic (hence unique) and non-atomic. For study properties of the Poincaré series for rational maps the notion of a restricted Poincaré series is introduced which is also well-defined for points in the Julia set and leads to new estimates, particularly implying that the convergence property of the Poincaré series is ``self-improving''. This turns out to be an underlying reasons for regularity properties of conformal measures on Julia sets, together with the divergence of the Poincaré series with Poincaré exponent, infimum of exponents with converging Poincaré series, as the consequence. One of the central problems in the theory of iteration of rational functions is to estimate the Hausdorff dimension of Julia sets which are not the whole sphere and investigate their fractal properties. It is proved here that the Poincaré exponent coincides with the Hausdorff dimension of Julia sets \(J\) and \(H\operatorname{Dim}(J)>2\) unless \(J=\widehat{\mathbb{C}}\) for rational functions satisfying the summability condition with an exponent \(\alpha<\frac{2}{\mu_{\max}+2}\). To study the continuity of Hausdorff dimension of Julia sets the concept of the uniform summability is introduced. Also a conformal analogue of Jakobson's (Benedicks-Carleson's) theorem is derived and the external continuity of the Hausdorff dimension of Julia sets for almost all points \(c\) from the Mandelbrot set with respect to the harmonic measure is proved.