4
$\begingroup$

Consider a linear operator $A\colon L^2[0,1]\rightarrow L^2[0,1]$ that acts as follows: $$Af(t) = \int_0^{t^2} f(s)ds$$

The problem is to compute its spectrum.

I know that the operator is compact (it is an integral operator with kernel $K(t,s)=\mathbb I\{s\leq t^2\}$), so its spectrum consists of 0 and eigenvalues.

Writing an equation for its eigenvalue $\lambda$, I got $$ \begin{cases} 2t\; f(t^2) = \lambda f'(t) \\ f(0) = 0 \end{cases} $$

I have no idea how to deal with this system or what I can do else.

Thank you for help.

$\endgroup$

1 Answer 1

3
$\begingroup$

Assuming: $$ A(f)(t)=\int_{0}^{t^2}f(s)\,ds = \int_{0}^{t}2u\, f(u^2)\,du=\lambda\cdot f(t) \tag{1}$$ we may look for first for analytic solutions in a neighbourhood of zero. If $$ f(z) = \sum_{n\geq 1} a_n\, z^{2n}\tag{2}$$ then: $$ A(f)(z) = \sum_{n\geq 1} \frac{a_n}{n+1} z^{2n+2} = \sum_{n\geq 2}\frac{a_{n-1}}{n} z^{2n} \tag{3}$$ so the only analytic eigenfunction is the null function. On the other hand, we may also assume $$ f(z) = \sum_{n\geq 0}c_n\cos(2\pi n z),\quad \sum_{n\geq 0}c_n=0 \tag{4}$$ since $(1)$ implies that $f$ is an even function in $L^2([0,1])$. $(4)$ implies: $$ f(z) = 2\sum_{n\geq 1}d_n \sin^2(\pi n z) \tag{5}$$ and we have: $$ A\left(\sin^2(\pi n z)\right) = \frac{2n\pi z^2-\sin(2n\pi z^2)}{4n\pi}\tag{6}$$ so we may get recursive formulas for the coefficients $d_n$ by integrating $(5)$ and $(6)$ against $z,z^3,z^5,\ldots$ on $[0,1]$. The spectrum of $A$ is bounded since the operator $A$ contracts the $L^2$ norm.

$\endgroup$
2
  • $\begingroup$ What does "$f$ is an even function in $L^2([0,1])$" mean? $\endgroup$ Commented Apr 27, 2015 at 18:30
  • $\begingroup$ @quartermind: a square-integrable function and an even function. $\endgroup$ Commented Apr 27, 2015 at 18:50

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .