Movatterモバイル変換


[0]ホーム

URL:


コンテンツにスキップ
Wikipedia
検索

軌道角運動量

出典: フリー百科事典『ウィキペディア(Wikipedia)』
方位量子数から転送)
物理学 >量子力学 >オブザーバブル >軌道角運動量

軌道角運動量(きどうかくうんどうりょう、英語:orbital angular momentum)とは、特に量子力学において、位置とそれに共役な運動量の積で表される角運動量のことである。より一般的には、空間を伝播する波の自由度とされる。

量子力学の文脈においての軌道角運動は、原子中の電子ついていうことが多い。ただし、かつての原子核の周囲の軌道上を電子が天体のような公転運動する描像は現在では支持されていないことに注意すべきである。電子の全角運動量のうち、電子がその性質として持つスピン角運動量を除く部分が軌道角運動量である。

空間を飛び交う電子についても軌道角運動量は見積もられ、らせん状に伝播する電子ビームなどが研究されている。[1]

概要

[編集]

定義

[編集]

軌道角運動量演算子は以下のように定義される[2]

L^=(L^x,L^y,L^z)=(i(yzzy),i(zxxz),i(xyyx)){\displaystyle {\hat {\boldsymbol {L}}}=({\hat {L}}_{x},{\hat {L}}_{y},{\hat {L}}_{z})=\left(-i\hbar \left(y{\frac {\partial }{\partial z}}-z{\frac {\partial }{\partial y}}\right),-i\hbar \left(z{\frac {\partial }{\partial x}}-x{\frac {\partial }{\partial z}}\right),-i\hbar \left(x{\frac {\partial }{\partial y}}-y{\frac {\partial }{\partial x}}\right)\right)}

定義に至る背景

[編集]

この定義は、古典力学における角運動量の定義

L=x×p{\displaystyle {\boldsymbol {L}}={\boldsymbol {x}}\times {\boldsymbol {p}}}

において、位置x と運動量p を形式的に位置演算子

x^=(x^,y^,z^)=(x,y,z){\displaystyle {\hat {\boldsymbol {x}}}=({\hat {x}},{\hat {y}},{\hat {z}})=(x\cdot ,y\cdot ,z\cdot )}

(「x」はx を乗じる事を意味する)と運動量演算子の組

p^=(p^x,p^y,p^z)=(ix,iy,iz){\displaystyle {\hat {\boldsymbol {p}}}=({\hat {p}}_{x},{\hat {p}}_{y},{\hat {p}}_{z})=(-i\hbar {\partial \over \partial x},-i\hbar {\partial \over \partial y},-i\hbar {\partial \over \partial z})}

に置き換える事で得られたものである。

一般化

[編集]

より一般に、3次元空間の単位ベクトルn=(n1,n2,n3) に対し、内積

L^n=nL^=n1L^x+n2L^y+n3L^z{\displaystyle {\hat {L}}_{\boldsymbol {n}}={\boldsymbol {n}}\cdot {\hat {\boldsymbol {L}}}=n_{1}{\hat {L}}_{x}+n_{2}{\hat {L}}_{y}+n_{3}{\hat {L}}_{z}}

n を回転軸とする軌道角運動量演算子という。

性質

[編集]

交換関係

[編集]

(x1,x2,x3)=(x,y,z){\displaystyle (x_{1},x_{2},x_{3})=(x,y,z)}

と表記すると、軌道角運動量は以下の交換関係を満たす:

[L^i,x^j]=iεijkx^k{\displaystyle [{\hat {L}}_{i},{\hat {x}}_{j}]=i\hbar \varepsilon _{ijk}\,{\hat {x}}_{k}}

[L^i,p^j]=iεijkp^k{\displaystyle [{\hat {L}}_{i},{\hat {p}}_{j}]=i\hbar \varepsilon _{ijk}\,{\hat {p}}_{k}}

[L^i,L^j]=iεijkL^k{\displaystyle [{\hat {L}}_{i},{\hat {L}}_{j}]=i\hbar \varepsilon _{ijk}\,{\hat {L}}_{k}}

