# Hermite polynomials

*Chebyshev–Hermite polynomials*

Polynomials orthogonal on $ ( - \infty , \infty ) $ with the weight function $ h ( x) = e ^ {- x ^ {2} } $. The standardized Hermite polynomials are defined by the Rodrigues formula

$$ H _ {n} ( x) = ( - 1 ) ^ {n} e ^ {x ^ {2} } ( e ^ {- x ^ {2} } ) ^ {(} n) . $$

The most commonly used formulas are:

$$ H _ {n+} 1 ( x) = 2 x H _ {n} ( x) - 2 n H _ {n-} 1 ( x) , $$

$$ H _ {n} ^ \prime ( x) = 2 n H _ {n-} 1 ( x) , $$

$$ H _ {n} ( x) = \sum _ { k= } 0 ^ { [ } n/2] \frac{(- 1) ^ {k} n ! }{k ! ( n - 2 k ) ! } ( 2 x ) ^ {n-} 2k , $$

$$ \mathop{\rm exp} ( 2 x w - w ^ {2} ) = \sum _ { n= } 0 ^ \infty \frac{H _ {n} ( x) }{n!} w ^ {n} . $$

The first few Hermite polynomials are:

$$ H _ {0} ( x) = 1,\ H _ {1} ( x) = 2x,\ H _ {2} ( x) = 4 x ^ {2} - 2 , $$

$$ H _ {3} ( x) = 8 x ^ {3} - 12 x ,\ H _ {4} ( x) = 16 x ^ {4} - 48 x ^ {2} + 12 , $$

$$ H _ {5} ( x) = 32 x ^ {5} + 160 x ^ {3} + 120 x ,\dots . $$

The polynomial $ H _ {n} ( x) $ satisfies the differential equation

$$ y ^ {\prime\prime} - 2 x y ^ \prime + 2 n y = 0 . $$

The orthonormal Hermite polynomials are defined by

$$ \widehat{H} _ {n} ( x) = \frac{H _ {n} ( x) }{\sqrt {n ! 2 ^ {n} \sqrt \pi } } . $$

The Hermite polynomials with leading coefficient one have the form

$$ \widetilde{H} _ {n} ( x) = \frac{1}{2 ^ {n} } H _ {n} ( x) = \ \frac{(- 1) ^ {n} }{2 ^ {n} } e ^ {x ^ {2} } ( e ^ {- x ^ {2} } ) ^ {(} n) . $$

Fourier series in Hermite polynomials in the interior of $ ( - \infty , \infty ) $ behave analogous to trigonometric Fourier series.

In mathematical statistics and probability theory one uses the Hermite polynomials corresponding to the weight function

$$ h ( x) = \mathop{\rm exp} ( - x ^ {2} / 2 ) . $$

The definition of Hermite polynomials is encountered in P. Laplace [1]. A detailed study of them was published by P.L. Chebyshev in 1859 (see [2]). Later, these polynomials were studied by Ch. Hermite . V.A. Steklov [4] proved that the set of them is dense in the space of square-summable functions with the weight $ h ( x) = \mathop{\rm exp} ( - x ^ {2} ) $ on the whole real line.

#### References

[1] | P.S. Laplace, Mém. Cl. Sci. Math. Phys. Inst. France , 58 (1810) pp. 279–347 |

[2] | P.L. Chebyshev, , Collected works , 2 , Moscow-Leningrad (1947) pp. 335–341 (In Russian) |

[3a] | Ch. Hermite, C.R. Acad. Sci. Paris , 58 (1864) pp. 93–100 |

[3b] | Ch. Hermite, C.R. Acad. Sci. Paris , 58 (1864) pp. 266–273 |

[4] | V.A. Steklov, Izv. Akad. Nauk , 10 (1956) pp. 403–416 |

[5] | P.K. Suetin, "Classical orthogonal polynomials" , Moscow (1979) (In Russian) |

#### Comments

The result by Steklov mentioned in the last sentence of the main article goes back at least to H. Weyl (1908), cf. the references in [a3], Sect. 5.7.

One possible way to prove the Plancherel formula for the Fourier transform is by use of Hermite polynomials, cf. [a4]. Hermite polynomials occur in solutions of the heat and Schrödinger equations and in the so-called heat polynomials, cf. [a1]. A canonical orthonormal basis of the representation space for the Schrödinger representation of the Heisenberg group is given in terms of Hermite polynomials, cf. [a2].

#### References

[a1] | W. Miller jr., "Symmetry and separation of variables" , Addison-Wesley (1977) |

[a2] | W. Schempp, "Harmonic analysis on the Heisenberg nilpotent Lie group" , Longman (1986) |

[a3] | G. Szegö, "Orthogonal polynomials" , Amer. Math. Soc. (1975) |

[a4] | E.C. Titchmarsh, "Introduction to the theory of Fourier integrals" , Oxford Univ. Press (1948) |

**How to Cite This Entry:**

Hermite polynomials.

*Encyclopedia of Mathematics.*URL: http://encyclopediaofmath.org/index.php?title=Hermite_polynomials&oldid=47215