logo

角運動量演算子の行列表現 📂量子力学

角運動量演算子の行列表現

公式

角運動量演算子行列表示は次の通りだ。=1\ell = 1のとき、m=1,0,1m = 1, 0, -1だ。

Lz=m=1m=0m=1[100000001]m=1m=0m=1 \underset{\normalsize L_{z} = }{\scriptsize} \begin{array}{cccc} \scriptstyle{m=1} & \scriptstyle m=0 & \scriptstyle m=-1 & \\ \hbar\left[ \begin{array}{c} 1 \\ 0 \\ 0 \end{array} \right. & \begin{array}{c} 0 \\ 0 \\ 0 \end{array} & \left. \begin{array}{c} 0 \\ 0 \\ -1 \end{array} \right] & \begin{array}{l} \scriptstyle m=1 \\ \scriptstyle m=0 \\ \scriptstyle m=-1 \end{array} \end{array}

Lx=m=1m=0m=12[010101010]m=1m=0m=1 \underset{\normalsize L_{x} = }{\scriptsize} \begin{array}{cccc} \scriptstyle{m=1} & \scriptstyle m=0 & \scriptstyle m=-1 & \\ \dfrac{\hbar}{\sqrt{2}}\left[ \begin{array}{c} 0 \\ 1 \\ 0 \end{array} \right. & \begin{array}{c} 1 \\ 0 \\ 1 \end{array} & \left. \begin{array}{c} 0 \\ 1 \\ 0 \end{array} \right] & \begin{array}{l} \scriptstyle m=1 \\ \scriptstyle m=0 \\ \scriptstyle m=-1 \end{array} \end{array}

Ly=m=1m=0m=12[0i0i0i0i0]m=1m=0m=1 \underset{\normalsize L_{y} = }{\scriptsize} \begin{array}{cccc} \scriptstyle{m=1} & \scriptstyle m=0 & \scriptstyle m=-1 & \\ \dfrac{\hbar}{\sqrt{2}}\left[ \begin{array}{c} 0 \\ -\i \\ 0 \end{array} \right. & \begin{array}{c} \i \\ 0 \\ -\i \end{array} & \left. \begin{array}{c} 0 \\ \i \\ 0 \end{array} \right] & \begin{array}{l} \scriptstyle m=1 \\ \scriptstyle m=0 \\ \scriptstyle m=-1 \end{array} \end{array}

角運動量のラダー演算子の行列表示は次の通りだ。=1\ell = 1のとき、m=1,0,1m = 1, 0, -1だ。

L+=m=1m=0m=1[000200020]m=1m=0m=1 \underset{\normalsize L_{+} = }{\scriptsize} \begin{array}{cccc} \scriptstyle{m=1} & \scriptstyle m=0 & \scriptstyle m=-1 & \\ \left[ \begin{array}{c} 0 \\ 0 \\ 0 \end{array} \right. & \begin{array}{c} \sqrt{2} \\ 0 \\ 0 \end{array} & \left. \begin{array}{c} 0 \\ \sqrt{2} \\ 0 \end{array} \right] & \begin{array}{l} \scriptstyle m=1 \\ \scriptstyle m=0 \\ \scriptstyle m=-1 \end{array} \end{array}

L=m=1m=0m=1[020002000]m=1m=0m=1 \underset{\normalsize L_{-} = }{} \begin{array}{cccc} \scriptstyle{m=1} & \scriptstyle m=0 & \scriptstyle m=-1 & \\ \left[ \begin{array}{c} 0 \\ \sqrt{2} \\ 0 \end{array} \right. & \begin{array}{c} 0 \\ 0 \\ \sqrt{2} \end{array} & \left. \begin{array}{c} 0 \\ 0 \\ 0 \end{array} \right] & \begin{array}{l} \scriptstyle m=1 \\ \scriptstyle m=0 \\ \scriptstyle m=-1 \end{array} \end{array}

証明

ラダー演算子

L+,m=(m)(+m+1),m+1L,m=(+m)(m+1),m1 \begin{align*} L_{+}\ket{\ell, m} &= \sqrt{(\ell-m)(\ell + m + 1)}\hbar\ket{\ell, m+1} \\ L_{-}\ket{\ell, m} &= \sqrt{(\ell+m)(\ell - m + 1)}\hbar\ket{\ell, m-1} \end{align*}

2つのラダー演算子が上記の式を満たすので、L+L_{+}について次の式を得る。

,mL+,m=(m)(+m+1),m,m+1=(m)(+m+1)δm,m+1 \begin{align*} \braket{\ell,m^{\prime} | L_{+}|\ell,m} &= \sqrt{(\ell - m)(\ell + m + 1)}\hbar\braket{\ell,m^{\prime} | \ell,m+1} \\ &= \sqrt{(\ell - m)(\ell + m + 1)}\hbar \delta_{m^{\prime}, m+1} \end{align*}