ここでεijkエディントンのイプシロンである。特に最後の軌道角運動量同士の交換関係の形は角運動量代数と呼ばれている。

極座標表示

[編集]

球面座標(r,θ,φ) を用いると、ˆL

(L^x,L^y,L^z)=(i(sinφθ+cotθcosφφ,),i(cosφθ+cotθsinφφ),iφ){\displaystyle ({\hat {L}}_{x},{\hat {L}}_{y},{\hat {L}}_{z})=\left(i\hbar \left(\sin \varphi {\partial \over \partial \theta }+\cot \theta \cos \varphi {\partial \over \partial \varphi },\right),i\hbar \left(-\cos \varphi {\partial \over \partial \theta }+\cot \theta \sin \varphi {\partial \over \partial \varphi }\right),-i\hbar {\partial \over \partial \varphi }\right)}

と書ける[2]

さらに球面座標表示した曲線R(r)=(r,0,0)Θ(θ)=(0,θ,0)Φ(φ)=(0,0,φ) の原点における接線方向の単位ベクトルをereθeφ とするとき、ereθeφ 方向の軌道角運動量演算子ˆLr,ˆLθ,ˆLφ とすると、以下が成立する:

Lr=0{\displaystyle L_{r}=0}

Lθ=i1sinθϕ{\displaystyle L_{\theta }=i\hbar {\frac {1}{\sin \theta }}{\frac {\partial }{\partial \phi }}}

Lϕ=iθ{\displaystyle L_{\phi }=-i\hbar {\frac {\partial }{\partial \theta }}}

軌道角運動量の自乗

[編集]

定義

[編集]

軌道角運動量の二乗を

L2^=(L^x)2+(L^y)2+(L^z)2{\displaystyle {\hat {{\boldsymbol {L}}^{2}}}=({\hat {L}}_{x})^{2}+({\hat {L}}_{y})^{2}+({\hat {L}}_{z})^{2}}

と定義する。

交換関係

[編集]

この演算子は軌道角運動量の各成分と可換である:

[L2^,L^x]=[L2^,L^y]=[L2^,L^z]=0{\displaystyle [{\hat {{\boldsymbol {L}}^{2}}},{\hat {L}}_{x}]=[{\hat {{\boldsymbol {L}}^{2}}},{\hat {L}}_{y}]=[{\hat {{\boldsymbol {L}}^{2}}},{\hat {L}}_{z}]=0}

極座標表示

[編集]

極座標で書き表すと:

L2^=2(1sinθθ(sinθθ)+1sin2θ2φ2){\displaystyle {\hat {{\boldsymbol {L}}^{2}}}=-\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 \varphi ^{2}}}\right)}

である[3]

ラプラシアンとの関係

[編集]

実はこれはラプラシアンの極座標表示と関係がある。すなわちラプラシアンを極座標表示して

Δ=1r2(Δr+ΔS){\displaystyle \Delta ={1 \over r^{2}}(\Delta _{r}+\Delta _{S})} 

と動径方向と球面方向にわけると、

Δr=r(r2r){\displaystyle \Delta _{r}={\frac {\partial }{\partial r}}\left(r^{2}{\frac {\partial }{\partial r}}\right)}ΔS=12L2^{\displaystyle \Delta _{S}=-{1 \over \hbar ^{2}}{\hat {{\boldsymbol {L}}^{2}}}}

が成立する[4]

回転対称性との関係

[編集]

波動関数の回転

[編集]

3次元空間R3 における回転行列全体の集合を

SO(3)={R : {\displaystyle \mathrm {SO} (3)=\{R~:~}3次元実数係数行列で、tRR=I, detR>0}{\displaystyle {}^{t}RR=I,~\det R>0\}}

とし(ここでI単位行列であり、tRR転置行列である)、回転行列R ∈ SO(3) に対し、波動関数の全体の空間L2(R3){\displaystyle L^{2}(\mathbf {R} ^{3})} 上にユニタリ演算子

λ(R) : L2(R3)L2(R3),  {\displaystyle \lambda (R)~:~L^{2}(\mathbf {R} ^{3})\to L^{2}(\mathbf {R} ^{3}),~~}ϕ(x)ϕ(R1x){\displaystyle \phi ({\boldsymbol {x}})\mapsto \phi (R^{-1}{\boldsymbol {x}})}

