ラグランジアン (場の理論)
ラグランジアン場の理論 () は、古典場理論のひとつの定式化であり、ラグランジュ力学を場の理論に拡大したものである。ラグランジュ力学がそれぞれが有限の自由度を持つ離散的な粒子を扱うのに対し、ラグランジアン場の理論は自由度が無限である連続体や場に適用される。
本記事では、ラグランジアン密度を formula_1 と記し、ラグランジアンは "L" と記すこととする。
ラグランジュ力学の定式化を拡張し、場の理論を扱うことができるようになった。場の理論では、独立変数は、時空の中の事象 ("x", "y", "z", "t")、あるいはもっと一般的には多様体上の点 "s" へ置き換えて考える。従属変数 ("q") は、時空でのその点での場の値 "φ"("x", "y", "z", "t") へ置き換わり、運動方程式は、作用原理によって、
となる。ここで、「作用」
は微分可能な従属変数 φ("s")、その導関数および "s" 自身の汎函数である。添え字は"α" = 1, 2, 3,…, "n"であり、中カッコは｛・∀α｝を表す。"s" = { "s"} は "n" 個の独立変数がなす集合を表し、これには時間変数も含む。筆書体のformula_1 は体積密度を表す場合に用い、体積は場の定義域の積分測度つまりformula_5 による。
ラグランジアン場の理論では、一般座標系の函数としてのラグランジアンをラグランジアン密度へ置き換えて考える。これは、系の場とその導関数、あるいは場合により空間と時間座標も含めたものの函数である。
場の理論では、独立変数 "t" は、時空 ("x", "y", "z", "t") の中での事象や、より一般的には多様体上の点 "s" へ含めて考える。
ラグランジアン密度は、単にラグランジアンということも多い。
ある一つのスカラー場 に対し、ラグランジアン密度は
の形を取る。複数のスカラー場に対しては、
と表す。
上記は、ベクトル場やテンソル場やスピノル場に一般化することができる。物理学において、フェルミ粒子はスピノル場で記述し、ボース粒子はテンソル場で記述する。
ラグランジアンの時間での積分を作用と呼び、"S" で表す。場の理論において、ラグランジアン "L" は時間での積分を作用
とし、ラグランジアン密度 formula_1 はすべての時空に渡る積分を作用
とする区別をすることが屡々ある。
ラグランジアン密度の空間的なはラグランジアンで、3次元では
である。重力がある場合や、一般曲線座標系を用いる場合には、ラグランジアン密度 formula_1 は formula_13 の因子を含み、になる。この手付きにより、作用 formula_14 が一般的な座標変換のもとで不変になることが保証される。
"M" を "n" 次元多様体をとし、"T" を対象多様体をとする。formula_15 を "M" から "T" への滑らかな函数がなす配位空間とする。
場の理論において、"M" は時空多様体であり、対象空間は場が任意の点で値として取ることのできる値域を示す集合である。例えば、"m" 個の実数値のスカラー場 formula_16 があるとすると、対象多様体は、formula_17 である。場が実ベクトル場であれば、対象多様体は formula_18 と同相である。"M" 上の接バンドルを使うもっと洗練された方法もあるが、ここではこの方法を使うことにする。
汎函数
を考える。これは作用と呼ぶ。
作用は局所的であることから、作用としての要件を追加する。
formula_20 のとき、 formula_21 は、formula_22、その導関数および位置の関数であるラグランジアン formula_23を "M" の上で積分したものとする。
つまり、
である。
以下では、ラグランジアンは場の値とその一階微分にのみ依存し、それより高階の微分には依存しないことを前提とする。
formula_22の境界における値を特定する境界条件が与えられた場合に、
"M" がコンパクトつまり"x" → ∞ のとき formula_22 がある一定の極限に収束する（この条件により部分積分が上手く行く）ときには、
関数 formula_22 からなる formula_15 の部分空間であって "S" の formula_22 における全ての汎関数微分が０になり formula_22 が所与の境界条件を満たすものは、オンシェルの解の部分空間である。
これにより、
である。左辺は formula_22 についての作用の汎関数微分である。
従って、（境界条件により、）オイラー＝ラグランジュ方程式
を得る。
この節で試験粒子を取り扱う際、これらの粒子が動く場の方程式を与える。
この方程式は、記述する試験粒子が動く場に関するものであり、これによって場での計算ができるようになる。
以下に示す方程式は場の中の試験粒子の運動方程式を与えるものではないが、
その代わりに、任意の点 formula_34 での質量密度、電荷密度その他の物理量が導くポテンシャル（の場）を得ることができる。
例えば、ニュートン重力の場合は、時空上でラグランジアン密度を積分すると、もしこれが解けるようであれば、formula_35 を得ることができる。
この formula_35 をニュートン重力場の中の試験粒子のラグランジェ方程式() へ代入し直すと、
粒子の加速度を計算するのに必要な情報を得ることができる。
ラグランジアン密度 formula_37 は J･m の次元を持つ。
kg･m の単位系で、相互作用項 "mΦ" を連続質量密度 "ρ" を含む項に置き換える。
（連続体でなく）点を場の発生源として取り扱うのは数学的に難しいので、この取扱いが必要となる。
その結果、古典重力場のラグランジアンは
となる。ここで、 m･kg･s で表す "G" は重力定数である。
"Φ" についての積分の変分は、
となる。
部分積分して全積分の部分を零にする。両辺を "δΦ" で割ると
を得るので、
となる。
これは、である。
物質場が存在する場合に、一般相対論でのラグランジアン密度は、
である。
"R" はスカラー曲率であり、これは リッチテンソルを計量テンソルで縮約したものである。
リッチテンソルは、をクロネッカーのデルタで縮約した二階テンソルである。formula_43 の積分は、アインシュタイン・ヒルベルト作用として知られている。リーマン曲率テンソルは、潮汐力を表すテンソルであり、クリストッフェル記号とクリストッフェル記号の共変微分から構成される。クリストッフェル記号の共変微分は、重力による場を表す。このラグランジアンをオイラー＝ラグランジェ方程式へ代入し、計量テンソル formula_44 を場と考えると、アインシュタイン場の方程式
を得る。右辺の最後のテンソル項はエネルギー・運動量テンソルであり、
である。"g" は、計量テンソルを行列と見なしたときの、その行列式である。formula_47 は宇宙定数である。一般相対論で、ラグランジアン密度の作用を積分する際の測度は、一般に formula_48 である。計量テンソルの行列式の平方根はヤコビ行列式と同値であることから、積分の座標の決め方が独立になる。マイナス符号は、計量の二次形式としての符号数の結果必要になる（行列式自体が負である）。
相互作用項
を、単位系 A･s･m の連続的電荷密度 ρ と、単位系 A･m の電流密度 formula_50 を含む項で置き換える。その結果、電磁場のラグランジアンは
である。formula_52 について変分すると、
を得るが、この式はガウスの法則である。
また、formula_54 について変分すると、
を得るが、この式はアンペールの法則である。
を使うと、もっと簡潔に記述することができる。formula_56 の項は、実は二つの4元ベクトルの内積である。電荷密度を電流 4元ベクトルに含め、スカラー・ポテンシャルをポテンシャル 4元ベクトルに含めて表すと、これらの 2つの新しいベクトルは、
になる。すると、相互作用項は
と書くことができる。さらに、場 E と B を電磁テンソル formula_60 で表すと、このテンソルは、
と定義することができる。ラグランジアン密度の最後の二項は
となる。ミンコフスキー計量を使って 電磁テンソルの全ての指標を持ち上げる。この記法により、マクスウェルの方程式は、
となる。ここで、ε はである。従って、特殊相対論における電磁場のラグランジアン密度をローレンツベクトルとテンソルで記述すると、
である。この記法で書くと、古典電磁気学がローレンツ不変な理論であることが明らかである。等価原理により、電磁気学の記法を曲がった時空へ拡張することが簡単になる。
一般相対論の電磁場のラグランジアン密度も、上記のアインシュタイン・ヒルベルト作用を含んでいる。純粋な電磁場のラグランジアンは、正に物質ラグランジアン formula_65 である。ラグランジアンは、
である。このラグランジアンは、単純に上記の平坦なラグランジアンの中のミンコフスキー計量を一般的な（曲がった）計量 formula_67 へ置き換えることによって得られる。このラグランジアンを使い、電磁場のある中でのアインシュタイン場の方程式を構築することができる。エネルギー・運動量テンソルは、
である。エネルギー・運動量テンソルは対角和が消える、つまり、
を示すことができる。アインシュタイン場の方程式で両辺の対角和を取ると、
を得る。エネルギー・運動量テンソルの対角和が 0 であることから、電磁場のスカラー曲率が 0 になる。従って、アインシュタイン方程式は、
となる。また、マクスウェル方程式は、
となる。ここで、formula_73 は共変微分である。
束縛がない空間に対し、電流テンソルは formula_74 とすることができる。
束縛がない空間の中に球対称に分布した質量の周りでアインシュタイン方程式とマクスウェル方程式を解くと、（自然単位系での電荷 Q を持つ）次の線素が定めるライスナー・ノルドシュトロム解を持つブラックホールの式を得る。。
電磁場のラグランジアンと重力のラグランジアンを統合する方法の一つとして、（五次元を用いる）カルツァ＝クライン理論がある。
微分形式を使うと、（擬）リーマン多様体 formula_76 上の真空の中の電磁作用 "S" は（自然単位系を使い、 として)、
と書くことができる。ここで、A は電磁ポテンシャルの 1-形式を表し、J は電流の 1-形式、F は場の強さの 2-形式であり、スターはホッジスター作用素である。この表現は、座標（被積分函数を基底で表すと全く同じだが冗長な表現になる）を使わないことを除いては、上の節で示したものと全く同一なラグランジアンである。
微分形式は、座標に関する微分を自動的に組み込んでいるので、微分形式を使った表現には積分測度を加える必要がないことに留意されたい。作用の変分は、
となる。これらは電磁ポテンシャルに対するマクスウェルの方程式である。F は完全形式であるので、 を代入すると、直ちに、場の方程式
を得る。
ディラック場に対するラグランジアン密度は、
である。ここで "ψ" はディラック・スピノル（消滅作用素）、formula_81 はそのディラック共役（生成作用素）、formula_82 はformula_83にファインマンのスラッシュ記法を用いている。
量子電磁気学（QED）のラグランジアン密度は、
である。ここで、formula_85 は電磁テンソルであり、"D" はであり、formula_86 は formula_87 に対するファインマンのスラッシュ記法である。
formula_88 で、 formula_89 は電磁場の四元ポテンシャルである。
量子色力学（QCD）のラグランジアン密度は、
である。ここで、"D" は QCD であり、"n" = 1、2、…、6 はクォークのタイプの数、formula_91 はである。