埃尔米特多项式 （Hermite Polynomials）简介（2）

埃尔米特多项式 （Hermite Polynomials）简介（2）

上一篇博客给出了埃尔米特多项式的来源和递推公式。这一篇主要讲讲埃尔米特多项式的性质。
埃尔米特方程可以改写为 Sturm-Liouville 型：

$$\frac{d}{dx} \left[\exp(-x^2) \frac{\partial^n y}{\partial t^n}\right]+ \lambda \exp(-x^2) y = 0$$

根据 Sturm-Liouville 本征值理论，埃尔米特多项式在区间 $(-\infty, \infty)$ 上是带权重 $\exp(-x^2)$ 正交的：

$$\int_{-\infty}^{\infty} H_m(x) H_n(x) \exp(-x^2) = \sqrt {\pi} 2^n n! \delta_{nm}$$

为此，可以定义埃尔米特函数为：

$$\psi_n(x) \frac{1}{\sqrt{\sqrt {\pi} 2^n n!}} H_n(x) \exp({-\frac{x^2}{2}})$$

那么显然有：

$$\int_{-\infty}^{\infty} \psi_m(x) \psi_n(x) \exp(-x^2) = \delta_{nm}$$

前五个埃尔米特函数如下：

$$\begin{eqnarray} \psi_0(x) &=& \frac{1}{\sqrt[4]{\pi }} \exp({-\frac{x^2}{2}}) \\ \psi_1(x) &=& \frac{\sqrt{2} x}{\sqrt[4]{\pi }} \exp({-\frac{x^2}{2}})\\ \psi_2(x) &=& \frac{2 x^2-1}{\sqrt{2} \sqrt[4]{\pi }} \exp({-\frac{x^2}{2}})\\ \psi_3(x) &=& \frac{2 x^3-3x}{\sqrt{3} \sqrt[4]{\pi }} \exp({-\frac{x^2}{2}})\\ \psi_4(x) &=& \frac{4 x^4-12 x^2+3}{2 \sqrt{6} \sqrt[4]{\pi }} \exp({-\frac{x^2}{2}}) \end{eqnarray}$$
这五个埃尔米特函数的图像如下：

可以看出埃尔米特函数在 $|x|$ 较大时衰减的很快。越往后的埃尔米特函数，非零的区域也越大。第 $n$ 个埃尔米特函数值过零点的次数是 $n$ 次。
对于任何满足：

$$\int_{-\infty}^{\infty} |f(x)|^2 dx < \infty$$

的函数 $f(x)$，都可以展开为：

$$f(x) = \sum_{n=0}^{\infty} f_n \psi_n(x)$$
其中：
$$f_n = \int_{-\infty}^{\infty} f(x) \psi_n(x) dx$$

因此我们可以用埃尔米特函数来逼近任意一个平方可积函数。
有一点需要特别注意：

$$f(x) = \sum_{n=0}^{\infty} f_n \psi_n(x)$$

这里的等号并不是通常意义的等于。这个等号的含义是：

$$\int_{-\infty}^{\infty} |f(x) - \sum_{n=0}^{\infty} f_n \psi_n(x) |^2 dx = 0$$