Corona theorem and interpolation (Q2817033)

The author proves that the sequence spaces \(\ell^p\), \(1\leq p<\infty\), satisfy the corona theorem. In other words, for each \(\delta\in (0,1)\) there exists \(C_{\ell^p}(\delta)>0\) with the following property: for any sequence \(\{f_k\}_k\) of functions in \( H^\infty(\mathbb{D})\) satisfying \(\delta\leq \|\{f_k(z)_k\}\|_{\ell^p}\leq 1\), \(z\in\mathbb{D}\), there is a sequence \(\{g_k\}_k\) in \(H^\infty(\mathbb{D})\) with NEWLINE\[NEWLINE\sum_{k} f_k(z)g_k(z)=1\quad\text{and} \quad \|\{g_k(z)\}_k\|_{\ell^{p'}}\leq C_{\ell^{p}}(\delta) \qquad(z\in\mathbb{D}),\leqno (1)NEWLINE\]NEWLINE where \(p'\) denotes the conjugate exponent of \(p\) and \(\mathbb{D}\) is the unit disk in \(\mathbb{C}\).NEWLINENEWLINENote that for \(p=2\) the above result is a well-known extension of the classical corona theorem. An immediate consequence of the case \(p=1\) is that if \(p=2\), then (1) can be replaced by NEWLINE\[NEWLINE \sum_{k} f_k(z)g_k(z)=1\quad\text{and} \quad |g_k(z)|\leq C_{\ell^1}(\delta^2)|f_k(z)| \qquad(z\in\mathbb{D}). NEWLINE\]NEWLINENEWLINENEWLINEIn addition, the author shows that some more general Banach lattices also satisfy the corona theorem.