エルミート多項式

エルミート多項式（-たこうしき、英: Hermite polynomial）は、常微分方程式

[math]\left( \frac{d^2}{dx^2}-2x\frac{d}{dx}+2n\right) H_n(x)=0[/math]

を満たす多項式[math]H_n(x)[/math]のことを言う。 またこの微分方程式はスツルム＝リウヴィル型微分方程式の一つである。

エルミート多項式は重み関数を[math]e^{-x^2}[/math]として、次の直交性を持つ。

[math]\int^\infty_{-\infty} H_m(x) H_n(x) e^{-x^2} dx = \sqrt{\pi} 2^n n! \delta_{m,n}[/math]

ロドリゲスの公式を用いれば、

[math]H_n(x)=(-1)^ne^{x^2}\frac{d^n}{dx^n}e^{-x^2}[/math]

と表記できる。 これにより、エルミート多項式は以下の漸化式を満たすことがわかる。

[math]\begin{align} H_{n+1}(x) &= 2xH_n(x)-2nH_{n-1}(x) \\ H'_n(x) &= 2nH_{n-1}(x) \\ H'_n(x) &= 2xH_n(x)-H_{n+1}(x) \end{align}[/math]

母関数は

[math]S(x,y)=e^{-y^2+2xy}=\sum^\infty_{n=0}H_n(x)\frac{y^n}{n!}[/math]

である 。

陽に表せば

[math]H_n(x) = n! \sum_{m=0}^{\lfloor n / 2 \rfloor} \frac{(-1)^m}{m!(n-2m)!} (2x)^{n-2m}[/math]

である。ここで[math]\lfloor \cdot \rfloor[/math]は床関数である。 最初の幾つかを挙げると、

[math]\begin{align} H_0(x) &= 1 \\ H_1(x) &= 2x \\ H_2(x) &= 4x^2 - 2 \\ H_3(x) &= 8x^3 - 12x \\ H_4(x) &= 16x^4 - 48x^2 + 12 \\ H_5(x) &= 32x^5 - 160x^3 + 120x \end{align}[/math]

エルミート多項式は量子化された調和振動子の波動関数の一部としてその姿を現す。 また、正規関数のフーリエ共役関数が正規関数であることを示す。

関連項目

• シャルル・エルミート
• スツルム＝リウヴィル型微分方程式
• 特殊関数