ネーターの定理

テンプレート:Otheruses 物理学において、ネーターの定理（ネーターのていり、テンプレート:Lang-en-short）は、系に連続的な対称性がある場合はそれに対応する保存則が存在すると述べる定理である。

ドイツの数学者エミー・ネーターによって1915年に証明され、1918年に公表された。

概説

解析力学や場の理論における重要な定理である。

系がある変換に対して記述に変化を受けない場合、その変換をその系の対称性と呼ぶ。特に解析力学においては、変換に対して系の作用積分が変化しない場合に、この変換を対称性と呼ぶ。 これは、系の運動方程式は最小作用の原理を通じて定まるため、作用の変分がゼロであれば系の運動方程式は変化しないためである。 ネーターの定理は、ラグランジアンの変数に対する連続的な変換が系の対称性になっている場合に、テンプレート:疑問点範囲という定理である。

解析力学におけるネーターの定理

ラグランジュ力学によるネーターの定理

以下ではラグランジュ形式の解析力学で記述される系を考える。 q = (q₁,...,q_n) を一般化座標とし、 テンプレート:Indent を系のラグランジアンとする。 作用積分 テンプレート:Indent が微小変換 テンプレート:Indent に対して対称性を持つとする。 ここで、この変換は幾つかのパラメータの線型結合で書けるとする。 テンプレート:Indent 但し、重複する添え字記号については、アインシュタインの記法に従い、和をとるものとする。 このとき、 テンプレート:Indent は保存量 テンプレート:Indent となり、この保存量はポアソン括弧により微小変換 テンプレート:Indent を定める。

ハミルトン力学によるネーターの定理

ハミルトン力学においてネーターの定理は次のように表現される。

ハミルトニアンがある微少変換

$\delta$

について不変であれば

$\delta$

の生成子

$G_{\delta }$

は時間不変である。

ここで

$\delta$

の生成子

$G_{\delta }$

とは、

$\delta$

によるベクトル

$(q^i,p^i)$

の増分

$\delta (q^i,p^i)$

が

$\delta (q^i,p^i)=(\frac{\partial G_{\delta }}{\partial p^i},-\frac{\partial G_{\delta }}{\partial q^i})$

と表すことのできる量である。この定義から、

ある観測量 $A(q^i,p^i)$の $\delta$による変化 $\delta A(q^i,p^i)$は$A$と$G_{\delta }$のポアソン括弧により表される。

$\delta A(q^i,p^i)=\mathrm{\nabla }A\cdot \delta (q^i,p^i)=\mathrm{\nabla }A\cdot (\frac{\partial G_{\delta }}{\partial p^i},-\frac{\partial G_{\delta }}{\partial q^i})=(\frac{\partial A}{\partial q^i}\frac{\partial G_{\delta }}{\partial p^i}-\frac{\partial A}{\partial p^i}\frac{\partial G_{\delta }}{\partial q^i})=\{A,G_{\delta }\}$

ハミルトニアンが微少変換 $\delta$について不変ならば、$\delta H(q^i,p^i)=\{H,G_{\delta }\}=0$が成り立つ。ポアソン括弧の歪対称性より

$\{H,G_{\delta }\}=-\{G_{\delta },H\}=-\frac{\mathrm{d}{G}_{\delta }}{\mathrm{d}t}=0$

よって $G_{\delta }$は時間不変である。

$(\frac{\partial A}{\partial p^i},-\frac{\partial A}{\partial q^i})$

は位相空間上のAの等高線に沿ったベクトルと考えることができる。これを「

$A$

が生み出す流れ」と呼ぶと、ポアソン括弧

$\{A,B\}$

は、「Bが生み出す流れに沿ったAの変化」と考えることができる。ネーターの定理の一般化は次のようになる。

$\{A,B\}=0$

ならば、

$\{B,A\}=0$

もしくは

AがBの生み出す流れについて不変であるとき、BもAの生み出す流れについて不変である。

ハミルトニアンHは時間変化の生成子であるため、もしHがある観測量Aの生み出す流れについて不変であれば、

AはHの生み出す流れ、つまり時間について不変である。

例１：運動量

$G_{\delta }={ϵ}^i{p}^i$とすると、$\delta A={ϵ}^i\{A,p^i\}={ϵ}^i\frac{\partial A}{\partial q^i}$

$A(q^i,p^i)\to A(q^i,p^i)+{ϵ}^i\frac{\partial A}{\partial q^i}=A(q^i+{ϵ}^i,p^i)$

よって運動量は空間並進の生成子である。

例２：角運動量

$G_{\delta }={\epsilon }_{ijk}{ϵ}^i{p}^j{q}^k$とすると、$\begin{array}{cc}\delta A& ={\epsilon }_{ijk}{ϵ}^i\{A,p^j{q}^k\}={\epsilon }_{ijk}{ϵ}^i(\frac{\partial A}{\partial q_{\alpha }}\frac{\partial p_j{q}_k}{\partial p_{\alpha }}-\frac{\partial A}{\partial p_{\alpha }}\frac{\partial p_j{q}_k}{\partial q_{\alpha }})\\ & ={\epsilon }_{ijk}{ϵ}^i(\frac{\partial A}{\partial q_j}{q}_k-\frac{\partial A}{\partial p_k}{p}_j)={\epsilon }_{ijk}{ϵ}^i(\frac{\partial A}{\partial q_j}{q}_k+\frac{\partial A}{\partial p_j}{p}_k)\end{array}$