を定義すると[5][6]、これは波動関数の「回転」とみなせる

軌道角運動量演算子との関係

[編集]

単位ベクトルn=(x,y,z) に対 し、Rn(s)n を軸として右手系にs ラジアンだけ回転する行列とすると、以下が成立する:

L^n(ψ){\displaystyle {\hat {L}}_{\boldsymbol {n}}(\psi )}=iddsλ(Rn(s))(ψ)|s=0{\displaystyle =i\hbar \left.{\mathrm {d} \over \mathrm {d} s}\lambda (R_{\boldsymbol {n}}(s))(\psi )\right|_{s=0}}

ここでL^n{\displaystyle {\hat {L}}_{\boldsymbol {n}}}n を回転軸とする軌道角運動量演算子である。

証明

[編集]

本節ではL^n{\displaystyle {\hat {L}}_{\boldsymbol {n}}}z 軸の周りの軌道角運動量ˆLzの場合のみ証明するがそれ以外の場合も同様である。

既に述べたようにˆLz球面座標系(r,θ,φ) を用いて

L^z=iφ{\displaystyle {\hat {L}}_{z}=-i\hbar {\partial \over \partial \varphi }}

と表記できるので、任意の波動関数ψ に対し、ψを極座標表示すれば、

i(ddsλ(R(0,0,1)(s))(ψ)|s=0)ψ(r,θ,φ){\displaystyle i\hbar \left({\operatorname {d} \over \operatorname {d} s}\lambda (R_{(0,0,1)}(s))(\psi ){\Bigg |}_{s=0}\right)\psi (r,\theta ,\varphi )}=iddsψ(r,θ,φs)|s=0{\displaystyle =i\hbar {\operatorname {d} \over \operatorname {d} s}\psi (r,\theta ,\varphi -s){\Bigg |}_{s=0}}=iφψ(r,θ,φ){\displaystyle =-i\hbar {\partial \over \partial \varphi }\psi (r,\theta ,\varphi )}=L^zψ(r,θ,φ){\displaystyle ={\hat {L}}_{z}\psi (r,\theta ,\varphi )}

となり、主張が証明できた。

回転対称性からみた交換関係

[編集]

Rn(s) の微分を計算すると、

dR(s)ds|s=0=(0zyz0xyx0)=:Fn{\displaystyle \left.{\operatorname {d} R(s) \over \operatorname {d} s}\right|_{s=0}={\begin{pmatrix}0&-z&y\\z&0&-x\\-y&x&0\end{pmatrix}}=:F_{\boldsymbol {n}}}

となる。関数λ* を、

λ(dR(s)ds|s=0)(ψ)=ddsλ(R(s))(ψ)|s=0{\displaystyle \lambda _{*}\left(\left.{\operatorname {d} R(s) \over \operatorname {d} s}\right|_{s=0}\right)(\psi )=\left.{\operatorname {d} \over \operatorname {d} s}\lambda (R(s))(\psi )\right|_{s=0}}

が任意の波動関数ψSO(3) に値を取る任意のR(θ) に対して成立するよう定義する(詳細は省くがこのような関数はwell-definedに定義可能である)と、

λ([F,G])=[λ(F),λ(G)]{\displaystyle \lambda _{*}([F,G])=[\lambda _{*}(F),\lambda _{*}(G)]}

が成立する事が知られている[注 1]。よって

[L^x,L^y]=(i)2λ(F(1,0,0)),λ(F(0,1,0))]=(i)2λ([F(1,0,0),F(0,1,0)]){\displaystyle \left[{\hat {L}}_{x},{\hat {L}}_{y}\right]=(i\hbar )^{2}\lambda _{*}(F_{(1,0,0)}),\lambda _{*}(F_{(0,1,0)})]=(i\hbar )^{2}\lambda _{*}([F_{(1,0,0)},F_{(0,1,0)}])}

すなわち軌道角運動量の交換関係は、Fn の交換関係から導かれたものである。

Fnは以下を満たす事が知られている[7]。ここで「×」はクロス積である:

