On the analytic model of a class of hyponormal operators (Q759980)

The author considers the singular integral operator \[ (Sf)(x)=(x+ib(x))F(x)+(a(x)/2\pi)\int^{d}_{c}a(t)f(t)dt/(x-t) \] in the Hilbert space \(L^ 2[c,d]\) with inner product \((f,g)=1/\pi \int^{d}_{c}f(x)\overline{g(x)}dx,\) where a(\(\cdot)\), b(\(\cdot)\) are fixed real continuous functions on [c,d] satisfying the following conditions: \(a(c)=a(d)=0\) and a(\(\cdot)\) is positive on the interval (c,d) and the boundary L of the domain \(D=\{x+iy| x\in (c,d),\quad b(x)<y<b(x)+a(x)^ 2\}\) is an analytic curve. Let \(R={\mathbb{C}}\setminus \bar D\). The hermitian kernel \[ S(z,w)=((z-S)^{-1}a(\cdot),(w-S)^{- 1}a(\cdot)),\quad z,w\in R, \] has an analytic continuation in a neighborhood of \(\bar R.\) For any \(w\in D\), there is an eigenfunction e(\(\cdot,w)\) of \(S^*\) corresponding to \(\bar w,\) which is unique up to a constant factor. This constant factor is determined by the conditions that the hermitian kernel \(E(z,w)=(e(\cdot,w),e(\cdot,z)),\quad z,w\in D\) is analytic (in \(z\in \bar D)\) and the kernels E(\(\cdot,\cdot)\) and S(\(\cdot,\cdot)\) are mutually reciprocal; i.e., \[ 1/2\pi i\int_{L}S(z,u)E(z,v)dz=1/(\bar u-\bar v),\quad u\in R,\quad v\in D. \] Let \(H_ S\) be the Hilbert space completion of the space \({\mathcal A}(\bar D)\) of all analytic functions in \(\bar D\) with inner product \[ (f,g)_ S=(1/(2\pi)^ 2)\int_{\ell}\int_{\ell}F(z)\overline{g(w)}S(z,w)dzd\bar w, \] where \(\ell\) is a suitable curve in R around D. In particular, \((f,1)_ S=1/\pi \iint_{D}F(w)dm(w)=1/2\pi i\int_{L}{\bar \rho}F(\rho)d\rho,\) where m is Lebesgue measure in \({\mathbb{C}}\). The operator W defined by \((Wf)(w)=(f(\cdot),e(\cdot,w)),\quad w\in D\) is a unitary from \(L^ 2[c,d]\) onto \(H_ S\). The analytic model of S is the operator \(T=WSW^{-1}\) on \(H_ S\). The author shows that \[ (Tf)(z)=zf(z),\quad f\in {\mathcal A}(\bar D),\quad and\quad (T^*f)(z)=1/2\pi i\int_{L}{\bar \rho}f(\rho)d\rho /(\rho -z),\quad f\in {\mathcal A}(\bar D). \] Furthermore, the function E(\(\cdot,w)\) is the eigenfunction of \(T^*\) corresponding to the eigenvalue of \(\bar w.\)