Let . By self-adjointness,
Taking first shows that each eigenvalue is real: for a nonzero eigenfunction, since . Therefore
For distinct eigenvalues this proves orthogonality of Sturm-Liouville eigenfunctions:
The weight is essential: this need not be orthogonality under the unweighted integral.

Articles by others on the same topic (0)

There are currently no matching articles.