In mathematics, a symmetrizable compact operator is a compact operator on a Hilbert space that can be composed with a positive operator with trivial kernel to produce a self-adjoint operator. Such operators arose naturally in the work on integral operators of Hilbert, Korn, Lichtenstein and Marty required to solve elliptic boundary value problems on bounded domains in Euclidean space. Between the late 1940s and early 1960s the techniques, previously developed as part of classical potential theory, were abstracted within operator theory by various mathematicians, including M. G. Krein, William T. Reid, Peter Lax and Jean Dieudonné. Fredholm theory already implies that any element of the spectrum is an eigenvalue. The main results assert that the spectral theory of these operators is similar to that of compact self-adjoint operators: any spectral value is real; they form a sequence tending to zero; any generalized eigenvector is an eigenvector; and the eigenvectors span a dense subspace of the Hilbert space.
Discussion Let H be a Hilbert space. A compact operator K on H is symmetrizable if there is a bounded self-adjoint operator S on H such that S is positive with trivial kernel, i.e. (Sx,x) > 0 for all non-zero x, and SK is self-adjoint:
S K = K ∗ S . {\displaystyle \displaystyle {SK=K^{*}S.}}
In many applications S is also compact. The operator S defines a new inner product on H
( x , y ) S = ( S x , y ) . {\displaystyle \displaystyle {(x,y)_{S}=(Sx,y)}.}
Let HS be the Hilbert space completion of H with respect to this inner product. The operator K defines a formally self-adjoint operator on the dense subspace H of HS. As Krein (1947) and Reid (1951) noted, the operator has the same operator norm as K. In fact the self-adjointness condition implies
S K n = ( K ∗ ) n S . {\displaystyle \displaystyle {SK^{n}=(K^{*})^{n}S.}}
It follows by induction that, if (x,x)S = 1, then
‖ K x ‖ S | 2 n ≤ ‖ K 2 n x ‖ S . {\displaystyle \displaystyle {\|Kx\|_{S}|^{2^{n}}\leq \|K^{2^{n}}x\|_{S}.}}
Hence
‖ K x ‖ S ≤ lim sup n → ∞ ‖ K ‖ ( ‖ S ‖ ‖ x ‖ 2 ) 1 / 2 n = ‖ K ‖ {\displaystyle \displaystyle {\|Kx\|_{S}\leq \limsup _{n\rightarrow \infty }\|K\|(\|S\|\|x\|^{2})^{1/2^{n}}=\|K\|}}
If K is only compact, Krein gave an argument, invoking Fredholm theory, to show that K defines a compact operator on HS. A shorter argument is available if K belongs to a Schatten class. When K is a Hilbert–Schmidt operator, the argument proceeds as follows. Let R be the unique positive square root of S and for ε > 0 define
A ε = ( R + ε I ) − 1 S K ( R + ε I ) − 1 . {\displaystyle \displaystyle {A_{\varepsilon }=(R+\varepsilon I)^{-1}SK(R+\varepsilon I)^{-1}.}}
These are self-adjoint Hilbert–Schmidt operator on H which are uniformly bounded in the Hilbert–Schmidt norm:
… excerpt ends here. Continue reading the full article.
