空間の等方性に起因する保存量としての角運動量

LandauとLifshitzの肖像

J.J.Sakurai では, 角運動量を「回転の生成演算子」として導入している.それに対してランダウは「力学・場の理論」§9及び「量子力学」§14に於いて, 角運動量を「空間の等方性」に起因する保存量として導入している.物理的にはこちらの方が分かり易いのではないかと思われるので紹介しておこう.

古典力学での角運動量

空間の等方性」に起因する保存則を導こう.この「等方性」というのは,「(N個の質点からなる)孤立した力学系の性質が, 空間内で系全体が任意回転しても変わらない」ということである.そこで系の無限に小さな回転を考え, その際にラグランジアンが不変であるための条件を求めよう.
無限小回転のベクトル δϕ を導入する.このベクトルの大きさは回転角 δϕ に等しく, その方向は回転軸に一致している.
まず初めに, (回転軸上にある)座標原点から, 回転している系の任意の質点 a に向かう位置ベクトル ra を考える.回転に際しての ra の変化量 δra を求める.位置ベクトル r の先端の変位の大きさと角度の間には次の関係がある(図1を参照):

(1)|δr|=rsinθδϕ

Landau's picture about Angular momentaum

図 1 .

このベクトル δr の方向は rδϕ とで張られる平面に対して垂直であるから, 位置ベクトル ra について次が言えることは明らかである:

(2)δra=δϕ×ra

系の回転に際しては, 位置ベクトルの方向が変わるだけでなく, 力学系の全ての粒子の「速度の方向」も変化する.その際,「全てのベクトルは同じ法則に従って変換される」ことに注意する.従って, 各々の速度 va の増加分(変化量)を静止した座標系で書くと次となる:
(3)δva=δϕ×va

これらの表現を,「回転に対してラグランジアン L が不変」という次の条件に代入する:
(4)δL=a(Lraδra+Lvaδva)=0

このとき, 一般化運動量の定義とラグランジュの運動方程式から,
(5)Lva=Lr˙a=pa,Lra=ddt(Lr˙a)=ddt(Lva)=ddtpa=p˙a

この式 (5) 及び式 (2) と式 (3) を, 式 (4) に代入すると次となる:
(6)δL=a{p˙a(δϕ×ra)+pa(δϕ×va)}=0

3重積の循環置換 A(B×C)=B(C×A)=C(A×B) を行うと,
p˙a(δϕ×ra)=δϕ(ra×p˙a),pa(δϕ×va)=δϕ(va×pa)

そこで更に δϕ を括り出すと,
δL=a{δϕ(ra×p˙a)+δϕ(va×pa)}=δϕa{ra×p˙a+va×pa}=δϕa{ra×ddtpa+ddtra×pa}(7)=δϕaddt(ra×pa)=0

δϕ は任意であるから,
(8)addt(ra×pa)=ddta(ra×pa)=0

でなければならない.すなわち, 孤立系の運動に際しては, 次のベクトル量が保存されることが分かった:
(9)M=a(ra×pa)

この量を系の「角運動量」(或いは単に「モーメント」)と呼ぶ [1]回転モーメント」, 「角モーメント」という名称も用いられる.
運動量の場合と同様に, この量の加法性は明らかである.このことは相互作用が有るか無いかに依らない.

量子力学での角運動量

関数 f(x)x=a の近傍, すなわち x=a+δx でのテイラー展開, または, 関数 g(x,y)(x=a,y=b) 近傍, すなわち (x,y)=(a+δx,b+δy) でのテイラー展開は,
f(a+dx)=f(a)+(dfdx)adx+12!(d2fdx2)a(dx)2+,f(a+dx,b+dy)f(a,b)+(fx)adx+(fy)bdy
であるから, 式 (2) の回転による変化によって, 任意の多変数関数 ψ(r1,r2,) は次の関数に移る:

ψ(r1+δr1,r2+δr2,)ψ(r1,r2,)+ψr1δr1+ψr2δr2+=ψ(r1,r2,)+aδraψra=ψ+aδraaψ=ψ+a(δϕ×ra)aψ=ψ+aδϕ(ra×aψ)=ψ+δϕara×aψ(10)=(1+δϕara×a)ψ(r1,r2,)

ただし, 3重積の循環置換から
(δϕ×ra)aψ=(ra×aψ)δϕ,(δϕ×ra)aψ=δϕ(ra×aψ)

を用いている.
このときの表式
(11)D(δϕ)=1+iδϕG=1+δϕara×a

は, 式 (2) から「無限小回転の演算子」と考えることが出来る.「無限小回転が系のハミルトニアンを変化させない」という事実は, 回転演算子と演算子 H^ の可換性によって表現される:
D(δϕ)H^H^D(δϕ)=0

δϕ は定ベクトルであるから, この条件は演算子 ara×a とハミルトニアン H^ との可換性にまとめられる:
(12)(ara×a)H^H^(ara×a)=0

これは,「ある保存則」を表している.
閉じた系については, 空間の等方性からその保存性が導かれる量が系の「角運動量」である(上記古典力学の場合を見よ).従って,「演算子 iG=iL^=ara×a は, 定係数を除いて系の運動の全角運動量に, また和の各項 ra×a は, 個別粒子の角運動量に対応しなければならない」.「比例定数は i に等しいと置かなければならない」.こうすれば粒子の角運動量演算子 l^=ir×=r×p^ の表式が, 通常の古典的表式 r×p に正確に対応する.以下では, いつも を単位にして測った角運動量を用いることにしよう.このように定義した個別粒子の角運動量を l^ で表わし, 系全体の角運動量を L^ で表わすことにしよう.従って, 系全体の角運動量演算子および各粒子の角運動量演算子としては次式が得られる:
(13)L^=al^a=ara×(ia)=ara×p^a,l^a=ra×p^a=ira×a,

或いは, 各粒子の角運動量演算子を成分で表わすと次となる:
(14)l^x=yp^zzp^y,l^y=zp^xxp^z,l^z=xp^yyp^x

References

References
1 回転モーメント」, 「角モーメント」という名称も用いられる.