このとき、δ\deltaクロネッカーのデルタだ。同じ方法で、LL_{-}について次の式を得る。

,mL,m=(+m)(m+1),m,m1=(+m)(m+1)δm,m1 \begin{align*} \braket{\ell,m^{\prime} | L_{-}|\ell,m} &= \sqrt{(\ell + m)(\ell - m + 1)}\hbar\braket{\ell,m^{\prime} | \ell,m-1} \\ &= \sqrt{(\ell + m)(\ell - m + 1)}\hbar \delta_{m^{\prime}, m-1} \end{align*}

=1\ell = 1のとき可能なmm1,0,11, 0, -1なので、便宜上、L±L_{\pm}の行と列の順序を1,0,11, 0, -1としよう。すると、固有関数の座標ベクトルは次の通りだ。

1,1=[100],1,0=[010],1,1=[001] \ket{1, 1} = \begin{bmatrix} 1 \\ 0 \\ 0 \end{bmatrix}, \qquad \ket{1, 0} = \begin{bmatrix} 0 \\ 1 \\ 0 \end{bmatrix}, \qquad \ket{1, -1} = \begin{bmatrix} 0 \\ 0 \\ 1 \end{bmatrix}

すると、数式L+,m=(m)(+m+1),m+1L_{+} \ket{\ell, m} = \sqrt{(\ell-m)(\ell + m + 1)}\hbar\ket{\ell, m+1}で固有関数の状態が直感的に次のように上昇する。=1\ell = 1とすれば、

L+[001]=2[010]L+[010]=2[100] L_{+} \begin{bmatrix} 0 \\ 0 \\ 1 \end{bmatrix} = \sqrt{2}\hbar \begin{bmatrix} 0 \\ 1 \\ 0 \end{bmatrix} \\[1em] L_{+} \begin{bmatrix} 0 \\ 1 \\ 0 \end{bmatrix} = \sqrt{2}\hbar \begin{bmatrix} 1 \\ 0 \\ 0 \end{bmatrix}

行列L+L_{+}は次のようになる。

L+=[1,1L+1,11,1L+1,01,1L+1,11,0L+1,11,0L+1,01,0L+1,11,1L+1,11,1L+1,01,1L+1,1]=[0δ1,22δ1,12δ1,00δ0,22δ0,12δ0,00δ1,22δ1,12δ1,0]=[020002000] \begin{align*} L_{+} &= \begin{bmatrix} \braket{1, 1 | L_{+}| 1, 1} & \braket{1, 1 | L_{+}| 1, 0} & \braket{1, 1 | L_{+}| 1,-1} \\ \braket{1, 0 | L_{+}| 1, 1} & \braket{1, 0 | L_{+}| 1, 0} & \braket{1, 0 | L_{+}| 1,-1} \\ \braket{1,-1 | L_{+}| 1, 1} & \braket{1,-1 | L_{+}| 1, 0} & \braket{1,-1 | L_{+}| 1,-1} \end{bmatrix} \\ &= \begin{bmatrix} 0\hbar \delta_{1, 2} & \sqrt{2}\hbar \delta_{1 , 1} & \sqrt{2}\hbar \delta_{ 1, 0} \\ 0\hbar \delta_{0, 2} & \sqrt{2}\hbar \delta_{0 , 1} & \sqrt{2}\hbar \delta_{ 0, 0} \\ 0\hbar \delta_{1, 2} & \sqrt{2}\hbar \delta_{-1, 1} & \sqrt{2}\hbar \delta_{-1, 0} \end{bmatrix} \\ &= \hbar \begin{bmatrix} 0 & \sqrt{2} & 0 \\ 0 & 0 & \sqrt{2} \\ 0 & 0 & 0 \end{bmatrix} \end{align*}

同様に、LL_{-}について次のようになる。

L[100]=2[010]L[010]=2[001] L_{-} \begin{bmatrix} 1 \\ 0 \\ 0 \end{bmatrix} = \sqrt{2}\hbar \begin{bmatrix} 0 \\ 1 \\ 0 \end{bmatrix} \\[1em] L_{-} \begin{bmatrix} 0 \\ 1 \\ 0 \end{bmatrix} = \sqrt{2}\hbar \begin{bmatrix} 0 \\ 0 \\ 1 \end{bmatrix}

L=[000200020] L_{-} = \hbar \begin{bmatrix} 0 & 0 & 0 \\ \sqrt{2} & 0 & 0 \\ 0 & \sqrt{2} & 0 \end{bmatrix}

角運動量演算子

