ハミルトン場の理論

ハミルトン場の理論（ハミルトンばのりろん）は、理論物理学における、古典的なハミルトン力学の場の理論的類似物である。これはラグランジアン場の理論と並んで場の古典論の定式化である。 また、場の量子論への応用ももつ。

定義

離散粒子系のハミルトニアンは、一般化座標とその共役運動量、そして場合によって時間の関数である。連続体と場の場合、ハミルトニアン力学は不適切だが、系を多数の点質量からなるものと考え、連続体への極限をとる、つまり場を無限に多くの粒子で構成されるとみなすことによって拡張できる。各点質量には1つ以上の自由度があるため、場は無限の自由度をもつ。

1成分スカラー場

ハミルトン密度は場についての連続体的な類似物である。これは場と、共役「運動量」の場、および場合によっては空間と時間の座標自体の関数である。1成分のスカラー場 テンプレート:Math に対して、ハミルトン密度はラグランジアン密度から

$\mathscr{H}(\varphi ,\pi ,𝐱,t):=\dot{\varphi }\pi -ℒ(\varphi ,\mathrm{\nabla }\varphi ,\partial \varphi /\partial t,𝐱,t)$

によって定義される。ここで テンプレート:Math はナブラ演算子、テンプレート:Mvar は空間内の点の位置ベクトル、テンプレート:Mvar は時間である。 ラグランジアン密度は場と、その空間および時間の導関数、および場合によっては空間と時間の座標自体の関数である。これは一般化座標で記述された離散粒子の系のラグランジュ関数に類似した場である。

ハミルトン力学では一般化座標には対応する一般化運動量があるように、場 テンプレート:Math に対して共役運動量の場 テンプレート:Math が存在し、ラグランジアン密度の場の時間微分に関する偏導関数、つまり

$\pi :=\frac{\partial ℒ}{\partial \dot{\varphi }},\dot{\varphi }:=\frac{\partial \varphi }{\partial t}$

で定義される。ここで上付きドットは時間による偏微分 テンプレート:Math を表す（常微分 テンプレート:Math でないことに注意）。

多成分スカラー場

複数のスカラー場 テンプレート:Math およびそれらの共役 テンプレート:Math に対して、ハミルトン密度はそれらすべての関数である。

$\mathscr{H}({\varphi }^1,{\varphi }^2,\dots ,{\pi }_1,{\pi }_2,\dots ,𝐱,t)=\sum _i{\dot{\varphi }}^i{\pi }_i-ℒ({\varphi }^1,{\varphi }^2,\dots ,\mathrm{\nabla }{\varphi }^1,\mathrm{\nabla }{\varphi }^2,\dots ,\partial {\varphi }^1/\partial t,\partial {\varphi }^2/\partial t,\dots ,𝐱,t).$

ここで、各共役場はその対応する場に関して定義される。

${\pi }_i(𝐱,t):=\partial ℒ/\partial {\dot{\varphi }}^i.$

一般に、任意の数の場について、ハミルトニアン密度の空間3次元で体積積分するとハミルトニアンを与える。

$H=\int \mathscr{H}{\mathrm{d}}^{3}x.$

ハミルトニアン密度は単位空間体積あたりのハミルトニアンである。対応する次元は[エネルギー][長さ]テンプレート:Supで、SI単位はJmテンプレート:Supである。

テンソル場、スピノル場

上記の方程式と定義はベクトル場へ、より一般にテンソル場やスピノル場へと拡張できる。物理学では、テンソル場はボース粒子を表し、スピノル場はフェルミ粒子を表す。

運動方程式

場の運動方程式は、離散粒子のハミルトン方程式に似ている。 任意の数の場に対してハミルトン場の方程式は

${\dot{\varphi }}^i=\frac{\delta \mathscr{H}}{\delta {\pi }_i},{\dot{\pi }}_i=-\frac{\delta \mathscr{H}}{\delta {\varphi }^i}$

である。ここでも、上付きドットは時間による偏微分である。また、場に関する汎関数微分

$\frac{\delta }{\delta {\varphi }^i}=\frac{\partial }{\partial {\varphi }^i}-\mathrm{\nabla }\cdot \frac{\partial }{\partial (\mathrm{\nabla }{\varphi }^i)}-\frac{\partial }{\partial t}\frac{\partial }{\partial (\partial {\varphi }^i/\partial t)}$

が通常の偏導関数の代わりに使用される。「テンプレート:Math」はドット積である。テンプレート:仮リンク（総和規約を含む）では、これは

$\frac{\delta }{\delta {\varphi }^i}=\frac{\partial }{\partial {\varphi }^i}-{\partial }_{\mu }\frac{\partial }{\partial ({\partial }_{\mu }{\varphi }^i)}$

