MathLabs
公式証明済み

オイラー・ラグランジュ方程式

内容

汎関数 J[q]=∫t1t2L(t,q(t),q˙(t)) dtJ[q] = \int_{t_1}^{t_2} L(t, q(t), \dot q(t))\, dt を、端点を固定した曲線 q(t)q(t) の上で考える。曲線 qq が JJ の停留点である(特に JJ を最小化または最大化する)ための必要十分条件は、各座標 qiq_i について次が成り立つことである:ddt(∂L∂q˙i)−∂L∂qi=0\dfrac{d}{dt}\left(\dfrac{\partial L}{\partial \dot q_i}\right) - \dfrac{\partial L}{\partial q_i} = 0。

なぜ正しいのか?

二つの固定された事象の間で系がたどりうるすべての経路のうち、自然が実際に選ぶ経路は、『作用』が小さな揺らぎに鈍感になる経路である——経路をどの方向にわずかに揺らしても、一次近似では作用は変化しない。オイラー・ラグランジュ方程式は、まさにそのような揺らぎが作用を増減させ得ないことを保証する局所的・各点での条件であり、すべての経路にわたる大域的な探索を、段階的に解ける微分方程式へと変換する。

証明の概略

変分 qε(t)=q(t)+ε η(t)q_\varepsilon(t) = q(t) + \varepsilon\, \eta(t)(η(t1)=η(t2)=0\eta(t_1) = \eta(t_2) = 0)を考える。停留性は、ddε∣ε=0J[qε]=0\frac{d}{d\varepsilon}\Big|_{\varepsilon=0} J[q_\varepsilon] = 0 が任意のそのような η\eta について成り立つことを意味する。積分記号下で微分すると ∫t1t2(∂L∂qη+∂L∂q˙η˙)dt=0\int_{t_1}^{t_2} \left(\frac{\partial L}{\partial q}\eta + \frac{\partial L}{\partial \dot q}\dot\eta\right) dt = 0 が得られ、第二項を部分積分すると(境界項は η(t1)=η(t2)=0\eta(t_1)=\eta(t_2)=0 より消える)∫t1t2(∂L∂q−ddt∂L∂q˙)η dt=0\int_{t_1}^{t_2} \left(\frac{\partial L}{\partial q} - \frac{d}{dt}\frac{\partial L}{\partial \dot q}\right)\eta\, dt = 0 となる。η\eta が任意であることから、変分法の基本補題により括弧内の式は恒等的に消えることが強制され、これがオイラー・ラグランジュ方程式である。

提示者

証明者

この定理を使うトピック

関連する定理

ステップごとの証明

この定理のステップごとの証明はまだありません。

参考文献

  1. I. M. Gelfand, S. V. Fomin (1963). Calculus of Variations
  2. Herbert Goldstein, Charles P. Poole, John L. Safko (2002). Classical Mechanics