Introduction
The Ramp Function the notation of which is R(
), where
denotes the argument, is a discontinuous single - valued function of a real variable with a point discontinuity located at zero. For negative arguments the output of this function is zero, whilst for positive arguments R(
) is simply
[
1,
2].
In addition, its first derivative with respect to
is the Heaviside Step Function, also known as the Unit Step Function, the notation of which is
. Heaviside Function is commonly used in the mathematics of control theory as well as in signal processing in order to represent a signal that switches on at a specified time and stays switched on indefinitely [
2,
3]. Heaviside Step Function, represents a sudden change in value at a specific point. Moreover, it is commonly used in engineering and applied physics to model discontinuous events. Indeed, it has many applications in signal processing, control systems, and circuit analysis. For instance, it is used to model events such as turning on or off a switch, sudden changes in voltage or current, and the activation of a system based on a threshold value. Another example of the utility of the Unit Step Function is in electrical circuits, where it can be used to model the behavior of a switch. Moreover, in control systems, it can represent the activation of a system when a certain condition is met. It can also be used in signal processing to model the sharp rise or fall of a signal.
Besides, the second derivative of Ramp Function is the Dirac delta distribution (or δ distribution), also known as the unit impulse [
4,
5]. Step, Ramp and parabolic functions are called singularity functions [
4,
5]. Nonetheless, regardless of its name the Dirac delta function does not constitute truly a function and indeed Heaviside Step Function is not stringently differentiable. For a rigorous treatment of the Dirac delta distribution elements of Measure Theory are required [
5]. In fact, both Heaviside Step Function and Ramp Function have many applications in applied sciences and engineering and are mainly involved in digital signal processing and electrical engineering. Actually, Heaviside Step Function may serve as a test input signal for characterizing the response of linear systems throughout linear system theory and feedback control theory. In addition, it may serve as a multiplicative weighting function to create causal (one-sided) functions [
4,
5]. For instance, a causal exponential time function may be expressed as follows
Besides, Ramp Function constitutes a signal the amplitude of which varies linearly with respect to time and can be expressed by several definitions [
4]. In digital signal processing, the unit ramp function is a discrete time signal that starts from zero and increases linearly.
Meanwhile, one may remark that a signal is defined as a physical phenomenon which carries some information or data [
6]. The signals are usually functions of independent variable time. Nonetheless there are some cases where the signals are not functions of time. For instance, the electrical charge distributed in a body constitutes a signal which is a function of space and not time.
The signal that is specified for every value of time t is called continuous-time signal whilst the signal that is specified at a discrete value of time is called discrete-time signal.
Basic signals play a very important role in signals and systems analysis. The basic continuous time signals are as follows [
7,
8]: 1. Unit impulse function. 2. Unit step function. 3. Unit ramp function. 4. Unit parabolic function. 5. Unit rectangular pulse (or Gate) function. 6. Unit area triangular function. 7. Unit signum function. 8. Unit Sinc function. 9. Sinusoidal signal. 10. Real exponential signal. 11. Complex exponential signal.
It is worth noting, that the basic Continuous - Time (CT) and Discrete - Time (DT) signals include impulse, step, ramp, parabolic, rectangular pulse, triangular pulse, signum function, sinc function, sinusoid and finally real along with complex exponentials [
6,
7,
8]. Ramp Function states that the signal will start from time zero and instantly will take a slant shape and depending upon given time characteristics (i.e. either positive or negative, here positive) the signal will follow the straight slant path either towards right or left, here towards right [
7,
8,
9]. In this context, the ramp function constitutes a type of elementary function which exists only for the positive side and is zero for negative [
8,
9,
10]. Moreover, the impulse function is obtained by differentiating the ramp function twice [
9,
10]. On the other hand, it is well - known that an electrical network consists of passive elements like resistors, capacitors and inductors. They are connected in series, parallel and series parallel combinations [
10,
11,
12]. The currents through and voltages across these elements are obtained by solving integro-differential equations. Alternatively, the elements in the network are transformed from the time domain and an algebraic equation is obtained which is expressed in terms of input and output [
10,
12,
13]. The commonly used inputs are impulse, step, ramp, sinusoids, exponentials etc.
In the past years, there is a lot of research work carried out for the analytical approximation of the Unit Step Function along with Ramp Function and Dirac delta - distribution.
Specifically in Ref. [
14] a rigorous representation of Heaviside Step Function was accomplished by a linear combination of exponential functions, whereas for a rigorous study on the numerical approximation of Heaviside Step Function by means of a finite difference method one may refer to Ref. [
15]. On the other hand, the limiting form of many sigmoid type functions centered on
may also serve as an approximation to the Heaviside Step Function. For instance, one may remark the following expressions [
16]:
where the notation
denotes the well - known Error Function
Evidently, by multiplying both sides of the above three equations with the argument one shall obtain closed form expressions of the Ramp Function.
Besides, there are many explicit forms of Heaviside Step Function and Ramp Function that can be found in the literature.
Specifically, in Ref. [
4] an elegant explicit representation of this function was proposed as the summation of two inverse trigonometric functions, by means of the following relationship:
In this framework, by multiplying both sides of the above equation with the argument
one shall derive the Ramp Function as
In Ref. [
17] another analytic exact form of the unit step function, as a summation of two inverse trigonometric functions, was presented
and therefore
In Ref. [
18] the following elegant analytical form of Heaviside Step Function was performed
where
denotes the imaginary unit
In this context, one may also obtain the Ramp Function as
In addition, in Ref. [
19] a stringent approximation of the Unit Step Function by the use of cumulative distribution functions was carried out, whilst in Refs. [
20] and [
21] Heaviside Step Function was approached via Raised – Cosine and Laplace Cumulative Distribution Functions and Sigmoid Functions respectively. Besides, in Ref. [
22] an analytical exact form the Unit Step Function was exhibited by the use of the floor function, which evidently yields the greatest integer less than or equal to its argument.
Moreover, in Ref. [
23] a rigorous approximation of the Unit Step Function was exhibited as the pointwise limit of a sequence of functions, whereas an analogous investigation towards an analytical approach of the Ramp Function was performed in Ref. [
24].
Further, in Ref. [
25] the Unit Step Function was represented as the summation of six inverse trigonometric functions. In particular, the novel element of this analytical formula is that it contains two arbitrary single valued functions which satisfy only one single condition and does not contain any other special functions such as Gamma function or generalize integrals compared to other representations of the Unit function.
On the other hand, there are many applications of Heaviside and Ramp Function in signal processing, as it can be seen in the literature.
In Ref. [
26] a rigorous study on the relations between control signal properties and robustness measurements was carried out. In particular, Heaviside Step Function was used to express the specified output at a load disturbance. In Ref. [
27] a single image super-resolution by means of approximated forms of Heaviside Step Function was performed.
In addition, a valuable investigation concerning the measurement of regularity in discrete time signals was presented in Ref. [
28]. Heaviside Step Function was used in the evaluation procedure of the entropy of a regular system with orderly behavior. In Ref. [
29] a remarkable study on the use of Generalized Functions in the Study of Signals and Systems was carried out. Specifically, a physical system was simulated as a linear time-invariant (LTI) system. Evidently, such a system is represented mathematically by an ordinary differential equation (ODE), or by a set of coupled ODEs. In this context, Heaviside Step Function was taken into account towards the analytical treatment of this original problem. In Ref. [
30] a Green’s function analysis of nonlinear thermoacoustic effects under the influence of noise in a combustion chamber was carried out whereas in Ref. [
31] an integrated vibration energy harvesting-storage-injection system based on piezoelectric bistable was performed.
Finally, in Ref. [
32] a rigorous nonlinear vibration analysis and defect characterization using entropy measure-based learning algorithm in defective rolling element bearings was presented, whilst enhancing convolutional neural network robustness against image noise via an artificial visual system was carried out in Ref. [
33].
Now, in the current theoretical investigation Heaviside Step Function together with its antiderivative i.e. Ramp Function are performed as bi-parametric single - valued functions with only one single restriction imposed on each parameter. The novelty of this work when compared to other theoretical investigations concerning analytical exact forms of these seminal functions, is that the proposed explicit formulae are not exhibited in terms of miscellaneous special functions, e.g. Gamma Function, Biexponential Function or any other special functions such as Error Function, Hyperbolic Function, Orthogonal polynomials etc.
4. Proof
First, we shall prove that for strictly positive arguments, every output of the bi-parametric function equals unity, whereas the outputs of the bi-parametric function coincide with those of the argument itself i.e. the real variable . Next, we shall prove that for strictly negative arguments the outputs of both bi-parametric functions and respectively, vanish. Finally, at , we shall prove that the output of the function yields unity whilst the output of the function yields zero.
To this end, let us initiate our mathematical analysis by distinguishing the following three cases concerning the domain that the independent variable belongs.
- (i)
In this context, let us concentrate on the exponential term which appears in both eqns. (1) and (2) and then focus on its exponent i.e. the quantity . Since the parameter has been considered beforehand to be a strictly negative number and also the variable has been currently assumed to lie over the set one may infer that the term is a strictly positive quantity.
Hence the following relationship holds
Evidently, the notation which appears in eqn. (13) denotes the well known Signum Function.
Since Signum Function yields the sign of any real number, it implies that
Thus eqn. (13) can be equivalently written out
In the sequel, eqn. (11) and eqn. (12) respectively, can be combined with eqn. (14) to yield
and
Thus it was definitely proved that for strictly positive arguments the values of the bi-parametric function equal unity, while the values of the bi-parametric function coincide with those of the independent variable .
- (ii)
According to the same reasoning as before, let us centre on the exponential termand examine the sign of its exponent i.e. the quantity Since the parameter has been primarily considered to be a strictly negative number and besides the independent variable is now supposed to lie over the set one may deduce that the term is again a strictly positive number.
Thus, in the same framework as in the previous case, one may conclude that eqn. (13) still holds.
Hence, one may deduce that
Hence the following inequality is evident
Then, eqn. (11) and eqn. (12) respectively can be combined with eqn. (17) to yield
and
Now, since the base of the exponential term which appears in eqn. (20), i.e. the parameter has been considered beforehand to be strictly greater than 1 one may easily conjecture that the following double inequality holds
According to inequality (21), it implies that the values of the strictly positive fraction belong to the interval .
In this context, one may infer that for strictly negative arguments, the integer part of this aforementioned fraction vanishes i.e.
or equivalently
Eqn. (19) and eqn. (20) respectively, can be associated with eqn. (22) to yield
and
Thus it was definitely proved that the values of both bi-parametric functions and vanish for strictly negative arguments.
Then one obtains
and
After all, it was rigorously proved that the bi-parametric functions and introduced by eqns. (11) and (12) respectively, are synonymous to Heaviside Step Function and Ramp Function over the set of real numbers.
Discussion
In
Section 2, two bi-parametric single - valued functions were proposed with the claim that they are synonymous with the Unit Step Function and the Ramp Function respectively over the set of real numbers. Next, in
Section 4 rigorous proofs were given to justify this claim.
According to this viewpoint, one may also derive analytical representations of Signum Function and Absolute Value Function respectively.
Actually, Signum Function and Heaviside Step Function are linked with each other by means of the following linear relationship [
34]
Eqn. (28) can be combined with eqn. (11) to yield
where
and
Here, one may observe that Signum Function has also been represented as a bi-parametric function i.e.
where
is a bi-parametric bi-parametric single - valued function
Moreover, given an arbitrary real number
one may remark from Calculus [
35] that concerning its integer part, notated by
, the following relationships hold
when
and
when
Obviously, for non-negative values of the variable
one may deduce that
Thus eqn. (29) can be combined with (31a) to yield
However, for strictly negative arguments it was previously shown that vanishes.
In addition, according to inequality (21) one infers
Hence the quantity does not keep the same sign for strictly negative values of the variable and therefore eqn. (29) cannot be combined with eqn. (31b).
On the other hand, to calculate Absolute Value Function, the notation of which is ABS, one may proceed as follows:
It is known that Signum Function and ABS Function are linked with each other by means of the following relationship [
34]
Thus eqn. (36) in association with eqn. (29) yields
Thus
function was equivalently expressed in the following bi-parametric form
where
constitutes a bi-parametric single - valued function