Consider the Sturm-Liouville problem \[ x^2(x^2u')'+\lambda u=0 \] on \(1/2\le x\le 1\) with boundary conditions \(u(1/2)=u(1)=0\).
- State without proof the main theorem on eigenfunction expansions which applies to this example.
- Use the change of variables \(w(t)=u(1/t)\) to transform the differential equation into \(d^2w/dt^2+\lambda w=0\). Then calculate the eigenvalues \(\lambda _n\) and eigenfunctions \(u_n\), by citing without proof a result for the Sturm-Liouville problem \(y''+\lambda y=0\), \(y(a)=0=y(b)\).
- Sturm oscillation theory and the Prüfer transformation are used in the general theory to produce the candidate eigenvalues and eigenfunctions. Sketch briefly how this is accomplished, without proofs.