Conformal contractions and lower bounds on the density of harmonic measure (Q512839)

The author gives a sufficient condition for a simply connected domain to be the image of the unit disk \(\mathbb D=\{z:|z|<1\}\) under a non-expansive conformal map. For a convex domain \(\Omega\subset\mathbb C\) with \(C^{1,1}\)-smooth boundary, \(0\in\Omega\), \(R_O\) is the smallest radius of a disk centered at 0 and containing \(\Omega\), \(R_I\) is the largest radius of a disk centered at 0 and contained in \(\Omega\), \(R_C\) is the minimal radius of curvature of \(\Omega\). The author proves that if \(R_O\), \(R_I\) and \(R_C\) satisfy \[ (R_O-R_C)\frac{\log R_I-\log R_C}{R_I-R_C}+\frac{1}{2}\log R_C\leq0, \] then \(\Omega=f(\mathbb D)\) for some conformal map \(f\) such that \(f(0)=0\) and \(\sup|f'|\leq1\). When \(R_I=R_C\), the difference quotient is understood as \(1/R_I\). Let \(\omega_{\Omega}(\cdot,0)\) denote the harmonic measure of \(\Omega\) with respect to 0. The density of harmonic measure is the Radon-Nikodym derivative of \(\omega_{\Omega}(\cdot,0)\) with respect to arclength. The higher-dimensional version of the above sufficient condition is stated in terms of the harmonic measure. The desired property of \(\Omega\subset\mathbb R^n\), \(n>2\), is having the density of \(\omega_{\Omega}(\cdot,0)\) at least \(1/\sigma_{n-1}\), where \(\sigma_{n-1}\) is the surface area of the unit sphere. Denote \[ a^+=\max\{a,0\},\;\;\;\phi(a,b)=\frac{\log a-\log b}{a-b},\quad \phi(a,a)=\frac{1}{a}. \] Theorem 2: Let \(\Omega\subset\mathbb R^n\), \(n>2\), be a convex domain that contains 0 and has \(C^{1,1}\)-smooth boundary. If \(R_O\), \(R_I\) and \(R_C\) satisfy \[ R_CR_I^{n-2}\exp\{n(R_O-R_C-R_I/2)^+\phi(R_I/2,R_C)\}\leq\frac{2^{n-2}-1}{2^{n-1}(n-2)}, \] then the density of the harmonic measure of \(\Omega\) with respect to 0 is bounded below by \(\sigma_{n-1}^{-1}\).