Hermite-polynoom

De eerste zes hermite-polynomen

In de wiskunde zijn de hermite-polynomen, genoemd naar Charles Hermite, de polynomen die de oplossing vormen van de differentiaalvergelijking van Hermite.

Differentiaalvergelijking

De differentiaalvergelijking van Hermite is:

H n ( x ) x H n ( x ) + n H n ( x ) = 0 {\displaystyle H_{n}''(x)-xH_{n}'(x)+nH_{n}(x)=0} .

Daarin is n {\displaystyle n} de orde van de vergelijking, een natuurlijk getal.

Deze differentiaalvergelijking vindt toepassing in de kansrekening.

Er is ook een alternatieve vorm, die meer gebruikelijk is in de natuurkunde. Deze vorm zal hieronder apart worden besproken.

De bijbehorende hermite-polynomen zijn gedefinieerd door:

H n ( x ) = ( 1 ) n e x 2 / 2 d n d x n e x 2 / 2 {\displaystyle H_{n}(x)=(-1)^{n}e^{x^{2}/2}{\frac {{\rm {d}}^{n}}{{\rm {d}}x^{n}}}e^{-x^{2}/2}}

De hermite-polynomen kunnen worden gezien als een bijzonder geval van de laguerre-polynomen.

Recursie

De hermite-polynomen staan in de volgende recursieve relatie:

H n + 1 ( x ) = x H n ( x ) n H n 1 ( x ) {\displaystyle H_{n+1}(x)=xH_{n}(x)-nH_{n-1}(x)} ,

Zij voldoen ook aan:

H n ( x ) = n H n 1 ( x ) {\displaystyle H_{n}'(x)=nH_{n-1}(x)} ,

Orthogonaliteit

De hermite-polynomen vormen een orthogonaal stelsel met betrekking tot het inproduct:

f , g = f ( x ) g ( x ) ¯ e x 2 / 2 d x {\displaystyle \langle f,g\rangle =\int _{-\infty }^{\infty }f(x){\overline {g(x)}}\,e^{-x^{2}/2}\,{\rm {d}}x} ,

dus met gewichtsfunctie:

e x 2 / 2 {\displaystyle e^{-x^{2}/2}} ,

op een factor na de kansdichtheid van de standaardnormale verdeling.

Er geldt:

H n ( x ) H m ( x ) e x 2 / 2 d x = n ! 2 π   δ n m {\displaystyle \int _{-\infty }^{\infty }H_{n}(x)H_{m}(x)\,e^{-x^{2}/2}\,{\rm {d}}x=n!{\sqrt {2\pi }}~\delta _{nm}}

waarin δ n m {\displaystyle \delta _{nm}} de kronecker-delta is, dus gelijk aan 1 als n = m {\displaystyle n=m} en anders 0.

Alternatieve vorm

De alternatieve vorm van de differentiaalvergelijking van Hermite is:

H n ( x ) 2 x H n ( x ) + 2 n H n ( x ) = 0 {\displaystyle H_{n}''(x)-2xH_{n}'(x)+2nH_{n}(x)=0} .

De bijbehorende hermite-polynomen zijn gedefinieerd door:

H n ( x ) = ( 1 ) n e x 2 d n d x n e x 2 {\displaystyle H_{n}(x)=(-1)^{n}e^{x^{2}}{\frac {{\rm {d}}^{n}}{{\rm {d}}x^{n}}}e^{-x^{2}}}

Deze tweede definitie is niet geheel equivalent met de eerste.

De eerste 6 hermite-polynomen zijn:

H 0 ( x ) = 1 {\displaystyle H_{0}(x)=1}
H 1 ( x ) = 2 x {\displaystyle H_{1}(x)=2x}
H 2 ( x ) = 4 x 2 2 {\displaystyle H_{2}(x)=4x^{2}-2}
H 3 ( x ) = 8 x 3 12 x {\displaystyle H_{3}(x)=8x^{3}-12x}
H 4 ( x ) = 16 x 4 48 x 2 + 12 {\displaystyle H_{4}(x)=16x^{4}-48x^{2}+12}
H 5 ( x ) = 32 x 5 160 x 3 + 120 x {\displaystyle H_{5}(x)=32x^{5}-160x^{3}+120x}

Recursie

De hermite-polynomen staan in de volgende recursieve relatie:

H n + 1 ( x ) = 2 x H n ( x ) 2 n H n 1 ( x ) . {\displaystyle H_{n+1}(x)=2xH_{n}(x)-2nH_{n-1}(x).}

Zij voldoen ook aan:

H n ( x ) = 2 n H n 1 ( x ) , {\displaystyle H_{n}'(x)=2nH_{n-1}(x),}

Orthogonaliteit

De hermite-polynomen vormen een orthogonaal stelsel met betrekking tot het inproduct:

f , g = f ( x ) g ( x ) ¯ e x 2 d x {\displaystyle \langle f,g\rangle =\int _{-\infty }^{\infty }f(x){\overline {g(x)}}\,e^{-x^{2}}\,{\rm {d}}x} ,

dus met gewichtsfunctie:

e x 2 {\displaystyle e^{-x^{2}}} .

Er geldt:

H n ( x ) H m ( x ) e x 2 d x = n ! 2 n π   δ n m {\displaystyle \int _{-\infty }^{\infty }H_{n}(x)H_{m}(x)\,e^{-x^{2}}\,{\rm {d}}x={n!2^{n}}{\sqrt {\pi }}~\delta _{nm}}