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 other functions obtained by scaling and shifting, and the function in this article is the unit ramp function (slope 1, starting at 0).

In mathematics, the ramp function is also known as the positive part.

In machine learning, it is commonly known as a ReLU activation function^[1]^[2] or a rectifier in analogy to half-wave rectification in electrical engineering. In statistics (when used as a likelihood function) it is known as a tobit model.

This function has numerous applications in mathematics and engineering, and goes by various names, depending on the context. There are differentiable variants of the ramp function.

Definitions

The ramp function ( $R (x) : R \to R 0 +$ ) may be defined analytically in several ways. Possible definitions are:

A piecewise function: $R(x):={\begin{cases}x,&x\geq 0;\\0,&x<0\end{cases}}$
Using the Iverson bracket notation: $R(x):=x\cdot [x\geq 0]$ or $R(x):=x\cdot [x>0]$
The max function: $R(x):=\max(x,0)$
The mean of an independent variable and its absolute value (a straight line with unity gradient and its modulus): $R(x):={\frac {x+|x|}{2}}$ this can be derived by noting the following definition of $max(a, b)$ , $\max(a,b)={\frac {a+b+|a-b|}{2}}$ for which $a = x$ and $b = 0$
The Heaviside step function multiplied by a straight line with unity gradient: $R\left(x\right):=xH(x)$
The convolution of the Heaviside step function with itself: $R\left(x\right):=H(x)*H(x)$
The integral of the Heaviside step function:^[3] $R(x):=\int _{-\infty }^{x}H(\xi )\,d\xi$
Macaulay brackets: $R(x):=\langle x\rangle$
The positive part of the identity function: $R:=\operatorname {id} ^{+}$
As a limit function: $R\left(x\right):=\lim _{a\to \infty }{\begin{cases}{\frac {1}{a}},\quad x=0\\{\dfrac {x}{1-e^{-ax}}},\quad x\neq 0\end{cases}}$

It could approximated as close as desired by choosing an increasing positive value $a>0$ .

Applications

The ramp function has numerous applications in engineering, such as in the theory of digital signal processing.

In finance, the payoff of a call option is a ramp (shifted by strike price). Horizontally flipping a ramp yields a put option, while vertically flipping (taking the negative) corresponds to selling or being "short" an option. In finance, the shape is widely called a "hockey stick", due to the shape being similar to an ice hockey stick.

In statistics, hinge functions of multivariate adaptive regression splines (MARS) are ramps, and are used to build regression models.

Analytic properties

Non-negativity

In the whole domain the function is non-negative, so its absolute value is itself, i.e. $\forall x\in \mathbb {R} :R(x)\geq 0$ and $\left|R(x)\right|=R(x)$

Proof

by the mean of definition 2, it is non-negative in the first quarter, and zero in the second; so everywhere it is non-negative.

Derivative

Its derivative is the Heaviside step function: $R'(x)=H(x)\quad {\mbox{for }}x\neq 0.$

Second derivative

The ramp function satisfies the differential equation: ${\frac {d^{2}}{dx^{2}}}R(x-x_{0})=\delta (x-x_{0}),$ where $δ (x)$ is the Dirac delta. This means that $R (x)$ is a Green's function for the second derivative operator. Thus, any function, $f (x)$ , with an integrable second derivative, $f ″(x)$ , will satisfy the equation: $f(x)=f(a)+(x-a)f'(a)+\int _{a}^{b}R(x-s)f''(s)\,ds\quad {\mbox{for }}a<x<b.$

Fourier transform

${\mathcal {F}}{\big \{}R(x){\big \}}(f)=\int _{-\infty }^{\infty }R(x)e^{-2\pi ifx}\,dx={\frac {i\delta '(f)}{4\pi }}-{\frac {1}{4\pi ^{2}f^{2}}},$ where $δ (x)$ is the Dirac delta (in this formula, its derivative appears).

Laplace transform

The single-sided Laplace transform of $R (x)$ is given as follows,^[4] ${\mathcal {L}}{\big \{}R(x){\big \}}(s)=\int _{0}^{\infty }e^{-sx}R(x)dx={\frac {1}{s^{2}}}.$

Algebraic properties

Iteration invariance

Every iterated function of the ramp mapping is itself, as $R{\big (}R(x){\big )}=R(x).$