에르미트 다항식의 재귀 관계
정리
에르미트 다항식은 다음과 같은 재귀 관계를 만족한다.
$$ \begin{align} H_{n}^{\prime}(x) &= 2nH_{n-1}(x) \\ H_{n+1}(x) &= 2xH_{n}(x)-2nH_{n-1}(x) \\ &= 2xH_{n}(x)-H_{n}^{\prime}(x) \nonumber \end{align} $$
증명
$(1)$
생성함수를 이용한 풀이
$$ \Phi (x,t) = e^{2xt-t^{2}}=\sum \limits _{n=0}^{\infty} H_{n}(x)\frac{t^{n}}{n!} $$
에르미트 다항식의 생성함수를 미분하면 다음과 같다.
$$ 2te^{2xt-t^{2}} = \sum \limits _{n=0}^{\infty}H_{n}^{\prime}(x)\frac{t^{n}}{n!} $$
그러면 좌변은 다시 생성함수의 정의에 의해,
$$ 2t\sum \limits _{n=0}^{\infty} H_{n}(x)\frac{t^{n}}{n!}=2te^{2xt-t^{2}}=\sum \limits _{n=0}^{\infty}H_{n}^{\prime}(x)\frac{t^{n}}{n!} $$
이를 정리하면 다음을 얻는다.
$$ \begin{align*} \sum \limits _{n=0}^{\infty}H_{n}^{\prime}(x)\frac{t^{n}}{n!} &= \sum \limits _{n=0}^{\infty} 2tH_{n}(x)\frac{t^{n}}{n!} \\ &= \sum \limits _{n=0}^{\infty}2(n+1)H_{n}(x)\frac{t^{n+1}}{(n+1)!} \end{align*} $$
양변의 $\dfrac{t^{n}}{n!}$항의 계수를 비교해보면 다음과 같다.
$$ H_{n}^{\prime}(x)=2nH_{n-1}(x) $$
■
미분 연산자를 이용한 풀이
$$ H_{n}(x)=(-1)^{n}e^{x^{2}}\frac{ d ^{n}}{ dx^{n} }e^{-x^{2}} $$
미분 연산자를 $D = \dfrac{d }{dx}$라고 표기하자. 에르미트 다항식을 한 번 미분하면,
$$ \begin{align*} DH_{n}(x) &= D\left[ (-1)^{n}e^{x^{2}}D^{n}e^{-x^{2}} \right] \\ &= (-1)^{n}2x e^{x^{2}}D^{n}e^{-x^{2}}+(-1)^{n}e^{x^{2}}D^{n+1}e^{-x^{2}} \\ &= (-1)^{n}2x e^{x^{2}}D^{n}e^{-x^{2}}+(-1)^{n}e^{x^{2}}D^{n}\left[ (-2x)e^{-x^{2}}\right] \end{align*} $$
여기서 두번째 항에 라이프니츠 규칙을 적용하면 $$ \begin{align*} DH_{n}(x) &= (-1)^{n}2x e^{x^{2}}D^{n}e^{-x^{2}}+(-1)^{n}e^{x^{2}}\sum \limits _{k=0}^{n}\frac{n!}{(n-k)!k!}D^{k}(-2x)D^{n-k}e^{-x^{2}} \\ &= (-1)^{n}2x e^{x^{2}}D^{n}e^{-x^{2}}+(-1)^{n}e^{x^{2}}\sum \limits _{k=0}^{1}\frac{n!}{(n-k)!k!}D^{k}(-2x)D^{n-k}e^{-x^{2}} \\ &= (-1)^{n}2x e^{x^{2}}D^{n}e^{-x^{2}}+(-1)^{n}e^{x^{2}}\left[ -2xD^{n}e^{-x^{2}}-2nD^{n-1}e^{-x^{2}} \right] \\ &= 2n(-1)^{n+1}e^{x^{2}}D^{n-1}e^{-x^{2}} \\ &= 2n(-1)^{n-1}e^{x^{2}}D^{n-1}e^{-x^{2}} \\ &=2n H_{n}(x) \end{align*} $$ 두번째 등호는 $k\ge 2$일 때 $D^{k}(-2x)=0$이기 때문에 성립한다.
■
$(2)$
$(1)$에 대한 증명과 같은 방식으로 증명한다. 생성함수를 $t$에 대해서 미분하면 다음을 얻는다.
$$ (2x-2t)\sum \limits _{n=0}^{\infty}H_{n}(x)\frac{t^{n}}{n!}=(2x-2t)e^{2xt-t^{2}}=\sum \limits _{n=0}^{\infty}H_{n}(x)\frac{t^{n-1}}{(n-1)!} $$
정리하면 아래와 같다.
$$ \sum \limits _{n=0}^{\infty}H_{n}(x)\frac{t^{n-1}}{(n-1)!}=\sum \limits _{n=0}^{\infty}\left[2xH_{n}(x)-2tH_{n}(x)\right]\frac{t^{n}}{n!} $$
양변의 $\dfrac{t^{n}}{n!}$항의 계수를 비교해보면 다음을 얻는다.
$$ H_{n+1}(x)=2xH_{n}(x)-2tH_{n}(x) $$
또한 $(1)$에 의해서 다음이 성립한다.
$$ H_{n+1}(x)=2xH_{n}(x)-H_{n}^{\prime}(x) $$
■