Let . By self-adjointness,Taking first shows that each eigenvalue is real: for a nonzero eigenfunction, since . ThereforeFor 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
There are currently no matching articles.