Abstract
In this paper, we attempted to characterize the exponential q-distribution through the q-memorylessness property using the q-addition operator and Jackson integral. Moreover, an extended version of k-gamma q-distribution is introduced and the q-moments of this family is computed. Finally, we suggested a new q-inversion method to simulate data from a q-distribution.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Quantum calculus is the modern name for the investigation of calculus without limits. Recently, many researchers have focused on the q-calculus [1, 2, 8, 12, 16], which corresponds to the link between mathematics and physics. The quantum calculus began with Jackson [13, 14] in the early twentieth century. The book of Quantum Calculus [7] published by Kac and Cheung covers many of the fundamental aspects of quantum calculus. Chung et al. [6] defined the q-addition operator and discussed its properties. They used it in the properties of the q-logarithmic function and q-exponential.
The quantum calculus has a lot of applications in different mathematical areas such as number theory, difference equation (see [11]), orthogonal polynomials, probability theory.
In mathematical physics and probability, the q-distribution is more general than classical distribution. It was introduced by Díaz et al. [9, 10] in the continuous case and by Charalambos [4] and Cheung and Kac [5] in the discrete case. The construction of a q-distribution is the construction of a q-analogue of ordinary distribution. Mathai in [15] introduced the q-analogue of the gamma distribution with respect to Lebesgue measure. In this paper, gamma q-distribution is introduced with respect to Jackson q-measure. If q goes to 1, we obtain the ordinary calculus. This condition is the necessary condition in the theory of q-calculus.
The aim of this work is not only to generalize the k-gamma q-distribution, \(\gamma _{q,k}(\lambda ,a)\) with parameters \(\lambda >0\) and \(a>0,\) but also to characterize the exponential q-distribution, \(\xi _{q}(\lambda ),\) by the q-memorylessness property in the following way:
A random variable X is exponential q-distributed if and only if
Next, the link between the quantum distribution and the classical distribution is portrayed as shown in the following diagram
The third objective of this work is to simulate data from the exponential q-distribution with parameters \(\lambda ,~a>0.\)
This paper is structured as follows: in Sect. 2, some preliminary concepts related to q-derivative, q-integral, q-operators and some essential results are presented to build our work. In Sect. 3, the q-gamma and the q-beta functions are recalled. Some properties and relationships between them are presented. Besides, the new q-gamma function is introduced and its properties are proved. In Sect. 4, the k-gamma q-distribution is generalized with parameters \(\lambda ,~ a>0\) and its q-cumulative function is specified. Then, the exponential q-distribution is deduced from the k-gamma q-distribution and its characterization is proved. In Sect. 5, the definition of the q-moments established by Díaz and Pariguan in [9] and the properties of the q-integral are used to define the q-mean and the q-variance. The q-mean of the k-gamma q-distribution is computed.
Finally, in the closing section number 6, we introduced a new method called the q-inversion which is identified in order to simulate the data from a q-distribution; then, it is applied on the exponential q-distribution.
2 Preliminaries
In this section, some useful basic definitions [7, 13, 14, 17] are introduced. We shall start with the q-derivative and the Jackson q-integral. Fixing a real number \(0<q<1,\) the q-derivative of \(\displaystyle f:\mathbb {R}\rightarrow \mathbb {R}\) at \(\displaystyle x\in \mathbb {R}\setminus \{0\}\) is given by:
It is also known as the Jackson derivative.
It is manifestly linear,
It has a product rule analogous to the ordinary ones, with two equivalent forms
Similarly, it satisfies a quotient rule,
In the case \(q=0,\) we have
For an integer \(n\ge 1,\) we have that \(\displaystyle D_{q}x^{n}=[n]_{q}x^{n-1},\) where
We also denote, for all \(n\in \mathbb {N},\)
For \(x\in \mathbb {R},\)
If x goes to \(\infty \), we obtain \(\displaystyle [\infty ]_{q}=\frac{1}{1-q}\) is called a q-analogue of \(\infty \).
Note that \([\infty ]_{q} \) approaches 1 when q goes to 0 and goes to \( + \infty \) when q approaches 1.
We recall some usual notations used in the q-theory.
A right inverse of the q-derivative is obtained via the Jackson integral.
For \(a,~ b\in \mathbb {R}\) the Jackson integral or q-integral of \(f:\mathbb {R}\rightarrow \mathbb {R}\) on [a, b] is defined by:
It is clear if one lets q approaches 1, then the q-derivative approaches the Newton derivative and the Jackson integral approaches the Riemann integral.
The q-analogue of the integration theorem by a variable change is given by
The q-analogue of the rule of integration by parts is
For any function f(x) continuous at \(x=0\), we have
Notice that for \(q=0,\) we get
Jackson in [13] proposed the q-analogue of the exponential function \(e^{x}\) given by
It is clear that \(e_{q}^{0}=1\) and \(D_{q}e_{q}^{x}=e_{q}^{x}.\)
The q-analogue of the identity \(e^{x}e^{-x}=1\) is \(e_{q}^{x}E_{q}^{-x}=1,\) where the function \(E_{q}^{x}\) defined by \(e_{1/q}^{x}\) is given also by
The q-logarithm function \(\log _{q}(x)\) is the inverse of the q-exponential function \(e_{q}^{x},\) and the function \(\hbox {Log}_{q}(x)\) is the inverse function of \(E_{q}^{x}.\)
Many researchers have focused on the operator theory [3, 6, 17]. In 1994, Chung et al. [6] proposed the q-addition operator and discussed its properties. The q-addition operator is defined by
where
Equivalently \(\oplus _{q}\) is defined as: \(\oplus _{q}:\mathbb {R}^{2}\rightarrow \mathbb {R}\)
\(~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~(a,b)\mapsto a\oplus _{q}b~,\)
such that \(a\oplus _{q}b\) is the unique real verifying \(e_{q}^{a\oplus _{q}b}=e_{q}^{a}e_{q}^{b}.\)
From the above definition, we have the following property
\(\displaystyle k(a\oplus _{q}b)=ka\oplus _{q}kb,~\forall ~k\in \mathbb {R}.\)
It is easy to see that this operator is commutative, i.e. \(\displaystyle a\oplus _{q}b=b\oplus _{q}a\). Also if we take \(b=a\), then we have \(\displaystyle a\oplus _{q}a=a+a=2a.\) Finally, if we take \(b=0,\) we obtain \(\displaystyle a\oplus _{q}0=0\oplus _{q}a=a.\)
This operator permits to express the properties of the q-logarithm and q-exponential functions in a more compact form.
-
(i)
\(\displaystyle e_{q}^{a}e_{q}^{b}=e_{q}^{a\oplus _{q}b},\)
-
(ii)
\(\displaystyle e_{q}^{na}=(e_{q}^{a})^{n},~~ \forall n\in \mathbb {N},\)
-
(iii)
\(\displaystyle \log _{q}(ab)=\log _{q}(a)\oplus _{q}\log _{q}(b),\)
-
(ir)
\(\displaystyle \log _{q}(a^{n})=n\log _{q}(a),~~\forall n\in \mathbb {N}.\)
Thomas in [17] defined the power function, and he used the q-operator in the properties of this function.
A power function based on q-addition is defined by \(\displaystyle a_{q}^{x}=E_{q}^{xLog_{q}(a)}, ~\forall ~ a>0.\)
This function satisfies \(\displaystyle a_{q}^{x}a_{q}^{y}=a_{q}^{x\oplus _{q}y},\)\(\displaystyle (a^{x})_{q}^{y}=a_{q}^{xy}\) and \(\displaystyle (ab)_{q}^{x}=a_{q}^{x}b_{q}^{x},~~\forall ~a,~b>0.\)
Chung et al. [6] defined the new q-derivative also called the x-derivative which is given by
The new q-derivative of \(E_{q}^{\alpha x}\) is \(\alpha E_{q}^{\alpha x}\) with \(\alpha \) as a constant indeed,
Example 1
With the same manner, we can prove \(\displaystyle D_{x}e_{q}^{\alpha x}=\alpha e_{q}^{ \alpha x}.\)
3 The New q-Gamma Function
Jackson in [13] has shown that the q-beta function has the q-integral representation, which is a q-analogue of Euler’s formula:
The q-gamma function expressed as \(\varGamma _{q}\) is defined in [13] by
Jackson [13] proved the properties of the q-gamma function
The relationship between the q-gamma and the q-beta functions is given by
Díaz et al. in [10] defined the q, k-gamma function by
with
The q, k-gamma function is defined on the interval \(\displaystyle \left[ 0,\frac{[k]_{q}^{\frac{1}{k}}}{(1-q^{k})^{\frac{1}{k}}}\right] .\)
Now we shall define the new q, k-gamma function on the interval \(\displaystyle \left[ 0,\frac{B[k]_{q}^{\frac{1}{k}}}{(1-q^{k})^{\frac{1}{k}}}\right] \) for \(B>0\) in order to generalize the q, k-gamma function.
Definition 1
The new q, k-gamma function \(\varGamma _{q,k}^{B}\) is given by
If we take \(k=1,\) we can deduce the new q-gamma function defined by
Note that the q-gamma function is a special case of the new q-gamma function.
The following proposition gives some properties of the new q-gamma function.
Proposition 1
For \(B>0,\)
-
(i)
\(\varGamma _{q}^{B}(1)=1.\)
-
(ii)
\(\varGamma _{q}^{B}(t+1)=[t]_{q}\varGamma _{q}^{B}(t),~~ \forall t>0.\)
-
(iii)
\(\varGamma _{q}^{B}(n+1)=[n]_{q}!, ~~\forall n\in \mathbb {N}.\)
Proof
For \(B>0,\)
-
(i)
\(\varGamma _{q}^{B}(1)=\int _{0}^{\frac{B}{1-q}}E_{q}^{-qx}\mathrm{d}_{q}x=E_{q}^{0}-\left( E_{q}^{-\frac{1}{1-q}}\right) ^{B}=1.\) In fact, we have
$$\begin{aligned} \displaystyle e_{q}^{x}E_{q}^{-x}=1, \end{aligned}$$we know also
$$\begin{aligned} e_{q}^{\frac{x}{1-q}}=\frac{1}{(1-x)_{q}^{\infty }},~\text {with} ~(1-x)_{q}^{\infty }=\prod _{i=0}^{\infty }(1-q^{i}x). \end{aligned}$$If x goes to 1, then we obtain
$$\begin{aligned} e_{q}^{\frac{1}{1-q}} \rightarrow +\infty . \end{aligned}$$Therefore,
$$\begin{aligned} E_{q}^{-\frac{1}{1-q}}=\frac{1}{e_{q}^{\frac{1}{1-q}}}=0. \end{aligned}$$ -
(ii)
Using the q-integration by parts (2), we obtain for \(t>0,\)
$$\begin{aligned} \varGamma _{q}^{B}(t+1)&=\int _{0}^{\frac{B}{1-q}}x^{t}E_{q}^{-qx}\mathrm{d}_{q}x\\&=-\int _{0}^{\frac{B}{1-q}}x^{t}D_{q}E_{q}^{-x}\mathrm{d}_{q}x\\&=\int _{0}^{\frac{B}{1-q}}[t]_{q}x^{t-1}E_{q}^{-qx}\mathrm{d}_{q}x\\&=[t]\varGamma _{q}^{B}(t). \end{aligned}$$ -
(iii)
By induction, for \(n=1\), the formula is true. By hypothesis of induction, we have \(\displaystyle \varGamma _{q}^{B}(n+1)=[n]_{q}!~.\) Using the q-integration by parts we obtain,
$$\begin{aligned} \varGamma _{q}^{B}(n+2)&=\int _{0}^{\frac{B}{1-q}}x^{n+1}E_{q}^{-qx}\mathrm{d}_{q}x\\&=-\int _{0}^{\frac{B}{1-q}}x^{n+1}D_{q}E_{q}^{-x}\mathrm{d}_{q}x.\\&=\int _{0}^{\frac{B}{1-q}}[n+1]x^{n}E_{q}^{-qx}\mathrm{d}_{q}x\\&=[n+1]_{q}\varGamma _{q}^{B}(n+1)\\&=[n]_{q}![n+1]_{q}\\&=[n+1]_{q}!~. \end{aligned}$$
\(\square \)
4 The k-Gamma q-Distribution
Charalambos was the first who coined the notion of the q-distribution in the discrete case [4, 5]. As for the continuous case, Díaz and Pariguan [9] identified the Gaussian q-distribution.
A function \(p_{q}(x)\) is a q-probability density, provided that it satisfies \(p_{q}(x) \ge 0\), \(\forall ~x\in \mathbb {R},\) and \(\int _{\mathbb {R}}p_{q}(x) \mathrm{d}_{q}x =1\). The q-cumulative distribution function of a real-valued random variable X, is the q-probability that X will take a value less than or equal to x. It gives the area under the probability q-density function from \(-[\infty ]_{q}\) to x. It is defined by
Note that the q-cumulative function is an increasing function verifying
Now, we recall the k-gamma density function with parameters \(\lambda ,~a>0\); it is given by
with
The k-gamma q-density function [10] is defined by
with
The construction of the q-analogue of the k-gamma distribution with parameters \(\lambda ,a>0\) rests upon determining the q-analogue for the normalization factor.
Therefore, the q-analogue of \(\displaystyle \frac{\lambda ^{a}}{\varGamma _{k}(a)}\) is \(\displaystyle \frac{[\lambda ]_{q}^{a}}{\varGamma _{q,k}^{[\lambda ]_{q}}(a)}.\)
Take \(u=[\lambda ]_{q}x,\) then \(\frac{u}{[\lambda ]_{q}}=x\) and \(\displaystyle \frac{1}{[\lambda ]_{q}}\mathrm{d}_{q}u=\mathrm{d}_{q}x.\)
So, by applying (1), we have,
Using Definition (1), then we have
Now, we are ready to generalize the k-gamma q-distribution with parameters \(\lambda ,~a>0.\)
Definition 2
The density of the k-gamma q-distribution is defined by
Note that, if we take \(\lambda =1,\)\(\gamma _{q,k}(a,1)=\gamma _{q,k,a}\) (Fig. 1).
Theorem 1
The q-cumulative function of the k-gamma q-distribution, \(\gamma _{q,k}(a,\lambda ),\) with parameters \(\lambda ,~a>0\) is given by
Proof
By using the definition of the q-integral and the expression of \(E_{q}^{x}\), we obtain for \(x\in [0,\frac{1}{1-q}],\)
\(\square \)
4.1 Characterization of the Exponential q-Distribution
Departing from the k-gamma q-distribution, the gamma and the exponential q-distributions can be deduced, the first by taking \(k= 1,\) and the second by taking \(a=k=1.\)
We note the gamma q-distribution with parameters \(\lambda ,~a>0\) by \(\gamma _{q}(\lambda ,a),\) and we write the exponential q-distribution by \(\zeta _{q}(\lambda ).\)
Definition 3
The density of the exponential q-distribution, \(\xi _{q} (\lambda ),\) is defined by
In Fig. 2, we present the curve of the exponential q-distribution for \(\lambda =4,\) with different values of \(q=0,5,\)\(q=0,4,\) and \(q=0,44.\) It is clear that the curve of \(\xi _{q},\) is decreasing, and the exponential q-distribution as well as the ordinary exponential density has the same curved shape.
Theorem 2
The q-cumulative function of the exponential q-distribution with parameter \(\lambda >0\) is given by
Proof
For \(x\in [0,\frac{1}{1-q}],\) using 3, we have
\(\square \)
In the following result, we prove the q-memorylessness property of the exponential q-distribution. The idea of the characterization of the exponential q-distribution is based on the use of the q-addition operator and its properties (see [6, 12]).
Theorem 3
A random variable X is exponential q-distributed if and only if
Proof
“\(\Rightarrow \)” Let X be a random variable with q-exponential distribution.
Now, we compute the right-hand side of the equality
Note that
Then we obtain the equality.
“\(\Leftarrow \)”
We suppose that X verify (9) and let \(f_{q}\) be a q-density function of X.
In this step, we take the q-derivative with respect to t and we have:
In the second step, we tend s towards 0 and we take \(f(0)=q[\lambda ],\) then we have,
We can assume that \(f_{q}(t)=[\lambda ]E_{q}^{-q[\lambda ]t}\) is the solution of the x-differential equation.
Hence, the proof is complete. \(\square \)
Proposition 2
The exponential q-distribution interpolates between the uniform distribution on the interval [0, 1] and the exponential distribution on \(\mathbb {R}_{+}\).
Proof
If we take \(q=0\), then \([\lambda ]_{0}=1\) and \(E_{0}^{0}=1\) as a matter of fact, \(\displaystyle f_{0}(x)=\mathbf {1}_{[0,1]}(x)\).
On the other side, \([\lambda ]_{q}\) converges to \(\lambda \) as q approaches to 1 and \(E_{q}^{-q[\lambda ]_{q}x}\) goes to \(e^{-\lambda x}\).
To sum up, the following diagram illustrates these limits:
\(\square \)
5 The q-Moments
Díaz et al. [9, 10] introduced the notion of moment in the theory of the q-calculus. It is expressed as follows:
In the following theorem, we compute the q-moment of the k-gamma q-distribution.
Theorem 4
The q-moment of the k-gamma q-distribution with parameters \(\lambda ,a>0,\) is given by
Proof
The idea of this proof is based on the formula of variable change (1),
If we make the variable change \(u=[\lambda ]_{q}x,\) the q-moment becomes
\(\square \)
For \(n=1,\) the q-moment is presented as:
That is, the first q-moment is called also q-mean of a random variable X with q-probability density function \(p_{q}(x)\).
Definition 4
The q-mean of a random variable X with q-density function \(p_{q}(x)\) is given by
Note that the q-expected value operator \({\displaystyle \mathbb {E}_{q} (\cdot )}\) is linear in the sense that
At this level of analysis, we would set forward certain interesting remarks.
Remark 1
-
1.
From the q-moment of the k-gamma q-distribution, we can deduce the q-mean of the q-gamma distribution in terms of \(\displaystyle \mathbb {E}_{q}(X)= \frac{[a]_{q}}{[\lambda ]_{q}},\lambda ,~a>0.\)
-
2.
If we take \(a=1\) in the q-mean of the gamma q-distribution, the q-mean of the exponential q-distribution is \(\displaystyle \mathbb {E}_{q}(X)=\frac{1}{[\lambda ]_{q}}.\)
-
3.
We can check the necessary condition of the q-calculus, i.e. if q goes to 1, then the q-mean converges to the ordinary mean.
6 The q-Simulation with the q-Inversion Method
In order to introduce the concept of simulation in the theory of q-calculus, we need to identify the q-analogue of the uniform distribution on [a, b].
Definition 5
A random variable X is called uniform q-distributed, \(U _{_{q}[a,b]},\) if its probability density function is given by
Note that the q-cumulative function \(F_{q}\) of X is a continuous and a strictly increasing on \((0,\frac{1}{1-q}).\) Then \(F_{q}\) is a bijective function. We denote by \(F^{-1}_{q}\) its reciprocal function.
Theorem 5
Let X be a random variable with q-cumulative function \(F_{q}\) and let U be a q-uniform random variable on [0, 1]. Then, X and \(F^{-1}_{q}(U)\) have the same q-distribution.
Proof
Let \(t\in [0,1],\)
Then, X and \(F_{q}^{-1}(u)\) have the same q-distribution. \(\square \)
According to Theorem 5, the algorithm of q-inversion method is defined as:
-
1.
Simulate u from \(U_{q}[0,1].\)
-
2.
Compute \(F^{-1}_{q}(u)=x\) which is an observation from the random variable X.
Then, we extend the q-inversion method for generating data to q-distribution.
Now, we apply this algorithm in order to simulate different samples from the exponential q-distribution. We simulated samples from the exponential q-distribution with same size \(N=10{,}000\), and we got the following histograms (see Figs. 3, 4, 5 and 6).
The simulated data were obtained from the q-exponential model for different values of \(q \in (0,1).\) The simulated data were represented by histograms. In order to evaluate the performance of the proposed simulated method, we computed the mean squared error between the estimated density by applying the histogram method and the true-density function. The obtained mean squared errors are around to \(10^{-2}\) for different values of q. Then, the proposed simulated approach is consistent.
7 Conclusion
Memorylessness refers to the cases when the distribution of a “waiting time” until a certain event does not depend on how much time has already elapsed. Basically the exponential distribution is memoryless. In this paper, we showed that the exponential q-distribution is q-memoryless and corresponds to a link between the uniform distribution on [0, 1] and the classical exponential distribution. This transition may be accounted for in terms of physics as follows: If we take \([0,\frac{1}{1-q}]\) the time scale and try to explore the evolution of a certain phenomenon over time, at time \(t = 0,\) this phenomenon follows the uniform distribution on [0, 1]. However for \(q>0\) it follows the exponential q-distribution. The more q approaches 1, this process approaches the ordinary exponential distribution. From this perspective, we judge that the exponential q-distribution is extremely interesting as it lays the ground for certain constructive and fruitful applications. Having explored the exponential q-distribution, our work is a step that may be taken further. In a future work, we aspire to characterize the gamma q-distribution.
References
Ahmed, F., Kamel, B., Néji, B.: Asymptotic approximations in quantum calculus. J. Nonlinear Math. Phys. 12, 586–606 (2004)
Borges, E.P.: A possible deformed algebra and calculus inspired in nonextensive thermostatistics. J. Phys. A 340, 95–101 (2004)
Charalambos, A.C.: Discrete q-distributions on Bernoulli trials with a geometrically varying success probability. J. Stat. Plan. Inference 140, 2355–2383 (2010)
Charalambos, A.C.: Discrete q-distributions. Wiley, Hoboken (2016)
Cheung, P., Kac, V.: Quantum Calculus. Springer, Berlin (2002)
Chung, K.-S., Chung, W.-S., Nam, S.-T., Kang, H.-J.: New q-derivative and q-logarithm. Int. J. Theor. Phys. 33, 2019–2029 (1994)
Damak, M., Vladimir, G.: Self-adjoint operators affiliated to \( C^{*}\)-algebras. Rev. Math. Phys. 16, 257–280 (2004)
De Sole, A., Kac, V.: On integral representations of q-gamma and q-beta functions. Atti. Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Lince Mat. Appl. 16, 11–29 (2005)
Díaz, R., Pariguan, E.: On the Gaussian q-distribution. J. Math. Anal. Appl. 358, 1–9 (2009)
Díaz, R., Ortiz, C., Pariguan, E.: On the k-gamma q-distribution. J. Math. Cent. Eur. 8(3), 448–458 (2010)
Gaspard, B.: An introduction to q-difference equations (2007)
Ghany, H.A.: Levy–Khinchin type formula for basic completely monotone functions. Int. J. Pure Appl. Math. 87, 689–697 (2013)
Jackson, F.H.: On a q-definite integrals. Q. J. Pure Appl. Math. 41, 193–203 (1910)
Jackson, F.H.: On a q-functions and a certain difference operator. Trans. R. Soc. Edinb. 46, 253–281 (1908)
Mathai, A.M.: A pathway to matrix-variate gamma and normal densities. Linear Algebra Appl. 396, 317–328 (2005)
Srivastava, H.M., Choi, J.: Zeta and q-Zeta Functions and Associated Series and Integrals. Elsevier Science Publishers, Amsterdam (2012)
Thomas, E.: A method for q-calculus. J. Nonlinear Math. Phys. 10, 487–525 (2003)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Anton Abdulbasah Kamil.
Rights and permissions
About this article
Cite this article
Imen, B., Imed, B. & Afif, M. On Characterizing the Exponential q-Distribution. Bull. Malays. Math. Sci. Soc. 42, 3303–3322 (2019). https://doi.org/10.1007/s40840-018-0670-5
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40840-018-0670-5