Академический Документы
Профессиональный Документы
Культура Документы
G. G. Hamedani
Department of Mathematics, Statistics and Computer Science
Marquette University
Milwaukee, WI 53201-1881, USA
e-mail: g.hamedani@mu.edu
M. Ahsanullah
Department of Management Sciences
Rider University
Lawrenceville, NJ 08648 , USA
e-mail: ahsan@rider.edu
Abstract
1 Introduction
α
α
−2
f (x) = f (x; α, β, p) = α β (1 − p) (βx)α−1 e− (β x) 1 − pe− (β x) , x > 0 , (1)
and
α −1
α
F (x) = (1 − e− (β x) ) 1 − pe− (β x) , x≥0, (2)
where α > 0 , β > 0 and p (0 < p < 1) are parameters. The parameters α and β are shape
and scale and p is mixing parameters, respectively.
We would like to mention that Ortega et al. [15] presented seven important GGG dis-
tributions, which we believe can be grouped in three groups: {Gamma Geometric and (its
special case) Chi-Square Geometric}; {Maxwell Geometric and (its special case) Half-Normal
Weibull Geometric Distribution 583
Geometric} and {WG and (its special cases) Exponential Geometric , Rayleigh Geometric}.
We believe the last group is more interesting with a wider domain of applicability and therefore
would be the main subject of our work.
2 Characterization Results
As we mentioned in the Introduction, the WG distribution (and its special cases) may have
potential applications in many fields of studies. So, an investigator will be vitally interested
to know if their model fits the requirements of the WG distribution. To this end, one will
depend on the characterizations of WG distribution which provide conditions under which the
underlying distribution is indeed the WG distribution.
Throughout this section we assume that the distribution function F is twice differentiable
on its support.
is defined with some real function η . Assume that g , h ∈ C 1 (H) , η ∈ C 2 (H) and F is
twice continuously differentiable and strictly monotone function on the set H . Finally, assume
that the equation hη = g has no real solution in the interior of H . Then F is uniquely
G. G. Hamedani and M. Ahsanullah 584
η 0 (u)
Z x
F (x) = C exp (−s (u)) du ,
a η (u) h (u) − g (u)
η0 h
where the function s is a solution of the differential equation s0 = ηh−g and C is a
R
constant, chosen to make H dF = 1.
Remarks 2.1.1. (a) In Theorem G, the interval H need not be closed. (b) The goal
is to have the function η as simple as possible. For a more detailed discussion on the choice
of η , we refer the reader to Glänzel and Hamedani [7] and Hamedani [8 − 10].
α
α
−1
(1 − F (x)) E [h (X) | X ≥ x] = (1 − p)e− (β x) 1 − pe− (β x) , x>0,
and
Z ∞
α
(1 − F (x)) E [g (X) | X ≥ x] = α β (1 − p) (βx)α−1 e− (β x) du
x
α
= (1 − p) e− (β x) , x > 0,
and finally
α
α
η (x) h (x) − g (x) = p e− (β x) 1 − pe− (β x) > 0 for x > 0 .
η 0 (x) h (x) α −1
s0 (x) = = α β (βx)α−1 1 − pe− (β x)
η (x) h (x) − g (x)
α −1
α
= α β (βx)α−1 + p α β (βx)α−1 e− (β x) 1 − pe− (β x) , x>0,
and hence ( )
α
1 − pe− (β x)
s (x) = (βx)α + ln , x > 0.
(1 − p)
Weibull Geometric Distribution 585
Corollary 2.1.3. Let X : Ω → (0, ∞) be a continuous random variable and let h (x) = 1
for x ∈ (0, ∞) . The pdf of X is (1) if and only if there exist functions g and η defined
in Theorem G satisfying the differential equation
η 0 (x) α −1
= α β(βx)α−1 1 − pe− (β x) , x > 0.
η (x) − g (x)
Remark 2.1.4. The general solution of the differential equation in Corollary 2.1.3 is
Z −2
(βx)α − (β x) α α−1 − (β x) α − (β x) α
η (x) = e 1 − pe − g (x) α β (βx) e 1 − pe dx + D ,
for x > 0 , where D is a constant. One set of appropriate functions is given in Proposition
2.1.2 with D = 0.
Proposition 2.1.5. Let X : Ω → (0, ∞) be a continuous random variable and let h (x) =
α 2 α 2
1 − pe− (β x) and g (x) = (βx)α 1 − pe− (β x) for x ∈ (0, ∞) . The pdf of X is
(1) if and only if the function η defined in Theorem G is of the form
f (x)
λF (x) = , x ∈ Supp F , (3)
1 − F (x)
where Supp F is the support of F . It is obvious that the hazard function of a twice
differentiable distribution function satisfies the first order differential equation
0
λF (x)
− λF (x) = k (x) , (4)
λF (x)
G. G. Hamedani and M. Ahsanullah 586
where k (x) is an appropriate integrable function. Although this differential equation has an
obvious form since
0
f 0 (x) λ (x)
= F − λF (x) ,
f (x) λF (x)
for many univariate continuous distribution (4) seems to be the only differential equation in
terms of the hazard function. The goal here is to establish a differential equation which has
as simple form as possible and is not of the trivial form (4). For some general families of
distributions, however, this may not be possible. Here is our characterization result for WG
distribution.
Proof. If X has pdf (1) , then obviously (5) holds. If λF satisfies (5) , then, after
some algebra, we can show that
d α −2
α
(βx)−(α−1) λF (x) = −p (αβ)2 (βx)α−1 e−(βx) 1 − pe−(βx) ,
dx
or
f (x) α −1
λF (x) = = αβ (βx)α−1 1 − pe−(βx) .
1 − F (x)
Integrating both sides of the above equation with respect to x from 0 to x we obtain
!
1 − pe −(βx)α
− ln (1 − F (x)) = (βx)α + ln ,
1−p
Let X1:n ≤ X2:n ≤ ... ≤ Xn:n be n order statistics from a continuous cdf F . We present here
characterization results base on some functions of these order statistics. We refer the reader
Weibull Geometric Distribution 587
to Hamedani et al. [13] , among others , for characterizations of other well-known continuous
distributions in this direction.
1 α
h α n
i
E [exp {(n − 1) (βX1:n )α } | X1:n > t] = en(βt) 1 − 1 − pe−(βt) , t > 0 , (6)
p
Proof. If X has cdf (2) , then clearly (6) is satisfied. Now, if (6) holds,
then using integration by parts on the left hand side of (6) , in view of the assumption
lim x→∞ exp {(n − 1) (βx)α } (1 − F (x))n = 0 , we have
Z ∞
α
(n − 1) αβ (βx)α−1 e(n−1)(βx) (1 − F (x))n dx
t
1 n(βt)α
−(βt) α
n
(n−1)(βt)α
= e 1 − 1 − pe −e (1 − F (t))n , t > 0. (7)
p
Differentiating both sides of (7) with respect to t , after a lengthy computation, we arrive at
f (t) α −1
= αβ (βt)α−1 1 − pe−(βt) , t > 0. (8)
1 − F (t)
that is
f (x)
fXi:n | Xi−1:n (x|t) = fX1:n−i+1
∗ (x) = (n − i + 1) (1 − Ft (x))n−i , x≥t.
1 − F (t)
Now we can state the following characterization of the WG distribution in yet somewhat
different direction.
Proof. If X has cdf (2) , then clearly (10) holds. Now, if (10) holds, then the left
hand side of (10) can , in view of the above explanation, be written as
Z ∞
1 α−1 (n−i)(βx)α n−i+1 α
n−i+1
(n − i) αβ (βx) e (1 − F (x)) dx + e(n−i) (βt) .
(1 − F (t)) t
References
[15] Ortega, E.M.M., Cordeiro, G.M. and Pascoa, A.R., The generalized gamma geometric
distribution, to appear in J. of Statistical Theory & Applications.