View source for Semi-normal operator

A bounded [[Linear operator|linear operator]] $T$, acting on a [[Hilbert space|Hilbert space]], with the property that its self-commutator is trace-class, i.e. $Tr|[T^*,T]|<\infty$. A semi-normal operator can equivalently be defined by a pair $(A,B)$ of self-adjoint operators (cf. [[Self-adjoint operator|Self-adjoint operator]]) with trace-class commutator (after writing $T=A+iB$). The theory of semi-normal operators is one of the few well-developed spectral theories for a class of non-self-adjoint operators. For the latter, see [[#References|[a3]]].

Most examples of semi-normal operators are obtained via the Berger–Shaw inequality: If $T$ is a hyponormal operator (i.e. $[T^*,T]\geq 0$), of finite rational cyclicity $r(T)$, then:

\begin{equation}\pi\;\text{Tr}\;[T^*,T]\leq r(T)\text{area}\;(\;\sigma\;(T)),\end{equation}

where $\sigma(T)$ is the spectrum of $T$ (cf. also [[Spectrum of an operator|Spectrum of an operator]]).

Here, the rational cyclicity $r(T)$ (also called the rational multiplicity) of an operator $T$ is defined as follows. Let $\sigma=\sigma\;(T)$ be the spectrum of $T$ and let $\text{Rat}(T)$ be the algebra of rational functions of a complex variable with poles outside $\sigma$. Then $r(T)$ is the smallest cardinal number such that there is a set of vectors $(x_i)^{r\langle T\rangle}_{i=1}$ such that the closure of the span of

\begin{equation}\{f(T)x_i:\;f\in\text{Rat}\;(\;\sigma\;(T)),1\leq i\leq r(T)\}\end{equation}

is the whole space.

If $r(T)=1$, then $T$ is said to be rationally cyclic. In particular, normal and rationally cyclic subnormal operators are semi-normal, [[#References|[a2]]]. Certain singular integral operators with Cauchy-type kernel are also semi-normal, see [[#References|[a3]]], [[#References|[a4]]], [[#References|[a6]]] and [[Singular integral|Singular integral]].

One of the most refined unitary invariants of a pure semi-normal operator $T$ is the principal function $g_T\in L_{\text{compact}}^{1}(\mathbf{C},\;d\text{area})$, which was introduced by J.D. Pincus [[#References|[a6]]]. Let $P$,$Q$ be polynomials in two complex variables, and let $J(P,Q)=\overline{\partial}(P)\partial(Q)-\overline{\partial}(Q)\partial(P)$ be the Jacobian of the pair $(P,Q)$, written in complex coordinates. The Pincus–Helton–Howe trace formula [[#References|[a4]]] characterizes $g_T$:

\begin{equation}\text{Tr}\;[P(T^*,T),Q(T^*,T)]=\frac{1}{\pi}\int_\text{C}J(P,Q)g_T\;d\;\text{area}\;.\end{equation}

Via this formula one can prove the functoriality of the principal function under the holomorphic functional calculus. An observation due to D. Voiculescu shows that $g_T$ is invariant under Hilbert–Schmidt perturbations of $T$. The entire behaviour of the principal function qualifies it as the correct two-dimensional analogue of Krein's spectral shift function, well known in the [[Perturbation theory|perturbation theory]] of self-adjoint operators, see [[#References|[a5]]]. The above trace formula can be interpreted as a generalized index theorem; this was one of the origins [[Cyclic cohomology|cyclic cohomology]].

Thanks to a deep result of T. Kato and C.R. Putnam, a pure hyponormal operator $T$ with trace-class self-commutator has absolutely continuous real and imaginary parts $A$ and $B$. Consequently, by diagonalizing $A=M_x$ on a vector-valued $L^2$-space $H$ supported on the real line, the operator $B$ becomes:

\begin{equation}(Bf)(x)=\\=\phi(x)f(x)+\frac{1}{\pi}\;\int_{\sigma\langle A\rangle}\frac{\psi(x)^*\;\psi(t)f(t)}{t-x}dt,\;f\in H\end{equation}

where $\phi$, $\psi$ are essentially bounded operator-valued functions. This singular integral model extends to all semi-normal operators; it was the source of most results in this area, by putting together methods of scattering theory (cf. also [[Scattering matrix|Scattering matrix]]) and singular integral equations, cf. [[#References|[a1]]], [[#References|[a7]]].

Several invariant-subspace results are known for semi-normal operators. For instance, S.W. Brown has shown that hyponormal operators with thick spectrum (that is, dominant spectrum in an open subset of $\mathbf{C}$) have non-trivial invariant subspaces. As an application of the theory of the principal function, C.A. Berger has proved that sufficiently high powers of hyponormal operators have invariant subspaces. For both results see [[#References|[a5]]].

One of the most studied sets of semi-normal operators is the class of operators $T$ with rank-one self-commutator: $[T^*,T]=\xi\otimes\xi$. For irreducible $T$, the determinantal function [[#References|[a6]]]:

\begin{equation}\det[(T-z)^{*-1}(T-w)(T-z)^*(T-w)^{-1}]=\\=1-\langle(T^*-\overline{z})\xi,(T^*-\overline{w})\xi\rangle,|z|,|w|\gg 0\end{equation}

is a complete unitary invariant of $T$. This function can be expressed as the exponential of a double Cauchy transform of the principal function $g_T$. A variety of applications of the above determinantal function to inverse problems of potential theory in the plane are known, [[#References|[a1]]], [[#References|[a5]]].

====References====
<table>
<TR><TD valign="top">[a1]</TD> <TD valign="top">K. Clancey, "Seminormal operators" , ''Lecture Notes Math.'' , '''742''' , Springer  (1979)</TD></TR>
<TR><TD valign="top">[a2]</TD> <TD valign="top">J.B. Conway, "Theory of subnormal operators" , ''Math. Surveys Monogr.'' , '''36''' , Amer. Math. Soc.  (1991)</TD></TR>
<TR><TD valign="top">[a3]</TD> <TD valign="top">I. Gohberg, S. Goldberg,   M.A. Kaashoeck,   "Classes of linear operators I–II" , Birkhäuser  (1990/3)</TD></TR>
<TR><TD valign="top">[a4]</TD> <TD valign="top">J.W. Helton, R. Howe, "Traces of commutators of integral operators"  ''Acta Math.'' , '''135'''  (1975)  pp. 271–305</TD></TR>
<TR><TD valign="top">[a5]</TD> <TD valign="top">M. Martin, M. Putinar, "Lectures on hyponormal operators" , Birkhäuser  (1989)</TD></TR>
<TR><TD valign="top">[a6]</TD> <TD valign="top">J.D. Pincus, "Commutators and systems of singular integral equations I"  ''Acta Math.'' , '''121'''  (1968)  pp. 219–249</TD></TR>
<TR><TD valign="top">[a7]</TD> <TD valign="top">D. Xia, "Spectral theory of hyponormal operators" , Birkhäuser  (1983)</TD></TR>
</table>