軌道角運動量のソースを表示

{{Pathnav|[[物理学]]|[[量子力学]]|[[オブザーバブル]]|frame=1}}
'''軌道角運動量'''（きどうかくうんどうりょう、{{Lang-en|orbital angular momentum}}）とは、特に[[量子力学]]において、[[位置]]とそれに共役な[[運動量]]の積で表される[[角運動量]]のことである。より一般的には、空間を伝播する波の自由度とされる。

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

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

== 概要 ==

=== 定義 ===
軌道角運動量演算子は以下のように定義される{{sfn|原|1994|p=98}}：
<blockquote>
<math>\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)
</math>
</blockquote>
=== 定義に至る背景 ===
この定義は、[[古典力学]]における角運動量の定義{{Indent|
<math>\boldsymbol{L} = \boldsymbol{x}\times\boldsymbol{p}</math>
}}において、位置 {{Mvar|'''x'''}} と運動量 {{Mvar|'''p'''}} を形式的に位置演算子<blockquote><math>\hat{\boldsymbol{x}}
=(\hat{x},\hat{y},\hat{z})
=(x\cdot,y\cdot,z\cdot)
</math></blockquote>（「{{Math|''x''・}}」は {{Mvar|x}} を乗じる事を意味する）と運動量演算子の組<blockquote><math>\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}
)
</math></blockquote>に置き換える事で得られたものである。

=== 一般化 ===
より一般に、3次元空間の[[単位ベクトル]] {{Math|1='''''n'''''=(''n''{{sub|1}},''n''{{sub|2}},''n''{{sub|3}})}} に対し、[[内積]]<blockquote><math>\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
</math></blockquote>を {{Mvar|'''''n'''''}} を回転軸とする'''軌道角運動量演算子'''という。

== 性質 ==

=== 交換関係 ===
<blockquote><math>(x_1,x_2,x_3)=(x,y,z)
</math></blockquote>と表記すると、軌道角運動量は以下の[[交換子|交換関係]]を満たす：<blockquote><math>[\hat{L}_i, \hat{x}_j] =i\hbar\varepsilon_{ijk}\, \hat{x}_k

</math></blockquote><blockquote><math>[\hat{L}_i, \hat{p}_j] =i\hbar\varepsilon_{ijk}\, \hat{p}_k
</math></blockquote><blockquote><math>[\hat{L}_i, \hat{L}_j] =i\hbar\varepsilon_{ijk}\, \hat{L}_k
</math></blockquote>ここで {{Math|''ε''{{sub|''ijk''}}}} は[[エディントンのイプシロン]]である。特に最後の軌道角運動量同士の交換関係の形は'''[[角運動量代数]]'''と呼ばれている。
=== 極座標表示 ===
[[球面座標系|球面座標]] {{Math|(''r'', ''θ'', ''φ'')}} を用いると、{{Math|{{Hat|'''''L'''''}}}} は
<blockquote><math>(\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)
</math></blockquote>
と書ける{{sfn|原|1994|p=98}}。

さらに球面座標表示した曲線 {{Math|1=''R''(''r'')=(''r'',0,0)}}、{{Math|1=''Θ''(''θ'')=(0,''θ'',0)}}、{{Math|1=''Φ''(''φ'')=(0,0,''φ'')}} の原点における[[接線]]方向の単位ベクトルを {{Math|'''''e'''''{{sub|''r''}}、'''''e'''''{{sub|''θ''}}、'''''e'''''{{sub|''φ''}}}} とするとき、{{Math|'''''e'''''{{sub|''r''}}、'''''e'''''{{sub|''θ''}}、'''''e'''''{{sub|''φ''}}}} 方向の軌道角運動量演算子 {{Math|{{Hat|''L''<sub>''r''</sub>}}, {{Hat|''L''<sub>''&theta;''</sub>}}, {{Hat|''L''<sub>''&phi;''</sub>}}}} とすると、以下が成立する：
<blockquote><math>L_r =0
</math></blockquote><blockquote><math>L_\theta = i\hbar\frac{1}{\sin\theta}
 \frac{\partial}{\partial\phi} 
