HOME

TheInfoList



OR:

The Heaviside step function, or the unit step function, usually denoted by or (but sometimes , or ), is a
step function In mathematics, a function on the real numbers is called a step function if it can be written as a finite linear combination of indicator functions of intervals. Informally speaking, a step function is a piecewise constant function having only ...
, named after
Oliver Heaviside Oliver Heaviside FRS (; 18 May 1850 – 3 February 1925) was an English self-taught mathematician and physicist who invented a new technique for solving differential equations (equivalent to the Laplace transform), independently developed vec ...
(1850–1925), the value of which is
zero 0 (zero) is a number representing an empty quantity. In place-value notation Positional notation (or place-value notation, or positional numeral system) usually denotes the extension to any base of the Hindu–Arabic numeral system (or ...
for negative arguments and one for positive arguments. It is an example of the general class of
step function In mathematics, a function on the real numbers is called a step function if it can be written as a finite linear combination of indicator functions of intervals. Informally speaking, a step function is a piecewise constant function having only ...
s, all of which can be represented as linear combinations of translations of this one. The function was originally developed in
operational calculus Operational calculus, also known as operational analysis, is a technique by which problems in analysis, in particular differential equations, are transformed into algebraic problems, usually the problem of solving a polynomial equation. History Th ...
for the solution of
differential equation In mathematics, a differential equation is an equation that relates one or more unknown functions and their derivatives. In applications, the functions generally represent physical quantities, the derivatives represent their rates of change, an ...
s, where it represents a signal that switches on at a specified time and stays switched on indefinitely.
Oliver Heaviside Oliver Heaviside FRS (; 18 May 1850 – 3 February 1925) was an English self-taught mathematician and physicist who invented a new technique for solving differential equations (equivalent to the Laplace transform), independently developed vec ...
, who developed the operational calculus as a tool in the analysis of telegraphic communications, represented the function as . The Heaviside function may be defined as: * a piecewise function: H(x) := \begin 1, & x > 0 \\ 0, & x \le 0 \end * using the Iverson bracket notation: H(x) := >0/math> * an
indicator function In mathematics, an indicator function or a characteristic function of a subset of a set is a function that maps elements of the subset to one, and all other elements to zero. That is, if is a subset of some set , one has \mathbf_(x)=1 if x\i ...
: H(x) := \mathbf_=\mathbf 1_(x) * the derivative of the
ramp function The ramp function is a unary real function, whose graph is shaped like a ramp. It can be expressed by numerous definitions, for example "0 for negative inputs, output equals input for non-negative inputs". The term "ramp" can also be used for o ...
: H(x) := \frac \max \\quad \mbox x \ne 0 The
Dirac delta function In mathematics, the Dirac delta distribution ( distribution), also known as the unit impulse, is a generalized function or distribution over the real numbers, whose value is zero everywhere except at zero, and whose integral over the entire ...
is the
derivative In mathematics, the derivative of a function of a real variable measures the sensitivity to change of the function value (output value) with respect to a change in its argument (input value). Derivatives are a fundamental tool of calculus. F ...
of the Heaviside function \delta(x)= \frac H(x) Hence the Heaviside function can be considered to be the
integral In mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented i ...
of the Dirac delta function. This is sometimes written as H(x) := \int_^x \delta(s)\,ds although this expansion may not hold (or even make sense) for , depending on which formalism one uses to give meaning to integrals involving . In this context, the Heaviside function is the
cumulative distribution function In probability theory and statistics, the cumulative distribution function (CDF) of a real-valued random variable X, or just distribution function of X, evaluated at x, is the probability that X will take a value less than or equal to x. Ev ...
of a
random variable A random variable (also called random quantity, aleatory variable, or stochastic variable) is a mathematical formalization of a quantity or object which depends on random events. It is a mapping or a function from possible outcomes (e.g., the po ...
which is
almost surely In probability theory, an event is said to happen almost surely (sometimes abbreviated as a.s.) if it happens with probability 1 (or Lebesgue measure 1). In other words, the set of possible exceptions may be non-empty, but it has probability 0. ...
0. (See
constant random variable In mathematics, a degenerate distribution is, according to some, a probability distribution in a space with support only on a manifold of lower dimension, and according to others a distribution with support only at a single point. By the latter d ...
.) In operational calculus, useful answers seldom depend on which value is used for , since is mostly used as a
distribution Distribution may refer to: Mathematics *Distribution (mathematics), generalized functions used to formulate solutions of partial differential equations * Probability distribution, the probability of a particular value or value range of a vari ...
. 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. Approximations to the Heaviside step function are of use in
biochemistry Biochemistry or biological chemistry is the study of chemical processes within and relating to living organisms. A sub-discipline of both chemistry and biology, biochemistry may be divided into three fields: structural biology, enzymology and ...
and
neuroscience Neuroscience is the scientific study of the nervous system (the brain, spinal cord, and peripheral nervous system), its functions and disorders. It is a multidisciplinary science that combines physiology, anatomy, molecular biology, development ...
, where logistic approximations of step functions (such as the
Hill A hill is a landform that extends above the surrounding terrain. It often has a distinct Summit (topography), summit. Terminology The distinction between a hill and a mountain is unclear and largely subjective, but a hill is universally con ...
and the Michaelis–Menten equations) may be used to approximate binary cellular switches in response to chemical signals.


Analytic approximations

For a
smooth Smooth may refer to: Mathematics * Smooth function, a function that is infinitely differentiable; used in calculus and topology * Smooth manifold, a differentiable manifold for which all the transition maps are smooth functions * Smooth algebrai ...
approximation to the step function, one can use the
logistic function A logistic function or logistic curve is a common S-shaped curve (sigmoid curve) with equation f(x) = \frac, where For values of x in the domain of real numbers from -\infty to +\infty, the S-curve shown on the right is obtained, with the ...
H(x) \approx \tfrac + \tfrac\tanh kx = \frac, where a larger corresponds to a sharper transition at . If we take , equality holds in the limit: H(x)=\lim_\tfrac(1+\tanh kx)=\lim_\frac. There are many other smooth, analytic approximations to the step function. Among the possibilities are: \begin H(x) &= \lim_ \left(\tfrac + \tfrac\arctan kx\right)\\ H(x) &= \lim_\left(\tfrac + \tfrac12\operatorname kx\right) \end These limits hold
pointwise In mathematics, the qualifier pointwise is used to indicate that a certain property is defined by considering each value f(x) of some function f. An important class of pointwise concepts are the ''pointwise operations'', that is, operations defined ...
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 In probability theory and statistics, the cumulative distribution function (CDF) of a real-valued random variable X, or just distribution function of X, evaluated at x, is the probability that X will take a value less than or equal to x. Ev ...
of a
continuous Continuity or continuous may refer to: Mathematics * Continuity (mathematics), the opposing concept to discreteness; common examples include ** Continuous probability distribution or random variable in probability and statistics ** Continuous ...
probability distribution In probability theory and statistics, a probability distribution is the mathematical function that gives the probabilities of occurrence of different possible outcomes for an experiment. It is a mathematical description of a random phenomenon i ...
that is peaked around zero and has a parameter that controls for
variance In probability theory and statistics, variance is the expectation of the squared deviation of a random variable from its population mean or sample mean. Variance is a measure of dispersion, meaning it is a measure of how far a set of numbers ...
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 In probability theory and statistics, the cumulative distribution function (CDF) of a real-valued random variable X, or just distribution function of X, evaluated at x, is the probability that X will take a value less than or equal to x. Ever ...
of common probability distributions: the logistic,
Cauchy Baron Augustin-Louis Cauchy (, ; ; 21 August 178923 May 1857) was a French mathematician, engineer, and physicist who made pioneering contributions to several branches of mathematics, including mathematical analysis and continuum mechanics. He w ...
and
normal Normal(s) or The Normal(s) may refer to: Film and television * ''Normal'' (2003 film), starring Jessica Lange and Tom Wilkinson * ''Normal'' (2007 film), starring Carrie-Anne Moss, Kevin Zegers, Callum Keith Rennie, and Andrew Airlie * ''Norma ...
distributions, respectively.


Integral representations

Often an
integral In mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented i ...
representation of the Heaviside step function is useful: \begin H(x)&=\lim_ -\frac\int_^\infty \frac e^ d\tau \\ &=\lim_ \frac\int_^\infty \frac e^ d\tau. \end where the second representation is easy to deduce from the first, given that the step function is real and thus is its own complex conjugate.


Zero argument

Since 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 . Indeed when is considered as a
distribution Distribution may refer to: Mathematics *Distribution (mathematics), generalized functions used to formulate solutions of partial differential equations * Probability distribution, the probability of a particular value or value range of a vari ...
or an element of (see space) it does not even make sense to talk of a value at zero, since such objects are only defined
almost everywhere In measure theory (a branch of mathematical analysis), a property holds almost everywhere if, in a technical sense, the set for which the property holds takes up nearly all possibilities. The notion of "almost everywhere" is a companion notion to ...
. 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. * is often used since the
graph Graph may refer to: Mathematics *Graph (discrete mathematics), a structure made of vertices and edges **Graph theory, the study of such graphs and their properties *Graph (topology), a topological space resembling a graph in the sense of discre ...
then has rotational symmetry; put another way, is then an
odd function In mathematics, even functions and odd functions are functions which satisfy particular symmetry relations, with respect to taking additive inverses. They are important in many areas of mathematical analysis, especially the theory of power seri ...
. In this case the following relation with the
sign function In mathematics, the sign function or signum function (from '' signum'', Latin for "sign") is an odd mathematical function that extracts the sign of a real number. In mathematical expressions the sign function is often represented as . To avoi ...
holds for all : H(x) = \tfrac12(1 + \sgn x). * is used when needs to be
right-continuous In mathematics, a continuous function is a function such that a continuous variation (that is a change without jump) of the argument induces a continuous variation of the value of the function. This means that there are no abrupt changes in value ...
. For instance
cumulative distribution function In probability theory and statistics, the cumulative distribution function (CDF) of a real-valued random variable X, or just distribution function of X, evaluated at x, is the probability that X will take a value less than or equal to x. Ev ...
s are usually taken to be right continuous, as are functions integrated against in
Lebesgue–Stieltjes integration In measure-theoretic analysis and related branches of mathematics, Lebesgue–Stieltjes integration generalizes both Riemann–Stieltjes and Lebesgue integration, preserving the many advantages of the former in a more general measure-theoretic f ...
. In this case is the
indicator function In mathematics, an indicator function or a characteristic function of a subset of a set is a function that maps elements of the subset to one, and all other elements to zero. That is, if is a subset of some set , one has \mathbf_(x)=1 if x\i ...
of a
closed Closed may refer to: Mathematics * Closure (mathematics), a set, along with operations, for which applying those operations on members always results in a member of the set * Closed set, a set which contains all its limit points * Closed interval, ...
semi-infinite interval: H(x) = \mathbf_(x). The corresponding probability distribution is the
degenerate distribution In mathematics, a degenerate distribution is, according to some, a probability distribution in a space with support only on a manifold of lower dimension, and according to others a distribution with support only at a single point. By the latter ...
. * is used when needs to be
left-continuous In mathematics, a continuous function is a function such that a continuous variation (that is a change without jump) of the argument induces a continuous variation of the value of the function. This means that there are no abrupt changes in value ...
. In this case is an indicator function of an
open Open or OPEN may refer to: Music * Open (band), Australian pop/rock band * The Open (band), English indie rock band * ''Open'' (Blues Image album), 1969 * ''Open'' (Gotthard album), 1999 * ''Open'' (Cowboy Junkies album), 2001 * ''Open'' (YF ...
semi-infinite interval: H(x) = \mathbf_(x). * In functional-analysis contexts from optimization and game theory, it is often useful to define the Heaviside function as a
set-valued function A set-valued function (or correspondence) is a mathematical function that maps elements from one set, the domain of the function, to subsets of another set. Set-valued functions are used in a variety of mathematical fields, including optimizatio ...
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, .


Discrete form

An alternative form of the unit step, defined instead as a function (that is, taking in a discrete variable ), is: H \begin 0, & n < 0, \\ 1, & n \ge 0, \end or using the half-maximum convention: H \begin 0, & n < 0, \\ \tfrac12, & n = 0,\\ 1, & n > 0, \end where is an
integer An integer is the number zero (), a positive natural number (, , , etc.) or a negative integer with a minus sign (−1, −2, −3, etc.). The negative numbers are the additive inverses of the corresponding positive numbers. In the language ...
. If is an integer, then must imply that , while must imply that the function attains unity at . Therefore the "step function" exhibits ramp-like behavior over the domain of , and cannot authentically be a step function, using the half-maximum convention. Unlike the continuous case, the definition of is significant. The discrete-time unit impulse is the first difference of the discrete-time step \delta = H - H -1 This function is the cumulative summation of the
Kronecker delta In mathematics, the Kronecker delta (named after Leopold Kronecker) is a function of two variables, usually just non-negative integers. The function is 1 if the variables are equal, and 0 otherwise: \delta_ = \begin 0 &\text i \neq j, \\ 1 &\ ...
: H = \sum_^ \delta where \delta = \delta_ is the discrete unit impulse function.


Antiderivative and derivative

The
ramp function The ramp function is a unary real function, whose graph is shaped like a ramp. It can be expressed by numerous definitions, for example "0 for negative inputs, output equals input for non-negative inputs". The term "ramp" can also be used for o ...
is an
antiderivative In calculus, an antiderivative, inverse derivative, primitive function, primitive integral or indefinite integral of a function is a differentiable function whose derivative is equal to the original function . This can be stated symbolically ...
of the Heaviside step function: \int_^ H(\xi)\,d\xi = x H(x) = \max\ \,. The
distributional derivative Distributions, also known as Schwartz distributions or generalized functions, are objects that generalize the classical notion of functions in mathematical analysis. Distributions make it possible to derivative, differentiate functions whose de ...
of the Heaviside step function is the
Dirac delta function In mathematics, the Dirac delta distribution ( distribution), also known as the unit impulse, is a generalized function or distribution over the real numbers, whose value is zero everywhere except at zero, and whose integral over the entire ...
: \frac = \delta(x) \,.


Fourier transform

The
Fourier transform A Fourier transform (FT) is a mathematical transform that decomposes functions into frequency components, which are represented by the output of the transform as a function of frequency. Most commonly functions of time or space are transformed, ...
of the Heaviside step function is a distribution. Using one choice of constants for the definition of the Fourier transform we have \hat(s) = \lim_\int^N_ e^ H(x)\,dx = \frac \left( \delta(s) - \frac \operatorname\frac \right). Here is the
distribution Distribution may refer to: Mathematics *Distribution (mathematics), generalized functions used to formulate solutions of partial differential equations * Probability distribution, the probability of a particular value or value range of a vari ...
that takes a test function to the
Cauchy principal value In mathematics, the Cauchy principal value, named after Augustin Louis Cauchy, is a method for assigning values to certain improper integrals which would otherwise be undefined. Formulation Depending on the type of singularity in the integrand , ...
of \textstyle\int_^\infty \frac \, ds. The limit appearing in the integral is also taken in the sense of (tempered) distributions.


Unilateral Laplace transform

The
Laplace transform In mathematics, the Laplace transform, named after its discoverer Pierre-Simon Laplace (), is an integral transform In mathematics, an integral transform maps a function from its original function space into another function space via integra ...
of the Heaviside step function is a
meromorphic function In the mathematical field of complex analysis, a meromorphic function on an open subset ''D'' of the complex plane is a function that is holomorphic on all of ''D'' ''except'' for a set of isolated points, which are pole (complex analysis), pole ...
. Using the unilateral Laplace transform we have: \begin \hat(s) &= \lim_\int^N_ e^ H(x)\,dx\\ &= \lim_\int^N_ e^ \,dx\\ &= \frac \end When the bilateral transform is used, the integral can be split in two parts and the result will be the same.


Other expressions

The Heaviside step function can be represented as a
hyperfunction In mathematics, hyperfunctions are generalizations of functions, as a 'jump' from one holomorphic function to another at a boundary, and can be thought of informally as distributions of infinite order. Hyperfunctions were introduced by Mikio Sato ...
as H(x) = \left(1-\frac\log z,\ -\frac\log z\right). where is the principal value of the complex logarithm of . It can also be expressed for in terms of the
absolute value In mathematics, the absolute value or modulus of a real number x, is the non-negative value without regard to its sign. Namely, , x, =x if is a positive number, and , x, =-x if x is negative (in which case negating x makes -x positive), an ...
function as H(x) = \frac \,.


See also

*
Dirac delta function In mathematics, the Dirac delta distribution ( distribution), also known as the unit impulse, is a generalized function or distribution over the real numbers, whose value is zero everywhere except at zero, and whose integral over the entire ...
*
Indicator function In mathematics, an indicator function or a characteristic function of a subset of a set is a function that maps elements of the subset to one, and all other elements to zero. That is, if is a subset of some set , one has \mathbf_(x)=1 if x\i ...
* Iverson bracket *
Laplace transform In mathematics, the Laplace transform, named after its discoverer Pierre-Simon Laplace (), is an integral transform In mathematics, an integral transform maps a function from its original function space into another function space via integra ...
*
Laplacian of the indicator In mathematics, the Laplacian of the indicator of the domain ''D'' is a generalisation of the derivative of the Dirac delta function to higher dimensions, and is non-zero only on the ''surface'' of ''D''. It can be viewed as the ''surface delta pr ...
*
List of mathematical functions In mathematics, some functions or groups of functions are important enough to deserve their own names. This is a listing of articles which explain some of these functions in more detail. There is a large theory of special functions which developed ...
*
Macaulay brackets Macaulay brackets are a notation used to describe the ramp function :\ = \begin 0, & x < 0 \\ x, & x \ge 0. \end A popular alternative transcription uses angle brackets, ''viz.'' \langle x \rangle.Negative number In mathematics, a negative number represents an opposite. In the real number system, a negative number is a number that is less than zero. Negative numbers are often used to represent the magnitude of a loss or deficiency. A debt that is owed m ...
*
Rectangular function The rectangular function (also known as the rectangle function, rect function, Pi function, Heaviside Pi function, gate function, unit pulse, or the normalized boxcar function) is defined as \operatorname(t) = \Pi(t) = \left\{\begin{array}{r ...
*
Sign function In mathematics, the sign function or signum function (from '' signum'', Latin for "sign") is an odd mathematical function that extracts the sign of a real number. In mathematical expressions the sign function is often represented as . To avoi ...
*
Sine integral In mathematics, trigonometric integrals are a indexed family, family of integrals involving trigonometric functions. Sine integral The different sine integral definitions are \operatorname(x) = \int_0^x\frac\,dt \operatorname(x) = -\int ...
*
Step response The step response of a system in a given initial state consists of the time evolution of its outputs when its control inputs are Heaviside step functions. In electronic engineering and control theory, step response is the time behaviour of the out ...


References


External links

* Digital Library of Mathematical Functions, NIST

* * * * {{DEFAULTSORT:Heaviside Step Function Special functions Generalized functions