2
$\begingroup$

I would like to prove that the Legendre polynomials form a complete basis on the interval [-1, 1] using functional analysis.

Here is what I came up with so far. Legendre polynomials $P_n(x)$ are solutions of the following Sturm–Liouville problem:

$-\frac{d}{dx}\left[p(x)\frac{du}{ dx}\right]+q(x)u=\lambda w(x)u$

with $p(x)=1-x^2$, $q(x)=0$, $w(x)=1$ and $\lambda=n(n+1)$. This can be written as:

$L u = \lambda u$

where

$L u = {1 \over w(x)} \left(-{d\over dx}\left[p(x){du\over dx}\right]+q(x)u \right)$

Using proper boundary conditions, it can be proven that $L$ is self-adjoint. The eigenvalues are $n(n+1)$. They are discrete. One can then easily prove that the eigenvectors ($P_n(x)$) are orthogonal.

Questions:

1) What else do I need to prove to show that the spectrum is discrete?

2) What exactly do I need to prove to show that these eigenvectors form a complete basis? What mathematical theorem/theorems can be used?

3) How would 2) change if some part of the spectrum was continuous?

  • 0
    Ah -- I forgot about the boundary condition -- so requiring the solutions to satisfy some conditions (for example being non-singular, or I can even require something stronger, like being $\pm 1$ at the endpoints), then the only allowed $\lambda$ are of the form $n(n+1)$, thus proving that the spectrum is discrete. If we allow Legendre functions, then the spectrum is continuous --- because I think that the Legendre functions can be normalized to (Dirac) delta function (using physics terminology). What about 2? – 2012-05-09

0 Answers 0