ファインマン核とグリーン関数の関係

森藤正人「量子波のダイナミクス」ｐ15 に
ｔ＞０　と約束すれば、ファインマン核とグリーン関数は同じものとあります。

ファインマン核Fは、以下で定義されます。

　　

グリーン関数Gは、ファインマン核をFとすると、

　　
　　　　　　　　　　　　　　　　　注：　Θはヘビサイド関数

で定義され、t＝t0以降の 系の応答を記述するものです。

ファインマン核Fは、

　　

なので、シュレディンガー方程式を満たします。
（http://blogs.yahoo.co.jp/kafukanoochan/64140304.html　参照）

グリーン関数Gは、ファインマン核がシュレディンガー方程式を満たすことより、

　　

となります。　（証明は後日）
これは、ｔ＞０　の範囲では、

　　

ですから、シュレディンガー方程式を満たします。