A trace formula for multiplication operators on invariant subspaces of the Bergman space (Q5943219)

Let \(A^2\) be the Bergman space of all square-integrable analytic functions on the unit disc \(\mathbb{D}\), \(I\) a subspace of \(A^2\) invariant under the operator of multiplication by~\(z\), and \(M\) the restriction to \(I\) of the operator of multiplication by a given function \(f\in H^\infty(\mathbb{D})\). The author shows that \[ \text{trace} (M^*M-MM^*) = \dim (I\ominus zI) \cdot \int_{\mathbb{D}} |f'(z)|^2 dA(z), \] where \(dA\) is the normalized Lebesgue measure on \(\mathbb{D}\). This generalizes an earlier result of the author's for \(f(z)=z\) [Q. J. Math., Oxf. II. Ser. 48, No. 192, 519-532 (1997; Zbl 0896.47003)]. On the other hand, for \(\dim(I\ominus zI)=1\) this is a particular case of the result of \textit{N. S. Feldman} [Indiana Univ. Math. J. 46, No. 3, 741-751 (1997; Zbl 0915.47017)] valid for any cyclic subnormal operator.