Estimates in corona theorems for some subalgebras of \(H^{\infty}\) (Q942033)

Let \(H^\infty\) be the uniform algebra of bounded holomorphic functions in the open unit disk \(\mathbb D\) and let \(A(\mathbb D)\) be the disk algebra, that is, the uniform closure of the polynomials in \(\mathbb D\). For an open set \(S\subseteq\mathbb T\), let \(A_S\) be the set of all functions, \(f\), holomorphic in \(\mathbb D\) (denoted by \(H(\mathbb D)\)) such that \(f\) is bounded and extends continuously to \(S\). The authors consider the following algebras of smooth functions: \[ \begin{aligned}\partial^{-n}H^\infty &=\{f\in H(\mathbb D): f, f ',\dots, f^{(n)}\in H^\infty\},\\ \partial A^{-n}&=\{f\in H(\mathbb D): f, f ',\dots, f^{(n)}\in A(\mathbb D)\} \text{as well as the algebras} \partial^{-n}A_S&=\{f\in H(\mathbb D): f, f ',\dots, f^{(n)}\in A_S\}. \end{aligned} \] A short argument is presented that the maximal ideal space of these algebras is \(\overline{\mathbb D}\). The major new result, though, is to solve Bezout equations and its infinite-dimensional siblings with bounds. It reads as follows: Let \(A\) be one of the three algebras above. There exists a constant \(C(\delta, n)\) such that, for any \(f=(f_1,f_2,\dots)\in A(\ell^2)\) satisfying \(0<\delta\leq \boldsymbol| f(z)\boldsymbol|_{\ell^2}\) for all \(z\in \mathbb D\) and \(\|f\|_{A(\ell^2)}\leq 1\), there exists \(g=(g_1,g_2,\dots)\in A(\ell^2)\) so that \[ \text{\((g\cdot f) (z):=\sum_{k=1}^\infty g_k(z)f_k(z)=1\) for all \(z\in \mathbb D\)} \] and \(\|g\|_{A(\ell^2)}\leq C(\delta, n)\). It is also shown that the best constants \[ C(A_n,\delta):=\sup_f \inf\{\|g\|_{A_n(\ell^2)}: g\cdot f=1\} \] (where the supremum is taken over all \(f\in A_n(\ell^2)\) with \(\|f\|_{A_n(\ell^2)}\leq 1\) and \(\boldsymbol| f(z)\boldsymbol|_{\ell^2}\geq \delta>0\)) coincide for \(A_n= \partial^{-n}H^\infty, \partial A^{-n}\) and \( \partial^{-n}A_S\).