ネーターの定理

曖昧さ回避「ネーターの定理」のその他の用法については「ネーターの定理 (曖昧さ回避)」をご覧ください。

物理学において、ネーターの定理(ネーターのていり、英: Noether's theorem)は、系に連続的な対称性がある場合はそれに対応する保存則が存在すると述べる定理である。

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

概説

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

系がある変換に対して記述に変化を受けない場合、その変換をその系の対称性と呼ぶ。特に解析力学においては、変換に対して系の作用積分が変化しない場合に、この変換を対称性と呼ぶ。これは、系の運動方程式は最小作用の原理を通じて定まるため、作用の変分がゼロであれば系の運動方程式は変化しないためである。ネーターの定理は、ラグランジアンの変数に対する連続的な変換が系の対称性になっている場合に、対称性の下での作用の変分がある保存量の時間についての全微分になる^{[疑問点 – ノート ]}という定理である。

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

[編集 ]

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

[編集 ]

以下ではラグランジュ形式の解析力学で記述される系を考える。 q = (q₁,...,q_n) を一般化座標とし、

$L(q,{\dot {q}},t)$ {\displaystyle L(q,{\dot {q}},t)}

を系のラグランジアンとする。作用積分

$S[q]=\int _{t_{I}}^{t_{F}}\mathrm {d} t,円L(q,{\dot {q}},t)$ {\displaystyle S[q]=\int _{t_{I}}^{t_{F}}\mathrm {d} t,円L(q,{\dot {q}},t)}

が微小変換

$t\to t'=t+\delta t,~q^{i}\to q'^{i}=q^{i}+\delta q^{i}$ {\displaystyle t\to t'=t+\delta t,~q^{i}\to q'^{i}=q^{i}+\delta q^{i}}

に対して対称性を持つとする。ここで、この変換は幾つかのパラメータの線型結合で書けるとする。

$\delta t=\epsilon _{r}T_{r},\quad \delta q^{i}=\epsilon _{r}Q_{r}^{i}$ {\displaystyle \delta t=\epsilon _{r}T_{r},\quad \delta q^{i}=\epsilon _{r}Q_{r}^{i}}

但し、重複する添え字記号については、アインシュタインの記法に従い、和をとるものとする。このとき、

$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}$ {\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}}

は保存量

${\frac {\mathrm {d} X_{r}}{\mathrm {d} t}}=0$ {\displaystyle {\frac {\mathrm {d} X_{r}}{\mathrm {d} t}}=0}

となり、この保存量はポアソン括弧により微小変換

$\{X_{r},t\}=T_{r},~\{X_{r},q^{i}\}=Q_{r}^{i}$ {\displaystyle \{X_{r},t\}=T_{r},~\{X_{r},q^{i}\}=Q_{r}^{i}}

を定める。

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

[編集 ]

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

ハミルトニアンがある微少変換 $\delta$ {\displaystyle \delta }について不変であれば $\delta$ {\displaystyle \delta }の生成子 $G_{\delta }$ {\displaystyle G_{\delta }}は時間不変である。

ここで $\delta$ {\displaystyle \delta }の生成子 $G_{\delta }$ {\displaystyle G_{\delta }}とは、 $\delta$ {\displaystyle \delta }によるベクトル $(q^{i},p^{i})$ {\displaystyle (q^{i},p^{i})}の増分 $\delta (q^{i},p^{i})$ {\displaystyle \delta (q^{i},p^{i})}が

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

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

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

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

\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 }\}

{\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 }\}}

