Uniform domains and hyperbolic distance (Q2046137)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Uniform domains and hyperbolic distance |
scientific article |
Statements
Uniform domains and hyperbolic distance (English)
0 references
17 August 2021
0 references
The concept of a uniform domain in \(\mathbb R^n\) was introduced in [the reviewer and \textit{J. Sarvas}, Ann. Acad. Sci. Fenn., Ser. A I, Math. 4, 383--401 (1979; Zbl 0406.30013)] and since then these domains are used if slightly less regular domains than smooth domains are needed. The uniformity concept has also been extended to more general metric spaces. Roughly speaking in a uniform domain \(\Omega\) every pair of points \(z_1, \, z_2\) can be joined by a rectifiable path \(\gamma\) whose length is comparable to dist\((z_1, z_2)\) and moves away from \(\partial \Omega\) comparable to \(\min(\mathrm{dist}(z_1, \gamma(s)), \mathrm{dist}(z_2, \gamma(s)))\). The author characterizes the uniformality of hyperbolic plane domains \(\Omega\) (i.e., the complement \(\mathbb R^2 \setminus \Omega\) has at least two points) in terms of the Poincaré hyperbolic length distance \(h\) and the quasihypebolic distance \(k_{\Omega}\) defined as \(k_{\Omega}(z_1,z_2) = \inf \int_{\gamma} \delta(\gamma(s))^{-1}\, ds\) where the infimum is taken over all paths \(\gamma\) which connect \(z_1\) to \(z_2\) in \(\Omega\) and \(\delta(z) = \mathrm{dist}(z, \partial \Omega)\). For the characterization the so called relative distance \(j(z_1, z_2) = \log(1 + |z_1 - z_2|/\min(\delta(z_1),\delta( z_2)))\) in \(\Omega\) is used and it is shown that uniformity, \(k_{\Omega} \leq C_1\, j \) and \(h \leq C_2 \, j\) are equivalent and the constants depend only on each other. The relations between uniformity and quasihyperbolic distance have been previously known in rather general metric spaces but the proof from \(h \leq C_2j\) to uniformity is difficult. If instead of the usual distance the inner distance \(\ell(z_1,z_2) = \inf \{\mathrm{lenght}(\gamma): \, \gamma \text{ joins }z_1\text{ to }z_2 \text{ in }\Omega\}\) replaces \(|z_1 - z_2|\) in the definition of \(j\), then the equivalence still holds. Various concepts related to uniformity and their use in general metric spaces are carefully analysed in the paper.
0 references
hyperbolic plane domains
0 references
uniform domains
0 references