# Hilbert-Schmidt integral operator

A bounded linear integral operator $T$ acting from the space $L _ {2} ( X, \mu )$ into $L _ {2} ( x, \mu )$ and representable in the form

$$( Tf ) ( x) = \int\limits _ { X } K ( x, y) f ( y) \mu ( dy),\ \ f \in L _ {2} ( X, \mu ),$$

where $K ( \cdot , \cdot ) \in L _ {2} ( X \times X, \mu \times \mu )$ is the kernel of the operator (cf. Kernel of an integral operator, ).

D. Hilbert and E. Schmidt in 1907 were the first to study operators of this kind. A Hilbert–Schmidt integral operator is a completely-continuous operator . Its adjoint is also a Hilbert–Schmidt integral operator, with kernel $\overline{ {K ( y, x ) }}\;$. A Hilbert–Schmidt integral operator is a self-adjoint operator if and only if $K ( x, y) = \overline{ {K ( y, x) }}\;$ for almost-all $( x, y) \in X \times X$( with respect to $( \mu \times \mu )$). For a self-adjoint Hilbert–Schmidt integral operator and for its kernel the following expansions are valid:

$$\tag{1 } ( Tf ) ( x) = \ \sum _ { n } \lambda _ {n} ( f, \phi _ {n} ) \phi _ {n} ,\ \ f \in L _ {2} ( X, \mu ),$$

$$\tag{2 } K ( x, y) = \sum _ { n } \lambda _ {n} \phi _ {n} ( x) \phi _ {n} ( y),$$

where $\{ \phi _ {n} \}$ is the orthonormal system of eigen functions of $T$ corresponding to the eigen values $\lambda _ {n} \neq 0$. The series (1) converges with respect to the norm of $L _ {2} ( X, \mu )$, while the series (2) converges with respect to the norm of $L _ {2} ( X \times X, \mu \times \mu )$, . Under the conditions of the Mercer theorem the series (2) converges absolutely and uniformly .

If

$$\int\limits _ { X } | K ( x, y) | ^ {2} \mu ( dy) \leq C \ \ \textrm{ for } \textrm{ all } x \in X,$$

then the series (1) converges absolutely and uniformly, .

If $\mu$ is a $\sigma$- finite measure, then the linear operator

$$T: L _ {2} ( X, \mu ) \rightarrow L _ {2} ( X, \mu )$$

is a Hilbert–Schmidt integral operator if and only if there exists a function $M ( \cdot ) \in L _ {2} ( X, \mu )$ such that the inequality

$$| ( Tf ) ( x) | \leq M ( x) \| f \|$$

is valid for almost-all $x \in X$( with respect to the measure $\mu$) . Thus, the Hilbert–Schmidt integral operators form a two-sided ideal in the Banach algebra of all bounded linear operators acting from $L _ {2} ( X, \mu )$ into $L _ {2} ( X, \mu )$.

Hilbert–Schmidt integral operators play an important role in the theory of integral equations and in the theory of boundary value problems , , because the operators which appear in many problems of mathematical physics are either themselves Hilbert–Schmidt integral operators or else their iteration to a certain order is such an operator. A natural generalization of a Hilbert–Schmidt integral operator is a Hilbert–Schmidt operator.

How to Cite This Entry:
Hilbert-Schmidt integral operator. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Hilbert-Schmidt_integral_operator&oldid=47226
This article was adapted from an original article by B.M. Bredikhin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article