Journal of Statistical Theory and Applications

Volume 19, Issue 1, March 2020, Pages 21 - 27

Some Applications of Near-Order Statistics in Two-Parameter Exponential Distribution

Authors
Masoumeh Akbari1, *, Mahboubeh Akbari2
1Department of Statistics, University of Mazandaran, Babolsar, Mazandaran 47416-95447, Iran
2Department of Statistics, University of Birjand, Birjand, 97175-615, Iran
*Corresponding author. Email: m.akbari@umz.ac.ir
Corresponding Author
Masoumeh Akbari
Received 24 January 2017, Accepted 7 August 2017, Available Online 3 March 2020.
DOI
10.2991/jsta.d.200224.001How to use a DOI?
Keywords
Completeness properties; Exponential distribution; Müntz theorem; Near-order statistics
Abstract

In this paper, some characterization results for exponential distribution are established. The results are concluded in terms of number of observations near of order statistics. It is shown that its probability mass function and its first moment can characterize the exponential distribution. Also, an estimator based on near-order statistics is introduced for tail thickness of exponential distribution.

Copyright
© 2020 The Authors. Published by Atlantis Press SARL.
Open Access
This is an open access article distributed under the CC BY-NC 4.0 license (http://creativecommons.org/licenses/by-nc/4.0/).

1. INTRODUCTION

Two-parameter exponential distribution is the simplest lifetime distributions that is useable in survival analysis and reliability theory. So far, more results of characterization of exponential distribution have been obtained that some of them are based on order statistics. Let X1,X2,Xn be independent and continuous random variables. The corresponding order statistics are the Xi's arranged in non-decreasing order, denoted by X1:n<X2:n<<Xn:n. More details concerning order statistics can be seen in David and Nagaraja [1] and Arnold et al. [2]. Desu [3] proved that distribution of population is exponential if and only if nX1:n=dX1, for all n1, where the notation =d states the equality in distribution. Also, more characterization results of exponential distribution can be seen in Galambos and Kotz [4] and Ahsanullah and Hamedani [5]. Recently, the problem of number of observations near the order statistics is considered. At first, Pakes and Stutel [6] defined the number of observations within a of the sample maximum Xn:n as

Kn(a)=#{j=1,,n,Xj(Xn:na,Xn:n]}.

Then, this definition was developed for the number of observations falling in the open left and right a–vicinity of the kth order statistics by Pakes and Li [7] and Balakrishnan and Stepanov [8], respectively. After that, following two random variables have been considered in the literature

K(n,k,a)=#{j=1,,n,Xj(Xk:na,Xk:n)},(1)
K+(n,k,a)=#{j=1,,n,Xj(Xk:n,Xk:n+a)},(2)
where k=1,2,,n and a>0 is a constant. So far, a lot of results for counting random variables in (1) and (2) have been obtained such that the most of them are focused on their asymptotic behavior under different conditions. For example, Pakes and Li [7], Balakrishnan and Stepanov [8,9], Dembińska et al. [10], Dembińska [1114], Dembińska and Iliopoulos [15], Pakes [1618] and Iliopoulos et al. [19]. There are few results of statistical inferences based on (1) and (2), for example, Müller [20] and Hashorva and Hüsler [21] considered the estimation of tails based on them. Also, some results have been obtained in terms of near-order insurance claims (See, e.g., Li and Pakes [22], Hashorva [23,24]).

In this paper, we will prove some characterization results of two-parameter exponential distribution based on these counting random variables which are stated in sections 2 and 3. An estimator of eσa is introduced in section 4 and some properties of this estimator are discussed. Further, its performance is compared with the maximum likelihood estimator (MLE) through simulation.

2. CHARACTERIZATION BASED ON DISTRIBUTIONAL RESULTS

Let X be a random variable having two-parameter exponential distribution with parameters μ and σ, denoted by Exp(μ,σ). Then the cumulative distribution function (CDF) of X is

F(x)=1eσ(xμ),xμ.(3)

According to (1), the probability mass function (pmf) of K+(n,k,a) for any j=0,1,,nk, have been obtained as (See Dembińska et al. [10])

P(K+(n,k,a)=j)=n!j!(k1)!(nkj)!RF¯nkj(x+a)(F¯(x)F¯(x+a))jFk1(x)dF(x).(4)

Further, it is easy to verify that the pmf of K(n,k,a) for any j=0,1,,k1 is

P(K(n,k,a)=j)=n!j!(kj1)!(nk)!RFkj1(xa)(F(x)F(xa))jF¯nk(x)dF(x).(5)

Now, assume that F() has a form as (3). Substituting in Eq. (4), we conclude easily that K+(n,k,a) has binomial distribution with parameters (nk) and (1eσa), that is

P(K+(n,k,a)=j)=nkjeσa(nkj)(1eσa)j,(6)
for any j=0,1,,nk. Therefore, the expected value of K+(n,k,a) is given by
E(K+(n,k,a))=(nk)(1eσa).(7)

In this section, we will show that Eqs. (6) and (7) can characterize exponential distribution. The results are proved through properties of completeness sequence function. So, we firstly define complete sequence function and recall some well-known theorems.

Definition 2.1.

A sequence {Φn}n1 of elements of a Hilbert space H is called complete if the only element which is orthogonal to every {Φn} is the null element, that is,

f,Φnf=0,(8)
where , denotes the inner product of H. The Hilbert space L2(0,1) is considered here whose inner product is given by f,g=01f(x)g(x)dx, where f and g are two real-valued square integrable functions defined on (0,1).

The sequence {xn,n1} is the most important complete sequence function. Even under conditions a subsequence of it is a complete sequence that is stated in the following theorem and is well-known as the Müntz theorem.

Theorem 2.1.

Higgins ([25], p. 95) The set {xn1,xn2,;1n1<n2<} forms a complete sequence in L2(0,1) if and only if

j=1nj1=.(9)

We refer the reader to Higgins [25] for Hilbert space and complete sequence function.

Theorem 2.2.

Let X1,X2,,Xn be continuous random variables with CDF F. Then F has exponential distribution Exp(μ,σ) if and only if

P(K+(n,k,a)=j0)=(1eσa)j0,a>0,(10)
for a fixed j0{0,1,,n1} and k=nj0.

Proof.

If X has exponential distribution, then Eq. (10) is easily obtain. Conversely, let (10) holds, then

0=P(K+(n,k,a)=j0)(1eσa)j0.

From (4) we have

0=n!j0!(nj01)!RF(x+a)F(x)j0Fnj01(x)dF(x)(1eσa)j0=n!j0!(nj01)!01(F(F1(u)+a)u)j0unj01du(1eσa)j001n!j0!(nj01)!unj01(1u)j0du=01(F(F1(u)+a)u)j0(1eσa)j0(1u)j0unj01du.(11)

Taking η(u)=(F(F1(u)+a)u)j0, we have

01η2(u)du=01F(F1(u)+a)u2j0du1.

The above inequality shows that η(u)L2(0,1). Similarly we have the quantity

(1eσa)j0(1u)j0L2(0,1).

Further, using Minkowski's inequality for the quantity

θ(u)={F(F1(u)+a)u}j0(1eσa)j0(1u)j0,
we get θ(u)L2(0,1). So, if (11) holds for any nj0+1, then using complete property of sequence {unj01,nj0+1}, we have
{F(F1(u)+a)u}j0(1eσa)j0(1u)j0=0.(12)

From (12) is concluded that

F¯(t+a)F¯(t)=eσa,a>0,tR,(13)
where t=F1(u). The most general solution of (13) is the function F¯(x)=ceσx,x>0, where c is a constant. (See Aczél [26], pp. 17–18). Taking c=eσμ, the proof is completed.

The other characterization of exponential distribution is based on first moment of K+(n,k,a) which is stated in the next theorem.

Theorem 2.3.

Let X1,X2,,Xn be continuous random variables with CDF F. Then F has exponential distribution Exp(μ,σ) if and only if for a fixed k1 and every a>0, following quantity holds.

E(K+(n,k,a))=(nk)(1eσa),nk.

Proof.

If X has Exp(μ,σ), then from (7) proof of the necessity is concluded. Conversely, Let us assume that

E(K+(n,k,a))=(nk)(1eσa).(14)

On the other hand, from (4) the first moment of K+(n,k,a) is given by

E(K+(n,k,a))=nkk(nk)nk01F¯(F1(u)+a)uk1(1u)nk1du.(15)

The quantities (14) and (15) result in

knk01F¯(F1(u)+a)1ueσauk1(1u)nkdu=0.(16)

If Eq. (16) holds for any nk, then by completeness property of sequence {(1u)nk,nk}, we have

F¯(F1(u)+a)1ueσauk1=0.(17)

Similar to the proof of Theorem 2.2, F¯(x)=ceσx is the most general solution of (17) and this completes the proof.

Remark 2.1.

According to Müntz theorem that is stated in Theorem 2.1, the all results of this section are true for any increasing subsequence {nj,j1} which satisfies in (9) instead of for all n1.

3. CHARACTERIZATION BASED ON DEPENDENCY ASSUMPTIONS

It is known that only for the exponential distribution, any two non-overlapping spacings will be independent (See, e.g., Arnold et al. [2]). Let us define two spacings W1 and W2 as follows

W1=Xk:nXkj1:nandW2=Xk+j2:nXk:n,
for any j1=2,,k1 and j2=2,,nk. According to definitions K+(n,k,b) and K(n,k,a), we can write the following equivalent events
K(n,k,a)j11=W1a,
and
K+(n,k,b)j21=W2b.

So,

P(K(n,k,a)j11)=P(W1a),(18)
and
P(K+(n,k,b)j21)=P(W2b).(19)

From (1) and (2), one can obtain easily the probability generating functions (pgf) of K(n,k,a) and K+(n,k,b) as follows (see Balakrishnan and Stepanov [8])

Π(n,k,a,s)=EsK(n,k,a)=nn1nk{(1s)F(xa)+sF(x)}k1{1F(x)}nkdF(x).(20)
Π+(n,k,b,t)=EtK+(n,k,b)=nn1nkt{F(x+b)F(x)}+1F(x+b)nkF(x)k1dF(x).(21)

It also follows that the joint pgf K(n,k,a) and K+(n,k,b) is

EsK(n,k,a)tK+(n,k,b)=nn1nk1(1s)F¯(xa)sF¯(x)k1×(1t)F¯(x+b)+tF¯(x)nkdF(x).(22)

In the next theorem, we show an another characterization for exponential distribution based on independent near-order statistics.

Theorem 3.1.

Let X1,X2,,Xn be continuous random variables with CDF F. Then F has Exp(μ,σ) if and only if K(n,k,a) and K+(n,k,b) be independent for a fixed k1 and for any a>0 and b>0.

Proof of the necessity.

It is enough to show that joint pgf of K(n,k,a) and K+(n,k,b) is equal with multiplication of their pgfs. Let F be Exp(μ,σ). Substituting it in Eqs. (2022), we have

ΠE(n,k,a,s)=nn1nkeσa1sk1(1u)k1unkdu+0eσa{(1s)(1ueσa)+s(1u)}k1unkdu,(23)
Π+E(n,k,b,t)=t(1eσb)+eσbnk,(24)
and
EEsK(n,k,a)tK+(n,k,b)=nn1nkeσa1(ssu)k1(1t)ueσb+tunkdu+0eσa1(1s)ueσasuk1(1t)ueσb+tunkdu.(25)

The above equality can be written as

EEsK(n,k,a)tK+(n,k,b)=nn1nkΠ+E(n,k,b,t)eσa1(ssu)k1unkdu+nn1nkΠ+E(n,k,b,t)0eσa1(1s)ueσasuk1unkdu=Π+E(n,k,b,t)ΠE(n,k,a,s),
and this completes the proof of necessity.

Proof of the sufficiency.

Suppose that counting random variables K(n,k,a) and K+(n,k,b) be independent. Using (18) and (19), we have

P(W1a,W2b)=P(K(n,k,a)j11,K+(n,k,b)j21)=P(K(n,k,a)j11)P(K+(n,k,b)j21)=P(W1a)P(W2b).(26)

The quantity (26) shows that the spacings W1 and W2 are independent. So, the proof is completed.

4. AN ESTIMATOR BASED ON NEAR-ORDER STATISTIC

Pakes and Stutel [6] introduced following index of tail thickness when rF=inf{x,F(x)=1}=, as

γ(a)=limxF¯(x)F¯(x+a)F¯(x).(27)

A tail is called as “thick” tail when γ(a)=0, “medium” tail when 0<γ(a)<1 and “thin” tail when γ(a)=1. Assume that X has exponential distribution. Substituting its CDF into (27), imply that

γ(a)=1eσa.(28)

It is well-known that the MLE of unknown scale parameter σ is ni=1n(XiX1:n)1, when the underlying distribution is Exp(μ,σ). So, one estimator for eσa based on MLE can be considered as

T1=expnai=1n(XiX1:n)1.(29)

Following, we introduce an estimator for eσa based on near-order statistic. From (6), the pmf of K+(n,k,a) can be written as

P(K+(n,k,a)=j)=nkjeσa(nk)ejlog1eσaeσa.(30)

Eq. (30) shows that the counting random variable K+(n,k,a) belongs to the one-parameter exponential family. Therefore, K+(n,k,a) is a sufficient and complete statistic for eσa. According to expectation of K+(n,k,a), an unbiased estimator for eσa is equal to

T2=1K+(n,k,a)n1.(31)

So, the estimator T2 is uniformly minimum-variance unbiased estimator (UMVUE) and its variance or minimum square error (MSE) is as follows

MSE(T2)=nk(n1)2(1eσa)eσa.(32)

Further, (31) and (32) imply that T2 is a consistent estimator for eσa. The performance of two estimators T1 and T2 is comparable through their MSE. But it is difficult to calculate MSE of T1 theoretically. So, we compare them numerically. In this study, we explore the MSE of T1 and T2 under different μ, a and k which are stated in Figure 1. Also, this results are obtained based on 2000 bootstrap samples.

Figure 1

MSE of two estimators T1 and T2 with respect to eσa under n=50, a=1, μ=3 and different k.

Our simulation results demonstrate that the performance of T1 and T2 has little differences with increasing a.

So, the obtained results show that with choosing appropriate k, the estimator T2 can be considered as a good estimator for parameter eσa.

An exact confidence interval for eσa when a is known can be obtained by this fact that a confidence interval is available for σ in two-parameter exponential distribution. So, the 100(1α)% interval confidence for eσa is given by

exp2aχ2n2,α22i=1nXiX1:n1,exp2aχ2n2,1α22i=1nXiX1:n1,
where χ(m,α)2 denotes the 100(1α)th percentile of the central chi-square distribution with m degree of freedom.

Now, we present an asymptotic confidence interval for eσa based on counting random variable K+(n,k,a) which is stated in the following remark.

Remark 4.1.

According to distribution of K+(n,k,a), it can be considered as sum of independent and identically distributed random variables from binomial 1,1eσa. So the conditions of central limit theorem for random variable T2 hold and we have

(n1)(T2eσa)(nk)eσa(1eσa)dN(0,1).(33)

Therefor from (33), we can construct asymptotically confidence interval for eσa by solving following inequality

e2σaZα22+n1eσaZα22+2(n1)T2+(n1)T22<0.

5. CONCLUSION

In this paper, we have shown some applications of counting random variable K+(n,k,a) for two-parameter exponential distribution. We believe that the results of the second and third section can be used in the construction of testing goodness-of-fit for exponentiality which sometimes can be more efficient or more robust than others. See, Nikitin [27] for more details on application of characterization in goodness-of-fit test.

CONFLICT OF INTEREST

The authors declare that there is no potential conflict of interest related to this study.

AUTHORS' CONTRIBUTIONS

The authors contributed equally to this work.

ACKNOWLEDGMENTS

The authors would like to thank the Editor in Chief, the Associate Editor and two anonymous reviewer for their valuable comments.

REFERENCES

5.M. Ahsanullah and G.G. Hamedani, Exponential Distribution—Theory and Methods, Nova Science Publications Inc., New York, NY, USA, 2009. https://books.google.com/books?id=BkcRRgAACAAJ
Journal
Journal of Statistical Theory and Applications
Volume-Issue
19 - 1
Pages
21 - 27
Publication Date
2020/03/03
ISSN (Online)
2214-1766
ISSN (Print)
1538-7887
DOI
10.2991/jsta.d.200224.001How to use a DOI?
Copyright
© 2020 The Authors. Published by Atlantis Press SARL.
Open Access
This is an open access article distributed under the CC BY-NC 4.0 license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - JOUR
AU  - Masoumeh Akbari
AU  - Mahboubeh Akbari
PY  - 2020
DA  - 2020/03/03
TI  - Some Applications of Near-Order Statistics in Two-Parameter Exponential Distribution
JO  - Journal of Statistical Theory and Applications
SP  - 21
EP  - 27
VL  - 19
IS  - 1
SN  - 2214-1766
UR  - https://doi.org/10.2991/jsta.d.200224.001
DO  - 10.2991/jsta.d.200224.001
ID  - Akbari2020
ER  -