No label defined (Q4802999)

The classical theorem of Frostman and Heins asserts that if \(f(z)\) is an analytic map of the unit disc \(\mathbb{D}\) into itself, then for all \(w\in\mathbb{D}\) except for a set of zero logarithmic capacity, the inner part of the function \((f(z)-w)/(1-\overline w f(z))\) is a Blaschke product. Generalizations to matrix-valued analytic functions on \(\mathbb{D}\) were given, e.g.,~by \textit{Y. P. Ginzburg} and \textit{N. A. Talyush} [Izv.~Vyssh.~Uchebn.~Zaved.,~Mat.~1984, 9--14 (1984; Zbl 0577.47017)]. In~the present paper, the author offers a generalization to operator-valued functions: if~\(X\) is an analytic function on \(\mathbb{D}\) whose values are invertible contractions on a separable Hilbert space, such that \(I-X(z)\) is nuclear for all \(z\in \mathbb{D}\), \(\frac d{dz}X^{-1}(z)\) belongs to the Hardy space \(H^1\) of nuclear-valued functions on~\(\mathbb{D}\), and \(F\) is an analytic nuclear-valued function on \(\mathbb{D}\) whose values are strict contractions and which vanishes at some \(z_0\in\mathbb{D}\), then the set of all \(z\in\mathbb{D}\) for which the inner part of the function \[ \zeta\;\longmapsto\; (I-F(z)F(z)^*)^{-1/2} (X(\zeta)-F(z)) (I-F(z)^*X(\zeta))^{-1} (I-F(z)^*F(z))^{1/2} \] is not a Blaschke product, is contained in the union of an at most countable family of rectifiable curves and has linear Hausdorff measure zero.