文献あり

ゲージ対称性とは何か（１）: ネーターの第１定理

3991

ゲージ対称性は拘束条件を導く

ゲージ対称性に関して議論します。

ゲージ対称性はおよそ物理学で最も大切な対称性です。"ゲージ（gauge）"と言う名前はH.Weylにより一般相対性理論の文脈で用いられました（Ref.[1]P218参照）。ゲージとは"長さの尺度"の意味です。もともと一般相対論における座標の取り方の任意性を指す言葉でした。その後、一般相対論＝重力の理論だけではなく、電磁気力・弱い力・強い力の理論すべてがこのような任意性をその内部空間に持つことがわかりました。そのため現在ではこれらの理論の（内部）空間における座標の取り方の任意性を総称してゲージ対称性と呼びます。

しかし、この対称性は時に「対称性ではない」と言われます。「ゲージ対称性は理論の冗長性（redundancy）である」と言われることもあります。これは、ゲージ対称性の存在する系では、理論に内在する拘束条件が存在することを表しています（Ref.[2]"Introduction"参照）

これからいくつかの記事にわたり「拘束を導く冗長性としてのゲージ対称性」を語りたいと思います。

本記事では、かなり一般的な変分に対する作用の変化に関する公式を導きます。
次に、対称性と保存量の関係を与える
** ネーターの第１定理 **
に関してお話したいと思います。
ゲージ対称性と直接関わるのは次回の第２定理です。
（長くなるので記事を分けました）

ネーターの定理を理解するには、力学の一形式であるラグランジュ形式、およびハミルトン形式に関して多少知っている必要があります。別の記事
力学の形式
に、これらの形式に関して簡単に書いてありますので、よろしければご参照ください。

本記事と次の記事は点粒子におけるネーターの第１定理・第２定理の説明です。
場の理論の定理に関しては以下の記事をご参照ください：

第１定理：ネーターカレントの導出・Gell-Mann-Levyの方法
第２定理：場の理論におけるネーターの第2定理

Notationは以下です：

位置は $q^{i}$ 、速度は ${\dot{q}}^{i}$ （ドットは時間微分）、運動量は $p_{i}$ とする。 $i$ は空間成分のindexであり、空間次元が $N$ なら $i = 1, \dots, N$
ある項に同じindexが2つ存在するとき（ $q^{i} p_{i}$ など）、そのindexに関して和をとっている。
本来indexがついている変数に対しそれを省略したときは、その変数の集合を表す。例えば $q^{i}$ に対し $q$ と書いたら ${q^{i}}_{i = 1, \dots}$ を表す。

どのようにネーターの定理を導くか

ネーターの定理を導くには、位置座標のみの変分に対するラグランジアンの不変性から導くのが楽で意味もわかりやすいです（こちらの記事またはRef.[3]参照）。
しかしこれは、次の記事で証明する第２定理を導くには不十分です。
ここではRef.[1]に従い「時間の端点でも位置座標の変分を変化させ、かつ時刻の変分も考える」変分を考えます。

以下の議論はRef.[1]「第３章　作用積分の不変性と保存則」に則っています。もう少しオリジナリティを出すべきとも思うのですが、ヘタに議論を変えるとかえってわからなくなりそうだし間違えそうなので、多くの部分の議論はRef.[1]そのままです。ご容赦ください。

ちなみにRef.[4]にはゲージ場の理論におけるネーターの第２定理が載っています。Ref.[5]はRef.[1]の議論を微分形式を用いて展開したものです。コメントまで。

変分に対する作用の変換性

最初に、位置座標と時刻の変分に対する作用の変化を導きます。これはネーターの第１・第２定理の証明に重要です。
ここでは非常に一般的な変分を考えます。オイラー・ラグランジュ方程式（別記事力学の形式参照。以後E-L eqs.と略す）の導出における変分とは違い、積分の端における座標の変分 $δ q (t)$ も $δ t (t)$ もゼロではないし、端点自体も変化させます。ラグランジアンに関しては、一般には $t$ にあらわに依存してもいいですが、ここでは $q, \dot{q}$ を通してのみ $t$ に依存するとします。

