Paths of inner-related functions

From MaRDI portal



Abstract: We characterize the connected components of the subset cni of Hinfty formed by the products bh, where b is Carleson-Newman Blaschke product and hinHinfty is an invertible function. We use this result to show that, except for finite Blaschke products, no inner function in the little Bloch space is in the closure of one of these components. Our main result says that every inner function can be connected with an element of cni within the set of products uh, where u is inner and h is invertible. We also study some of these issues in the context of Douglas algebras.


Let \(H^\infty\) be the space of bounded analytic functions in the unit disk \(\mathbb D\) with the sup-norm \(\|f\|_\infty=\sup_{z\in\mathbb D}|f(z)|\). Denote by \(\mathcal J^*\) (resp. \(CN^*\)) the open set in \(H^\infty\) of functions of the form \(f=uh\) (resp. \(f=bh\)), where \(h\in(H^\infty)^{-1}\) and \(u\) is an inner function (resp. \(b\) is a Calderon-Newman Blaschke product). Equivalently, \(\mathcal J^*\) is the set of functions in \(H^\infty\) the non-tangential limits of which on the unit circle are bounded away from zero, while \(CN^*\) consists of functions \(f\in H^\infty\) for which there are numbers \(0<r<1\) and \(c>0\) such that for any \(z\in\mathbb D\) the inequality NEWLINENEWLINE\[NEWLINE\sup\big\{|f(w)|: |w-z|<r(1-|z|)\big\}>cNEWLINE\]NEWLINE holds. The authors study the connected components of \(\mathcal J^*\) and \(CN^*\). In particular, it is shown that any component of \(\mathcal J^*\) intersects \(CN^*\) and, with the exception of finite Blaschke products, no inner function of the little Bloch space belongs to the closure of any such component. The main result of the paper is that every inner function can be connected with an element of \(CN^*\) within the set \(\mathcal J^*\). The proof shows that there is a universal constant \(N\) such that for any inner function \(u\) there is a polygonal path in \(\mathcal J^*\) of at most \(N\) segments that connects \(u\) with some element in \(CN^*\). The proof is constructive and makes use of a Carleson contour decomposition and a special discretization of harmonic measures. This provides a path in \(L^\infty(\partial\mathbb D)\) that can be lifted to \(\mathcal J^*\). Applications to Douglas algebras are provided.











This page was built for publication: Paths of inner-related functions

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