ルンゲ＝レンツベクトル

物理学において、ルンゲ＝レンツベクトル（テンプレート:Lang-en-short）とは、ケプラー問題、すなわち逆二乗則に従う中心力の下の運動における保存量の一つテンプレート:Sfnpテンプレート:Sfnpテンプレート:Sfnp。古典力学の天体運行のケプラー問題や量子力学の水素原子モデルの問題などに現れる。空間的な回転対称性の下で保存量となる角運動量のように、他の多くの保存量が幾何学的な対称性から導かれるのとは異なり、ルンゲ＝レンツベクトルを導く対称性は力学的性質に由来し、力学的対称性と呼ばれるテンプレート:Sfnpテンプレート:Sfnp。水素原子の束縛状態においては、量子力学的な角運動量演算子とルンゲ＝レンツベクトル演算子の交換関係は4次特殊直交群テンプレート:Mathに対応するリー代数をなし、固有値問題の代数的な解法を与える。

ルンゲ＝レンツベクトルという名はドイツの物理学者カール・ルンゲとテンプレート:仮リンクに因む。1924年の前期量子論の論文において、レンツはケプラー問題の摂動にルンゲ＝レンツベクトルを適用し、その引用文献として、ルンゲのベクトル解析の著作 "Vectoranalysis" を挙げた。なお、フランスの物理学者ピエール＝シモン・ラプラスはルンゲやレンツに先駆けて、1799年の天体力学の著作 "Traité de mécanique céleste" の中でルンゲ＝レンツベクトルの性質を論じておりテンプレート:R、ラプラス＝ルンゲ＝レンツベクトル（テンプレート:Lang-en-short）とも呼ばれる。但し、その発見はさらに古く、少なくとも18世紀初頭のベルヌーイ家の門弟テンプレート:仮リンクとヨハン・ベルヌーイの結果に遡るとされる。

導入

ルンゲ＝レンツベクトルは距離に反比例する引力型の中心力ポテンシャルによるケプラー問題に現れるテンプレート:Sfnpテンプレート:Sfnpテンプレート:Sfnp。重力ポテンシャルによって太陽の回りを運行する惑星やクーロンポテンシャルによって原子核の回りを運動する水素型原子の電子の運動はそうした例である。ここで、古典力学でのケプラー問題を考え、ルンゲ＝レンツベクトルを導入する。惑星や電子の質量に対し、太陽や原子核の質量は十分大きく、その運動は無視できるとし、原点に固定されているものと仮定する。惑星や電子に対応する質点の位置座標を テンプレート:Mvar、質量を テンプレート:Mvar とし、原点を中心とした中心力ポテンシャルを

$V(r)=-\frac{k}{r}(k>0)$

とする。正の定数 テンプレート:Mvar は、重力ポテンシャルの下での天体運行モデルの場合、太陽の質量を テンプレート:Mvar、惑星の質量を テンプレート:Mvar とすれば、万有引力定数 テンプレート:Mvar により、テンプレート:Math で与えられる。また、クーロンポテンシャルの下での水素型原子モデルの場合、原子番号（陽子数）テンプレート:Mvar、電気素量 テンプレート:Mvar と真空の誘電率 テンプレート:Math によって テンプレート:Math で与えられる。このとき、質点の運動を記述する運動方程式は

$\dot{𝒑}=-\mathrm{\nabla }V(r)=-\frac{k}{r^2}\frac{𝒓}{r}$

となる。但し、ドット記号は時間微分を表し、テンプレート:Mvar は運動量

$𝒑=m\dot{𝒓}$

である。運動方程式の右辺は逆二乗則に従う中心力を表している。

この系では、力学的エネルギー

$E=\frac{m{\dot{𝒓}}^2}{2}+V(r)$

と角運動量ベクトル

$𝑳=𝒓\times 𝒑$

は時間に対して不変な保存量となる。ここで、質点は角運動量ベクトルに垂直となる平面内を運動し、その軌道は原点を焦点とする二次曲線となる。特に テンプレート:Math の場合、軌道は楕円軌道となる。楕円軌道の軌道長半径を テンプレート:Mvar、軌道離心率を テンプレート:Mvar とすると

$E=-\frac{k}{2a}$

$L=\sqrt{mka(1-e^2)}(L=|𝑳|)$

の関係が成り立つ。

このとき、

$𝑨=𝒑\times 𝑳-mk\frac{𝒓}{r}$

で定義されるベクトルをルンゲ＝レンツベクトルと呼ぶ。ルンゲ＝レンツベクトルは

$\dot{𝑨}=0$

を満たす保存量である。

