最小作用の原理

最小作用の原理（さいしょうさようのげんり、）は、物理学における基本原理の一つで、特に解析力学の構成において、その基礎付けを与える動力学の原理である。最小作用の原理に従って、力学系の運動（時間発展）は、作用と呼ばれる汎関数を最小にするような軌道に沿って実現される（実際には「最小」になるとは限らず、仮想的な軌道の変化についての（第一）変分が零になる、すなわち「極値（停留）」をとるということなのであるが、既に「最小作用の法則（原理）」は歴史的な名称として定着してしまっているのであり、現代的には変分原理（variational principle）という方がより適切である）。
物理学における最大の指導原理の一つであり、電磁気学におけるマクスウェルの方程式や相対性理論におけるアインシュタイン方程式ですら、対応する作用の極小条件から導かれる。また、量子力学においても、この法則そのものは、ファインマンの経路積分の考え方によって理解できる。物体は運動において様々な運動経路（軌道）をとる事が可能であるが、作用積分が極値（鞍点値）をとる(すなわち最小作用の原理を満たす)経路が最も量子力学的な確率密度が高くなる事が知られている。
モーペルテュイの原理.
力学における初期の変分原理であるモーペルテュイの原理（）は、1747年にフランスの数学者モーペルテュイによって考え出された。モーペルテュイの最小作用の原理とも言う。一個の質点からなる系において、運動エネルギー とすると
が成り立つ経路を運動する。質点が運動する経路の長さを 、質点の速度を として、 であるから
となる。つまり、質点の運動は、運動量 と経路の微小片 の積の積分に対する停留値問題に帰着する。
系の全エネルギーを 、ポテンシャル・エネルギーを とすると
と表すことができる。この原理は光学におけるフェルマーの原理
と対比される。ここで は屈折率、 は光の通る経路である。
同様にラグランジアンにおける停留値問題、
の式で表される原理をハミルトンの原理（ハミルトンの最小作用の原理）と言う。
作用汎関数.
作用汎関数 は、力学系の運動状態を指定する力学変数 を引数にとる汎関数として与えられる。
最小作用の原理から導かれる運動方程式は、汎関数微分により
で書かれる。
ラグランジュ形式.
ラグランジュ形式において、作用汎関数はラグランジュ関数 の積分
として与えられる。ラグランジュ形式における力学変数は一般化座標 である。一般化座標の変分 に対して作用の変分は
となる。ここで は一般化座標に共役な一般化運動量である。最小作用の原理から導かれる運動方程式は
である。境界条件として
あるいは
が課される。
力学変数が運動方程式に従うとき、作用は境界条件を与える の関数
として表される。初期条件 は定数として扱い、終端条件 を変数とみなす。
境界条件 の下での運動方程式の解を
とし、境界条件 の下での解を
とする。このとき作用の微分は
(t_1),t_1)\, \Delta t \\
 &=p(t_1)\, \Delta q -[ p(t_1)\, \dot{\tilde{q}}(t_1) -L(\tilde{q}(t_1),\dot{\tilde{q}}(t_1),t_1) ] \Delta t \\
\end{align} </math>
となる。
したがって、作用の偏微分は
である。ここで はエネルギーである。
ハミルトン形式.
ハミルトン形式において、作用汎関数はハミルトン関数により
で与えられる。ハミルトン形式における力学変数は、一般化座標 、及びこれに共役な一般化運動量 である。これらは併せて正準変数と呼ばれる。
正準変数の変分 に対して作用の変分は
となり、運動方程式として
が導かれる。
計算上の注意点.
偏微分を計算する際に、違う経路を算出する場合がある。例えば、東京－大阪間を地表に沿って移動する計算をすると、名古屋付近を経由する最短経路でなく、対蹠点を通る解が出てしまう場合がある。
量子力学における最小作用の原理.
古典力学においては、時刻formula_2に配位空間の座標formula_3から出発し、時刻formula_4に座標formula_5に到達する粒子の軌道は、最小作用の原理によって、作用積分
に対する停留条件
によって与えられる。
量子力学においても、formula_8の極限によって古典力学に近づくことから、同様の原理が存在することが予想される。通常の正準量子化を行ったハミルトニアンによる量子力学の記述では、このような原理の存在は必ずしも明確ではないが、ファインマンが考案した経路積分の手法を用いることで、量子論における対応原理を理解することができる。経路積分によれば、遷移確率
は、古典論における作用積分"S" を用いて
で与えられる。ここで、formula_11は、時間をformula_12と微小分割していったときの時刻formula_13における座標であり、積分はformula_3とformula_5を結ぶ全ての経路を数え上げ、それらの寄与を総和したものを意味する。
被積分関数である指数関数の中身は、作用積分とformula_16を乗じた形であるため、formula_8とすると、わずかな"S" の変動によって、被積分関数は符号を変えつつ、激しく振動するため、積分は打ち消しあう。従って、formula_18とformula_19を結ぶ各軌道の中でも、停留条件によって、その周りの仮想変位を与えたときの作用積分の変動が抑えられる古典的軌道formula_20がもっとも積分に寄与することになる。