Estimates in corona theorems for some subalgebras of H^

DOI10.1007/S11512-007-0044-YMaRDI QIDQ942033zbMATH OpenOpenAlexFDO

Authors Amol Sasane, Sergei Treil

Publication date 3 September 2008

Published in Arkiv för Matematik (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0702754

zbMATH Keywords

algebra of bounded holomorphic functionsBezout equationsmaximal ideal space

Mathematics Subject Classification ID

Spaces of bounded analytic functions of one complex variable (30H05) Banach algebras of differentiable or analytic functions, (H^p)-spaces (46J15)

Abstract: We obtain estimates in the corona theorem for the algebra of analytic functions in the unit disc whose nth derivative is bounded, and its subalgebras defined by the boundary continuity of the nth derivative. The corona theorem for such algebras is trivial and known, but corona theorem with estimates is new and much harder to prove. As an auxiliary result of independent interest we get the continuity of the best estimate in such algebras (including the classical case of the algebra $H^{i}nfty$ of bounded analytic functions). We also show that for a fixed $n$ the best estimate is the same for all algebras we consider.

Review text

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\).

Recommendations

• Corona theorems for subalgebras of \(H^{\infty}\)
• The corona theorem in algebras of bounded analytic functions
• The ideals in the Banach algebraH ∞(D)
• scientific article; zbMATH DE number 411714
• A corona theorem for certain subalgebras of \(H^{\infty} (\mathbb{D})\)

Cites work

• A corona theorem for countably many functions
• An approximation theorem for subalgebras of H^
• Estimates in Carleson's corona theorem and finitely generated ideals in an H^ algebra
• Estimates on the Mapping Function and Its Derivatives in Conformal Mapping of Nearly Circular Regions
• Generalized Douglas algebras
• scientific article; zbMATH DE number 3942286 (Why is no real title available?)
• scientific article; zbMATH DE number 3736133 (Why is no real title available?)
• scientific article; zbMATH DE number 3357153 (Why is no real title available?)
• In search of the invisible spectrum
• Interpolations by bounded analytic functions and the corona problem
• Stable Rank of the Disc Algebra

Cited in

(17)

• On \(H^ p\)-solutions of the Bezout equation
• The problem of efficient inversions and Bezout equations
• The corona theorem and stable rank for the algebra \(\mathbb C +BH^{\infty }\)
• A corona theorem for certain subalgebras of \(H^{\infty} (\mathbb{D})\)
• scientific article; zbMATH DE number 411714 (Why is no real title available?)
• Projective freeness of algebras of real symmetric functions
• scientific article; zbMATH DE number 17925 (Why is no real title available?)
• The corona theorem in algebras of bounded analytic functions
• Stable Rank and the -Equation
• A corona theorem for certain subalgebras of \(H^\infty(\mathbb{D})\). II.
• Bounding smooth solutions of Bezout equations
• Estimations des solutions de l'équation de Bezout dans les algèbres de Beurling analytiques
• Sharp estimates of the solutions to Bézout's polynomial equation and a corona theorem
• Characterization of sets K for which \(H_K^\infty(\mathbb{D})\) is an algebra
• Generalized stable ranks for commutative Banach algebras
• Corona theorems for subalgebras of \(H^{\infty}\)
• Norm controlled inversions and a corona theorem for H^ -quotient algebras

This page was built for publication: Estimates in corona theorems for some subalgebras of \(H^{\infty}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q942033)