[Fx,Fy]=Fx×y{\displaystyle [F_{\boldsymbol {x}},F_{\boldsymbol {y}}]=F_{{\boldsymbol {x}}\times {\boldsymbol {y}}}}

よって軌道角運動量の交換関係は

[L^x,L^y]=(i)2λ([F(1,0,0),F(0,1,0)])=(i)2λ(F(1,0,0)×(0,1,0))=iiλ(F(0,0,1))=iL^z{\displaystyle \left[{\hat {L}}_{x},{\hat {L}}_{y}\right]=(i\hbar )^{2}\lambda _{*}([F_{(1,0,0)},F_{(0,1,0)}])=(i\hbar )^{2}\lambda _{*}(F_{(1,0,0)\times (0,1,0)})=i\hbar \cdot i\hbar \lambda _{*}(F_{(0,0,1)})=i\hbar {\hat {L}}_{z}}

である。これは前の節で述べた交換関係と一致する。他の軸に関する軌道角運動量の交換関係も同様にして求めることができる。

球面調和関数

[編集]
→詳細は「球面調和関数」を参照

後の節で述べるように、軌道角運動量演算子の固有関数は球面調和関数で記述可能なので、本節ではその準備として、球面調和関数の定義と性質を述べる。

なお、球面調和関数の定義は数学と物理学とで異なるので、本節では両方の定義を紹介し、両者の関係も述べる。

数学における球面調和関数

[編集]

3次元空間R3における多項式p

Δp=0{\displaystyle \Delta p=0}

を満たすものを調和多項式といい、調和多項式p{\displaystyle \ell }次の斉次多項式であるとき、を球面

S2={xR3|x|=1}{\displaystyle S^{2}=\{{\boldsymbol {x}}\in \mathbf {R} ^{3}\mid |{\boldsymbol {x}}|=1\}}

に制限したものを{\displaystyle \ell }次の球面調和関数という。

物理学における球面調和関数

[編集]

3次元空間R3 の場合、R3球面座標(r,θ,φ) で表す。下記の関数Y,m(θ,φ){\displaystyle Y_{\ell ,m}(\theta ,\varphi )}(物理学における)球面調和関数という:

Y,m(θ,ϕ)=(1)(m+|m|)/22+14π(|m|)!(+|m|)!P|m|(cosθ)eimϕ{\displaystyle Y_{\ell ,m}(\theta ,\phi )=(-1)^{(m+|m|)/2}{\sqrt {{\frac {2\ell +1}{4\pi }}{\frac {(\ell -|m|)!}{(\ell +|m|)!}}\,}}P_{\ell }^{|m|}(\cos \theta )\,e^{im\phi }}   …(B1)

ここで

mは整数で、{\displaystyle \ell }|m|{\displaystyle \ell \geq |m|}   …(B2)

であり、Pm(t){\displaystyle P_{\ell }{}^{m}(t)}ルジャンドルの陪多項式[8]

Pm(t)=12(1t2)m2j=1(m)/2(1)j(22j)!j!(j)!(2jm)!t2jm{\displaystyle P_{\ell }{}^{m}(t)={1 \over 2^{\ell }}(1-t^{2})^{m \over 2}\sum _{j=1}^{\lfloor (\ell -m)/2\rfloor }{(-1)^{j}(2\ell -2j)! \over j!(\ell -j)!(\ell -2j-m)!}t^{\ell -2j-m}}   …(B3)

である。すなわちPm(t){\displaystyle P_{\ell }{}^{m}(t)}ルジャンドルの陪微分方程式

