球座標系における角運動量のラダー演算子
公式
球座標系では、角運動量のはしご演算子は次のように表される。
$$ \begin{align*} L_{+} &= \hbar e^{\i\phi}\left( \dfrac{\partial }{\partial \theta} + \i\cot\theta \dfrac{\partial }{\partial \phi}\right) \\ L_{-} &= -\hbar e^{-\i\phi}\left( \dfrac{\partial }{\partial \theta} - \i\cot\theta \dfrac{\partial }{\partial \phi}\right) \\ L_{+}L_{-} &= -\hbar ^{2} \left( \frac{ \partial ^{2}}{ \partial \theta ^{2} } + \cot \theta \frac{ \partial }{ \partial \theta }+\cot ^{2}\theta \frac{ \partial ^{2}}{ \partial \phi^{2} } +\i\frac{ \partial }{ \partial \phi}\right) \end{align*} $$
導出
角運動量のはしご演算子の定義は次の通りだ。
$$ L_{+} := L_{x} + \i L_{y} \\ L_{-} := L_{x} - \i L_{y} $$
この時、$L_{x}$と$L_{y}$は球座標で次のように表される。
$$ \begin{align*} L_{x} &= \i\hbar \left(\sin\phi\dfrac{\partial }{\partial \theta} + \cos\phi \cot\theta \dfrac{\partial }{\partial \phi}\right) \\ L_{y} &= -\i\hbar \left( \cos\phi \dfrac{\partial }{\partial \theta} - \sin\phi \cot\theta \dfrac{\partial }{\partial \phi}\right) \\ \end{align*} $$
だから次のように整理できる。
$$ \begin{align*} L_{+} &= \i\hbar \left(\sin\phi\dfrac{\partial }{\partial \theta} + \cos\phi \cot\theta \dfrac{\partial }{\partial \phi}\right) + \hbar \left( \cos\phi \dfrac{\partial }{\partial \theta} - \sin\phi \cot\theta \dfrac{\partial }{\partial \phi}\right) \\ &= \hbar \left(\i\sin\phi\dfrac{\partial }{\partial \theta} + \cos\phi \dfrac{\partial }{\partial \theta} + \i\cos\phi \cot\theta \dfrac{\partial }{\partial \phi} - \sin\phi \cot\theta \dfrac{\partial }{\partial \phi}\right) \\ &= \hbar \left[ \left(\cos\phi + \i\sin\phi \right)\dfrac{\partial }{\partial \theta} + \i\cot\theta \left(\cos\phi + \i\sin\phi \cot\theta\right) \dfrac{\partial }{\partial \phi}\right] \\ &= \hbar e^{\i\phi}\left( \dfrac{\partial }{\partial \theta} + \i\cot\theta \dfrac{\partial }{\partial \phi}\right) \\ &= \hbar e^{\i\phi}\left( \partial_{\theta} + \i\cot\theta \partial_{\phi}\right) \end{align*} $$
$\partial_{x} = \dfrac{\partial }{\partial x}$として表記しよう。同じ方式で計算して次のように得られる。
$$ \begin{align*} L_{\pm} &= \pm\hbar e^{\pm\i\phi}\left( \dfrac{\partial }{\partial \theta} \pm \i\cot\theta \dfrac{\partial }{\partial \phi}\right) \\ &= \pm\hbar e^{\pm\i\phi}\left( \partial_{\theta} \pm \i\cot\theta \partial_{\phi}\right) \end{align*} $$
ここで、$L_{+}L_{-}$は上記の二つの式を掛け合わせて求めることができると思いやすいが、そうではない。微分が含まれているので、そう簡単には解けない。まず、$L_{-}\psi$から求めると次のようになる。$\psi_{x} = \dfrac{\partial \psi}{\partial x}$と表記しよう。
$$ \begin{align*} L_{-}\psi &= -\hbar e^{-\i\phi} ( \partial_{\theta} -\i\cot \theta \partial _{\phi} ) \psi \\ &= -\hbar (e^{-\i\phi} \psi _{\theta}-\i\cot\theta \psi_{\phi}) \end{align*} $$
ここに$L_{+}$を適用すると、下記の通りだ。
$$ \begin{align*} L_{+}L_{-}\psi &= \hbar e^{i\phi}\left( \partial_{\theta}+\i\cot \theta \partial_{\phi} \right)\left[ -\hbar \left(e^{-\i\phi}\psi_{\theta}-\i e^{-\i\phi}\cot\theta\psi_{\phi} \right) \right] \\ &= -\hbar^{2} e^{i\phi}\left[ \partial_{\theta}\left(e^{-\i\phi}\psi_{\theta}\right)+\partial_{\theta}\left(-\i e^{-\i\phi}\cot\theta\psi_{\phi} \right)+\i\cot \theta \partial_{\phi}\left( e^{-\i\phi} \psi_{\theta}\right)+ \i\cot\theta\partial_{\phi}\left(-\i e^{-\i\phi}\cot\theta\psi_{\phi} \right) \right] \end{align*} $$
それぞれの項を展開すると、次のようになる。
$$ \partial_{\theta}(e^{-\i\phi}\psi_{\theta}) = e^{-\i\phi}\psi_{\theta \theta } $$
$$ \partial_{\theta}\left(-\i e^{-\i\phi}\cot\theta\psi_{\phi} \right) =-\i e^{-\i\phi}\csc^{2}\theta\psi_{\phi}-\i e^{-\i\phi}\cot\theta\psi_{\phi\theta} \tag{1} $$
$$ \begin{align*} \i\cot \theta \partial_{\phi}\left( e^{-\i\phi} \psi_{\theta}\right) &= \i\cot\theta (-\i e^{-\i\phi}\psi_{\theta})+\i\cot\theta e^{-\i\phi}\psi_{\theta\phi} \\ &= \cot\theta e^{-\i\phi}\psi_{\theta}+\i\cot\theta e^{-\i\phi}\psi_{\theta\phi} \tag{2} \end{align*} $$
$$ \begin{align*} \i\cot\theta\partial_{\phi}\left(-\i e^{-\i\phi}\cot\theta\psi_{\phi} \right) &= \i\cot \theta \left( -\i(-i)e^{-\i\phi}\cot\theta\psi_{\phi} \right)+\i\cot\theta \left( -\i e^{-\i\phi}\cot\theta \psi_{\phi\phi} \right) \\ &= -\i\cot^{2} \theta e^{-\i\phi}\psi_{\phi} +\cot^{2}\theta e^{-\i\phi} \psi_{\phi\phi} \tag{3} \end{align*} $$
ここで、$(1)$の第二項と$(2)$の第二項は互いに相殺される。 また、$(1)$の第一項と$(3)$の第一項を足すと次のようになる。
$$ \begin{align*} {-}\i e^{-\i\phi}\csc^{2}\theta \psi_{\phi}-\i\cot^{2}\theta e^{-\i\phi}\psi_{\phi} &= -\i e^{-\i\phi}\left( \csc^{2}\theta + \cot^{2} \theta \right)\psi_{\phi} \\ &= -\i e^{-\i\phi}\left( \frac{1}{\sin^{2}\theta}+\frac{\cos ^{2} \theta }{\sin ^{2}\theta} \right)\psi_{\phi} \\ &= -\i e^{-\i\phi}\left( \frac{-\sin ^{2}\theta}{\sin^{2}\theta} \right)\psi_{\phi} \\ &= \i e^{-\i\phi}\psi_{\phi} \end{align*} $$
上記の結果を元の式に代入すると、次を得られる。
$$ \begin{align*} L_{+}L_{-}\psi &= -\hbar^{2} e^{\i\phi}\left[ e^{-\i\phi}\psi_{\theta \theta } + \cot\theta e^{-\i\phi}\psi_{\theta} +\cot^{2}\theta e^{-\i\phi}\psi_{\phi\phi} + \i e^{-\i\phi }\psi_{\phi} \right] \\ &= -\hbar^{2}\left( \frac{ \partial ^{2}}{ \partial \theta ^{2} } + \cot \theta \frac{ \partial }{ \partial \theta }+\cot ^{2}\theta \frac{ \partial ^{2}}{ \partial \phi^{2}} + \i\frac{ \partial }{ \partial \phi}\right)\psi \end{align*} $$
だから
$$ L_{+}L_{-}=-\hbar ^{2} \left( \frac{ \partial ^{2}}{ \partial \theta ^{2} } + \cot \theta \frac{ \partial }{ \partial \theta }+\cot ^{2}\theta \frac{ \partial ^{2}}{ \partial \phi^{2} } + \i\frac{ \partial }{ \partial \phi}\right) $$
■