ラグランジアンの不定性とは - スーパーサイエンスガール

「ところで、ガウスの発散定理の説明でもお話したように、表面項 $\partial_\mu\big(\frac{\partial\mathcal{L}}{\partial(\partial_\mu\phi)}\delta\phi\big)$ は、 $\partial_\mu(\mathrm{微分される式})$ の形をしています。そこで、この項を $\partial_\mu\mathcal{J}^\mu(x)$ と書き、微小量を $\alpha$ とすると、ラグランジアン $\mathcal{L}$ の微小変換量は、 $\alpha\partial_\mu\mathcal{J}^\mu(x)$ と書くことができます。これから、ラグランジアン $\mathcal{L}$ の変換の式は次の(2.10)式のようになります」

${ \displaystyle \begin{eqnarray} \mathcal{L}(x)\rightarrow\mathcal{L}(x)+\alpha\partial_\mu\mathcal{J}^\mu(x) \end{eqnarray} }$
(2.10)

　一宮が首を傾げた。
「ちょっと待って。テキストには『The Lagrangian, therefore must be invariant under (2.9) up to a 4-divergence:』とあるけど、この『up to a 4-divergence』って、どういう意味？」
　越野さんは少し間をおいてから答えた。
「『divergence』というのは、ガウスの発散定理の発散（divergence）という言葉からも分かるように、『ベクトル場の発散』を意味するのだと思います。また、その前の『4』という数字は、４次元の時空間のベクトル、すなわち『４元ベクトル』を表すのだと思います。つまり、この文章は、(2.10)式のラグランジアン $\mathcal{L}$ の４次元時空間のベクトル場の発散項、すなわち表面項 $\alpha\partial_\mu\mathcal{J}^\mu(x)$ を自由に変換しても、ラグランジアンが不変だということを言っているのだと思います」

「でも、ちょっとおかしくない？　この文章って」
「いったい全体、何がおかしいんだ？」
　一宮は、俺のほうに向き直った。
「だって、このテキストには、『ラグランジアンが不変でなければならない（The Lagrangian, ~ must be invariant）』て書いているけど、さっきの説明だと、表面項 $\alpha\partial_\mu\mathcal{J}^\mu(x)$ の変換によって不変に保たれるのは、オイラー・ラグランジュ方程式(2.3)であって、ラグランジアン $\mathcal{L}$ そのものが不変になるわけじゃないわけでしょ？」

　越野さんは戸惑いを隠しきれないような顔をした。お前の姑みたいな質問のおかげで、また越野さんが困っているじゃないか！
　一宮は、これまでたまりにたまっていた鬱憤を晴らすかのようにまくしたてた。
「大体、ラグランジアンの変換をしているのに、『ラグランジアンが不変』だなんて、普通、自分で文章を書いていて、おかしいことくらい気づくでしょ？　こんな矛盾にあふれた文章を書くなんて、この著者、ちょっとナニがアレじゃないの？」

　一宮が歯に衣を着せぬ物言いでまくしたてると、石原が言葉を返した。
「一宮さん。いくらなんでもそれは言い過ぎだと思いますよ。この著者はたしか、ハーバード大学を卒業しているはずです。天下のハーバード大学を卒業したエリート物理学者がそんなつまらないミスをするわけがないでしょう」
　石原の言うことは正論だ。世界的な権威である場の量子論のテキストに、女子高生が物言うなど、百万年早い。
　一宮は悔しそうに頬をふくらませた。
「それじゃ、私の言うことよりも、この著者のほうが正しいっていうわけ？」
「当然です」
　一宮を除く俺たち４人は、まるで申し合わせたように一斉に頷いた。

「あんたたちって、ほんと権威に弱いのね！　それでもSS（スーパー・サイエンス）団の団員なわけ？　そもそも、権威に立ち向かうのが、私たちSS団のモットーでしょ？」

　いつからそんなモットーが決まったんだ？

　そもそも、そこらへんの女子高生と、ハーバード大学を卒業した世界的な教授と、どちらが正しいかと言われれば、常識的に考えて、ハーバード大卒の教授に決まっているだろ？　それがコモンセンス、『世間様』というものだ。
　たかだか、一介の女子高生の分際で、ハーバード大学を卒業した教授を上から目線で批評するなんて、世界広しといえども、お前くらいじゃないのか、一宮よ。お前は、いつからそんなに偉くなったんだ？

「これは私の推測ですが……」
　ともすれば嫌悪になりかねない雰囲気の中、越野さんが恐る恐るいった。
「この著者はたぶん、 $\alpha\partial_\mu\mathcal{J}^\mu(x)$ の変換に対して、ラグランジアンが『不定性』があると、言いたいのではないでしょうか？」
「不定性？」

「ラグランジアンの不定性とは、ラグランジアンが $\partial_\mu\mathcal{J}^\mu(x)$ の任意性をもっているため、一意的に定まらないことをいいます」

ラグランジアンの不定性：
ラグランジアンは $\partial_\mu\mathcal{J}^\mu(x)$ の任意性をもっているため、一意的に定まらない

「実際、似たような不定性が、電磁場の４元ポテンシャルにも見られます。電磁場の場合、与えられた電磁場を表す４元ポテンシャルも一意的ではなく、 $\Lambda(x)$ を任意関数として、次の形をとることも許されます」

${ \displaystyle \begin{eqnarray} \Phi^\prime(x)&=&\Phi(x)-\partial\Lambda(x)/\partial t,\\ {\bf{A}}^\prime(x)&=&{\bf{A}}(x)-\mathrm{grad}\Lambda(x) \end{eqnarray} }$