Wikipedia英語版のオイラー=ラグランジュ方程式wiki-en-eleqの導出に使われている表記法が解析力学で馴染みのある形式とは異なるため、解析力学に寄せて解釈してみました。
作用積分
自然界で実現する運動は、作用と呼ばれる物理量を極値(多くの場合は最小値)にする経路に沿って起こります。これは最小作用の原理として知られ、物理学において基本的な原理となっています。
この原理を数学的に定式化するため、時刻との間の運動を考えます。境界条件によって、出発点と到達点を固定化します。
経路
ある時刻における系の状態は、ラグランジアンという2回微分可能な関数で記述されます。例えば、ボールが投げ上げられた様子を想像してみてください。ある瞬間を切り取って「スナップショット」を撮れば、ボールの位置と速度が写ります。はこれらをパラメーターとして受け取って、系の状態をエネルギーとして計算します。
各時刻におけるラグランジアンの時間積分は作用積分と呼ばれます。実現する経路は、作用積分を極値化します。
つまり、ラグランジアンで各時刻における状態を独立に計算し、それらを作用積分で繋ぎ合わせることで運動を再現するというアプローチです。
作用積分と力積
作用積分は、ラグランジアンで計算されるエネルギーの時間積分です。力の時間積分である力積に似ていますが、エネルギーなら何でも良いわけではなく、ラグランジアンに限定されます。
ラグランジアンの微分
もしが境界条件の下で作用積分の極値を与えるならば、経路の変化における作用積分の変化率はになります。
放物線(二次関数)において、頂点における接線の傾き(微分値)がになることと同じような状況を想定しています。
変化後の経路をとします。ここで、は任意の実数で、は境界条件を満たす任意の微分可能関数です。
経路の変化
は任意の実数としていますが、計算に寄与するのは付近の微小値です。
経路の変化に伴うラグランジアンの変化を調べるため、まず全微分を計算します。
次に、この式の両辺をで割ります。をで微分するということです。
はには依存しないことから、微分がになります。
これらを適用すれば、ラグランジアンのによる微分は以下のようになります。
作用積分の微分
経路変化後の作用積分
のについての微分は以下のように計算されます。
のとき、は極値を取るため
以降、の引数は変化しないため省略します。
積分の第2項を部分積分します。7shi-ibp
境界条件より右辺第1項(表面項)は消えます。
これを元の式に適用すれば
は任意関数であることから、括弧の中がになることが分かります。これによりオイラー=ラグランジュ方程式が得られます。
この方程式は、 (運動エネルギーから位置エネルギーを引いたもの)の場合、ニュートンの運動方程式と等価になります。
直感的に言えば、によって表されるラグランジアンは、運動エネルギーと位置エネルギーのバランスを取るように定義されています。できるだけ位置エネルギーが低いところを通って、かつ、無駄に速く動かないような経路が選ばれます。その結果、運動方程式が再現されます。
によって表される全エネルギーとは異なる概念であることに注意が必要です。なお、から運動方程式を再現するのは正準方程式です。
変数の依存性に関する考察
パラメーターを導入することで、位置座標とその時間微分の関係が適切に保たれており、変分法の導出においてしばしば混乱が生じる独立変数であるかのような扱いを回避しています。
依存関係のあるとで別々に偏微分するのが納得いかない場合は、こちらの記事を参照してください。7shi-diff
具体的には、変化後の経路をとすることで、変化後の速度はその時間微分として自動的に決まります。
また、変分の微小性を定量的に扱うことができます。
物理学でよく用いられる変分法の計算と比較します。
- では微分によってからが取り除かれてが残ります。
- 形式的にはのとのが対応しますが、前者は任意の関数であり、微小であるという制約は課されません。既に見たように、それ自体はオイラー=ラグランジュ方程式の導出に影響しません。
- ではラグランジアンをによって微分します。ではテイラー展開から高次の微小量を取り除くため、近似としてとなっていますが、これはにおけるに対応します。