</math></blockquote><blockquote><math>L_\phi = -i\hbar\frac{\partial}{\partial\theta}
</math></blockquote>

== 軌道角運動量の自乗 ==

=== 定義 ===
軌道角運動量の二乗を{{Indent|
<math>\hat{\boldsymbol{L}^2}
 =(\hat{L}_x)^2 +(\hat{L}_y)^2 +(\hat{L}_z)^2</math>
}}
と定義する。

=== 交換関係 ===
この演算子は軌道角運動量の各成分と可換である：<blockquote><math>[\hat{\boldsymbol{L}^2},\hat{L}_x]
=[\hat{\boldsymbol{L}^2},\hat{L}_y]
=[\hat{\boldsymbol{L}^2},\hat{L}_z]
=0
</math></blockquote>

=== 極座標表示 ===
極座標で書き表すと：
:<math>\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)
</math>

である{{sfn|武藤|11-14|p=6}}。

=== ラプラシアンとの関係 ===
実はこれは[[ラプラス作用素|ラプラシアン]]の極座標表示と関係がある。すなわち[[ラプラス作用素|ラプラシアン]]を極座標表示して
: <math>\Delta={1\over r^2}(\Delta_r+\Delta_S)</math>　
と動径方向と球面方向にわけると、
: <math>\Delta_r=\frac{\partial}{\partial r}\left(r^2\frac{\partial}{\partial r}\right)</math>  、<math>\Delta_S=-{1\over \hbar^2}\hat{\boldsymbol{L}^2}</math>
が成立する{{sfn|武藤|11-15|p=13}}。
:

== 回転対称性との関係 ==

=== 波動関数の回転 ===
3次元空間 {{Math|'''R'''{{sup|3}}}} における[[回転行列]]全体の集合を<blockquote><math>\mathrm{SO}(3)=\{R~:~</math>3次元実数係数行列で、 <math>{}^tRR=I,~\det R > 0\}</math></blockquote>とし（ここで{{Mvar|I}} は[[単位行列]]であり、{{Math|<sup>t</sup>''R''}} は {{Mvar|R}} の[[転置行列]]である）、

回転行列 {{Math|''R'' ∈ SO(3)}} に対し、波動関数の全体の空間 <math>L^2(\mathbf{R}^3)</math> 上にユニタリ演算子<blockquote><math>\lambda(R) ~:~   L^2(\mathbf{R}^3)\to  L^2(\mathbf{R}^3),~~</math><math>\phi(\boldsymbol{x}) \mapsto \phi(R^{-1}\boldsymbol{x})</math></blockquote>を定義すると{{sfn|Hall|2013|p=396}}{{sfn|Alvarado|2007|p=37}}、これは波動関数の「回転」とみなせる

=== 軌道角運動量演算子との関係 ===
単位ベクトル {{Math|1='''''n'''''=(''x'',''y'',''z'')}} に対 し、{{Math|''R''{{sub|'''''n'''''}}(''s'')}} を {{Math|'''''n'''''}} を軸として右手系に {{Mvar|s}} ラジアンだけ回転する行列とすると、以下が成立する：<blockquote><math>\hat{L}_{\boldsymbol{n}}(\psi)</math><math>=i\hbar\left.{
\mathrm{d} 
\over 
\mathrm{d} s
}
\lambda(R_{\boldsymbol{n}}(s))(\psi)
\right|_{s=0}
</math></blockquote>ここで<math>\hat{L}_{\boldsymbol{n}}
</math>は {{Mvar|'''''n'''''}} を回転軸とする軌道角運動量演算子である。

=== 証明 ===
本節では<math>\hat{L}_{\boldsymbol{n}}
</math>が{{Mvar|z}} 軸の周りの軌道角運動量 {{Math|{{Hat|''L''<sub>''z''</sub>}}}}の場合のみ証明するがそれ以外の場合も同様である。

