エルミート多項式

エルミート多項式（-たこうしき、テンプレート:Lang-en-short）は、常微分方程式

(\frac{d^{2}}{d x^{2}} - 2 x \frac{d}{d x} + 2 n) H_{n} (x) = 0

を満たす多項式 $H_{n} (x)$ のことを言うテンプレート:Sfn^[1]。またこの微分方程式はスツルム＝リウヴィル型微分方程式の一つである。

エルミート多項式はテンプレート:仮リンクを $e^{- x^{2}}$ として、次の直交性を持つ^[2]。

\int_{- \infty}^{\infty} H_{m} (x) H_{n} (x) e^{- x^{2}} d x = \sqrt{π} 2^{n} n! δ_{m, n}

ここで $δ_{m, n}$ はクロネッカーのデルタである（ $m = n$ のとき1, それ以外では0）。

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

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

\begin{matrix} H_{n + 1} (x) & = 2 x H_{n} (x) - 2 n H_{n - 1} (x) \\ \frac{d}{d x} H_{n} (x) & = 2 n H_{n - 1} (x) \\ \frac{d}{d x} H_{n} (x) & = 2 x H_{n} (x) - H_{n + 1} (x) \end{matrix}

S (x, y) = \exp (- y^{2} + 2 x y) = \sum_{n = 0}^{\infty} H_{n} (x) \frac{y^{n}}{n!}

H_{n} (x) = \oint_{C} d z \frac{\exp (- z^{2} + 2 x z)}{z^{n + 1}}

ここで $C$ は原点を囲む反時計回りの経路である。

陽に表せば^[5]

H_{n} (x) = n! \sum_{m = 0}^{⌊ n / 2 ⌋} \frac{(- 1)^{m}}{m! (n - 2 m)!} (2 x)^{n - 2 m}

である。ここで $⌊ \cdot ⌋$ は床関数である。最初の幾つかを挙げると、

\begin{matrix} H_{0} (x) & = 1 \\ H_{1} (x) & = 2 x \\ 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 \end{matrix}

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

脚注