Dirac delta function
ここで は ディラックのデルタ関数（式中では導関数が使用されていることに注意）。