Editing Dirac delta function (section)

== Motivation and overview ==
The [[graph of a function|graph]] of the Dirac delta is usually thought of as following the whole ''x''-axis and the positive ''y''-axis.<ref>{{Cite book|last=Zhao|first=Ji-Cheng|url={{google books |plainurl=y |id=blZYGDREpk8C|page=174}}|title=Methods for Phase Diagram Determination|date=2011-05-05|publisher=Elsevier|isbn=978-0-08-054996-5|language=en}}</ref>{{rp|174}} The Dirac delta is used to model a tall narrow spike function (an ''impulse''), and other similar [[abstraction]]s such as a [[point charge]], [[point mass]] or [[electron]] point. For example, to calculate the [[dynamics (mechanics)|dynamics]] of a [[billiard ball]] being struck, one can approximate the [[force]] of the impact by a Dirac delta.  In doing so, one not only simplifies the equations, but one also is able to calculate the [[motion (physics)|motion]] of the ball, by only considering the total impulse of the collision, without a detailed model of all of the elastic energy transfer at subatomic levels (for instance).

To be specific, suppose that a billiard ball is at rest.  At time <math>t=0</math> it is struck by another ball, imparting it with a [[momentum]] {{mvar|P}}, with units kg&sdot;m&sdot;s<sup>&minus;1</sup>.  The exchange of momentum is not actually instantaneous, being mediated by elastic processes at the molecular and subatomic level, but for practical purposes it is convenient to consider that energy transfer as effectively instantaneous.  The [[force]] therefore is {{math|''P'' ''δ''(''t'')}}; the units of {{math|''δ''(''t'')}} are s<sup>&minus;1</sup>.

To model this situation more rigorously, suppose that the force instead is uniformly distributed over a small time interval {{nowrap|<math>\Delta t = [0,T]</math>.}} That is,

<math display="block">F_{\Delta t}(t) = \begin{cases} P/\Delta t& 0<t\leq T, \\ 0 &\text{otherwise}. \end{cases}</math>

Then the momentum at any time {{mvar|t}} is found by integration:

<math display="block">p(t) = \int_0^t F_{\Delta t}(\tau)\,d\tau = \begin{cases} P & t \ge T\\ P\,t/\Delta t & 0 \le t \le T\\ 0&\text{otherwise.}\end{cases}</math>

Now, the model situation of an instantaneous transfer of momentum requires taking the limit as {{math|&Delta;''t'' &rarr; 0}}, giving a result everywhere except at {{math|0}}:

<math display="block">p(t)=\begin{cases}P & t > 0\\ 0 & t < 0.\end{cases}</math>

Here the functions <math>F_{\Delta t}</math> are thought of as useful approximations to the idea of instantaneous transfer of momentum.

The delta function allows us to construct an idealized limit of these approximations. Unfortunately, the actual limit of the functions (in the sense of [[pointwise convergence]]) <math display="inline">\lim_{\Delta t\to 0^+}F_{\Delta t}</math> is zero everywhere but a single point, where it is infinite. To make proper sense of the Dirac delta, we should instead insist that the property

<math display="block">\int_{-\infty}^\infty F_{\Delta t}(t)\,dt = P,</math>

which holds for all {{nowrap|<math>\Delta t>0</math>,}} should continue to hold in the limit. So, in the equation {{nowrap|<math display="inline">F(t)=P\,\delta(t)=\lim_{\Delta t\to 0}F_{\Delta t}(t)</math>,}} it is understood that the limit is always taken {{em|outside the integral}}.

In applied mathematics, as we have done here, the delta function is often manipulated as a kind of limit (a [[weak limit]]) of a [[sequence]] of functions, each member of which has a tall spike at the origin: for example, a sequence of [[Gaussian distribution]]s centered at the origin with [[variance]] tending to zero.

The Dirac delta is not truly a function, at least not a usual one with domain and range in [[real number]]s. For example, the objects {{math|1=''f''(''x'') = ''δ''(''x'')}} and {{math|1=''g''(''x'') = 0}} are equal everywhere except at {{math|1=''x'' = 0}} yet have integrals that are different.  According to [[Lebesgue integral#Basic theorems of the Lebesgue integral|Lebesgue integration theory]], if {{mvar|f}} and {{mvar|g}} are functions such that {{math|1=''f'' = ''g''}} [[almost everywhere]], then {{mvar|f}} is integrable [[if and only if]] {{mvar|g}} is integrable and the integrals of {{mvar|f}} and {{mvar|g}} are identical.  A rigorous approach to regarding the Dirac delta function as a [[mathematical object]] in its own right requires [[measure theory]] or the theory of [[distribution (mathematics)|distribution]]s.