The appropriate weighted inner product and Sturm-Liouville operator are
For two functions obeying the endpoint conditions, integration by parts gives the Lagrange identity for a Sturm-Liouville operator
At , both and vanish. At , the factor tends to zero while the functions and their first derivatives remain bounded. Thus the boundary form vanishes at both ends.
This gives the regular self-adjoint differential operator realization: its singular-end condition is , together with . The bounded classical eigenfunctions satisfy exactly this no-log choice. More precisely the operator domain is the maximal differential-operator domain in the weighted space with these separated endpoint conditions; the preceding calculation verifies its self-adjoint boundary form, rather than merely the differential expression's formal symmetry.

Articles by others on the same topic (0)

There are currently no matching articles.