公式証明済み
オイラー・ラグランジュ方程式
内容
汎関数 J[q]=∫t1t2L(t,q(t),q˙(t))dt を、端点を固定した曲線 q(t) の上で考える。曲線 q が J の停留点である(特に J を最小化または最大化する)ための必要十分条件は、各座標 qi について次が成り立つことである:dtd(∂q˙i∂L)−∂qi∂L=0。
なぜ正しいのか?
二つの固定された事象の間で系がたどりうるすべての経路のうち、自然が実際に選ぶ経路は、『作用』が小さな揺らぎに鈍感になる経路である——経路をどの方向にわずかに揺らしても、一次近似では作用は変化しない。オイラー・ラグランジュ方程式は、まさにそのような揺らぎが作用を増減させ得ないことを保証する局所的・各点での条件であり、すべての経路にわたる大域的な探索を、段階的に解ける微分方程式へと変換する。
証明の概略
変分 qε(t)=q(t)+εη(t)(η(t1)=η(t2)=0)を考える。停留性は、dεdε=0J[qε]=0 が任意のそのような η について成り立つことを意味する。積分記号下で微分すると ∫t1t2(∂q∂Lη+∂q˙∂Lη˙)dt=0 が得られ、第二項を部分積分すると(境界項は η(t1)=η(t2)=0 より消える)∫t1t2(∂q∂L−dtd∂q˙∂L)ηdt=0 となる。η が任意であることから、変分法の基本補題により括弧内の式は恒等的に消えることが強制され、これがオイラー・ラグランジュ方程式である。
ステップごとの証明
この定理のステップごとの証明はまだありません。