解析力学 運動方程式の一般化

変分法

ある関数 $L(q_1,q_2,\cdots ,q_K,{\dot{q}}_1,{\dot{q}}_2,\cdots ,{\dot{q}}_K)$ があるときに、

$S=\underset{t_0}{\overset{t_1}{\int }}dtL(q_1(t),q_2(t),\cdots ,q_K(t),{\dot{q}}_1(t),{\dot{q}}_2(t),\cdots ,{\dot{q}}_K(t))$

を最小にする $q_i(t)$ はどのようなものだろうか。

まずは簡単な例として、関数 $f(x)$ を最小にする $x$ について考えよう。$f(x)$ が最小値を取るとき、$f^{\prime }(x)=0$ となるのだった。$f^{\prime }(x)=0$ となることは、$x$ を微小量 $\delta x$ だけ変化させたとき、$f(x)$ の変化量 $\delta f:=f(x+\delta x)-f(x)$ は $\delta f=0$ になるということである。

ここからの類推で、$S(\{q_i\},\{{\dot{q}}_i\})$ を最小にする $\{q_i(t)\}$ について、$\{q_i(t)\}$ を少しだけ変化させて $\{q_i(t)+\delta q_i(t)\}$ （ただし、境界条件 $\delta q_i(t_0)=\delta q_i(t_1)=0$ を課す）としたときの $S$ の変化量 $\delta S=S(\{q_i(t)+\delta q_i(t)\},\{{\dot{q}}_i(t)+\delta {\dot{q}}_i(t)\})-S(\{q_i\},\{{\dot{q}}_i\})$ は $\delta S=0$ となると考えることが出来る。

$\begin{array}{cc}\delta S& =S(\{q_i(t)+\delta q_i(t)\},\{{\dot{q}}_i(t)+\delta {\dot{q}}_i(t)\})-S(\{q_i\},\{{\dot{q}}_i\})\\ & =\underset{t_0}{\overset{t_1}{\int }}dtL(\{q_i(t)+\delta q_i(t)\},\{{\dot{q}}_i(t)+\delta {\dot{q}}_i(t)\})-\underset{t_0}{\overset{t_1}{\int }}dtL(\{q_i(t)\},\{{\dot{q}}_i(t)\})\\ & =\underset{t_0}{\overset{t_1}{\int }}dt[L(\{q_i(t)+\delta q_i(t)\},\{{\dot{q}}_i(t)+\delta {\dot{q}}_i(t)\})-L(\{q_i(t)\},\{{\dot{q}}_i(t)\})]\\ & =\underset{t_0}{\overset{t_1}{\int }}dt\sum _{k=1}^K(\frac{\partial L}{\partial q_k}\delta q_k+\frac{\partial L}{\partial {\dot{q}}_k}\delta {\dot{q}}_k(t))\\ & =\sum _{k=1}^K\underset{t_0}{\overset{t_1}{\int }}dt(\frac{\partial L}{\partial q_k}\delta q_k+\frac{\partial L}{\partial {\dot{q}}_k}\delta {\dot{q}}_k(t))\\ & =\sum _{k=1}^K[\frac{\partial L}{\partial {\dot{q}}_k}{q}_k(t){|}_{t_0}^{t_1}+\underset{t_0}{\overset{t_1}{\int }}dt\delta q_k(t)(\frac{\partial L}{\partial q_k}-\frac{d}{dt}\frac{\partial L}{\partial {\dot{q}}_k})]\\ & =\sum _{k=1}^K\underset{t_0}{\overset{t_1}{\int }}dt\delta q_k(t)(\frac{\partial L}{\partial q_k}-\frac{d}{dt}\frac{\partial L}{\partial {\dot{q}}_k})\\ & =0\end{array}$

ここで、 $\delta q_k(t)$ は任意であるので、オイラー＝ラグランジュ方程式

$\frac{d}{dt}\frac{\partial L}{\partial {\dot{q}}_k}-\frac{\partial L}{\partial q_k}=0$

を得る。

さて、変分法を利用したいくつかの簡単な例を紹介しよう。

懸垂線

水平な2点を、その2点間距離を ややこえる長さのヒモで結んだ場合、当然、ロープは、たれる。 このように、ロープなどを垂らした時にできる曲線のことを懸垂線（けんすいせん）という。

（※　図を追加してください。）

（※　計算例を記述してください）

計算例のように、導関数y’で偏微分するという操作が必要になる。

ラグランジアンと最小作用の原理

「変分」という考えを用いて、運動方程式の定義を数式で書く事を、この記事では考える。以下、力学における変分の計算方法を説明していく。

ラグランジアン

では、変分を用いてニュートン方程式を書き換えることを考える。まず古典力学でのニュートン方程式は

$m\ddot{\overrightarrow{x}}=\overrightarrow{f}$

の形で書かれる。

変分をするためにラグランジアンという量を導入する。まだ、ラグランジアンの具体的な形は分からないけど、ある質点などの座標位置を$q$として、その位置の時間微分（つまり速度）を$\dot{q}$とすれば。

$L=L(q,\dot{q})$

という形になる事が分かっており、加速度$\ddot{q}$は考えなくて良い事が分かっている。やや天下り的だが、$\dot{q}$が運動量というの係数倍に相当するからである。運動量は、運動している質点などの保存量である。いっぽう、加速度は、運動している質点の保存量ではないからである。（なお、ラグランジアンLはスカラー量（ベクトルでない数）である。）

最小作用の原理