ハミルトニアンが微少変換 $\delta$ {\displaystyle \delta }について不変ならば、 $\delta H(q^{i},p^{i})=\{H,G_{\delta }\}=0$ {\displaystyle \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

{\displaystyle \{H,G_{\delta }\}=-\{G_{\delta },H\}=-{\frac {\mathrm {d} G_{\delta }}{\mathrm {d} t}}=0}

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

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

は位相空間上のAの等高線に沿ったベクトルと考えることができる。これを「 $A$ {\displaystyle A}が生み出す流れ」と呼ぶと、ポアソン括弧 $\{A,B\}$ {\displaystyle \{A,B\}}は、「Bが生み出す流れに沿ったAの変化」と考えることができる。ネーターの定理の一般化は次のようになる。

$\{A,B\}=0$ {\displaystyle \{A,B\}=0}ならば、 $\{B,A\}=0$ {\displaystyle \{B,A\}=0}

もしくは

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

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

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

例1:運動量

[編集 ]

G_{\delta }=\epsilon ^{i}p^{i}

{\displaystyle G_{\delta }=\epsilon ^{i}p^{i}}とすると、

\delta A=\epsilon ^{i}\{A,p^{i}\}=\epsilon ^{i}{\frac {\partial A}{\partial q^{i}}}

{\displaystyle \delta A=\epsilon ^{i}\{A,p^{i}\}=\epsilon ^{i}{\frac {\partial A}{\partial q^{i}}}}

A(q^{i},p^{i})\rightarrow A(q^{i},p^{i})+\epsilon ^{i}{\frac {\partial A}{\partial q^{i}}}=A(q^{i}+\epsilon ^{i},p^{i})

{\displaystyle A(q^{i},p^{i})\rightarrow A(q^{i},p^{i})+\epsilon ^{i}{\frac {\partial A}{\partial q^{i}}}=A(q^{i}+\epsilon ^{i},p^{i})}

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

例2:角運動量

[編集 ]

G_{\delta }=\varepsilon _{ijk}\epsilon ^{i}p^{j}q^{k}

{\displaystyle G_{\delta }=\varepsilon _{ijk}\epsilon ^{i}p^{j}q^{k}}とすると、

{\begin{aligned}\delta A&=\varepsilon _{ijk}\epsilon ^{i}\{A,p^{j}q^{k}\}=\varepsilon _{ijk}\epsilon ^{i}\left({\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 }}}\right)\\&=\varepsilon _{ijk}\epsilon ^{i}\left({\frac {\partial A}{\partial q_{j}}}q_{k}-{\frac {\partial A}{\partial p_{k}}}p_{j}\right)=\varepsilon _{ijk}\epsilon ^{i}\left({\frac {\partial A}{\partial q_{j}}}q_{k}+{\frac {\partial A}{\partial p_{j}}}p_{k}\right)\end{aligned}}

{\displaystyle {\begin{aligned}\delta A&=\varepsilon _{ijk}\epsilon ^{i}\{A,p^{j}q^{k}\}=\varepsilon _{ijk}\epsilon ^{i}\left({\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 }}}\right)\\&=\varepsilon _{ijk}\epsilon ^{i}\left({\frac {\partial A}{\partial q_{j}}}q_{k}-{\frac {\partial A}{\partial p_{k}}}p_{j}\right)=\varepsilon _{ijk}\epsilon ^{i}\left({\frac {\partial A}{\partial q_{j}}}q_{k}+{\frac {\partial A}{\partial p_{j}}}p_{k}\right)\end{aligned}}}

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

$A(q^{i},p^{i})\rightarrow A(q^{i},p^{i})+\varepsilon _{ijk}\epsilon ^{i}\left({\frac {\partial A}{\partial q_{j}}}q_{k}+{\frac {\partial A}{\partial p_{j}}}p_{k}\right)=A(R^{ij}q^{j}+,R^{ij}p^{j})$ {\displaystyle A(q^{i},p^{i})\rightarrow A(q^{i},p^{i})+\varepsilon _{ijk}\epsilon ^{i}\left({\frac {\partial A}{\partial q_{j}}}q_{k}+{\frac {\partial A}{\partial p_{j}}}p_{k}\right)=A(R^{ij}q^{j}+,R^{ij}p^{j})}

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

