John disks and extension of maps (Q1321529)

A domain \(D\) in \(\overline\mathbb{C}\) is a \(c\)-John domain if each pair of distinct points \(a,b\) in \(D\) can be joined by an arc \(\alpha\) such that \(\text{cig}(\alpha,c)\subset D\); here \(\text{cig}(\alpha,c)\) is the union of disks \(B(x,d(x)/c)\), \(x\in\alpha\), where \(d(x)=\min(\text{diam} \alpha(a,x),\text{diam} \alpha(x,b))\). For other definitions, mostly equivalent to this, see [\textit{F. John}, Comm. Pure Appl. Math. 14, 391- 413 (1961; Zbl 0102.174)], [\textit{O. Martio} and \textit{J. Sarvas}, Ann. Acad. Sci. Fenn., Ser., A I 4, 383-401 (1978; Zbl 0427.30021)], and [\textit{J. Vaisälä}, Tohôku Math. J. 40, 101-118 (1988; Zbl 0636.30018)]. A \(c\)-John disk is a \(c\)-John domain conformally equivalent to the unit disk.; for a thorough study of these see [\textit{R. Nakki} and \textit{J. Vaisälä}: Exp. Math. 9, 3-43 (1991; Zbl 0757.30028)]. This paper also contains new information on John disks. For example, if \(F\) is a non- degenerate continuum in \(\overline\mathbb{C}\), then \(F\) is of \(c\)-bounded turning if and only if each component of \(\overline\mathbb{C}\backslash F\) is a \(c\)-John disk. Hyperbolic and quasihyperbolic geodesic in John disks are studied in detail. The main result: If \(D\) and \(D'\) are bounded John disks and if \(f:\partial D\to\partial D'\) is an \(\eta\)-quasisymmetric homeomorphism with a homeomorphic extension to \(D\), then \(f\) extends to a quasiconformal homeomorphism of \(\mathbb{C}\) which is \(\eta_ 1\)- quasisymmetric in \(D\). For the theory of quasiconformal mappings see [\textit{P. Tukia} and \textit{J. Vaisälä}: Ann. Acad. Sci. Fenn., Ser. A I 5, 97-114 (1980; Zbl 0443.54011)]. The proof employs the inner metrics of \(D\) and \(D'\) and the Beurling-Ahlfors construction.