最小作用の原理

テンプレート:脚注の不足 最小作用の原理（さいしょうさようのげんり、テンプレート:Lang-en-short）は、物理学における基本原理の一つで、特に解析力学の構成において、その基礎付けを与える動力学の原理である。最小作用の原理に従って、力学系の運動（時間発展）は、作用と呼ばれる汎関数を最小にするような軌道に沿って実現される（実際には「最小」になるとは限らず、仮想的な軌道の変化についての（第一）変分が零になる、すなわち「極値（停留）」をとるということなのであるが、既に「最小作用の法則（原理）」は歴史的な名称として定着してしまっているのであり、現代的には変分原理（variational principle）という方がより適切である）。

物理学における最大の指導原理の一つであり、電磁気学におけるマクスウェルの方程式や相対性理論におけるアインシュタイン方程式ですら、対応する作用の極小条件から導かれる。また、量子力学においても、この法則そのものは、ファインマンの経路積分の考え方によって理解できる。物体は運動において様々な運動経路（軌道）をとる事が可能であるが、作用積分が極値（鞍点値）をとる(すなわち最小作用の原理を満たす)経路が最も量子力学的な確率密度が高くなる事が知られている。

モーペルテュイの原理

力学における初期の変分原理であるモーペルテュイの原理（テンプレート:En）は、1747年にフランスの数学者モーペルテュイによって考え出された。モーペルテュイの最小作用の原理とも言う。一個の質点からなる系において、運動エネルギーテンプレート:Mvar とするとテンプレート:Indent が成り立つ経路を運動する。質点が運動する経路の長さをテンプレート:Mvar、質点の速度をテンプレート:Mvar として、テンプレート:Math であるからテンプレート:Indent となる。つまり、質点の運動は、運動量テンプレート:Mvar と経路の微小片テンプレート:Mvar の積の積分に対する停留値問題に帰着する。

系の全エネルギーをテンプレート:Mvar、ポテンシャル・エネルギーをテンプレート:Mvar とするとテンプレート:Indent と表すことができる。この原理は光学におけるフェルマーの原理テンプレート:Indent と対比される。ここでテンプレート:Mvar は屈折率、テンプレート:Mvar は光の通る経路である。

同様にラグランジアンにおける停留値問題、

δ \int_{t_{1}}^{t_{2}} L d t = δ \int_{t_{1}}^{t_{2}} (K - V) d t = 0

の式で表される原理をハミルトンの原理（ハミルトンの最小作用の原理）と言う。

作用汎関数

作用汎関数テンプレート:Math は、力学系の運動状態を指定する力学変数テンプレート:Math を引数にとる汎関数として与えられる。最小作用の原理から導かれる運動方程式は、汎関数微分によりテンプレート:Indent で書かれる。

ラグランジュ形式

ラグランジュ形式において、作用汎関数はラグランジュ関数テンプレート:Mvar の積分テンプレート:Indent として与えられる。ラグランジュ形式における力学変数は一般化座標テンプレート:Mvar である。一般化座標の変分テンプレート:Mvar に対して作用の変分はテンプレート:Indent となる。ここでテンプレート:Mvar は一般化座標に共役な一般化運動量である。最小作用の原理から導かれる運動方程式はテンプレート:Indent である。境界条件としてテンプレート:Indent あるいはテンプレート:Indent が課される。

力学変数が運動方程式に従うとき、作用は境界条件を与えるテンプレート:Math の関数テンプレート:Indent として表される。初期条件テンプレート:Math は定数として扱い、終端条件テンプレート:Math を変数とみなす。境界条件テンプレート:Math の下での運動方程式の解をテンプレート:Indent とし、境界条件テンプレート:Math の下での解をテンプレート:Indent とする。このとき作用の微分はテンプレート:Indent となる。したがって、作用の偏微分はテンプレート:Indent である。ここでテンプレート:Mvar はエネルギーである。

ハミルトン形式

