# Difference between revisions of "Mercer theorem"

The bilinear series

$$\sum _ { m } \frac{\phi _ {m} ( s) \overline{ {\phi _ {m} ( t) }}\; }{ \lambda _ {m} }$$

of a Hermitian positive-definite continuous kernel $K( s, t)$ on $D \times D$( cf. Integral equation with symmetric kernel; Kernel of an integral operator), where $D$ is the closure of a bounded domain in $\mathbf R ^ {n}$, converges absolutely and uniformly in $D \times D$ to $K( s, t)$. Here the $\lambda _ {m}$ are the characteristic numbers of the kernel $K( s, t)$ and the $\phi _ {m} ( s)$ are the corresponding orthonormalized eigen functions. If a kernel $K$ satisfies the conditions of Mercer's theorem, then the integral operator $T: L _ {2} ( D) \rightarrow L _ {2} ( D)$,

$$Tf( s) = \int\limits _ { D } K( s, t) f( t) dt = \ \sum _ { m } \frac{1}{\lambda _ {m} } ( f, \phi _ {m} ) \phi _ {m}$$

is nuclear (cf. Nuclear operator) and its trace $\sum _ {m} 1/ \lambda _ {m}$ can be calculated by the formula

$$\sum _ { m } \frac{1}{\lambda _ {m} } = \ \int\limits _ { D } K( s, s) ds.$$

Mercer's theorem can be generalized to the case of a bounded discontinuous kernel.

The theorem was proved by J. Mercer .

How to Cite This Entry:
Mercer theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Mercer_theorem&oldid=11889
This article was adapted from an original article by V.B. Korotkov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article