Prerequisite
三次元の空間上の場について,次のように定義されるLagrangian密度 によって作用原理を考える:
ここで である.
一般にLagrangian密度は四次元座標 と場 とその微分の函数で書かれる.
作用積分はLagrangian密度の区間 と全空間で囲まれた領域上の積分,
で定義される.
いま作用の引数は質点の軌道ではなく場の配位 であることに注意.
場の配位とは時空の各点でどのような値をとっている函数なのかということである.
質点の軌道は作用を極小にするように決まったことから,同様に場の配位も作用を極小にするように決まると仮定する.
場を と微小に変化させる.
そのとき時刻 における三次元空間 での場の配位は固定する.
また無限遠方においても場の配位は固定する.
言い換えると作用が定義されている四次元領域の境界で場の配位は固定しておく; .
そのとき作用の変分は,
第2項について部分積分を行うと,
部分積分により現れた後ろの項は四次元空間上のGaussの定理により,表面積分の項
となる.
境界で場の配位を固定する条件 からこの表面項は となる.
したがって,
場の変位 は任意にとってこれるからこれが成り立つためには,
が成り立たなければならない.
これが場についてのEuler–Lagrange方程式である.
例として実スカラー場のLagrangianの場合のEuler–Lagrange方程式を導いてみよう:
第1項からは運動項,
第2項からはポテンシャルの項,
よってEuler–Lagrange方程式は,
特に が光速 のときにはLorentz不変な方程式,
が得られる.
はd’Alembert演算子,またはd’Alembertianとよばれる.
さらに の場合は特に名前がついていて,
をKlein–Gordon方程式といい,その解 をKlein–Gordon場という.
Klein–Gordon場は相対論的な量子力学において重要な役割を果たす.
Problems
理論: 次のLagrangianについてEuler–Lagrange方程式を導出せよ.
ただし は正の定数.
以上より
sine–Gordon模型: 次のLagrangianについてEuler–Lagrange方程式を導出せよ.
ただし は正の定数.
以上より
O(N)模型: 次の 個の場 についてのLagrangianについてEuler–Lagrange方程式を導出せよ.
ただし は正の定数.
また場の添字は同じ添字が現れたとき から まで和を取っているものとする
以上より
Karder-Parisi-Zhang理論: 次のLagrangianについて に関するEuler–Lagrange方程式を導出せよ.
ただし は定数.
以上より