あなたの式変形は正しいです。 p.149 の一番下をみてください。「 t>t0 であればシュレディンガー方程式を満たす」と わざわざ書いています。実際あなたの式も t>t0 ならδ関数がゼロになって、式を満たします。 結論として、(あなたが確認したかった)任意のtでシュレディンガー方程式を満たすという命題には、 プロパゲーター(2.5.10)を使うべきで、グリーン関数の式 (2.5.12)は使いません。 同時に、 (2.5.10) は (2.5.12) を満たさないこと(x''=x',t=t0でのみ)も確認してください。 しかしながら、 t>t0 であればプロパゲーターもグリーン関数も同じなんです。 以下は No.1 の回答の意図と同じですが、桜井に沿って、繰り返します。 (2.5.12) 式は、 t>t0 では (2.5.10) の K が満たし、 t<t0 では (2.5.13) の