ラグランジアンをある時間の範囲で積分したものを、

$S=\int dtL$

と書き、作用と呼ぶ。ここで運動方程式を得るための原理として、"運動方程式は、少しだけ $q,\dot{q}$ を変化させたとしても、作用が変化しないような値を出す $q,\dot{q}$ の関係によって与えられる。"ということを要求する。

このとき、$q,\dot{q}$ を変化させたときの実際の作用の変化 δS を計算すると（δはデルタと読む）、

$\begin{array}{cc}\delta S& =\int dt\delta L\\ & =\int dt\frac{\partial L}{\partial q}\delta q+\frac{\partial L}{\partial \dot{q}}\delta \dot{q}\\ & =\int dt\frac{\partial L}{\partial q}\delta q-\frac{\partial }{\partial t}\frac{\partial L}{\partial \dot{q}}\delta q\\ & =\int dt(\frac{\partial L}{\partial q}-\frac{\partial }{\partial t}\frac{\partial L}{\partial \dot{q}})\delta q\\ \end{array}$

常微分関数$\dot{q}$で偏微分することの数学的正当性が理解しづらいかもしれないが、ひとまず、こう計算してもらいたい。詳細は後述する。 ここで、2行目から3行目では、部分積分によって

$\begin{array}{cc}\int \delta \dot{q}f(q)& =[\delta qf(q){]}_{t_i}^{t_f}-\int \delta q\frac{\partial }{\partial t}f(q)\\ & =-\int \delta q\frac{\partial }{\partial t}f(q)\end{array}$

とした。右辺で部分積分で出てくる項を消すために、"$q,\dot{q}$ は積分範囲の両端である t = t_i , t_f では変化しない"という要請を加えた。

最小作用の原理によると、このときにδS = 0 でなくてはならない。δq の値に関わらずδS = 0 が成り立つためには、

$\frac{\partial L}{\partial q}-\frac{\partial }{\partial t}\frac{\partial L}{\partial \dot{q}}=0(1)$

が成り立つ必要がある。よって、この式が運動方程式となる。

特にq が通常の座標x である時のことを考える。ここで、

$L=\frac{1}{2}m{\dot{x}}^2$

とおくと、式(1)は、

$m\ddot{x}=0$

となり、通常の自由な粒子の運動方程式に一致する。ここで、

$\frac{1}{2}m{\dot{x}}^2$

は粒子の運動エネルギーである。

また、保存力の中で、特に物体の速度によらない力を受けて運動している粒子に対しては、その力によって得られる位置エネルギーをV (q ) 、物体の運動エネルギーをT と表すとき、

$L=T(\dot{q})-V(q)$

とすると、式(1)は、

$m\ddot{q}=-\frac{\partial V}{\partial q}$

となるが、右辺は保存力に対する力を表わすのでこのときのラグランジアンは

$L=T(\dot{q})-V(q)$

で与えられることが分かる。

また、自由な角運動量に対するラグランジアンは

$L=\frac{1}{2}I{\omega }^2$

によって与えられ、これは剛体の角運動量が持つ（慣性モーメントは剛体以外持つことが出来ないことに注意）エネルギーを表わす。

ラグランジアンは、単に、高校物理でも習うような運動方程式の定義を、変分という数学的手法にもとづいて、言い換えたものである。

ラグランジアンは、物理学において公式を導くための、物理の（ほぼ全ての分野での）共通の指針である。

一般化座標

ところで、角運動量に関する方程式は

$I\overrightarrow{\omega }=\overrightarrow{N}$

と書かれる（I は慣性モーメント、$\overrightarrow{\omega }$ は角速度、$\overrightarrow{N}$ は物体に働く力のモーメント）。

角運動量の式は、ニュートン方程式に似ている。

ニュートン方程式

$m\ddot{\overrightarrow{x}}=\overrightarrow{f}$と良く似た形である。

ラグランジアンは、このような運動法則を統一的に記述できる。

統一的に記述できると、ある場合には都合が良い。このような座標の記述方法の統一化の目的で、よくラグランジアンや後述のハミルトニアンが利用される事もある。

運動量、ハミルトニアンの定義

ラグランジアンを用いるとき、運動量p は

$p\equiv \frac{\partial L}{\partial \dot{q}}$

と定義される。実際、自由な粒子に対しては、

$p=m\dot{q}$

が得られ、正しいことが分かる。速度に依存した力を考える場合、p は必ずしも一般的な運動量と一致しない。

このとき、ここで定義した運動量を一般化された運動量と呼んで通常の運動量と区別する。

次に、エネルギーの記述を一般化することを考えよう。これから説明するハミルトニアン H が、エネルギーを一般化したものに相当する。

L は$q,\dot{q}$ を変数として用いる量である。しかし、それよりもq , p を変数として用いた方が便利なことがある。このような量を$p,\dot{q}$ の間のルジャンドル変換によって作ることが出来る。これをハミルトニアンH と呼び、

$H\equiv \dot{q}p-L$

で定義する。特に$L=T(\dot{q})-V(q)$を満たす場合、

$H=T+V$

が得られ、H は系の全エネルギーと一致する。この結果はエネルギー保存則の導出に用いられる。

正準方程式

ハミルトニアン$H(\{q_i\},\{p_i\})=T+V$において

${\dot{p}}_i=-\frac{\partial H}{\partial q_i}$

${\dot{q}}_i=\frac{\partial H}{\partial p_i}$

が成り立つ。これを正準方程式という。