最小作用の原理のソースを表示

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

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

== モーペルテュイの原理 ==
力学における初期の[[変分原理]]である'''モーペルテュイの原理'''（{{en|Maupertuis' principle}}）は、[[1747年]]にフランスの数学者[[ピエール・ルイ・モーペルテュイ|モーペルテュイ]]によって考え出された。モーペルテュイの最小作用の原理とも言う。一個の質点からなる系において、運動エネルギー {{mvar|K}} とすると
{{Indent|
<math>\delta \int 2K\, dt =0</math>
}}
が成り立つ経路を運動する。質点が運動する経路の長さを {{mvar|L}}、質点の速度を {{mvar|v}} として、{{math|1=''dL'' = ''v dt''}} であるから
{{Indent|
<math>\delta \int mv\, dL =0</math>
}}
となる。つまり、質点の運動は、[[運動量]] {{mvar|mv}} と経路の微小片 {{mvar|dL}} の積の積分に対する停留値問題に帰着する。

系の全エネルギーを {{mvar|E}}、ポテンシャル・エネルギーを {{mvar|V}} とすると
{{Indent|
<math>\delta \int \sqrt{2m(E-V)}\, dL = 0 </math>
}}
と表すことができる。この原理は光学における[[フェルマーの原理]]
{{Indent|
<math>\delta \int n\, dL =0</math>
}}
と対比される。ここで {{mvar|n}} は[[屈折率]]、{{mvar|L}} は光の通る経路である。

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

:<math> \delta \int_{t_1}^{t_2} L\,dt = \delta \int_{t_1}^{t_2} (K - V)\,dt = 0 </math>

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

== 作用汎関数 ==
作用汎関数 {{math|''S''[''&phi;'']}} は、力学系の運動状態を指定する力学変数 {{math|''&phi;''(''x'')}} を引数にとる汎関数として与えられる。
最小作用の原理から導かれる[[運動方程式]]は、[[汎関数微分]]により
{{Indent|
<math>\frac{\delta S[\phi]}{\delta\phi(x)} =0</math>
}}
で書かれる。

=== ラグランジュ形式 ===
ラグランジュ形式において、作用汎関数はラグランジュ関数 {{mvar|L}} の積分
{{Indent|
<math>S[q] = \int_{t_0}^{t_1} L(q(t), \dot{q}(t), t)\, dt </math>
}}
として与えられる。ラグランジュ形式における力学変数は一般化座標 {{mvar|q}} である。一般化座標の変分 {{mvar|&delta;q}} に対して作用の変分は
{{Indent|
<math>\delta S = \Big[ p(t)\, \delta q(t) \Big]_{t_0}^{t_1} +\int_{t_0}^{t_1} \left[
 \frac{\partial L}{\partial q} -\dot{p}(t) \right] \delta q(t)\, dt </math>
}}
となる。ここで {{mvar|p}} は一般化座標に共役な一般化運動量である。最小作用の原理から導かれる運動方程式は
{{Indent|
<math>\frac{\delta S[q]}{\delta q(t)} =\frac{\partial L}{\partial q} -\dot{p}(t) =0</math>
}}
である。境界条件として
{{Indent|
<math>\delta q(t_0) = \delta q(t_1) =0</math>
}}
あるいは
{{Indent|
<math>q_0 =q(t_0),~ q_1 = q(t_1)</math>
}}
が課される。

力学変数が運動方程式に従うとき、作用は境界条件を与える {{math|''q''{{sub|0}}, ''t''{{sub|0}}, ''q''{{sub|1}}, ''t''{{sub|1}}}} の関数
{{Indent|
<math>S =S(q_0,t_0; q_1,t_1)</math>
}}
として表される。初期条件 {{math|''q''{{sub|0}}, ''t''{{sub|0}}}} は定数として扱い、終端条件 {{math|''q''{{sub|1}}, ''t''{{sub|1}}}} を変数とみなす。
境界条件 {{math|''q''{{sub|0}}, ''t''{{sub|0}}, ''q''{{sub|1}}, ''t''{{sub|1}}}} の下での運動方程式の解を
{{Indent|
<math>\tilde{q}(t_0) =q_0,~ \tilde{q}(t_1) =q_1</math>
}}
とし、境界条件 {{math|''q''{{sub|0}}, ''t''{{sub|0}}, ''q''{{sub|1}}+''&Delta;q'', ''t''{{sub|1}}+''&Delta;t''}} の下での解を
{{Indent|
<math>\tilde{q}'(t_0) =q_0,~ \tilde{q}'(t_1+\Delta t) =q_1+\Delta q</math>
}}
とする。このとき作用の微分は
{{Indent|
<math> \begin{align}
\Delta S &= \int_{t_0}^{t_1+\Delta t} L(q',\dot{q}',t)\, dt -\int_{t_0}^{t_1} L(q,\dot{q},t)\, dt \\
 &=p(t_1)[\tilde{q}'(t_1) -\tilde{q}(t_1)]
 +L(\tilde{q}(t_1),\dot{\tilde{q}}(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>
}}
となる。
したがって、作用の偏微分は
{{Indent|
<math>\frac{\partial S}{\partial q_1} =p(t_1),~
\frac{\partial S}{\partial t_1} =-E(t_1)</math>
}}
である。ここで {{mvar|E}} はエネルギーである。

=== ハミルトン形式 ===
ハミルトン形式において、作用汎関数はハミルトン関数により
{{Indent|
<math>S[p,q] =\int_{t_0}^{t_1} \big[ p(t)\dot{q}(t) -H(p,q) \big] dt</math>
}}
で与えられる。ハミルトン形式における力学変数は、一般化座標 {{mvar|q}}、及びこれに共役な一般化運動量 {{mvar|p}} である。これらは併せて[[正準変数]]と呼ばれる。
正準変数の変分 {{mvar|&delta;q, &delta;p}} に対して作用の変分は
{{Indent|
<math>\delta S =\Big[ p(t)\, \delta q(t) \Big]_{t_0}^{t_1} +\int_{t_0}^{t_1} \left\{ \delta p(t) \left[ \dot{q}(t) -\frac{\partial H}{\partial p}
\right] -\left[ \dot{p}(t) +\frac{\partial H}{\partial q} \right] \delta q(t) \right\} dt</math>
}}
となり、運動方程式として
{{Indent|
<math>\frac{\delta S[p,q]}{\delta p(t)} =\dot{q}(t) -\frac{\partial H}{\partial p} =0</math>
}}
{{Indent|
<math>\frac{\delta S[p,q]}{\delta q(t)} =-\dot{p}(t) -\frac{\partial H}{\partial q} =0</math>
}}
が導かれる。

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

==量子力学における最小作用の原理==
古典力学においては、時刻<math>t_a</math>に配位空間の座標<math>q_a</math>から出発し、時刻<math>t_b</math>に座標<math>q_b</math>に到達する粒子の軌道は、最小作用の原理によって、作用積分

:<math> S[q(t)]= \int_{t_a}^{t_b} L(q(t), \dot{q}(t))\,dt</math>

に対する停留条件

:<math>\delta S=0 \,</math>

によって与えられる。

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

:<math>
K(q_b,t_b; q_a,t_a)
= \left \langle q_b \left | e^{ - { i \over {\hbar}} \hat{H} (t_b - t_a) } \right| q_a \right \rangle 
</math>

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

:<math>\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}
</math>
で与えられる。ここで、<math>q_i</math>は、時間を<math>t_a=t_0<t_1\cdots<t_{N-1}<t_N=t_b</math>と微小分割していったときの時刻<math>t_i</math>における座標であり、積分は<math>q_a</math>と<math>q_b</math>を結ぶ全ての経路を数え上げ、それらの寄与を総和したものを意味する。

被積分関数である指数関数の中身は、作用積分と<math>i/\hbar</math>を乗じた形であるため、<math>\hbar \rightarrow 0</math>とすると、わずかな''S'' の変動によって、被積分関数は符号を変えつつ、激しく振動するため、積分は打ち消しあう。従って、<math>q_a(t_a)</math>と<math>q_b(t_b)</math>を結ぶ各軌道の中でも、停留条件によって、その周りの仮想変位を与えたときの作用積分の変動が抑えられる古典的軌道<math>q_c(t)</math>がもっとも積分に寄与することになる。

==参考文献==
*Wolfgang Yourgrau, Stanley Mandelsta, ''Variational Principles in Dynamics and Quantum Theory'', Dover Publications (2011) ISBN 978-0486637730

==関連記事==
*[[変分原理]]
*[[解析力学]]
*[[力学]]
*[[経路積分]]
*[[物理学]]
*[[オイラー＝ラグランジュ方程式]]

==外部リンク==
* {{Wayback|url=http://www.scholarpedia.org/article/Principle_of_least_action |title=Principle of least action |date=20090912065651}} - [[スカラーペディア]]百科事典「最小作用の原理」の項目。
{{Normdaten}}
{{DEFAULTSORT:さいしようさようのけんり}}
[[Category:力学]]
[[Category:自然科学の法則]]
[[Category:変分法]]