軌道角運動量(きどうかくうんどうりょう、英語: orbital angular momentum)とは、特に量子力学において、位置とそれに共役な運動量の積で表される角運動量のことである。より一般的には、空間を伝播する波の自由度とされる。
量子力学の文脈においての軌道角運動は、原子中の電子ついていうことが多い。ただし、かつての原子核の周囲の軌道上を電子が天体のような公転運動する描像は現在では支持されていないことに注意すべきである。電子の全角運動量のうち、電子がその性質として持つスピン角運動量を除く部分が軌道角運動量である。
空間を飛び交う電子についても軌道角運動量は見積もられ、らせん状に伝播する電子ビームなどが研究されている。
軌道角運動量演算子は以下のように定義される:
この定義は、古典力学における角運動量の定義
において、位置 x と運動量 p を形式的に位置演算子

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

に置き換える事で得られたものである。
より一般に、3次元空間の単位ベクトル n=(n1,n2,n3) に対し、内積

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

と表記すると、軌道角運動量は以下の交換関係を満たす:
![{\displaystyle [{\hat {L}}_{i},{\hat {x}}_{j}]=i\hbar \varepsilon _{ijk}\,{\hat {x}}_{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d6f8031a34e114a0a6a259558fc9493babd30671)
![{\displaystyle [{\hat {L}}_{i},{\hat {p}}_{j}]=i\hbar \varepsilon _{ijk}\,{\hat {p}}_{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/652f546b62d0fa42dad1c9cae53073bb4ce99b40)
![{\displaystyle [{\hat {L}}_{i},{\hat {L}}_{j}]=i\hbar \varepsilon _{ijk}\,{\hat {L}}_{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7821e53bc2b410b7383e05561c997a9df1fa6a2e)
ここで εijk はエディントンのイプシロンである。特に最後の軌道角運動量同士の交換関係の形は角運動量代数と呼ばれている。
球面座標 (r, θ, φ) を用いると、ˆL は

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



軌道角運動量の二乗を
と定義する。
この演算子は軌道角運動量の各成分と可換である:
![{\displaystyle [{\hat {{\boldsymbol {L}}^{2}}},{\hat {L}}_{x}]=[{\hat {{\boldsymbol {L}}^{2}}},{\hat {L}}_{y}]=[{\hat {{\boldsymbol {L}}^{2}}},{\hat {L}}_{z}]=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf6bbf516b9ac920f42b7c4a3a0fcb558136d9e2)
極座標で書き表すと:

である。
実はこれはラプラシアンの極座標表示と関係がある。すなわちラプラシアンを極座標表示して
と動径方向と球面方向にわけると、
、
が成立する。
3次元空間 R3 における回転行列全体の集合を
3次元実数係数行列で、 
とし(ここでI は単位行列であり、tR は R の転置行列である)、 回転行列 R ∈ SO(3) に対し、波動関数の全体の空間
上にユニタリ演算子


を定義すると、これは波動関数の「回転」とみなせる
単位ベクトル n=(x,y,z) に対 し、Rn(s) を n を軸として右手系に s ラジアンだけ回転する行列とすると、以下が成立する:


ここで
は n を回転軸とする軌道角運動量演算子である。
本節では
がz 軸の周りの軌道角運動量 ˆLzの場合のみ証明するがそれ以外の場合も同様である。
既に述べたようにˆLzは球面座標系 (r, θ, φ) を用いて
と表記できるので、任意の波動関数ψ に対し、ψを極座標表示すれば、




となり、主張が証明できた。
Rn(s) の微分を計算すると、
となる。 関数 λ* を、

が任意の波動関数 ψ と SO(3) に値を取る任意の R(θ) に対して成立するよう定義する(詳細は省くがこのような関数はwell-definedに定義可能である)と、
![{\displaystyle \lambda _{*}([F,G])=[\lambda _{*}(F),\lambda _{*}(G)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/089d444129ac43b1e076b813265fa7326c2ebc90)
が成立する事が知られている[注 1]。よって
![{\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)}])}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e6689075047499463101e8a34a68b3c72097d15)
すなわち軌道角運動量の交換関係は、Fn の交換関係から導かれたものである。
Fnは以下を満たす事が知られている。ここで「×」はクロス積である:
よって軌道角運動量の交換関係は
![{\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}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9e8581aa3104236f4e13375a9ccbf576d376dc7)
である。これは前の節で述べた交換関係と一致する。他の軸に関する軌道角運動量の交換関係も同様にして求めることができる。
後の節で述べるように、軌道角運動量演算子の固有関数は球面調和関数で記述可能なので、本節ではその準備として、球面調和関数の定義と性質を述べる。
なお、球面調和関数の定義は数学と物理学とで異なるので、本節では両方の定義を紹介し、両者の関係も述べる。
3次元空間R3における多項式pで

を満たすものを調和多項式といい、調和多項式pが
次の斉次多項式であるとき、 を球面

に制限したものを
次の球面調和関数という。
3次元空間 R3 の場合、R3 を球面座標 (r,θ,φ) で表す。下記の関数
を(物理学における)球面調和関数という:
…(B1)
ここで
- mは整数で、
は
…(B2)
であり、
はルジャンドルの陪多項式
…(B3)
である。すなわち
はルジャンドルの陪微分方程式

の解である。なお
の定義における係数は、後述する内積から定義されるノルムが 1 になるよう選んだものである。
関数 f を

と定義すると、f(を直交座標で書いたもの)は数学における
次の球面調和関数になる。
また、pを数学における
次の球面調和関数とすると、pの極座標は必ず

という形の線形和で書ける。
これらの事実の証明は球面調和関数の項目を参照されたい。
3次元空間R3の球面座標 (r,θ,φ) に対し、

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

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


このとき次の定理が成立する(定理の導出の詳細は球面調和関数の項目を参照)。
定理1 ― 球面調和関数は以下の性質を満たす:

定理2 ― R3上の任意の自乗可積分関数f(x,y,z)に対し、
を満たす R 上の可積分関数の族
で

となるものが一意に存在する。
数学における球面調和関数pは
の固有関数である:
…(A1)
ここで
は球面調和関数pの次数である。なお、
を動径方向の任意の自乗可積分関数とすると、上式から明らかに

であるので、
も
の固有関数である。
既に述べたように数学における球面調和関数は物理学における球面調和関数
の線形和で書けるので、定理2より、
の固有関数は上述の形のものに限られる。
既に述べたようにラプラシアンの極座標表示は、
と動径方向と球面方向にわけると、
、
が成立するので、pを
次の球面調和関数とすると、


ベクトルxは動径方向

と球面方向

に分解でき、しかもpは
次の斉次多項式であるので、




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

定理1より
は S2 上の面積要素 sin θ dθ dφ に関して規格化されている
は互いに直交している
定理2より
- ˆLz と ˆL2 の任意の自乗可積分関数は球面調和関数を用いて固有値展開可能である
これまでの記述から分かるように


を満たす
が存在し、必要なら
を定数倍すれば、

が成立する。
を軌道角運動量量子数(方位量子数)、m は軌道磁気量子数という。前節で述べたように、


を満たす。
昇降演算子を
、
により定義する。以下この2つを合わせて

と略記する。
簡単な計算から交換関係
![{\displaystyle [{\hat {L}}_{z},{\hat {L}}_{\pm }]=\pm \hbar {\hat {L}}_{\pm }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1b35f33a978b295f12d6ac453b41ff8a8ab7119)
を満たすので、ψを固有値mħに対するˆLzの固有関数とすると、次の式が成りたつ。
![{\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 )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a55d0fd59f430149c91f35b378543adddf26d44c)
したがって、L±ψはˆLzの固有関数であり、その固有値は(m+1)ħである。
すなわち、昇降演算子はmħに対応する固有関数を(m±1)ħに対応する固有関数に移す。
よって特に
×(定数)
が成立する。
、
とするとT10:p211-212、交換関係
、![{\displaystyle [{\hat {L}}_{\pm },x_{\mp }]=\pm 2i\hbar z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/892fd3e87dc7cba6068e7f7e07d77418396d28e4)
、![{\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 }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8817a9696fa0e4ad1d3b62c5b50d29ee6379f3c3)
が成立することが簡単な計算から分かる。
最後の式だけ確認すると、
、
for w=x, y, z、
とすると、 ![{\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 }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1a9731d86bada60e0c326bb4d240c9af05d564a)
、 ここで ![{\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 }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/05b7f428eae2fc1ebcbd0f4e71d173efa7333cb6)

![{\displaystyle -i{\hat {L}}'_{z}x_{\pm }=-ix_{\pm }{\hat {L}}'_{z}-i[{\hat {L}}'_{z},x_{\pm }]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f67cdf6066ea0506fd02825d0e4087c1ce8ea5d3)

![{\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}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8218c84d82d269daadabb7755bfc0758b9c22c50)
![{\displaystyle =x_{\pm }{\hat {L}}'_{z}{}^{2}+2[{\hat {L}}'_{z},x_{\pm }]{\hat {L}}'_{z}+[{\hat {L}}'_{z},[{\hat {L}}'_{z},x_{\pm }]]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e983dbca079ffeef8a812ac5c1ad5cd58fb1e147)

- なので求めるべき式が従う。
電磁波(光を含む)が軌道角運動量を持ち、これが異なると、同一周波数かつ同一の方角からの送信であっても特別な受信装置では(少なくともごく短距離において)混信を免れることが判明しており、光渦多重通信もしくは軌道角運動量多重通信という。伝送距離の上限などを改善して各種無線通信のほか光ファイバー通信への応用を目指す研究がなされている。
- ^ 理由:λは準同型であり、λがリー環so(3)に誘導するリー環準同型がλ*であるのでλ*はリー括弧を保存する。