A generalized function defined as a continuous linear functional on a space of test functions that maps a test function to its value at a specified point; it is not an ordinary function but a distribution with the sifting property.

Principle

Act by evaluation: for a test function phi and a point a, the delta at a returns phi(a), and linearity plus continuity on the test-space characterize it.

Demonstration

For any smooth compactly supported function f, the integral of f(x) times delta(x - a) over the domain equals f(a); sequences of normalized peaked functions (mollifiers) converge to the delta in the distributional sense.

Misapplication

Treating the delta as a pointwise-defined function and attempting algebraic operations like pointwise squaring without a renormalization framework leads to inconsistencies.

Consequence

Enables representation of point sources, impulse responses, initial data concentrated at points, and concise expression of Green’s formulae in linear operator theory.

Reversal

Approximating the delta by a regular function sequence shows the opposite perspective: a limit of bona fide functions rather than an elementary function itself.

Boundary

Defined as a distribution on a chosen space of test functions (e.g., compactly supported smooth functions); products with other distributions or undefined manipulations are outside the safe domain without additional structure.

Semantic Tension

Often confused with the discrete Kronecker delta: the latter acts on sequences and is a true array index; the Dirac delta is a continuous-space distribution acting on test functions.

Synthesis

The Dirac delta is a linear distribution that evaluates test functions at a point, realized as the distributional limit of concentrated sequences and serving as the canonical model of a point source in continuous theories.