Bochner's theorem (orthogonal polynomials)

In the theory of orthogonal polynomials, Bochner's theorem is a characterization theorem of certain families of orthogonal polynomials as polynomial solutions to Sturm–Liouville problems with polynomial coefficients.

The theorem is named after Salomon Bochner, who discovered it in 1929.