(1t)y(t)+2ty(t)+((+1)m21z2)=0{\displaystyle (1-t)y''(t)+-2ty'(t)+\left(\ell (\ell +1)-{m^{2} \over 1-z^{2}}\right)=0}

の解である。なおY,m(θ,φ){\displaystyle Y_{\ell ,m}(\theta ,\varphi )} の定義における係数は、後述する内積から定義されるノルムが 1 になるよう選んだものである。

2つの定義の関係

[編集]

関数f

f(r,θ,φ)=rY,m(θ,φ){\displaystyle f(r,\theta ,\varphi )=r^{\ell }Y_{\ell ,m}(\theta ,\varphi )}

と定義すると、f(を直交座標で書いたもの)は数学における{\displaystyle \ell }次の球面調和関数になる。

また、pを数学における{\displaystyle \ell }次の球面調和関数とすると、pの極座標は必ず

p(r,θ,φ)=m=amrY,m(θ,φ){\displaystyle p(r,\theta ,\varphi )=\sum _{m=-\ell }^{\ell }a_{m}r^{\ell }Y_{\ell ,m}(\theta ,\varphi )}

という形の線形和で書ける。

これらの事実の証明は球面調和関数の項目を参照されたい。

性質

[編集]

3次元空間R3の球面座標(r,θ,φ) に対し、

dxdydz=r2sinθdrdθdφ{\displaystyle \mathrm {d} x\,\mathrm {d} y\,\mathrm {d} z=r^{2}\sin \theta \,\mathrm {d} r\,\mathrm {d} \theta \,\mathrm {d} \varphi }

が成立する。そこで、R 上の関数χ,ξ3次元空間R3単位球面

S2={(x,y,z)R3x2+y2+z2=1}{\displaystyle S^{2}=\{(x,y,z)\in \mathbf {R} ^{3}\mid x^{2}+y^{2}+z^{2}=1\}}

上の2つの可積分関数f,g に対し、内積を以下のように定義する:

χ|ξR:=χ(r)ξ(r)r2dr{\displaystyle \langle \chi |\xi \rangle _{R}:=\int _{-\infty }^{\infty }\chi (r)\xi (r)r^{2}\mathrm {d} r}
f|gS2:=S2f(x)g(x)sinθφdθ{\displaystyle \langle f|g\rangle _{S^{2}}:=\int _{S^{2}}f({\boldsymbol {x}})g({\boldsymbol {x}})\sin \theta \,\varphi \,\mathrm {d} \theta }

このとき次の定理が成立する(定理の導出の詳細は球面調和関数の項目を参照)。

定理1 ― 球面調和関数は以下の性質を満たす:

Ym|YjsSn1={1if =j,m=s0otherwise{\displaystyle \langle Y_{\ell }{}^{m}|Y_{j}{}^{s}\rangle _{S^{n-1}}={\begin{cases}1&{\text{if }}\ell =j,m=s\\0&{\text{otherwise}}\end{cases}}}

定理2 ― R3上の任意の自乗可積分関数f(x,y,z)に対し、χ,m|χ,mR<{\displaystyle \langle \chi _{\ell ,m}|\chi _{\ell ,m}\rangle _{R}<\infty } を満たすR 上の可積分関数の族{χ,m(r)}{\displaystyle \{\chi _{\ell ,m}(r)\}}

f(r,θ,φ)=m=0=mmχ,m(r)Y,m(θ,ϕ){\displaystyle f(r,\theta ,\varphi )=\sum _{m=0}^{\infty }\sum _{\ell =-m}^{m}\chi _{\ell ,m}(r)Y_{\ell ,m}(\theta ,\phi )}

となるものが一意に存在する。

軌道角運動量の二乗の固有関数

[編集]

数学における球面調和関数pL2^{\displaystyle {\hat {{\boldsymbol {L}}^{2}}}}の固有関数である:

L2^p(x)=2(+1)p(x){\displaystyle {\hat {{\boldsymbol {L}}^{2}}}p({\boldsymbol {x}})=\hbar ^{2}\ell (\ell +1)p({\boldsymbol {x}})}   …(A1)

ここで{\displaystyle \ell }は球面調和関数pの次数である。なお、χ(|x|){\displaystyle \chi (|{\boldsymbol {x}}|)}を動径方向の任意の自乗可積分関数とすると、上式から明らかに

L2^χ(|x|)p(x)=2(+1)χ(|x|)p(x){\displaystyle {\hat {{\boldsymbol {L}}^{2}}}\chi (|{\boldsymbol {x}}|)p({\boldsymbol {x}})=\hbar ^{2}\ell (\ell +1)\chi (|{\boldsymbol {x}}|)p({\boldsymbol {x}})}

であるので、χ(|x|)p(x){\displaystyle \chi (|{\boldsymbol {x}}|)p({\boldsymbol {x}})}L2^{\displaystyle {\hat {{\boldsymbol {L}}^{2}}}}の固有関数である。

既に述べたように数学における球面調和関数は物理学における球面調和関数Ym(θ,ϕ){\displaystyle Y_{\ell m}(\theta ,\phi )}の線形和で書けるので、定理2より、L2^{\displaystyle {\hat {{\boldsymbol {L}}^{2}}}}の固有関数は上述の形のものに限られる。

(A1)の証明

[編集]

既に述べたようにラプラシアンの極座標表示は、

Δ=1r2(Δr+ΔS){\displaystyle \Delta ={1 \over r^{2}}(\Delta _{r}+\Delta _{S})} 

と動径方向と球面方向にわけると、

Δr=r(r2r){\displaystyle \Delta _{r}={\frac {\partial }{\partial r}}\left(r^{2}{\frac {\partial }{\partial r}}\right)}ΔS=12L2^{\displaystyle \Delta _{S}=-{1 \over \hbar ^{2}}{\hat {{\boldsymbol {L}}^{2}}}}

が成立するので[4]p{\displaystyle \ell }次の球面調和関数とすると、

L2^p(x)=2Δrp(x)2r2Δ2p(x){\displaystyle {\hat {{\boldsymbol {L}}^{2}}}p({\boldsymbol {x}})=\hbar ^{2}\Delta _{r}p({\boldsymbol {x}})-\hbar ^{2}r^{2}\Delta \hbar ^{2}p({\boldsymbol {x}})}=2Δrp(x){\displaystyle =\hbar ^{2}\Delta _{r}p({\boldsymbol {x}})}

ベクトルxは動径方向

r=|x|{\displaystyle r=|{\boldsymbol {x}}|}

と球面方向

x|x|{\displaystyle {{\boldsymbol {x}} \over |{\boldsymbol {x}}|}}

に分解でき、しかもp{\displaystyle \ell }次の斉次多項式であるので、

Δrp(x)=p(x|x|)Δrr{\displaystyle \Delta _{r}p({\boldsymbol {x}})=p\left({{\boldsymbol {x}} \over |{\boldsymbol {x}}|}\right)\Delta _{r}r^{\ell }}=p(x|x|)r(r2r)r{\displaystyle =p\left({{\boldsymbol {x}} \over |{\boldsymbol {x}}|}\right){\frac {\partial }{\partial r}}\left(r^{2}{\frac {\partial }{\partial r}}\right)r^{\ell }}=p(x|x|)(+1)r{\displaystyle =p\left({{\boldsymbol {x}} \over |{\boldsymbol {x}}|}\right)\cdot \ell (\ell +1)r^{\ell }}=(+1)p(x){\displaystyle =\ell (\ell +1)p({\boldsymbol {x}})}

軌道角運動量の直交座標成分の固有関数

[編集]

ˆLzを物理学における球面調和関数Yℓm(θ,φ)に作用させると

L^zYm(θ,ϕ)=mYm(θ,ϕ){\displaystyle {\hat {L}}_{z}Y_{\ell m}(\theta ,\phi )=m\hbar Y_{\ell m}(\theta ,\phi )}

定理1より

定理2より

  • ˆLzˆL2 の任意の自乗可積分関数は球面調和関数を用いて固有値展開可能である

量子数

[編集]

これまでの記述から分かるように

L2^ψ,m=(+1)2ψ,m{\displaystyle {\hat {{\boldsymbol {L}}^{2}}}\psi _{\ell ,m}=\ell (\ell +1)\hbar ^{2}\psi _{\ell ,m}}
L^zψ,m=mψ,m{\displaystyle {\hat {L}}_{z}\psi _{\ell ,m}=m\hbar \psi _{\ell ,m}}

を満たすψ,m{\displaystyle \psi _{\ell ,m}}が存在し、必要ならψ,m{\displaystyle \psi _{\ell ,m}}を定数倍すれば、

ψ,m=Y,m{\displaystyle \psi _{\ell ,m}=Y_{\ell ,m}}

が成立する。

{\displaystyle \ell }軌道角運動量量子数(方位量子数)、m軌道磁気量子数という。前節で述べたように、

=0,1,2,{\displaystyle \ell =0,1,2,\ldots }
m=0,±1,±2,,±{\displaystyle m=0,\pm 1,\pm 2,\ldots ,\pm \ell }

を満たす。

昇降演算子

[編集]

定義

[編集]

昇降演算子

L^+=L^x+iL^y{\displaystyle {\hat {L}}_{+}={\hat {L}}_{x}+i{\hat {L}}_{y}}L^=L^xiL^y{\displaystyle {\hat {L}}_{-}={\hat {L}}_{x}-i{\hat {L}}_{y}}

により定義する。以下この2つを合わせて

L^±{\displaystyle {\hat {L}}_{\pm }}

と略記する。

性質

[編集]

簡単な計算から交換関係

[L^z,L^±]=±L^±{\displaystyle [{\hat {L}}_{z},{\hat {L}}_{\pm }]=\pm \hbar {\hat {L}}_{\pm }}

を満たすので、ψを固有値mħに対するˆLzの固有関数とすると、次の式が成りたつ。

L^z(L^±ψ)=L^±L^zψ+[L^z,L^±]ψ=(m±1)(L^±ψ){\displaystyle {\hat {L}}_{z}({\hat {L}}_{\pm }\psi )={\hat {L}}_{\pm }{\hat {L}}_{z}\psi +[{\hat {L}}_{z},{\hat {L}}_{\pm }]\psi =(m\pm 1)\hbar ({\hat {L}}_{\pm }\psi )}

したがって、L±ψˆLzの固有関数であり、その固有値は(m+1)ħである。

すなわち、昇降演算子はmħに対応する固有関数を(m±1)ħに対応する固有関数に移す。

よって特に

Y,m=L+mY,0{\displaystyle Y_{\ell ,m}=L_{+}{}^{m}Y_{\ell ,0}} ×(定数)

が成立する。

その他の性質

[編集]
x+=x+iy{\displaystyle x_{+}=x+iy}x=xiy{\displaystyle x_{-}=x-iy}

とするとT10:p211-212、交換関係

[L^±,x±]=0{\displaystyle [{\hat {L}}_{\pm },x_{\pm }]=0}[L^±,x]=±2iz{\displaystyle [{\hat {L}}_{\pm },x_{\mp }]=\pm 2i\hbar z}
[L^z,x±]=±ix±{\displaystyle [{\hat {L}}_{z},x_{\pm }]=\pm i\hbar x_{\pm }}[L2^,x±]=(i)2(1i)x±±2ix±L^z+zL^±{\displaystyle [{\hat {{\boldsymbol {L}}^{2}}},x_{\pm }]=(i\hbar )^{2}(1\mp i)x_{\pm }\pm 2i\hbar x_{\pm }{\hat {L}}_{z}+\hbar z{\hat {L}}_{\pm }}

が成立することが簡単な計算から分かる。

証明

[編集]

最後の式だけ確認すると、

L^±=L^±/i{\displaystyle {\hat {L}}'_{\pm }={\hat {L}}_{\pm }/i\hbar }L^w=L^w/i{\displaystyle {\hat {L}}'_{w}={\hat {L}}_{w}/i\hbar } forw=x,y,zL2^=L2^/(i)2{\displaystyle {\hat {{\boldsymbol {L}}^{2}}}'={\hat {{\boldsymbol {L}}^{2}}}/(i\hbar )^{2}}とすると、
L2^x±=(L^xiL^y)(L^x+iL^y)x±+iL^yL^xx±iL^xL^yx±+L^z2x±=L^L^±x±i[L^x,L^y]x±+L^z2x±{\displaystyle {\hat {{\boldsymbol {L}}^{2}}}'x_{\pm }=({\hat {L}}'_{x}-i{\hat {L}}'_{y})({\hat {L}}'_{x}+i{\hat {L}}'_{y})x_{\pm }+i{\hat {L}}'_{y}{\hat {L}}'_{x}x_{\pm }-i{\hat {L}}'_{x}{\hat {L}}'_{y}x_{\pm }+{\hat {L}}'_{z}{}^{2}x_{\pm }={\hat {L}}'_{\mp }{\hat {L}}'_{\pm }x_{\pm }-i[{\hat {L}}'_{x},{\hat {L}}'_{y}]x_{\pm }+{\hat {L}}_{z}'{}^{2}x_{\pm }}=L^L^±x±iL^zx±+L^z2x±{\displaystyle ={\hat {L}}_{\mp }'{\hat {L}}_{\pm }'x_{\pm }-i{\hat {L}}'_{z}x_{\pm }+{\hat {L}}'_{z}{}^{2}x_{\pm }}、 ここで
L^L^±x±=x±L^L^±+L^[L^±,x±]+[L^,x±]L^±{\displaystyle {\hat {L}}'_{\mp }{\hat {L}}'_{\pm }x_{\pm }=x_{\pm }{\hat {L}}'_{\mp }{\hat {L}}'_{\pm }+{\hat {L}}'_{\mp }[{\hat {L}}'_{\pm },x_{\pm }]+[{\hat {L}}'_{\mp },x_{\pm }]{\hat {L}}'_{\pm }}=x±L^L^±2zL^±{\displaystyle =x_{\pm }{\hat {L}}'_{\mp }{\hat {L}}'_{\pm }\mp 2z{\hat {L}}'_{\pm }}
iL^zx±=ix±L^zi[L^z,x±]{\displaystyle -i{\hat {L}}'_{z}x_{\pm }=-ix_{\pm }{\hat {L}}'_{z}-i[{\hat {L}}'_{z},x_{\pm }]}=ix±L^zix±{\displaystyle =-ix_{\pm }{\hat {L}}'_{z}\mp ix_{\pm }}
L^z2x±=x±L^z2+L^z[L^z,x±]+[L^z,x±]L^z{\displaystyle {\hat {L}}'_{z}{}^{2}x_{\pm }=x_{\pm }{\hat {L}}'_{z}{}^{2}+{\hat {L}}'_{z}[{\hat {L}}_{z},x_{\pm }]+[{\hat {L}}'_{z},x_{\pm }]{\hat {L}}'_{z}}=x±L^z2+2[L^z,x±]L^z+[L^z,[L^z,x±]]{\displaystyle =x_{\pm }{\hat {L}}'_{z}{}^{2}+2[{\hat {L}}'_{z},x_{\pm }]{\hat {L}}'_{z}+[{\hat {L}}'_{z},[{\hat {L}}'_{z},x_{\pm }]]}=x±L^z2±2x±L^z+x±{\displaystyle =x_{\pm }{\hat {L}}'_{z}{}^{2}\pm 2x_{\pm }{\hat {L}}'_{z}+x_{\pm }}
なので求めるべき式が従う。

工学的応用

[編集]

電磁波(光を含む)が軌道角運動量を持ち、これが異なると、同一周波数かつ同一の方角からの送信であっても特別な受信装置では(少なくともごく短距離において)混信を免れることが判明しており、光渦多重通信もしくは軌道角運動量多重通信という。伝送距離の上限などを改善して各種無線通信のほか光ファイバー通信への応用を目指す研究がなされている。

脚注

[編集]
[脚注の使い方]

注釈

[編集]
  1. ^理由:λは準同型であり、λがリー環so(3)に誘導するリー環準同型がλ*であるのでλ*はリー括弧を保存する。

出典

[編集]
  1. ^Saitoh_Uchida.
  2. ^ab原 1994, p. 98.
  3. ^武藤 & 11-14, p. 6.
  4. ^ab武藤 & 11-15, p. 13.
  5. ^Hall 2013, p. 396.
  6. ^Alvarado 2007, p. 37.
  7. ^Alvarado 2007, p. 36.
  8. ^日本測地学会 2004.

参考文献

[編集]

関連項目

[編集]
https://ja.wikipedia.org/w/index.php?title=軌道角運動量&oldid=106813163」から取得
カテゴリ:

[8]ページ先頭

©2009-2026 Movatter.jp