最小作用の原理
最小作用の原理(さいしょうさようのげんり、英: principle of least action)は、物理学における基礎原理の一つ。特に解析力学の形成において、その基礎付けを与えた力学の原理を指す。最小作用の原理に従って、物体の運動(時間発展)は、作用積分と呼ばれる量を最小にするような軌道に沿って実現される。
物理学における最大の指導原理の一つであり、電磁気学におけるマクスウェルの方程式や相対性理論におけるアインシュタイン方程式ですら、対応するラグランジアンとこの法則を用いて導出される。また、量子力学においても、この法則そのものは、ファインマンの経路積分の考え方によって理解できる。物体は運動において様々な運動経路(軌道)をとる事が可能であるが、作用積分が極値(鞍点値)をとる(すなわち最小作用の原理を満たす)経路が最も量子力学的な確率密度が高くなる事が知られている。
目次 |
モーペルテュイの原理(Maupertuis' principle) [編集]
モーペルテュイの最小作用の原理とも言う。1747年、フランスの数学者モーペルテュイ(P. L. M. Maupertuis)によって考え出された。一個の質点からなる系において、その質点が運動する経路を
とすると、
が成り立つ。この時、
は運動エネルギー、
は質点の運動する経路の微小片の長さ、
は質点の速度、
は質点の質量である。つまり、質点の運動は、運動量
と経路の微小片
の積の積分に関する停留値問題に帰着する。これが、モーペルテュイの原理である。
上式の最右辺の式は、系の全エネルギーを
、位置エネルギーを
とすると、
から、
と換言することができる。
この原理は、フェルマーの原理、
と対比される。ここで、
は屈折率、
は光の通る経路である。
同様にラグランジアンにおける停留値問題、
の式で表される原理をハミルトンの原理(ハミルトンの最小作用の原理)と言う。
作用積分 [編集]
ラグランジアンの積分
を作用積分またはハミルトンの積分と言う。前節のハミルトンの原理は作用積分を用いて
と書くことができる。
ラグランジアンの変分は正準運動量 piを用いて
と表されるから
となる。また、
であるから、作用積分の時間による偏微分は
となる。( H はハミルトニアン)
計算上の注意点 [編集]
偏微分を計算する際に、違う経路を算出する場合がある。例えば、東京-大阪間を地表に沿って移動する計算をすると、名古屋付近を経由する最短経路でなく、対蹠点を通る解が出てしまう場合がある。
量子力学における最小作用の原理 [編集]
古典力学においては、時刻
に配位空間の座標
から出発し、時刻
に座標
に到達する粒子の軌道は、最小作用の原理によって、作用積分
に対する停留条件
によって与えられる。
量子力学においても、
の極限によって古典力学に近づくことから、同様の原理が存在することが予想される。通常の正準量子化を行ったハミルトニアンによる量子力学の記述では、このような原理の存在は必ずしも明確ではないが、ファインマンが考案した経路積分の手法を用いることで、量子論における対応原理を理解することができる。経路積分によれば、遷移確率
は、古典論における作用積分S を用いて
で与えられる。ここで、
は、時間を
と微小分割していったときの時刻
における座標であり、積分は
と
を結ぶ全ての経路を数え上げ、それらの寄与を総和したものを意味する。
被積分関数である指数関数の中身は、作用積分と
を乗じた形であるため、
とすると、わずかなS の変動によって、被積分関数は符号を変えつつ、激しく振動するため、積分は打ち消しあう。従って、
と
を結ぶ各軌道の中でも、停留条件によって、その周りの仮想変位を与えたときの作用積分の変動が抑えられる古典的軌道
がもっとも積分に寄与することになる。
参考文献 [編集]
- Wolfgang Yourgrau, Stanley Mandelsta, Variational Principles in Dynamics and Quantum Theory, Dover Publications (2011) ISBN 978-0486637730
関連記事 [編集]
外部リンク [編集]
- (百科事典)「Principle of least action」 - スカラーペディアにある「最小作用の原理」についての項目。(英語)





![I[q(t)] = \int_{t_1}^{t_2} L(q(t) , \dot {q}(t) , t) dt](http://upload.wikimedia.org/math/e/3/9/e398b8fe181988b491733c12a6f2a58f.png)








![S[q(t)]= \int_{t_a}^{t_b} L(q(t), \dot{q}(t))](http://upload.wikimedia.org/math/8/0/0/800257d4e5eb6728aa33c39acb569842.png)


![\begin{align}
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 dq_i \,
e^{ {i \over {\hbar} } S[q]} \\
&= \int_{q_a(t_a)}^{q_b(t_b)} \mathcal{D}q \,
e^{ {i \over {\hbar} } S[q]}
\end{align}](http://upload.wikimedia.org/math/3/e/1/3e105c4ffe31beabed0c452085c70e27.png)