No label defined (Q4948090)

Let \(L(H)\) be the space of all bounded linear operators in a Hilbert space \(H\). The author considers \(L(H)\)-valued holomorphic functions outside the unit circle satisfying the following antisymmetry condition: \(F({\bar z}^{-1})=F(z)^*\). Such a function is called definitizable if it can be transformed into a Carathéodory function by multiplying with a scalar rational function and adding a rational operator function. It is shown that the definitizable functions are precisely operator functions of the form \[ F(z)=iS+\Gamma^+(U+z)(U-z)^{-1}\Gamma, \] where \(S\) is a bounded selfadjoint operator in \(H\), \(U\) is a definitizable unitary operator in some Krein space \(K\), \(\Gamma :H\rightarrow K\) is a bounded linear operator and \(\Gamma^+\) stands for the Krein space adjoint of \(\Gamma\).