Skip to main content
1 of 3

Hilbert-Schmidt Integral Operator with Missing Eigenfunctions

I'm having some issues with the spectral decomposition of the integral operator \begin{equation} (Af)(x)=\int_0^1|x-y|f(y)dy,\text{ with $f\in L^2[0,1]$}. \end{equation} Since \begin{equation} \int_0^1\int_0^1|x-y|^2\,dx\,dy<\infty \text{ and } |x-y|=|y-x|, \end{equation} this is a self-adjoint Hilbert-Schmidt integral operator. Therefore the spectral theorem for compact self-adjoint operators guarantees the existence of an orthonormal basis of $L^2[0,1]$ of eigenfunctions of $A$. Since $Af$ is Lipshitz, if $Af=\lambda f$ with $\lambda\ne0$, $f$ must be twice continuously differentiable, and satisfy the o.d.e. \begin{align} f''(x)=\frac{2}{\lambda}\,f(x). \end{align} It follows that the only eigenfunctions associated with a strictly negative eigenvector are of the form $f(x)=\cos((2n+1)\pi x)$, with $n\ge0$ an integer (the associated eigenvalue is $\lambda=\frac{-2}{\pi^2n^2}$.) There are, however, no eigenfunctions associated with a $\lambda>0$. Furthermore we are able to prove there are no eigenfunctions associated with $\lambda=0$. So, since $f(x)=1$ is orthogonal to the eigenfunctions $\cos((2n+1)\pi x)$, with $n\ge0$, these are an incomplete base for $L^2[0,1]$. (Treating $A$ as a convolution and using a Fourier series decomposition yields the same form of eigenfunctions.)

I have two issues: (1) finite approximations of this operator imply a (single) positive eigenvalue (with the largest modulus out of all eigenvalues)---although $A$ doesn't have positive eigenvalues; and finally (2) the finite approximations also imply eigenfunctions that do not correspond to any of the functions $\cos((2n+1)\pi x)$, with $n\ge0$.