1. Introduction
In the last two decades, a great attention has been put on stochastic orderings of order statistics and other ordered random variables. In another direction, such random variables can be embedded in the concept of generalized order statistics (GOS), introduced by Kamps [Reference Kamps16], as a general framework for models of ordered random variables. Since then, the researchers attempt to obtain their results for ordered data into the model of GOS.
Let $X$ and $Y$ be two nonnegative variables with absolutely continuous cumulative distribution functions (cdfs) $F$ and $G$, survival functions (sfs) $\bar {F}=1-F$ and $\bar {G}=1-G$, and probability density functions (pdfs) $f$ and $g$, respectively, in which $F^{-1}(0)=G^{-1}(0)$ ($F^{-1}$ is the right continuous inverse of $F$). Let $h_X=f/\bar F$ and $h_Y=g/\bar G$ denote the hazard rate functions of $X$ and $Y$, respectively.
The random variables $X_{(r,n,\tilde {m}_n,k)}$, $r=1,2,\ldots,n$, arising from independent and identically distributed random variables, are referred to as GOS if their joint density function is given by
for all $F^{-1}(0)< x_1\leq x_2 \leq \cdots \leq x_n < F^{-1}(1-)$, where $n \in \mathbb {N}$, $k>0$, and $m_1,\ldots,m_{n-1}\in \mathbb {R}$ are such that ${\gamma _{(i,n,\tilde {m}_n,k)}}=k+n-i+\sum _{j=i}^{n-1}{m_j}\geq 1$ for all $i\in \{1,\ldots,n-1\}$, and $\tilde {m}_n=(m_1,\ldots,m_{n-1})$ if $n\geq 2$ ($\tilde {m}_n\in \mathbb {R}$ is arbitrary if $n=1$). Indeed, special choices of parameters $k$ and $m_i$ correspond to some well-known submodels such as order statistics, record values, and sequential order statistics. We refer the readers to Table 1 of Kamps [Reference Kamps17] for complete information on various submodels.
Throughout this paper, we shall use the word increasing (decreasing) for nondecreasing (nonincreasing). Furthermore, ratios are supposed to be well defined whenever they are used. We say that $X$ is smaller than $Y$ in the
• likelihood ratio order (denoted by $X\leq _{{\rm lr}} Y$) if $g(x)/f(x)$ is increasing in $x$;
• hazard rate order (denoted by $X\leq _{{\rm hr}} Y$) if $\bar {G}(x)/\bar {F}(x)$ is increasing in $x$ or, equivalently, $h_Y(x)\leq h_X(x)$.
It is well-known that $X\leq _{{\rm lr}} Y \Rightarrow X\leq _{{\rm hr}} Y$ (cf. [Reference Shaked and Shanthikumar23]). We say that $X$ is DFR (decreasing failure rate) if $\bar F$ is logconvex in $x\in \mathbb {R_+}$ or, equivalently, $\bar F(x+\epsilon )/\bar F(x)$ is an increasing function of $x$ for each fixed $\epsilon >0$.
Let $Y_{(r,n,\tilde {m}_n,k)}$, $r=1,\ldots,n$, be GOS based on $G$. We denote the $p$-spacings of GOS from $F$ and $G$ by $V_{(r,n,\tilde {m}_n,k)}^{(p)}=X_{(r+p-1,n,\tilde {m}_n,k)}-X_{(r-1,n,\tilde {m}_n,k)}$ and $W_{(r,n,\tilde {m}_n,k)}^{(p)}=Y_{(r+p-1,n,\tilde {m}_n,k)}-Y_{(r-1,n,\tilde {m}_n,k)}$, for $2\leq r \leq n-p+1$ and $p\geq 1$, respectively.
For one-sample problem of $p$-spacings, some stochastic properties of order statistics and GOS have been studied by several authors such as Misra and van der Meulen [Reference Misra and van der Meulen21], Hu and Zhuang [Reference Hu and Zhuang13,Reference Hu and Zhuang14], Xie and Hu [Reference Xie and Hu25], and Alimohammadi et al. [Reference Alimohammadi, Esna-Ashari and Navarro4]. For two-sample problem of $p$-spacings, a study of stochastic comparisons was initiated by Kochar [Reference Kochar20]. He investigated the usual stochastic, hazard rate, and likelihood ratio orderings of order statistics for $p=1$. Franco et al. [Reference Franco, Ruiz and Ruiz12] studied the usual stochastic, hazard rate, and dispersive orderings of GOS under the condition $m_1=m_2=\cdots =m_{n-1}$. Then, without this condition, Belzunce et al. [Reference Belzunce, Mercader and Ruiz7] gave the usual stochastic and likelihood ratio orderings of GOS for $p=1$. Finally, in an interesting article, Hu and Zhuang [Reference Hu and Zhuang15] established the likelihood ratio ordering of GOS for any $p\geq 1$ and the hazard rate ordering of GOS for $p=1$ under the condition $m_1=m_2=\cdots =m_{n-1}$ and left the case $p\geq 2$ as an open problem. In particular, they proved
provided that any one of the following conditions is satisfied:
i. $m_i\geq 0$ $\forall i$, $X\leq _{{\rm lr}} Y$, and $X$ or $Y$ is DFR;
ii. $-1\leq m_i < 0$ $\forall i$, $X\leq _{{\rm hr}} Y$, $h_Y(x)/h_X(x)$ is increasing in $x$, and $X$ or $Y$ is DFR;
and said that whether this ordering holds for $p\geq 2$ under the same assumptions as those of above. In this article, we first answer to this open problem in the affirmative without the condition $m_1=m_2=\cdots =m_{n-1}$. Finally, the applications of this result are demonstrated for sequential systems, progressive Type-II censored order statistics with arbitrary censoring schemes and record values.
2. Preliminaries
There exist several representations for the marginal density functions of GOS (see, e.g., [Reference Cramer and Kamps10,Reference Kamps16]). Cramer et al. [Reference Cramer, Kamps and Rychlik11] obtained the expression
where $c_{r-1}=\prod _{i=1}^{r}\gamma _i$, $r=1,\ldots,n$, $\gamma _n=k$, and $\xi _{r}$ is a particular Meijer's $G$-function. For the joint pdf of $X_{(r,n,\tilde {m}_n,k)}$ and $X_{(s,n,\tilde {m}_n,k)}$, $1\leq r< s \leq n$, Tavangar and Asadi [Reference Tavangar and Asadi24] established the expression
(zero elsewhere), where $\psi _{0}(t)= 1$, $\psi _{1}(t)=\delta _{m_{r+1}}(1-t)$,
and
According to Lemmas 2.1 and 3.1 of Alimohammadi and Alamatsaz [Reference Alimohammadi and Alamatsaz1], we have the following recursive formulas:
and
Some convexity properties of the function $\xi _{r}$ and GOS have been studied by Cramer et al. [Reference Cramer, Kamps and Rychlik11] and Alimohammadi et al. [Reference Alimohammadi, Alamatsaz and Cramer2,Reference Alimohammadi, Alamatsaz and Cramer3].
Now, substituting $r$ with $r-1$ and $s$ with $r+p-1$ in (2) and after some calculations, for $2\leq r \leq n-p+1$, we obtain
where, according to (4) for $r-1$,
with $\psi _{0}(t)= 1$ and, for $r=1$, we have $f_{V_{(1,n,\tilde {m}_n,k)}^{(p)}}(x)=f_{X_{(r+p-1,n,\tilde {m}_n,k)}}(x)$. Also, for $2\leq r \leq n-p+1$, from (5) we arrive at
Now, we recall the following definition about the very useful concept of total positivity (cf. [Reference Karlin19]).
Definition 2.1 Let $\mathcal {X}$ and $\mathcal {Y}$ be subsets of the real line $\mathbb {R}$. A function $\lambda : \mathcal {X}\times \mathcal {Y} \rightarrow \mathbb {R}$ is said to be totally positive of order 2 $(TP_2)$ (reverse regular of order 2 $(RR_2)$) if
for all $x_1\leq x_2$ in $\mathcal {X}$ and all $y_1\leq y_2$ in $\mathcal {Y}$.
Note that the $TP_2$ $(RR_2)$ property is equivalent to $\lambda (x_2,y)/\lambda (x_1,y)$ is increasing (decreasing) in $y$ when $x_1 \leq x_2$, whenever this ratio exists. Also, note that the product of two $TP_2$ ($RR_2$) functions is $TP_2$ ($RR_2$). Moreover, if $\lambda (x,y)$ is $TP_2$ ($RR_2$) in $(x,y)$, then $\lambda _1(x)\lambda (x,y)\lambda _2(y)$ is $TP_2$ ($RR_2$) in $(x,y)$ when $\lambda _1$ and $\lambda _2$ are two nonnegative functions (cf. [Reference Karlin19]).
The lemma below, due to Misra and van der Meulen [Reference Misra and van der Meulen21], is often used in establishing the monotonicity of a fraction in which the numerator and denominator are integrals or summations.
Lemma 2.2 Assume that $\Theta$ is a subset of the real line $\mathbb {R}$, and let U be a nonnegative random variable having a cdf belonging to the family $\mathcal {P}=\{\Xi (\cdot \,|\,\theta ),\theta \in \Theta \}$ which satisfies that, for $\theta _1, \theta _2 \in \Theta$,
Let $\phi (u,\theta )$ be a real-valued function defined on $\mathbb {R}\times \Theta$, which is measurable in u for each $\theta$ such that $E_\theta [\phi (U,\theta )]$ exists. Then, $E_\theta [\phi (U,\theta )]$ is
(i) increasing in $\theta$, if $\phi (u,\theta )$ is increasing in $\theta$ and increasing (decreasing) in $u$;
(ii) decreasing in $\theta$, if $\phi (u,\theta )$ is decreasing in $\theta$ and decreasing (increasing) in $u$.
3. Main result
Now, we are ready to resolve the mentioned problem.
Theorem 3.1 Let ${X_{(r,n,\tilde {m}_n,k)}}$ and ${Y_{(r,n,\tilde {m}_n,k)}}$, $r=1,\ldots,n$, be GOSs based on absolutely continuous cdfs $F$ and $G$, respectively. Then, for all $2\leq r \leq n-p+1$ and all $p\geq 1$,
provided that any one of the following conditions is satisfied:
(i) $m_i\geq 0$ $\forall i$, $X\leq _{{\rm lr}} Y$, and $X$ or $Y$ is DFR;
(ii) $-1\leq m_i < 0$ $\forall i$, $X\leq _{{\rm hr}} Y$, $h_Y(x)/h_X(x)$ is increasing in $x$, and $X$ or $Y$ is DFR.
Proof. First note that by changing variable $z=\bar {F}(t)/\bar {F}(x+u)$ in (7), we have
We give the proof for the case $p \geq 2$ while the case $p=1$ can be proved in an analogous and simpler manner (because some terms will be vanished for $p=1$). Assume that $X$ is DFR. Let's define
From (9), we have
where
$U$ and $T$ are nonnegative random variables having the respective cdfs belonging to the families $\mathcal {P}_1=\{\mathcal {U}(\cdot \,|\,x),x \in \mathbb {R_+}\}$ and $\mathcal {P}_2=\{\mathcal {T}(\cdot \,|\,x,u),x,u \in \mathbb {R_+}\}$ with the respective pdfs
and
in which
and
are the normalizing constants and $I_A$ is the indicator function.
Now, we show that $\phi _1(u,x)$ is increasing in $u$ and $x$ in either (10) and (11).
The first parentheses is increasing in $u$: It is obvious according to the conditions (i) and (ii) of theorem.
The second parentheses is increasing in $u$: We prove it by induction on $r$. It is clearly valid for $r=2$. For $r\geq 3$, let us assume that $\xi _{j-1}(G(u))/\xi _{j-1}(F(u))$ is increasing in $u$ for $j=3,\ldots,r-1$. According to (3), we then have
Let us define
Then, we have the right-hand side of (12) to be
Because of the integral form of $\nu _1(x)$ and $\nu _2(x)$, they are continuous on $x \in [F^{-1}(0),u]$ and differentiable on $x \in (F^{-1}(0),u)$. Also, we have $\nu _2'(x)\neq 0$ for all $x \in (F^{-1}(0),u)$. Because we consider the pdfs on their support and if $X$ is DFR, then its support is $(F^{-1}(0),\infty )$ with finite $F^{-1}(0)$ (cf. [Reference Block, Savits and Singh8]) and, thus, we have $(F^{-1}(0),u) \subset (F^{-1}(0),\infty )$. So, according to Cauchy's mean value theorem, there exists some $\theta \in (F^{-1}(0),u)$ such that
Also, we have
Now, as $\theta \leq u$ and according to the conditions (i) and (ii) of theorem, respectively $({g(u)}/{f(u)}) (c{\bar G(u)}/{\bar F(u)})^{m_{r-2}}$ and $({h_Y(u)}/{h_X(u)}) ({\bar G(u)}/{\bar F(u)})^{m_{r-2}+1}$ is increasing in $u$, the right-hand side of (12) becomes less than or equal to the left-hand side by induction.
The third parentheses is increasing in $u$: We first prove that
is increasing in $u$ by induction on $p$. For $p=2$, from (6) we have
where
and $Z$ is a nonnegative random variable having the cdf belonging to the family $\mathcal {P}_3=\{\mathcal {Z}(\cdot \,|\,t,u),t,u \in \mathbb {R_+}\}$ with the pdf
in which $c_3(t,u)$ is the normalizing constant. According to the conditions (i) and (ii) of theorem, $\phi _3(z,t,u)$ is increasing in $z$. Also, it is constant with respect to $u$. Since, $I_{\{u \leq z \leq t\}}$ is $TP_2$ in $(z,u)$, we have $\mathcal {Z}(\cdot \,|\,t, u_1) \leq _{{\rm lr}} \mathcal {Z}(\cdot \,|\,t, u_2)$ for $u_1 \leq u_2$. Now, part (i) of Lemma 2.2 implies that $E[\phi _3(Z,t,u)]$ is increasing in $u$. By the same manner and according to
the term in (13) is increasing in $u$ by induction.
Then, since $X$ is DFR and $I_{\{x+u \leq t \}}$ is $TP_2$ in $(t,u)$, one can similarly see that $\mathcal {T}(\cdot \,|\,x,u_1) \leq _{{\rm lr}} \mathcal {T}(\cdot \,|\,x,u_2)$ for $u_1 \leq u_2$. Thus, part (i) of Lemma 2.2 implies that the third parentheses is increasing in $u$.
The third parentheses is increasing in $x$: Similar to the previous step, we can show that ${\psi _{p-1}({\bar G{(t)}}/{\bar G{(u)}})}/{\psi _{p-1}({\bar F{(t)}}/{\bar F{(u)}})}$ is increasing in $t$ and $\mathcal {T}(\cdot \,|\,x_1,u) \leq _{{\rm lr}} \mathcal {T}(\cdot \,|\,x_2,u)$ for $x_1 \leq x_2$. Again, part (i) of Lemma 2.2 implies that $E[\phi _2(T,x,u)]$ is increasing in $x$.
Finally, since $\mathcal {U}(\cdot \,|\,x_1) \leq _{{\rm lr}} \mathcal {U}(\cdot \,|\,x_2)$ for $x_1 \leq x_2$, part (i) of Lemma 2.2 implies that $E[\phi _1(U,x)]$ is increasing in $x$.
For the case that $Y$ is DFR, analogously one can see that ${\bar {F}_{V_{(r,n,\tilde {m}_n,k)}^{(p)}}(x)}/{\bar {F}_{W_{(r,n,\tilde {m}_n,k)}^{(p)}}(x)}$ is decreasing in $x$ by part (ii) of Lemma 2.2. Therefore, the proof is completed. □
It is worthwhile mentioning that there are two crucial points in resolving this problem. The first one is the choosing an appropriate change of variable in the structure of $\bar {F}_{V_{(r,n,\tilde {m}_n,k)}^{(p)}}(x)$. The second one is the noting that ${\psi _{p-1}({\bar G{(t)}}/{\bar G{(u)}})}/{\psi _{p-1}({\bar F{(t)}}/{\bar F{(u)}})}$ is not increasing in $u$ on its own (while it is increasing in $t$), and thus, it is needed to borrow some increasing terms from the other parts to make it increasing.
Remark 3.2 By a similar approach, one can see that all results and all corollaries of Hu and Zhuang [Reference Hu and Zhuang15] are now valid for any $p\geq 1$ and for unequal $m_i$'s.
4. Applications in submodels
The hazard rate of spacings is an important measure for studying lifetime random variables in reliability theory and survival analysis. According to the previous findings, one could compare the simple spacings of ordered random variables in terms of the hazard rate ordering. But, now, one can do that for $p$-spacings. Here, we present the applications for three useful submodels and the other ones can be considered similarly.
4.1. Sequential $(n-r+1)$-out-of-$n$ systems
In this system (in which contains the ordinary $(n-r+1)$-out-of-$n$ systems), successive failure times of components are observed which are called sequential order statistics (SOS). The system collapses after the $r$th failure so that the $r$th SOS describes the system lifetime. After the failure of the $i$th component, the distribution of the lifetimes of the remaining components in the system is adjusted by a parameter $\alpha _i$ (cf. [Reference Cramer and Kamps9]). This reflects both a damage caused by the previous failures and a higher load imposed on the remaining components leading possibly to shorter residual life. SOS under proportional hazard rates are included in GOS (cf. [Reference Kamps16,Reference Kamps17]). Indeed, the specific choice of distribution functions
with a cdf $F$ and positive real numbers $\alpha _1,\ldots,\alpha _n$ leads to the model of GOS with parameters $k=\alpha _n$, $m_i=(n-i+1)\alpha _i-(n-i)\alpha _{i+1}-1$, $i=1,\ldots,n-1$, and hence, $\gamma _i=(n-i+1)\alpha _i$, $i=1,\ldots,n$, ($\alpha _1=\cdots =\alpha _n=1$ leads to the ordinary $(n-r+1)$-out-of-$n$ systems). The main result of the paper enables us to compare the $p$-spacings of failures of components in two different sequential systems in hazard ratio orders. Let $V^{{\rm SOS}}_{(r,n,\tilde {\alpha })}$ and $W^{{\rm SOS}}_{(r,n,\tilde {\alpha })}$ represent the $p$-spacings of two sequential systems when the components have the lifetime distributions $F$ and $G$, respectively. Then, we have
provided that the corresponding conditions in Theorem 3.1 are satisfied.
4.2. Progressive Type-II censored order statistics
A progressively censored life test involves $N$ items with i.i.d. lifetimes placed simultaneously on test. At the time of the $i$th failure ($i=1,\ldots,n$), $R_i$ surviving units are randomly withdrawn from the test. Progressively Type-II censored order statistics (PCOS) arising from such a reliability experiment correspond to GOS with parameters $m_i = R_i \in \mathbb {N}_0$, $i=1,\ldots,n-1$, and $k = R_n + 1$. The vector $\tilde {R}=(R_1,\ldots, R_n)$ is called censoring plan (cf. [Reference Balakrishnan and Cramer5], Section 3.2). Our result can be applied to compare the hazard rate of $p$-spacings of failures in two life tests when the components have different lifetime distributions. Let $V^{{\rm PCOS}}_{(r,n,\tilde {R})}$ and $W^{{\rm PCOS}}_{(r,n,\tilde {R})}$ represent the $p$-spacings of PCOS with item lifetime distributions $F$ and $G$, respectively. If the conditions in part (i) of Theorem 3.1 are satisfied, we then have
4.3. Record values
Record values are defined as a model of successive extremes in a sequence of i.i.d. random variables. Pellerey et al. [Reference Pellerey, Shaked and Zinn22] and Belzunce et al. [Reference Belzunce, Lillo, Ruiz and Shaked6] investigated the inter-epoch intervals of nonhomogeneous Poisson processes, which can be regarded as spacings of record values. Choosing $m_1=\cdots =m_{n-1}=-1$, GOS can be viewed as record values (cf. [Reference Kamps16,Reference Kamps17]). Now, one can compare the $p$-spacings of record values arising from different distributions in hazard ratio orders. Let $V^{*}_{(1)},~V^{*}_{(2)},\ldots$ and $W^{*}_{(1)},~W^{*}_{(2)},\ldots$ represent the $p$-spacings of record values based on $F$ and $G$, respectively. If the conditions in part (ii) of Theorem 3.1 are satisfied, we then have
Acknowledgment
The author is grateful to the reviewers for several constructive comments which lead to an improved version of the manuscript.