解析力学/ネーターの定理 の履歴(No.9)

目次†

解析力学/ラグランジアン の続きです。

ラグランジアンの任意性†

ある系のラグランジアン $L$ に、粒子の位置と時間の関数 $F(q_1(t),q_2(t),\dots,q_n(t),t)$ の時間に対する全微分 $\frac{dF}{dt}$ を加えても運動方程式は変化しない。なぜなら、

$$ L'=L+\frac{dF}{dt} $$

に対して、

$$ \begin{aligned} S&=\int_{t_1}^{t_2}L'\ dt=\int_{t_1}^{t_2}\left(L+\frac{dF}{dt}\right)\ dt\\ &=\int_{t_1}^{t_2}L\ dt+\underbrace{F(q_1(t_2),q_2(t_2),\dots,q_n(t_2),t_2)-F(q_1(t_1),q_2(t_1),\dots,q_n(t_1),t_1)}_\text{定数} \end{aligned} $$

となって、$q_k(t_1),q_k(t_2)$ が固定されている限り $F(t_2)-F(t_1)$ は定数であり、 $S$ の $q_k$ に対する変分に影響を与えないためである。

したがって、ある力学系のラグランジアンとして必ずしも前述のように $L=T-U$ と取る必要はなく、その取り方には $F$ の分だけ任意性が残されていることになる。 （実はそれ以外にもいろいろ任意性があるのだが、ここでは深入りしない）

上記のように同じ運動方程式を与えるラグランジアン $L'$ と $L$ とは「同値なラグランジアン」であると呼ばれる。

ラグランジアンの対称性†

座標変換 $q_i\to Q_i$ を考える。 一般にはそのような座標変換に伴いラグランジアンの関数形は $L\to L'$ と変化し、

$$ \begin{aligned} &L(q_1,q_2,\dots,q_n,\dot q_1,\dot q_2,\dots,\dot q_n,t)=\\ &L'(Q_1,Q_2,\dots,Q_n,\dot Q_1,\dot Q_2,\dots,\dot Q_n,t) \end{aligned} $$

となるのであるが、元のラグランジアンの関数形 $L$ にそのまま $Q_i,\dot Q_i$ を代入しても

$$ \begin{aligned} &L(q_1,q_2,\dots,q_n,\dot q_1,\dot q_2,\dots,\dot q_n,t)=\\ &L(Q_1,Q_2,\dots,Q_n,\dot Q_1,\dot Q_2,\dots,\dot Q_n,t) \end{aligned} $$

が成り立つとき、すなわち元のラグランジアンの $q_i,\dot q_i$ を $Q_i,\dot Q_i$ に書き換えても値が変わらないとき、ラグランジアンはその座標変換に対して対称性を持つ、と言われる。

例えば座標軸の並進(原点の移動) $X=x-x_0$ に対して変化しなければ並進対称性があるといい、 座標軸の回転 $\begin{pmatrix}X\\Y\end{pmatrix}=\begin{pmatrix}\cos\theta&-\sin\theta\\\sin\theta&\cos\theta\end{pmatrix}\begin{pmatrix}x\\y\end{pmatrix}$ に対してラグランジアンが変化しなければ回転対称性があるという。

ネーターの定理†

ある座標変換に対してラグランジアンが対称性を持つならば、 それに対応する保存量が存在する、というのがネーターの定理である。

ここでいう保存量とは、時間と共に変化することなく一定に保たれる物理量のことである。 例えば並進対称性からは運動量の保存が、回転対称性からは角運動量の保存が導かれる。

以下、実際に導いてみよう。

微小な座標変換 $q_i\to Q_i$ を考える。座標は少しだけしか異ならないため、小さな $\delta q_i(q_1,q_2,\dots,q_n,t)$ を使って

$$ Q_i=q_i+\delta q_i $$

と表せるとしよう。この座標変換に対してラグランジアンが対称性を持つとすれば、

