「ラグランジュの運動方程式の導出」の版間の差分

2015年6月21日 (日) 02:11時点における版

はじめに

この記事では、ラグランジュの運動方程式を導出の仕方を解説します。

ラグランジュの運動方程式は、系の運動エネルギーと系に加わる力から、系の運動を導き出す運動方程式です。系の挙動が運動エネルギーと力に集約して描けるのが特徴で、力とたった一つのスカラー関数で系の運動のすべてを記述する美しい方程式です。系の状態からエネルギーを算出する式が得られれば、機械的に、かつ座標系に依存せず、系の微分方程式を組み立てることができる優れものの手法です。

この記事では、系を互いに影響しあう質点の集合体と捉え、より一般的な一般座標を使い、ニュートンの運動方程式を、座標系に依存しない形のラグランジュの運動方程式に変換し、ラグランジュの運動方程式が、ニュートン力学と同等であることを示します。

一般化座標

系には N個の質点からできているとします。各質点のデカルト座標は ${\boldsymbol r_a} (a = 1, 2, \cdots N)$ 、質量は $m_a$ としましょう。

すると、1個のデカルト座標は3個の座標値を持つので $3N$ 個の座標値があるわけです。これを $3N$ 個の自由度を持つといいます。

現実の系では、例えば、2個の質点はロープで繋がっていて距離は一定になっているとか、ある質点は特定の溝に沿って運動しなければならないとか、様々な条件の中で動きます。これを束縛条件といいます。

$h$ 個の束縛条件が存在すると、自由度は $n=3N -h$ 個に減少します。これは全ての質点の座標を $n$ 個の独立変数で表せることを意味します。つまり、束縛の時間的な変動も考慮すると、質点の座標は

{\boldsymbol r_a} = {\boldsymbol r_a}(q_1, q_2, \cdots, q_n, t) \ (a=1, 2, \cdots , N)

( 1 )

と表せます。この独立変数 $q_1, q_2, \cdots, q_n$ を一般化座標といいます。

束縛条件と束縛力

質点の座標の自由度を下げる働きをした「束縛」は質点の座標の取る値を制限します。

束縛には、ホロノーム型と非ホロノーム型の2種類がありますが、ここではホロノーム型の束縛のみを扱います。

ホロノーム型の束縛とは、

G_l({\boldsymbol r_1}, {\boldsymbol r_2}, \cdots, {\boldsymbol r_N})=0\ (l = 1, 2, \cdots h)

( 2 )

という形にかける束縛のことです。例えば、球が坂を転がり落ちる場合、球は坂に沿って転がるように束縛されます。この時坂から球は、坂に沿って動くように垂直抗力を受けます。

もし、物体が電車のように決まった軌道に沿って動くなら、物体は軌道(レールのようなもの)から車輪にやはり垂直抗力を受けます。この、系を束縛条件に沿って運動させる力を束縛力といいます。

ベクトルを使って物体を扱うニュートン力学では、この束縛力を見積もるのがなかなか大変で、計算が困難なのですが、解析力学では、束縛力をうまく無視することができます。

例えば、剛体の運動は、本当は剛体の形を保つための原子/分子間に働く無数の束縛力を扱わなければならず、無限に等しい個数の運動方程式を解かなければなりません。しかし、解析力学では、束縛力を直接扱わずに式を立てられるため、運動方程式が非常に単純化します。

ここで、ニュートンの運動方程式を、束縛力も含めて考えてみましょう。

m_a\ddot{{\boldsymbol r_a}}={\boldsymbol F_a} + {\boldsymbol C_a}

( 3 )

${\boldsymbol F_a}$ が外力で系の外から加わる力、 ${\boldsymbol C_a}$ が束縛力で系の運動を束縛に合わせる力です。

ここで、変位 $\delta{\boldsymbol r_a}$ で力が行う仕事の全質点での総和を考えます。ここでいう変位 $\delta{\boldsymbol r_a}$ とは、特定の時刻で束縛に従うように変化する全ての方向の変位の集合のことです。従って、この変位には時刻の経過はありません。変位可能な方向の集合と考えてください。