既に述べたように{{Math|{{Hat|''L''<sub>''z''</sub>}}}}は[[球面座標系]] {{Math|(''r'', ''θ'', ''φ'')}} を用いて{{Indent|<math>\hat{L}_z=-i\hbar{\partial \over \partial \varphi}</math>}}と表記できるので、任意の波動関数{{mvar|ψ}} に対し、{{mvar|ψ}}を極座標表示すれば、<blockquote><math>i\hbar\left({\operatorname{d}\over \operatorname{d} s}\lambda(R_{(0,0,1)}(s))(\psi)\Bigg|_{s=0}\right)\psi(r,\theta,\varphi) 
</math><math>
=  i\hbar{\operatorname{d}\over \operatorname{d} s}\psi(r,\theta,\varphi-s)\Bigg|_{s=0}</math><math>
= -i\hbar{\partial \over \partial \varphi}\psi(r,\theta,\varphi)</math><math>=\hat{L}_z\psi(r,\theta,\varphi) </math></blockquote>となり、主張が証明できた。

=== 回転対称性からみた交換関係 ===
{{Math|''R''{{sub|'''''n'''''}}(''s'')}} の微分を計算すると、<blockquote><math>\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}</math>   </blockquote>となる。

関数 {{Math|''λ''{{sub|*}}}} を、<blockquote><math>\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}</math></blockquote>が任意の波動関数 {{Math|''ψ''}} と {{Math|SO(3)}} に値を取る任意の {{Math|''R''(''θ'')}} に対して成立するよう定義する（詳細は省くがこのような関数は[[well-defined]]に定義可能である）と、<blockquote><math>\lambda_*([F,G])=[\lambda_*(F),\lambda_*(G)]
</math></blockquote>が成立する事が知られている<ref group="注">理由：{{Math|''λ''}}は準同型であり、{{Math|''λ''}}がリー環{{Math|so(3)}}に誘導するリー環準同型が{{Math|''λ''{{sub|*}}}}であるので{{Math|''λ''{{sub|*}}}}はリー括弧を保存する。</ref>。よって
: <math>\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)}])
</math>
すなわち軌道角運動量の交換関係は、{{Math|''F''{{sub|'''''n'''''}}}} の交換関係から導かれたものである。

{{Math|''F''{{sub|'''''n'''''}}}}は以下を満たす事が知られている{{sfn|Alvarado|2007|p=36}}。ここで「{{Math|×}}」は[[クロス積]]である：<blockquote><math>[F_{\boldsymbol{x}},F_{\boldsymbol{y}}]=F_{\boldsymbol{x}\times\boldsymbol{y}}</math>  </blockquote>よって軌道角運動量の交換関係は
: <math>\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
</math>
である。これは前の節で述べた交換関係と一致する。他の軸に関する軌道角運動量の交換関係も同様にして求めることができる。

== 球面調和関数 ==
{{Main|球面調和関数}}

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

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

=== 数学における球面調和関数 ===
３次元空間{{Math|'''R'''{{sup|3}}}}における多項式{{Mvar|p}}で<blockquote><math>\Delta p = 0
</math></blockquote>を満たすものを'''調和多項式'''といい、調和多項式{{Mvar|p}}が<math>\ell
</math>次の[[斉次多項式]]であるとき、
を球面<blockquote><math>S^2=\{\boldsymbol{x}\in \mathbf{R}^3 \mid |\boldsymbol{x}| =1 \}
</math></blockquote>に制限したものを<math>\ell
</math>次の'''[[球面調和関数]]'''という。

=== 物理学における球面調和関数 ===
3次元空間 {{Math|'''R'''{{sup|3}}}} の場合、{{Math|'''R'''{{sup|3}}}} を[[球面座標系|球面座標]] {{Math|(''r'',''θ'',''φ'')}} で表す。下記の関数 <math>Y_{\ell,m}(\theta,\varphi)</math> を'''（物理学における）球面調和関数'''という：
: <math>
  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}

