角運動量演算子の固有関数は球面調和関数である。
定理
角運動量演算子 $L^{2}$と$L_{z}$は、定数 $l$、$m$によって決まる同時固有関数 $\ket{\ell, m}$を持つ。
$$ \begin{align*} L^{2}\ket{\ell, m} &= \hbar^{2}\ell(\ell+1)\ket{\ell, m} \\ L_{z}\ket{\ell, m} &= m\hbar\ket{\ell, m} \end{align*} $$
これにおいて、角運動量演算子の固有関数 $\ket{\ell, m}$は実際には球面調和関数 $Y_{l}^{m}$と同じだ。
$$ \ket{\ell, m} = Y_{l}^{m} $$
証明
球座標系において、角運動量演算子 $L_{z}$は以下の通りだ。
$$ L_{z} = -\i\hbar\frac{\partial}{\partial \phi} $$
$$ 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) $$
それでは$L^{2} = L_{+}L_{-} + L_{z}^{2} - \hbar L_{z}$なので、以下の式を得る。
$$ \begin{align*} L^{2} &= -\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) + \left( -\i\hbar\frac{\partial}{\partial \phi} \right)^{2} -\hbar \left( -\i\hbar\frac{\partial}{\partial \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) - \hbar ^{2}\frac{\partial^{2}}{\partial \phi^{2}} + \i \hbar ^{2}\frac{\partial}{\partial \phi} \\ &= -\hbar ^{2} \left( \frac{\partial^{2}}{\partial \theta^{2}} + \cot \theta \frac{\partial}{\partial \theta}+\cot ^{2}\theta \frac{\partial^{2}}{\partial \phi^{2}} + \frac{\partial^{2}}{\partial \phi^{2}}\right) \\ &= -\hbar ^{2} \left( \dfrac{1}{\sin\theta} \dfrac{\partial }{\partial \theta} \left( \sin\theta \frac{\partial}{\partial \theta} \right) + (\cot ^{2} + 1) \theta \frac{\partial^{2}}{\partial \phi^{2}} \right) \\ &= -\hbar ^{2} \left( \dfrac{1}{\sin\theta} \dfrac{\partial }{\partial \theta} \left( \sin\theta \frac{\partial}{\partial \theta} \right) + \dfrac{1}{\sin^{2}\theta}\frac{\partial^{2}}{\partial \phi^{2}} \right) \\ \end{align*} $$
これを固有関数に適用すると、
$$ L^{2}\ket{\ell, m}=-\hbar ^{2}\left[ \frac{1}{\sin \theta}\frac{\partial}{\partial \theta}\left(\sin \theta \frac{\partial}{\partial \theta} \right)+\frac{1}{\sin ^{2} \theta}\frac{\partial^{2}}{ \partial \phi^{2} } \right]\ket{\ell, m} = \ell(\ell + 1)\hbar^{2}\ket{\ell, m} $$
したがって、次が得られる。
$$ \begin{align*} && \left[ \frac{1}{\sin \theta}\frac{\partial}{\partial \theta}\left(\sin \theta \frac{\partial}{\partial \theta} \right)+\frac{1}{\sin ^{2} \theta}\frac{\partial^{2}}{ \partial \phi^{2} } \right]\ket{\ell, m} &= -\ell(\ell + 1)\ket{\ell, m} \\ % \implies&& \left[ \frac{1}{\sin \theta}\frac{\partial}{\partial \theta}\left(\sin \theta \frac{\partial}{\partial \theta} \right)+\frac{1}{\sin ^{2} \theta}\frac{\partial^{2}}{ \partial \phi^{2} } + \ell(\ell + 1) \right]\ket{\ell, m} &= 0 \end{align*} $$
しかし、ここで$\ket{\ell, m} = \Theta(\theta)\Phi(\phi)$のように変数分離されると仮定すると、球面調和関数が満たす微分方程式と正確に同じだということがわかる。
$$ \begin{align*} && \left[ \frac{1}{\sin \theta}\frac{\partial}{\partial \theta}\left(\sin \theta \frac{\partial}{\partial \theta} \right)+\frac{1}{\sin ^{2} \theta}\frac{\partial^{2}}{ \partial \phi^{2} } \right]\Theta(\theta)\Phi(\phi) &= -\ell(\ell + 1)\Theta(\theta)\Phi(\phi) \\ \implies && \frac{\Phi}{\sin \theta}\frac{d}{d \theta}\left(\sin \theta \frac{d \Theta}{d \theta} \right) + \frac{\Theta}{\sin ^{2} \theta}\frac{d^{2} \Phi}{d \phi^{2} } &= -\ell(\ell + 1)\Theta\Phi \\ \implies && \frac{1}{\Theta \sin \theta}\frac{d}{d \theta}\left(\sin \theta \frac{d \Theta}{d \theta} \right) + \frac{1}{\Phi \sin ^{2} \theta}\frac{d^{2} \Phi}{d \phi^{2} } &= -\ell(\ell + 1) \\ \end{align*} $$
したがって、角運動量演算子の固有関数 $\ket{\ell, m}$は実際には球面調和関数 $Y_{l}^{m}$と同じだ。
■