軌道角運動量

軌道角運動量（きどうかくうんどうりょう、）とは、特に量子力学において、位置とそれに共役な運動量の積で表される角運動量のことである。
。電子の全角運動量のうち、電子がその性質として持つスピン角運動量を除く部分が軌道角運動量である。
概要.
定義.
軌道角運動量演算子は以下のように定義される：
formula_1
定義に至る背景.
この定義は、古典力学における角運動量の定義において、位置 と運動量 を形式的に位置演算子formula_2（「」は を乗じる事を意味する）と運動量演算子の組formula_3に置き換える事で得られたものである。
一般化.
より一般に、3次元空間の単位ベクトル に対し、内積formula_4を を回転軸とする軌道角運動量演算子という。
性質.
交換関係.
formula_5と表記すると、軌道角運動量は以下の交換関係を満たす：formula_6formula_7formula_8ここで はエディントンのイプシロンである。特に最後の軌道角運動量同士の交換関係の形は角運動量代数と呼ばれている。
極座標表示.
球面座標 を用いると、 は
formula_9
と書ける。
さらに球面座標表示した曲線 、、 の原点における接線方向の単位ベクトルを とするとき、 方向の軌道角運動量演算子 とすると、以下が成立する：
formula_10formula_11formula_12
軌道角運動量の自乗.
定義.
軌道角運動量の二乗を
と定義する。
交換関係.
この演算子は軌道角運動量の各成分と可換である：formula_13
極座標表示.
極座標で書き表すと：
である。
ラプラシアンとの関係.
実はこれはラプラシアンの極座標表示と関係がある。すなわちラプラシアンを極座標表示して
と動径方向と球面方向にわけると、
が成立する。
回転対称性との関係.
波動関数の回転.
3次元空間 における回転行列全体の集合をformula_183次元実数係数行列で、 formula_19とし（ここで は単位行列であり、 は の転置行列である）、
回転行列 に対し、波動関数の全体の空間 formula_20 上にユニタリ演算子formula_21formula_22を定義すると、これは波動関数の「回転」とみなせる
軌道角運動量演算子との関係.
単位ベクトル に対 し、 を を軸として右手系に ラジアンだけ回転する行列とすると、以下が成立する：formula_23formula_24ここでformula_25は を回転軸とする軌道角運動量演算子である。
証明.
本節ではformula_25が 軸の周りの軌道角運動量 の場合のみ証明するがそれ以外の場合も同様である。
既に述べたようには球面座標系 を用いてと表記できるので、任意の波動関数 に対し、を極座標表示すれば、formula_27formula_28formula_29formula_30となり、主張が証明できた。
回転対称性からみた交換関係.
 の微分を計算すると、formula_31 となる。
関数 を、formula_32が任意の波動関数 と に値を取る任意の に対して成立するよう定義する（詳細は省くがこのような関数はwell-definedに定義可能である）と、formula_33が成立する事が知られている。よって
すなわち軌道角運動量の交換関係は、 の交換関係から導かれたものである。
は以下を満たす事が知られている。ここで「」はクロス積である：formula_35 よって軌道角運動量の交換関係は
である。これは前の節で述べた交換関係と一致する。他の軸に関する軌道角運動量の交換関係も同様にして求めることができる。
球面調和関数.
後の節で述べるように、軌道角運動量演算子の固有関数は球面調和関数で記述可能なので、本節ではその準備として、球面調和関数の定義と性質を述べる。
なお、球面調和関数の定義は数学と物理学とで異なるので、本節では両方の定義を紹介し、両者の関係も述べる。
数学における球面調和関数.
３次元空間における多項式でformula_37を満たすものを調和多項式といい、調和多項式がformula_38次の斉次多項式であるとき、
を球面formula_39に制限したものをformula_38次の球面調和関数という。
物理学における球面調和関数.
3次元空間 の場合、 を球面座標 で表す。下記の関数 formula_41 を（物理学における）球面調和関数という：
ここで
であり、formula_45 はルジャンドルの陪多項式
である。すなわち formula_45 はルジャンドルの陪微分方程式
の解である。なお formula_41 の定義における係数は、後述する内積から定義されるノルムが 1 になるよう選んだものである。
２つの定義の関係.
関数 を
と定義すると、（を直交座標で書いたもの）は数学におけるformula_38次の球面調和関数になる。
また、を数学におけるformula_38次の球面調和関数とすると、の極座標は必ず
という形の線形和で書ける。
これらの事実の証明は球面調和関数の項目を参照されたい。
性質.
3次元空間の球面座標 に対し、
が成立する。そこで、 上の関数 と次元空間 の単位球面
上のつの可積分関数 に対し、内積を以下のように定義する：
このとき次の定理が成立する（定理の導出の詳細は球面調和関数の項目を参照）。 = 
 1 & \text{if } \ell=j, m=s\\
軌道角運動量の二乗の固有関数.
数学における球面調和関数はformula_58の固有関数である：formula_59　　　…()ここでformula_38は球面調和関数の次数である。なお、formula_61を動径方向の任意の自乗可積分関数とすると、上式から明らかにformula_62であるので、formula_63もformula_58の固有関数である。
既に述べたように数学における球面調和関数は物理学における球面調和関数formula_65の線形和で書けるので、より、formula_58の固有関数は上述の形のものに限られる。
()の証明.
既に述べたようにラプラシアンの極座標表示は、
と動径方向と球面方向にわけると、
が成立するので、をformula_38次の球面調和関数とすると、
ベクトルは動径方向
と球面方向
に分解でき、しかもはformula_38次の斉次多項式であるので、
軌道角運動量の直交座標成分の固有関数.
を物理学における球面調和関数に作用させると
より
より
量子数.
これまでの記述から分かるように
を満たすformula_85が存在し、必要ならformula_85を定数倍すれば、
が成立する。
formula_43 を軌道角運動量量子数（方位量子数）、 は軌道磁気量子数という。前節で述べたように、
を満たす。
昇降演算子.
定義.
昇降演算子を
により定義する。以下この２つを合わせて
と略記する。
性質.
簡単な計算から交換関係
を満たすので、を固有値に対するの固有関数とすると、次の式が成りたつ。
したがって、はの固有関数であり、その固有値はである。
すなわち、昇降演算子はに対応する固有関数をに対応する固有関数に移す。
よって特に
が成立する。
その他の性質.
とするとT10、交換関係
が成立することが簡単な計算から分かる。
証明.
最後の式だけ確認すると、
工学的応用.
電磁波(光を含む)が軌道角運動量を持ち、これが異なると、同一周波数かつ同一の方角からの送信であっても特別な受信装置では(少なくともごく短距離において)混信を免れることが判明しており、光渦多重通信もしくは軌道角運動量多重通信という。伝送距離の上限などを改善して各種無線通信のほか光ファイバー通信への応用を目指す研究がなされている。