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.
New to topics? Read the docs here!