一般に中心力ポテンシャルの下での運動は回転対称性から角運動量ベクトルは保存量となり、その軌道は角運動量ベクトルに垂直な一定平面内に限られる。一方で、必ずも軌道が閉じて閉軌道となることは保証されない。距離に反比例する中心力ポテンシャル テンプレート:Math においても、わずかにその値が揺らぐと近日点と遠日点を結ぶ軸に歳差が生じ、楕円軌道としては閉じない。軌道が閉じる背後には角運動量ベクトルに加えて、別の保存量の存在が示唆されるが、ルンゲ＝レンツベクトルがその保存量となっているテンプレート:Sfnp。

基本的な性質

楕円軌道の各点におけるルンゲ＝レンツベクトル テンプレート:Math（赤色の矢印）。ルンゲ＝レンツベクトルは一定であり、その方向は原点から近日点を結ぶベクトル テンプレート:Math と等しく、その大きさは テンプレート:Mvar である。参考に テンプレート:Math（青色の矢印）と テンプレート:Math（緑色の矢印）を同時に示している。但し、図中では テンプレート:Math の記法を用いている。

ルンゲ＝レンツベクトルは時間的に変化しない一定ベクトルであり、楕円軌道を含む一定平面内に位置する。その方向は原点である焦点と近日点 (テンプレート:En) を結ぶ方向にある。また、その大きさは

$A=mke$

で与えられる。従って、近日点の座標を テンプレート:Math とすると、

$𝑨=mke\frac{{𝒓}_p}{r_p}$

と表すことができる。ルンゲ＝レンツベクトルを テンプレート:Mvar で除したベクトル

$𝒆=\frac{𝑨}{mk}$

は大きさが軌道離心率 テンプレート:Mvar である一定ベクトルである。このベクトルは離心率ベクトルと呼ばれる。

ある時刻 テンプレート:Mvar における系の状態は、位置座標 テンプレート:Math と運動量 テンプレート:Math の6つの座標で表される6次元の相空間の点として記述され、その時間発展は相空間上の軌道を描く。一般に保存量が存在すれば、相空間の軌道は制限され、自由度が下がる。特に相空間の次元を テンプレート:Math とすると テンプレート:Mvar 個の独立な保存量が存在すれば、相空間上の軌道は完全に決定される。ケプラー問題において、エネルギーと角運動量ベクトルの3成分、ルンゲ＝レンツベクトルの3成分は保存量である。その総数は7個であり、相空間の次元6より多い。このことはルンゲ＝レンツベクトルと角運動量ベクトル、エネルギーは互いに独立ではないことを意味する。実際、ルンゲ＝レンツベクトルと角運動量ベクトルは直交しており、

$𝑨\cdot 𝑳=0$

を満たす。また、ルンゲ＝レンツベクトル、角運動量ベクトル、エネルギーは関係式

$A^2=m^2{k}^2+2mE{L}^2$

で結ばれている。

歴史

ルンゲ＝レンツベクトルという名はドイツの物理学者カール・ルンゲとテンプレート:仮リンクに因む。レンツは前期量子論でケプラー問題を扱った1924年の論文の中で、エネルギー準位の摂動にルンゲ＝レンツベクトルを適用したテンプレート:R。そして、引用文献として、ルンゲの著作 "Vectoranalysis" を挙げた。ルンゲはその著作において、ベクトルが関わる微積分を扱った章で、中心力の下での運動では角運動量が保存量となることを示した後、距離の2乗に反比例する中心力では別の定ベクトルが存在し、逆にその定ベクトルから軌道の方程式が導かれることを記しているテンプレート:R。但し、参照文献を記しておらず、それが誰の発見によるものかも述べていない。その後、物理学者ヴォルフガング・パウリは、1926年の論文で当時、原子構造を説明する新しい理論として発展しつつあった行列力学を水素原子に適用し、その中でレンツの結果を引用した。パウリはこの論文の中で、ルンゲ＝レンツベクトルを足掛かりに、行列力学によって、水素原子のスペクトル構造や外部電場を印加した時のシュタルク効果による補正を導いた。ルンゲ＝レンツベクトルについては、パウリは「レンツによって用いられた」とのみ述べているが、その後、物理学ではルンゲ＝レンツベクトルの名で定着するに至ったテンプレート:R。

