オイラー・ラグランジュ方程式の導出法
(2.2)
「以上説明したように、(2.2)式の最終行の第3項は、ガウスの発散定理により、積分の4次元時空領域の境界上の面積分に変えることができます」
ガウスの発散定理
「でも、なんて、(2.2)式のどこにも書いてないじゃないの?」
一宮が不審そうな顔で訊ねる。
「は、ベクトル場の発散(divergence)と呼ばれるスカラー場であり、例えば、で定義された滑らかなベクトル場をとすると、次のように表される量です」
ベクトル場の発散(divergence)
「(2.2)式の問題の項には、あるについての微分しかないように思えますが、実際には、全てのについての和をとっています。前々回、変分の計算で、次のような全微分の関係式が成り立つという話をしたことを思い出してください(の場合)」
「(2.2)式の第2行の第2項において、上の式のに相当するのが、であり、上式がについての和の形で表されるように、(2.2)式の第2行の第2項も、4次元の時空間についての和の形になっています。だから、問題の項もdivの形をしているのです」
「それなら、どうしてについての和の形で書かないのよ?」
「おそらく、このテキストの著者は、『アインシュタインの縮約記法』のつもりで、についての和を省略したのだと思います」
「アインシュタインの縮約記法?」
「アインシュタインの縮約記法については後でじっくり説明します。すみませんが、しばらくの間、我慢しておいてください」
一宮が不満そうに頬を膨らませた。
「というわけで、(2.2)式の最終行の第3項は、についての和の形になっているため、ガウスの発散定理を使うことができ、4次元の時空間の領域中における体積積分は、領域表面の面積積分に置き換えることができます」
「ところで、このテキストでは、考えている系が任意の始状態から任意の終状態に発展するものと仮定しているので、時間の最初と最後で、場の変動がゼロになるものと考えることができます。同様に、領域の空間的な境界においても、場の変動ががゼロになるものと考えると、(2.2)式の面積積分の項もゼロになります。したがって、(2.2)式は次のようになります」
(2.2)
「ここで、任意のに対して、右辺の積分がゼロになることから、大括弧[]内の式がゼロであることが分かります。そこで、大括弧[]内の式をゼロとおくことによって、場の運動を表すオイラー・ラグランジュ方程式を導き出すことができます」
「なお、ラグランジアンが2以上の場を含むときは、それぞれの場について、このような方程式が存在することに注意してください」