物理学において、ネーターの定理(ネーターのていり、英: Noether's theorem)は、系に連続的な対称性がある場合はそれに対応する保存則が存在すると述べる定理である。
ドイツの数学者エミー・ネーターによって1915年に証明され、1918年に公表された。
解析力学や場の理論における重要な定理である。
系がある変換に対して記述に変化を受けない場合、その変換をその系の対称性と呼ぶ。特に解析力学においては、変換に対して系の作用積分が変化しない場合に、この変換を対称性と呼ぶ。
これは、系の運動方程式は最小作用の原理を通じて定まるため、作用の変分がゼロであれば系の運動方程式は変化しないためである。
ネーターの定理は、ラグランジアンの変数に対する連続的な変換が系の対称性になっている場合に、対称性の下での作用の変分がある保存量の時間についての全微分になる[疑問点 – ノート]という定理である。
解析力学におけるネーターの定理
ラグランジュ力学によるネーターの定理
以下ではラグランジュ形式の解析力学で記述される系を考える。
q = (q1,...,qn) を一般化座標とし、
![{\displaystyle L(q,{\dot {q}},t)}](//wikimedia.org/api/rest_v1/media/math/render/svg/123d927ddd274d65428f095727a711594576064d)
を系のラグランジアンとする。
作用積分
![{\displaystyle S[q]=\int _{t_{I}}^{t_{F}}\mathrm {d} t\,L(q,{\dot {q}},t)}](//wikimedia.org/api/rest_v1/media/math/render/svg/50f7a1d3a6fff25c0a76e621e2f34f201d5791ac)
が微小変換
![{\displaystyle t\to t'=t+\delta t,~q^{i}\to q'^{i}=q^{i}+\delta q^{i}}](//wikimedia.org/api/rest_v1/media/math/render/svg/953cc828c7d296b11de471d0446b4bb33db2a87f)
に対して対称性を持つとする。
ここで、この変換は幾つかのパラメータの線型結合で書けるとする。
![{\displaystyle \delta t=\epsilon _{r}T_{r},\quad \delta q^{i}=\epsilon _{r}Q_{r}^{i}}](//wikimedia.org/api/rest_v1/media/math/render/svg/f64df6473074a0762dc4c4320abc963e049b21fd)
但し、重複する添え字記号については、アインシュタインの記法に従い、和をとるものとする。
このとき、
![{\displaystyle X_{r}=\left({\frac {\partial L}{\partial {\dot {q}}^{i}}}{\dot {q}}^{i}-L\right)T_{r}-{\frac {\partial L}{\partial {\dot {q}}^{i}}}Q_{r}^{i}}](//wikimedia.org/api/rest_v1/media/math/render/svg/3ea70eced736f460996c66444f4fe511fdbafe00)
は保存量
![{\displaystyle {\frac {\mathrm {d} X_{r}}{\mathrm {d} t}}=0}](//wikimedia.org/api/rest_v1/media/math/render/svg/be3a3db9178a71855891e3ab10b73a28b75321f9)
となり、この保存量はポアソン括弧により微小変換
![{\displaystyle \{X_{r},t\}=T_{r},~\{X_{r},q^{i}\}=Q_{r}^{i}}](//wikimedia.org/api/rest_v1/media/math/render/svg/5f743e53bd4c36a942ca006f610b8095f86cd8e5)
を定める。
ハミルトン力学によるネーターの定理
ハミルトン力学においてネーターの定理は次のように表現される。
ハミルトニアンがある微少変換
について不変であれば
の生成子
は時間不変である。
ここで
の生成子
とは、
によるベクトル
の増分
が
![{\displaystyle \delta (q^{i},p^{i})=\left({\frac {\partial G_{\delta }}{\partial p^{i}}},-{\frac {\partial G_{\delta }}{\partial q^{i}}}\right)}](//wikimedia.org/api/rest_v1/media/math/render/svg/91ab085877a0fe72e73aac6443bba72c73133b6a)
と表すことのできる量である。この定義から、
ある観測量
の
による変化
は
と
のポアソン括弧により表される。
![{\displaystyle \delta A(q^{i},p^{i})=\nabla A\cdot \delta (q^{i},p^{i})=\nabla A\cdot \left({\frac {\partial G_{\delta }}{\partial p^{i}}},-{\frac {\partial G_{\delta }}{\partial q^{i}}}\right)=\left({\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}}}\right)=\{A,G_{\delta }\}}](//wikimedia.org/api/rest_v1/media/math/render/svg/0dbf62b88c9f61a1c61f4cd8afdc7b7e3a876475)
ハミルトニアンが微少変換
について不変ならば、
が成り立つ。ポアソン括弧の歪対称性より
![{\displaystyle \{H,G_{\delta }\}=-\{G_{\delta },H\}=-{\frac {\mathrm {d} G_{\delta }}{\mathrm {d} t}}=0}](//wikimedia.org/api/rest_v1/media/math/render/svg/65df4d0e582d78899c4f12780811c6564b7b6226)
よって
は時間不変である。
![{\displaystyle \left({\frac {\partial A}{\partial p^{i}}},-{\frac {\partial A}{\partial q^{i}}}\right)}](//wikimedia.org/api/rest_v1/media/math/render/svg/d06af8769899d9bd8a13409f78181ae68ae1d534)
は位相空間上のAの等高線に沿ったベクトルと考えることができる。これを「
が生み出す流れ」と呼ぶと、ポアソン括弧
は、「Bが生み出す流れに沿ったAの変化」と考えることができる。ネーターの定理の一般化は次のようになる。
ならば、![{\displaystyle \{B,A\}=0}](//wikimedia.org/api/rest_v1/media/math/render/svg/5597197f5a63900e8acc1c855d9c05f90bde1695)
もしくは
AがBの生み出す流れについて不変であるとき、BもAの生み出す流れについて不変である。
ハミルトニアンHは時間変化の生成子であるため、もしHがある観測量Aの生み出す流れについて不変であれば、
AはHの生み出す流れ、つまり時間について不変である。
例3:エネルギー
とすると、![{\displaystyle \delta A=\{A,\epsilon H\}=\epsilon {\frac {\mathrm {d} A}{\mathrm {d} t}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/df4ac0d647692c766c26168ae29b053639097684)
![{\displaystyle A(q^{i},p^{i})\rightarrow A(q^{i},p^{i})+\epsilon {\frac {\mathrm {d} A}{\mathrm {d} t}}=A(q^{i}(t+\epsilon ),p^{i}(t+\epsilon ))}](//wikimedia.org/api/rest_v1/media/math/render/svg/31119ede904975217f0e50bbdb323bbf6d4968ab)
よってエネルギーは時間並進の生成子である。
場の理論におけるネーターの定理
場の量を扱う場の解析力学や場の量子論においても、対称性は基本的な概念であり、ネーターの定理がしばしば応用される。ネーターの定理によって導かれる保存則に登場するネーターカレントや、ネーターチャージは特に重要な概念になっている。
力学変数として場
を考え、作用積分を
![{\displaystyle S[\phi ]=\int _{\Omega }\mathrm {d} ^{4}x\,{\mathcal {L}}(\phi ,\partial \phi ,x)}](//wikimedia.org/api/rest_v1/media/math/render/svg/c474aa0bd3663f664401bf03f2407db08b36e8a9)
とする。
系が座標と場との微小変換
![{\displaystyle x^{\mu }\to x'^{\mu }=x^{\mu }+\delta x^{\mu }}](//wikimedia.org/api/rest_v1/media/math/render/svg/12011cef2870bdd07f872d641e248a83048d5927)
![{\displaystyle \phi _{i}(x)\to \phi '_{i}(x')=\phi _{i}(x)+\delta \phi _{i}(x)}](//wikimedia.org/api/rest_v1/media/math/render/svg/4dcc64bfbcf83882d26de120a6877c0986261e10)
に対して対称性をもち、この変換の下で作用が不変であるとする。
このとき、ネーターカレント
![{\displaystyle j^{\mu }\equiv {\biggl (}{\frac {\partial {\mathcal {L}}}{\partial (\partial _{\mu }\phi _{i})}}\partial _{\nu }\phi _{i}-\delta _{\nu }^{\mu }{\mathcal {L}}{\biggr )}\delta x^{\nu }-{\frac {\partial {\mathcal {L}}}{\partial (\partial _{\mu }\phi _{i})}}\delta \phi _{i}}](//wikimedia.org/api/rest_v1/media/math/render/svg/17b795b541a330c02734d2e6942674d8f7abd372)
が保存し、連続の方程式
![{\displaystyle \partial _{\mu }j^{\mu }=0}](//wikimedia.org/api/rest_v1/media/math/render/svg/fdaff79f0a778ba2868d12fa3a4435af326f8534)
を満たす。
は場自身の変換だけでなく、座標の変換も含んでいる。
現代的な見方では、場の変分として、同一座標値での差を取ったリー微分
で記述すると都合がよい。
![{\displaystyle \delta _{\epsilon }\phi _{i}(x)\equiv \phi '(x)-\phi (x)=\delta \phi _{i}(x)-\delta x^{\mu }\partial _{\mu }\phi _{i}}](//wikimedia.org/api/rest_v1/media/math/render/svg/9af184617bc407a0e88b979cbd39fb2f85089e70)
このとき、ネーターカレントは
![{\displaystyle j^{\mu }=-{\frac {\partial {\mathcal {L}}}{\partial (\partial _{\mu }\phi _{i})}}\delta _{\epsilon }\phi _{i}-{\mathcal {L}}\delta x^{\mu }}](//wikimedia.org/api/rest_v1/media/math/render/svg/a6ff196cb1663f4c0dab72f30436ef4345103ead)
となる。
特に微小変換が次のようなパラメータの線型結合
![{\displaystyle \delta x^{\mu }=\epsilon ^{a}X^{a\mu }(x)}](//wikimedia.org/api/rest_v1/media/math/render/svg/60b156d8fb07faa495d88d611799f9f5934e8a5e)
![{\displaystyle \delta _{\epsilon }\phi _{i}(x)=\epsilon ^{a}\delta ^{a}\phi _{i}(x)}](//wikimedia.org/api/rest_v1/media/math/render/svg/3dcc2473ac3ce9920e99df79f8f4f182bb0ada06)
で書かれている場合には、ネーターカレントはパラメータの成分毎に
![{\displaystyle j^{a\mu }\equiv -{\frac {\partial {\mathcal {L}}}{\partial (\partial _{\mu }\phi _{i})}}\delta ^{a}\phi _{i}-{\mathcal {L}}X^{a\mu }}](//wikimedia.org/api/rest_v1/media/math/render/svg/8b92cd410a4326084de215a3ca189b2f3d984a75)
と書くことができて、それぞれに連続の方程式
![{\displaystyle \partial _{\mu }j^{a\mu }=0}](//wikimedia.org/api/rest_v1/media/math/render/svg/616c98286ff51cee0d47ac7c7f48b88ae54b4db7)
を満たす。
ネーターカレントの時間成分を空間積分した
![{\displaystyle Q^{a}\equiv \int \mathrm {d} ^{3}\mathbf {x} \,j^{0a}}](//wikimedia.org/api/rest_v1/media/math/render/svg/8d221c10b11a24560b5c154d715ee26b9aa54965)
はネーターチャージと呼ばれる。
これは微小変換の生成子(無限小生成作用素)
![{\displaystyle [iQ^{a},\phi _{i}(x)]=\delta ^{a}\phi _{i}(x)}](//wikimedia.org/api/rest_v1/media/math/render/svg/816e31275d4838f92b4eea84d1fe18d00cea955c)
となる。
力学変数
がラグランジュ方程式
![{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} t}}{\frac {\partial L}{\partial {\dot {q}}^{i}}}-{\frac {\partial L}{\partial q^{i}}}=0}](//wikimedia.org/api/rest_v1/media/math/render/svg/1d7d40b5bd2ac19027e9a0ea1024ce60a748bd8c)
を満たしているとする。
微小変換
![{\displaystyle t\to t'=t+\epsilon T(t)}](//wikimedia.org/api/rest_v1/media/math/render/svg/4425c45edd6e33e25822553bff02c1fc0e207001)
![{\displaystyle {\begin{aligned}q^{i}(t)\to q_{\epsilon }^{i}(t')&=q^{i}(t)+\epsilon Q^{i}(q(t),t)\\&=q^{i}(t'-\epsilon T)+\epsilon Q^{i}(q(t'-\epsilon T),t'-\epsilon T)\\\end{aligned}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/8ca1be6f764f33f2848237eab79c3b7efd363f10)
を考える。
このとき、系が対称性を持つとは、作用積分
![{\displaystyle S[q_{\epsilon }]=\int _{t_{I}+\epsilon T}^{t_{F}+\epsilon T}\!\!\!\!\!\mathrm {d} t'\,L(q_{\epsilon }(t'),{\dot {q}}_{\epsilon }(t'),t')}](//wikimedia.org/api/rest_v1/media/math/render/svg/30cbf5cb7edf349d8e31a425cfb1130f4893f791)
を
の関数としてみたとき、
![{\displaystyle {\frac {\mathrm {d} S[q_{\epsilon }]}{\mathrm {d} \epsilon }}{\bigg |}_{\epsilon =0}=0}](//wikimedia.org/api/rest_v1/media/math/render/svg/f53a7a6fbfcd5d750e682820ead79c73ec7ce401)
となることである。
この微分を計算すると、
![{\displaystyle {\frac {\mathrm {d} S[q_{\epsilon }]}{\mathrm {d} \epsilon }}{\bigg |}_{\epsilon =0}={\Big [}L(q(t),{\dot {q}}(t),t)\,T(t){\Big ]}_{t_{I}}^{t_{F}}+\int _{t_{I}}^{t_{F}}\mathrm {d} t\,{\biggl [}{\frac {\partial L}{\partial q^{i}}}{\frac {\mathrm {d} q_{\epsilon }^{i}}{\mathrm {d} \epsilon }}{\bigg |}_{\epsilon =0}+{\frac {\partial L}{\partial {\dot {q}}^{i}}}{\frac {\mathrm {d} {\dot {q}}_{\epsilon }^{i}}{\mathrm {d} \epsilon }}{\bigg |}_{\epsilon =0}{\biggr ]}}](//wikimedia.org/api/rest_v1/media/math/render/svg/606cf21c905ce425a03d3c3a25dc6126eb510ef7)
である。運動方程式を用いれば、
![{\displaystyle {\frac {\partial L}{\partial q^{i}}}{\frac {\mathrm {d} q_{\epsilon }^{i}}{\mathrm {d} \epsilon }}{\bigg |}_{\epsilon =0}+{\frac {\partial L}{\partial {\dot {q}}^{i}}}{\frac {\mathrm {d} {\dot {q}}_{\epsilon }^{i}}{\mathrm {d} \epsilon }}{\bigg |}_{\epsilon =0}={\frac {\mathrm {d} }{\mathrm {d} t}}{\biggl (}{\frac {\partial L}{\partial {\dot {q}}^{i}}}{\frac {\mathrm {d} q_{\epsilon }^{i}}{\mathrm {d} \epsilon }}{\bigg |}_{\epsilon =0}{\biggr )}}](//wikimedia.org/api/rest_v1/media/math/render/svg/33e3dd42c65f246c723f421603a1d2137140cbee)
となる。また、
![{\displaystyle {\frac {\mathrm {d} q_{\epsilon }^{i}}{\mathrm {d} \epsilon }}{\bigg |}_{\epsilon =0}=-{\dot {q}}^{i}T(t)+Q^{i}(q(t),t)}](//wikimedia.org/api/rest_v1/media/math/render/svg/5ba31cbb883bdc120a5d88bdce94fa02e7e5e285)
から、
![{\displaystyle {\frac {\mathrm {d} S_{\epsilon }}{\mathrm {d} \epsilon }}{\bigg |}_{\epsilon =0}={\biggl [}{\Bigl (}L-{\frac {\partial L}{\partial {\dot {q}}^{i}}}{\dot {q}}^{i}{\Bigr )}T(t)+{\frac {\partial L}{\partial {\dot {q}}^{i}}}Q^{i}(q(t),t){\biggr ]}_{t_{I}}^{t_{F}}=0}](//wikimedia.org/api/rest_v1/media/math/render/svg/232898ddd6ccbc649599525457c8c7f42f75fae0)
従って、
![{\displaystyle {\Bigl (}{\frac {\partial L}{\partial {\dot {q}}^{i}}}{\dot {q}}^{i}-L{\Bigr )}T(t)-{\frac {\partial L}{\partial {\dot {q}}^{i}}}Q^{i}(q(t),t)}](//wikimedia.org/api/rest_v1/media/math/render/svg/5766b7e270a520c42431a6482748e6ac23379343)
が保存する。
ハミルトニアンを用いれば
![{\displaystyle H(p,q,t)T(t)-p_{i}Q^{i}(q(t),t)}](//wikimedia.org/api/rest_v1/media/math/render/svg/2a8745c47e4781e41b550962ff06031f4cd91ea3)
と書けて、ポアソン括弧を用いれば
![{\displaystyle \{HT-p_{i}Q^{i},t\}=T,~\{HT-p_{i}Q^{i},q^{j}\}=Q^{j}}](//wikimedia.org/api/rest_v1/media/math/render/svg/088d414ca5edf1b685aec1dd133d3731f71deb3e)
を得る。