[Math] The spectrum of the Volterra operator is $\{0\}$

functional-analysisoperator-theory

I'm asked to prove that the spectrum of the Volterra operator $$V(f(x))= \int_0^x f(y)dy$$ given by $$ \sigma (V)= \{ \lambda \in \mathbb{C} | V-\lambda1 \text{ is not invertible} \}$$ contains only zero.
This needs to be done by first showing that $0 \in \sigma (V)$ and then that all other complex numbers cannot belong to the spectrum.

I don't see how to prove either one of those steps so any hints would really help.

Best Answer

The kernel of $V$ is $K(x,t) = \mathsf 1_{(0,x)}(t)$ and $$ \int_{[0,1]^2} |K(x,t)|^2\ \mathsf d(x\times t) = \int_0^1\int_0^x\ \mathsf dt \ \mathsf dx = \frac 12<\infty, $$ so $V\in L^2([0,1]^2)$. It follows that $T$ is a Hilbert-Schmidt operator and therefore is compact. It follows then from the Fredholm alternative that if $\lambda\in\sigma(V)$, $\lambda\ne0$, that $\lambda$ is an eigenvalue of $V$. That is, $Vf(x)=\lambda f(x)$ for all $x\in[0,1]$. If $Vf=\lambda f$, then as $Vf\in C^0([0,1])$ (we can prove that $V$ is Hölder continuous using the Hölder inequality), we must have $f\in C^0([0,1])$. By the fundamental theorem of calculus, $Vf\in C^1([0,1])$, and so $f\in C^1([0,1])$. Differentiating both sides of the eigenvalue equation yields $f(x)= \lambda f'(x)$, and hence $f(x) = Ce^{\frac1\lambda x}$ for some $C\in\mathbb C$. Since $Vf(0) = 0$, we have $f(0)=0$, and therefore $C=0$. It follows that the spectral radius of $V$ is zero.

Related Question