例3:エネルギー

[編集 ]

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

$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 ))$ {\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 ))}

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

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

[編集 ]

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

力学変数として場 $\phi (x)$ {\displaystyle \phi (x)} を考え、作用積分を

$S[\phi ]=\int _{\Omega }\mathrm {d} ^{4}x,円{\mathcal {L}}(\phi ,\partial \phi ,x)$ {\displaystyle S[\phi ]=\int _{\Omega }\mathrm {d} ^{4}x,円{\mathcal {L}}(\phi ,\partial \phi ,x)}

とする。

系が座標と場との微小変換

$x^{\mu }\to x'^{\mu }=x^{\mu }+\delta x^{\mu }$ {\displaystyle x^{\mu }\to x'^{\mu }=x^{\mu }+\delta x^{\mu }}

$\phi _{i}(x)\to \phi '_{i}(x')=\phi _{i}(x)+\delta \phi _{i}(x)$ {\displaystyle \phi _{i}(x)\to \phi '_{i}(x')=\phi _{i}(x)+\delta \phi _{i}(x)}

に対して対称性をもち、この変換の下で作用が不変であるとする。

このとき、ネーターカレント

$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}$ {\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}}

が保存し、連続の方程式

$\partial _{\mu }j^{\mu }=0$ {\displaystyle \partial _{\mu }j^{\mu }=0}

を満たす。

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

$\delta _{\epsilon }\phi _{i}(x)\equiv \phi '(x)-\phi (x)=\delta \phi _{i}(x)-\delta x^{\mu }\partial _{\mu }\phi _{i}$ {\displaystyle \delta _{\epsilon }\phi _{i}(x)\equiv \phi '(x)-\phi (x)=\delta \phi _{i}(x)-\delta x^{\mu }\partial _{\mu }\phi _{i}}

このとき、ネーターカレントは

$j^{\mu }=-{\frac {\partial {\mathcal {L}}}{\partial (\partial _{\mu }\phi _{i})}}\delta _{\epsilon }\phi _{i}-{\mathcal {L}}\delta x^{\mu }$ {\displaystyle j^{\mu }=-{\frac {\partial {\mathcal {L}}}{\partial (\partial _{\mu }\phi _{i})}}\delta _{\epsilon }\phi _{i}-{\mathcal {L}}\delta x^{\mu }}

となる。

特に微小変換が次のようなパラメータの線型結合

$\delta x^{\mu }=\epsilon ^{a}X^{a\mu }(x)$ {\displaystyle \delta x^{\mu }=\epsilon ^{a}X^{a\mu }(x)}

$\delta _{\epsilon }\phi _{i}(x)=\epsilon ^{a}\delta ^{a}\phi _{i}(x)$ {\displaystyle \delta _{\epsilon }\phi _{i}(x)=\epsilon ^{a}\delta ^{a}\phi _{i}(x)}

で書かれている場合には、ネーターカレントはパラメータの成分毎に

$j^{a\mu }\equiv -{\frac {\partial {\mathcal {L}}}{\partial (\partial _{\mu }\phi _{i})}}\delta ^{a}\phi _{i}-{\mathcal {L}}X^{a\mu }$ {\displaystyle j^{a\mu }\equiv -{\frac {\partial {\mathcal {L}}}{\partial (\partial _{\mu }\phi _{i})}}\delta ^{a}\phi _{i}-{\mathcal {L}}X^{a\mu }}

と書くことができて、それぞれに連続の方程式

$\partial _{\mu }j^{a\mu }=0$ {\displaystyle \partial _{\mu }j^{a\mu }=0}

を満たす。

ネーターカレントの時間成分を空間積分した

$Q^{a}\equiv \int \mathrm {d} ^{3}\mathbf {x} ,円j^{0a}$ {\displaystyle Q^{a}\equiv \int \mathrm {d} ^{3}\mathbf {x} ,円j^{0a}}