時刻 $t$ および位置座標 $q^{i} (t)$ ( $i$ は次元のindexで $i = 1, \dots, N$ )に対する次の変換
$\begin{matrix} (1) & {\begin{cases} q^{i} (t) \to q^{' i} := q^{i} (t) + δ q^{i} (t, ϵ) \\ t \to t^{'} := t + δ t (t, ϵ) \end{cases} \end{matrix}$
を考える。 $δ q^{i} (t, ϵ)$ および $δ t (t, ϵ)$ は微小量 $ϵ$ に依存した微小な変分関数。このとき
$\begin{matrix} (2) & S [q, t] := \int_{t_{1}}^{t_{2}} d t L (q (t), \dot{q} (t)) \end{matrix}$
の変分は、その1次まで考慮すると
$\begin{aligned} δ S [q, t] & = \int_{t_{1}}^{t_{2}} d t [(\frac{\partial L}{\partial q^{i}} - \frac{d}{d t} (\frac{\partial L}{\partial {\dot{q}}^{i}})) \bar{δ} q^{i} + \frac{d}{d t} (\frac{\partial L}{\partial {\dot{q}}^{i}} \bar{δ} q^{i} + L δ t)] \\ (3) & = \int_{t_{1}}^{t_{2}} d t [(\frac{\partial L}{\partial q^{i}} - \frac{d}{d t} (\frac{\partial L}{\partial {\dot{q}}^{i}})) (δ q - \dot{q} δ t) + \frac{d}{d t} (\frac{\partial L}{\partial {\dot{q}}^{i}} δ q^{i} - (\frac{\partial L}{\partial {\dot{q}}^{i}} {\dot{q}}^{i} - L) δ t)] \end{aligned}$
である。 $L (q (t), \dot{q} (t))$ はラグランジアン（Lagrangian）、 $S [q, t]$ は作用（action）と呼ばれる。 $\bar{δ} q$ は時間の変分を止めて $q$ の変分のみ行うことを表す。

変換Eq.(1)を作用に施します。このとき
$\begin{aligned} S (q^{'}, t^{'}) & = \int_{t_{1}^{'}}^{t_{2}^{'}} L (q^{'} (t^{'}), {\dot{q}}^{'} (t^{'})) d t^{'} \\ = \int_{t_{1}^{'}}^{t_{2}^{'}} L^{'} d t^{'} \\ L^{'} & := L (q^{'} (t^{'}), {\dot{q}}^{'} (t^{'})) \\ ∴ δ S (q, t) & = S (q^{'}, t^{'}) - S (q, t) \\ = \int_{t_{1}}^{t_{2}} d t (L^{'} \frac{d t^{'}}{d t} - L) \end{aligned}$
です。ここで
$\frac{d t^{'}}{d t} = 1 + \frac{d}{d t} δ t$
なので
$\begin{aligned} δ S (q^{'}, t^{'}) & = \int_{t_{1}}^{t_{2}} d t (L^{'} \frac{d t^{'}}{d t} - L) \\ = \int_{t_{1}}^{t_{2}} d t (L^{'} - L + L \frac{d}{d t} δ t) \end{aligned}$
を得ます。
$L^{'} = L (q^{'} (t^{'}), {\dot{q}}^{'} (t^{'}))$ を $δ q^{i}, δ {\dot{q}}^{i}, δ t$ で展開しましょう。ただし
$δ q^{i} (t) := q^{' i} (t^{'}) - q^{i} (t)$
は2つの違う時刻で定義されているため、
$δ {\dot{q}}^{i} \neq \frac{d}{d t} δ q^{i}$
に注意して計算する必要があります。そこで、 $t$ を固定した変分 $\bar{δ} q^{i}$ を定義します：
$\bar{δ} q^{i} (t) := q^{' i} (t) - q^{i} (t)$
すると
$\bar{δ} {\dot{q}}^{i} (t) = \frac{d}{d t} \bar{δ} q^{i} (t)$
です。ちょっとした計算ののち
$δ {\dot{q}}^{i} (t) = \bar{δ} {\dot{q}}^{i} (t) + {\ddot{q}}^{i} (t) δ t$
が成立することがわかります（右辺第１項が $t$ の変化を止めて $q$ を変化させた部分、第２項が $q$ の変化を止めて $t$ を変化させた部分。2次以降は無視）。これらより
$\begin{aligned} L^{'} & = L + \frac{\partial L}{\partial q^{i}} δ q^{i} + \frac{\partial L}{\partial {\dot{q}}^{i}} δ {\dot{q}}^{i} \\ = L + \frac{\partial L}{\partial q^{i}} (\bar{δ} q^{i} (t) + {\dot{q}}^{i} (t) δ t) + \frac{\partial L}{\partial {\dot{q}}^{i}} (\bar{δ} {\dot{q}}^{i} (t) + {\ddot{q}}^{i} (t) δ t) \\ = L + \frac{\partial L}{\partial q^{i}} \bar{δ} q^{i} + \frac{\partial L}{\partial {\dot{q}}^{i}} \bar{δ} {\dot{q}}^{i} + \frac{d L}{d t} δ t \end{aligned}$
がわかります。以上より
$\begin{aligned} δ S (q, t) & = \int_{t_{1}}^{t_{2}} d t (L^{'} - L + L \frac{d}{d t} δ t) \\ = \int_{t_{1}}^{t_{2}} d t (\frac{\partial L}{\partial q^{i}} \bar{δ} q^{i} + \frac{\partial L}{\partial {\dot{q}}^{i}} \bar{δ} {\dot{q}}^{i} + \frac{d L}{d t} δ t + L \frac{d}{d t} δ t) \\ = \int_{t_{1}}^{t_{2}} d t [(\frac{\partial L}{\partial q^{i}} - \frac{d}{d t} (\frac{\partial L}{\partial {\dot{q}}^{i}})) \bar{δ} q^{i} + \frac{d}{d t} (\frac{\partial L}{\partial {\dot{q}}^{i}} \bar{δ} q^{i} + L δ t)] \end{aligned}$
$δ q = \bar{δ} q + \dot{q} δ t$ （1次まで考慮）を代入して
$δ S [q, t] = \int_{t_{1}}^{t_{2}} d t [(\frac{\partial L}{\partial q^{i}} - \frac{d}{d t} (\frac{\partial L}{\partial {\dot{q}}^{i}})) (δ q - \dot{q} δ t) + \frac{d}{d t} (\frac{\partial L}{\partial {\dot{q}}^{i}} δ q^{i} - (\frac{\partial L}{\partial {\dot{q}}^{i}} {\dot{q}}^{i} - L) δ t)]$
これで上記公式１が導けました $_{◼}$

ネーターの第１定理

ネーターの第１定理に関して述べます。この定理を言葉で述べると

ネーターの第１定理の大雑把な表現

時刻または座標の変換によりラグランジアンが不変なとき、保存量（=時刻に依存しない量）が存在する

と言えます。

これを導くのは簡単です。
もし $S [q, t]$ が任意の積分領域 $[t_{1}, t_{2}]$ において上記変換の下で不変なら、Eq.(3)の被積分関数はゼロでなければいけません。E-L eqs.により、運動方程式を満たす解に対して第一項は消えるので、この解に対して
$\frac{d}{d t} (\frac{\partial L}{\partial {\dot{q}}^{i}} \bar{δ} q^{i} + L δ t) = \frac{d}{d t} [\frac{\partial L}{\partial {\dot{q}}^{i}} δ q^{i} (t) - (\frac{\partial L}{\partial {\dot{q}}^{i}} {\dot{q}}^{i} - L) δ t] = 0$

よって $Θ$ を
$Θ := \frac{\partial L}{\partial {\dot{q}}^{i}} δ q^{i} (t) - (\frac{\partial L}{\partial {\dot{q}}^{i}} {\dot{q}}^{i} - L) δ t$
とすれば、 $\frac{d}{d t} Θ = 0$ であり、 $Θ$ は保存します。
ここで正準形式では、運動量 $p_{i}$ とハミルトニアン $H$ （=全系のエネルギー）は
${\begin{cases} p_{i} = \frac{\partial L}{\partial {\dot{q}}^{i}}, \\ H = \frac{\partial L}{\partial {\dot{q}}^{i}} {\dot{q}}^{i} - L \end{cases}$
なので、この式は結局
$p_{i} δ q^{i} - H δ t$
が保存することを示しています。

これがネーターの第１定理です。改めて述べると

ネーターの第１定理

変換Eq.(1)の下で、Eq.(2)の作用 $S [q, t]$ が任意の区間 $[t_{1}, t_{2}]$ において不変ならば、E-L eqs.の解に対して
$Θ := \frac{\partial L}{\partial {\dot{q}}^{i}} δ q^{i} (t) - (\frac{\partial L}{\partial {\dot{q}}^{i}} {\dot{q}}^{i} - L) δ t$
は保存する。すなわち
$\frac{d Θ}{d t} = 0$
が成立する。

$Θ$ を運動量 $p_{i}$ とハミルトニアン $H$ で書き換えれば
$Θ = p_{i} δ q^{i} - H δ t$
である。

ここで以下の2つに注意：

この保存則はE-L eqs.の解に対して成立する
$δ q^{i}$ および $δ t$ は任意ではなく、作用を不変に保つようなものでなくてはならない

さらに、微小変換が次の形に書けたとします：
${\begin{cases} δ q^{i} = ϵ^{α} ϕ_{α}^{i} (q, \dot{q}, t) \\ δ t = ϵ^{α} τ_{α} (t) \\ (α = 1, \dots, R) \end{cases}$
ここで $ϵ^{α}$ は $α$ ごとに独立な任意の定数微小パラメータ、 $ϕ_{α}^{i} (q, \dot{q}, t), τ_{α} (t)$ は任意ではなく作用積分を不変にすることから定まる量です。この変換に対し作用が不変なとき
$p_{i} ϕ_{α}^{i} - H τ_{α} (α = 1, \dots, R)$
が保存します。次に見るように、これは運動量とエネルギーの保存則（それぞれが保存することもあるし、線形結合が保存することもあるかもしれない）を表しています。

保存則の実例

例えば空間1次元（ $R = 1$ ）において、ラグランジアンが
$L = \frac{1}{2} m {\dot{q}}^{2}$
だとします。これは自由粒子の系です。このとき
${\begin{cases} δ q = ϵ \\ δ t = 0 \end{cases}$
に対してラグランジアンは明らかに不変（＝系は空間並進不変）。よって
$p = \frac{\partial L}{\partial \dot{q}} = m \dot{q}$
が保存します。これは運動量保存則です。
また
${\begin{cases} δ q = 0 \\ δ t = ϵ \end{cases}$
に対してラグランジアンは不変（ $t^{'} = t + ϵ$ とすると $L \to L^{'} = \frac{1}{2} m (\frac{\partial q (t^{'})}{\partial t^{'}})^{2} = L$ ）。これは系の時間並進不変性です。このとき
$H = p \dot{q} - L = \frac{1}{2} m {\dot{q}}^{2}$
が保存します。これはエネルギー保存則です。

ラグランジアンの準不変性

ラグランジアンが $δ q, δ t$ の変換に対して不変ではなく、 $q$ に依存する関数 $F (q)$ を用いて
$L \to L + \frac{d F}{d t}$
だけ変化したとします。このとき上記の $Θ$ ではなく
$Θ - F$
が保存します。このように変換に対してラグランジアンが全微分だけ変化するとき、準不変と呼びます。

おまけ：場の理論における保存量に関して

場の理論では、点粒子の力学における力学変数 $q^{i}$ が場 $ϕ (t, q^{i})$ に対応します。場はその変換に対し多様な不変性を持ち得るため、様々な保存量が存在し得ます。
例えば4次元における複素スカラー場 $ϕ$ からなる自由場の理論の作用
$S = \int d^{4} x (\partial_{μ} ϕ^{†}) (\partial^{μ} ϕ)$
は
$ϕ \to e^{i θ} ϕ$
なる変換に対して不変です。このとき場 $ϕ$ に対し、ネーター・カレント
$j^{μ} = i (ϕ^{†} \frac{\partial L}{\partial (\partial_{μ} ϕ^{†})} - \frac{\partial L}{\partial (\partial_{μ} ϕ)} ϕ) = i (ϕ^{†} (\partial_{μ} ϕ) - (\partial_{μ} ϕ^{†}) ϕ)$
が存在します。これはE-L eqs.を満たす $ϕ$ に対し、保存則
$\partial_{μ} j^{μ} = 0$
を満たします。