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.