はネーターチャージと呼ばれる。これは微小変換の生成子(無限小生成作用素)

$[iQ^{a},\phi _{i}(x)]=\delta ^{a}\phi _{i}(x)$ {\displaystyle [iQ^{a},\phi _{i}(x)]=\delta ^{a}\phi _{i}(x)}

となる。

例

[編集 ]

場の理論における例

[編集 ]

時空の並進対称性

[編集 ]

座標変換において、無限小の平行移動を考える。

$x^{\mu }\to x'^{\mu }=x^{\mu }+\epsilon ^{\mu }$ {\displaystyle x^{\mu }\to x'^{\mu }=x^{\mu }+\epsilon ^{\mu }}

( $\delta x^{\mu }=\epsilon ^{\mu }$ {\displaystyle \delta x^{\mu }=\epsilon ^{\mu }}である。) これに付随する場の無限小変換は

$\phi _{i}(x)\to \phi '_{i}(x')=\phi _{i}(x)$ {\displaystyle \phi _{i}(x)\to \phi '_{i}(x')=\phi _{i}(x)}

であり、ネーターカレントは

$T_{\nu }^{\mu }={\frac {\partial {\mathcal {L}}}{\partial (\partial _{\mu }\phi _{i})}}\partial _{\nu }\phi _{i}-\delta _{\nu }^{\mu }{\mathcal {L}}$ {\displaystyle T_{\nu }^{\mu }={\frac {\partial {\mathcal {L}}}{\partial (\partial _{\mu }\phi _{i})}}\partial _{\nu }\phi _{i}-\delta _{\nu }^{\mu }{\mathcal {L}}}

となる。この $T_{\nu }^{\mu }$ {\displaystyle T_{\nu }^{\mu }} はエネルギー・運動量テンソル である。保存則は

$\partial _{\mu }T_{\nu }^{\mu }=0$ {\displaystyle \partial _{\mu }T_{\nu }^{\mu }=0}

であり、エネルギーと運動量の保存則を表している。対応するネーターチャージ

$P_{\nu }=\int \mathrm {d} ^{3}x,円T_{\nu }^{0}$ {\displaystyle P_{\nu }=\int \mathrm {d} ^{3}x,円T_{\nu }^{0}}

はエネルギー並びに運動量であり、時空の併進の生成子

$[P_{\mu },\phi _{i}(x)]=i\partial _{\mu }\phi _{i}(x)$ {\displaystyle [P_{\mu },\phi _{i}(x)]=i\partial _{\mu }\phi _{i}(x)}

となる。

ローレンツ変換

[編集 ]

無限小ローレンツ変換

$x^{\mu }\to x'^{\mu }=x^{\mu }+\epsilon ^{\mu }{}_{\nu }x^{\nu }=x^{\mu }+{\tfrac {1}{2}}(\epsilon ^{\mu \nu }-\epsilon ^{\nu \mu })x_{\nu }$ {\displaystyle x^{\mu }\to x'^{\mu }=x^{\mu }+\epsilon ^{\mu }{}_{\nu }x^{\nu }=x^{\mu }+{\tfrac {1}{2}}(\epsilon ^{\mu \nu }-\epsilon ^{\nu \mu })x_{\nu }}

を考える。これに付随する場の無限小変換は

$\phi _{i}(x)\to \phi '_{i}(x')=\phi _{i}(x)-{\tfrac {i}{2}}\epsilon ^{\mu \nu }(S_{\mu \nu })_{i}{}^{j}\phi _{j}(x)$ {\displaystyle \phi _{i}(x)\to \phi '_{i}(x')=\phi _{i}(x)-{\tfrac {i}{2}}\epsilon ^{\mu \nu }(S_{\mu \nu })_{i}{}^{j}\phi _{j}(x)}

を考える。ここで、行列 $S_{\mu \nu }$ {\displaystyle S_{\mu \nu }} は

