Values of Dirac Delta Function over Reals

Theorem
Let $\map \delta x$ denote the Dirac delta function.

Then:


 * $\map \delta x := \begin {cases}

\infty & : x = 0 \\ 0 & : x \ne 0 \end {cases}$

Proof
We have that:


 * $\map \delta x = \ds \lim_{\epsilon \mathop \to 0} \map {F_\epsilon} x$

where:


 * $\map {F_\epsilon} x = \begin {cases} 0 & : x < -\epsilon \\ \dfrac 1 {2 \epsilon} & : -\epsilon \le x \le \epsilon \\ 0 & : x > \epsilon \end {cases}$

Therefore:

and

Therefore:


 * $\map \delta x := \begin {cases}

\infty & : x = 0 \\ 0 & : x \ne 0 \end {cases}$