ハミルトン形式において、作用汎関数はハミルトン関数によりテンプレート:Indent で与えられる。ハミルトン形式における力学変数は、一般化座標テンプレート:Mvar、及びこれに共役な一般化運動量テンプレート:Mvar である。これらは併せて正準変数と呼ばれる。正準変数の変分テンプレート:Mvar に対して作用の変分はテンプレート:Indent となり、運動方程式としてテンプレート:Indent テンプレート:Indent が導かれる。

計算上の注意点

偏微分を計算する際に、違う経路を算出する場合がある。例えば、東京－大阪間を地表に沿って移動する計算をすると、名古屋付近を経由する最短経路でなく、対蹠点を通る解が出てしまう場合がある。

量子力学における最小作用の原理

古典力学においては、時刻 $t_{a}$ に配位空間の座標 $q_{a}$ から出発し、時刻 $t_{b}$ に座標 $q_{b}$ に到達する粒子の軌道は、最小作用の原理によって、作用積分

S [q (t)] = \int_{t_{a}}^{t_{b}} L (q (t), \dot{q} (t)) d t

に対する停留条件

δ S = 0

によって与えられる。

量子力学においても、 $ℏ \to 0$ の極限によって古典力学に近づくことから、同様の原理が存在することが予想される。通常の正準量子化を行ったハミルトニアンによる量子力学の記述では、このような原理の存在は必ずしも明確ではないが、ファインマンが考案した経路積分の手法を用いることで、量子論における対応原理を理解することができる。経路積分によれば、遷移確率

K (q_{b}, t_{b}; q_{a}, t_{a}) = ⟨ q_{b} | e^{- \frac{i}{ℏ} \hat{H} (t_{b} - t_{a})} | q_{a} ⟩

は、古典論における作用積分S を用いて

\begin{matrix} K (q_{b}, t_{b}; q_{a}, t_{a}) & = \lim_{N \to \infty} \int_{q_{a} (t_{a})}^{q_{b} (t_{b})} \prod_{i = 0}^{N - 1} c_{i} d q_{i} e^{\frac{i}{ℏ} S [q]} \\ = \int_{q_{a} (t_{a})}^{q_{b} (t_{b})} 𝒟 q e^{\frac{i}{ℏ} S [q]} \end{matrix}

で与えられる。ここで、 $q_{i}$ は、時間を $t_{a} = t_{0} < t_{1} \dots < t_{N - 1} < t_{N} = t_{b}$ と微小分割していったときの時刻 $t_{i}$ における座標であり、積分は $q_{a}$ と $q_{b}$ を結ぶ全ての経路を数え上げ、それらの寄与を総和したものを意味する。

被積分関数である指数関数の中身は、作用積分と $i / ℏ$ を乗じた形であるため、 $ℏ \to 0$ とすると、わずかなS の変動によって、被積分関数は符号を変えつつ、激しく振動するため、積分は打ち消しあう。従って、 $q_{a} (t_{a})$ と $q_{b} (t_{b})$ を結ぶ各軌道の中でも、停留条件によって、その周りの仮想変位を与えたときの作用積分の変動が抑えられる古典的軌道 $q_{c} (t)$ がもっとも積分に寄与することになる。

参考文献

Wolfgang Yourgrau, Stanley Mandelsta, Variational Principles in Dynamics and Quantum Theory, Dover Publications (2011) ISBN 978-0486637730

外部リンク

テンプレート:Wayback - スカラーペディア百科事典「最小作用の原理」の項目。

テンプレート:Normdaten

最小作用の原理

目次

モーペルテュイの原理

作用汎関数

ラグランジュ形式

ハミルトン形式

計算上の注意点

量子力学における最小作用の原理

参考文献

関連記事

外部リンク

ナビゲーションメニュー

最小作用の原理

モーペルテュイの原理

作用汎関数

ラグランジュ形式

ハミルトン形式

計算上の注意点

量子力学における最小作用の原理

参考文献

関連記事

外部リンク

ナビゲーション メニュー

検索

ナビゲーションメニュー