本稿では以下、特に断りがない限り非相対論な量子力学に対するスピンの概念について述べる。
準備 本節ではまず回転群とユニタリ群について紹介し、次にこれらの概念を使って軌道角運動量の概念を回転対称性の観点から定式化する。本節で軌道角運動量の概念を復習するのは、次節以降、軌道角運動量の定義を参考にしながらスピン角運動量の概念を定式化する為である。
数学の準備 スピン角運動量演算子の定義に必要な数学的知識を簡単に述べる。R を実数全体の集合、C を複素数全体の集合とする。3次元空間R 3 における回転行列 全体の集合を
S O ( 3 ) = { R ∈ M n , n ( R ) : t R R = I , det R = 1 } {\displaystyle \mathrm {SO} (3)=\{R\in M_{n,n}(\mathbf {R} )~:~{}^{t}RR=I,~\det R=1\}} と表記する。ここで M n , n ( R ) {\displaystyle M_{n,n}(\mathbf {R} )} は n 行 n 列の実行列 全体の集合であり、I は単位行列 であり、t R は R の転置行列 である。SO(3) は行列の積に関して群 をなすので、SO(3) を3次元回転群 という。
SO(3) のように、「滑らかな 」構造を持った群をリー群 という(厳密な定義はリー群の項目を参照)。特にSO(3) のように行列からなるリー群を行列リー群 あるいは単に行列群 という。本項で登場するリー群は以下の行列群に限られる。そこで本項ではリー群の一般論を展開するのは避け、以下の行列群に限定して話をすすめる。 以下でV は複素計量ベクトル空間であり、I は単位行列であり、A * はA のエルミート共役 である:
3次元回転群 S O ( 3 ) = { R ∈ M n , n ( R ) : t R R = I , det R = 1 } {\displaystyle \mathrm {SO} (3)=\{R\in M_{n,n}(\mathbf {R} )~:~{}^{t}RR=I,~\det R=1\}} …() ユニタリ群 U ( V ) = { U : V {\displaystyle \mathrm {U} (V)=\{U~:~V} 上の線形写像で、 U U ∗ = I } {\displaystyle UU^{*}=I\}} …()特殊ユニタリ群 S U ( V ) = { U : V {\displaystyle \mathrm {SU} (V)=\{U~:~V} 上の線形写像で、 U U ∗ = I , d e t U = 1 } {\displaystyle UU^{*}=I,~\mathrm {det} U=1\}} …()ベクトル空間V がC n である場合は、U(V )、SU(V ) の事をそれぞれU(n )、SU(n ) と表記する。
G をSO(3)、U(V )、SU(V ) のいずれかとするとき、集合
g = { d R ( t ) d t | t = 0 : R ( t ) {\displaystyle {\mathsf {g}}={\Bigg \{}{\operatorname {d} R(t) \over \operatorname {d} t}{\Bigg |}_{t=0}~:~R(t)} は G 上の可微分な曲線で、t =0 のとき単位行列となる } {\displaystyle {\Bigg \}}} …()をG のリー環 と呼び、 g {\displaystyle {\mathsf {g}}} の元をG 上の無限小変換 と呼ぶ。リー「環 」という名称なのは、 g {\displaystyle {\mathsf {g}}} が行列の交換子積
[ A , B ] = A B − B A {\displaystyle [A,B]=AB-BA} に関して環をなすからである。SO(3)、U(V )、SU(V ) のリー環はそれぞれ、
s o ( 3 ) = { F ∈ M n , n ( R ) : t F = − F } {\displaystyle {\mathsf {so}}(3)=\{F\in M_{n,n}(\mathbf {R} )~:~{}^{t}F=-F\}} …() u ( V ) = { A : A {\displaystyle {\mathsf {u}}(V)=\{A~:~A} はV 上の線形写像で、 A ∗ = − A } = { A : A {\displaystyle A^{*}=-A\}=\{A~:~A} はV 上の歪エルミート演算子 } {\displaystyle \}} …() s u ( V ) = { A : {\displaystyle {\mathsf {su}}(V)=\{A~:~} はV 上の線形写像で、 A ∗ = − A , t r A = 0 } {\displaystyle A^{*}=-A,~\mathrm {tr} A=0\}} …()である。so(3) が上述した形になるのは以下の理由による。R (t ) をSO(3) 上の可微分な曲線で、t =0 のとき単位行列となるものとすると、SO(3) の定義より、
t R ( t ) R ( t ) = I {\displaystyle {}^{t}R(t)R(t)=I} なので、その t = 0 での微分は
t d R ( t ) d t | t = 0 + d R ( t ) d t | t = 0 = 0 {\displaystyle \left.{{}^{t}\operatorname {d} R(t) \over \operatorname {d} t}\right|_{t=0}+\left.{\operatorname {d} R(t) \over \operatorname {d} t}\right|_{t=0}=0} を満たす為である。u(V )、su(V ) が上述の形になる事も同様の方法で証明できる。なお、ここではVが有限次元の場合を想定したが、無限次元のヒルベルト空間 の場合も同様の事が成立する。
g {\displaystyle {\mathsf {g}}} をso(3)、u(V )、su(V ) のいずれかとし、行列 A ∈ g {\displaystyle A\in {\mathsf {g}}} に対しexp(A ) を
e x p ( A ) = ∑ n = 0 ∞ A n n ! {\displaystyle \mathrm {exp} (A)=\sum _{n=0}^{\infty }{A^{n} \over n!}} …()と定義すると次が成立する:
A ∈so(3)、u(V )、su(V ) であれば、exp(A ) はそれぞれSO(3)、U(V )、SU(V ) の元である。 …() d d t | t = 0 exp ( t A ) = A {\displaystyle {\operatorname {d} \over \operatorname {d} t}{\Bigg |}_{t=0}\exp(tA)=A} …()SO(3) に関しては上述の性質を更に具体的に書き表す事ができる。3次元ベクトル x = (x , y , z ) ∈ R 3 に対し、so(3)に属する行列F x を
F x = ( 0 − z y z 0 − x − y x 0 ) ∈ s o ( 3 ) {\displaystyle F_{\boldsymbol {x}}={\begin{pmatrix}0&-z&y\\z&0&-x\\-y&x&0\end{pmatrix}}\in {\mathsf {so}}(3)} …()と定義すると次が成立する:
exp(F x ) は x を軸とする回転行列で、回転角は軸に対しては右回りに ||x || ラジアン である。 …() [ F x , F y ] = F x × y {\displaystyle [F_{\mathbf {x} },F_{\mathbf {y} }]=F_{\mathbf {x} \times \mathbf {y} }} …()ここで「× 」はクロス積 である。G 、H をSO(3)、U(V )、SU(V ) のいずれかとし、 g {\displaystyle {\mathsf {g}}} 、 h {\displaystyle {\mathsf {h}}} をG 、H のリー環とする。(すなわち g {\displaystyle {\mathsf {g}}} 、 h {\displaystyle {\mathsf {h}}} はso(3)、u(V )、su(V ) のいずれかである)。
π : G → H {\displaystyle \pi ~:~G\to H} をG からH への可微分な準同型 写像とする。このときπ が誘導する写像 π * を
π ∗ : d R ( t ) d t | t = 0 ∈ g {\displaystyle \pi _{*}~:~{\operatorname {d} R(t) \over \operatorname {d} t}{\Bigg |}_{t=0}\in {\mathsf {g}}} ↦ d π ( R ( t ) ) d t | t = 0 ∈ h {\displaystyle \mapsto {\operatorname {d} \pi (R(t)) \over \operatorname {d} t}{\Bigg |}_{t=0}\in {\mathsf {h}}} …()により定義すると、この写像はwell-defined になる。しかもこの写像はリー環としての準同型写像になることが知られている。すなわち
π ∗ ( [ A , B ] ) = [ π ( A ) , π ( B ) ] {\displaystyle \pi _{*}([A,B])=[\pi (A),\pi (B)]} …()である。
π が誘導する写像π * と行列の指数関数exp は以下の関係を満たす:
任意の A ∈ g {\displaystyle A\in {\mathsf {g}}} に対し、 π ( exp ( A ) ) = exp ( π ∗ ( A ) ) {\displaystyle \pi (\exp(A))=\exp(\pi _{*}(A))} …()
空間の回転対称性からみた軌道角運動量演算子 (非相対論的な)量子力学において、波動関数 全体の集合はヒルベルト空間 H {\displaystyle {\mathcal {H}}} として記述可能であり、(スピンを考慮しない)一粒子からなる系の場合、 H {\displaystyle {\mathcal {H}}} は3次元ユークリッド空間 R 3 上のL 2 空間 と等しい、すなわち
H = L 2 ( R 3 ) {\displaystyle {\cal {H}}=L^{2}(\mathbf {R} ^{3})} である。
軌道角運動量演算子は、空間の回転に対する対称性として導出される。 そこで軌道角運動量演算子を導出するため、回転行列によって波動関数がどのように変化するかを調べる。3次元の回転行列全体のなすリー群を SO(3) と書くとき、回転行列 R ∈ SO(3) により座標系を回転したとき、波動関数 ϕ (x ) は ϕ (R −1 x ) に移動する。すなわち、各回転行列 R ∈ SO(3) に対し、波動関数の空間 L 2 ( R 3 ) {\displaystyle L^{2}(\mathbf {R} ^{3})} 上にユニタリ演算子
λ ( R ) : L 2 ( R 3 ) → L 2 ( R 3 ) , {\displaystyle \lambda (R)~:~L^{2}(\mathbf {R} ^{3})\to L^{2}(\mathbf {R} ^{3}),~~} ϕ ( x ) ↦ ϕ ( R − 1 x ) {\displaystyle \phi ({\boldsymbol {x}})\mapsto \phi (R^{-1}{\boldsymbol {x}})} が定義される。
複素計量ベクトル空間V 上のユニタリ演算子全体のなす群をU(V ) とするとき、回転行列 R に対し複素ベ クトル空間 L 2 ( R 3 ) {\displaystyle L^{2}(\mathbf {R} ^{3})} 上のユニタリ演算子 λ R を対応させる(連続準同型 )写像
λ : R ∈ S O ( 3 ) ↦ λ ( R ) ∈ U ( L 2 ( R 3 ) ) {\displaystyle \lambda ~:~R\in \mathrm {SO} (3)\mapsto \lambda (R)\in \mathrm {U} (L^{2}(\mathbf {R} ^{3}))} を SO(3) の L 2 ( R 3 ) {\displaystyle L^{2}(\mathbf {R} ^{3})} 上のユニタリ表現 という。
一方、SO(3) に対応する「無限小変換」全体の集合 so(3) を(G1 )のように定義し、(G14 )に従ってλ が誘導する写像 λ* を
λ ∗ : d R ( t ) d t | t = 0 ∈ s o ( 3 ) {\displaystyle \lambda _{*}~:~{\operatorname {d} R(t) \over \operatorname {d} t}{\Bigg |}_{t=0}\in {\mathsf {so}}(3)} ↦ d λ ( R ( t ) ) d t | t = 0 ∈ { L 2 ( R 3 ) {\displaystyle \mapsto {\operatorname {d} \lambda (R(t)) \over \operatorname {d} t}{\Bigg |}_{t=0}\in \{L^{2}(\mathbf {R} ^{3})} 上の歪エルミート演算子 } {\displaystyle \}} そこで単位ベクトル n = (x , y , z ) ∈ R 3 に対し、F n を(G11 )のように定義し、虚数単位 i と換算プランク定数 ħ を用いて、
L ^ n {\displaystyle {\hat {L}}_{\mathbf {n} }} = i ℏ λ ∗ ( F n ) {\displaystyle =i\hbar \lambda _{*}(F_{\mathbf {n} })} …()と定義すると、 L ^ n {\displaystyle {\hat {L}}_{\mathbf {n} }} はL 2 (R 3 ) 上のエルミート演算子になる。この演算子は「無限小回転F n に対応する演算子」であり、この演算子を軸 n = (x , y , z ) ∈ R 3 の周りの軌道角運動量演算子 と呼ぶ。
例えば z 軸の周りの軌道角運動量 L ^ z {\displaystyle {\hat {L}}_{z}} が球面座標系 (r , θ , φ ) を用いて
L ^ z = − i ℏ ∂ ∂ φ {\displaystyle {\hat {L}}_{z}=-i\hbar {\partial \over \partial \varphi }} と表記できる事を以下のように確認できる。ψ を任意の波動関数とすると、(G10 )、(G12 )より
L ^ z ψ ( r , θ , φ ) {\displaystyle {\hat {L}}_{z}\psi (r,\theta ,\varphi )} = i ℏ λ ∗ ( F ( 1 , 0 , 0 ) ) ψ ( r , θ , φ ) {\displaystyle =i\hbar \lambda _{*}(F_{(1,0,0)})\psi (r,\theta ,\varphi )} = λ ∗ ( d d t exp ( t F ( 1 , 0 , 0 ) ) | t = 0 ) ψ ( r , θ , φ ) {\displaystyle =\lambda _{*}\left({\operatorname {d} \over \operatorname {d} t}\exp(tF_{(1,0,0)}){\Bigg |}_{t=0}\right)\psi (r,\theta ,\varphi )} = i ℏ d λ ( exp ( t F ( 1 , 0 , 0 ) ) ) d t | t = 0 ψ ( r , θ , ϕ ) {\displaystyle =i\hbar {\operatorname {d} \lambda (\exp(tF_{(1,0,0)})) \over \operatorname {d} t}{\Bigg |}_{t=0}\psi (r,\theta ,\phi )} = i ℏ d d t ψ ( r , θ , φ − t ) | t = 0 {\displaystyle =i\hbar {\operatorname {d} \over \operatorname {d} t}\psi (r,\theta ,\varphi -t){\Bigg |}_{t=0}} = − i ℏ ∂ ∂ φ ψ ( r , θ , φ ) {\displaystyle =-i\hbar {\partial \over \partial \varphi }\psi (r,\theta ,\varphi )} さらに x 軸、y 軸の周りの軌道角運動量をそれぞれ L ^ x {\displaystyle {\hat {L}}_{x}} 、 L ^ y {\displaystyle {\hat {L}}_{y}} とし、F x =F (1,0,0) 、F y =F (0,1,0) 、F z =F (0,0,1) とすると、(G15 )、(G13 )より交換関係
[ L ^ x , L ^ y ] = ( i ℏ ) 2 λ ∗ ( [ F x , F y ] ) = ( i ℏ ) 2 λ ∗ ( F z ) = L ^ z {\displaystyle [{\hat {L}}_{x},{\hat {L}}_{y}]=(i\hbar )^{2}\lambda _{*}([F_{x},F_{y}])=(i\hbar )^{2}\lambda _{*}(F_{z})={\hat {L}}_{z}} [ L ^ y , L ^ z ] = ( i ℏ ) 2 λ ∗ ( [ F y , F z ] ) = ( i ℏ ) 2 λ ∗ ( F x ) = L ^ x {\displaystyle [{\hat {L}}_{y},{\hat {L}}_{z}]=(i\hbar )^{2}\lambda _{*}([F_{y},F_{z}])=(i\hbar )^{2}\lambda _{*}(F_{x})={\hat {L}}_{x}} [ L ^ z , L ^ x ] = ( i ℏ ) 2 λ ∗ ( [ F z , F x ] ) = ( i ℏ ) 2 λ ∗ ( F z ) = L ^ y {\displaystyle [{\hat {L}}_{z},{\hat {L}}_{x}]=(i\hbar )^{2}\lambda _{*}([F_{z},F_{x}])=(i\hbar )^{2}\lambda _{*}(F_{z})={\hat {L}}_{y}} が従う。
2つの軸に関する軌道角運動量演算子は、SO(3) のユニタリ表現 λ によって結ばれる。すなわち、R を回転行列で z 軸を w 軸に移すものとすると、w 軸の周りの軌道角運動量 L ^ w {\displaystyle {\hat {L}}_{w}} は合成写像
L ^ w = λ ( R ) L ^ z λ ( R ) − 1 {\displaystyle {\hat {L}}_{w}=\lambda (R){\hat {L}}_{z}\lambda (R)^{-1}} である。
スピンを考慮した場合の波動関数空間ℋの数学的定式化 前節まで述べたように、軌道角運動量演算子は粒子の位置を表す(x ,y ,z ) による3次元空間上の回転対称性として定義できる。それに対しスピンはそのような定式化ができない。様々な物理実験から、スピンは(x ,y ,z ) とは独立な粒子の第四の内部自由度 である事が知られているからである。これが原因で、スピンを考慮した場合、波動関数 全体のなすヒルベルト空間 H {\displaystyle {\mathcal {H}}} は一粒子系であっても H {\displaystyle {\mathcal {H}}} はL 2 (R 3 ) とは等しくならない。
したがってスピンを記述するには、スピンの状態ベクトルの空間V s をL 2 (R 3 ) とは別個に用意し、
H = L 2 ( R 3 ) ⊗ V s {\displaystyle {\mathcal {H}}=L^{2}(\mathbf {R} ^{3})\otimes V_{s}} を考える必要がある[注釈 1] 。ここで添字s ≥ 0 は整数もしくは半整数であり、V s は2s +1 次元の複素計量ベクトル空間である。
一粒子系の波動関数の空間 H {\displaystyle {\mathcal {H}}} が上述のように表記できるとき、s をその粒子のスピン量子数 という。V s をスピノール空間 、V s の元をスピノール という。s が整数ではない半整数になるときその粒子をフェルミオン といい、s が整数になるときその粒子をボゾン という。
スピンを考慮した波動関数の記述方法 スピンを考慮した波動関数 ψ ∈ H = L 2 ( R 3 ) ⊗ V s {\displaystyle \psi \in {\mathcal {H}}=L^{2}(\mathbf {R} ^{3})\otimes V_{s}} の表記には次の2通りが多用される。
成分表示 テンソル積の定義より、波動関数 ψ ∈ H = L 2 ( R 3 ) ⊗ V s {\displaystyle \psi \in {\mathcal {H}}=L^{2}(\mathbf {R} ^{3})\otimes V_{s}} は
ψ = ∑ j ϕ j ( x , y , z ) ⊗ σ j {\displaystyle \psi =\sum _{j}\phi _{j}(x,y,z)\otimes \sigma _{j}} …()という形に成分表示できる。ここで ϕ j ( x , y , z ) {\displaystyle \phi _{j}(x,y,z)} はL2 (R 3 ) の元であり、σ j は V s の元すなわちスピノールである。そこで、
φ j ( x , y , z , σ ) := ϕ j ( x , y , z ) ⊗ σ {\displaystyle \varphi _{j}(x,y,z,\sigma ):=\phi _{j}(x,y,z)\otimes \sigma } と定義すれば、
ψ = ∑ j φ j ( x , y , z , σ j ) {\displaystyle \psi =\sum _{j}\varphi _{j}(x,y,z,\sigma _{j})} である。この形はスピン(を表すスピノール σ j ) が (x ,y ,z ) とは独立である事がわかりやすい。
スピノール表示 スピンを考慮した波動関数 ψ (B1 ) に対し、ψ' (x ,y ,z ) を
ψ ′ ( x , y , z ) := ∑ j ϕ j ( x , y , z ) ⋅ σ j ∈ V s {\displaystyle \psi '(x,y,z):=\sum _{j}\phi _{j}(x,y,z)\cdot \sigma _{j}\in V_{s}} と定義する。なお上式の「・」はベクトル σ j の各成分にスカラー ϕ j {\displaystyle \phi _{j}} を乗じるいわゆる内積。スピンなし波動関数が1次元複素計量ベクトル空間 C に値を取るのに対し、ψ' (x ,y ,z ) は 2s +1 次元複素計量ベクトル空間 V s に値を取る 。このように V s に値を取る波動関数とみなす記述はスピノール表示 と呼ばれる。
スピノールを成分表示することがある。e −s , e −(s − 1) , …, e s − 1 , e s をV s の基底とするとき、ψ' (x ,y ,z ) は必ず
ψ ′ ( x , y , z ) := ∑ j ϕ j ′ ( x , y , z ) ⋅ e j ∈ V s {\displaystyle \psi '(x,y,z):=\sum _{j}\phi '_{j}(x,y,z)\cdot e_{j}\in V_{s}} の形で表記できるので、ψ' (x ,y ,z ) はベクトル
( ϕ − s ′ ( x , y , z ) ⋮ ϕ s ′ ( x , y , z ) ) {\displaystyle {\begin{pmatrix}\phi '_{-s}(x,y,z)\\\vdots \\\phi '_{s}(x,y,z)\\\end{pmatrix}}} と成分表示できる。
なお基底 e −s , e −(s − 1) , …, e s − 1 , e s は通常、(何らかの軸に関する)スピン演算子に対応した固有ベクトルとする。
スピンを考慮した場合のオブザーバブル 量子力学においてスピンを考慮しない場合のオブザーバブル A ^ {\displaystyle {\hat {A}}} は、L 2 (R 3 ) 上のエルミート演算子として定式化されている。スピンを考慮した場合、この演算子 A ^ {\displaystyle {\hat {A}}} を
A ^ ⊗ i d : L 2 ( R 3 ) ⊗ V s → L 2 ( R 3 ) ⊗ V s , {\displaystyle {\hat {A}}\otimes \mathrm {id} ~:~L^{2}(\mathbf {R} ^{3})\otimes V_{s}\to L^{2}(\mathbf {R} ^{3})\otimes V_{s},} ∑ j ϕ j ( x , y , z ) ⊗ σ j ↦ ∑ j A ^ ( ϕ j ( x , y , z ) ) ⊗ σ j {\displaystyle \sum _{j}\phi _{j}(x,y,z)\otimes \sigma _{j}\mapsto \sum _{j}{\hat {A}}(\phi _{j}(x,y,z))\otimes \sigma _{j}} と同一視する事で、スピンを考慮した波動関数の空間 H = L 2 ( R 3 ) ⊗ V s {\displaystyle {\mathcal {H}}=L^{2}(\mathbf {R} ^{3})\otimes V_{s}} 上のオブザーバブルとみなす。(ここでid は恒等写像 である)。
後述するように、スピン角運動量演算子は、V s 上のエルミート演算子として定式化できるが、これも同種の同一視により、 H = L 2 ( R 3 ) ⊗ V s {\displaystyle {\mathcal {H}}=L^{2}(\mathbf {R} ^{3})\otimes V_{s}} 上のオブザーバブルとみなす。すなわち S ^ {\displaystyle {\hat {S}}} を(何らかの軸に関する)スピン角運動量とするとき、 S ^ {\displaystyle {\hat {S}}} は
i d ⊗ S ^ : L 2 ( R 3 ) ⊗ V s → L 2 ( R 3 ) ⊗ V s , {\displaystyle \mathrm {id} \otimes {\hat {S}}~:~L^{2}(\mathbf {R} ^{3})\otimes V_{s}\to L^{2}(\mathbf {R} ^{3})\otimes V_{s},~~} ∑ j ϕ j ( x , y , z ) ⊗ σ j ↦ ∑ j ϕ j ( x , y , z ) ⊗ S ^ ( σ j ) {\displaystyle \sum _{j}\phi _{j}(x,y,z)\otimes \sigma _{j}\mapsto \sum _{j}\phi _{j}(x,y,z)\otimes {\hat {S}}(\sigma _{j})} と同一視する。
V s 上のユニタリ表現に関する問題軌道角運動量演算子が L 2 ( R 3 ) {\displaystyle L^{2}(\mathbf {R} ^{3})} 上の「無限小回転に対する演算子」として定義可能であったのと同様、スピン角運動量演算子は V s に対する無限小回転に対する演算子として定義する事ができる。しかしながら、軌道角運動量演算子の定義における L 2 ( R 3 ) {\displaystyle L^{2}(\mathbf {R} ^{3})} を単純に V s に置き換えただけではスピン角運動量演算子は定義できない。これは次の理由による。
軌道角運動量演算子の場合、3次元回転行列群 SO(3) の L 2 ( R 3 ) {\displaystyle L^{2}(\mathbf {R} ^{3})} 上のユニタリ表現
λ ( R ( t ) ) : L 2 ( R 3 ) → L 2 ( R 3 ) , ϕ ( x ) ↦ ϕ ( R ( t ) − 1 x ) {\displaystyle \lambda (R(t))~:~L^{2}(\mathbf {R} ^{3})\to L^{2}(\mathbf {R} ^{3}),~~\phi ({\boldsymbol {x}})\mapsto \phi (R(t)^{-1}{\boldsymbol {x}})} を t に関して微分する事で軌道角運動量演算子を定義していた。
したがって軌道角運動量演算子の定義において単純に L 2 ( R 3 ) {\displaystyle L^{2}(\mathbf {R} ^{3})} を V s に置き換えてスピン角運動量演算子を定義しようとすると、SO(3) の V s 上のユニタリ表現が必要となる。しかしながら、そのような表現は常に存在するわけではないことが知られている:
― 次が成立する:
s が整数の場合、SO(3) の V s 上の既約なユニタリ表現が(同型を除いて一意に)存在する。s が整数でない半整数の場合、SO(3) のV s 上の既約なユニタリ表現は存在しない。すなわち上述した方法論では、s が半整数の場合に対してスピン角運動量演算子を定義する事ができない。この問題の解決方法は2つあり、後述するように2つは本質的に同値である。
射影ユニタリ表現を用いた解決 一つ目の解決方法は V s を直接考えるのではなく、V s の元を位相 の相違を無視する同値関係
ϕ ∼ ψ {\displaystyle \phi \sim \psi } ⟺ d e f ∃ α ∈ [ 0 , 2 π ] : ϕ = e i α ψ {\displaystyle {\overset {def}{\iff }}\exists \alpha \in [0,2\pi ]~:~\phi =\mathrm {e} ^{i\alpha }\psi } で割った空間
V s / ∼ {\displaystyle V_{s}/\sim } を考え、同様にユニタリ演算子に対しても同様の同値関係
U ∼ U ′ {\displaystyle U\sim U'} ⟺ d e f ∃ α ∈ [ 0 , 2 π ] : U = e i α U ′ {\displaystyle {\overset {def}{\iff }}\exists \alpha \in [0,2\pi ]~:~U=\mathrm {e} ^{i\alpha }U'} により同一視した同値類 [U ] を考えるというものである。このユニタリ演算子の同値類全体の集合を
P U ( V s ) = U ( V s ) / ∼ {\displaystyle \mathrm {PU} (V_{s})=\mathrm {U} (V_{s})/\sim } と表記する。PU(V s ) を V s 上の射影ユニタリ群 、PU(V s ) に属する同値類を V s 上の射影ユニタリ演算子 と呼ぶ。
射影ユニタリ演算子 [U ] は V s / ∼ 上の写像となる事が知られている:
[ U ] : V s / ∼ → V s / ∼ {\displaystyle [U]~:~V_{s}/\sim ~\to ~V_{s}/\sim } そこでスピン演算子の振る舞いを記述するため、SO(3) のユニタリ表現の代わりに SO(3) の射影ユニタリ表現
R ∈ S O 3 ↦ λ ′ ( R ) ∈ P U ( V s ) {\displaystyle R\in \mathrm {SO} _{3}\mapsto \lambda '(R)\in \mathrm {PU} (V_{s})} を用いる。
通常のユニタリ表現と違い、射影ユニタリ表現は次を満たす事が知られている
― s が整数であっても半整数であっても、SO(3) の V s 上の既約な射影ユニタリ表現が(同型を除いて一意に)存在する。
よってユニタリ表現の代わりに射影ユニタリ表現を利用する事でスピン角運動量演算子が定義可能である。
本稿では、射影ユニタリ表現を利用したスピン角運動量演算子の定義の詳細は述べない。これは射影ユニタリ表現を使ってスピン演算子を記述している物理の教科書は少ない為である。しかしすでに述べたように、射影ユニタリ表現による解決方法は後述するもう一つの解決方法と本質的に同値なので、もう一つの解決方法を利用したスピン角運動量演算子の定義から射影ユニタリ表現を利用したスピン角運動量演算子の定義を導くことができる。
射影ユニタリ表現による解決方法は、物理的に意味を持たないフェーズで同一視した事を除けば、他のオブザーバブルと類似した形式でスピン角運動量演算子を記述できるため、後述するもう一つの解決と比べ、その物理的意味がわかりやすい事が利点である。
スピン群を用いた解決方法 今一つの解決は、SO(3) の代わりに3次元スピン群 Spin(3) を用いるというものである。そこでまず、スピン群の定義と性質を紹介する。n 次元スピン群とは以下の性質を満たす連結 な行列群 の事である。(このような性質を満たす連結行列群は同型を除いて1つしか存在しない事が知られている):
可微分準同型写像 Φn : Spin(n ) → SO(n ) で、2:1 の全射となるものが存在する。 … ここでSO(n ) はn 次元回転行列のなす群である。スピン角運動量の定義に必要なのは、次元が3の場合のスピン群Spin(3) であり、Spin(3) は2次元特殊ユニタリ変換群 SU(2) と同型なことが知られている:
S p i n ( 3 ) ≃ S U ( 2 ) = { U ∈ M 2 , 2 ( C ) : U ∗ U = I , d e t U = 1 } {\displaystyle \mathrm {Spin} (3)\simeq \mathrm {SU} (2)=\{U\in \mathrm {M} _{2,2}(\mathbf {C} )~:~U^{*}U=I,~\mathrm {det} U=1\}} したがって以下、特に断りがない限り Spin(3) と SU(2) を同一視する。
スピン群の定義より、回転行列 R は何らかのスピン群の元 U を用いて
R = Φ 3 ( U ) {\displaystyle R=\Phi _{3}(U)} と書くことができる。これはすなわち、回転行列 R を直接扱う代わりに、スピン群の元 U により回転が記述可能な事を意味する。そこで SO(3) のユニタリ表現の代わりに Spin(3) のユニタリ表現を考える。SO(3) のユニタリ表現と違い、Spin(3) のユニタリ表現は以下を満たす:
― s が整数であっても半整数であっても、Spin(3) の V s 上の既約なユニタリ表現が(同型を除いて一意に)存在する。
よって SO(3) のユニタリ表現の代わりに Spin(3) のユニタリ表現を利用する事でスピン角運動量演算子が定義可能である。詳細は後述する。
2つの解決方法の同値性 上述した2つの解決方法は、本質的に同値である。これは Spin(3) のユニタリ表現と SO(3) の射影ユニタリ表現が自然に1対1対応する為である。具体的には、π s (S ) をスピン群の元 S の V s 上のユニタリ表現とし、γ(R ) を回転行列 R の V s 上の射影ユニタリ表現とすると、(適切に同型なものと置き換えれば)以下の図式が可換になる。ここで proj は同値類を取る写像。
S p i n ( 3 ) ⟶ Φ 3 S O ( 3 ) π s ↓ ↺ γ ↓ U ( V s ) ⟶ proj P U ( V s ) {\displaystyle {\begin{array}{ccc}\mathrm {Spin} (3)&{\overset {\Phi _{3}}{\longrightarrow }}&\mathrm {SO} (3)\\\pi _{s}{\Big \downarrow }&\circlearrowleft &\gamma {\Big \downarrow }\\\mathrm {U} (V_{s})&{\overset {\text{proj}}{\longrightarrow }}&\mathrm {PU} (V_{s})\end{array}}}
スピンの定義に用いる空間と関数の具体的表記 以上の議論により、Spin(3)=SU(2) を用いる事でスピン角運動量を定義できる事がわかった。そこで本節では、スピン角運動量の定義に必要となる
スピノール空間V s 定理3 で述べたSpin(3)=SU(2) の既約ユニタリ表現 π s : S p i n ( 3 ) → U ( 2 ) {\displaystyle \pi _{s}~~:~~\mathrm {Spin} (3)\to \mathrm {U} (2)} Spin(3)=SU(2) からSO(3) への写像 Φ 3 : S p i n ( 3 ) → S O ( 3 ) {\displaystyle \Phi _{3}~~:~~\mathrm {Spin} (3)\to \mathrm {SO} (3)} などを具体的に書き表す。ただし本節ではV s とπ s に関しては最も重要なs =1/2 の場合を述べるに留める。それ以外のs に関しては後の章を参照されたい。
スピン1/2 の場合のV s とπ s の具体的表記 M 2, 2 (C ) を複素二次正方行列 全体の集合とし、I を単位行列とするとき、Spin(3) = SU(2) は2次元ユニタリ変換全体の集合
U ( 2 ) = { U ∈ M 2 , 2 ( C ) : U ∗ U = I } {\displaystyle U(2)=\{U\in M_{2,2}(\mathbf {C} )~:~U^{*}U=I\}} の部分集合である。したがって
V 1 / 2 = C 2 {\displaystyle V_{1/2}=\mathbf {C} ^{2}} …()と定義すると、包含写像
i d : U ∈ S U ( 2 ) ↦ U ∈ U ( 2 ) {\displaystyle \mathrm {id} ~:~U\in \mathrm {SU} (2)\mapsto U\in \mathrm {U} (2)} は Spin(3) = SU(2) の元の V 1/2 上のユニタリ表現になっている。このユニタリ表現が、定理3 で述べた既約ユニタリ表現の s =1/2 の場合に相当している。すなわち、
π 1 / 2 = i d {\displaystyle \pi _{1/2}=\mathrm {id} } …()
無限小変換の集合spin(3)=su(2) の具体的表記 軌道角運動量を定義する際SO(3) の無限小変換の集合so(3) が必要になったのと同様の理由で、スピン角運動量の定義にはSpin(3) = SU(2) の「無限小変換」全体の集合spin(3)=su(2) を用いるので、本節ではその具体的形と基本的な性質を調べる。(G4 )、(G7 )より、
s p i n ( 3 ) = s u ( 2 ) = { d U ( t ) d t | t = 0 : U ( t ) {\displaystyle {\mathsf {spin}}(3)={\mathsf {su}}(2)={\Bigg \{}{\operatorname {d} U(t) \over \operatorname {d} t}{\Bigg |}_{t=0}~:~U(t)} は Spin(3)=SU(2) 上の可微分な曲線で、t =0 のとき単位行列となる } {\displaystyle {\Bigg \}}} . = { A ∈ M 2 , 2 ( C ) : A ∗ = − A , t r A = 0 } {\displaystyle =\{A\in M_{2,2}(\mathbf {C} )~:~A^{*}=-A,~\mathrm {tr} A=0\}} ...()である。su(2) 上に内積
⟨ A , B ⟩ := 2 t r ( A B ∗ ) {\displaystyle \langle A,B\rangle :=2\mathrm {tr} (AB^{*})} …を定義すると[注釈 2] 、su(2) は実3次元分の自由度を持った計量ベクトル空間であるとみなせる。
次にsu(2) の基底について述べる。パウリ行列 σ 1 , σ 2 , σ 3 を
σ 1 = ( 0 1 1 0 ) , σ 2 = ( 0 − i i 0 ) , σ 3 = ( 1 0 0 − 1 ) {\displaystyle \sigma _{1}={\begin{pmatrix}0&1\\1&0\\\end{pmatrix}}{\mbox{, }}\quad \sigma _{2}={\begin{pmatrix}0&-i\\i&0\\\end{pmatrix}}{\mbox{, }}\quad \sigma _{3}={\begin{pmatrix}1&0\\0&-1\\\end{pmatrix}}} …()により定義し、su(2) の元X 1 、X 2 、X 3 を
X 1 = − i 2 σ 1 = 1 2 ( 0 − i − i 0 ) , X 2 = − i 2 σ 1 = 1 2 ( 0 − 1 1 0 ) , X 3 = − i 2 σ 3 = 1 2 ( − i 0 0 i ) {\displaystyle X_{1}=-{i \over 2}\sigma _{1}={1 \over 2}{\begin{pmatrix}0&-i\\-i&0\end{pmatrix}},~~X_{2}=-{i \over 2}\sigma _{1}={1 \over 2}{\begin{pmatrix}0&-1\\1&0\end{pmatrix}},~~X_{3}=-{i \over 2}\sigma _{3}={1 \over 2}{\begin{pmatrix}-i&0\\0&i\end{pmatrix}}} ....()により定義すると、(L1 )、(L2 )より次が成立することがわかる。
X 1 、X 2 、X 3 はspin(3) = su(2) 上の正規直交基底である。 ...()
そこで3次元ベクトルx =(x , y , z )∈R 3 に対し、
X x = x X 1 + y X 2 + z X 3 = − i 2 ( x σ 1 + y σ 2 + z σ 3 ) = 1 2 ( − i z − y − i x y − i x i z ) {\displaystyle X_{\mathbf {x} }=xX_{1}+yX_{2}+zX_{3}=-{i \over 2}(x\sigma _{1}+y\sigma _{2}+z\sigma _{3})={1 \over 2}{\begin{pmatrix}-iz&-y-ix\\y-ix&iz\end{pmatrix}}} …()と定義すると、写像
x ∈ R 3 → ∼ X x ∈ s p i n ( 3 ) {\displaystyle \mathbf {x} \in \mathbf {R} ^{3}{\overset {\sim }{\to }}X_{\mathbf {x} }\in {\mathsf {spin}}(3)} により R 3 {\displaystyle \mathbf {R} ^{3}} と spin(3) = su(2) を計量ベクトル空間として同一視できる。しかもこの同一視において、以下が成立する:
X x × y = [ X x , X y ] {\displaystyle X_{\mathbf {x} \times \mathbf {y} }=[X_{\mathbf {x} },X_{\mathbf {y} }]} ここで「× 」はクロス積 であり、[A ,B ] = AB -BA は交換子積である。
Spin(3) の元の具体的表記Spin(3) = SU(2) は、α , β の実数を用いて
S U ( 2 ) = { ( α β − β ¯ α ¯ ) | α , β ∈ C , | α | 2 + | β | 2 = 1 } {\displaystyle \mathrm {SU} (2)=\left\{{\begin{pmatrix}\alpha &\beta \\-{\bar {\beta }}&{\bar {\alpha }}\end{pmatrix}}{\Bigg |}\alpha ,\beta \in \mathbf {C} ,~|\alpha |^{2}+|\beta |^{2}=1\right\}} …()と書き表すことができる事が簡単な計算から従う。
一方、n =(x , y , z )∈R 3 を単位ベクトルとし、パウリ行列を使って
σ n = x σ 1 + y σ 2 + z σ 3 {\displaystyle \sigma _{\mathbf {n} }=x\sigma _{1}+y\sigma _{2}+z\sigma _{3}} …()と定義すると簡単な計算により、
σ n 2 = I {\displaystyle \sigma _{\mathbf {n} }^{2}=I} がわかる。よって行列A に対する指数関数exp(A ) を(A3 )式のように定義すると、τ ∈ [0,2π ] に対し、
exp ( i τ σ n ) = ∑ j = 0 ∞ 1 j ! ( i τ σ n ) j {\displaystyle \exp(i\tau \sigma _{\mathbf {n} })=\sum _{j=0}^{\infty }{1 \over j!}(i\tau \sigma _{\mathbf {n} })^{j}} = ∑ j : even ( i τ ) j j ! I + ∑ j : odd ( i τ ) j j ! σ n {\displaystyle =\sum _{j~:~{\text{even}}}{(i\tau )^{j} \over j!}I+\sum _{j~:~{\text{odd}}}{(i\tau )^{j} \over j!}\sigma _{\mathbf {n} }} = cos ( τ ) I + i sin ( τ ) σ n {\displaystyle =\cos(\tau )I+i\sin(\tau )\sigma _{\mathbf {n} }} ...()が従う。
θ = 2 τ {\displaystyle \theta =2\tau } とすると、(L4 )で述べたspin(3)=su(2) の基底を用いてスピン群の元を次のように書き表す事ができる事が、(X1 )、(X2 )、(X3 )からわかる:
Spin(3)=SU(2) の任意の元U は単位ベクトルn =(x , y , z )∈R 3 とθ ∈[0,4π ]を用いて U = exp ( θ X n ) {\displaystyle U=\exp(\theta X_{\mathbf {n} })} の形で表記可能である。しかもS ≠I , −I であればこのように表記できるn 、θ は一意である。 ...()
Spin(3) から SO(3) への準同型写像 Φ 3 前の節で述べたように、su(2) は3次元の計量ベクトル空間なので、R 3 と同一視できる。U ∈ Spin(3) = SU(2) と Y ∈ s u ( 2 ) ≃ R 3 {\displaystyle Y\in {\mathsf {su}}(2)\simeq \mathbf {R} ^{3}} に対し、UYU −1 も s u ( 2 ) ≃ R 3 {\displaystyle {\mathsf {su}}(2)\simeq \mathbf {R} ^{3}} の元である事が簡単な計算からわかる。しかも線形写像Φ 3 (U) を
Φ 3 ( U ) : Y ∈ s u ( 2 ) ≃ R 3 ↦ U Y U − 1 ∈ s u ( 2 ) ≃ R 3 {\displaystyle \Phi _{3}(U)~:~Y\in {\mathsf {su}}(2)\simeq \mathbf {R} ^{3}\mapsto UYU^{-1}\in {\mathsf {su}}(2)\simeq \mathbf {R} ^{3}} と定義するとΦ 3 (U) が(L2 )で定義された内積と空間の向きを保つ事を簡単な計算で確かめられる。すなわちΦ 3 (U) は回転変換であるので、Φ 3 (U)∈SO(3) である。
以上により、Spin(3) から SO(3) への準同型写像
Φ 3 : U ∈ S p i n ( 3 ) = S U ( 2 ) ↦ Φ 3 ( U ) ∈ S O ( 3 ) {\displaystyle \Phi _{3}~:~U\in \mathrm {Spin} (3)=\mathrm {SU} (2)\mapsto \Phi _{3}(U)\in \mathrm {SO} (3)} が定義できた。この Φ 3 の具体的表記は後の節で述べる。
Φ 3 が誘導する写像(Φ 3 )* の定義とその具体的表記(G14 )に従い、Φ 3 が誘導する写像 (Φ 3 )* を、
( Φ 3 ) ∗ : d U ( t ) d t | t = 0 ∈ s p i n ( 3 ) = s u ( 2 ) ↦ d Φ 3 ( U ( t ) ) d t | t = 0 ∈ s o ( 3 ) {\displaystyle (\Phi _{3})_{*}~:~\left.{\mathrm {d} U(t) \over \mathrm {d} t}\right|_{t=0}\in {\mathsf {spin}}(3)={\mathsf {su}}(2)\mapsto \left.{\mathrm {d} \Phi _{3}(U(t)) \over \mathrm {d} t}\right|_{t=0}\in {\mathsf {so}}(3)} …()により定義する。このとき(Φ 3 )* は
( Φ 3 ) ∗ ( X x ) = F x {\displaystyle (\Phi _{3})_{*}(X_{\mathbf {x} })=F_{\mathbf {x} }} …()を満たす。成分で書けば
1 2 ( Φ 3 ) ∗ ( − i z − y − i x y − i x i z ) = ( 0 − z y z 0 − x − y x 0 ) {\displaystyle {1 \over 2}(\Phi _{3})_{*}{\begin{pmatrix}-iz&-y-ix\\y-ix&iz\end{pmatrix}}={\begin{pmatrix}0&-z&y\\z&0&-x\\-y&x&0\end{pmatrix}}} である。特に
( Φ 3 ) ∗ : s p i n ( 3 ) → ∼ s u ( 2 ) {\displaystyle (\Phi _{3})_{*}~:~{\mathsf {spin}}(3){\overset {\sim }{\to }}{\mathsf {su}}(2)} …()は同型写像である。
(X4 )より、Spin(3) 上の曲線U (t ) は3次元空間曲線x (t )∈R 3 を用いて
U ( t ) = exp ( X x ( t ) ) {\displaystyle U(t)=\exp(X_{\mathbf {x} (t)})} という形で表記できる。x =(x 1 ,x 2 ,x 3 )=x (0) とすると、任意のY =v 1 X 1 +v 2 X 2 +v 3 X 3 ∈spin(3)=su(2) に対し、
( Φ 3 ) ∗ ( X x ) Y = d d t Φ 3 ( exp ( X x ( t ) ) ) Y | t = 0 {\displaystyle (\Phi _{3})_{*}(X_{\mathbf {x} })Y=\left.{\operatorname {d} \over \operatorname {d} t}\Phi _{3}(\exp(X_{\mathbf {x} (t)}))Y\right|_{t=0}} = d d t exp ( X x ( t ) ) Y exp ( − X x ( t ) ) | t = 0 = X x E − E X x {\displaystyle =\left.{\operatorname {d} \over \operatorname {d} t}\exp(X_{\mathbf {x} (t)})Y\exp(-X_{\mathbf {x} (t)})\right|_{t=0}=X_{\mathbf {x} }E-EX_{\mathbf {x} }} = [ X x , Y ] = ∑ j , k x j v k [ X j , X k ] {\displaystyle =[X_{\mathbf {x} },Y]=\sum _{j,k}x_{j}v_{k}[X_{j},X_{k}]} = ( X 1 , X 2 , X 3 ) ( 0 − x 3 x 2 x 3 0 − x 1 − x 2 x 1 0 ) ( v 1 v 2 v 3 ) {\displaystyle =(X_{1},X_{2},X_{3}){\begin{pmatrix}0&-x_{3}&x_{2}\\x_{3}&0&-x_{1}\\-x_{2}&x_{1}&0\end{pmatrix}}{\begin{pmatrix}v_{1}\\v_{2}\\v_{3}\end{pmatrix}}} である。ここで[A,B]=AB-BA は交換子積 である。
よってY の任意性と(G11 )から以下の結論が得られる:
( Φ 3 ) ∗ ( X x ) = F x {\displaystyle (\Phi _{3})_{*}(X_{\mathbf {x} })=F_{\mathbf {x} }}
Φ 3 の具体的表記(G16 )、(D2 )より、
Φ 3 ( exp ( θ X x ) ) = exp ( ( Φ 3 ) ∗ ( θ X x ) ) = exp ( θ F x ) {\displaystyle \Phi _{3}(\exp(\theta X_{\mathbf {x} }))=\exp((\Phi _{3})_{*}(\theta X_{\mathbf {x} }))=\exp(\theta F_{\mathsf {x}})} …()である。(X4 )より、Spin(3) の元は何らかのθ ∈[0,4π ] を用いて、exp(θX x ) の形に書けるので、上式によりΦ 3 の振る舞いを完全に記述可能である。
しかも
Φ 3 ( exp ( ( θ + 2 π ) X n ) ) = exp ( ( θ + 2 π ) F n ) {\displaystyle \Phi _{3}(\exp((\theta +2\pi )X_{\mathbf {n} }))=\exp((\theta +2\pi )F_{\mathbf {n} })} = exp ( θ F n ) = Φ 3 ( exp ( θ X n ) ) {\displaystyle =\exp(\theta F_{\mathbf {n} })=\Phi _{3}(\exp(\theta X_{\mathbf {n} }))} であるので、スピン群の定義(C1 )で述べた、Φ 3 が2:1の写像であるという事実が確認できる。
Spin(3)=SU(2) の元の成分表示(X1 )を用いると、Φ 3 は下記のように表示できることも知られている:
Φ 3 ( α β − β ¯ − α ) = ( R e ( α 2 − β 2 ) I m ( α 2 + β 2 ) − 2 R e ( α β ) − I m ( α 2 − β 2 ) R e ( α 2 + β 2 ) 2 I m ( α β ) 2 R e ( α β ¯ ) 2 I m ( α β ¯ ) | α | 2 − | β | 2 ) {\displaystyle \Phi _{3}{\begin{pmatrix}\alpha &\beta \\-{\bar {\beta }}&-\alpha \end{pmatrix}}={\begin{pmatrix}\mathrm {Re} (\alpha ^{2}-\beta ^{2})&\mathrm {Im} (\alpha ^{2}+\beta ^{2})&-2\mathrm {Re} (\alpha \beta )\\-\mathrm {Im} (\alpha ^{2}-\beta ^{2})&\mathrm {Re} (\alpha ^{2}+\beta ^{2})&2\mathrm {Im} (\alpha \beta )\\2\mathrm {Re} (\alpha {\bar {\beta }})&2\mathrm {Im} (\alpha {\bar {\beta }})&|\alpha |^{2}-|\beta |^{2}\\\end{pmatrix}}}
スピン角運動量演算子の定義と性質
スピン角運動量演算子の定義 以上の準備の元、スピン角運動量を定義する。
π : S p i n ( 3 ) → U ( V s ) {\displaystyle \pi ~:~\mathrm {Spin} (3)\to \mathrm {U} (V_{s})} を Spin(3)=SU(2) の V s 上の既約ユニタリ表現とする(そのようなユニタリ表現の存在性と(同型を除いた)一意性は定理3 で保証される)。なお s =1/2 に対するV s 、πs は(H1 )、(H2 )にすでに記載した。それ以外のsに対するV s 、πs は次節以降に後述する。
さらに
Φ 3 : S p i n ( 3 ) → S O ( 3 ) {\displaystyle \Phi _{3}~:~\mathrm {Spin} (3)\to \mathrm {SO} (3)} を(C1 )式で述べた、Spin(3) から SO(3) への 2:1 写像とする(この写像の具体的な形は(E1 )式を参照)。これらの写像を図にすると以下のとおりである。ここで記号「 G ↷ V {\displaystyle G{}^{\curvearrowright }V} 」はGがベクトル空間V上の行列群である事を意味する(すなわちGはVに作用する)。
S p i n ( 3 ) → π U ( V s ) ↷ V s Φ 3 ↓ S O ( 3 ) ↷ R 3 {\displaystyle {\begin{array}{rl}\mathrm {Spin} (3)&{\xrightarrow {~~~~~\pi ~~~~~}}{}\mathrm {U} (V_{s}){}^{\curvearrowright }V_{s}\\\Phi _{3}\downarrow &\\SO(3)&{}^{\curvearrowright }\mathbf {R} ^{3}\end{array}}}
πs が誘導する写像 (πs )* を以下のように定義する:
π ∗ : d U ( t ) d t | t = 0 ∈ s p i n ( 3 ) = s u ( 2 ) ↦ d π s ( U ( t ) ) d t | t = 0 ∈ { V s {\displaystyle \pi _{*}~:~\left.{\operatorname {d} U(t) \over \operatorname {d} t}\right|_{t=0}\in {\mathsf {spin}}(3)={\mathsf {su}}(2)\mapsto \left.{\operatorname {d} \pi _{s}(U(t)) \over \operatorname {d} t}\right|_{t=0}\in \{V_{s}} 上のエルミート演算子 } {\displaystyle \}} …()同様に Φ 3 が誘導する(Φ 3 )* を(D1 )式のように定義すると、(Φ 3 )* は(D2 )式のように書け、(D3 )より
( Φ 3 ) ∗ : s p i n ( 3 ) → ∼ s o ( 3 ) {\displaystyle (\Phi _{3})_{*}~:~{\mathsf {spin}}(3){\overset {\sim }{\to }}{\mathsf {so}}(3)} である。
単位ベクトル n = (x , y , z ) ∈ R 3 に対し無限小回転 X n ∈ su(2) を(L6 )式のように定義し、合成写像
X n ∈ s p i n ( 3 ) → ( π s ) ∗ { V s {\displaystyle X_{\boldsymbol {n}}\in {\mathsf {spin}}(3){\overset {(\pi _{s})_{*}}{\to }}\{V_{s}} 上の歪エルミート演算子 } → × i ℏ { V s {\displaystyle \}{\overset {\times i\hbar }{\to }}\{V_{s}} 上のエルミート演算子 } {\displaystyle \}} によって定まるエルミート演算子
S ^ n = i ℏ ⋅ ( π s ) ∗ ( X n ) {\displaystyle {\hat {S}}_{\mathbf {n} }=i\hbar \cdot (\pi _{s})_{*}(X_{\mathbf {n} })} …()を考えると、(D2 )より、
S ^ n = i ℏ ⋅ ( π s ) ∗ ( X n ) = i ℏ ⋅ ( π s ) ∗ ( ( Φ 3 ) ∗ − 1 ( F n ) ) {\displaystyle {\hat {S}}_{\mathbf {n} }=i\hbar \cdot (\pi _{s})_{*}(X_{\mathbf {n} })=i\hbar \cdot (\pi _{s})_{*}((\Phi _{3})_{*}{}^{-1}(F_{\mathbf {n} }))} と書けるので、 S ^ n {\displaystyle {\hat {S}}_{\mathbf {n} }} は3次元空間上の無限小回転F n に対応する演算子とみなせる。
この S ^ n {\displaystyle {\hat {S}}_{\mathbf {n} }} を、n を回転軸にもつスピン角運動量演算子 と呼ぶ[注釈 3] 。
スピン角運動量演算子の性質
交換関係 x 軸(1,0,0)、y 軸(0,1,0)、z 軸(0,0,1)∈ R 3 {\displaystyle \mathbf {R} ^{3}} を回転軸に持つスピン角運動量演算子を S ^ x , S ^ y , S ^ z {\displaystyle {\hat {S}}_{x},{\hat {S}}_{y},{\hat {S}}_{z}} とすると、
S ^ x = i ℏ ( π s ) ∗ ( X 1 ) S ^ y = i ℏ ( π s ) ∗ ( X 2 ) S ^ z = i ℏ ( π s ) ∗ ( X 3 ) {\displaystyle {\begin{array}{rcl}{\hat {S}}_{x}&=&i\hbar (\pi _{s})_{*}(X_{1})\\{\hat {S}}_{y}&=&i\hbar (\pi _{s})_{*}(X_{2})\\{\hat {S}}_{z}&=&i\hbar (\pi _{s})_{*}(X_{3})\end{array}}} となる。よって(G15 )より、軌道角運動量 と同様、以下の交換関係 が成り立つ:
[ S ^ x , S ^ y ] = ( i ℏ ) 2 ( π s ) ∗ ( [ X 1 , X 2 ] ) = i ℏ ⋅ i ℏ ( π s ) ∗ ( X 3 ) = i ℏ S ^ z [ S ^ y , S ^ z ] = ( i ℏ ) 2 ( π s ) ∗ ( [ X 2 , X 3 ] ) = i ℏ ⋅ i ℏ ( π s ) ∗ ( X 1 ) = i ℏ S ^ x [ S ^ z , S ^ x ] = ( i ℏ ) 2 ( π s ) ∗ ( [ X 3 , X 1 ] ) = i ℏ ⋅ i ℏ ( π s ) ∗ ( X 2 ) = i ℏ S ^ y {\displaystyle {\begin{aligned}\left[{\hat {S}}_{x},{\hat {S}}_{y}\right]=(i\hbar )^{2}(\pi _{s})_{*}([X_{1},X_{2}])=i\hbar \cdot i\hbar (\pi _{s})_{*}(X_{3})=i\hbar {\hat {S}}_{z}\\\left[{\hat {S}}_{y},{\hat {S}}_{z}\right]=(i\hbar )^{2}(\pi _{s})_{*}([X_{2},X_{3}])=i\hbar \cdot i\hbar (\pi _{s})_{*}(X_{1})=i\hbar {\hat {S}}_{x}\\\left[{\hat {S}}_{z},{\hat {S}}_{x}\right]=(i\hbar )^{2}(\pi _{s})_{*}([X_{3},X_{1}])=i\hbar \cdot i\hbar (\pi _{s})_{*}(X_{2})=i\hbar {\hat {S}}_{y}\end{aligned}}}
回転軸の変更 次に回転軸の異なるスピン角運動量の関係を見る。n 、m ∈R 3 を2つの単位ベクトルとし、n とm が回転行列R により、
n = R m {\displaystyle \mathbf {n} =R\mathbf {m} } で移り合っていたとする。写像Φ3 : Spin(3)=SU(2) → SO(3) は2:1の全射であるので、
R = Φ 3 ( U ) = Φ 3 ( − U ) {\displaystyle R=\Phi _{3}(U)=\Phi _{3}(-U)} を満たすU が存在する。
スピン角運動量演算子 S ^ n {\displaystyle {\hat {S}}_{\mathbf {n} }} 、 S ^ l {\displaystyle {\hat {S}}_{\mathbf {l} }} はその定義より、V s 上のユニタリ演算子であり、両者は
S ^ n = π s ( U ) S ^ m π s ( U ) − 1 {\displaystyle {\hat {S}}_{\mathbf {n} }=\pi _{s}(U){\hat {S}}_{\mathbf {m} }\pi _{s}(U)^{-1}} という関係で結ばれる。ここで右辺は S ^ l {\displaystyle {\hat {S}}_{\mathbf {l} }} とπ s (U ) の行列としての積である。
スピン1/2 の場合の具体的表記 スピン量子数s が1/2 である場合、スピノール空間は(H1 )より
V 1 / 2 = C 2 {\displaystyle V_{1/2}=\mathbf {C} ^{2}} であり、単位ベクトル n = (x , y , z ) ∈ R 3 を回転軸に持つスピン角運動量演算子は、(H2 )、(L6 )、(F1 )、(F2 )より、
S ^ n = i ℏ ⋅ ( π s ) ∗ ( X n ) = i ℏ ⋅ i d ( − i 2 ( x σ 1 + y σ 2 + z σ 3 ) ) = ℏ 2 ( x σ 1 + y σ 2 + z σ 3 ) {\displaystyle {\hat {S}}_{\mathbf {n} }=i\hbar \cdot (\pi _{s})_{*}(X_{\mathbf {n} })=i\hbar \cdot \mathrm {id} (-{i \over 2}(x\sigma _{1}+y\sigma _{2}+z\sigma _{3}))={\hbar \over 2}(x\sigma _{1}+y\sigma _{2}+z\sigma _{3})} である。よって特に、
S ^ n {\displaystyle {\hat {S}}_{\mathbf {n} }} はn によらず常に固有値
ℏ 2 , − ℏ 2 {\displaystyle {\hbar \over 2},-{\hbar \over 2}} を持つ。
それぞれの規格化 された固有ベクトルは、次のとおりとなる。
| s x , + ⟩ = 1 2 ( 1 1 ) , | s x , − ⟩ = 1 2 ( 1 − 1 ) | s y , + ⟩ = 1 2 ( 1 i ) , | s y , − ⟩ = 1 2 ( 1 − i ) | s z , + ⟩ = ( 1 0 ) , | s z , − ⟩ = ( 0 1 ) {\displaystyle {\begin{aligned}&|s_{x,+}\rangle ={\frac {1}{\sqrt {2}}}&{\begin{pmatrix}1\\1\end{pmatrix}},&&|s_{x,-}\rangle ={\frac {1}{\sqrt {2}}}&{\begin{pmatrix}1\\-1\end{pmatrix}}\\&|s_{y,+}\rangle ={\frac {1}{\sqrt {2}}}&{\begin{pmatrix}1\\i\end{pmatrix}},&&|s_{y,-}\rangle ={\frac {1}{\sqrt {2}}}&{\begin{pmatrix}1\\-i\end{pmatrix}}\\&|s_{z,+}\rangle =&{\begin{pmatrix}1\\0\end{pmatrix}},&&|s_{z,-}\rangle =&{\begin{pmatrix}0\\1\end{pmatrix}}\end{aligned}}}
Spin(3) のユニタリ表現と角運動量本節では3次元スピン群Spin(3)=SU(2) のユニタリ表現について詳細に述べ、これを土台として軌道角運動量、スピン角運動量、およびそれらの和である全角運動量の性質を調べる。
軌道角運動量と全角運動量のスピン群による表記 n を3次元空間の単位ベクトルするとき、n を回転軸に持つ一粒子の軌道角運動量はSO(3) のユニタリ表現λ が誘導する写像λ * と同型写像 ( Φ 3 ) ∗ : s p i n ( 3 ) → ∼ s o ( 3 ) {\displaystyle (\Phi _{3})_{*}~:~{\mathsf {spin}}(3){\overset {\sim }{\to }}{\mathsf {so}}(3)} を用いて
L ^ n = i ℏ λ ∗ ( F n ) = i ℏ λ ∗ ∘ ( Φ 3 ) ∗ ( X n ) ∈ { L 2 ( R 3 ) {\displaystyle {\hat {L}}_{\mathbf {n} }=i\hbar \lambda _{*}(F_{\mathsf {n}})=i\hbar \lambda _{*}\circ (\Phi _{3})_{*}(X_{\mathsf {n}})\in \{L^{2}(\mathbf {R} ^{3})} 上のユニタリ演算子 } {\displaystyle \}} と表記できる事が(J1 )と(D2 )から従う。ここで「 ∘ {\displaystyle \circ } 」は関数の合成である。一粒子のスピン角運動量も(F2 )から
S ^ n = i ℏ ⋅ ( π s ) ∗ ( X n ) ∈ { V s {\displaystyle {\hat {S}}_{\mathbf {n} }=i\hbar \cdot (\pi _{s})_{*}(X_{\mathbf {n} })\in \{V_{s}} 上の歪エルミート演算子 } {\displaystyle \}} と定義されていた。
n を回転軸に持つ一粒子の全角運動量演算子 J ^ n {\displaystyle {\hat {J}}_{\mathbf {n} }} を
J ^ n = L ^ n ⊗ i d + i d ⊗ S ^ n ∈ { L 2 ( R 3 ) ⊗ V s {\displaystyle {\hat {J}}_{\mathbf {n} }={\hat {L}}_{\mathbf {n} }\otimes \mathrm {id} +\mathrm {id} \otimes {\hat {S}}_{\mathbf {n} }\in \{L^{2}(\mathbf {R} ^{3})\otimes V_{s}} 上の歪エルミート演算子 } {\displaystyle \}} と定義すると、
J ^ n = i ℏ ( λ ∗ ∘ ( Φ 3 ) ∗ ⊗ i d + i d ⊗ ( π s ) ∗ ) ( X n ) {\displaystyle {\hat {J}}_{\mathbf {n} }=i\hbar (\lambda _{*}\circ (\Phi _{3})_{*}\otimes \mathrm {id} +\mathrm {id} \otimes (\pi _{s})_{*})(X_{\mathsf {n}})} と表記できる。 ( λ ∗ ∘ ( Φ 3 ) ∗ ⊗ i d + i d ⊗ ( π s ) ∗ ) {\displaystyle (\lambda _{*}\circ (\Phi _{3})_{*}\otimes \mathrm {id} +\mathrm {id} \otimes (\pi _{s})_{*})} は
ρ : exp ( A ) ∈ S p i n ( 3 ) → exp ( ( λ ∗ ∘ ( Φ 3 ) ∗ ⊗ i d + i d ⊗ ( π s ) ∗ ) ( A ) ) ∈ { L 2 ( R 3 ) ⊗ V s {\displaystyle \rho ~:~\exp(A)\in {\mathsf {Spin}}(3)\to \exp((\lambda _{*}\circ (\Phi _{3})_{*}\otimes \mathrm {id} +\mathrm {id} \otimes (\pi _{s})_{*})(A))\in \{L^{2}(\mathbf {R} ^{3})\otimes V_{s}} 上のユニタリ演算子 } {\displaystyle \}} が誘導する写像であるので、一粒子に対する軌道角運動量、スピン角運動量、全角運動量のいずれも
i ℏ × {\displaystyle i\hbar \times } (Spin(3) のユニタリ表現が誘導する写像)(X n ) …()という形で書けている事がわかる。
複数粒子に対する軌道角運動量、スピン角運動量、全角運動量は一粒子のものの和として表記できるので、やはり(K1 )の形で表記できる事がわかる。
よってSpin(3) のユニタリ表現の具体的な形を特定する事ができれば、(一粒子もしくは複数粒子に対する)軌道角運動量、スピン角運動量、全角運動量を具体的に書き下す事ができる。そこで本設では、Spin(3) のユニタリ表現を具体的な形で書き下し、Spin(3) のユニタリ表現を使って(K1 )の形で表記できる演算子の性質を調べる。
Spin(3) のユニタリ表現u ≧0 を整数もしくは半整数とし、W u を2u +1 次元の複素計量ベクトル空間とする。具体的には
一粒子のスピン角運動量を考える場合は、u =s で、W u はスピノール空間V s 一粒子の軌道角運動量を考える場合は、W u はL2 (R 3 ) の2u +1 次元部分空間 一粒子の全角運動量を考える場合は、W u は L 2 ( R 3 ) ⊗ V s {\displaystyle L^{2}(\mathbf {R} ^{3})\otimes V_{s}} の2u +1 次元部分空間 を想定している。複数粒子の場合も同様である。定理1 より、Spin(3) のW s 上での既約ユニタリ表現が同型を除いて一意に存在するので、この既約ユニタリ表現を
D u : S p i n ( 3 ) → U ( W u ) {\displaystyle D^{u}~:~\mathrm {Spin} (3)\to \mathrm {U} (W_{u})} と表記する。(H1 )、(H2 )ですでに述べたように、
W 1 / 2 = C 2 {\displaystyle W_{1/2}=\mathbf {C} ^{2}} D 1 / 2 = i d {\displaystyle D^{1/2}=\mathrm {id} } である。
一般のu に対するW u とD u はW 1/2 とD 1/2 から構成できる。
W u の構成
対称テンソル積 W u を構成する準備として、対称テンソル積を定義する。W 1/2 の2u 個のコピーのテンソル積
W 1 / 2 ⊗ 2 u = W 1 / 2 ⊗ ⋯ ⊗ W 1 / 2 ⏟ 2 u {\displaystyle W_{1/2}{}^{\otimes 2u}=\underbrace {W_{1/2}\otimes ~\cdots ~\otimes W_{1/2}} _{2u}} を考え、 W 1 / 2 ⊗ 2 u {\displaystyle W_{1/2}{}^{\otimes 2u}} の元 ψ = ∑ j ϕ j , 1 ⊗ ⋯ ⊗ ϕ j , 2 u {\displaystyle \psi =\sum _{j}\phi _{j,1}\otimes \cdots \otimes \phi _{j,2u}} に対し、ψ の対称化 を
S ( ψ ) := ∑ j ϕ j , 1 ⊙ ⋯ ⊙ ϕ j , 2 u {\displaystyle {\mathcal {S}}(\psi ):=\sum _{j}\phi _{j,1}\odot ~\cdots ~\odot \phi _{j,2u}} := 1 ( 2 u ) ! ∑ j ∑ σ ∈ S 2 u ϕ j , σ 1 ⊗ ⋯ ⊗ ϕ j , σ 2 u {\displaystyle :={1 \over (2u)!}\sum _{j}\sum _{\sigma \in {\mathfrak {S}}_{2u}}\phi _{j,\sigma _{1}}\otimes \cdots \otimes \phi _{j,\sigma _{2u}}} …()により定義する。ここで S 2 u {\displaystyle {\mathfrak {S}}_{2u}} は置換群 である。すなわち S ( ψ ) {\displaystyle {\mathcal {S}}(\psi )} は各j に対し、 ϕ 1 ⊗ ⋯ ⊗ ϕ 2 ″ u ″ {\displaystyle \phi _{1}\otimes \cdots \otimes \phi _{2''u''}} の添字を入れ替えたもの全ての和を(2u )! で割ったものである。(このように定義してもwell-definedである)。対称化したテンソルを対称テンソル と呼び、対称テンソル全体なす部分ベクトル空間を
W 1 / 2 ⊙ 2 u {\displaystyle W_{1/2}{}^{\odot 2u}} と表記する。e 0 、e 1 をW 1/2 =C 2 の基底とし、
E j = e 0 ⊙ ⋯ ⊙ e 0 ⏟ j ⊙ e 1 ⊙ ⋯ ⊙ e 1 ⏟ 2 u − j {\displaystyle E_{j}=\underbrace {\mathbf {e} _{0}\odot ~\cdots ~\odot \mathbf {e} _{0}} _{j}\odot \underbrace {\mathbf {e} _{1}\odot ~\cdots ~\odot \mathbf {e} _{1}} _{2u-j}} と定義すると、E 0 、…、E 2s は明らかに W 1 / 2 ⊙ 2 u {\displaystyle W_{1/2}{}^{\odot 2u}} の基底となる。したがって W 1 / 2 ⊙ 2 u {\displaystyle W_{1/2}{}^{\odot 2u}} は2u +1 次元である。
定義 W u を
W u = W 1 / 2 ⊙ 2 u {\displaystyle W_{u}=W_{1/2}{}^{\odot 2u}} …()と定義する。
D u の構成U ∈Spin(3) に対し、
( D 1 / 2 ) ⊗ 2 u ( U ) : W 1 / 2 ⊗ 2 u → W 1 / 2 ⊗ 2 u {\displaystyle (D^{1/2})^{\otimes 2u}(U)~:~W_{1/2}{}^{\otimes 2u}\to W_{1/2}{}^{\otimes 2u}} を
∑ j ϕ j , 1 ⊗ ⋯ ⊗ ϕ j , 2 u {\displaystyle \sum _{j}\phi _{j,1}\otimes \cdots \otimes \phi _{j,2u}} ↦ ∑ j D 1 / 2 ( U ) ( ϕ j , 1 ) ⊗ ⋯ ⊗ D 1 / 2 ( U ) ( ϕ j , 2 u ) {\displaystyle \mapsto \sum _{j}D^{1/2}(U)(\phi _{j,1})\otimes \cdots \otimes D^{1/2}(U)(\phi _{j,2u})} により定義すると、 ( D 1 / 2 ) ⊗ 2 u ( U ) {\displaystyle (D^{1/2})^{\otimes 2u}(U)} は W 1 / 2 ⊗ 2 u {\displaystyle W_{1/2}{}^{\otimes 2u}} 上の内積を保つ線形写像である。明らかに ( D 1 / 2 ) ⊗ 2 u ( U ) {\displaystyle (D^{1/2})^{\otimes 2u}(U)} は対称テンソルを対称テンソルに移すので、 ( D 1 / 2 ) ⊗ 2 u ( U ) {\displaystyle (D^{1/2})^{\otimes 2u}(U)} の W u = W 1 / 2 ⊙ 2 u {\displaystyle W_{u}=W_{1/2}{}^{\odot 2u}} への制限写像を、
D u ( U ) = ( D 1 / 2 ) ⊗ 2 u ( U ) ( U ) | W u {\displaystyle D^{u}(U)=(D^{1/2})^{\otimes 2u}(U)(U)|_{W_{u}}} …()と定義する。
D u ( U ) {\displaystyle D^{u}(U)} は内積を保つので、これは
D u ( U ) ∈ U ( W u ) {\displaystyle D^{u}(U)\in {\mathsf {U}}(W_{u})} を意味する。この写像が、求めるべき既約ユニタリ表現である。
オブザーバブルとその性質 本節では、前節で定義したSpin(3) の既約ユニタリ表現Du を用いて、オブザーバブルを定義し、そのオブザーバブルの性質を調べる。
オブザーバブル D u : S p i n ( 3 ) = S U ( 2 ) → W s {\displaystyle D^{u}~:~{\mathsf {Spin}}(3)={\mathsf {SU}}(2)\to W_{s}} が誘導する写像
( D u ) ∗ : s p i n ( 3 ) = s u ( 2 ) → W u , {\displaystyle (D^{u})_{*}~:~{\mathsf {spin}}(3)={\mathsf {su}}(2)\to W_{u},} d U ( t ) d t | t = 0 ↦ d D u ( U ( t ) ) d t | t = 0 {\displaystyle \left.{\operatorname {d} U(t) \over \operatorname {d} t}\right|_{t=0}\mapsto \left.{\operatorname {d} D^{u}(U(t)) \over \operatorname {d} t}\right|_{t=0}} と3次元空間の単位ベクトル n ∈ s p i n ( 3 ) ≃ R 3 {\displaystyle \mathbf {n} \in {\mathsf {spin}}(3)\simeq \mathbf {R} ^{3}} を用いてオブザーバブル
T ^ n = i ℏ ( D u ) ∗ ( X n ) {\displaystyle {\hat {T}}_{\mathbf {n} }=i\hbar (D^{u})_{*}(X_{\mathbf {n} })} を定義できる。ここでi は虚数単位であり、X n は(L6 )に定義されたものである。具体的には
W u がスピノール空間V s のときはu =s で、 T ^ n {\displaystyle {\hat {T}}_{\mathbf {n} }} は一粒子のスピン角運動量演算子 S ^ n {\displaystyle {\hat {S}}_{\mathbf {n} }} W u がL2 (R 3 ) の2u +1 次元部分空間のときは、 T ^ n {\displaystyle {\hat {T}}_{\mathbf {n} }} は一粒子の軌道角運動量演算子 L ^ n {\displaystyle {\hat {L}}_{\mathbf {n} }} W u は L 2 ( R 3 ) ⊗ V t {\displaystyle L^{2}(\mathbf {R} ^{3})\otimes V_{t}} の2u +1 次元部分空間のときは、 T ^ n {\displaystyle {\hat {T}}_{\mathbf {n} }} は一粒子の全角運動量演算子 J ^ n {\displaystyle {\hat {J}}_{\mathbf {n} }} である。
(Du )* を具体的に書き表す。U (t ) を
X n = d U ( t ) d t | t = 0 {\displaystyle X_{\mathbf {n} }=\left.{\operatorname {d} U(t) \over \operatorname {d} t}\right|_{t=0}} を満たすように取ると、ライプニッツルール と(N1 )より
( D u ) ∗ ( X n ) = {\displaystyle (D^{u})_{*}(X_{\mathbf {n} })=} d D u ( U ( t ) ) d t | t = 0 = d d t D 1 / 2 ⊗ ⋯ ⊗ D 1 / 2 ( U ( t ) ) | t = 0 {\displaystyle \left.{\operatorname {d} D^{u}(U(t)) \over \operatorname {d} t}\right|_{t=0}=\left.{\operatorname {d} \over \operatorname {d} t}D^{1/2}\otimes \cdots \otimes D^{1/2}(U(t))\right|_{t=0}} = ∑ j = 1 2 u D 1 / 2 ( U ( t ) ) | t = 0 ⊗ ⋯ ⊗ d D 1 / 2 ( U ( t ) ) d t | t = 0 ∨ j ⊗ ⋯ ⊗ D 1 / 2 ( U ( t ) ) | t = 0 {\displaystyle =\sum _{j=1}^{2u}D^{1/2}(U(t))|_{t=0}\otimes \cdots \otimes {\overset {\overset {j}{\vee }}{\left.{\operatorname {d} D^{1/2}(U(t)) \over \operatorname {d} t}\right|_{t=0}}}\otimes \cdots \otimes D^{1/2}(U(t))|_{t=0}} = ∑ j = 1 2 u I ⊗ ⋯ ⊗ ( D 1 / 2 ) ∗ ( X n ) ∨ j ⊗ ⋯ ⊗ I {\displaystyle =\sum _{j=1}^{2u}I\otimes \cdots \otimes {\overset {\overset {j}{\vee }}{(D^{1/2})_{*}(X_{\mathbf {n} })}}\otimes \cdots \otimes I} である。ここでI は常に単位行列I を返す写像である。
固有状態 スピン1/2 のときと同様の議論により、オブザーバブルD1/2 は2つの固有値
ℏ 2 , − ℏ 2 {\displaystyle {\hbar \over 2},-{\hbar \over 2}} を持つので、これらに対応する固有状態をそれぞれ e n + {\displaystyle e_{\mathbf {n} }^{+}} 、 e n − {\displaystyle e_{\mathbf {n} }^{-}} とし、k = −u , −(u − 1), …, (u − 1), u に対し、
E n , k = c ( k ) e n + ⋅ ⋯ ⋅ e n + ⏟ u + k ⋅ e n − ⋅ ⋯ ⋅ e n − ⏟ u − k = c ( k ) S ( e n + ⊗ ⋯ ⊗ e n + ⏟ u + k ⊗ e n − ⊗ ⋯ ⊗ e n − ⏟ u − k ) {\displaystyle E_{\mathbf {n} ,k}=c(k)\underbrace {e_{\mathbf {n} }^{+}\cdot ~\cdots ~\cdot e_{\mathbf {n} }^{+}} _{u+k}\cdot \underbrace {e_{\mathbf {n} }^{-}\cdot ~\cdots ~\cdot e_{\mathbf {n} }^{-}} _{u-k}=c(k){\mathcal {S}}(\underbrace {e_{\mathbf {n} }^{+}\otimes \cdots \otimes e_{\mathbf {n} }^{+}} _{u+k}\otimes \underbrace {e_{\mathbf {n} }^{-}\otimes \cdots \otimes e_{\mathbf {n} }^{-}} _{u-k})} ∈ W 1 / 2 ⊙ 2 u = W u {\displaystyle \in W_{1/2}{}^{\odot 2u}=W_{u}} …()とする。
ここでc (k ) は正規化定数
c ( k ) = ( 2 u ) ! ( u + k ) ! ( u − k ) ! {\displaystyle c(k)={\sqrt {(2u)! \over (u+k)!(u-k)!}}} …()すると、
T ^ n ( E n , k ) = i ℏ ( D u ) ∗ ( X n ) ( E n , k ) = c ( k ) ⋅ S ( ∑ j = 1 2 u ( I ⊗ ⋯ ⊗ ( D 1 / 2 ) ∗ ( X n ) ∨ j ⊗ ⋯ ⊗ I ) ( e n + ⊗ ⋯ ⊗ e n + ⊗ e n − ⊗ ⋯ ⊗ e n − ) ) {\displaystyle {\hat {T}}_{\mathbf {n} }(E_{\mathbf {n} ,k})=i\hbar (D^{u})_{*}(X_{\mathbf {n} })(E_{\mathbf {n} ,k})=c(k)\cdot {\mathcal {S}}(\sum _{j=1}^{2u}(I\otimes \cdots \otimes {\overset {\overset {j}{\vee }}{(D^{1/2})_{*}(X_{\mathbf {n} })}}\otimes \cdots \otimes I)(e_{\mathbf {n} }^{+}\otimes \cdots \otimes e_{\mathbf {n} }^{+}\otimes e_{\mathbf {n} }^{-}\otimes \cdots \otimes e_{\mathbf {n} }^{-}))} = ℏ c ( k ) ⋅ S ( k ⋅ e n + ⊗ ⋯ ⊗ e n + ⊗ e n − ⊗ ⋯ ⊗ e n − ) = k ℏ ⋅ E n , k {\displaystyle =\hbar c(k)\cdot {\mathcal {S}}(k\cdot e_{\mathbf {n} }^{+}\otimes \cdots \otimes e_{\mathbf {n} }^{+}\otimes e_{\mathbf {n} }^{-}\otimes \cdots \otimes e_{\mathbf {n} }^{-})=k\hbar \cdot E_{\mathbf {n} ,k}} なので、E n ,k は固有値 k ℏ {\displaystyle k\hbar } に対応する固有状態である。
昇降演算子 n がx 軸、y 軸、z 軸であるときの T ^ n {\displaystyle {\hat {T}}_{\mathbf {n} }} を T ^ x {\displaystyle {\hat {T}}_{x}} 、 T ^ y {\displaystyle {\hat {T}}_{y}} 、 T ^ z {\displaystyle {\hat {T}}_{z}} とし、
T ^ + := T ^ x + i T ^ y {\displaystyle {\hat {T}}_{+}:={\hat {T}}_{x}+i{\hat {T}}_{y}} T ^ − := T ^ x − i T ^ y {\displaystyle {\hat {T}}_{-}:={\hat {T}}_{x}-i{\hat {T}}_{y}} とすると、
T ^ ± ( E z , k ) {\displaystyle {\hat {T}}_{\pm }(E_{z,k})} = ℏ u ( u + 1 ) − k ( k + 1 ) ⋅ E z , k ± 1 {\displaystyle =\hbar {\sqrt {u(u+1)-k(k+1)}}\cdot E_{z,k\pm 1}} である。
証明
D ^ + u := ( D ^ u ) ∗ ( X 1 ) + i ( D ^ u ) ∗ ( X 2 ) {\displaystyle {\hat {D}}_{+}^{u}:=({\hat {D}}^{u})_{*}(X_{1})+i({\hat {D}}^{u})_{*}(X_{2})} D ^ − u := ( D ^ u ) ∗ ( X 1 ) − i ( D ^ u ) ∗ ( X 2 ) {\displaystyle {\hat {D}}_{-}^{u}:=({\hat {D}}^{u})_{*}(X_{1})-i({\hat {D}}^{u})_{*}(X_{2})} とする。
z軸回りのオブザーバブルに対する固有状態は
e + = ( 1 0 ) {\displaystyle e_{+}={\begin{pmatrix}1\\0\end{pmatrix}}} 、 e − = ( 0 1 ) {\displaystyle e^{-}={\begin{pmatrix}0\\1\end{pmatrix}}} である。u =1/2 のときは、
D ^ + 1 / 2 e + = ℏ 2 ( 0 1 0 0 ) e + = 0 {\displaystyle {\hat {D}}_{+}^{1/2}e_{+}={\hbar \over 2}{\begin{pmatrix}0&1\\0&0\end{pmatrix}}e_{+}=0} 、 D ^ + 1 / 2 e − = ℏ 2 ( 0 1 0 0 ) e − = ℏ 2 e + {\displaystyle {\hat {D}}_{+}^{1/2}e_{-}={\hbar \over 2}{\begin{pmatrix}0&1\\0&0\end{pmatrix}}e_{-}={\hbar \over 2}e_{+}} 、 D ^ − 1 / 2 e + = ℏ 2 ( 0 0 1 0 ) e + = ℏ 2 e − {\displaystyle {\hat {D}}_{-}^{1/2}e_{+}={\hbar \over 2}{\begin{pmatrix}0&0\\1&0\end{pmatrix}}e_{+}={\hbar \over 2}e_{-}} 、 D ^ − 1 / 2 e − = ℏ 2 ( 0 0 1 0 ) e − = 0 {\displaystyle {\hat {D}}_{-}^{1/2}e_{-}={\hbar \over 2}{\begin{pmatrix}0&0\\1&0\end{pmatrix}}e_{-}=0} なので、(N1 )、(M1 )、(P1 )、(P2 )より、
T ^ + ( E z , k ) = c ( k ) ⋅ S ( ∑ j = 1 2 u ( I ⊗ ⋯ ⊗ D + 1 / 2 ( X n ) ∨ j ⊗ ⋯ ⊗ I ) ( e n + ⊗ ⋯ ⊗ e n + ⏟ u + k ⊗ e n − ⊗ ⋯ ⊗ e n − ⏟ u − k ) {\displaystyle {\hat {T}}_{+}(E_{z,k})=c(k)\cdot {\mathcal {S}}(\sum _{j=1}^{2u}(I\otimes \cdots \otimes {\overset {\overset {j}{\vee }}{D_{+}^{1/2}(X_{\mathbf {n} })}}\otimes \cdots \otimes I)(\underbrace {e_{\mathbf {n} }^{+}\otimes \cdots \otimes e_{\mathbf {n} }^{+}} _{u+k}\otimes \underbrace {e_{\mathbf {n} }^{-}\otimes \cdots \otimes e_{\mathbf {n} }^{-}} _{u-k})} = c ( k ) ⋅ S ( ( u − k ) ℏ ⋅ e n + ⊗ ⋯ ⊗ e n + ⏟ u + k + 1 ⊗ e n − ⊗ ⋯ ⊗ e n − ⏟ u − k − 1 ) {\displaystyle =c(k)\cdot {\mathcal {S}}((u-k)\hbar \cdot \underbrace {e_{\mathbf {n} }^{+}\otimes \cdots \otimes e_{\mathbf {n} }^{+}} _{u+k+1}\otimes \underbrace {e_{\mathbf {n} }^{-}\otimes \cdots \otimes e_{\mathbf {n} }^{-}} _{u-k-1})} = ( u − k ) ℏ c ( k ) c ( k + 1 ) ⋅ E z , k + 1 {\displaystyle ={(u-k)\hbar c(k) \over c(k+1)}\cdot E_{z,k+1}} = ℏ ( u − k ) ( u + k + 1 ) ⋅ E z , k + 1 {\displaystyle =\hbar {\sqrt {(u-k)(u+k+1)}}\cdot E_{z,k+1}} = ℏ u ( u + 1 ) − k ( k + 1 ) ⋅ E z , k + 1 {\displaystyle =\hbar {\sqrt {u(u+1)-k(k+1)}}\cdot E_{z,k+1}} T ^ − ( E z , k ) {\displaystyle {\hat {T}}_{-}(E_{z,k})} のケースも同様に証明できる。
クレブシュ–ゴルダン係数 W u 、W v をそれぞれ2u +1 次元、2v +1 次元の複素計量ベクトル空間とし、
D u : S p i n ( 3 ) → U ( W u ) {\displaystyle D^{u}~:~\mathrm {Spin} (3)\to \mathrm {U} (W_{u})} D v : S p i n ( 3 ) → U ( W v ) {\displaystyle D^{v}~:~\mathrm {Spin} (3)\to \mathrm {U} (W_{v})} を既約ユニタリ表現としても
D u ⊗ D v : S p i n ( 3 ) → U ( W u ) ⊗ U ( W v ) ⊂ U ( W u ⊗ W v ) {\displaystyle D^{u}\otimes D^{v}~:~\mathrm {Spin} (3)\to \mathrm {U} (W_{u})\otimes \mathrm {U} (W_{v})\subset \mathrm {U} (W_{u}\otimes W_{v})} は既約ユニタリ表現になるとは限らない。しかし適切に基底を取り替えれば、以下の事実が成り立つ事が知られている:
W u ⊗ W v ≃ ⨁ w = | u − v | u + v W w {\displaystyle W_{u}\otimes W_{v}\simeq \bigoplus _{w=|u-v|}^{u+v}W_{w}} D u ⊗ D v ≃ ⨁ w = | u − v | u + v D w {\displaystyle D^{u}\otimes D^{v}\simeq \bigoplus _{w=|u-v|}^{u+v}D^{w}} 上式をクレブシュ–ゴルダン分解 という。
上式左辺の基底は、
| u , j 1 ⟩ ⊗ | v , j 2 ⟩ {\displaystyle |u,j_{1}\rangle \otimes |v,j_{2}\rangle } の形式で記述できる。ここで | u , j 1 ⟩ {\displaystyle |u,j_{1}\rangle } は固有値j 1 に対応するDu の固有状態である。一方右辺の基底は
| u , v , w , j ⟩ {\displaystyle |u,v,w,j\rangle } の形式で記述できる。ここで | u , v , w , j ⟩ {\displaystyle |u,v,w,j\rangle } は W u ⊗ W v {\displaystyle W_{u}\otimes W_{v}} における、固有値j に対応するDw の固有状態である。両者は基底変換で結ばれるので、何らかの係数c (u ,v ,w ,j 1 ,j 2 ,j ) を用いて
| u , v , w , j ⟩ = ∑ w = | u − v | u + v c ( u , v , w , j 1 , j 2 , j ) | u , j 1 ⟩ ⊗ | v , j 2 ⟩ {\displaystyle |u,v,w,j\rangle =\sum _{w=|u-v|}^{u+v}c(u,v,w,j_{1},j_{2},j)|u,j_{1}\rangle \otimes |v,j_{2}\rangle } と書ける。c (u ,v ,w ,j 1 ,j 2 ,j ) をクレブシュ–ゴルダン係数 という。