Conformal metrics and boundary accessibility. (English) Zbl 1191.30010

A boundary point \(y\) of a domain \(\Omega\) is broadly accessible if there is a sequence of balls in \(\Omega\) such that their centers converge to \(y\) and each center can be joined to \(y\) with a path in \(\Omega\) whose length is only slightly greater than the radius of the ball.
T. E. Gerasch [Mich. Math. J. 33, 201–207 (1986; Zbl 0605.30020)] showed that, for a conformal mapping \(f : B \to \mathbb{C}\), for a.e. point \(z \in \partial B\), the radial limit \(f(z)\) is broadly accessible in \(f(B)\). The result was extended to \(\mathbb{R}^n\), \(n \geq 2\), and to quasiconformal mappings by O. Martio and R. Näkki [Bull. Lond. Math. Soc. 36, No. 1, 115–118 (2004; Zbl 1040.30010)]. This result was further extended to sets of smaller size in terms of the Hausdorff measure on \(\partial B\) by P. Koskela and S. Rohde [Math. Ann. 309, No. 4, 593–609 (1997; Zbl 0890.30013)].
The author proves a refined version of this result stated in terms of a conformal metric in the unit ball \(B^n\). For a \(K\)-quasiconformal mapping \(f : B^n \to \Omega\), the result says that, for \(s > 1\), there is a set \(E \subset \partial B^n\) with \(H^{\varphi}(E) = 0\) such that, for all \(z \in \partial B^n \setminus E \), there is a sequence of points \(y_k \to f(z) \) in \(\Omega\) so that \[ f(z) \in B^n\Big(y_k, c \delta (y_k)\big(-\log \delta (y_k)\big)^{s-1}\Big). \]
Here \(\varphi(t) = \exp\big(-(-\log t)^{1/s}\big)\), \(\delta (y) = \text{dist\,} (y, \partial \Omega)\), and \(c = c(n, s, K) > 0\). The result is essentially sharp.


30C65 Quasiconformal mappings in \(\mathbb{R}^n\), other generalizations
30D40 Cluster sets, prime ends, boundary behavior
Full Text: Euclid


[1] D. R. Adams and L. I. Hedberg, Function spaces and potential theory , Springer, Berlin, 1996. · Zbl 0834.46021
[2] M. Bonk, P. Koskela and S. Rohde, Conformal metrics on the unit ball in euclidean space , Proc. London Math. Soc. (3) 77 (1998), 635–664. · Zbl 0916.30017
[3] H. Federer, Geometric measure theory , Springer, New York, 1969. · Zbl 0176.00801
[4] T. E. Gerasch, On the accessibility of the boundary of a simply connected domain , Michigan Math. J. 33 (1986), 201–207. · Zbl 0605.30020
[5] S. Hencl and P. Koskela, Quasihyperbolic boundary conditions and capacity: Uniform continuity of quasiconformal mappings , J. Anal. Math. 96 (2005), 19–35. · Zbl 1092.30037
[6] P. Koskela and T. Nieminen, Homeomorphisms of finite distortion: Discrete length of radial images , Math. Proc. Cambridge Philos. Soc. 144 (2008), 197–205. · Zbl 1154.30016
[7] P. Koskela and T. Nieminen, Uniform continuity of quasiconformal mappings and conformal deformations , Conform. Geom. Dyn. 12 (2008), 10–17. · Zbl 1133.30320
[8] P. Koskela and S. Rohde, Hausdorff dimension and mean porosity , Math. Ann. 309 (1997), 593–609. · Zbl 0890.30013
[9] P. Mattila, Geometry of sets and measures in Euclidean spaces , Cambridge Univ. Press, 1995. · Zbl 0819.28004
[10] O. Martio and R. Näkki, Boundary accessibility of a domain quasiconformally equivalent to a ball , Bull. London. Math. Soc. 36 (2004), 114–118. · Zbl 1040.30010
[11] T. Nieminen, Generalized mean porosity and dimension , Ann. Acad. Sci. Fenn. Math. 31 (2006), 143–172. · Zbl 1099.30009
[12] T. Nieminen and T. Tossavainen, Boundary behavior of conformal deformations , Conform. Geom. Dyn. 11 (2007), 56–64. · Zbl 1133.30321
[13] C. A. Rogers, Hausdorff measures , Cambridge Univ. Press, 1970. · Zbl 0204.37601
[14] E. M. Stein, Singular integrals and differentiability properties of functions , Princeton Univ. Press, 1970. · Zbl 0207.13501
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.