## 2. 準備：ラグランジュ形式の復習以下、系の配位は $n$ 個の一般化座標 $q = (q^1, \ldots, q^n)$ で指定され、ラグランジアン $L(q, \dot q, t)$ は $C^2$ 級とします。時刻 $t_1$ から $t_2$ までの経路 $q(\cdot)$ に対する作用は $$ S[q] = \int_{t_1}^{t_2} L\big(q(t), \dot q(t), t\big)\, dt $$ で、端点を固定した変分が消える条件からオイラー–ラグランジュ方程式 $$ \frac{d}{dt}\frac{\partial L}{\partial \dot q^i} - \frac{\partial L}{\partial q^i} = 0 \qquad (i = 1, \ldots, n) $$ が出ます（）。導出は [ラグランジュ形式の力学](/physics/mechanics/lagrangian-mechanics) を参照してください。以下、この方程式の解を単に**解**と呼び、「解に沿って」という言い方をします。一般化運動量を $$ p_i(q, \dot q, t) = \frac{\partial L}{\partial \dot q^i}(q, \dot q, t) $$ で定義します。この記号を使うとオイラー–ラグランジュ方程式は $\dot p_i = \partial L / \partial q^i$ と書けます。証明の中で何度もこの形を使います。関数 $I(q, \dot q, t)$ が**保存量**（第一積分）であるとは、オイラー–ラグランジュ方程式の任意の解 $q(t)$ に対して $$ \frac{d}{dt}\, I\big(q(t), \dot q(t), t\big) = 0 $$ が成り立つことをいいます。すなわち $I$ の値は解ごとに決まる定数です。もっとも簡単な保存量は、座標が一つラグランジアンに現れない場合に得られます。 $\partial L / \partial q^k = 0$ がすべての $(q, \dot q, t)$ で成り立つとき、$q^k$ を**循環座標**（無視できる座標）といいます。 $q^k$ が循環座標（）ならば、$p_k = \partial L / \partial \dot q^k$ は保存量である。解に沿ってオイラー–ラグランジュ方程式の $i = k$ 成分を書くと $$ \frac{d p_k}{dt} = \frac{\partial L}{\partial q^k} = 0 $$ です。最後の等号はの仮定によります。したがって $p_k$ は時間によらず一定です。この命題は強力ですが、使うには「うまい座標」を見つけなければなりません。たとえば平面上の 2 粒子系で全運動量が保存することを示すには、重心座標を導入して初めて循環座標が現れます。座標の取り方に依存せず、変換そのものを主役にして述べ直したものがネーターの定理です。 ## 3. 対称性を定式化する「対称性がある」という言葉を、計算できる形に翻訳します。鍵は、変換を一つずつ考えるのではなく、恒等変換から連続的につながった**族**として考えることです。配位空間の開集合上で定義された写像の族 $Q^i(s; q, t)$（$i = 1, \ldots, n$、$s$ は $0$ の近くの実数）が、次を満たすとき**一径数変換族**といいます。 1. $Q^i$ は $(s, q, t)$ について $C^2$ 級である。 2. $Q^i(0; q, t) = q^i$（$s = 0$ で恒等変換）。このとき $$ \zeta^i(q, t) = \frac{\partial Q^i}{\partial s}(0; q, t) $$ を、この族の**生成子**（無限小変換）と呼びます。生成子は「$s$ を少しだけ動かしたときに点がどの向きにどれだけ動くか」を表すベクトル場です。$s$ が小さいとき $Q^i(s; q, t) \approx q^i + s\,\zeta^i(q,t)$ が成り立ちます。次が対称性の定義です。ここで**あえて弱い条件**を採用します。ラグランジアンがぴったり不変である必要はなく、時間に関する完全微分だけずれることを許します。理由は後で見ます（と）。完全微分の差はオイラー–ラグランジュ方程式を変えないので、これは物理的に自然な緩め方です。一径数変換族 $Q(s; q, t)$（）が $L$ の**準対称性**であるとは、ある $C^1$ 級関数 $F(q, t)$ が存在して、任意の $C^2$ 級曲線 $q(\cdot)$ と任意の時刻 $t$ について $$ \frac{\partial}{\partial s}\bigg|_{s=0} L\!\left( Q\big(s; q(t), t\big),\ \frac{d}{dt}Q\big(s; q(t), t\big),\ t \right) = \frac{d}{dt} F\big(q(t), t\big) $$ が成り立つことをいいます。$F \equiv 0$ と取れるとき、単に**対称性**（厳密な不変性）といいます。対称性は**法則**の性質であって、個々の運動の性質ではありません。一様重力中の放物運動は水平方向に平行移動しても別の放物運動になりますが、一つの放物線それ自体は平行移動対称ではありません。対称なのは軌道ではなく、軌道を決める法則です。 ## 4. ネーターの定理（空間的な変換）まず時間を変えない変換について定理を述べます。時間も動かす一般形は次節で扱います。 $L(q, \dot q, t)$ を $C^2$ 級のラグランジアンとし、一径数変換族 $Q(s; q, t)$ が生成子 $\zeta^i(q,t)$ を持ち、関数 $F(q,t)$ とともに $L$ の準対称性である（）とする。このとき $$ I(q, \dot q, t) = \sum_{i=1}^{n} \frac{\partial L}{\partial \dot q^i}(q, \dot q, t)\, \zeta^i(q, t) \;-\; F(q, t) $$ はオイラー–ラグランジュ方程式の保存量である（）。 $C^2$ 級曲線 $q(\cdot)$ を一つ固定し、$\tilde q^i(s,t) = Q^i(s; q(t), t)$ と置きます。の左辺を連鎖律で展開します。$L$ の第 1 引数は $\tilde q$、第 2 引数は $\partial_t \tilde q$ なので $$ \frac{\partial}{\partial s}\bigg|_{s=0} L\big(\tilde q, \partial_t \tilde q, t\big) = \sum_i \frac{\partial L}{\partial q^i}\,\frac{\partial \tilde q^i}{\partial s}\bigg|_{s=0} + \sum_i \frac{\partial L}{\partial \dot q^i}\,\frac{\partial}{\partial s}\bigg|_{s=0}\frac{\partial \tilde q^i}{\partial t} $$ となります。ここで $\partial L/\partial q^i$ などはすべて $(q(t), \dot q(t), t)$ で評価されています（$s = 0$ では $\tilde q = q(t)$、$\partial_t \tilde q = \dot q(t)$ だからです）。第 1 項の $\partial \tilde q^i/\partial s|_{s=0}$ は、の生成子の定義そのもので $\zeta^i(q(t), t)$ です。第 2 項では $s$ 微分と $t$ 微分の順序を交換します。$Q$ が $C^2$ 級で $q(\cdot)$ も $C^2$ 級なので $\tilde q$ は $(s,t)$ について $C^2$ 級であり、シュワルツの定理（）により $$ \frac{\partial}{\partial s}\frac{\partial \tilde q^i}{\partial t} = \frac{\partial}{\partial t}\frac{\partial \tilde q^i}{\partial s} $$ が使えます。$s = 0$ と置けば右辺は $\dfrac{d}{dt}\zeta^i(q(t), t)$ です。すなわち具体的には $$ \frac{d}{dt}\zeta^i\big(q(t), t\big) = \sum_j \frac{\partial \zeta^i}{\partial q^j}\,\dot q^j + \frac{\partial \zeta^i}{\partial t} $$ です。以上をまとめ、の等式に代入すると、任意の $C^2$ 級曲線について $$ \sum_i \frac{\partial L}{\partial q^i}\,\zeta^i + \sum_i \frac{\partial L}{\partial \dot q^i}\,\frac{d \zeta^i}{dt} = \frac{dF}{dt} $$ が成り立ちます。ここまでは任意の曲線についての恒等式です。**ここで初めて**曲線が解であると仮定します。解に沿ってはオイラー–ラグランジュ方程式より $\partial L/\partial q^i = \dfrac{d}{dt}\dfrac{\partial L}{\partial \dot q^i}$ なので、左辺は $$ \sum_i \left( \frac{d}{dt}\frac{\partial L}{\partial \dot q^i}\right)\zeta^i + \sum_i \frac{\partial L}{\partial \dot q^i}\,\frac{d\zeta^i}{dt} = \frac{d}{dt}\left( \sum_i \frac{\partial L}{\partial \dot q^i}\,\zeta^i \right) $$ と積の微分公式でまとめられます。したがって解に沿って $$ \frac{d}{dt}\left( \sum_i \frac{\partial L}{\partial \dot q^i}\,\zeta^i - F \right) = 0 $$ が成り立ちます。これが主張です。はの特別な場合です。$q^k$ が循環座標なら、$k$ 番目の座標だけをずらす変換 $Q^i(s;q,t) = q^i + s\,\delta^i_{\ k}$ は生成子 $\zeta^i = \delta^i_{\ k}$ を持ち、$L$ は $q^k$ に依存しないので $\partial_s L|_{s=0} = \partial L/\partial q^k = 0$、つまり $F = 0$ の厳密な対称性です。定理の公式は $I = p_k$ を与え、命題と一致します。

