John disks are local bilipschitz images of quasidisks (Q2518201)

The main result is: Theorem 1. A bounded, simply connected domain \(D\) in \(\mathbb R^2\) is a \(c\)-John disk if and only if there exists a \(K\)-quasidisk \(\Omega\) and an \(L\)-bilipschitz homeomorphism \(F:(\Omega,\lambda_{\Omega})\rightarrow(D,\lambda_{D})\). Let \(\lambda_{\Omega}\) and \(\lambda_{D}\) be the internal distances in the domains \(\Omega\) and \(D\), respectively. In addition to Theorem 1, the following is proved: Theorem 2. Let \(D\subset\mathbb R^2\) be a \(c\)-John disk. Let \(d\) be a metric in \(D\) such that \(d\) is locally Euclidean and \(d(z,w)\geqslant |z-w|\). If \(d\) is quasisymmetrically equivalent to \(\lambda_{D}\), then \(d\) is equivalent to \(\lambda_{D}\). There are the following corollaries of Theorem 1: Corollary 1. A bounded, simply connected domain \(D\subset\mathbb R^2\) is a \(c\)-John disk if and only if there exist \(S\in\mathcal S\) and a bilipschitz map \(F:(\Omega,\lambda_{\Omega})\rightarrow(D,\lambda_{D})\), where \(\Omega \) is the bounded component of \(\mathbb R^2\diagdown S\) (\(\mathcal S\) denotes the Rohde class of snowflake-like curves). Corollary 2. Let \(D\subset\mathbb R^2\) be a bounded Jordan \(c\)-John domain. Suppose that \(f:(\partial D,\lambda_{D})\rightarrow(\partial D',\lambda_{D'})\) is an \(L\)-bilipschitz map, where \(D'\) is a bounded Jordan domain. Then \(f\) has an extension \(\tilde f:(\bar D,\lambda_{D})\rightarrow(\bar {D'},\lambda_{D'})\), which is also bilipschitz. Corollary 3. A bounded, simply connected Jordan domain \(D\) in \(\mathbb R^2\) is a \(c\)-John disk if and only if there are constants \(b\) and \(d\) such that \(h_{D}(z_1,z_2)\leqslant ba'_{D}(z_1,z_2)+d\) for all \(z_1,z_2\in\;D\).