양자 조화 진동자의 사다리 연산자
定義
2つの演算子$a_{+}$と$a_{-}$を次のように定義しよう。すると、$a_{\pm}$は量子調和振動子におけるハミルトニアンのはしご演算子である。
$$ \begin{align*} a_{+} &= \dfrac{1}{\sqrt{2\hbar m \omega}}(- \i P + m\omega X) \\ a_{-} &= \dfrac{1}{\sqrt{2\hbar m \omega}}(+ \i P + m\omega X) \end{align*} $$
ここで、$P$は運動量演算子、$X$は位置演算子、$\hbar$はプランク定数、$m$は粒子の質量、$\omega$は角振動数である。
説明
$a_{\pm}$は、ハミルトニアン演算子$H$の固有値$\ket{\psi}$の状態（固有値）を$\pm \hbar \omega$だけ上げる演算子である。すなわち、次が成り立つ。$H$の固有関数を$\ket{\psi}$、それに対応する固有値を$E$とすると、
$$ Ha_{\pm} \ket{\psi} = (E \pm \hbar \omega)a_{\pm} \ket{\psi} $$
または
$$ [H, a_{\pm}] \ket{\psi} = \pm \hbar \omega a_{\pm} \ket{\psi} $$
調和振動子を代数的に解くときに有用である。
性質
$$ H = \hbar\omega\left( a_{\pm}a_{\mp} \pm \dfrac{1}{2} \right) \tag{1} $$
2つのはしご演算子の交換子は以下の通りである。
$$ \begin{equation} \begin{aligned} [a_{-}, a_{+}] &= 1 \\ [a_{+}, a_{-}] &= -1 \end{aligned}\tag{2} \end{equation} $$
ハミルトニアンとの交換子は以下の通りである。つまり、$H$のはしご演算子である。
$$ \begin{equation} \begin{aligned} [H, a_{+}] = + \hbar \omega a_{+} \\ [H, a_{-}] = - \hbar \omega a_{-} \end{aligned}\tag{3} \end{equation} $$
証明
$(1)$
量子調和振動子のハミルトニアンは次の通りである。
$$ H = \dfrac{\hbar^{2}}{2m} \dfrac{d^{2}}{dx^{2}} + \dfrac{1}{2} m^{2}\omega^{2}X^{2} = \dfrac{1}{2m}P^{2} + \dfrac{1}{2} m^{2}\omega^{2}X^{2} $$
結果は単純な計算で示すことができる。
$$ \begin{align*} \hbar \omega a_{+}a_{-} &= \dfrac{\hbar \omega}{\sqrt{2\hbar m \omega}}(- \i P + m\omega X)\dfrac{\hbar \omega}{\sqrt{2\hbar m \omega}}(+ \i P + m\omega X) \\ &= \dfrac{\hbar \omega}{2\hbar m \omega}(- \i P + m\omega X)(\i P + m\omega X) \\ &= \dfrac{1}{2m}\Big[ (-\i\i)P^{2} + \i m\omega XP - \i m\omega PX + m^{2}\omega^{2}X^{2} \Big]\\ &= \dfrac{1}{2m}\Big[ P^{2} + \i m\omega(XP - PX) + m^{2}\omega^{2}X^{2} \Big]\\ &= \dfrac{1}{2m}\Big[ P^{2} + \i m\omega[X, P] + m^{2}\omega^{2}X^{2} \Big]\\ &= \dfrac{1}{2m}\Big[ P^{2} + \i m\omega \i \hbar + m^{2}\omega^{2}X^{2} \Big]\\ &= \dfrac{1}{2m}\Big[ P^{2} + m^{2}\omega^{2}X^{2} \Big] - \dfrac{\hbar\omega}{2}\\ &= H - \dfrac{\hbar\omega}{2}\\ \end{align*} $$
■
$(2)$
$(1)$によって次を得る。
$$ \begin{align*} [a_{-}, a_{+}] &= a_{-}a_{+} - a_{+}a_{-} \\ &\overset{\text{by } (1)}{=} \left( \frac{1}{\hbar\omega} H + \frac{1}{2} \right) - \left( \frac{1}{\hbar\omega} H - \frac{1}{2} \right) \\ &= 1 \end{align*} $$
交換子の性質$[A, B] = - [B, A]$によって次を得る。
$$ [a_{+}, a_{-}] = - [a_{-}, a_{+}] = -1 $$
■
$(3)$
$$ \begin{align*} [A + B, C] &= [A,C] + [B,C] \tag{3-1} \\ [AB,C] &= A[B,C] + [A,C]B \tag{3-2} \\ [A, A] &= 0 \tag{3-3} \\ \end{align*} $$
はしご演算子の定義により、$[H, a_{\pm}] = \pm\hbar\omega a_{\pm}$であることを示せばよい。
$$ \begin{align*} [H,a_{+}] &= \textstyle [\hbar\omega (a_{+}a_{-}+\frac{1}{2}) ,a_{+}] &\text{by (1)} \\ &= \textstyle [\hbar\omega a_{+}a_{-},a_{+}]+[\frac{1}{2}\hbar\omega, a_{+}] &\text{by (3-1)} \\ &= \textstyle \hbar \omega[a_{+}a_{-},a_{+}] \\ &= \hbar \omega(a_{+}[a_{-},a_{+}] + [a_{+},a_{+}]a_{-}) &\text{by (3-2)} \\ &= \hbar \omega a_{+} &\text{by (2) and (3-3)} \\ \end{align*} $$
そして
$$ \begin{align*} [H,a_{-}] &= \textstyle [\hbar\omega (a_{-}a_{+}-\frac{1}{2}) ,a_{-}] &\text{by (1)} \\ &= \textstyle [\hbar\omega a_{-}a_{+},a_{-}]-[\frac{1}{2}\hbar\omega, a_{-}] &\text{by (3-1)} \\ &= \textstyle \hbar \omega[a_{-}a_{+},a_{-}] \\ &= \hbar \omega(a_{-}[a_{+},a_{-}] + [a_{-},a_{-}]a_{+}) &\text{by (3-2)} \\ &= - \hbar \omega a_{-} &\text{by (2) and (3-3)} \\ \end{align*} $$
■