I'm trying to solve the following exercise:

Let $f\in\mathcal{C}([0,1])$ and let $T$ an operator such that $Tf(x)=\int_0^1(x-t)f(t)dt$. I have proved that $T$ is a bounded linear operator and, by means of Ascoli-Arzelà theorem, that it is a compact operator.

Now I need to find its kernel, its rank (showing a basis) and its spectrum. I'm quite stucked, without an idea which could make me start.

Thank you for any suggestion!

  • $\begingroup$ Hint: $Tf(x)=\left (\int_0^1 f(t) dt \right ) x + \left ( \int_0^1 -tf(t) dt \right )$. $\endgroup$ – Chris Eagle Sep 12 '11 at 12:39
  • $\begingroup$ Uh! :) Now it's much clearer as far as the rank and the spectrum are concerned. I don't have a complete result about the kernel, though. I found some functions in the kernel (1-periodic trigonometric functions), but I can't determine them all. A hint which does not employ Fourier series? Thank you!! $\endgroup$ – user15934 Sep 12 '11 at 14:54
  • $\begingroup$ The kernel of T is the intersection of the kernel of those two linear functionals, $\int_0^1f$ and $\int_0^1 t f$. I doubt there's a much better description than that. You certainly aren't going to get an explicit general description of the functions in a codimension 2 subspace of $C[0,1]$. $\endgroup$ – Chris Eagle Sep 12 '11 at 15:02

As Chris Eagle said, $\ker T=\ker L_1\cap \ker L_2$, where $L_1$ and $L_2$ are two linear continuous functionals on $\mathcal C([0,1])$ defined by $L_1(f)=\int_0^1f(t)dt$ and $L_2(f)=\int_0^1tf(t)dt$. We have $$\operatorname{rank}(T)=\left\{x\mapsto ax+b,a,b\in\mathbb C\right\}.$$ Indeed, the formula $T(f)(x)=x\int_0^1f(t)dt-\int_0^1tf(t)dt$ show that each element of the range should have this form. Since $T(2)(x)=2x-1$ and $T(6X)(x)=3x-2$, we can get all these functions.

For the spectrum, take $\lambda\neq 0$. An eigenvector should have the form $f(t)=at+b$ with $a,b\in\mathbb C$. We get the system $$\left\{\begin{array}{cc} \left(\lambda-\frac 12\right)a-b&=0\\\ \frac a3+\left(\lambda+\frac 12\right)b&=0, \end{array} \right. $$ which have a non-trivial solution if and only if $\lambda^2-\frac 14+\frac 13=0$ i.e. $\lambda^2+\frac 1{12}=0$, so $\lambda=\pm\frac i{2\sqrt 3}$. We can check that for these $\lambda$, we have indeed an eigenvector, namely $f(x)=2\sqrt 3x-\sqrt 3\pm i$ for example. Since $T$ is compact in a infinite dimensional vector space, the spectrum is $\{0\}\cup \{\mbox{eigenvalues}\}$, so $\sigma(T)=\left\{0,\frac i{2\sqrt 3},-\frac i{2\sqrt 3}\right\}$.

  • $\begingroup$ Sorry for necroposting, how did you get the system in $\lambda$ ? $\endgroup$ – VoB Jan 31 at 11:08

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.