Heaviside step function: Difference between revisions
HerrHartmuth (talk | contribs) →Antiderivative and derivative: math typesetting |
corrected minor grammar mistake- wrong attribute |
||
Line 2: | Line 2: | ||
[[Image:Dirac distribution CDF.svg|325px|thumb|The Heaviside step function, using the half-maximum convention]] |
[[Image:Dirac distribution CDF.svg|325px|thumb|The Heaviside step function, using the half-maximum convention]] |
||
The '''Heaviside step function''', or the '''unit step function''', usually denoted by {{mvar|H}} or {{mvar|θ}} (but sometimes {{mvar|u}}, {{math|'''1'''}} or {{math|𝟙}}), is a [[continuous function|discontinuous]] [[Function (mathematics)|function]] named after [[Oliver Heaviside]] (1850–1925), whose value is [[0 (number)|zero]] for negative argument and [[1 (number)|one]] for positive argument. It is an example of the general class of [[step function]]s, all of which can be represented as [[Linear combination|linear combinations]] of translations of this one. |
The '''Heaviside step function''', or the '''unit step function''', usually denoted by {{mvar|H}} or {{mvar|θ}} (but sometimes {{mvar|u}}, {{math|'''1'''}} or {{math|𝟙}}), is a [[continuous function|discontinuous]] [[Function (mathematics)|function]], named after [[Oliver Heaviside]] (1850–1925), whose value is [[0 (number)|zero]] for negative argument and [[1 (number)|one]] for positive argument. It is an example of the general class of [[step function]]s, all of which can be represented as [[Linear combination|linear combinations]] of translations of this one. |
||
The function was originally developed in [[operational calculus]] for the solution of [[differential equation]]s, where it represents a signal that switches on at a specified time and stays switched on indefinitely. [[Oliver Heaviside]], who developed the operational calculus as a tool in the analysis of telegraphic communications, represented the function as {{math|'''1'''}}. |
The function was originally developed in [[operational calculus]] for the solution of [[differential equation]]s, where it represents a signal that switches on at a specified time and stays switched on indefinitely. [[Oliver Heaviside]], who developed the operational calculus as a tool in the analysis of telegraphic communications, represented the function as {{math|'''1'''}}. |
Revision as of 16:39, 28 September 2018
This article needs additional citations for verification. (December 2012) |
![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/d9/Dirac_distribution_CDF.svg/325px-Dirac_distribution_CDF.svg.png)
The Heaviside step function, or the unit step function, usually denoted by H or θ (but sometimes u, 1 or 𝟙), is a discontinuous function, named after Oliver Heaviside (1850–1925), whose value is zero for negative argument and one for positive argument. It is an example of the general class of step functions, all of which can be represented as linear combinations of translations of this one.
The function was originally developed in operational calculus for the solution of differential equations, where it represents a signal that switches on at a specified time and stays switched on indefinitely. Oliver Heaviside, who developed the operational calculus as a tool in the analysis of telegraphic communications, represented the function as 1.
The simplest definition of the Heaviside function is as the derivative of the ramp function:
The Heaviside function can also be defined as the integral of the Dirac delta function: H′ = δ. This is sometimes written as
although this expansion may not hold (or even make sense) for x = 0, depending on which formalism one uses to give meaning to integrals involving δ. In this context, the Heaviside function is the cumulative distribution function of a random variable which is almost surely 0. (See constant random variable.)
In operational calculus, useful answers seldom depend on which value is used for H(0), since H is mostly used as a distribution. However, the choice may have some important consequences in functional analysis and game theory, where more general forms of continuity are considered. Some common choices can be seen below.
Discrete form
An alternative form of the unit step, as a function of a discrete variable n:
or using the half-maximum convention: [1]
where n is an integer. Unlike the usual (not discrete) case, the definition of H[0] is significant.
The discrete-time unit impulse is the first difference of the discrete-time step
This function is the cumulative summation of the Kronecker delta:
where
is the discrete unit impulse function.
Analytic approximations
For a smooth approximation to the step function, one can use the logistic function
where a larger k corresponds to a sharper transition at x = 0. If we take H(0) = 1/2, equality holds in the limit:
There are many other smooth, analytic approximations to the step function.[2] Among the possibilities are:
These limits hold pointwise and in the sense of distributions. In general, however, pointwise convergence need not imply distributional convergence, and vice versa distributional convergence need not imply pointwise convergence. (However, if all members of a pointwise convergent sequence of functions are uniformly bounded by some "nice" function, then convergence holds in the sense of distributions too.)
In general, any cumulative distribution function of a continuous probability distribution that is peaked around zero and has a parameter that controls for variance can serve as an approximation, in the limit as the variance approaches zero. For example, all three of the above approximations are cumulative distribution functions of common probability distributions: The logistic, Cauchy and normal distributions, respectively.
Integral representations
Often an integral representation of the Heaviside step function is useful:
Zero argument
Since H is usually used in integration, and the value of a function at a single point does not affect its integral, it rarely matters what particular value is chosen of H(0). Indeed when H is considered as a distribution or an element of L∞ (see Lp space) it does not even make sense to talk of a value at zero, since such objects are only defined almost everywhere. If using some analytic approximation (as in the examples above) then often whatever happens to be the relevant limit at zero is used.
There exist various reasons for choosing a particular value.
- H(0) = 1/2 is often used since the graph then has rotational symmetry; put another way, H − 1/2 is then an odd function. In this case the following relation with the sign function holds for all x:
- H(0) = 1 is used when H needs to be right-continuous. For instance cumulative distribution functions are usually taken to be right continuous, as are functions integrated against in Lebesgue–Stieltjes integration. In this case H is the indicator function of a closed semi-infinite interval:
- The corresponding probability distribution is the degenerate distribution.
- H(0) = 0 is used when H needs to be left-continuous. In this case H is an indicator function of an open semi-infinite interval:
- In functional-analysis contexts from optimization and game theory, it is often useful to define the Heaviside function as a set-valued function to preserve the continuity of the limiting functions and ensure the existence of certain solutions. In these cases, the Heaviside function returns a whole interval of possible solutions, H(0) = [0,1].
Antiderivative and derivative
The ramp function is the antiderivative of the Heaviside step function:
The distributional derivative of the Heaviside step function is the Dirac delta function:
Fourier transform
The Fourier transform of the Heaviside step function is a distribution. Using one choice of constants for the definition of the Fourier transform we have
Here p.v.1/s is the distribution that takes a test function φ to the Cauchy principal value of ∫∞
−∞ φ(s)/s ds. The limit appearing in the integral is also taken in the sense of (tempered) distributions.
Unilateral Laplace transform
The Laplace transform of the Heaviside step function is a meromorphic function. Using the unilateral Laplace transform we have:
When bilateral transform is used, the integral can be split in two parts and the result will be the same.
Hyperfunction representation
This can be represented as a hyperfunction as
See also
- Rectangular function
- Step response
- Sign function
- Negative number
- Laplace transform
- Iverson bracket
- Laplacian of the indicator
- Macaulay brackets
- Sine integral
- Dirac delta function
References
- ^ Bracewell, Ronald Newbold (2000). The Fourier transform and its applications (3rd ed.). New York: New York: McGraw-Hill. p. 61. ISBN 0-07-303938-1.
{{cite book}}
: Cite has empty unknown parameters:|dead-url=
and|subscription=
(help) - ^ Weisstein, Eric W. "Heaviside Step Function". MathWorld.
External links
![](http://upload.wikimedia.org/wikipedia/en/thumb/4/4a/Commons-logo.svg/30px-Commons-logo.svg.png)
- Digital Library of Mathematical Functions, NIST, [1].
- Ernst Julius Berg (1936) Heaviside's Operational Calculus, as applied to Engineering and Physics, "Unit function", page 5, McGraw-Hill Education.
- James B. Calvert (2002) Heaviside, Laplace, and the Inversion Integral, from University of Denver.
- Brian Davies (1978, 1985, 2002) Integral Transforms and their Applications, 3rd edition, page 28 "Heaviside step function", Springer.
- George F. D. Duff & D. Naylor (1966) Differential Equations of Applied Mathematics, page 42 "Heaviside unit function", John Wiley & Sons.