Green's function
ここでformula_2は1粒子グリーン関数(プロパゲータ)、formula_3は自由粒子のグリーン関数、formula_4は自己エネルギー、formula_5は粒子のエネルギーと運動量を表す4元ベクトルである。