ここで ${\epsilon }_{ijk}$は レヴィ=チヴィタ記号である。

$A(q^i,p^i)\to A(q^i,p^i)+{\epsilon }_{ijk}{ϵ}^i(\frac{\partial A}{\partial q_j}{q}_k+\frac{\partial A}{\partial p_j}{p}_k)=A(R^{ij}{q}^j+,R^{ij}{p}^j)$

ここで$R^{ij}$は無限小回転である。よって角運動量は空間回転の生成子である。

例３：エネルギー

$G_{\delta }=ϵH$とすると、$\delta A=\{A,ϵH\}=ϵ\frac{\mathrm{d}A}{\mathrm{d}t}$

$A(q^i,p^i)\to A(q^i,p^i)+ϵ\frac{\mathrm{d}A}{\mathrm{d}t}=A(q^i(t+ϵ),p^i(t+ϵ))$

よってエネルギーは時間並進の生成子である。

場の理論におけるネーターの定理

場の量を扱う場の解析力学や場の量子論においても、対称性は基本的な概念であり、ネーターの定理がしばしば応用される。ネーターの定理によって導かれる保存則に登場するネーターカレントや、ネーターチャージは特に重要な概念になっている。

力学変数として場 $\varphi (x)$ を考え、作用積分を テンプレート:Indent とする。

系が座標と場との微小変換 テンプレート:Indent テンプレート:Indent に対して対称性をもち、この変換の下で作用が不変であるとする。

このとき、ネーターカレント テンプレート:Indent が保存し、連続の方程式 テンプレート:Indent を満たす。

$\delta \varphi$は場自身の変換だけでなく、座標の変換も含んでいる。 現代的な見方では、場の変分として、同一座標値での差を取ったリー微分 ${\delta }_{ϵ}\varphi (x)$ で記述すると都合がよい。 テンプレート:Indent

このとき、ネーターカレントは テンプレート:Indent となる。

特に微小変換が次のようなパラメータの線型結合 テンプレート:Indent テンプレート:Indent で書かれている場合には、ネーターカレントはパラメータの成分毎に テンプレート:Indent と書くことができて、それぞれに連続の方程式 テンプレート:Indent を満たす。

ネーターカレントの時間成分を空間積分した テンプレート:Indent はネーターチャージと呼ばれる。 これは微小変換の生成子(無限小生成作用素) テンプレート:Indent となる。

例

場の理論における例

時空の並進対称性

座標変換において、無限小の平行移動を考える。 テンプレート:Indent （$\delta x^{\mu }={ϵ}^{\mu }$である。） これに付随する場の無限小変換は テンプレート:Indent であり、ネーターカレントは テンプレート:Indent となる。この $T_{\nu }^{\mu }$ はエネルギー・運動量テンソルである。 保存則は テンプレート:Indent であり、エネルギーと運動量の保存則を表している。 対応するネーターチャージ テンプレート:Indent はエネルギー並びに運動量であり、時空の併進の生成子 テンプレート:Indent となる。

ローレンツ変換

無限小ローレンツ変換 テンプレート:Indent を考える。これに付随する場の無限小変換は テンプレート:Indent を考える。ここで、行列 $S_{\mu \nu }$ は テンプレート:Indent で定義される場のスピンである。${\gamma }_{\mu }$ はガンマ行列である。

このとき、ネーターカレントは テンプレート:Indent となる。この $M_{\nu \rho }^{\mu }$ を角運動量密度という。 $M_{\nu \rho }^{\mu }$ は ν,λ について反対称である。 保存則は テンプレート:Indent であり、角運動量の保存則を表している。 対応するネーターチャージ テンプレート:Indent は角運動量とブースト演算子となる。

位相変換

複素場を考えて場の位相を変える変換を考える。 テンプレート:Indent このとき、ネーターカレントは テンプレート:Indent となる。これは4元電流密度である。保存則は テンプレート:Indent であり、電荷の保存則を表している。 対応するネーターチャージ テンプレート:Indent は電荷である。

導出

力学変数 $q^i(t)$ がラグランジュ方程式 テンプレート:Indent を満たしているとする。

微小変換 テンプレート:Indent テンプレート:Indent を考える。

このとき、系が対称性を持つとは、作用積分 テンプレート:Indent を $ϵ$ の関数としてみたとき、 テンプレート:Indent となることである。

この微分を計算すると、 テンプレート:Indent である。運動方程式を用いれば、 テンプレート:Indent となる。また、 テンプレート:Indent から、 テンプレート:Indent 従って、 テンプレート:Indent が保存する。

ハミルトニアンを用いれば テンプレート:Indent と書けて、ポアソン括弧を用いれば テンプレート:Indent を得る。

参考文献

原論文

• E. Noether, Nachr. Ges. Wiss. Gottingen, 235 (1918)[1]
• F. Klein, Nachr. Ges. Wiss. Gottingen, 171 (1918)
• E. Bessel-Hagen, Math. Ann., 84, 258 (1921) テンプレート:Doi

関連論文

• E. L. Hill, Rev. Mod. Phys., 23, 253 (1951) テンプレート:Doi

関連項目

• 対称性
• 保存則
• チャージ
• シンプレクティック幾何学