ネーターの定理
物理学において、ネーターの定理（ネーターのていり、）は、系に連続的な対称性がある場合はそれに対応する保存則が存在すると述べる定理である。
ドイツの数学者エミー・ネーターによって1915年に証明され、1918年に公表された。
解析力学や場の理論における重要な定理である。
系がある変換に対して記述に変化を受けない場合、その変換をその系の対称性と呼ぶ。特に解析力学においては、変換に対して系の作用積分が変化しない時に、この変換を対称性と呼ぶ。
これは、系の運動方程式は最小作用の原理を通じて定まる為、作用の変分がゼロであれば系の運動方程式は変化しない為である。
ネーターの定理は、ラグランジアンの変数に対する"連続的な"変換が系の対称性になっている場合に、対称性の下での作用の変分がある保存量の時間についての全微分になるという定理である。
以下ではラグランジュ形式の解析力学で記述される系を考える。
q = (q...,q) を一般化座標とし、
を系のラグランジアンとする。
作用積分
が微小変換
に対して対称性を持つとする。
ここで、この変換は幾つかのパラメータの線型結合で書けるとする。
但し、重複する添え字記号については、アインシュタインの記法に従い、和をとるものとする。
このとき、
は保存量
となり、この保存量はポアソン括弧により微小変換
を定める。
ハミルトン力学においてネーターの定理は次のように表現される。ハミルトニアンがある微少変換 formula_1について不変であれば formula_1の生成子 formula_3は時間不変である。ここで formula_1の生成子 formula_3とは、formula_1によるベクトル formula_7の増分 formula_8が
formula_9
と表すことのできる量である。この定義から、
ある観測量 formula_10の formula_1による変化 formula_12はformula_13とformula_3のポアソン括弧により表される。
formula_15
ハミルトニアンが微少変換 formula_1について不変ならば、formula_17が成り立つ。ポアソン括弧の歪対称性より
formula_18
よって formula_3は時間不変である。
formula_20は位相空間上のAの等高線に沿ったベクトルと考えることができる。これを「formula_13が生み出す流れ」と呼ぶと、ポアソン括弧formula_22は、「Bが生み出す流れに沿ったAの変化」と考えることができる。ネーターの定理の一般化は次のようになる。formula_23ならば、formula_24もしくはAがBの生み出す流れについて不変であるとき、BもAの生み出す流れについて不変である。ハミルトニアンHは時間変化の生成子であるため、もしHがある観測量Aの生み出す流れについて不変であれば、
AはHの生み出す流れ、つまり時間について不変である。
formula_25とすると、formula_26
formula_27
よって運動量は空間並進の生成子である。
formula_28とすると、formula_29
ここで formula_30は レヴィ=チヴィタ記号である。
formula_31
ここでformula_32は無限小回転である。よって角運動量は空間回転の生成子である。
formula_33とすると、formula_34
formula_35
よってエネルギーは時間並進の生成子である。
場の量を扱う場の解析力学や場の量子論においても、対称性は基本的な概念であり、ネーターの定理がしばしば応用される。ネーターの定理によって導かれる保存則に登場するネーターカレントや、ネーターチャージは特に重要な概念になっている。
力学変数として場 formula_36 を考え、作用積分を
系が座標と場との微小変換
に対して対称性をもち、この変換の下で作用が不変であるとする。
このとき、ネーターカレント
が保存し、連続の方程式
を満たす。
formula_37には場自身の変換だけでなく、座標の変換も含んでいる。
現代的な見方では、場の変分として、同一座標値での差を取ったリー微分 formula_38 で記述すると都合がよい。
このとき、ネーターカレントは
となる。
特に微小変換が次のようなパラメータの線型結合
で書かれている場合には、ネーターカレントはパラメータの成分毎に
と書くことができて、それぞれに連続の方程式
を満たす。
ネーターカレントの時間成分を空間積分した
はネーターチャージと呼ばれる。
これは微小変換の生成子(無限小生成作用素)
座標変換において、無限小の平行移動を考える。
（formula_39である。）
これに付随する場の無限小変換は
であり、ネーターカレントは
となる。この formula_40 はエネルギー・運動量テンソルである。
保存則は
であり、エネルギーと運動量の保存則を表している。
対応するネーターチャージ
はエネルギー並びに運動量であり、時空の併進の生成子
無限小ローレンツ変換
を考える。これに付随する場の無限小変換は
を考える。ここで、行列 formula_41 は
で定義される場のスピンである。formula_42 はガンマ行列である。
このとき、ネーターカレントは
となる。この formula_43 を角運動量密度という。
formula_43 は ν,λ について反対称である。
保存則は
であり、角運動量の保存則を表している。
対応するネーターチャージ
は角運動量とブースト演算子となる。
複素場を考えて場の位相を変える変換を考える。
このとき、ネーターカレントは
となる。これは4元電流密度である。保存則は
であり、電荷の保存則を表している。
対応するネーターチャージ
は電荷である。
力学変数 formula_45 がラグランジュ方程式
を満たしているとする。
微小変換
を考える。
このとき、系が対称性を持つとは、作用積分
を formula_46 の関数としてみたとき、
この微分を計算すると、
である。運動方程式を用いれば、
が保存する。
ハミルトニアンを用いれば
と書けて、ポアソン括弧を用いれば
を得る。