MathLabs
定理証明済み

ネーターの定理

内容

ラグランジアン L(q,q˙,t)L(q, \dot q, t) で記述される物理系を考える。その作用は S=∫L dtS = \int L\, dt であり、座標 qq の連続な1パラメータ変換族(連続対称性)のもとで不変であるとする。このとき、オイラー・ラグランジュ方程式のあらゆる解に沿って保存される対応する量 Q(q,q˙,t)Q(q, \dot q, t) が存在する。すなわち dQdt=0\dfrac{dQ}{dt} = 0。

なぜ正しいのか?

物理法則のあらゆる連続対称性は、その内部に保存則を隠し持っている。すべての時計を同じだけ進めても物理法則が変わらないなら(時間並進対称性)エネルギーが保存される。すべての位置を同じベクトルだけずらしても変わらないなら(空間並進対称性)運動量が保存される。系全体を回転させても変わらないなら(回転対称性)角運動量が保存される。ネーターの定理は、『この変換に物理法則は関知しない』を『この量は決して変化しない』に変換する精密な辞書である。

証明の概略

曲線族 qs(t)q_s(t) を、パラメータ ss の対称性変換を解 q(t)q(t) に施すことで得るものとし、q0=qq_0 = q とする。作用の不変性は、任意の解に対し dds∣s=0S[qs]=0\frac{d}{ds}\Big|_{s=0} S[q_s] = 0 を意味する。この微分を展開し、(δq)˙\dot{(\delta q)} を含む項を部分積分すると、境界項とオイラー・ラグランジュ式に比例する項に分かれ、後者は解の上で消える。残るのはまさに解に沿った ddt(∂L∂q˙ δq)=0\frac{d}{dt}\left(\frac{\partial L}{\partial \dot q}\, \delta q\right) = 0 であり、これにより Q=∂L∂q˙ δqQ = \frac{\partial L}{\partial \dot q}\, \delta q が保存量として同定される。ここで δq=dds∣s=0qs\delta q = \frac{d}{ds}\big|_{s=0} q_s は対称性の生成子である。

提示者

証明者

この定理を使うトピック

関連する定理

ステップごとの証明

この定理のステップごとの証明はまだありません。

参考文献

  1. Emmy Noether (1918). Invariante Variationsprobleme
  2. Herbert Goldstein, Charles P. Poole, John L. Safko (2002). Classical Mechanics