I am reading a paper that deals with the solution of the Sturm-Liouville problem:
$u''(t) + \rho (t) u + \lambda ^{-1}u= -f $
$ u(0)=u(1)=0$
For $\rho(t) \leq 0 $. First it is solved the problem:
$u''(t) + \rho (t) u= -f $
$u(0)=u(1)=0 \hspace{1cm}$ (1)
Picking two arbitrary linearly independent solutions $u_1,u_2, u_1(0)=0$ $u_2(1)=0$ and using Variation of constants method to obtain a particular solution $u_p$. Then, by imposing to the general solution $u=u_p +a u_1 +b u_2$ the boundary conditions of the original (1) problem, it is found the solution that the solution to (1) is written in integral form as $ \int_{0}^{1} k(t,s)f(s)ds$. So it is defined the operator $K$:
$$K:L^2([0,1]) \hspace{1cm} \longrightarrow \hspace{1cm} L^2([0,1])$$ $$ \hspace{4cm} f \hspace{1cm} \longrightarrow \hspace{1cm} u(t)= \int_{0}^{1} k(t,s)f(s)ds$$
Where u is the solution to the ODE $u'' + \rho u=f$ (With the boundary conditions $u(0)=u(1)=0$) and $k(t,s)$ is Green's Function:
$$k(t,s):=\left\{\begin{matrix} - \frac{u_2(t)u_1(s)}{W(0)}& s \leq t \\ -\frac{u_2(s)u_1(t)}{W(0)}& t\leq s \end{matrix}\right. $$
I understand the last part of the paper which uses spectral theorem for compact self-adjoint operators to solve the initial problem. But I have a few questions:
It is shown that the operator $K$ is injective, so that for a given $f \in L^2([0,1])$ there is a unique solution $u \in L^2([0,1])$. Is this necessary? Couldn't it be shown using the fact that two different $\hat{u_1}, \hat{u_2}$ lineally independent solutions yield the same Green's function as $u_1, u_2$?
Also, it is shown that if $f \in C([0,1])$ then $u \in C^2([0,1])$. This is done by derivating u in its integral form two times. Again, Is this necessary? As u verifies $u'' + \rho u=f$ then $u''$ is also continuous so that $u \in C^2([0,1])$ as long as f is continuous. Am I missing something?