</math>　　　…({{EquationRef|B1}})
ここで
: {{Mvar|m}}は整数で、<math>\ell</math><!-- 実体参照の\ellを用いると文字化けする場合があるので、texの\ellを用いた。 -->は<math>\ell\ge |m|</math>　　　…({{EquationRef|B2}})
であり、<math>P_\ell{}^m (t)</math> は[[ルジャンドル多項式|'''ルジャンドルの陪多項式''']]{{sfn|日本測地学会|2004}}
: <math>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}</math>　　　…({{EquationRef|B3}})
である。すなわち <math>P_\ell{}^m (t)</math> は'''ルジャンドルの陪微分方程式'''
: <math>(1-t)y''(t) + -2ty'(t) + \left(\ell(\ell+1)-{m^2\over 1-z^2}\right) =0 </math>
の解である。なお <math>Y_{\ell,m}(\theta,\varphi)</math> の定義における係数は、後述する内積から定義されるノルムが 1 になるよう選んだものである。

=== ２つの定義の関係 ===
関数 {{Mvar|f}} を
: <math>f(r,\theta,\varphi)=r^{\ell}Y_{\ell,m}(\theta,\varphi)</math>
と定義すると、{{Mvar|f}}（を直交座標で書いたもの）は数学における<math>\ell
</math>次の球面調和関数になる。

また、{{Mvar|p}}を数学における<math>\ell
</math>次の球面調和関数とすると、{{Mvar|p}}の極座標は必ず
: <math>p(r,\theta,\varphi)=\sum_{m=-\ell}^\ell a_{m}r^{\ell}Y_{\ell,m}(\theta,\varphi)</math>
という形の線形和で書ける。

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

=== 性質 ===
3次元空間{{Math|'''R'''{{sup|3}}}}の球面座標 {{Math|(''r'',''θ'',''φ'')}} に対し、
: <math>\mathrm{d}x \,
\mathrm{d}y \,
\mathrm{d}z
=
r^2\sin \theta \,
\mathrm{d}r \,
\mathrm{d}\theta \,
\mathrm{d}\varphi

 </math>
が成立する。そこで、{{Math|'''R'''}} 上の関数 {{Math|''χ'', ''ξ''}} と{{Mvar|3}}次元空間 {{Math|'''R'''{{sup|''3''}}}} の[[単位球面]]
: <math>S^{2}=\{(x,y,z)\in\mathbf{R}^3 \mid x^2+y^2+z^2=1\}</math>
上の{{Mvar|2}}つの[[ルベーグ積分|可積分]]関数 {{Math|''f'', ''g''}} に対し、内積を以下のように定義する：
: <math>\langle \chi|\xi \rangle_{R} := \int_{-\infty}^{\infty}\chi(r)\xi(r)r^2 \mathrm{d}r </math>  
: <math>\langle f|g \rangle_{S^{2}} := \int_{S^{2}}f(\boldsymbol{x})g(\boldsymbol{x})\sin\theta \, \varphi \, \mathrm{d}\theta </math>
このとき次の定理が成立する（定理の導出の詳細は[[球面調和関数]]の項目を参照）。{{math theorem|球面調和関数は以下の性質を満たす：
:<math>\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} </math>   |name={{EquationRef|定理1}}}}{{math theorem|
{{Math|'''R'''{{sup|3}}}}上の任意の[[自乗可積分関数]]{{Math|''f''(''x'',''y'',''z'')}}に対し、<math>\langle\chi_{\ell,m}|\chi_{\ell,m}\rangle_R<\infty </math> を満たす {{Math|'''R'''}} 上の可積分関数の族 <math>\{\chi_{\ell,m}(r)\}</math> で
: <math>f(r,\theta,\varphi)
=
\sum_{m=0}^\infty
\sum_{\ell=-m}^m
\chi_{\ell,m}(r)Y_{\ell,m}(\theta,\phi)
 </math>    
となるものが一意に存在する。|name={{EquationRef|定理2}}}}

