Use the inner product on . The distinct real eigenvalues permit a full orthonormal eigenvector expansion; the two child solutions establish that expansion and apply it to the proposed quadratic form.
Let be the linearly independent eigenvectors, and form . This matrix is invertible and , where . Hence
which proves diagonalizability.
If , then are linearly independent eigenvectors of with the same eigenvalues. Explicitly, with ,
Thus matrix similarity preserves diagonalizability.
Here and on the whole real line. The quantum harmonic oscillator energy form is . Admissible trials have a square-integrable weak derivative and finite potential energy; they need not have a classical second derivative everywhere.
Write the energy form as and the weighted squared norm as . For real coefficients and appropriate homogeneous boundary conditions, the Sturm-Liouville problem is the stationary-point equation for their Rayleigh quotient .

There are unlisted articles, also show them or only show them.