Almost positive kernels on compact Riemannian manifolds

Abstract

We show how to build a kernel \[ K_X(x,y)=\sum_{m=0}^Xh(λ_m/{λ_X})φ_m(x)\overline{φ_m(y)} \] on a compact Riemannian manifold $M$, which is positive up to a negligible error and such that $K_X(x,x)\approx X$. Here $0={\lambda }_0^2\le {\lambda }_1^2\le \dots$ are the eigenvalues of the Laplace-Beltrami operator on $M$, listed with repetitions, and ${\phi }_0,{\phi }_1,\dots$ an associated system of eigenfunctions, forming an orthonormal basis of $L^2(M)$. The function $h$ is smooth up to a certain minimal degree, even, compactly supported in $[-1,1]$ with $h(0)=1$, and $K_X(x,y)$ turns out to be an approximation to the identity.

17 pages