== 軌道角運動量の二乗の固有関数 ==
数学における球面調和関数{{Mvar|p}}は<math>\hat{\boldsymbol{L}^2}</math>の固有関数である：<blockquote><math>\hat{\boldsymbol{L}^2}p(\boldsymbol{x})=\hbar^2\ell(\ell+1)p(\boldsymbol{x})</math>　　　…({{EquationRef|A1}})</blockquote>ここで<math>\ell
</math>は球面調和関数{{Mvar|p}}の次数である。なお、<math>\chi(|\boldsymbol{x}|) </math>を動径方向の任意の自乗可積分関数とすると、上式から明らかに<blockquote><math>\hat{\boldsymbol{L}^2}\chi(|\boldsymbol{x}|)p(\boldsymbol{x})=\hbar^2\ell(\ell+1)\chi(|\boldsymbol{x}|)p(\boldsymbol{x})</math></blockquote>であるので、<math>\chi(|\boldsymbol{x}|)p(\boldsymbol{x})</math>も<math>\hat{\boldsymbol{L}^2}</math>の固有関数である。

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

=== ({{EquationNote|A1}})の証明 ===
既に述べたようにラプラシアンの極座標表示は、
: <math>\Delta={1\over r^2}(\Delta_r+\Delta_S)</math>　
と動径方向と球面方向にわけると、
: <math>\Delta_r=\frac{\partial}{\partial r}\left(r^2\frac{\partial}{\partial r}\right)</math>  、<math>\Delta_S=-{1\over \hbar^2}\hat{\boldsymbol{L}^2}</math>
が成立するので{{sfn|武藤|11-15|p=13}}、{{Mvar|p}}を<math>\ell
</math>次の球面調和関数とすると、
: <math>\hat{\boldsymbol{L}^2}p(\boldsymbol{x}) = \hbar^2\Delta_rp(\boldsymbol{x}) - \hbar^2r^2\Delta \hbar^2p(\boldsymbol{x}) </math><math>= \hbar^2\Delta_rp(\boldsymbol{x})
</math>
ベクトル{{Mvar|'''x'''}}は動径方向
: <math>r=|\boldsymbol{x}| </math>
と球面方向
: <math>{\boldsymbol{x}\over |\boldsymbol{x}|} </math>
に分解でき、しかも{{Mvar|p}}は<math>\ell
</math>次の[[斉次多項式]]であるので、
: <math>\Delta_rp(\boldsymbol{x})=p\left({\boldsymbol{x}\over |\boldsymbol{x}|}\right)\Delta_r r^{\ell}
</math><math>=p\left({\boldsymbol{x}\over |\boldsymbol{x}|}\right)\frac{\partial}{\partial r}\left(r^2\frac{\partial}{\partial r}\right) r^{\ell}
</math><math>=p\left({\boldsymbol{x}\over |\boldsymbol{x}|}\right)\cdot \ell (\ell+1)r^{\ell}
</math><math>=\ell (\ell+1)p(\boldsymbol{x})
</math>

== 軌道角運動量の直交座標成分の固有関数 ==
{{Math|{{hat|''L''<sub>''z''</sub>}}}}を物理学における球面調和関数{{Math|''Y''<sub>&ell;m</sub>(''&theta;'',''&phi;'')}}に作用させると
: <math>\hat{L}_z Y_{\ell m}(\theta, \phi)
 =m\hbar Y_{\ell m}(\theta, \phi) </math>

{{EquationNote|定理1}}より
* <math>Y_{\ell m}(\theta,\phi)</math> は {{Math|S{{sup|2}}}} 上の面積要素 {{Math|sin ''θ'' d''θ'' d''φ''}} に関して規格化されている
* <math>Y_{\ell m}(\theta,\phi)</math> は互いに直交している
{{EquationNote|定理2}}より
* {{Math|{{Hat|''L''<sub>''z''</sub>}}}} と {{Math|{{Hat|'''''L'''''}}<sup>2</sup>}} の任意の自乗可積分関数は球面調和関数を用いて固有値展開可能である

=== 量子数 ===
これまでの記述から分かるように
: <math>\hat{\boldsymbol{L}^2} \psi_{\ell,m} =\ell(\ell+1)\hbar^2 \psi_{\ell,m} </math>

: <math>\hat{L}_z \psi_{\ell,m}
 =m\hbar \psi_{\ell,m} </math>

を満たす<math>\psi_{\ell,m}
 </math>が存在し、必要なら<math>\psi_{\ell,m}
 </math>を定数倍すれば、
: <math>\psi_{\ell,m} = Y_{\ell,m} </math>

が成立する。