$(S_{\mu \nu })_{i}{}^{j}=\left\{{\begin{array}{ll}0&({\text{sclar}})\\i(g_{\mu i}\delta _{\nu }^{j}-g_{\nu i}\delta _{\mu }^{j})&({\text{vector}})\\{\frac {i}{4}}(\gamma _{\mu }\gamma _{\nu }-\gamma _{\nu }\gamma _{\mu })_{i}{}^{j}\quad &({\text{spinor}})\\\end{array}}\right.$ {\displaystyle (S_{\mu \nu })_{i}{}^{j}=\left\{{\begin{array}{ll}0&({\text{sclar}})\\i(g_{\mu i}\delta _{\nu }^{j}-g_{\nu i}\delta _{\mu }^{j})&({\text{vector}})\\{\frac {i}{4}}(\gamma _{\mu }\gamma _{\nu }-\gamma _{\nu }\gamma _{\mu })_{i}{}^{j}\quad &({\text{spinor}})\\\end{array}}\right.}

で定義される場のスピンである。 $\gamma _{\mu }$ {\displaystyle \gamma _{\mu }} はガンマ行列である。

このとき、ネーターカレントは

$M_{\nu \rho }^{\mu }=x_{\nu }T_{\rho }^{\mu }-x_{\rho }T_{\nu }^{\mu }-i{\frac {\partial {\mathcal {L}}}{\partial (\partial _{\mu }\phi _{i})}}(S_{\nu \rho })_{i}{}^{j}\phi _{j}$ {\displaystyle M_{\nu \rho }^{\mu }=x_{\nu }T_{\rho }^{\mu }-x_{\rho }T_{\nu }^{\mu }-i{\frac {\partial {\mathcal {L}}}{\partial (\partial _{\mu }\phi _{i})}}(S_{\nu \rho })_{i}{}^{j}\phi _{j}}

となる。この $M_{\nu \rho }^{\mu }$ {\displaystyle M_{\nu \rho }^{\mu }} を角運動量密度という。 $M_{\nu \rho }^{\mu }$ {\displaystyle M_{\nu \rho }^{\mu }} は ν,λ について反対称である。保存則は

$\partial _{\mu }M_{\nu \rho }^{\mu }=0$ {\displaystyle \partial _{\mu }M_{\nu \rho }^{\mu }=0}

であり、角運動量の保存則を表している。対応するネーターチャージ

$M_{\nu \rho }=\int \mathrm {d} ^{3}x,円M_{\nu \rho }^{0}$ {\displaystyle M_{\nu \rho }=\int \mathrm {d} ^{3}x,円M_{\nu \rho }^{0}}

は角運動量とブースト演算子となる。

位相変換

[編集 ]

複素場を考えて場の位相を変える変換を考える。

$\phi _{i}(x)\to \phi _{i}(x)-ie\epsilon \phi _{i}(x),~{\bar {\phi }}_{i}(x)\to {\bar {\phi }}_{i}(x)+ie\epsilon {\bar {\phi }}_{i}(x)$ {\displaystyle \phi _{i}(x)\to \phi _{i}(x)-ie\epsilon \phi _{i}(x),~{\bar {\phi }}_{i}(x)\to {\bar {\phi }}_{i}(x)+ie\epsilon {\bar {\phi }}_{i}(x)}

このとき、ネーターカレントは

$j^{\mu }=ie\left({\bar {\phi }}_{i}{\frac {\partial {\mathcal {L}}}{\partial (\partial _{\mu }{\bar {\phi }}_{i})}}-{\frac {\partial {\mathcal {L}}}{\partial (\partial _{\mu }\phi _{i})}}\phi _{i}\right)$ {\displaystyle j^{\mu }=ie\left({\bar {\phi }}_{i}{\frac {\partial {\mathcal {L}}}{\partial (\partial _{\mu }{\bar {\phi }}_{i})}}-{\frac {\partial {\mathcal {L}}}{\partial (\partial _{\mu }\phi _{i})}}\phi _{i}\right)}

となる。これは4元電流密度である。保存則は

$\partial _{\mu }j^{\mu }=0$ {\displaystyle \partial _{\mu }j^{\mu }=0}

であり、電荷の保存則を表している。対応するネーターチャージ

$Q=\int \mathrm {d} ^{3}x,円j^{0}$ {\displaystyle Q=\int \mathrm {d} ^{3}x,円j^{0}}

は電荷である。

導出

[編集 ]

力学変数 $q^{i}(t)$ {\displaystyle q^{i}(t)} がラグランジュ方程式

${\frac {\mathrm {d} }{\mathrm {d} t}}{\frac {\partial L}{\partial {\dot {q}}^{i}}}-{\frac {\partial L}{\partial q^{i}}}=0$ {\displaystyle {\frac {\mathrm {d} }{\mathrm {d} t}}{\frac {\partial L}{\partial {\dot {q}}^{i}}}-{\frac {\partial L}{\partial q^{i}}}=0}

を満たしているとする。

微小変換

$t\to t'=t+\epsilon T(t)$ {\displaystyle t\to t'=t+\epsilon T(t)}

${\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}}$ {\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}}}

