construction of Dirac delta function
The Dirac delta function is notorious in mathematical circles for having no actual as a function. However, a little known secret is that in the domain of nonstandard analysis, the Dirac delta function admits a completely legitimate construction as an actual function. We give this construction here.
Choose any positive infinitesimal and define the hyperreal valued function by
We verify that the above function satisfies the required properties of the Dirac delta function. By definition, for all nonzero real numbers . Moreover,
so the integral property is satisfied. Finally, for any continuous real function , choose an infinitesimal such that for all ; then
which implies that is within an infinitesimal of , and thus has real part equal to .
Title | construction of Dirac delta function |
---|---|
Canonical name | ConstructionOfDiracDeltaFunction |
Date of creation | 2013-03-22 12:35:48 |
Last modified on | 2013-03-22 12:35:48 |
Owner | djao (24) |
Last modified by | djao (24) |
Numerical id | 5 |
Author | djao (24) |
Entry type | Derivation |
Classification | msc 34L40 |
Classification | msc 26E35 |