No label defined (Q4242878)

A Jordan domain \(D\) in the closed \(n\)-space \(\overline{\mathbb{R}^n}\) is called a \(C\)-sphere distortion domain if for any Möbius transformation \(\varphi\), either there exist \(x_0\in\mathbb{R}^n\) and \(0< r\leq S<+\infty\), \(S/r= C\), such that \(\varphi(\partial D)\) separate the two spherical surfaces \(|x-x_0|= r\) and \(|x-x_0|= S\), or \(\infty\in\varphi(\partial D)\). In this paper, the authors prove two results: 1) A \(K\)-quasiball in \(\overline{\mathbb{R}^n}\) must be a \(C\)-sphere distortion domain, where \(C\) depends on \(n\) and \(K\) only. 2) A Jordan domain \(D\) in \(\overline{\mathbb{R}^n}\) with \(\infty\in\partial D\) is a \(C\)-sphere distortion domain if and only if there exists a constant \(b\in(2,+\infty)\) such that for any point \(w_1\) in any component of \(\overline{\mathbb{R}^n}\setminus\partial D\), there is a point \(w_2\) in the other component, for which \[ b\text{ dist}(w_1,\partial D)\geq|w_1- w_2|,\quad b\text{ dist}(w_2,\partial D)\geq|w_1- w_2|, \] where \(b= 2C(C+1)/(C- 1)>2\) in the necessary part of the theorem and \(C= b^2+ b-1> 1\) in the sufficient part.