と表される。ここで テンプレート:Mathはテンプレート:仮リンクである。

位相空間

場は無限の自由度をもつため、場 テンプレート:Math とその共役場 テンプレート:Math は無限次元の位相空間を成す。

ポアソン括弧

場 テンプレート:Math と テンプレート:Math、それらの空間導関数、および空間と時間の座標に依存する2つの関数

$A:=\int d^{3}x𝒜({\varphi }^1,{\varphi }^2,\dots ,{\pi }_1,{\pi }_2,\dots ,\mathrm{\nabla }{\varphi }^1,\mathrm{\nabla }{\varphi }^2,\dots ,\mathrm{\nabla }{\pi }_1,\mathrm{\nabla }{\pi }_2,\dots ,𝐱,t),$

$B:=\int d^{3}xℬ({\varphi }^1,{\varphi }^2,\dots ,{\pi }_1,{\pi }_2,\dots ,\mathrm{\nabla }{\varphi }^1,\mathrm{\nabla }{\varphi }^2,\dots ,\mathrm{\nabla }{\pi }_1,\mathrm{\nabla }{\pi }_2,\dots ,𝐱,t),$

および積分体積の境界ではゼロである場に対して、場の理論におけるポアソン括弧は次のように定義される（量子力学の交換子と混同しないこと）：

$[A,B{]}_{\varphi ,\pi }:=\int d^{3}x\sum _i(\frac{\delta 𝒜}{\delta {\varphi }^i}\frac{\delta ℬ}{\delta {\pi }_i}-\frac{\delta ℬ}{\delta {\varphi }^i}\frac{\delta 𝒜}{\delta {\pi }_i}).$

ここで、$\delta ℱ/\delta f$ は汎関数微分である：

$\frac{\delta ℱ}{\delta f}:=\frac{\partial ℱ}{\partial f}-\sum _i{\mathrm{\nabla }}_i\frac{\partial ℱ}{\partial ({\mathrm{\nabla }}_{i}f)}.$

境界上で場が消失するという同じ条件下で、テンプレート:Mvar の時間発展について

$\frac{\mathrm{d}A}{\mathrm{d}t}=[A,H]+\frac{\partial A}{\partial t}$

が成り立つ（テンプレート:Mvar についても同様）。これは テンプレート:Mvar の時間常微分、部分積分、および上記のポアソン括弧を使用して導くことができる。

時間に陽的に依存しない場合

本節の結果はラグランジアン密度とハミルトニアン密度が陽的に時間依存しない場合に当てはまる（場とその導関数を介して陰的になら時間依存してもよい）。

運動エネルギー密度，ポテンシャルエネルギー密度

ハミルトニアン密度は総エネルギー密度であり、運動エネルギー密度$𝒯$とポテンシャルエネルギー密度$𝒱$の和である：

$\mathscr{H}=𝒯+𝒱.$

連続の方程式

上記のハミルトン密度の定義の時間偏微分を取り、陰関数の微分に連鎖律を使用し、共役運動量場の定義を用いると、連続の方程式

$\frac{\partial \mathscr{H}}{\partial t}+\mathrm{\nabla }\cdot 𝐒=0$

が得られる。ハミルトン密度はエネルギー密度として、また

$𝐒=\frac{\partial ℒ}{\partial (\mathrm{\nabla }\varphi )}\frac{\partial \varphi }{\partial t}$

はエネルギー流束または単位表面積あたりの単位時間あたりのエネルギーの流れとして解釈できる。

相対論的場の理論

共変ハミルトン場の理論は、ハミルトン場の理論の相対論的定式化である。

ハミルトン場の理論が場の古典論に適用される場合、通常はシンプレクティックなハミルトン形式を意味する。これは無限次元の位相空間での瞬間的なハミルトン形式の形をとり、正準座標はある瞬間の場の関数である。このハミルトニアン形式は、例えば量子ゲージ理論における場の量子化に応用される。共変ハミルトン場の理論では、正準運動量 テンプレート:Math はすべての世界座標 テンプレート:Math に関する場の導関数に対応する。共変ハミルトン方程式は、hyperregularなラグランジアンの場合のオイラー＝ラグランジュ方程式と同等である。共変ハミルトン場の理論は、ハミルトン-ド・ドンデ、ポリシンプレクティック、マルチシンプレクティック、および テンプレート:Mvar-シンプレクティックの変形で開発されている。共変ハミルトン場の理論の位相空間は、有限次元のポリシンプレクティックまたはマルチシンプレクティック多様体である。

ハミルトンテンプレート:仮リンクは、時間軸、つまり実数直線 テンプレート:Math にわたるファイバー束の上の共変ハミルトン場の理論として定式化される。

参考文献

• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Citation
• テンプレート:Cite book