解析力学の魅力のひとつに,力学を理論的に考察するのに都合のよい美しい形式を持つこと があげられます.そのときに,強力な武器となるもののひとつが変分原理 [*] です.ここでは, 変分原理とはどのようなものなのかを紹介しましょう.
まず, ラグランジュの運動方程式を確認しよう! では,自由度 の質点系がポテンシャルによる力(基本的に保存力)のみで運動する場合を考えました.そのときのラグランジュの運動方程式の導出は以下の手順で行いましたね.
1.作用と呼ばれる量 をラグランジアンを用いて次のように定義しました.
2.質点系の運動の軌跡を少しずらしたときに生じる の微小変化 (第1変分と呼びます)を とおきます. ここで,軌跡の微小変化 の2次以降の項を無視して は次式にまとめられましたね.
3.これで,ラグランジュの運動方程式が任意の一般座標について導出できました.
この導出過程を見ると,ラグランジュの運動方程式と は同値になっていることが分かります.つまり, どちらも同じ運動を表現する別の表現に過ぎないので,どちらを基本法則として扱ってもよいということになります. そこで,変分原理とは何者なのかという問いに次のように答えることができるでしょう.
Important
作用 が停留点を取るとき,その運動が実現するということを積極的に認めて力学を考えていくという 立場にたったとき,基本法則となるのが変分原理 なのです.
変分原理を認めてしまえば,そこからさまざまな力学の法則を導くことができます.まずは,ラグランジアンに取り込めなかった 力(主に非保存力)が働いているときのラグランジュの運動方程式を導いていきましょう.
[*] 変分原理には,ほかにもいくつか呼び方があり,ハミルトンの原理や,最小作用の原理ということもあります.最小作用の原理という名は, の停留点が現実の運動では, の極小値を表すことが多いことから来ていますが,一般的には停留点であるので,この記事では変分原理で統一しました.一番好きな名前で呼んでください.^^
問題の設定はほとんど ラグランジュの運動方程式を確認しよう! の時と同じです.時刻 から時刻 の間に生じる自由度 の質点系の運動を考えて,用いる一般座標を とします.
非保存力がする仕事を と表現しておきましょう. を一般座標 の共役な力とします. このとき,一般化力の定義より の変分 は,一般に次の形でかけます.
ここで,作用 を次式で定義します.
運動の出発点と終着点を固定して,実際の運動から経路を だけずらしてみましょう. ただし,出発点と終着点は固定しているので, について次の条件を要求します.
これも前と同じですね.
この条件で第1変分 を計算してみましょう.といっても,ラグランジアンの計算は まったく同じですし, は式(1)で表せるので,直ちに次式が導けます.
あとは, とおけば,運動方程式が として
と導かれます.
非保存力がないときは,右辺が でしたが,非保存力がある場合も右辺に に共役な力をおけば 良いんですね.
[†] 変分原理は解析力学にとどまらず,電磁気学,相対論,量子論などの定式化に応用されています.物理法則の原理のほとんどは変分原理で成り立っているといっても過言ではないでしょう.そんな変分原理から解析力学を一望できたら本当にすばらしいですよね!