The exact value of Hausdorff dimension of escaping sets of class \(\mathcal{B}\) meromorphic functions (Q2125153)

Let \(\mathcal{B}\) denote the class of meromorphic functions for which the set of finite asymptotic and critical values is bounded. In this paper, the authors study the Hausdorff dimension of escaping sets of functions in \(\mathcal{B}\). Let \[ \mathcal{I}(f)=\{z\in\mathbb{C}:f^n(z)\to\infty \mbox{ as } n\to \infty\}, \] and \[ \mathcal{I}_R(f)=\{z\in\mathbb{C}:\liminf_{n\to\infty}|f^n(z)|\ge R\}. \] Let \(f\) be a transcendental meromorphic function in \(\mathcal{B}\) and assume that the multiplicities of all poles is not greater than \(M\). Let \(\{a_j\}_{j=1}^{\infty}\) be the sequence of nonzero poles, and \(m_j\) be the multiplicity of \(a_j\). Then \[ f(z) \sim \left(\frac{b_j}{z-a_j}\right)^{m_j} \mbox{ as } z\to a_j, \] for every \(j\ge 1\) with some \(b_j\in\mathbb{C}\setminus\{0\}\). Fix \[ \delta=\inf \left\{t| t\in\mathbb{R},\sum_{j=1}^\infty \left(\frac{|b_j|}{|a_j|^{1+1/M}}\right)^t<+\infty\right\}. \] The authors prove that if \(f\) is a meromorphic function in \(\mathcal{B}\) for which \(\infty\) is not asymptotic value and its poles have uniformly bounded multiplicities, then \[ HD(\mathcal{I}(f))=\lim_{R\to\infty}HD(\mathcal{I}_R(f))=\delta, \] where \(HD(A)\) is Hausdorff dimension of the set \(A\).