自己エネルギーのソースを表示

:[[Image:electron self energy.svg|right|250px|thumb|[[電子]]の自己エネルギーを表す[[ファインマン・ダイアグラム]]。波線は[[光子]]、実線は[[電子]]を表す。]]
'''自己エネルギー'''（じこエネルギー、{{lang-en-short|self-energy}}）とは、粒子が自分自身の作り出す[[場]]との相互作用によって生じるエネルギーのことである。

== 概要 ==
[[場の量子論]]や[[物性物理学]]において、相互作用がある場合の[[グリーン関数 (多体理論)|グリーン関数]]（[[伝播関数]]）を[[摂動論]]で計算する際、[[ウィックの定理]]（またはブロッホ＝ドミニシスの定理）によって[[ファインマンダイアグラム]]を使うことができる。ファインマンダイアグラムの'''自己エネルギー部分'''とは、ダイアグラムの他の部分と2本の粒子線だけで繋がっているような部分の総称である。

実際に摂動展開をダイアグラムで書き下してみると、一部分が同じ形をしているダイアグラムがくりかえし表れることが分かる。ここで'''既約自己エネルギー部分'''（irreducible self energy）または'''プロパーな自己エネルギー部分'''（proper self energy）を、1本の粒子線を切断するだけでは2つの部分に分離することができないようなダイアグラムで表される自己エネルギー部分と定義する。すると摂動展開は、既約自己エネルギー部分を<math>\Sigma</math>、相互作用を含むグリーン関数を太い矢印、自由粒子のグリーン関数を細い矢印として、次のようなダイアグラムで表される。
:[[Image:Dyson.svg]]
これを数式で表したものは'''[[ダイソン方程式]]'''と呼ばれる。既約自己エネルギーを<math>\Sigma</math>、相互作用を含むグリーン関数を<math>G</math>、自由粒子のグリーン関数を<math>G_0</math>とすると、ダイソン方程式は次のように書ける。
:<math>G = G_0 + G_0 \Sigma G_0 + G_0 \Sigma G_0 \Sigma G_0 + \cdots = G_0 + G_0 \Sigma G </math>

場の量子論では相互作用によるエネルギー（分散関係）の変化は質量変化を表すため、自己エネルギーを質量演算子と呼ぶこともある。

== 物性物理学 ==
グリーン関数はある時刻<math>t</math>で生成した粒子が、その後の時刻<math>t'</math>でどの程度存在するかという期待値を意味する。相互作用のない場合、生成した粒子の寿命は無限大であり、スペクトル関数は[[デルタ関数]]型となる。

一方で相互作用が与えられると、粒子の寿命やスペクトル関数に変化が生じる。相互作用の衣を着た粒子を'''[[準粒子]]'''という。相互作用があるとスペクトル関数に広がりが生じ、自己エネルギーの虚部はその広がりを表す。また相互作用によってグリーン関数は減衰し、自己エネルギーの虚部の逆数は準粒子の寿命を表す。これは、相互作用があると粒子が生成した状態はもはや系の[[固有状態]]（定常状態）ではなくなり、別の状態に遷移してしまうことを意味する。スペクトル関数のピーク位置も相互作用によってシフトし、自己エネルギーの実部はそのエネルギーシフト、つまり相互作用による準粒子のエネルギー補正を表す。その他にも準粒子の有効質量なども自己エネルギーから計算することができる。

==量子電磁力学==
[[場の量子論]]における自己エネルギーは、[[粒子]]が自ら[[仮想粒子]]を放出し吸収する過程、及び、その過程により増加する粒子の[[質量]]エネルギーである。[[量子電磁力学]](QED)においては、[[電子]]や[[陽電子]]のような[[フェルミ粒子]]が自ら[[光子]]を放出し吸収することで、フェルミ粒子の質量が増加する過程を表す。光子や[[グルーオン]]のような[[ゲージ粒子]]、更には[[中間子]]のような[[ボーズ粒子]]の場合も自己エネルギーは定義でき、これらは一般に[[真空偏極]]と呼ばれる。

