エルミート多項式

エルミート多項式

エルミート多項式（Hermite polynomial）は、特定の常微分方程式を解く多項式であり、量子力学や確率論などさまざまな分野で重要な役割を果たしています。

定義と性質

エルミート多項式は、次のような微分方程式を満たします。

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

この多項式は、スツルム＝リウヴィル型微分方程式の一種で、特に重み関数 $e^{-x^{2}}$ に対して直交性を持ちます。すなわち、次の条件が成り立ちます。

$$\int_{-\infty}^{\infty} H_{m}(x)H_{n}(x)e^{-x^{2}}dx = \sqrt{\pi} 2^{n} n! \delta_{m,n}$$

ここで、$\delta_{m,n}$ はクロネッカーのデルタ関数であり、$m$ と $n$ が等しい場合は1、それ以外の場合は0となります。

ロドリゲスの公式

エルミート多項式はロドリゲスの公式を利用して次のように表されます。

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

この公式から、エルミート多項式がどのような構造を持つかを知ることができます。特に、これを用いることでエルミート多項式の漸化式を導出できます。

漸化式

エルミート多項式は以下の漸化式を満たします。

$$\begin{aligned}
H_{n+1}(x) &= 2xH_{n}(x) - 2nH_{n-1}(x)\\
\frac{d}{dx}H_{n}(x) &= 2nH_{n-1}(x)\\
\frac{d}{dx}H_{n}(x) &= 2xH_{n}(x) - H_{n+1}(x)\end{aligned}$$

このように、エルミート多項式は深い数学的性質を持つことがわかります。

母関数と周回積分

エルミート多項式は、母関数とも関係が深いです。その母関数は次のとおりです。

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

また、周回積分を用いると次のように表すこともできます。

$$H_{n}(x) = \oint_{C} dz~\frac{\exp(-z^{2} + 2xz)}{z^{n+1}}$$

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

エルミート多項式の具体例

最初のいくつかのエルミート多項式は次のように計算されます。
$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$

これらの多項式は、様々な物理や数学の問題に応用されます。

応用

エルミート多項式は量子化された調和振動子の波動関数の一部で、特に重要です。これらの波動関数の特性は、エルミート多項式の性質に強く依存しています。また、フーリエの変換においても重要な役割を果たすことが確認されています。

このように、エルミート多項式は数学のみならず物理学や統計学においても非常に重要な役割を持つ数多くの応用を有する特別な関数です。

もう一度検索