<math>\ell</math> を'''軌道角運動量量子数'''（方位量子数）、{{Mvar|m}} は'''軌道磁気量子数'''という。前節で述べたように、
: <math>\ell=0,1,2,\ldots </math>  
: <math>m=0,\pm 1,\pm 2,\ldots, \pm \ell </math>
を満たす。

== 昇降演算子 ==

=== 定義 ===
'''[[昇降演算子]]'''を
: <math>\hat{L}_+ =\hat{L}_x + i\hat{L}_y </math>、<math>\hat{L}_- =\hat{L}_x - i\hat{L}_y </math>
により定義する。以下この２つを合わせて
: <math>\hat{L}_{\pm} </math>
と略記する。

=== 性質 ===
簡単な計算から交換関係
: <math>[\hat{L}_z,\hat{L}_{\pm}]=\pm \hbar \hat{L}_{\pm} </math>
を満たすので、{{Mvar|ψ}}を固有値{{Mvar|m{{hbar}}}}に対する{{Math|{{Hat|''L''<sub>''z''</sub>}}}}の固有関数とすると、次の式が成りたつ。
: <math>\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) </math>
したがって、{{Math|''L''<sub>&pm;</sub>''&psi;''}}は{{Math|{{Hat|''L''<sub>''z''</sub>}}}}の固有関数であり、その固有値は{{Math|(''m''+1)''{{hbar}}''}}である。

すなわち、昇降演算子は{{Mvar|m{{hbar}}}}に対応する固有関数を{{Math|(''m''&pm;1)''{{hbar}}''}}に対応する固有関数に移す。

よって特に
: <math>Y_{\ell,m} = L_{+}{}^mY_{\ell,0} </math>   ×(定数)
が成立する。

=== その他の性質 ===
: <math>x_+ = x + iy </math>、<math>x_{-}= x- iy </math>
とすると[[#T10|<sup>T10</sup>]]{{Rp|p211-212}}、交換関係
: <math>[\hat{L}_{\pm},x_{\pm}]=0 </math>、<math>[\hat{L}_{\pm},x_{\mp}]=\pm 2i\hbar z  </math>
: <math>[\hat{L}_z,x_{\pm}]=\pm i\hbar x_{\pm} </math>、<math>[\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} </math>
が成立することが簡単な計算から分かる。

==== 証明 ====
最後の式だけ確認すると、
: <math>\hat{L}'_{\pm}=\hat{L}_{\pm}/i\hbar </math>、<math>\hat{L}'_{w}=\hat{L}_{w}/i\hbar </math> for {{Math|1=''w''=''x'', ''y'', ''z''}}、<math>\hat{\boldsymbol{L}^2}'=\hat{\boldsymbol{L}^2}/(i\hbar)^2 </math>とすると、
: <math>\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}'_xx_{\pm}
-i\hat{L}'_x\hat{L}'_yx_{\pm}
+\hat{L}'_z{}^2x_{\pm}

=
\hat{L}'_{\mp}\hat{L}'_{\pm}x_{\pm}
-i[\hat{L}'_x,\hat{L}'_y]x_{\pm}
+\hat{L}_z'{}^2x_{\pm} </math><math>=\hat{L}_{\mp}'\hat{L}_{\pm}'x_{\pm}
-i \hat{L}'_zx_{\pm}
+\hat{L}'_z{}^2x_{\pm}
 </math>、  ここで
:: <math>\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} </math><math>=
x_{\pm}\hat{L}'_{\mp}\hat{L}'_{\pm}
\mp 2z\hat{L}'_{\pm} </math>
:: <math>-i \hat{L}'_zx_{\pm}
=
-i x_{\pm}\hat{L}'_z-i[\hat{L}'_z,x_{\pm}] </math><math>=
-i x_{\pm}\hat{L}'_z \mp i x_{\pm}

 </math>
