On the corona theorem on smooth curves (Q2318055)

The paper presents the corona theorem for domains \(\Omega=\mathbb C\setminus E\), where \(E\) lies in smooth curves \(\Gamma\). Let \(f_1,\dots,f_n\) be given functions in \(H^{\infty}(\mathbb D)\), \(\mathbb D=\{z\in\mathbb C:|z|<1\}\), \(\sum_{k=1}^n|f_k(z)|\geq\delta>0\), \(\delta\leq\frac{1}{2}\). Suppose that \(\|f_k\|_{\infty}\leq1\), \(k=1,\dots,n\). Then there exist \(\{g_k\}_{k=1}^n\in H^{\infty}(\mathbb D)\) so that \(\sum_{k=1}^nf_kg_k=1\) and \(\|g_k\|_{\infty}\leq C(n,\delta)\). The functions \(\{f_k\}\) and \(\{g_k\}\) are the corona data and corona solutions, respectively, and \(\delta\) and \(n\) are the corona constants. The authors consider quasicircles which are images of \(\mathbb R\) under a global quasiconformal mapping \(\rho\), whose complex dilatation \(\mu\) with a compact support satisfies either the following Condition 1 \[ \int_0\frac{\mu^*(t)}{|t|}\log\left(\frac{1}{|t|}\right)dt<\infty,\;\;\; \mu^*(t)=\text{ess}\sup\{|\mu(z)|:0<|\text{Im}\,z|<|t|\}, \] or Condition 2 \[ \int_{\mathbb R}\frac{\sigma(y)}{|y|^{3/2}}dy<\infty,\;\;\;\sigma(y)=\left(\int_{\mathbb R}|\mu(x+iy)|^2dx\right)^{1/2}, \] and there exists \(C>0\) so that, for all \(z_0\in\mathbb C\setminus\mathbb R\), \[ |\mu(z_0)|\leq\frac{1}{\pi C^2(\text{Im}\;z_0)^2}\int_{|z-z_0|<C|\text{Im}\;z_0|}|\mu(z)|dxdy. \] Let \(F(z)=C_{\Gamma}(f)(z)\) be the Cauchy integral of \(f\) off a rectifiable curve \(\Gamma\). The authors prove the following theorem. Theorem 1. Let \(\rho\) be a global quasiconformal mapping of the complex plane, conformal at \(\infty\) and with complex dilatation \(\mu\) satisfying either Condition 1 or Condition 2. Denote \(\Gamma=\rho(\mathbb R)\). Then, given a function \(f\in L^{\infty}(\Gamma)\), \(C_{\Gamma}(f)\in L^{\infty}(\mathbb C)\) if and only if \(C_{\mathbb R}(f\circ\rho)\in L^{\infty}(\mathbb C)\). To state the main result on the corona theorem, the authors consider domains \(\Omega=\mathbb C\setminus E\) with a compact set \(E\) of positive length contained in a quasicircle \(\Gamma=\rho(\mathbb R)\), analytic at \(\infty\), and such that the complex dilatation of \(\rho\) satisfies one of conditions 1 or 2. Theorem 2. With the notation above, let \(f_1,\dots,f_n\in H^{\infty}(\Omega)\) so that \(\delta\leq\max_k|f_k(\omega)|\leq1\) for all \(\omega\in\Omega\) and some \(\delta>0\). Then there exist \(g_1,\dots,g_n\in H^{\infty}(\Omega)\) such that \(\sum_{k=1}^nf_kg_k=1\) on \(\Omega\).