Namespaces
Variants
Actions

Hermite polynomials

From Encyclopedia of Mathematics
Revision as of 22:10, 5 June 2020 by Ulf Rehmann (talk | contribs) (tex encoded by computer)
Jump to: navigation, search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.


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=14720
This article was adapted from an original article by P.K. Suetin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article