A2["エネルギー関数 h"] B["空間の並進"] --> B2["全運動量 P"] C["空間の回転"] --> C2["全角運動量 J"] D["ガリレイ変換"] --> D2["重心の等速直線運動"]`} /> ### 4.1. 空間の並進と運動量保存 $N$ 個の質点からなる系を考えます。質点 $a$ の位置を $\boldsymbol{r}_a$、質量を $m_a$ とし、ラグランジアンを $$ L = \sum_{a=1}^{N} \frac{m_a}{2}\,|\dot{\boldsymbol{r}}_a|^2 - U(\boldsymbol{r}_1, \ldots, \boldsymbol{r}_N) $$ とします。ポテンシャル $U$ が、すべての質点を同じだけ平行移動しても変わらないとします。すなわち任意のベクトル $\boldsymbol{c}$ について $$ U(\boldsymbol{r}_1 + \boldsymbol{c}, \ldots, \boldsymbol{r}_N + \boldsymbol{c}) = U(\boldsymbol{r}_1, \ldots, \boldsymbol{r}_N) $$ が成り立つとします。相互作用が距離 $|\boldsymbol{r}_a - \boldsymbol{r}_b|$ だけで書ける系はこの条件を満たします。単位ベクトル $\boldsymbol{n}$ を固定し、変換族 $\boldsymbol{R}_a(s) = \boldsymbol{r}_a + s\,\boldsymbol{n}$ を取ります。生成子は $\boldsymbol{\zeta}_a = \boldsymbol{n}$（$a$ によらない定ベクトル）です。速度は $\dot{\boldsymbol{R}}_a = \dot{\boldsymbol{r}}_a$ で変わらないので運動エネルギーは不変、ポテンシャルも仮定より不変です。よって $$ \frac{\partial}{\partial s}\bigg|_{s=0} L = 0 $$ となり、$F = 0$ の厳密な対称性です（）。一般化運動量は $\partial L / \partial \dot{\boldsymbol{r}}_a = m_a \dot{\boldsymbol{r}}_a$ です。の公式に代入すると $$ I = \sum_{a=1}^{N} m_a \dot{\boldsymbol{r}}_a \cdot \boldsymbol{n} = \left( \sum_{a=1}^{N} m_a \dot{\boldsymbol{r}}_a \right)\cdot \boldsymbol{n} = \boldsymbol{P}\cdot\boldsymbol{n} $$ が保存します。$\boldsymbol{n}$ は任意に取れるので、$\boldsymbol{P}\cdot\boldsymbol{e}_x$、$\boldsymbol{P}\cdot\boldsymbol{e}_y$、$\boldsymbol{P}\cdot\boldsymbol{e}_z$ がそれぞれ保存し、結局ベクトル $\boldsymbol{P} = \sum_a m_a\dot{\boldsymbol{r}}_a$ の 3 成分すべてが保存します。 ### 4.2. 空間の回転と角運動量保存同じ系で、今度は $U$ が原点まわりの回転で不変、すなわち任意の回転行列 $R \in SO(3)$ について $U(R\boldsymbol{r}_1, \ldots, R\boldsymbol{r}_N) = U(\boldsymbol{r}_1,\ldots,\boldsymbol{r}_N)$ とします。相互作用が $|\boldsymbol{r}_a - \boldsymbol{r}_b|$ と $|\boldsymbol{r}_a|$ だけで書ける系はこれを満たします。単位ベクトル $\boldsymbol{n}$ を軸とし、角 $s$ の回転行列を $R(s\boldsymbol{n})$ として、変換族 $\boldsymbol{R}_a(s) = R(s\boldsymbol{n})\,\boldsymbol{r}_a$ を取ります。回転の生成子はよく知られた外積の形 $$ \boldsymbol{\zeta}_a = \frac{d}{ds}\bigg|_{s=0} R(s\boldsymbol{n})\,\boldsymbol{r}_a = \boldsymbol{n}\times\boldsymbol{r}_a $$ です。速度は $\dot{\boldsymbol{R}}_a(s) = R(s\boldsymbol{n})\dot{\boldsymbol{r}}_a$ であり、回転行列は長さを保つので $|\dot{\boldsymbol{R}}_a(s)| = |\dot{\boldsymbol{r}}_a|$、したがって運動エネルギーは $s$ によらず一定です。ポテンシャルも仮定より一定です。よってこれも $F = 0$ の厳密な対称性です。より $$ I = \sum_a m_a \dot{\boldsymbol{r}}_a \cdot (\boldsymbol{n}\times\boldsymbol{r}_a) $$ が保存します。スカラー三重積の巡回置換 $\boldsymbol{a}\cdot(\boldsymbol{b}\times\boldsymbol{c}) = \boldsymbol{b}\cdot(\boldsymbol{c}\times\boldsymbol{a})$ を $\boldsymbol{a} = \dot{\boldsymbol{r}}_a$、$\boldsymbol{b} = \boldsymbol{n}$、$\boldsymbol{c} = \boldsymbol{r}_a$ に適用すると $$ \dot{\boldsymbol{r}}_a\cdot(\boldsymbol{n}\times\boldsymbol{r}_a) = \boldsymbol{n}\cdot(\boldsymbol{r}_a\times\dot{\boldsymbol{r}}_a) $$ なので $$ I = \boldsymbol{n}\cdot \sum_a \boldsymbol{r}_a \times m_a\dot{\boldsymbol{r}}_a = \boldsymbol{n}\cdot\boldsymbol{J} $$ です。$\boldsymbol{n}$ は任意なので、全角運動量 $\boldsymbol{J} = \sum_a \boldsymbol{r}_a\times m_a\dot{\boldsymbol{r}}_a$ の 3 成分すべてが保存します。対称性が部分的にしかなくても、その分だけの保存量が得られます。$U$ が $z$ 軸まわりの回転でだけ不変（たとえば軸対称な外場の中の粒子）なら、保存するのは $J_z$ だけで、$J_x$ と $J_y$ は一般に保存しません。対称性と保存量は一対一に対応します。 ### 4.3. 準対称性が必要になる例 $F = 0$ に限定すると取り逃す保存量があります。一様重力中の質点 $L = \dfrac{m}{2}(\dot x^2 + \dot y^2 + \dot z^2) - mgz$ を考えます。鉛直方向の並進 $Z(s) = z + s$（$x, y$ は動かさない）を取ると、生成子は $\zeta = (0,0,1)$ で、 $$ \frac{\partial}{\partial s}\bigg|_{s=0} L = -mg $$ です。$0$ ではないので厳密な対称性ではありません。しかし $-mg$ は定数なので、$F(q,t) = -mgt$ と置けば $dF/dt = -mg$ となり、の準対称性の条件を満たします。 $p_z = m\dot z$ なのでより $$ I = m\dot z - (-mgt) = m\dot z + mgt $$ が保存量です。実際に解 $z(t) = z_0 + v_0 t - \tfrac12 g t^2$ で確かめると $m\dot z + mgt = m(v_0 - gt) + mgt = mv_0$ で、確かに定数です。これはエネルギーとも運動量とも異なる、独立な保存量です（内容としては「鉛直方向の加速度が $-g$ で一定」という情報を一つの式にまとめたものです）。$F = 0$ に固執していたら、この保存量は見えませんでした。 ## 5. 時間の並進とエネルギー保存ここまでの定理は時間を動かしませんでした。エネルギー保存則は時間の一様性から来るはずなので、時間も変換する形に拡張する必要があります。準備として、まずエネルギー関数を導入します。ラグランジアン $L(q,\dot q,t)$ に対し $$ h(q, \dot q, t) = \sum_{i=1}^{n} \dot q^i\, \frac{\partial L}{\partial \dot q^i}(q,\dot q,t) \;-\; L(q, \dot q, t) $$ を**エネルギー関数**（ヤコビ積分）といいます。オイラー–ラグランジュ方程式の任意の解 $q(t)$ に沿って $$ \frac{d}{dt}\,h\big(q(t),\dot q(t),t\big) = -\frac{\partial L}{\partial t}\big(q(t),\dot q(t),t\big) $$ が成り立つ。特に $L$ が $t$ に陽に依存しない（$\partial L/\partial t \equiv 0$）ならば $h$ は保存量である。 $p_i = \partial L/\partial \dot q^i$ と書きます。解に沿って積の微分公式を使うと $$ \frac{dh}{dt} = \sum_i \big( \ddot q^i p_i + \dot q^i \dot p_i \big) - \frac{dL}{dt} $$ です。一方 $L$ の全微分は連鎖律より $$ \frac{dL}{dt} = \sum_i \frac{\partial L}{\partial q^i}\dot q^i + \sum_i \frac{\partial L}{\partial \dot q^i}\ddot q^i + \frac{\partial L}{\partial t} = \sum_i \frac{\partial L}{\partial q^i}\dot q^i + \sum_i p_i \ddot q^i + \frac{\partial L}{\partial t} $$ です。差を取ると $\sum_i p_i\ddot q^i$ の項が相殺して $$ \frac{dh}{dt} = \sum_i \dot q^i \left( \dot p_i - \frac{\partial L}{\partial q^i} \right) - \frac{\partial L}{\partial t} $$ となります。ここで解に沿ってはオイラー–ラグランジュ方程式より丸括弧の中が $0$ なので、$dh/dt = -\partial L/\partial t$ を得ます。この命題は単独でも使えますが、対称性の言葉で言い直しておくと全体の構造が見えます。そのために定理を拡張します。 $L(q,\dot q,t)$ を $C^2$ 級とする。$C^2$ 級の族 $T(s;q,t)$、$Q^i(s;q,t)$ が $T(0;q,t) = t$、$Q^i(0;q,t) = q^i$ を満たすとし、生成子を $$ \tau(q,t) = \frac{\partial T}{\partial s}(0;q,t), \qquad \zeta^i(q,t) = \frac{\partial Q^i}{\partial s}(0;q,t) $$ とする。さらに、ある $C^1$ 級関数 $F(q,t)$ が存在して、任意の $C^2$ 級曲線 $q(\cdot)$ について $$ \frac{\partial}{\partial s}\bigg|_{s=0} \left[ L\!\left( Q,\ \frac{dQ/dt}{dT/dt},\ T \right) \frac{dT}{dt} \right] = \frac{d}{dt}F\big(q(t),t\big) $$ が成り立つとする（$Q, T$ の引数は $(s; q(t), t)$、$d/dt$ は曲線に沿う全微分）。このとき $$ I = \sum_{i=1}^{n} p_i\,\zeta^i \;-\; h\,\tau \;-\; F, \qquad p_i = \frac{\partial L}{\partial \dot q^i},\quad h = \sum_i \dot q^i p_i - L $$ は保存量である。不変性の条件が奇妙に見えるかもしれませんが、これは「変換後の時刻で測った作用が変わらない」という条件を書き下したものです。変換後の作用を $\tilde t = T(s;q(t),t)$ で積分変数変換すると $d\tilde t = (dT/dt)\,dt$ となり、被積分関数が上の角括弧の中身になります。速度は $d\tilde q/d\tilde t = (dQ/dt)/(dT/dt)$ です。

曲線 $q(\cdot)$ を固定し、$s = 0$ での値を使って各因子の $s$ 微分を計算します。$s=0$ では $Q = q(t)$、$T = t$、$dT/dt = 1$、$(dQ/dt)/(dT/dt) = \dot q(t)$ です。$\delta$ で $\partial_s|_{s=0}$ を表すと、生成子の定義から $$ \delta Q^i = \zeta^i, \qquad \delta T = \tau, \qquad \delta\!\left(\frac{dQ^i}{dt}\right) = \frac{d\zeta^i}{dt}, \qquad \delta\!\left(\frac{dT}{dt}\right) = \frac{d\tau}{dt} $$ です（の証明と同じくシュワルツの定理で $s$ 微分と $t$ 微分を交換しました）。商の微分法より $$ \delta\!\left(\frac{dQ^i/dt}{dT/dt}\right) = \frac{(d\zeta^i/dt)\cdot 1 - \dot q^i (d\tau/dt)}{1^2} = \frac{d\zeta^i}{dt} - \dot q^i \frac{d\tau}{dt} $$ です。これらを使って角括弧全体を微分すると、積の微分法と連鎖律から $$ \delta\!\left[ L \frac{dT}{dt} \right] = \sum_i \frac{\partial L}{\partial q^i}\zeta^i + \sum_i \frac{\partial L}{\partial \dot q^i}\left( \frac{d\zeta^i}{dt} - \dot q^i \frac{d\tau}{dt} \right) + \frac{\partial L}{\partial t}\tau + L\,\frac{d\tau}{dt} $$ となります。仮定よりこれは $dF/dt$ に等しく、これは任意の曲線についての恒等式です。ここで曲線が解であると仮定します。オイラー–ラグランジュ方程式 $\partial L/\partial q^i = \dot p_i$ を使うと第 1 項と第 2 項の前半がまとまり、 $$ \frac{d}{dt}\left( \sum_i p_i \zeta^i \right) - \left( \sum_i p_i \dot q^i - L \right)\frac{d\tau}{dt} + \frac{\partial L}{\partial t}\,\tau = \frac{dF}{dt} $$ を得ます。丸括弧はのエネルギー関数 $h$ そのものです。さらにより解に沿って $dh/dt = -\partial L/\partial t$ なので $$ \frac{d}{dt}\big( h\,\tau \big) = \frac{dh}{dt}\tau + h \frac{d\tau}{dt} = -\frac{\partial L}{\partial t}\tau + h\frac{d\tau}{dt} $$ が成り立ちます。すなわち上の式の第 2 項と第 3 項の和は $-\dfrac{d}{dt}(h\tau)$ に等しくなります。したがって $$ \frac{d}{dt}\left( \sum_i p_i \zeta^i - h\,\tau - F \right) = 0 $$ となり、主張が示されました。 $\partial L/\partial t \equiv 0$ ならば、時間並進 $T(s;q,t) = t + s$、$Q^i(s;q,t) = q^i$ はの意味で $F = 0$ の対称性であり、対応する保存量はエネルギー関数 $h$（の符号を変えたもの）である。この変換では $dT/dt = 1$、$dQ^i/dt = \dot q^i$ なので、角括弧の中身は $L(q(t), \dot q(t), t+s)$ です。$s$ で微分して $s = 0$ と置くと $\partial L/\partial t$ となり、仮定よりこれは $0$ です。$0 = dF/dt$ は $F = 0$ で満たされるので、準対称性の条件（）が成り立ちます。生成子は $\tau = 1$、$\zeta^i = 0$ なので保存量は $$ I = 0 - h\cdot 1 - 0 = -h $$ です。$-h$ が保存することと $h$ が保存することは同値なので、$h$ が保存量です。これはの後半と一致します。 ### 5.1. $h$ はいつ $T + U$ か学部の講義では「時間並進対称性からエネルギー $T + U$ が保存する」と言われますが、正確には保存するのは $h$ であって $T + U$ ではありません。両者が一致するには条件が要ります。関数 $f(\dot q^1, \ldots, \dot q^n)$ が $\dot q$ について $k$ 次同次、すなわち任意の $\lambda > 0$ について $f(\lambda \dot q) = \lambda^k f(\dot q)$ を満たし、かつ $C^1$ 級ならば $$ \sum_{i=1}^{n} \dot q^i \frac{\partial f}{\partial \dot q^i}(\dot q) = k\, f(\dot q) $$ が成り立つ。 $f(\lambda\dot q) = \lambda^k f(\dot q)$ の両辺を $\lambda$ で微分します。左辺は連鎖律より $\sum_i \dot q^i \dfrac{\partial f}{\partial \dot q^i}(\lambda\dot q)$、右辺は $k\lambda^{k-1}f(\dot q)$ です。$\lambda = 1$ と置くと主張の式を得ます。ラグランジアンが $L = T - U$ の形に分解され、次の 2 条件を満たすとする。 1. $U = U(q, t)$ は速度 $\dot q$ に依存しない。 2. $T = T(q, \dot q, t)$ は $\dot q$ について 2 次同次である。すなわち $T(q, \lambda\dot q, t) = \lambda^2 T(q,\dot q,t)$。このとき $h = T + U$ である。条件 1 より $\partial L/\partial \dot q^i = \partial T/\partial \dot q^i$ です。条件 2 と（$k = 2$、$q$ と $t$ は固定して $\dot q$ の関数とみる）より $$ \sum_i \dot q^i \frac{\partial T}{\partial \dot q^i} = 2T $$ です。したがってより $$ h = \sum_i \dot q^i \frac{\partial L}{\partial \dot q^i} - L = 2T - (T - U) = T + U $$ となります。条件 2 は無条件に成り立つものではありません。一般化座標からデカルト座標への変換 $\boldsymbol{r}_a = \boldsymbol{r}_a(q)$ が時間に陽に依存しない（**スクレロノミック**な）場合には、$\dot{\boldsymbol{r}}_a = \sum_i \dfrac{\partial \boldsymbol{r}_a}{\partial q^i}\dot q^i$ なので $$ T = \sum_a \frac{m_a}{2}|\dot{\boldsymbol{r}}_a|^2 = \frac{1}{2}\sum_{i,j} a_{ij}(q)\,\dot q^i \dot q^j $$ となり、確かに 2 次同次です。しかし変換が時間に陽に依存する（**レオノミック**な）場合には $\dot q$ の 1 次項や 0 次項が現れ、条件 2 が壊れます。次がその典型例です。水平面内で原点まわりに一定角速度 $\omega$ で回転している真っ直ぐな棒を考えます。棒の上を質量 $m$ のビーズが摩擦なく滑ります。棒は外部のモーターで駆動されており、$\omega$ は何が起きても一定に保たれるものとします。ビーズの原点からの距離を $r$ とすると、ラボ系での位置は $\boldsymbol{r} = (r\cos\omega t,\ r\sin\omega t,\ 0)$ です。これは $t$ に陽に依存する（レオノミックな）変換です。速度を計算すると $$ \dot{\boldsymbol{r}} = (\dot r\cos\omega t - r\omega\sin\omega t,\ \dot r \sin\omega t + r\omega\cos\omega t,\ 0) $$ なので、三角関数の基本関係を使って $$ |\dot{\boldsymbol{r}}|^2 = \dot r^2 + r^2\omega^2 $$ です。重力は水平面に垂直で仕事をしないので、ポテンシャルは $0$ と取れます。よって $$ L = \frac{m}{2}\big( \dot r^2 + r^2\omega^2 \big). $$ $L$ は $t$ に陽に依存しないので、より $h$ は保存します。実際に計算すると $p_r = m\dot r$ なので $$ h = \dot r\,(m\dot r) - \frac{m}{2}(\dot r^2 + r^2\omega^2) = \frac{m}{2}\dot r^2 - \frac{m}{2}\omega^2 r^2 $$ です。一方、運動エネルギーは $T = \dfrac{m}{2}(\dot r^2 + r^2\omega^2)$、ポテンシャルは $U = 0$ ですから $$ h = T - m\omega^2 r^2 \ne T + U . $$ ずれの原因は、$T$ が $\dot r$ について 2 次同次でないこと（$r^2\omega^2$ という 0 次の項がある）です。の条件 2 が破れています。差が本当に効いていることを確かめます。オイラー–ラグランジュ方程式は $$ \frac{d}{dt}(m\dot r) = \frac{\partial L}{\partial r} = m\omega^2 r \quad\Longrightarrow\quad \ddot r = \omega^2 r $$ で、一般解は $r(t) = A\cosh\omega t + B\sinh\omega t$ です。簡単のため $A > 0$、$B = 0$ の解を取ると $\dot r = A\omega\sinh\omega t$ なので $$ h = \frac{m}{2}A^2\omega^2\sinh^2\omega t - \frac{m}{2}\omega^2 A^2\cosh^2\omega t = -\frac{m}{2}A^2\omega^2 $$ （双曲線関数の関係 $\cosh^2 x - \sinh^2 x = 1$ を使いました）で、確かに定数です。ところが $$ T = \frac{m}{2}A^2\omega^2\big(\sinh^2\omega t + \cosh^2\omega t\big) = \frac{m}{2}A^2\omega^2\cosh 2\omega t $$ は時間とともに指数関数的に増大します。ビーズは外へ飛ばされながら加速していきます。増えたエネルギーはモーターが供給しています。棒の回転を一定に保つために外部が仕事をしているので、系だけを見れば力学的エネルギーは保存しないのが当然です。それでも $h$ という組み合わせは保存する、というのがこの例の教訓です。 ## 6. 対称性原理の射程ネーターの定理は古典力学の技法にとどまりません。この節では、この原理がどこまで届くかを短く見ておきます。定理の証明では $\partial_s|_{s=0}$ という微分を取りました。したがって**変換は連続パラメータを持たなければなりません**。空間反転 $\boldsymbol{r}\mapsto -\boldsymbol{r}$ や時間反転 $t\mapsto -t$ のような離散対称性は、恒等変換から連続的につながっていないので、この定理からは保存量を生みません。離散対称性は古典力学では解の対称性（ある解を写すと別の解になる）という形でしか効きませんが、量子力学では状態にパリティという保存する量子数を与えます。古典と量子で離散対称性の役割が異なるのはこのためです。対称性でなくても、作用を定数倍するだけの変換は運動方程式を保ちます。ケプラー問題 $L = \dfrac{m}{2}|\dot{\boldsymbol{r}}|^2 + \dfrac{k}{|\boldsymbol{r}|}$ で $\boldsymbol{r}\mapsto \lambda\boldsymbol{r}$、$t\mapsto\lambda^{3/2}t$ と取ると、$|\dot{\boldsymbol{r}}|\mapsto \lambda/\lambda^{3/2} = \lambda^{-1/2}$ 倍なので運動エネルギーは $\lambda^{-1}$ 倍、ポテンシャル項も $\lambda^{-1}$ 倍で、$L\mapsto \lambda^{-1}L$、$dt\mapsto\lambda^{3/2}dt$ より作用は $\lambda^{1/2}$ 倍になります。作用が定数倍されるだけなので変分の零点は変わらず、解は解に写ります。ただし作用は不変ではないので保存量は出ません。代わりに得られるのは軌道どうしの関係、すなわち「軌道の大きさを $\lambda$ 倍すると周期が $\lambda^{3/2}$ 倍になる」というケプラーの第三法則 $T^2 \propto a^3$（）です。対称性が保存量を生むとは限らず、スケーリング則を生むこともあります。逆向きの問い、「保存量があれば対称性があるか」も自然です。ハミルトン形式では答えははっきりしています。保存量 $G$ は、ポアソン括弧 $\{\cdot, G\}$ を通じて相空間上の一径数変換群を生成し、それがハミルトニアンの対称性になります。「$G$ が保存量であること」と「$G$ がハミルトニアンとポアソン可換であること」が同値になるのがその出発点です（）。詳しくは [ハミルトン形式の力学](/physics/mechanics/hamiltonian-mechanics) と [正準変換とポアソン括弧](/physics/mechanics/canonical-transformations) を参照してください。その際に現れる対称性が、この記事で扱った点変換（座標だけを写す変換）とは限らないことに注意してください。ケプラー問題のラプラス–ルンゲ–レンツベクトルは保存量ですが、それが生成する変換は位置と運動量を混ぜる変換であり、配位空間の変換としては書けません。こうしたものを**隠れた対称性**と呼びます。ラプラス–ルンゲ–レンツベクトルの保存の証明と意味についてはおよび [惑星の運動と中心力](/physics/mechanics/central-forces) を参照してください。 **場の理論へ。** 有限自由度の力学から連続体・場へ移ると、ネーターの定理は保存量ではなく**保存流**を与えます。「保存する量が空間の各点に分布していて、局所的な連続の方程式 $\partial_t \rho + \nabla\cdot \boldsymbol{j} = 0$ に従う」という形になり、保存の内容が「総量が変わらない」から「どこかで減ったなら必ず隣へ流れた」へと強くなります。電荷保存則はこの形で現れます。導出は Appendix にまとめました。素粒子物理の標準模型は、まさにこの原理の上に構築されています。どの粒子がどの力を感じるかは、ラグランジアンにどんな対称性を課すかでほぼ決まります。対称性を先に決め、ラグランジアンを後から作る。これは 20 世紀後半の理論物理の標準的な手順になりました。ネーターの定理は、その手順が意味を持つ理由を与えています。 ## 7. 演習平面上を運動する質量 $m$ の質点が、原点からの距離だけで決まるポテンシャル $U(r)$ の中にあるとします。極座標でのラグランジアンは $$ L = \frac{m}{2}\big(\dot r^2 + r^2\dot\theta^2\big) - U(r) $$ です。 1. 循環座標を見つけ、対応する保存量を書き、それが角運動量に一致することを確かめてください。 2. $h$ を計算し、この場合は $h = T + U$ となることをで確認してください。 **1.** $L$ に $\theta$ は現れず $\dot\theta$ だけが現れるので $\partial L/\partial\theta = 0$、すなわち $\theta$ は循環座標です（）。より $$ p_\theta = \frac{\partial L}{\partial \dot\theta} = m r^2\dot\theta $$ が保存します。デカルト座標で $x = r\cos\theta$、$y = r\sin\theta$ と書くと $$ x\dot y - y\dot x = r\cos\theta\,(\dot r\sin\theta + r\dot\theta\cos\theta) - r\sin\theta\,(\dot r\cos\theta - r\dot\theta\sin\theta) = r^2\dot\theta $$ なので、$p_\theta = m(x\dot y - y\dot x) = J_z$ です。これはで $z$ 軸まわりの回転から得た角運動量に他なりません。 **2.** $p_r = m\dot r$、$p_\theta = mr^2\dot\theta$ なので $$ h = \dot r (m\dot r) + \dot\theta (mr^2\dot\theta) - \left[ \frac{m}{2}(\dot r^2 + r^2\dot\theta^2) - U(r) \right] = \frac{m}{2}\big(\dot r^2 + r^2\dot\theta^2\big) + U(r) $$ となり、$h = T + U$ です。で確認すると、$U$ は速度を含まないので条件 1 が成立し、$T$ は $(\dot r, \dot\theta)$ を $\lambda$ 倍すると $\lambda^2$ 倍になるので条件 2 も成立します。極座標への変換 $x = r\cos\theta$ が $t$ を含まない（スクレロノミック）ことが効いています。との違いはここです。相互作用が相対位置だけで決まる $N$ 質点系 $$ L = \sum_{a=1}^{N}\frac{m_a}{2}|\dot{\boldsymbol{r}}_a|^2 - U\big(\{\boldsymbol{r}_a - \boldsymbol{r}_b\}\big) $$ に、ガリレイ変換の族 $\boldsymbol{R}_a(s) = \boldsymbol{r}_a + s\,t\,\boldsymbol{n}$（$\boldsymbol{n}$ は固定した単位ベクトル）を作用させます。 1. これが厳密な対称性ではなく準対称性であることを示し、$F$ を求めてください。 2. 保存量を求め、その物理的意味を述べてください。 **1.** ポテンシャルは相対位置 $\boldsymbol{r}_a - \boldsymbol{r}_b$ だけの関数で、すべての質点が同じ $s\,t\,\boldsymbol{n}$ だけずれるので相対位置は変わらず、$U$ は $s$ によりません。速度は $\dot{\boldsymbol{R}}_a = \dot{\boldsymbol{r}}_a + s\,\boldsymbol{n}$ なので $$ \sum_a \frac{m_a}{2}|\dot{\boldsymbol{r}}_a + s\boldsymbol{n}|^2 = \sum_a \frac{m_a}{2}\Big( |\dot{\boldsymbol{r}}_a|^2 + 2s\,\dot{\boldsymbol{r}}_a\cdot\boldsymbol{n} + s^2 \Big) $$ です（$|\boldsymbol{n}| = 1$ を使いました）。$s$ で微分して $s = 0$ と置くと $$ \frac{\partial}{\partial s}\bigg|_{s=0} L = \sum_a m_a \dot{\boldsymbol{r}}_a\cdot\boldsymbol{n} \ne 0 $$ なので厳密な対称性ではありません。しかしこれは全微分の形に書けます。全質量を $M = \sum_a m_a$、重心を $\boldsymbol{R}_{\mathrm{cm}} = \dfrac{1}{M}\sum_a m_a\boldsymbol{r}_a$ とすると $$ \sum_a m_a\dot{\boldsymbol{r}}_a\cdot\boldsymbol{n} = \frac{d}{dt}\left( \sum_a m_a\boldsymbol{r}_a\cdot\boldsymbol{n} \right) = \frac{d}{dt}\big( M\boldsymbol{R}_{\mathrm{cm}}\cdot\boldsymbol{n} \big) $$ なので、$F = M\boldsymbol{R}_{\mathrm{cm}}\cdot\boldsymbol{n}$ と取ればの準対称性の条件が満たされます。 **2.** 生成子は $\boldsymbol{\zeta}_a = t\,\boldsymbol{n}$、一般化運動量は $m_a\dot{\boldsymbol{r}}_a$ なのでより $$ I = \sum_a m_a\dot{\boldsymbol{r}}_a\cdot(t\boldsymbol{n}) - M\boldsymbol{R}_{\mathrm{cm}}\cdot\boldsymbol{n} = \big( t\,\boldsymbol{P} - M\boldsymbol{R}_{\mathrm{cm}} \big)\cdot\boldsymbol{n} $$ が保存します。$\boldsymbol{n}$ は任意なのでベクトル $t\boldsymbol{P} - M\boldsymbol{R}_{\mathrm{cm}}$ の 3 成分すべてが保存します。より $\boldsymbol{P}$ も保存するので、$\boldsymbol{R}_{\mathrm{cm}}(t) = \boldsymbol{R}_{\mathrm{cm}}(0) + (\boldsymbol{P}/M)\,t$ となり、これは「重心が等速直線運動する」という主張です。なお $F = 0$ に限定していたらこの保存量は得られませんでした。と同じく、準対称性まで許すの定式化が必要になる例です。一様磁場 $\boldsymbol{B} = B\boldsymbol{e}_z$（$B$ は定数）の中を運動する電荷 $e$、質量 $m$ の荷電粒子のラグランジアンは、ベクトルポテンシャルを $\boldsymbol{A}(\boldsymbol{r}) = \tfrac12\boldsymbol{B}\times\boldsymbol{r}$、スカラーポテンシャルを $0$ に取ると $$ L = \frac{m}{2}|\dot{\boldsymbol{r}}|^2 + e\,\dot{\boldsymbol{r}}\cdot\boldsymbol{A}(\boldsymbol{r}) $$ と書けます。$z$ 軸まわりの回転がこの $L$ の対称性であることを確かめ、対応する保存量を $x, y, \dot x, \dot y$ で書き下してください。 $z$ 軸まわりの角 $s$ の回転を $R(s)$ とします。$\boldsymbol{B}$ は $z$ 軸方向なので $R(s)\boldsymbol{B} = \boldsymbol{B}$ です。回転行列 $R$ は行列式が $1$ の直交行列なので外積と可換、すなわち $R(\boldsymbol{u}\times\boldsymbol{v}) = (R\boldsymbol{u})\times(R\boldsymbol{v})$ が成り立ちます。よって $$ \boldsymbol{A}(R\boldsymbol{r}) = \tfrac12\,\boldsymbol{B}\times (R\boldsymbol{r}) = \tfrac12\,(R\boldsymbol{B})\times(R\boldsymbol{r}) = R\big( \tfrac12 \boldsymbol{B}\times\boldsymbol{r} \big) = R\,\boldsymbol{A}(\boldsymbol{r}) $$ です。したがって変換後の相互作用項は、$R$ が内積を保つことから $$ e\,(R\dot{\boldsymbol{r}})\cdot\boldsymbol{A}(R\boldsymbol{r}) = e\,(R\dot{\boldsymbol{r}})\cdot(R\boldsymbol{A}(\boldsymbol{r})) = e\,\dot{\boldsymbol{r}}\cdot\boldsymbol{A}(\boldsymbol{r}) $$ で不変です。運動エネルギーも $|R\dot{\boldsymbol{r}}| = |\dot{\boldsymbol{r}}|$ より不変なので、$F = 0$ の厳密な対称性です。生成子はと同じく $\boldsymbol{\zeta} = \boldsymbol{e}_z\times\boldsymbol{r}$ です。一般化運動量は $$ \boldsymbol{p} = \frac{\partial L}{\partial \dot{\boldsymbol{r}}} = m\dot{\boldsymbol{r}} + e\boldsymbol{A} $$ （これは $m\dot{\boldsymbol{r}}$ ではないことに注意してください）なので、より $$ I = \boldsymbol{p}\cdot(\boldsymbol{e}_z\times\boldsymbol{r}) = \boldsymbol{e}_z\cdot(\boldsymbol{r}\times\boldsymbol{p}) $$ が保存します（スカラー三重積の巡回置換を使いました）。$\boldsymbol{r}\times m\dot{\boldsymbol{r}}$ の $z$ 成分は $m(x\dot y - y\dot x)$ です。もう一方は、ベクトル三重積の公式 $\boldsymbol{u}\times(\boldsymbol{v}\times\boldsymbol{w}) = \boldsymbol{v}(\boldsymbol{u}\cdot\boldsymbol{w}) - \boldsymbol{w}(\boldsymbol{u}\cdot\boldsymbol{v})$ を使って $$ \boldsymbol{r}\times e\boldsymbol{A} = \frac{eB}{2}\,\boldsymbol{r}\times(\boldsymbol{e}_z\times\boldsymbol{r}) = \frac{eB}{2}\Big( \boldsymbol{e}_z |\boldsymbol{r}|^2 - \boldsymbol{r}\,(\boldsymbol{r}\cdot\boldsymbol{e}_z) \Big) $$ なので、その $z$ 成分は $\dfrac{eB}{2}\big( (x^2+y^2+z^2) - z^2 \big) = \dfrac{eB}{2}(x^2+y^2)$ です。まとめると $$ I = m(x\dot y - y\dot x) + \frac{eB}{2}\big( x^2 + y^2 \big) $$ が保存します。力学的角運動量 $m(x\dot y - y\dot x)$ だけでは保存しない点が重要です。実際、磁場中の粒子は $xy$ 平面内で円運動しますが、円の中心が原点になければ原点まわりの力学的角運動量は振動します。それを補正する項が第 2 項です。 $G(q,t)$ を $C^2$ 級の任意の関数とし、$L' = L + \dfrac{dG}{dt}$ と置きます（ここで $\dfrac{dG}{dt} = \sum_i \dfrac{\partial G}{\partial q^i}\dot q^i + \dfrac{\partial G}{\partial t}$ です）。$L$ と $L'$ は同じオイラー–ラグランジュ方程式を与えることが知られています（）。いま、時間を変えない一径数変換族 $Q(s;q,t)$ が生成子 $\zeta$ と関数 $F$ とともに $L$ の準対称性であるとします。 1. 同じ変換族が $L'$ の準対称性であることを示し、対応する $F'$ を求めてください。 2. $L$ から作ったネーター保存量と $L'$ から作ったネーター保存量が一致することを示してください。 **1.** の左辺は $L$ について線形なので、$L'$ に対する $\partial_s|_{s=0}$ は $L$ の分と $dG/dt$ の分の和になります。$dG/dt$ の分を計算します。変換後の $G$ の値は $G(Q(s;q(t),t), t)$ であり、変換された曲線に沿ったその全微分の $s$ 微分は、の証明と同じくシュワルツの定理で $s$ 微分と $t$ 微分を交換して $$ \frac{\partial}{\partial s}\bigg|_{s=0}\frac{d}{dt}G\big(Q(s;q(t),t),t\big) = \frac{d}{dt}\left( \frac{\partial}{\partial s}\bigg|_{s=0} G\big(Q(s;q(t),t),t\big) \right) = \frac{d}{dt}\left( \sum_i \frac{\partial G}{\partial q^i}\zeta^i \right) $$ となります。したがって $$ \frac{\partial}{\partial s}\bigg|_{s=0} L' = \frac{dF}{dt} + \frac{d}{dt}\left( \sum_i \frac{\partial G}{\partial q^i}\zeta^i \right) = \frac{d}{dt}\left( F + \sum_i \frac{\partial G}{\partial q^i}\zeta^i \right) $$ なので、$L'$ もこの変換族について準対称性であり $$ F' = F + \sum_i \frac{\partial G}{\partial q^i}\zeta^i $$ と取れます。 **2.** $L'$ の一般化運動量は $$ p'_i = \frac{\partial L'}{\partial \dot q^i} = \frac{\partial L}{\partial \dot q^i} + \frac{\partial}{\partial \dot q^i}\left( \sum_j \frac{\partial G}{\partial q^j}\dot q^j + \frac{\partial G}{\partial t} \right) = p_i + \frac{\partial G}{\partial q^i} $$ です（$G$ は $\dot q$ を含まないので $\partial G/\partial q^j$ も $\partial G/\partial t$ も $\dot q$ に依存しません）。よっての公式より $$ I' = \sum_i p'_i \zeta^i - F' = \sum_i \left( p_i + \frac{\partial G}{\partial q^i} \right)\zeta^i - F - \sum_i \frac{\partial G}{\partial q^i}\zeta^i = \sum_i p_i \zeta^i - F = I $$ となり、両者は一致します。つまりネーター保存量は、ラグランジアンの完全微分だけの不定性に依存しません。物理的に意味のある量であるためにはこの性質が必要であり、それが成り立っているわけです。なお時間変換 $\tau$ を含む一般の場合（）にも同じ結論が成り立ちます。その場合は $h' = h - \partial G/\partial t$ となり、$F' = F + \sum_i (\partial G/\partial q^i)\zeta^i + (\partial G/\partial t)\tau$ となって、やはり $I' = I$ が示せます。 ## 参考文献 - E. Noether, "Invariante Variationsprobleme", *Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse* (1918), 235–257. 英訳は M. A. Tavel によるものが [arXiv:physics/0503066](https://arxiv.org/abs/physics/0503066) で読めます。原論文。第一定理と第二定理が区別して述べられています。 - L. D. ランダウ・E. M. リフシッツ『力学（増訂第 3 版）』東京図書 — 第 1 章・第 2 章。対称性から保存則を導く筋道を、最短の記述で通しています。エネルギー・運動量・角運動量の扱いはこの記事の §4・§5 に対応します。 - H. Goldstein, C. Poole, J. Safko, *Classical Mechanics*, 3rd ed., Addison-Wesley, 2002 — 第 2 章（保存則と対称性）、第 13 章（連続体・場に対するネーターの定理）。準対称性やヤコビ積分の扱いが丁寧です。 - V. I. Arnold, *Mathematical Methods of Classical Mechanics*, 2nd ed., Springer, 1989 — 第 4 章。ネーターの定理を多様体上の変分問題として、仮定を明示した形で定式化しています。 - Y. Kosmann-Schwarzbach, *The Noether Theorems: Invariance and Conservation Laws in the Twentieth Century*, Springer, 2011. 原論文の英訳と、成立の歴史的背景・その後の受容の詳細な検討。 ## Appendix: 場の理論におけるネーターの定理 **設定。** 有限個の座標 $q^i(t)$ の代わりに、時空の各点で値を取る場 $\phi(x)$（$x = (t, \boldsymbol{x})$）を考えます。ラグランジアン密度 $\mathcal{L}(\phi, \partial_\mu\phi)$ に対して作用は $S = \displaystyle\int \mathcal{L}\, d^4x$ で、端点固定の変分から場のオイラー–ラグランジュ方程式 $$ \partial_\mu\!\left( \frac{\partial\mathcal{L}}{\partial(\partial_\mu\phi)} \right) = \frac{\partial\mathcal{L}}{\partial\phi} $$ が得られます（$\mu$ について和を取ります）。有限自由度の場合との対応は、添字 $i$ が連続変数 $\boldsymbol{x}$ に、$d/dt$ が $\partial_\mu$ に置き換わったものです。 **内部対称性と保存流。** 複素スカラー場 $\phi$ について $\mathcal{L} = \partial_\mu\bar\phi\,\partial^\mu\phi - m^2\bar\phi\phi$ を取ります。位相変換の族 $\phi \mapsto e^{is}\phi$、$\bar\phi\mapsto e^{-is}\bar\phi$ を考えると、$\mathcal{L}$ の各項は $\bar\phi$ と $\phi$ を 1 つずつ含むので位相因子が打ち消し合い、$\mathcal{L}$ は $s$ によらず不変です。生成子は $\delta\phi = i\phi$、$\delta\bar\phi = -i\bar\phi$ です。不変性を $s$ で微分すると $$ 0 = \frac{\partial\mathcal{L}}{\partial\phi}\delta\phi + \frac{\partial\mathcal{L}}{\partial(\partial_\mu\phi)}\partial_\mu(\delta\phi) + \frac{\partial\mathcal{L}}{\partial\bar\phi}\delta\bar\phi + \frac{\partial\mathcal{L}}{\partial(\partial_\mu\bar\phi)}\partial_\mu(\delta\bar\phi) $$ です。ここで場の方程式を使って $\partial\mathcal{L}/\partial\phi$ を $\partial_\mu(\partial\mathcal{L}/\partial(\partial_\mu\phi))$ で置き換えると、有限自由度の場合とまったく同じ積の微分公式により $$ 0 = \partial_\mu j^\mu, \qquad j^\mu = \frac{\partial\mathcal{L}}{\partial(\partial_\mu\phi)}\,\delta\phi + \frac{\partial\mathcal{L}}{\partial(\partial_\mu\bar\phi)}\,\delta\bar\phi $$ を得ます。この $\mathcal{L}$ では $\partial\mathcal{L}/\partial(\partial_\mu\phi) = \partial^\mu\bar\phi$ なので $$ j^\mu = i\big( \phi\,\partial^\mu\bar\phi - \bar\phi\,\partial^\mu\phi \big) $$ です。$\partial_\mu j^\mu = 0$ を成分で書くと $\partial_t j^0 + \nabla\cdot\boldsymbol{j} = 0$、すなわち連続の方程式です。 **保存量への還元。** 空間全体で積分し、場が無限遠で十分速く減衰するとすると、ガウスの発散定理より $$ \frac{d}{dt}\int j^0\, d^3x = -\int \nabla\cdot\boldsymbol{j}\, d^3x = 0 $$ となり、$Q = \displaystyle\int j^0\,d^3x$ が保存します。これが電荷です。有限自由度の場合の「保存量が一つ」に対応するのは、場の理論では「保存流が一本」であり、そこから積分して保存電荷が出ます。局所的な連続の方程式のほうが情報が多く、「総量は変わらないが、離れた 2 点で同時に消えたり現れたりする」ことを禁じています。時空並進 $x^\mu \mapsto x^\mu + s\,a^\mu$ に対して同じ手順を踏むと、保存流はエネルギー・運動量テンソル $T^{\mu\nu}$ になり、$\partial_\mu T^{\mu\nu} = 0$ が得られます。その $\nu = 0$ 成分の空間積分が全エネルギー、$\nu = i$ 成分の空間積分が全運動量です。との場への一般化がこれにあたります。