Iteration of analytic normal functions of matrices (Q762437)

In this paper, the author extends the classical theorem of Wolff in function theory to operator-valued functions. The main result is the following. Theorem. Let H be a complex Hilbert space of finite-dimension and let \(f(z)=\sum^{\infty}_{n=0}B_ nz^ n,\) with \(\| f(z)\| <1\) for \(z\in \Delta =\{z:| z| <1\}\), where \(\{B_ n\}\) is a sequence of normal operators on H, commuting pairwise. Suppose \(f^{[1]}(z)=f(z),\quad f^{[n]}(z)=f(f^{[n-1]}(z))\) for \(z\in \Delta\) and \(n\leq 2\). Then there exists a normal operator A on H with \(\| A\| \leq 1\) such that the following relations hold for any linear bounded operator T, commuting with f and \(\| T\| <1\); \[ \| f^{[n]}(T)-A[d(A,T)I+A^*A]^{-1}\| \leq \| \{d(A,T)[A^*A+(d(A,\quad T)-1)I]\}^{1/2}\cdot \{d(A,T)I+A^*A\}^{- 1}\|, \] \[ \| [f^{[n]}(T)-A][I-A^*f^{[n]}(T)]^{-1}\| \leq \{((d(A,T)-1\quad)+A^*A)/d(A,T)\}^{1/2}, \] where \(n=1,2,3,..\). and \(d(A,T)=\| (I-A^*T)(I-T^*T)^{-1}(I-T^*A)\|.\) Besides, \(f(A)=A\) if \(\| A\| <1\).