:: <math>\hat{L}'_z{}^2x_{\pm}
=
x_{\pm} \hat{L}'_z{}^2
 + \hat{L}'_z[\hat{L}_z,x_{\pm}]
 +[\hat{L}'_z,x_{\pm}]\hat{L}'_z </math><math>=
x_{\pm} \hat{L}'_z{}^2 + 2[\hat{L}'_z,x_{\pm}]\hat{L}'_z
+[\hat{L}'_z,[\hat{L}'_z,x_{\pm}]] </math><math>=
x_{\pm} \hat{L}'_z{}^2 
\pm 2x_{\pm}\hat{L}'_z
+x_{\pm} </math>
: なので求めるべき式が従う。

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

== 脚注 ==
{{脚注ヘルプ}}
=== 注釈 ===
{{Notelist2}}
=== 出典 ===
{{reflist|20em}}

== 参考文献 ==
* {{Cite web|和書|url=https://www.jstage.jst.go.jp/article/jcrsj/58/2/58_79/_pdf|title=軌道角運動量をもつ電子ビーム|format=PDF|accessdate=2023/11/02|ref=Saitoh_Uchida}}
* {{Cite book|和書|author=原康夫|authorlink=原康夫|title=５ 量子力学|series=岩波基礎物理シリーズ|date=1994/6/6|year=1994|publisher=[[岩波書店]]|ISBN=978-4000079259|ref={{sfnref|原|1994}}}}
* {{Cite book|和書|ref=LL|author1=L.D. ランダウ|authorlink1=レフ・ランダウ|author2=E.M.リフシッツ|authorlink2=エフゲニー・リフシッツ|translator=好村滋洋、井上健男|title=ランダウ＝リフシッツ物理学小教程　[[量子力学]]|date=2008年6月10日|year=|publisher=[[ちくま学芸文庫]]}}
* {{Cite web|url=http://www.physik.uni-leipzig.de/~rudolph/qm/qmgr.pdf|title=Group Theoretical Aspects of Quantum Mechanics|accessdate=2016/12/01|first=Joṥe|last=Alvarado|year=2007|date=2007/12/4|format=PDF|publisher=|ref=harv}}
* {{Cite book|first=Brian C.|last=Hall|title=Quantum Theory for Mathematicians|series=Graduate Texts in Mathematics 267|date=2013/7/1|year=|publisher=Springer|ref=harv}}
* {{Cite book|first=Gerald|last=Teschl|title=Mathematical Methods in Quantum Mechanics With Applications to Schrödinger Operators|edition=SECOND EDITION|series=Graduate Texts in Mathematics 157|date=|year=2010|publisher=Springer|sfn=harv}}
* {{Cite web|和書|url=http://www.geod.jpn.org/web-text/part4/4-4/index.html|title=4-4. ルジャンドルの多項式, 陪多項式|accessdate=2017年1月4日|author=高知大学自然科学系 田部井隆雄、神奈川県温泉地学研究所 里村幹夫、京都大学大学院理学研究科 福田洋一|year=2004|publisher=日本測地学会|ref={{sfnref|日本測地学会|2004}}}}
* {{Cite web|和書|url=http://www.th.phys.titech.ac.jp/~muto/lectures/QMII11/QMII11_chap14.pdf|title=第１４章　軌道角運動量|accessdate=2017年8月13日|author=武藤一雄|format=pdf|work=[http://www.th.phys.titech.ac.jp/~muto/index.html 量子力学第二 平成２３年度　学部　５学期 ]|publisher=[[東京工業大学]]|ref={{sfnref|武藤|11-14}}}}
* {{Cite web|和書|url=http://www.th.phys.titech.ac.jp/~muto/lectures/QMII11/QMII11_chap15.pdf|title=第１５章	中心力ポテンシャルでの束縛状態|accessdate=2017年8月13日|author=武藤一雄|format=pdf|work=[http://www.th.phys.titech.ac.jp/~muto/index.html 量子力学第二 平成２３年度　学部　５学期 ]|publisher=[[東京工業大学]]|ref={{sfnref|武藤|11-15}}}}

== 関連項目 ==
*[[水素原子におけるシュレーディンガー方程式の解]]
*[[電子配置]]
*[[光渦多重通信]]

{{DEFAULTSORT:きとうかくうんとうりよう}}

[[Category:量子力学]]
[[Category:量子数]]
[[Category:回転]]