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

From MaRDI portal
Added link to MaRDI item.
Importer (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 2 users not shown)
Property / reviewed by
 
Property / reviewed by: Dmitry Vladimirovich Prokhorov / rank
Normal rank
 
Property / reviewed by
 
Property / reviewed by: Dmitry Vladimirovich Prokhorov / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1908.11845 / rank
 
Normal rank

Latest revision as of 02:23, 19 April 2024

scientific article
Language Label Description Also known as
English
On the Hardy number of a domain in terms of harmonic measure and hyperbolic distance
scientific article

    Statements

    On the Hardy number of a domain in terms of harmonic measure and hyperbolic distance (English)
    0 references
    8 November 2020
    0 references
    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\).
    0 references
    Hardy number
    0 references
    Hardy space
    0 references
    hyperbolic distance
    0 references
    harmonic measure
    0 references
    conformal mapping
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references