a) Show that the function is a solution in the distribution sense of the equation
.
b) Use part (a) to write a solution of
|
We want to show for every test function .
One can compute and . Therefore, away from 0, we have , that is, a.e. and .
We now compute by an integration by parts:
A similar calculation gives
So we have shown that for all
which gives the desired result.
We guess . Then by part (a),
.
Multiply the PDE by and integrate:
.
Of course we know that is an eigenvalue of corresponding to a constant eigenfunction. But a constant function has which implies by the boundary condition. Hence is no longer an eigenvalue. This forces .
To see orthogonality of the eigenfunctions, let be two eigenfunctions corresponding to distinct eigenvalues , respectively. Then by an integration of parts,
So by the PDE,
.
Since this implies that are pairwise orthogonal in .