なお、ルンゲとレンツの名を冠するルンゲ＝レンツベクトルだが、その発見の歴史はさらに時代を遡り、また、何度か独立に再発見されてきたテンプレート:R。多くの現代的な天体力学の文献は、ルンゲ＝レンツベクトルの発見をフランスの物理学者ピエール＝シモン・ラプラス、または四元数を発見したことで知られるアイルランドの数学者ウィリアム・ローワン・ハミルトンによるものとしているテンプレート:R。ラプラスは、1799年の天体力学の著作 "Traité de mécanique céleste" の第1巻において、ルンゲ＝レンツベクトルに相当する保存量を導いている。ラプラスは楕円軌道となる天体の運動を論じた章の中で、エネルギー、角運動量ベクトル、ルンゲ＝レンツベクトルに相当する7個の第一積分を導き、さらにこれらのうち、5個だけが独立であることを指摘しているテンプレート:R。一方、ハミルトンは、1843年の四元数の発見後、精力的に理論の普及活動と諸分野への応用を行ったが、テンプレート:仮リンクに送った1847年の四元数を力学に応用した論文の中で、ルンゲ＝レンツベクトルに相当する離心率ベクトルを独立に導いている。

ハミルトン形式とポアソン括弧

ハミルトン形式の解析力学で記述すれば、ケプラー問題の対称性とルンゲ＝レンツベクトルの性質がより明らかになるテンプレート:Sfnp。角運動量ベクトル テンプレート:Math の各成分同士のポアソン括弧は

$\{L_1,L_2\}=L_3,\{L_2,L_3\}=L_1,\{L_3,L_1\}=L_2$

という3次特殊直交群テンプレート:Mathに対応する関係式を満たす。ここでエディントンのイプシロン テンプレート:Mvar を用いれば、

$\{L_i,L_j\}=\sum _{k=1}^3{ϵ}_{ijk}{L}_k$

と表すことができる。また、角運動量ベクトルとルンゲ＝レンツベクトルのポアソン括弧は

$\{A_i,L_j\}=\sum _{k=1}^3{ϵ}_{ijk}{A}_k$

となる。一方、ルンゲ＝レンツベクトル同士のポアソン括弧は、例えば

$\{A_1,A_2\}=-(p^2-\frac{2mk}{r})L_3=-2mE{L}_3$

となり、定数項 テンプレート:Math の係数が付く。ここで テンプレート:Math となる束縛状態について

$𝑫=\frac{𝑨}{\sqrt{-2mE}}$

を導入すれば、

$\{L_i,L_j\}=\sum _{k=1}^3{ϵ}_{ijk}{L}_k$

$\{D_i,L_j\}=\sum _{k=1}^3{ϵ}_{ijk}{D}_k$

$\{D_i,D_j\}=\sum _{k=1}^3{ϵ}_{ijk}{L}_k$

と簡明にまとめられる。この関係式はテンプレート:Mathを拡大したテンプレート:Mathに対応付けられる。

水素型原子モデル

水素原子 (テンプレート:Math) のエネルギー準位。エネルギー固有状態は主量子数 テンプレート:Mvar、方位量子数 テンプレート:Mvar、磁気量子数 テンプレート:Mvar で指定されるが、エネルギー準位は主量子数だけで定まり、テンプレート:Math 重に縮退している。エネルギー準位は角運動量とルンゲ＝レンツベクトルから代数的に求めることができる。

量子力学においては、対称性は保存量と結び付き、エネルギー準位の縮退を導く。水素型原子モデルのエネルギー固有状態は主量子数 テンプレート:Mvar、方位量子数 テンプレート:Mvar、磁気量子数 テンプレート:Mvar で指定されるが、エネルギー準位は主量子数だけで定まり、テンプレート:Math 重に縮退している。空間的に球対称な水素型原子モデルでは、テンプレート:Mathで表される回転対称性により、角運動量が保存量となる。但し、回転対称性だけでは テンプレート:Math の値をとる磁気量子数による テンプレート:Math 重の縮退しか説明できない。このことは、さらに別の対称性の存在を示唆する。この対称性こそが、束縛状態で角運動量とルンゲ＝レンツベクトルがなすテンプレート:Mathの対称性である。

量子化

量子力学では正準量子化により、力学的な物理量はエルミート演算子になる。演算子（の各座標成分）同士の積は可換とは限らず、古典力学とは違い演算子 テンプレート:Math は テンプレート:Math に一致しない。したがって、テンプレート:Math はエルミート演算子ではなく、量子力学では物理量を表わさない。そこで量子力学的なルンゲ＝レンツベクトルは、エルミート演算子

$\widehat{𝑨}=\frac{1}{2}(\widehat{𝒑}\times \widehat{𝑳}-\widehat{𝑳}\times \widehat{𝒑})-mk\frac{\widehat{𝒓}}{r}$

で定義される。

テンプレート:Mvar はハミルトニアン テンプレート:Mvar と可換であるから、ハイゼンベルク方程式からの帰結として保存量であるといえる。

