On the Hardy number of a domain in terms of harmonic measure and hyperbolic distance (Q2210774): Difference between revisions

The author establishes the Hardy number of a domain in terms of harmonic measure and hyperbolic distance. For a domain \(D\subset\mathbb C\) and \(z\in D\) and a Borel subset \(E\) of the closure \(\overline D\) of \(D\), let \(\omega_D(z,E)\) be the harmonic measure at \(z\) of \(\overline E\) with respect to the component of \(D\setminus\overline E\) containing \(z\), and let \(d_D(z,w)\) be the hyperbolic distance between \(z\) and \(w\) in \(E\) for a simply connected domain \(D\ne\mathbb C\). Denote by \(\psi\) a conformal map on the unit disk \(\mathbb D=\{z\in\mathbb C:|z|<1\}\), \(\psi(0)=0\), and \(F_{\alpha}=\{z\in\mathbb D:|\psi(z)|=\alpha\}\), \(\alpha>0\). The Hardy number of \(\psi\) is given by \(h(\psi)=\sup\{p>0: \psi\in H^p(\mathbb D)\}\), where \(H^p(\mathbb D)\) is the Hardy space on \(\mathbb D\). The following theorem expresses \(h(\psi)\) in terms of the hyperbolic distance. Theorem 1.1. If \(h(\psi)\) denotes the Hardy number of \(\psi\), then \[h(\psi)=\liminf_{\alpha\to+\infty}\frac{d_{\mathbb D}(0,F_{\alpha})}{\log\alpha}.\] Denote \[L=\lim_{\alpha\to+\infty}(\log\omega_{\mathbb D}(0,F_{\alpha})^{-1}/\log\alpha),\;\;\;\mu=\lim_{\alpha\to+\infty}(d_{\mathbb D}(0,F_{\alpha})/\log\alpha).\] Theorem 1.3. If \(\mu\) exists, then \(L\) exists and \(L=\mu\). Let \(N(\alpha)\in\mathbb N\cup\{\infty\}\) denote the number of components of \(F_{\alpha}\), \(\alpha>0\), and let \(F_{\alpha}^i\) denote each of these components, \(i=1,\dots,N(\alpha)\). Denote by \(F_{\alpha}^*\) a component of \(F_{\alpha}\) such that \(\omega_{\mathbb D}(0,F_{\alpha}^*)=\max_i\{\omega_{\mathbb D}(0,F_{\alpha}^i)\}\). Theorem 1.5. If \(L\) exists, then \(\mu\) exists if and only if \[\limsup_{\alpha\to+\infty}\frac{\log_{\mathbb D}\omega(0,F_{\alpha}^*)^{-1}}{\log\alpha}=L.\] If \(\mu\) exists, then \(\mu=L\).