遅延グリーン関数
遅延グリーン関数（ちえんグリーンかんすう，）formula_1とは、次のように定義されるグリーン関数(伝播関数)である：
ここでformula_3は基底状態での平均値を表す。演算子の時間依存性はハイゼンベルク描像を表す。formula_4は階段関数、formula_5である。