The Heaviside step function is a mathematical function denoted , or sometimes
or
(Abramowitz and Stegun 1972, p. 1020), and also known as the "unit step function." The term "Heaviside step function" and its symbol can represent either a piecewise constant function or a generalized function.
When defined as a piecewise constant function, the Heaviside step function is given by
| (1) |
(Abramowitz and Stegun 1972, p. 1020; Bracewell 2000, p. 61). The plot above shows this function (left figure), and how it would appear if displayed on an oscilloscope (right figure).
When defined as a generalized function, it can be defined as a function such that
| (2) |
for the derivative of a sufficiently smooth function
that decays sufficiently quickly (Kanwal 1998).
The Wolfram Language represents the Heaviside generalized function as HeavisideTheta, while using UnitStep to represent the piecewise function Piecewise[1, x >= 0
] (which, it should be noted, adopts the convention
instead of the conventional definition
).
The shorthand notation
| (3) |
is sometimes also used.
The Heaviside step function is related to the boxcar function by
| (4) |
and can be defined in terms of the sign function by
| (5) |
The derivative of the step function is given by
| (6) |
where is the delta function (Bracewell 2000, p. 97).
The Heaviside step function is related to the ramp function by
| (7) |
and to the derivative of by
| (8) |
The two are also connected through
| (9) |
where denotes convolution.
Bracewell (2000) gives many identities, some of which include the following. Letting denote the convolution,
| (10) |
| (11) | |||
| (12) | |||
| (13) | |||
| (14) |
In addition,
| (15) | |||
| (16) |
The Heaviside step function can be defined by the following limits,
| (17) | |||
| (18) | |||
| (19) | |||
| (20) | |||
| (21) | |||
| (22) | |||
| (23) | |||
| (24) | |||
| (25) | |||
| (26) | |||
| (27) |
where is the erfc function,
is the sine integral,
is the sinc function, and
is the one-argument triangle function. The first four of these are illustrated above for
, 0.1, and 0.01.
Of course, any monotonic function with constant unequal horizontal asymptotes is a Heaviside step function under appropriate scaling and possible reflection. The Fourier transform of the Heaviside step function is given by
| (28) | |||
| (29) |
where is the delta function.