デルタ関数の定義

\[ \int_{-\infty}^{\infty}f\left(x\right)\delta\left(x\right)dx=f\left(0\right) \]