Dirac delta function
The above represents: the one-dimensional Dirac delta function, the nth derivative of that Dirac function, the k-dimensional Dirac function in Cartesian coordinates, and the partial derivative of order n1 w.r.t. x1 ... nk w.r.t. xk of that k-dimensional function.
algebraic expression understood to be real
[x1, x2, ..., xk]
list of algebraic expressions, used when representing a multidimensional Dirac
[n1, n2, ..., nk]
list of algebraic expressions having for domain the non-negative integers, used when representing a multidimensional Dirac
The Dirac command allows for a compact representation of an n-dimensional Dirac delta function, defined in terms of the product of one-dimensional Dirac functions by
where the arguments of the Dirac functions on the right-hand side are understood to be real. To obtain the representations on the left or right-hand sides respectively use the combine and expand commands.
In the one-dimensional case, the Dirac 'function' represents a distribution, that is, an object defined not by establishing the relation between the values of the function and those of its argument, but by establishing the rule for integrating its product with sufficiently regular functions. The Dirac function is then defined through
By a sufficiently regular function, it is meant one that does not vary significantly over an interval of infinitesimal length epsilon around x = 0, or, more strictly, a function that is infinitely differentiable in some open neighborhood of 0.
More generally, and for arbitrary real integration limits a and b,
∫abDirac⁡x−x0⁢f⁡xⅆx=f⁡x0if x0 belongs to the open interval ]a,b[f⁡x02if x0=a, or x0=b, and⁢a<b0otherwise
where by open interval ]a, b[, it is meant the set of real numbers lying between and excluding the endpoints a and b, with a < b.
An explicit, formal, definition of the Dirac delta function is given by its integral representation, constructed as an inverse fourier transform:
Dirac⁡x=12⁢Int⁡exp⁡I⁢_k1⁢x,_k1=−∞..∞π,with no restrictions on ⁡x
Some possible alternative representations for the Dirac(x) delta function are
piecewise(And(-epsilon/2 < x, x < epsilon/2), 1/epsilon, abs(x) > epsilon/2, 0);
where in all these formulas epsilon represents a sufficiently small real number. In practical applications, as soon as epsilon becomes negligible compared to the distances involved in the problem, it becomes impossible to distinguish between these alternative representations and the usual definition of Dirac as a distribution. In the opposite case, the use of Dirac in the formulation of a problem may be inconvenient, and replacing Dirac(x) by any of these alternative or analogous but more regular representations, with an extremely small epsilon but not strictly zero, may be appropriate.
Some basic properties of the Dirac function are
'Dirac(-x)' = Dirac(-x);
Dirac(c*x) = 1/abs(c)*Dirac(x);
and, more generally:
Dirac(g(x)) = Sum(1/abs(D(g)(rho[j]))*Dirac(x-rho[j]),j = 1 .. N);
where rho[j] represents any real and simple zero of g(x) and N is the number of zeros (roots). Note: if g(x) has multiple zeros (hence g' at rho[j] is equal to 0 for some j), the expression Dirac(g(x)) is meaningless.
The following identity is relevant
g(x)*Dirac(x-x0) = g(x0)*Dirac(x-x0);
so that taking x0=0 we see that the equation x⁢u⁡x=0 has for solution u⁡x=c⁢Dirac⁡x, where c is an arbitrary constant.
A relevant formula in applications in physics is the fourier transform of Dirac(x)
Int(Dirac(x-x0)*exp(-I*x*p), x = -infinity .. infinity) = inttrans[fourier](Dirac(x-x0), x, p);
Derivatives of the Dirac function are denoted by the two-argument Dirac function. In the one-dimensional case, the first argument denotes the order of the derivative. For example, diff(Dirac(x), x$n) is automatically represented by Dirac(n, x) for any integer n.
Starting with the definition of Dirac(x) and integrating by parts, the derivative of Dirac(x) is defined as
and is an odd function of x
'Dirac(1,-x)' = Dirac(1,-x);
x*Dirac(1,x) = -Dirac(x);
where n represents a non-negative integer.
An explicit, formal, definition of the derivative of the Dirac delta function is given by its integral representation:
Dirac⁡n,x=12⁢Int⁡exp⁡I⁢_k1⁢x⁢I⁢_k1n,_k1=−∞..∞π,with no restrictions on ⁡n,x
In the multidimensional case, Dirac is still a function of two arguments, each one being a list, both lists having the same number of operands, the first one containing non-negative integers representing the differentiation order with respect to each of the operands of the second list. This is a natural generalization of the one-dimensional case. In both cases, the differentiation order could also be represented by an arbitrary algebraic expression, whose domain is supposed to be the non-negative integers.
The Heaviside function is the anti-derivative of Dirac in that
These functions are frequently used in the context of integral transforms, for example, laplace, mellin, or fourier, or theoretical physics, for example, in quantum mechanics - see ref. at the end.
One-dimensional case: basic property related to definite integrals
The relation with Heaviside upon indefinite integration
Note that this relation does not fix the value of Heaviside at zero.
Multidimensional case: basic properties
The derivative of the multidimensional Dirac
Cohen-Tannoudji, C.; Diu, B.; and Laloe, F. Quantum Mechanics, Appendix II. Paris: Hermann, 1977.
Download Help Document