$i\hslash \frac{\mathrm{d}\widehat{𝑨}}{\mathrm{d}t}=[\widehat{𝑨},\hat{H}]=0$

また、古典論での関係式に類似した下記の関係を満たす。

$\widehat{𝑨}\cdot \widehat{𝑳}=\widehat{𝑳}\cdot \widehat{𝑨}=0$

${\widehat{𝑨}}^2=m^2{k}^2+2m\hat{H}({\widehat{𝑳}}^2+{\hslash }^2)$

対称性

古典論と同様に テンプレート:Math となる束縛状態について、

$\widehat{𝑫}=\frac{\widehat{𝑨}}{\sqrt{-2mE}}$

を導入すれば、テンプレート:Mvar との交換関係として、テンプレート:Mathに対応する

$[{\hat{L}}_i,{\hat{L}}_j]=i\hslash \sum _{k=1}^3{ϵ}_{ijk}{\hat{L}}_k$

$[{\hat{D}}_i,{\hat{L}}_j]=i\hslash \sum _{k=1}^3{ϵ}_{ijk}{\hat{D}}_k$

$[{\hat{D}}_i,{\hat{D}}_j]=i\hslash \sum _{k=1}^3{ϵ}_{ijk}{\hat{L}}_k$

が成り立つ。すなわち、テンプレート:Mathまたはそれと局所同型なテンプレート:Mathに対応していた テンプレート:Mvar の交換関係がなすリー代数は、テンプレート:Mathのものに拡張される。さらに、

$\widehat{𝑰}=\frac{1}{2}(\widehat{𝑳}+\widehat{𝑫})$

$\widehat{𝑲}=\frac{1}{2}(\widehat{𝑳}-\widehat{𝑫})$

を導入すると、これらは

$[{\hat{I}}_i,{\hat{I}}_j]=i\hslash \sum _{k=1}^3{ϵ}_{ijk}{\hat{I}}_k$

$[{\hat{K}}_i,{\hat{K}}_j]=i\hslash \sum _{k=1}^3{ϵ}_{ijk}{\hat{K}}_k$

$[{\hat{I}}_i,{\hat{K}}_j]=0$

$[\widehat{𝑰},\hat{H}]=[\widehat{𝑲},\hat{H}]=0$

と独立な2つのテンプレート:Mathまたはテンプレート:Mathに付随したリー代数をなす。したがって、角運動量演算子の場合と同様にハミルトニアンを同時対角化する テンプレート:Math の固有値の取りうる値は

${\widehat{𝑰}}^2=s(s+1){\hslash }^{2}s=0,\frac{1}{2},1,\cdots$

${\widehat{𝑲}}^2=s^{\prime }(s^{\prime }+1){\hslash }^2{s}^{\prime }=0,\frac{1}{2},1,\cdots$

となる。一方、テンプレート:Mathに付随するリー代数は階数2であり、リー代数の全ての元と可換となるテンプレート:仮リンクは2つ存在するが

${\widehat{𝑰}}^2=\frac{1}{4}(\widehat{𝑳}+\widehat{𝑫}{)}^2$

${\widehat{𝑲}}^2=\frac{1}{4}(\widehat{𝑳}-\widehat{𝑫}{)}^2$

が該当する。

エネルギー準位

カシミール演算子としては、テンプレート:Math の線形結合として

$\widehat{C_1}={\widehat{𝑰}}^2+{\widehat{𝑲}}^2=\frac{1}{2}({\widehat{𝑳}}^2+{\widehat{𝑫}}^2)$

$\widehat{C_2}={\widehat{𝑰}}^2-{\widehat{𝑲}}^2=\widehat{𝑳}\cdot \widehat{𝑫}$

をとることができる。ここで、テンプレート:Math であるから、テンプレート:Mathのなすリー代数を テンプレート:Math に制限してよい。よって、テンプレート:Math であり、テンプレート:Math のとり得る値は

$\widehat{C_1}=2s(s+1){\hslash }^2$

となる。一方、

$\widehat{C_1}=\frac{1}{2}({\widehat{𝑳}}^2-\frac{1}{2mE}{\widehat{𝑨}}^2)=-\frac{m{k}^2}{4E}-\frac{1}{2}{\hslash }^2$

であるから、水素型原子のエネルギー準位は

$E=-\frac{m{k}^2}{2{\hslash }^2(2s+1{)}^2}s=0,\frac{1}{2},1,\cdots$

となる。ここで、テンプレート:Math は主量子数 テンプレート:Mvar に対応する。

参考文献

• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book

関連項目

• ケプラー問題
• 対称性 (物理学)

外部リンク

• テンプレート:Kotobank