logo

エルミート関数が満たす微分方程式の演算子解法 📂数理物理学

エルミート関数が満たす微分方程式の演算子解法

定理

与えられた微分方程式

ynx2yn=(2n+1)yn,n=0,1,2,(1) y_{n}^{\prime \prime}-x^{2}y_{n}=-(2n+1)y_{n},\quad n=0,1,2,\cdots \tag{1} \label{eq1}

(1)(1)の解は以下の通りであり、エルミート関数と呼ばれる。

yn=(Dx)nex22=ex22Dnxx2 \begin{align*} y_{n} &= \left( D-x \right)^{n} e^{-\frac{x^{2}}{2}} \\ &= e^{\frac{x^{2}}{2}} D^{n} x^{-x^{2}} \end{align*}

ここで、DD微分演算子 D=ddxD=\frac{ d }{ dx }である。

説明

yny_{n}の最初の式は、微分方程式を解いて直接得ることができる。二番目の式が最初の式と同じであることは、数学的帰納法によって証明できる。

証明

微分演算子の性質 (e)(e), (f)(f)により、与えられた微分方程式を以下のように表すことができる。

(Dx)(D+x)yn=2nyn(D+x)(Dx)yn=2(n+1)yn \begin{align} (D-x)(D+x)y_{n} &= -2ny_{n} \\ (D+x)(D-x)y_{n} &=-2(n+1)y_{n} \end{align}

(2)(2)nnの代わりにn1n-1を代入して両辺に(Dx)(D-x)を適用すると、以下を得る。

(Dx)(D+x)(Dx)yn1=2n(Dx)yn1 \begin{equation} (D-x)(D+x)(D-x)y_{n-1} = -2n(D-x)y_{n-1} \end{equation}

(1)(1)nnの代わりにn+1n+1を代入して両辺に(D+x)(D+x)を適用すると、以下のようになる。

(D+x)(Dx)(D+x)yn+1=2(n+1)(D+x)yn+1 \begin{equation} (D+x)(D-x)(D+x)y_{n+1} = -2(n+1)(D+x)y_{n+1} \end{equation}

ここで、yny_{n}は以下の式を満たすとする。

(Dx)yn1=yn(D+x)yn+1=yn \begin{align*} (D-x)y_{n-1} &= y_{n} \\ (D+x)y_{n+1} &= y_{n} \end{align*}

すると、(3)=(1)(3)=(1)であり、したがって(4)=(2)(4)=(2)となるので、yny_{n}はやはり微分方程式を満たす。したがって、このような性質を持つyny_{n}を見つけよう1

(Dx)(D-x)yn1y_{n-1}yny_{n}に変えるので、昇格演算子としよう。逆に(D+x)(D+x)yn+1y_{n+1}yny_{n}に変えるので、降格演算子としよう。これで(3)(3), (4)(4)を満たすy0y_{0}を見つければ、昇格演算子を通じて微分方程式の解yny_{n}を表現できるようになる。y0y_{0}は基底状態なので、降格演算子を適用した時00となる。これは物理的な条件である2。したがって、以下の式を得る。

(D+x)y0=0 (D+x)y_{0}=0

この方程式は単純な分離可能な微分方程式である。 dy0dx=xy0    1y0dy0=xdx    lny0=x22    y0=ex22 \begin{align*} && \frac{ d y_{0}}{ d x } &=-xy_{0} \\ \implies && \frac{1}{y_{0}}dy_{0} &=-xdx \\ \implies && \ln y_{0} &= -\frac{x^{2}}{2} \\ \implies && y_{0} &=e^{-\frac{x^{2}}{2}} \end{align*}

したがって、yny_{n}は以下の通りである。

yn=(Dx)ny0=(Dx)nex22 y_{n}=(D-x)^{n}y_{0}=(D-x)^{n}e^{-\frac{x^{2}}{2}}


  1. n이 양자역학에서 에너지 준위로 나타나기 때문에 이러한 아이디어로 미분 방정식을 풀려고 하는 것이다. ↩︎

  2. 양자역학에서 바닥상태에 내림 연산자를 적용하면 0이라고 둔다 ↩︎