$$ \begin{aligned} dL&=L(Q_1,Q_2,\dots,Q_n,\dot Q_1,\dot Q_2,\dots,\dot Q_n,t)-L(q_1,q_2,\dots,q_n,\dot q_1,\dot q_2,\dots,\dot q_n,t)\\ &=\sum_{i=1}^n\bigg(\frac{\partial L}{\partial q_i}\delta q_i+\frac{\partial L}{\partial \dot q_i}\delta \dot q_i\bigg)\\ &=\sum_{i=1}^n\bigg(\bigg\{\frac{d}{dt}\frac{\partial L}{\partial\dot q_i}\bigg\}\delta q_i+\frac{\partial L}{\partial \dot q_i}\delta \dot q_i\bigg)\\ &=\sum_{i=1}^n\frac{d}{dt}\bigg\{\frac{\partial L}{\partial\dot q_i}\delta q_i\bigg\}\\ &=\frac{d}{dt}\bigg\{\sum_{i=1}^n\frac{\partial L}{\partial\dot q_i}\delta q_i\bigg\}=0\\ \end{aligned} $$

を得る。ただし途中でラグランジュの運動方程式 $\frac{d}{dt}\frac{\partial L}{\partial \dot q_i}-\frac{\partial L}{\partial q_i}=0$ を使った。

すなわちこのとき、

$$ \sum_{i=1}^n\frac{\partial L}{\partial\dot q_i}\delta q_i $$

は運動の保存量となる。

実はラグランジアンが完全に対称ではなく、座標変換によって

$$ L(Q_1,Q_2,\dots,Q_n,\dot Q_1,\dot Q_2,\dots,\dot Q_n,t)=L(q_1,q_2,\dots,q_n,\dot q_1,\dot q_2,\dots,\dot q_n)+\frac{dF}{dt} $$

のように「同値なラグランジアン」を与える場合にも保存量は存在する。 このとき上式の右辺が $dF/dt$ となることから、

$$ \sum_{i=1}^n\frac{\partial L}{\partial\dot q_i}\delta q_i-F $$

が保存量となる。

ネーターの定理とエネルギー保存†

@解析力学/ラグランジアン#b9eedbd5 にて、$\partial L/\partial t=0$ を仮定するとハミルトニアンが保存量となることを導いた。

ハミルトニアンが保存量となることは、時間 $t$ の並進対称性に対するネーターの定理と関係が深い。

$t\to t+\delta t$ の座標変換に対してラグランジアンの対称性から保存量が生まれるのは、

$$ \begin{aligned} \delta L &=L(q_1,q_2,\dots,q_n,\dot q_1,\dot q_2,\dots,\dot q_n,t+\delta t)-L(q_1,q_2,\dots,q_n,\dot q_1,\dot q_2,\dots,\dot q_n,t)\\ &=\frac{\partial L}{\partial t}\delta t\\ &=\frac{dW}{dt}\delta t \end{aligned} $$

のように $\delta L$ がある関数 $W$ の時間に対する全微分になる場合である。すなわち

$$ \frac{\partial L}{\partial t}=\frac{dW}{dt} $$

であるが、このとき @解析力学/ラグランジアン#b9eedbd5 で見たように

$$ \frac{d}{dt}\bigg\{\bigg(\sum_{i=1}^np_i\dot q_i\bigg)-L\bigg\} =-\frac{\partial L}{\partial t}=-\frac{dW}{dt} $$

となるから、

$$ \underbrace{\bigg(\sum_{i=1}^np_i\dot q_i\bigg)-L}_\text{ハミルトニアン}+W $$

が保存量となる。ただし $W$ は

$$ W=\int^t\frac{\partial L}{\partial t}\ dt\ \ \ \ \bigg(=-\int^t\frac{\partial U}{\partial t}\ dt\bigg) $$

で与えられる。

ラグランジアンが $L=T-U$ の形で与えられる際には $\partial L/\partial t=\partial U/\partial t$ であるから上式の括弧のように変形できて、$W$ はポテンシャルを変化させた系外の存在が系から得たエネルギーである。

質問・コメント†