Dirac delta function
ここでformula_10はディラックのデルタ関数である。