を考える。

このとき、系が対称性を持つとは、作用積分

$S[q_{\epsilon }]=\int _{t_{I}+\epsilon T}^{t_{F}+\epsilon T}\!\!\!\!\!\mathrm {d} t',円L(q_{\epsilon }(t'),{\dot {q}}_{\epsilon }(t'),t')$ {\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')}

を $\epsilon$ {\displaystyle \epsilon } の関数としてみたとき、

${\frac {\mathrm {d} S[q_{\epsilon }]}{\mathrm {d} \epsilon }}{\bigg |}_{\epsilon =0}=0$ {\displaystyle {\frac {\mathrm {d} S[q_{\epsilon }]}{\mathrm {d} \epsilon }}{\bigg |}_{\epsilon =0}=0}

となることである。

この微分を計算すると、

${\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 ]}$ {\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 ]}}

である。運動方程式を用いれば、

${\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 )}$ {\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 )}}

となる。また、

${\frac {\mathrm {d} q_{\epsilon }^{i}}{\mathrm {d} \epsilon }}{\bigg |}_{\epsilon =0}=-{\dot {q}}^{i}T(t)+Q^{i}(q(t),t)$ {\displaystyle {\frac {\mathrm {d} q_{\epsilon }^{i}}{\mathrm {d} \epsilon }}{\bigg |}_{\epsilon =0}=-{\dot {q}}^{i}T(t)+Q^{i}(q(t),t)}

から、

${\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$ {\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}

従って、

${\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)$ {\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)}

が保存する。

ハミルトニアンを用いれば

$H(p,q,t)T(t)-p_{i}Q^{i}(q(t),t)$ {\displaystyle H(p,q,t)T(t)-p_{i}Q^{i}(q(t),t)}

と書けて、ポアソン括弧を用いれば

$\{HT-p_{i}Q^{i},t\}=T,~\{HT-p_{i}Q^{i},q^{j}\}=Q^{j}$ {\displaystyle \{HT-p_{i}Q^{i},t\}=T,~\{HT-p_{i}Q^{i},q^{j}\}=Q^{j}}

を得る。

参考文献

[編集 ]

出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。 記事の信頼性向上にご協力をお願いいたします。(2023年9月)

原論文

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:10.1007/BF01459410

関連論文

E. L. Hill, Rev. Mod. Phys., 23, 253 (1951) doi:10.1103/RevModPhys.23.253

概説

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

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

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

例1:運動量

例2:角運動量

例3:エネルギー

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

例

場の理論における例

時空の並進対称性

ローレンツ変換

位相変換

導出

参考文献

関連項目