LzL_{z}L2L^2の同時固有関数は,m\ket{\ell, m}であり、固有値方程式は

Lz,m=m,mL2,m=(+1)2,m \begin{align*} L_{z}\ket{\ell, m} &= m\hbar \ket{\ell, m} \\ L^2\ket{\ell, m} &= \ell(\ell+1)\hbar^2 \ket{\ell, m} \end{align*}

なので

,mLz,m=m,m,m=mδmm \braket{\ell,m^{\prime} | L_{z}|\ell,m}=m\hbar \braket{\ell,m^{\prime} | \ell,m}=m\hbar \delta_{mm^{\prime}}

したがって、[(Lz)mn]=mδmn[(L_{z})_{mn}] = m \hbar \delta_{mn}だ。このときδ\deltaクロネッカーのデルタだ。=1\ell = 1のとき可能なmm1,0,11, 0, -1なので、便宜上LzL_{z}11行、00行、1-1行を持つこととしよう。各固有関数の座標ベクトルは次の通りとしよう。

1,1=[100],1,0=[010],1,1=[001] \ket{1, 1} = \begin{bmatrix} 1 \\ 0 \\ 0 \end{bmatrix}, \qquad \ket{1, 0} = \begin{bmatrix} 0 \\ 1 \\ 0 \end{bmatrix}, \qquad \ket{1, -1} = \begin{bmatrix} 0 \\ 0 \\ 1 \end{bmatrix}

すると、[(Lz)mn]=mδmn[(L_{z})_{mn}] = m \hbar \delta_{mn}なので、

Lz=[(Lz)11(Lz)10(Lz)11(Lz)01(Lz)00(Lz)01(Lz)11(Lz)10(Lz)11]=[1δ1,11δ1,01δ1,10δ0,10δ0,00δ0,11δ1,11δ1,01δ1,1]=[100000001] \begin{align*} L_{z} &= \begin{bmatrix} (L_{z})_{11} & (L_{z})_{10} & (L_{z})_{1-1} \\ (L_{z})_{01} & (L_{z})_{00} & (L_{z})_{0-1} \\ (L_{z})_{-11} & (L_{z})_{-10} & (L_{z})_{-1-1} \end{bmatrix} \\ &= \begin{bmatrix} 1\hbar\delta_{1,1} & 1\hbar\delta_{1,0} & 1\hbar\delta_{1,-1} \\ 0\hbar\delta_{0,1} & 0\hbar\delta_{0,0} & 0\hbar\delta_{0,-1} \\ -1\hbar\delta_{-1,1} & -1\hbar\delta_{-1,0} & -1\hbar\delta_{-1,-1} \end{bmatrix} \\ &= \hbar \begin{bmatrix} 1 & 0 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & -1 \end{bmatrix} \end{align*}

またLx=12(L++L)L_{x} = \dfrac{1}{2} (L_{+} + L_{-})であるので、Ly=i2(L+L)L_{y} = -\dfrac{\i}{2}(L_{+} - L_{-})よって、LxL_{x}LyL_{y}は次の通りだ。

Lx=12(L++L)=12([020002000]+[000200020])=2[010101010] \begin{align*} L_{x} &= \dfrac{1}{2} (L_{+} + L_{-}) \\ &= \dfrac{1}{2}\left( \hbar\begin{bmatrix} 0 & \sqrt{2} & 0 \\ 0 & 0 & \sqrt{2} \\ 0 & 0 & 0 \end{bmatrix} + \hbar\begin{bmatrix} 0 & 0 & 0 \\ \sqrt{2} & 0 & 0 \\ 0 & \sqrt{2} & 0 \end{bmatrix} \right) \\ &= \dfrac{\hbar}{\sqrt{2}} \begin{bmatrix} 0 & 1 & 0 \\ 1 & 0 & 1 \\ 0 & 1 & 0 \end{bmatrix} \\ \end{align*}

Ly=i2(L+L)=i2([020002000][000200020])=2[0i0i0i0i0] \begin{align*} L_{y} &= -\dfrac{\i}{2} (L_{+} - L_{-}) \\ &= -\dfrac{\i}{2}\left( \hbar\begin{bmatrix} 0 & \sqrt{2} & 0 \\ 0 & 0 & \sqrt{2} \\ 0 & 0 & 0 \end{bmatrix} - \hbar\begin{bmatrix} 0 & 0 & 0 \\ \sqrt{2} & 0 & 0 \\ 0 & \sqrt{2} & 0 \end{bmatrix} \right) \\ &= \dfrac{\hbar}{\sqrt{2}} \begin{bmatrix} 0 & -\i & 0 \\ \i & 0 & -\i \\ 0 & \i & 0 \end{bmatrix} \\ \end{align*}