Seek a positive weight such that the differential operator becomes . Matching the second derivative gives , while matching the first derivative requires . ConsequentlyChoosing the multiplicative constant to be one givesThis is Sturm-Liouville form with zero potential term. Multiply the equations for by , subtract, and integrate. The Lagrange identity for a Sturm-Liouville operator givesThe boundary expression vanishes because and the functions and their derivatives are finite. Since are distinct, their eigenvalues are distinct, provingThe endpoint singularities of the weight are integrable, so these weighted inner products exist.
Articles by others on the same topic
There are currently no matching articles.