Hausdorff measure of escaping sets on certain meromorphic functions (Q1706555)

For a meromorphic function \(f\) on \(\mathbb{C}\) the escaping set is defined by \(I(f)=\{ z\in \mathbb{C}: f^n(z)\to \infty, n\to \infty\}\) where \(f^n\) denotes the \(n\)th iterate of \(f\). The Eremenko-Lyubich class \(B\) consist of all transcendental meromorphic functions \(f\) such that the closure of the set of all its critical and asymptotic values is bounded. \textit{W. Bergweiler} and \textit{J. Kotus} [Trans. Am. Math. Soc. 364, No. 10, 5369--5394 (2012; Zbl 1294.37018)] proved that if \(\infty\) is not an asymptotic values of \(f\) and there exists \(M\in \mathbb{N}\) such that the multiplicity of all poles, except finitely many, is at most \(M\), then the Hausdorff dimension \(\mathrm{dim\,} I(f)\) is at most \(\frac{2M\rho_0}{2+M\rho_0}\), where \(\rho_{n}(f):=\limsup_ {r\to \infty} \frac{ \log_+^{n+l} T(r,f)}{\log r}\) and \(T(r,f)\) denotes the Nevanlinna characteristic of \(f\). If \(\rho_0(f)=\infty\), then the area of \(I(f)\) is zero, yet its dimension can be \(2\). Theorem 1. Let \(f\in B\) with \(\rho=\rho_n(f)\) satisfying \(0<\rho<\infty\). Suppose that \(\infty\) is not an asymptotic values of \(f\) and there exists \(M\in \mathbb{N}\) such that the multiplicity of all poles, except finitely many, is at most \(M\). If \(h(t)=t^2 (\log ^n \frac 1t)^\gamma\) and \(\gamma<\frac{2}{M\rho}\), then the Hausdorff measure \(\mu_h(I(f))=0\). This theorem is sharp in the following sense. Theorem 2. Let \(0<\rho<\infty\), and \(n, M\in \mathbb{N}\). Then there exists a meromorphic function \(f\in B\) with \(\rho_n(f)=\rho\) such that \(\infty\) is not an asymptotic value of \(f\), all poles of \(f\) have multiplicity \(M\), and \(\mu_h(I(f))=\infty\) provided that \(\gamma>\frac 8{M\rho}\).