解析力学/ネーターの定理のバックアップソース(No.2)

更新
* 目次 [#h7fb9289]

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

#contents

&katex();

* ラグランジアンの任意性 [#mcce419c]

ある系のラグランジアン $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$ による汎関数微分に影響を与えないためである。

したがって、ある力学系のラグランジアンとして必ずしも上述の「運動量 $T$ とポテンシャル $U$ により $L=T-U$」と取る必要はなく、その取り方には $F$ の分だけ任意性が残されていることになる。

* ラグランジアンの対称性 [#jd0ed387]

座標変換 $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)=\\
&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)=\\
&L(Q_1,Q_2,\dots,Q_n,\dot Q_1,\dot Q_2,\dots,\dot Q_n,t)
\end{aligned}
$$

が成り立つとき、ラグランジアンはその座標変換に対して対称性を持つ、と言われる。

例えば座標軸の並進に対して変化しなければ並進対称性があるといい、
座標軸の回転に対してラグランジアンが変化しなければ回転対称性があるという。

* ネーターの定理 [#ic343e17]

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

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

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

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

$$
Q_i=q_i+\delta q_i(q_1,q_2,\dots,q_n,t)
$$

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

$$
\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)\\
&=\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(\frac{d}{dt}\bigg\{\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}\left\{\frac{\partial L}{\partial \dot q_i}\right\}-\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
$$

が保存量となることが分かる。

** 例１：空間並進対称性 [#j4e2b3f1]

自由な質点の運動では、

$$
L=\frac12m(\dot x^2+\dot y^2+\dot z^2)
$$

であるから、並進変換すなわち $x_0$ を定数として

$$
X=x+x_0
$$

に対して $\dot X=\dot x$ であるから、

$$
L(x,y,z,\dot x,\dot y,\dot z)=L(X,y,z,\dot X,\dot y,\dot z)
$$

となり、このラグランジアンは並進対称性を持つ。これに対応して

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

は定数となるが、そもそも $x_0$ が定数であるから、

$$
\frac{\partial L}{\partial \dot x}=p_x=m\dot x
$$

が定数となる。

ラグランジアンが $x$ 方向に並進対称性を持つならば $x$ 方向の運動量は保存することになる。

** 例２：回転対称性 [#ia09e24a]

中心力 $U(x,y,z)=U(\sqrt{x^2+y^2+z^2})$ の中での質点の運動を
$z$ 軸周りに微小回転 $-\delta\theta$ した座標系から観測すれば、

$$
\begin{cases}
X=x-y\delta\theta\\
Y=y+x\delta\theta\\
\end{cases}
$$

の座標変換を及ぼすが、

$$
\begin{aligned}
X^2+ Y^2
&= ( x- y\delta\theta)^2+( y+ x\delta\theta)^2\\
&= x^2-\cancel{2 x y\delta\theta}+ y^2+\cancel{2 x y\delta\theta}+O(\delta\theta^2)\\
&=x^2+y^2+O(\delta\theta^2)
\end{aligned}
$$

であり、同様に

$$
\begin{aligned}
\dot X^2+\dot Y^2
&=\dot x^2+\dot y^2+O(\delta\theta^2)
\end{aligned}
$$

であるから、

$$
\begin{aligned}
L&=\frac12 m(\dot x^2+\dot y^2+\dot z^2)+U(\sqrt{x^2+y^2+z^2})\\
&=\frac12 m(\dot X^2+\dot Y^2+\dot z^2)+U(\sqrt{X^2+Y^2+z^2})+O(\delta\theta^2)\\
\end{aligned}
$$

すなわちこのラグランジアンは $z$ 軸周りの回転対称性を持つ。

これに対応して、

$$
\sum_{i=1}^n\frac{\partial L}{\partial\dot q_i}\delta q_i=\bigg[\frac{\partial L}{\partial \dot y}x-\frac{\partial L}{\partial \dot x}y\bigg]\delta\theta
$$

は定数になる。すなわち、

$$
\frac{\partial L}{\partial \dot y}x-\frac{\partial L}{\partial \dot x}y
=xp_y-yp_x=l_z
$$

は定数になる。この値は $z$ 軸周りの角運動量である。

ラグランジアンが $z$ 軸周りの回転対称性を持つならば $z$ 軸周りの角運動量は保存することになる。
Counter: 24744 (from 2010/06/03), today: 14, yesterday: 0