質点間の関係がホロノーム型になるような束縛は仕事をしません。例えば垂直抗力は変位の方向と力が垂直ですし、ロープの張力はロープが移動すると両端でエネルギーの得失が発生して正味０になります。より一般的な束縛条件で発生する束縛力が常に仕事をしないことを厳密に証明することは私の力量では困難です。しかし,束縛を行うスロープやレールや軸受やロープは、動摩擦がなければエネルギーを吸収したり、放出したりするしくみを持たないため、束縛が仕事をしないというのは直感的に正しそうです。少なくとも、坂道やレールの垂直抗力やロープの張力が全質点に対する総和では仕事をしないことは確かです。このような束縛を解析カ学では「なめらかな束縛」といいます。

束縛力が仕事をしないということは、束縛力に従っている仮想変位 $\delta{\boldsymbol r_a}$ に対して仕事をしませんから

\sum_a {\boldsymbol C_a}\cdot\delta{\boldsymbol r_a} = 0

( 4 )

式(1)の関係を使って式(4)を展開すると

\sum_r \left ( \sum_a {\boldsymbol C_a}\cdot \frac{\partial {\boldsymbol r_a}}{\partial q_r} \right )\delta q_r = 0\ (r=1,2,\cdots, n)

( 5 )

これが、任意の $\delta q_r$ で成り立つことを考えると、カッコの内側は常に 0 になるので

\sum_a {\boldsymbol C_a}\cdot \frac{\partial {\boldsymbol r_a}}{\partial q_r} = 0

( 6 )

ということになります。従って、ニュートンの運動方程式は、 $\frac{\partial {\boldsymbol r_a}}{\partial q_r}$ を掛けて全質点の総和を取ると

\sum_a m_a\ddot{{\boldsymbol r_a}}\cdot\frac{\partial {\boldsymbol r_a}}{\partial q_r}= \sum_a {\boldsymbol F_a}\cdot\frac{\partial {\boldsymbol r_a}}{\partial q_r} + \sum_a {\boldsymbol C_a}\cdot\frac{\partial {\boldsymbol r_a}}{\partial q_r}= \sum_a {\boldsymbol F_a}\cdot\frac{\partial {\boldsymbol r_a}}{\partial q_r}

( 7 )

となり、式の中から束縛力が消えてしまうことが分かります。

2つの公式の証明

ニュートンの運動方程式からラグランジュの運動方程式へ

@@ 58行: / 58行: @@
 ここで、変位 <math>\delta{\boldsymbol r_a}</math> で力が行う仕事の全質点での総和を考えます。ここでいう変位 <math>\delta{\boldsymbol r_a}</math> とは、特定の時刻で束縛に従うように変化する全ての方向の変位の集合のことです。従って、この変位には時刻の経過はありません。変位可能な方向の集合と考えてください。
-質点間の関係がホロノーム型になるような束縛は仕事をしません。例えば垂直抗力は変位の方向と力が垂直ですし、ロープの張力はロープが移動すると両端でエネルギーの得失が発生して正味０になります。より一般的な束縛条件で発生する束縛力が常に仕事をしないことを厳密に証明することは私の力量では困難ですが、少なくとも、坂道やレールの垂直抗力やロープの張力が'''全質点に対する総和では'''仕事をしないことは確かです。このような束縛を「なめらかな束縛」といいます。
+質点間の関係がホロノーム型になるような束縛は仕事をしません。例えば垂直抗力は変位の方向と力が垂直ですし、ロープの張力はロープが移動すると両端でエネルギーの得失が発生して正味０になります。より一般的な束縛条件で発生する束縛力が常に仕事をしないことを厳密に証明することは私の力量では困難です。
+しかし,束縛を行うスロープやレールや軸受やロープは、動摩擦がなければエネルギーを吸収したり、放出したりするしくみを持たないため、束縛が仕事をしないというのは直感的に正しそうです。
+少なくとも、坂道やレールの垂直抗力やロープの張力が'''全質点に対する総和では'''仕事をしないことは確かです。このような束縛を解析カ学では「なめらかな束縛」といいます。
 束縛力が仕事をしないということは、束縛力に従っている仮想変位<math>\delta{\boldsymbol r_a}</math>に対して仕事をしませんから