[[四元運動量]]を持つ[[フェルミ粒子]]が[[光子]]を放出し、吸収する過程を考える。フェルミ粒子の自己エネルギー<math>-i \Sigma \,</math> は、1粒子既約な（1つの[[伝播関数]]を切断して2つ以上に分離できないような）全てのダイアグラムを足し上げたものとして定義される。
:<math>-i \Sigma \equiv</math> [[Image:electron self energy.svg]] <math>+ \cdots \,</math>
ここでダイアグラムにはループの両端に実線が便宜的に引かれているが、自己エネルギーとして定義されているのは実線＋波線のループ部分のみであることに注意。この式の高次の項には2ループ以上のループを含む1粒子既約なダイアグラムが存在する。[[ファインマンルール]]を用いて1ループ積分を書き下すと、入射するフェルミ粒子の運動量をp、仮想光子の運動量をkとして
:[[Image:electron self energy.svg]] <math> =\int \frac{d^4k}{(2\pi)^4} (-ie\gamma^\mu) \frac{i}{p\!\!/ - k\!\!\!/ -m+i \epsilon} (-ie\gamma^\nu) \frac{-ig_{\mu\nu}}{k^2+i \epsilon}  </math>
となる。<math>p\!\!/</math>や<math>k\!\!\!/</math>は[[ファインマンのスラッシュ記法]]と呼ばれる。この式は仮想光子の運動量kについての積分であるので、フェルミ粒子の運動量pのみを変数とする関数となっている。さらにこの積分は、分子がd<sup>4</sup>k、分母がk<sup>3</sup>に比例するから、kについての1次発散を含むことが分かる。

===ファインマン伝播関数===
フェルミ粒子の2点相関関数、すなわちファインマン[[伝播関数]]に対して、自己エネルギーによる補正を加えるためには、全ての可能なダイアグラムを足し上げればよい。
:<math>\int d^4x \langle \Omega|T \psi(x) \bar{\psi}(0) |\Omega \rangle e^{ip \cdot x} = </math> [[Image:Dyson.svg]]
ここで、最右辺の第1項が自由な伝播関数、それ以降の項は自己エネルギーの両端にフェルミ粒子の伝播関数がついた1粒子既約、2粒子既約…のダイアグラムを表す。この式は[[ファインマンルール]]を用いて計算され、フェルミ粒子の運動量をp、裸の質量をm<sub>0</sub>とすると、
:<math>\begin{align}
\int d^4x \langle \Omega|T \psi(x) \bar{\psi}(0) |\Omega \rangle e^{ip \cdot x} &= \frac{i}{p\!\!/ -m_0+i \epsilon} + \frac{i}{p\!\!/ -m_0+i \epsilon} (-i\Sigma(p\!\!/)) \frac{i}{p\!\!/ -m_0+i \epsilon} + \cdots  \\
&= \frac{i}{p\!\!/ -m_0 -\Sigma(p\!\!/) +i \epsilon}
\end{align}</math>
となる。この式は、元々は裸の質量m<sub>0</sub>の位置にあった伝播関数の極が、自己エネルギーによってシフトしていることを表している。従って、物理的な質量mを求めるためには、方程式
:<math>\left. \left[ p\!\!/ -m_0 -\Sigma(p\!\!/) \right] \right|_{p\!\!/=m} = 0</math>
を解けばよく、質量のシフトは
:<math>\delta m = m - m_0 = \Sigma(p\!\!/=m)</math>
と表せる。実際に自己エネルギーから質量シフトを計算すると、運動量カットオフΛと[[微細構造定数]]αを用いて、
:<math>\delta m = \frac{3\alpha}{4\pi}m_0 \log \left(\frac{\Lambda^2}{m_0^2} \right)</math>
となり、対数の{{仮リンク|紫外発散|en|Ultraviolet divergence}}となっていることが分かる。

==参考文献==
*{{Cite book|
 |author=M.E. Peskin
 |coauthors=D.V. Schroeder
 |year=1995
 |title=An Introduction To Quantum Field Theory
 |publisher=Westview Press
 |isbn=978-0201503975
}}

==関連項目==
* [[繰り込み]]
* [[頂点関数]]：3本あるいは4本の粒子線と繋がった部分をもつダイアグラムのこと。

== 脚注 ==
<references/>

{{DEFAULTSORT:しこえねるきい}}
[[Category:場の量子論]]