A trace formula on invariant subspaces of Hardy space induced by rotation-invariant Borel measure (Q2299282)

The author establishes some results for Hardy spaces and a multiplication operator \(M_I\) which is the restriction of \(M_z\) to \(I\) (an invariant subspace of \(M_z\)). Here, \(M_z:f\mapsto zf\) on the Bergman space \(L_a^2 (\Omega) \). Several applications of the results are provided. It is established that, for each \(\lambda \in \mathbb D\), the operator \(M_I-\lambda\) is bounded below on \(I\). Another result provided is as follows. Suppose that \(H^2(dw)\) has the \(B\)-property and the \(E\)-property, and \(f \in H^\infty \mathbb D\). Then \(\operatorname{tr}[f(M_I)^* , f(M_I)]=\dim (I\ominus zI)\int_{\mathbb D} |f'(z)|^2 \,dA(z)\).