「エルミート多項式」の版間の差分
提供: miniwiki
ja>3a3bc51 (具体例を追加) |
細 (1版 をインポートしました) |
(相違点なし)
|
2018/8/19/ (日) 17:34時点における版
エルミート多項式(-たこうしき、英: 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]のことを言う[1][2]。 またこの微分方程式はスツルム=リウヴィル型微分方程式の一つである。
エルミート多項式は重み関数を[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]
である [3]。
陽に表せば
- [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]
エルミート多項式は量子化された調和振動子の波動関数の一部としてその姿を現す。 また、正規関数のフーリエ共役関数が正規関数であることを示す[4]。
脚注
- ↑ 伏見康治「確率論及統計論」第III章 記述的統計学 25節 Hermite多項式, Hermite函数 p.160 式(25.3) ISBN 9784874720127 http://ebsa.ism.ac.jp/ebooks/ebook/204
- ↑ 永宮健夫「微分方程式論」(河出書房応用数学講座第二巻)
- ↑ 伏見康治「確率論及統計論」第III章 記述的統計学 25節 Hermite多項式, Hermite函数 p.159 式(25.1) ISBN 9784874720127 http://ebsa.ism.ac.jp/ebooks/ebook/204
- ↑ 寺澤寛一,今井功:“定積分及Fourier級数"(河出書房応用数学講座第五巻)