角運動量演算子の復習 角運動量演算子は、交換関係 を満たす自己共役演算子 j x 、j y 、およびj zである。 [ j k 、 j l ] ≡ j k j l − j l j k = 私 ℏ ε k l m j m k 、 l 、 m ∈ { x 、 y 、 z } 、 {\displaystyle {\begin{aligned}&[\mathrm {j} _{k},\mathrm {j} _{l}]\equiv \mathrm {j} _{k}\mathrm {j} _{l}-\mathrm {j} _{l}\mathrm {j} _{k}=i\hbar \varepsilon _{klm}\mathrm {j} _{m}&k,l,m&\in \{\mathrm {x,y,z} \},\end{aligned}}} ここで、ε klm はレヴィ・チヴィタ記号 である。これら 3 つの演算子は、ベクトル演算子 、ランク 1 のデカルトテンソル演算子 を定義する。 j = ( j x 、 j y 、 j z ) 。 {\displaystyle \mathbf {j} =(\mathrm {j_{x}} ,\mathrm {j_{y}} ,\mathrm {j_{z}} ).} これは球面ベクトル とも呼ばれ、球面テンソル演算子でもある。球面テンソル演算子がデカルトテンソル演算子と一致するのは、階数が1の場合に限られる。
この概念をさらに発展させることで、別の演算子j 2 をj と j 自身 の内積 として定義することができる。j 2 = j x 2 + j y 2 + j z 2 。 {\displaystyle \mathbf {j} ^{2}=\mathrm {j_{x}^{2}} +\mathrm {j_{y}^{2}} +\mathrm {j_{z}^{2}} .} これはカシミール演算子 の例です。これは対角行列であり、その固有値は角運動量代数の特定の既約表現を特徴づけます。 s o ( 3 、 R ) ≅ s u ( 2 ) {\displaystyle {\mathfrak {so}}(3,\mathbb {R} )\cong {\mathfrak {su}}(2)} これは物理的には、表現が作用する状態の全角運動量の二乗として解釈される。
また、昇順 演算子( j + ) と降順 演算子( j − ) を定義することもできます。これらは、いわゆるラダー演算子です 。 j ± = j x ± 私 j y 。 {\displaystyle \mathrm {j_{\pm }} =\mathrm {j_{x}} \pm i\mathrm {j_{y}} .}
角運動量固有状態のための球面基底 上記の定義から、 j 2 は j x 、j y 、およびj z と可換であることが示せる。 [ j 2 、 j k ] = 0 k ∈ { x 、 y 、 z } 。 {\displaystyle {\begin{aligned}&[\mathbf {j} ^{2},\mathrm {j} _{k}]=0&k&\in \{\mathrm {x} ,\mathrm {y} ,\mathrm {z} \}.\end{aligned}}}
2 つのエルミート演算子が 可換である場合、共通の固有状態の集合が存在します。慣例として、j 2 とj zが選択されます。可換関係から、可能な固有値を求めることができます。これらの固有状態は | j m ⟩ で表され、ここでj は角運動量量子数 、m はz 軸への角運動量射影 です。
これらは球面基底 を構成し、完全であり、以下の固有値方程式を満たします。 j 2 | j m ⟩ = ℏ 2 j ( j + 1 ) | j m ⟩ 、 j ∈ { 0 、 1 2 、 1 、 3 2 、 … } j z | j m ⟩ = ℏ m | j m ⟩ 、 m ∈ { − j 、 − j + 1 、 … 、 j } 。 {\displaystyle {\begin{aligned}\mathbf {j} ^{2}|j\,m\rangle &=\hbar ^{2}j(j+1)|j\,m\rangle ,&j&\in \{0,{\tfrac {1}{2}},1,{\tfrac {3}{2}},\ldots \}\\\mathrm {j_{z}} |j\,m\rangle &=\hbar m|j\,m\rangle ,&m&\in \{-j,-j+1,\ldots ,j\}.\end{aligned}}}
昇降演算子を使用してm の値を変更することができます。 j ± | j m ⟩ = ℏ C ± ( j 、 m ) | j ( m ± 1 ) ⟩ 、 {\displaystyle \mathrm {j} _{\pm }|j\,m\rangle =\hbar C_{\pm }(j,m)|j\,(m\pm 1)\rangle ,} ここで、はしご係数は次のように与えられる。
原則として、定義において(複素数である可能性のある)位相因子を導入することもできる。 C ± ( j 、 m ) {\displaystyle C_{\pm }(j,m)} この記事で選択した方法は、コンドン・ショートリー位相規約 に準拠しています。角運動量状態は直交しており(エルミート演算子に関する固有値が異なるため)、正規化されていると仮定します。 ⟨ j m | j ′ m ′ ⟩ = δ j 、 j ′ δ m 、 m ′ 。 {\displaystyle \langle j\,m|j'\,m'\rangle =\delta _{j,j'}\delta _{m,m'}。}
ここで、斜体で表記されたj とm は 、粒子または系の整数または半整数の角運動 量量子数を表します。一方、ローマ字のj x 、j y 、j z 、j + 、j − 、およびj 2 は演算子を表します。δ {\displaystyle \delta } 記号はクロネッカーデルタ です。
テンソル積空間 ここでは、物理的に異なる2つの角運動量j 1 とj 2 を持つ系を考察する。例としては、1つの電子のスピン角運動量と軌道角運動量、2つの電子のスピン、または2つの電子の軌道角運動量などが挙げられる。数学的には、これは角運動量演算子が空間に作用することを意味する。V 1 {\displaystyle V_{1}} 寸法2 j 1 + 1 {\displaystyle 2j_{1}+1} また、空間上でもV 2 {\displaystyle V_{2}} 寸法2 j 2 + 1 {\displaystyle 2j_{2}+1} 次に、テンソル積 空間に作用する「全角運動量」演算子の族を定義します。V 1 ⊗ V 2 {\displaystyle V_{1}\otimes V_{2}} 次元を持つ( 2 j 1 + 1 ) ( 2 j 2 + 1 ) {\displaystyle (2j_{1}+1)(2j_{2}+1)} この空間に対する全角運動量演算子の作用は、SU(2)リー代数 の表現を構成するが、それは可約な表現である。この可約な表現を既約な部分に還元することが、クレブシュ・ゴルダン理論の目標である。
V 1 を 、状態によって張られる (2 j 1 + 1) 次元ベクトル空間 とする。| j 1 m 1 ⟩ 、 m 1 ∈ { − j 1 、 − j 1 + 1 、 … 、 j 1 } 、 {\displaystyle {\begin{aligned}&|j_{1}\,m_{1}\rangle ,&m_{1}&\in \{-j_{1},-j_{1}+1,\ldots ,j_{1}\}\end{aligned}},} V 2 は 、状態によって張られる (2 j 2 + 1) 次元ベクトル空間です。| j 2 m 2 ⟩ 、 m 2 ∈ { − j 2 、 − j 2 + 1 、 … 、 j 2 } 。 {\displaystyle {\begin{aligned}&|j_{2}\,m_{2}\rangle ,&m_{2}&\in \{-j_{2},-j_{2}+1,\ldots ,j_{2}\}\end{aligned}}.}
これらの空間のテンソル積V 3 ≡ V 1 ⊗ V 2 は、(2 j 1 + 1) (2 j 2 + 1) 次元の非結合 基底 を持つ。| j 1 m 1 j 2 m 2 ⟩ ≡ | j 1 m 1 ⟩ ⊗ | j 2 m 2 ⟩ 、 m 1 ∈ { − j 1 、 − j 1 + 1 、 … 、 j 1 } 、 m 2 ∈ { − j 2 、 − j 2 + 1 、 … 、 j 2 } 。 {\displaystyle |j_{1}\,m_{1}\,j_{2}\,m_{2}\rangle \equiv |j_{1}\,m_{1}\rangle \otimes |j_{2}\,m_{2}\rangle ,\quad m_{1}\in \{-j_{1},-j_{1}+1,\ldots ,j_{1}\},\quad m_{2}\in \{-j_{2},-j_{2}+1,\ldots ,j_{2}\}.} 角運動量演算子は、 V 3 の 状態に対して次のように 作用するように定義されます。( j 1 ⊗ 1 ) | j 1 m 1 j 2 m 2 ⟩ ≡ j 1 | j 1 m 1 ⟩ ⊗ | j 2 m 2 ⟩ {\displaystyle (\mathbf {j} _{1}\otimes 1)|j_{1}\,m_{1}\,j_{2}\,m_{2}\rangle \equiv \mathbf {j} _{1}|j_{1}\,m_{1}\rangle \otimes |j_{2}\,m_{2}\rangle } そして ( 1 ⊗ j 2 ) | j 1 m 1 j 2 m 2 ⟩ ≡ | j 1 m 1 ⟩ ⊗ j 2 | j 2 m 2 ⟩ 、 {\displaystyle (1\otimes \mathrm {\mathbf {j} } _{2})|j_{1}\,m_{1}\,j_{2}\,m_{2}\rangle \equiv |j_{1}\,m_{1}\rangle \otimes \mathbf {j} _{2}|j_{2}\,m_{2}\rangle ,} ここで、1は 恒等演算子を表す。
全角 運動量 演算子[ nb 1 ] は、 V 1 ⊗ V 2 に作用する2つの表現の余積 (またはテンソル積 )によって定義される。
J ≡ j 1 ⊗ 1 + 1 ⊗ j 2 。 {\displaystyle \mathbf {J} \equiv \mathbf {j} _{1}\otimes 1+1\otimes \mathbf {j} _{2}~.}
全角運動量演算子は、全く同じ交換関係を満たす ことが示される。 [ J k 、 J l ] = 私 ℏ ε k l m J m 、 {\displaystyle [\mathrm {J} _{k},\mathrm {J} _{l}]=i\hbar \varepsilon _{klm}\mathrm {J} _{m}~,} ここでk 、l 、m ∈ { x 、y 、z } である。実際、前述の構成は、テンソル積表現に対するリー代数の作用を構成するための標準的な方法である[ 4 ] 。
したがって、全角運動量演算子に対しても 結合した 固有状態の集合が存在する。J 2 | [ j 1 j 2 ] J M ⟩ = ℏ 2 J ( J + 1 ) | [ j 1 j 2 ] J M ⟩ J z | [ j 1 j 2 ] J M ⟩ = ℏ M | [ j 1 j 2 ] J M ⟩ {\displaystyle {\begin{aligned}\mathbf {J} ^{2}|[j_{1}\,j_{2}]\,J\,M\rangle &=\hbar ^{2}J(J+1)|[j_{1}\,j_{2}]\,J\,M\rangle \\\mathrm {J_{z}} |[j_{1}\,j_{2}]\,J\,M\rangle &=\hbar M|[j_{1}\,j_{2}]\,J\,M\rangle \end{aligned}}} M ∈ {− J , − J + 1, ..., J } の場合。 [ j 1 j 2 ] の部分は省略するのが一般的であることに注意してください。
全角運動量量子数J は、次の三角形条件を満たさなければならない。 | j 1 − j 2 | ≤ J ≤ j 1 + j 2 、 {\displaystyle |j_{1}-j_{2}|\leq J\leq j_{1}+j_{2},} つまり、3つの非負の整数または半整数の値は、三角形の3辺に対応できるということである。[ 5 ]
全角運動量固有状態の総数は、必然的にV 3 の次元に等しくなります。 ∑ J = | j 1 − j 2 | j 1 + j 2 ( 2 J + 1 ) = ( 2 j 1 + 1 ) ( 2 j 2 + 1 ) 。 {\displaystyle \sum _{J=|j_{1}-j_{2}|}^{j_{1}+j_{2}}(2J+1)=(2j_{1}+1)(2j_{2}+1)~.} この計算が示唆するように、テンソル積表現は、次元の既約表現のそれぞれ1つのコピーの直接和として分解されます。2 J + 1 {\displaystyle 2J+1} 、 どこJ {\displaystyle J} 範囲は| j 1 − j 2 | {\displaystyle |j_{1}-j_{2}|} にj 1 + j 2 {\displaystyle j_{1}+j_{2}} 1ずつ増分する。[ 6 ] 例として、次の3次元表現に対応するテンソル積を考える。j 1 = 1 {\displaystyle j_{1}=1} 2次元表現でj 2 = 1 / 2 {\displaystyle j_{2}=1/2} 可能な値はJ {\displaystyle J} するとJ = 1 / 2 {\displaystyle J=1/2} そしてJ = 3 / 2 {\displaystyle J=3/2} したがって、6次元テンソル積表現は、2次元表現と4次元表現の直和として分解される。
ここでの目標は、前述の分解を明示的に記述すること、つまり、生じる各成分表現について、テンソル積空間における基底要素を明示的に記述することである。
全角運動量状態はV3の正規直交基底を形成 する 。 ⟨ J M | J ′ M ′ ⟩ = δ J 、 J ′ δ M 、 M ′ 。 {\displaystyle \left\langle J\,M|J'\,M'\right\rangle =\delta _{J,J'}\delta _{M,M'}~.}
これらの規則を繰り返すことで、例えばn 個の二重項 ( s = 1/2) を組み合わせてクレブシュ・ゴルダン分解級数 (カタランの三角形 ) を得ることができます。 2 ⊗ n = ⨁ k = 0 ⌊ n / 2 ⌋ ( n + 1 − 2 k n + 1 ( n + 1 k ) ) ( n + 1 − 2 k ) 、 {\displaystyle \mathbf {2} ^{\otimes n}=\bigoplus _{k=0}^{\lfloor n/2\rfloor }~\left({\frac {n+1-2k}{n+1}}{n+1 \choose k}\right)~(\mathbf {n} +\mathbf {1} -\mathbf {2} \mathbf {k} )~,} どこ⌊ n / 2 ⌋ {\displaystyle \lfloor n/2\rfloor } は整数床関数であり、太字の既約表現次元 ( 2 j +1 ) ラベルの前の数字は、表現縮小におけるその表現の多重度を示します。[ 7 ] 例えば、この式から、3 つのスピン 1/2 を加えると、1 つのスピン 3/2 と 2 つのスピン 1/2 が得られます。2 ⊗ 2 ⊗ 2 = 4 ⊕ 2 ⊕ 2 {\displaystyle {\mathbf {2} }\otimes {\mathbf {2} }\otimes {\mathbf {2} }={\mathbf {4} }\oplus {\mathbf {2} }\oplus {\mathbf {2} }} 。
結合状態は、非結合基底における完全性関係(同一性の解消)を介して展開することができる。
展開係数
⟨ j 1 m 1 j 2 m 2 | J M ⟩ {\displaystyle \langle j_{1}\,m_{1}\,j_{2}\,m_{2}|J\,M\rangle }
はクレブシュ・ゴルダン係数 です。著者によっては、⟨ j 1 j 2 ; m 1 m 2 | J M ⟩ のように異なる順序で表記している場合もあります。別の一般的な表記法は ⟨ j 1 m 1 j 2 m 2 | J M ⟩ = C JM j 1 m 1 j 2 m 2 です。
演算子を適用する
J = j ⊗ 1 + 1 ⊗ j J z = j z ⊗ 1 + 1 ⊗ j z {\displaystyle {\begin{aligned}\mathrm {J} &=\mathrm {j} \otimes 1+1\otimes \mathrm {j} \\\mathrm {J} _{\mathrm {z} }&=\mathrm {j} _{\mathrm {z} }\otimes 1+1\otimes \mathrm {j} _{\mathrm {z} }\end{aligned}}}
定義式の両辺から、クレブシュ・ゴルダン係数がゼロでないのは、
| j 1 − j 2 | ≤ J ≤ j 1 + j 2 M = m 1 + m 2 。 {\displaystyle {\begin{aligned}|j_{1}-j_{2}|\leq J&\leq j_{1}+j_{2}\\M&=m_{1}+m_{2}.\end{aligned}}}
再帰関係 この漸化式は、 1941年にエルサレム・ヘブライ大学の 物理学者ジュリオ・ラカ によって発見された。
全角運動量上昇演算子と下降演算子を適用するJ ± = j ± ⊗ 1 + 1 ⊗ j ± {\displaystyle \mathrm {J} _{\pm }=\mathrm {j} _{\pm }\otimes 1+1\otimes \mathrm {j} _{\pm }} 定義式の左辺にJ ± | [ j 1 j 2 ] J M ⟩ = ℏ C ± ( J 、 M ) | [ j 1 j 2 ] J ( M ± 1 ) ⟩ = ℏ C ± ( J 、 M ) ∑ m 1 、 m 2 | j 1 m 1 j 2 m 2 ⟩ ⟨ j 1 m 1 j 2 m 2 | J ( M ± 1 ) ⟩ {\displaystyle {\begin{aligned}\mathrm {J} _{\pm }|[j_{1}\,j_{2}]\,J\,M\rangle &=\hbar C_{\pm }(J,M)|[j_{1}\,j_{2}]\,J\,(M\pm 1)\rangle \\&=\hbar C_{\pm }(J,M)\sum _{m_{1},m_{2}}|j_{1}\,m_{1}\,j_{2}\,m_{2}\rangle \langle j_{1}\,m_{1}\,j_{2}\,m_{2}|J\,(M\pm 1)\rangle \end{aligned}}} 右辺に同じ演算子を適用すると、J ± ∑ m 1 、 m 2 | j 1 m 1 j 2 m 2 ⟩ ⟨ j 1 m 1 j 2 m 2 | J M ⟩ = ℏ ∑ m 1 、 m 2 ( C ± ( j 1 、 m 1 ) | j 1 ( m 1 ± 1 ) j 2 m 2 ⟩ + C ± ( j 2 、 m 2 ) | j 1 m 1 j 2 ( m 2 ± 1 ) ⟩ ) ⟨ j 1 m 1 j 2 m 2 | J M ⟩ = ℏ ∑ m 1 、 m 2 | j 1 m 1 j 2 m 2 ⟩ ( C ± ( j 1 、 m 1 ∓ 1 ) ⟨ j 1 ( m 1 ∓ 1 ) j 2 m 2 | J M ⟩ + C ± ( j 2 、 m 2 ∓ 1 ) ⟨ j 1 m 1 j 2 ( m 2 ∓ 1 ) | J M ⟩ ) 。 {\displaystyle {\begin{aligned}\mathrm {J} _{\pm }&\sum _{m_{1},m_{2}}|j_{1}\,m_{1}\,j_{2}\,m_{2}\rangle \langle j_{1}\,m_{1}\,j_{2}\,m_{2}|J\,M\rangle \\=\hbar &\sum _{m_{1},m_{2}}{\Bigl (}C_{\pm }(j_{1},m_{1})|j_{1}\,(m_{1}\pm 1)\,j_{2}\,m_{2}\rangle +C_{\pm }(j_{2},m_{2})|j_{1}\,m_{1}\,j_{2}\,(m_{2}\pm 1)\rangle {\Bigr )}\langle j_{1}\,m_{1}\,j_{2}\,m_{2}|J\,M\rangle \\=\hbar &\sum _{m_{1},m_{2}}|j_{1}\,m_{1}\,j_{2}\,m_{2}\rangle {\Bigl (}C_{\pm }(j_{1},m_{1}\mp 1)\langle j_{1}\,(m_{1}\mp 1)\,j_{2}\,m_{2}|J\,M\rangle +C_{\pm }(j_{2},m_{2}\mp 1)\langle j_{1}\,m_{1}\,j_{2}\,(m_{2}\mp 1)|J\,M\rangle {\Bigr )}.\end{aligned}}}
これらの結果を組み合わせると、クレブシュ・ゴルダン係数の漸化式が得られます。ここで、C ± は 1 で定義されています。 C ± ( J 、 M ) ⟨ j 1 m 1 j 2 m 2 | J ( M ± 1 ) ⟩ = C ± ( j 1 、 m 1 ∓ 1 ) ⟨ j 1 ( m 1 ∓ 1 ) j 2 m 2 | J M ⟩ + C ± ( j 2 、 m 2 ∓ 1 ) ⟨ j 1 m 1 j 2 ( m 2 ∓ 1 ) | J M ⟩ 。 {\displaystyle C_{\pm }(J,M)\langle j_{1}\,m_{1}\,j_{2}\,m_{2}|J\,(M\pm 1)\rangle =C_{\pm }(j_{1},m_{1}\mp 1)\langle j_{1}\,(m_{1}\mp 1)\,j_{2}\,m_{2}|J\,M\rangle +C_{\pm }(j_{2},m_{2}\mp 1)\langle j_{1}\,m_{1}\,j_{2}\,(m_{2}\mp 1)|J\,M\rangle .}
M = J という条件で上の符号を取ると、初期漸化式が得られる。0 = C + ( j 1 、 m 1 − 1 ) ⟨ j 1 ( m 1 − 1 ) j 2 m 2 | J J ⟩ + C + ( j 2 、 m 2 − 1 ) ⟨ j 1 m 1 j 2 ( m 2 − 1 ) | J J ⟩ 。 {\displaystyle 0=C_{+}(j_{1},m_{1}-1)\langle j_{1}\,(m_{1}-1)\,j_{2}\,m_{2}|J\,J\rangle +C_{+}(j_{2},m_{2}-1)\langle j_{1}\,m_{1}\,j_{2}\,(m_{2}-1)|J\,J\rangle .} コンドン・ショートリー位相規約では、次の制約が追加される。
⟨ j 1 j 1 j 2 ( J − j 1 ) | J J ⟩ > 0 {\displaystyle \langle j_{1}\,j_{1}\,j_{2}\,(J-j_{1})|J\,J\rangle >0} (したがって、実数でもある)。これらの漸化式から、クレブシュ・ゴルダン係数⟨ j 1 m 1 j 2 m 2 | J M ⟩ を求めることができる。正規化は、二乗和が 1 になるという条件によって固定される。これは、状態のノルム|[ j 1 j 2 ] J J ⟩ が 1 になるという条件と同等である。
漸化式の下側の符号を使うと、M = J − 1 となるすべてのクレブシュ・ゴルダン係数を求めることができます。この式を繰り返し使うことで、すべての係数が得られます。
この手順でクレブシュ・ゴルダン係数を求めると、コンドン・ショートリー位相規約において、それらがすべて実数であることが示される。
直交関係 これらは、別の表記法を導入することで最も明確に記述できます。 ⟨ J M | j 1 m 1 j 2 m 2 ⟩ ≡ ⟨ j 1 m 1 j 2 m 2 | J M ⟩ {\displaystyle \langle J\,M|j_{1}\,m_{1}\,j_{2}\,m_{2}\rangle \equiv \langle j_{1}\,m_{1}\,j_{2}\,m_{2}|J\,M\rangle }
最初の直交関係は ∑ J = | j 1 − j 2 | j 1 + j 2 ∑ M = − J J ⟨ j 1 m 1 j 2 m 2 | J M ⟩ ⟨ J M | j 1 m 1 ′ j 2 m 2 ′ ⟩ = ⟨ j 1 m 1 j 2 m 2 | j 1 m 1 ′ j 2 m 2 ′ ⟩ = δ m 1 、 m 1 ′ δ m 2 、 m 2 ′ {\displaystyle \sum _{J=|j_{1}-j_{2}|}^{j_{1}+j_{2}}\sum _{M=-J}^{J}\langle j_{1}\,m_{1}\,j_{2}\,m_{2}|J\,M\rangle \langle J\,M|j_{1}\,m_{1}'\,j_{2}\,m_{2}'\rangle =\langle j_{1}\,m_{1}\,j_{2}\,m_{2}|j_{1}\,m_{1}'\,j_{2}\,m_{2}'\rangle =\delta _{m_{1},m_{1}'}\delta _{m_{2},m_{2}'}} (1 = ∑ x | x ⟩ ⟨ x | {\textstyle \mathbf {1} =\sum _{x}|x\rangle \langle x|} )そして2つ目は ∑ m 1 、 m 2 ⟨ J M | j 1 m 1 j 2 m 2 ⟩ ⟨ j 1 m 1 j 2 m 2 | J ′ M ′ ⟩ = ⟨ J M | J ′ M ′ ⟩ = δ J 、 J ′ δ M 、 M ′ 。 {\displaystyle \sum _{m_{1},m_{2}}\langle J\,M|j_{1}\,m_{1}\,j_{2}\,m_{2}\rangle \langle j_{1}\,m_{1}\,j_{2}\,m_{2}|J'\,M'\rangle =\langle J\,M|J'\,M'\rangle =\delta _{J,J'}\delta _{M,M'}.}
特別なケース J = 0 の場合、クレブシュ・ゴルダン係数は次のように与えられる。 ⟨ j 1 m 1 j 2 m 2 | 0 0 ⟩ = δ j 1 、 j 2 δ m 1 、 − m 2 ( − 1 ) j 1 − m 1 2 j 1 + 1 。 {\displaystyle \langle j_{1}\,m_{1}\,j_{2}\,m_{2}|0\,0\rangle =\delta _{j_{1},j_{2}}\delta _{m_{1},-m_{2}}{\frac {(-1)^{j_{1}-m_{1}}}{\sqrt {2j_{1}+1}}}.}
J = j 1 + j 2 およびM = J の 場合、⟨ j 1 j 1 j 2 j 2 | ( j 1 + j 2 ) ( j 1 + j 2 ) ⟩ = 1. {\displaystyle \langle j_{1}\,j_{1}\,j_{2}\,j_{2}|(j_{1}+j_{2})\,(j_{1}+j_{2})\rangle =1.}
j 1 = j 2 = J / 2 およびm 1 = − m 2 の場合、 ⟨ j 1 m 1 j 1 ( − m 1 ) | ( 2 j 1 ) 0 ⟩ = ( 2 j 1 ) ! 2 ( j 1 − m 1 ) ! ( j 1 + m 1 ) ! ( 4 j 1 ) ! 。 {\displaystyle \langle j_{1}\,m_{1}\,j_{1}\,(-m_{1})|(2j_{1})\,0\rangle ={\frac {(2j_{1})!^{2}}{(j_{1}-m_{1})!(j_{1}+m_{1})!{\sqrt {(4j_{1})!}}}}.}
j 1 = j 2 = m 1 = − m 2 の場合、 ⟨ j 1 j 1 j 1 ( − j 1 ) | J 0 ⟩ = ( 2 j 1 ) ! 2 J + 1 ( J + 2 j 1 + 1 ) ! ( 2 j 1 − J ) ! 。 {\displaystyle \langle j_{1}\,j_{1}\,j_{1}\,(-j_{1})|J\,0\rangle =(2j_{1})!{\sqrt {\frac {2J+1}{(J+2j_{1}+1)!(2j_{1}-J)!}}}.}
j 2 = 1 、m 2 = 0 の 場合、⟨ j 1 m 1 0 | ( j 1 + 1 ) m ⟩ = ( j 1 − m + 1 ) ( j 1 + m + 1 ) ( 2 j 1 + 1 ) ( j 1 + 1 ) ⟨ j 1 m 1 0 | j 1 m ⟩ = m j 1 ( j 1 + 1 ) ⟨ j 1 m 1 0 | ( j 1 − 1 ) m ⟩ = − ( j 1 − m ) ( j 1 + m ) j 1 ( 2 j 1 + 1 ) {\displaystyle {\begin{aligned}\langle j_{1}\,m\,1\,0|(j_{1}+1)\,m\rangle &={\sqrt {\frac {(j_{1}-m+1)(j_{1}+m+1)}{(2j_{1}+1)(j_{1}+1)}}}\\\langle j_{1}\,m\,1\,0|j_{1}\,m\rangle &={\frac {m}{\sqrt {j_{1}(j_{1}+1)}}}\\\langle j_{1}\,m\,1\,0|(j_{1}-1)\,m\rangle &=-{\sqrt {\frac {(j_{1}-m)(j_{1}+m)}{j_{1}(2j_{1}+1)}}}\end{aligned}}}
j 2 = 1/2 の場合、 ⟨ j 1 ( M − 1 2 ) 1 2 1 2 | ( j 1 ± 1 2 ) M ⟩ = ± 1 2 ( 1 ± M j 1 + 1 2 ) ⟨ j 1 ( M + 1 2 ) 1 2 ( − 1 2 ) | ( j 1 ± 1 2 ) M ⟩ = 1 2 ( 1 ∓ M j 1 + 1 2 ) {\displaystyle {\begin{aligned}\left\langle j_{1}\,\left(M-{\frac {1}{2}}\right)\,{\frac {1}{2}}\,{\frac {1}{2}}{\Bigg |}\left(j_{1}\pm {\frac {1}{2}}\right)\,M\right\rangle &=\pm {\sqrt {{\frac {1}{2}}\left(1\pm {\frac {M}{j_{1}+{\frac {1}{2}}}}\right)}}\\\left\langle j_{1}\,\left(M+{\frac {1}{2}}\right)\,{\frac {1}{2}}\,\left(-{\frac {1}{2}}\right){\Bigg |}\left(j_{1}\pm {\frac {1}{2}}\right)\,M\right\rangle &={\sqrt {{\frac {1}{2}}\left(1\mp {\frac {M}{j_{1}+{\frac {1}{2}}}}\right)}}\end{aligned}}}
対称性 ⟨ j 1 m 1 j 2 m 2 | J M ⟩ = ( − 1 ) j 1 + j 2 − J ⟨ j 1 ( − m 1 ) j 2 ( − m 2 ) | J ( − M ) ⟩ = ( − 1 ) j 1 + j 2 − J ⟨ j 2 m 2 j 1 m 1 | J M ⟩ = ( − 1 ) j 1 − m 1 2 J + 1 2 j 2 + 1 ⟨ j 1 m 1 J ( − M ) | j 2 ( − m 2 ) ⟩ = ( − 1 ) j 2 + m 2 2 J + 1 2 j 1 + 1 ⟨ J ( − M ) j 2 m 2 | j 1 ( − m 1 ) ⟩ = ( − 1 ) j 1 − m 1 2 J + 1 2 j 2 + 1 ⟨ J M j 1 ( − m 1 ) | j 2 m 2 ⟩ = ( − 1 ) j 2 + m 2 2 J + 1 2 j 1 + 1 ⟨ j 2 ( − m 2 ) J M | j 1 m 1 ⟩ {\displaystyle {\begin{aligned}\langle j_{1}\,m_{1}\,j_{2}\,m_{2}|J\,M\rangle &=(-1)^{j_{1}+j_{2}-J}\langle j_{1}\,(-m_{1})\,j_{2}\,(-m_{2})|J\,(-M)\rangle \\&=(-1)^{j_{1}+j_{2}-J}\langle j_{2}\,m_{2}\,j_{1}\,m_{1}|J\,M\rangle \\&=(-1)^{j_{1}-m_{1}}{\sqrt {\frac {2J+1}{2j_{2}+1}}}\langle j_{1}\,m_{1}\,J\,(-M)|j_{2}\,(-m_{2})\rangle \\&=(-1)^{j_{2}+m_{2}}{\sqrt {\frac {2J+1}{2j_{1}+1}}}\langle J\,(-M)\,j_{2}\,m_{2}|j_{1}\,(-m_{1})\rangle \\&=(-1)^{j_{1}-m_{1}}{\sqrt {\frac {2J+1}{2j_{2}+1}}}\langle J\,M\,j_{1}\,(-m_{1})|j_{2}\,m_{2}\rangle \\&=(-1)^{j_{2}+m_{2}}{\sqrt {\frac {2J+1}{2j_{1}+1}}}\langle j_{2}\,(-m_{2})\,J\,M|j_{1}\,m_{1}\rangle \end{aligned}}}
これらの関係式を導出する便利な方法は、クレブシュ・ゴルダン係数を3 を用いてウィグナー 3-j 記号 に変換することである。ウィグナー 3-j 記号の対称性ははるかに単純である。
位相係数の規則 位相因子を簡略化する際には注意が必要です。量子数は整数ではなく半整数である可能性があるため、与えられた量子数k に対して(−1) 2 k は、整数であることが証明されない限り、必ずしも1 に なるとは限りません。代わりに、次のより弱い規則が用いられます。 ( − 1 ) 4 k = 1 {\displaystyle (-1)^{4k}=1} 任意の角運動量のような量子数k に対して。
しかしながら、 j i とm i の組み合わせは常に整数となるため、これらの組み合わせにはより強いルールが適用されます。 ( − 1 ) 2 ( j 私 − m 私 ) = 1 {\displaystyle (-1)^{2(j_{i}-m_{i})}=1} この等式は、 j i またはm i のいずれか、あるいは両方の符号が反転した場合でも成り立つ。
与えられた( j i , m i ) ペアの任意の位相因子は、次の標準形に還元できることに注目すると便利である。 ( − 1 ) 1 j 私 + b ( j 私 − m 私 ) {\displaystyle (-1)^{aj_{i}+b(j_{i}-m_{i})}} ここで、a ∈ {0, 1, 2, 3} 、b ∈ {0, 1} である(他の表記法も可能)。位相因子をこの形式に変換することで、2つの位相因子が等価かどうかを容易に判断できる。(ただし、この形式は局所的に正準なだけであり、次の段落で説明するような ( j i , m i ) ペアの組み合わせを規定する規則は考慮されていないことに注意。)
クレブシュ・ゴルダン係数またはウィグナー3-j記号によって関連付けられる j1、j2、j3 の組み合わせ について は 、 追加の規則が適用されます。 ( − 1 ) 2 ( j 1 + j 2 + j 3 ) = 1 {\displaystyle (-1)^{2(j_{1}+j_{2}+j_{3})}=1} この等式は、いずれかのj i の符号が反転した場合、またはそれらのいずれかがm i に置き換えられた場合にも成り立ちます。
ウィグナー3j記号との関係クレブシュ・ゴルダン係数は、より便利な対称関係を持つウィグナー3-j記号と関連している。
係数(−1) 2 j 2 は、 ⟨ j 1 j 1 j 2 ( J − j 1 )| JJ ⟩ > 0 というコンドン–ショートリー制約によるものであり、(−1) J − M は| JM ⟩ の時間反転の性質によるものである。
これにより、以下の一般式が得られます。
⟨ j 1 m 1 j 2 m 2 | J M ⟩ ≡ δ ( m 1 + m 2 、 M ) ( 2 J + 1 ) ( j 1 + j 2 − J ) ! ( j 1 − j 2 + J ) ! ( − j 1 + j 2 + J ) ! ( j 1 + j 2 + J + 1 ) ! × × ( j 1 − m 1 ) ! ( j 1 + m 1 ) ! ( j 2 − m 2 ) ! ( j 2 + m 2 ) ! ( J − M ) ! ( J + M ) ! × × ∑ k = K N ( − 1 ) k k ! ( j 1 + j 2 − J − k ) ! ( j 1 − m 1 − k ) ! ( j 2 + m 2 − k ) ! ( J − j 2 + m 1 + k ) ! ( J − j 1 − m 2 + k ) ! 、 。 {\displaystyle {\begin{aligned}\langle j_{1}\,m_{1}\,j_{2}\,m_{2}|J\,M\rangle &\equiv \delta (m_{1}+m_{2},M){\sqrt {\frac {(2J+1)(j_{1}+j_{2}-J)!(j_{1}-j_{2}+J)!(-j_{1}+j_{2}+J)!}{(j_{1}+j_{2}+J+1)!}}}\ \times {}\\[6pt]&\times {\sqrt {(j_{1}-m_{1})!(j_{1}+m_{1})!(j_{2}-m_{2})!(j_{2}+m_{2})!(J-M)!(J+M)!}}\ \times {}\\[6pt]&\times \sum _{k=K}^{N}{\frac {(-1)^{k}}{k!(j_{1}+j_{2}-J-k)!(j_{1}-m_{1}-k)!(j_{2}+m_{2}-k)!(J-j_{2}+m_{1}+k)!(J-j_{1}-m_{2}+k)!}},\end{aligned}}.} 総和は、分母の各階乗 の引数が非負である整数値kについて行われます。つまり、総和の範囲 K とN は 等しくなります。K = 最大 ( 0 、 j 2 − J − m 1 、 j 1 − J + m 2 ) 、 {\displaystyle K=\max(0,j_{2}-J-m_{1},j_{1}-J+m_{2}),} 上のものN = ミニ ( j 1 + j 2 − J 、 j 1 − m 1 、 j 2 + m 2 ) 。 {\displaystyle N=\min(j_{1}+j_{2}-J,j_{1}-m_{1},j_{2}+m_{2}).} 負の数の階乗は慣習的にゼロとみなされるため、たとえば、 3 j 記号の値は、j 3 > j 1 + j 2 {\displaystyle j_{3}>j_{1}+j_{2}} またはj 1 < m 1 {\displaystyle j_{1}<m_{1}} 自動的にゼロに設定されます。
ウィグナーD行列との関係 ∫ 0 2 π d α ∫ 0 π 罪 β d β ∫ 0 2 π d γ D M 、 K J ( α 、 β 、 γ ) * D m 1 、 k 1 j 1 ( α 、 β 、 γ ) D m 2 、 k 2 j 2 ( α 、 β 、 γ ) = 8 π 2 2 J + 1 ⟨ j 1 m 1 j 2 m 2 | J M ⟩ ⟨ j 1 k 1 j 2 k 2 | J K ⟩ {\displaystyle {\begin{aligned}&\int _{0}^{2\pi }d\alpha \int _{0}^{\pi }\sin \beta \,d\beta \int _{0}^{2\pi }d\gamma \,D_{M,K}^{J}(\alpha ,\beta ,\gamma )^{*}D_{m_{1},k_{1}}^{j_{1}}(\alpha ,\beta ,\gamma )D_{m_{2},k_{2}}^{j_{2}}(\alpha ,\beta ,\gamma )\\{}={}&{\frac {8\pi ^{2}}{2J+1}}\langle j_{1}\,m_{1}\,j_{2}\,m_{2}|J\,M\rangle \langle j_{1}\,k_{1}\,j_{2}\,k_{2}|J\,K\rangle \end{aligned}}}
球面調和関数との関係 整数が関係する場合、係数は球面調和関数 の積分 と関連付けることができる。 ∫ 4 π Y ℓ 1 m 1 * ( Ω ) Y ℓ 2 m 2 * ( Ω ) Y L M ( Ω ) d Ω = ( 2 ℓ 1 + 1 ) ( 2 ℓ 2 + 1 ) 4 π ( 2 L + 1 ) ⟨ ℓ 1 0 ℓ 2 0 | L 0 ⟩ ⟨ ℓ 1 m 1 ℓ 2 m 2 | L M ⟩ {\displaystyle \int _{4\pi }Y_{\ell _{1}}^{m_{1}}{}^{*}(\Omega )Y_{\ell _{2}}^{m_{2}}{}^{*}(\Omega )Y_{L}^{M}(\Omega )\,d\Omega ={\sqrt {\frac {(2\ell _{1}+1)(2\ell _{2}+1)}{4\pi (2L+1)}}}\langle \ell _{1}\,0\,\ell _{2}\,0|L\,0\rangle \langle \ell _{1}\,m_{1}\,\ell _{2}\,m_{2}|L\,M\rangle }
このことと球面調和関数の正規直交性から、CG係数は実際には2つの球面調和関数の積を1つの球面調和関数で展開した係数であることが導かれる。 Y ℓ 1 m 1 ( Ω ) Y ℓ 2 m 2 ( Ω ) = ∑ L 、 M ( 2 ℓ 1 + 1 ) ( 2 ℓ 2 + 1 ) 4 π ( 2 L + 1 ) ⟨ ℓ 1 0 ℓ 2 0 | L 0 ⟩ ⟨ ℓ 1 m 1 ℓ 2 m 2 | L M ⟩ Y L M ( Ω ) {\displaystyle Y_{\ell _{1}}^{m_{1}}(\Omega )Y_{\ell _{2}}^{m_{2}}(\Omega )=\sum _{L,M}{\sqrt {\frac {(2\ell _{1}+1)(2\ell _{2}+1)}{4\pi (2L+1)}}}\langle \ell _{1}\,0\,\ell _{2}\,0|L\,0\rangle \langle \ell _{1}\,m_{1}\,\ell _{2}\,m_{2}|L\,M\rangle Y_{L}^{M}(\Omega )}
その他の物件 ∑ m ( − 1 ) j − m ⟨ j m j ( − m ) | J 0 ⟩ = δ J 、 0 2 j + 1 {\displaystyle \sum _{m}(-1)^{j-m}\langle j\,m\,j\,(-m)|J\,0\rangle =\delta _{J,0}{\sqrt {2j+1}}}
↑ 「全」という言葉は、しばしば複数の異なる意味で使われることがあります。この記事では、「全角運動量」とは、2つの角運動量演算子j 1 とj 2 の一般的な和を指します。これは、軌道角運動量 とスピンの 和を具体的に指す「全角運動量」という用語の一般的な用法と混同しないでください。
参考文献 Alex, A.; Kalus, M.; Huckleberry, A.; von Delft, J. (2011). "SU(N) および SL(N,C) クレブシュ・ゴルダン係数の明示的計算のための数値アルゴリズム". J. Math. Phys . 82 (2): 023507. arXiv : 1009.0437 . Bibcode : 2011JMP....52b3507A . doi : 10.1063/1.3521562 . S2CID 55572438 . コンドン、エドワード・U.、ショートリー、GH(1970)。「第3章」。『原子スペクトルの理論』 。ケンブリッジ:ケンブリッジ大学出版 局 。ISBN 978-0-521-09209-8 。 エドモンズ、AR(1957)。量子力学における角運動量 。プリンストン、ニュージャージー州:プリンストン大学出版局。ISBN 978-0-691-07912-7 。 ウォルター・グライナー ;ミュラー、ベルント (1994)。量子力学: 対称性 (第 2 版)。スプリンガー・フェルラーグ 。ISBN 978-3540580805 。Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction , Graduate Texts in Mathematics, vol. 222 (2nd ed.), Springer, ISBN 978-3319134666 Kaplan, LM; Resnikoff, M. (1967). "SU(n) の正則表現の行列積と明示的な 3, 6, 9, 12j 係数". J. Math. Phys . 8 (11): 2194. Bibcode : 1967JMP.....8.2194K . doi : 10.1063/1.1705141 . Kaeding, Thomas (1995). "SU(3)アイソスカラー因子の表". Atomic Data and Nuclear Data Tables . 61 (2): 233– 288. arXiv : nucl-th/9502037 . Bibcode : 1995ADNDT..61..233K . doi : 10.1006/adnd.1995.1011 . メルツバッハー、オイゲン ( 1998)。量子力学 (第3 版)。ジョン・ワイリー。428 ~ 429頁。ISBN 978-0-471-88702-7 。アルバート・メサイア (1966)。量子力学 (第1巻および第2巻)、GM・テマーによるフランス語からの英訳。ノース・ホランド、ジョン・ワイリー・アンド・サンズ。de Swart, JJ (1963). "八重項モデルとそのクレブシュ・ゴルダン係数" . Rev. Mod. Phys. (投稿原稿). 35 (4): 916. Bibcode : 1963RvMP...35..916D . doi : 10.1103/RevModPhys.35.916 .
外部リンク 中村健三ほか (2010). 「素粒子物理学レビュー:クレブシュ・ゴルダン係数、球面調和関数、d 関数」(PDF) . Journal of Physics G: Nuclear and Particle Physics . 37 (75021): 368. Bibcode : 2010JPhG...37g5021N . doi : 10.1088/0954-3899/37/7A/075021 . 2012年版への部分的な更新 クレブシュ・ゴルダン係数(3jおよび6j)ウェブ計算ツール MacおよびWindows用のダウンロード可能なクレブシュ・ゴルダン係数計算ツール SU(N)クレブシュ・ゴルダン係数を表にまとめるためのウェブインターフェース
さらに読む Zaarur, E.; Peleg, Y.; Pnini, R. (2006).量子力学 . Schaum's Easy OUlines Crash Course. McGraw Hill. ISBN 978-007-145533-6 。 Eisberg, R.; Resnick, R. (1985).原子、分子、 固体、原子核、および粒子の量子物理学 (第2 版)。Wiley。ISBN 978-0-471-87373-0 。 アバース、E. (2004).量子力学 . プレンティス・ホール. ISBN 978-0-13-146100-0 。 Bransden, BH; Joachain, CJ (1983).原子と分子の物理学 . Longman. ISBN 0-582-44401-2 。 Woan, G. (2010). 『ケンブリッジ物理学公式ハンドブック 』ケンブリッジ大学出版局。ISBN 978-0-521-57507-2 。 ラーナー、RG ;トリッグ、GL(1991)。物理学百科事典 (第2 版)。VHC出版社。ISBN 0-89573-752-3 。パーカー、CB(1994)。マグロウヒル物理学百科事典 (第2 版)。ISBN 0-07-051400-3 。 ビーデンハーン、LC; ルーク、JD (1981).量子物理学における角運動量 . マサチューセッツ州レディング: アディソン・ウェスリー. ISBN 978-0-201-13507-7 。 Brink, DM; Satchler, GR (1993). "2. 回転群の表現".角運動量 (第3 版). Clarendon Press. ISBN 978-0-19-851759-7 。 メサイア、アルバート(1981)。「XIII. 量子力学における角運動量」。量子力学 。第 II巻。ノースホランド。507ページ以降 。ISBN 978-0-7204-0045-8 。 ザレ、リチャード・N. (1988). 「2. 2つ の角運動量ベクトルの結合」『角運動量:化学と物理学における空間的側面の理解』 ワイリー。43–頁 。ISBN 978-0-471-85892-8 。