Mercer's theorem

Mercer's theorem says that a continuous symmetric positive-semidefinite kernel on a compact domain has an orthonormal eigenfunction expansionwith nonnegative eigenvalues and absolute uniform convergence under its standard hypotheses.