ディラックのデルタ関数
with formula_4 being the Dirac delta function. That is,