Published online by Cambridge University Press: 31 August 2005
Two well-known orders that have been introduced and studied in reliability theory are defined via stochastic comparison of inactivity time: the reversed hazard rate order and the mean inactivity time order. In this article, some characterization results of those orders are given. We prove that, under suitable conditions, the reversed hazard rate order is equivalent to the mean inactivity time order. We also provide new characterizations of the decreasing reversed hazard rate (increasing mean inactivity time) classes based on variability orderings of the inactivity time of k-out-of-n system given that the time of the (n − k + 1)st failure occurs at or sometimes before time t ≥ 0. Similar conclusions based on the inactivity time of the component that fails first are presented as well. Finally, some useful inequalities and relations for weighted distributions related to reversed hazard rate (mean inactivity time) functions are obtained.
Stochastic comparisons between probability distributions play a fundamental role in probability, statistics, and some related areas, such as reliability theory, survival analysis, economics, and actuarial science. As a result, several more refined orders have been comprehensively discussed in the literature. In this section, we present some of these orders (see Müller and Stoyan [26] and Fernandez-Ponce, Kochar, and Munoz-Pérez [16]).
Let X and Y be two random variables having distribution functions F and G, respectively, and denote by F = 1 − F and G = 1 − G their respective survival functions; F−1 and G−1 are corresponding right continuous inverses. A random variable X is said to be smaller than a random variable Y in the stochastic order (denoted by X ≤ST Y) if and only if F(x) ≤ G(x) for all x.
Recall also that a random variable X is said to be smaller than Y in right spread order (denoted by X ≤RS Y) if and only if
where F−1(p) = inf{t : F(t) ≥ p}.
For any random variable X, let
denote a random variable whose distribution is the same as the conditional distribution of X − t given that X > t. When X is the lifetime of a device, Xt can be regarded as the residual lifetime of the device at time t, given that the device has survived up to time t. An important ordering that relates the residual lifetimes is the hazard rate order: X is said to be smaller than Y in hazard rate order (denoted by X ≤HR Y) if Xt ≤ST Yt.
Let us observe that when X and Y represent lifetimes of systems or components (i.e., X and Y are nonnegative), the hazard rate order is more informative than either the stochastic order or the right spread order, since it compares the underlying systems at a time t in contrast to the global comparison offered by the order ≤ST or ≤RS. However, it is reasonable to presume that in many realistic situations, the random variables are not necessarily related only to the future, but they can also refer to the past. In fact, in many reliability problems, it is of interest to consider variables of the kind X(t) = [t − X|X ≤ t], for fixed t > 0, having distribution function F(t)(s) = P[t − X ≤ s|X ≤ t], and known in literature as the inactivity time (see Chandra and Roy [13], Di Crescenzo and Longobardi [15], Li and Lu [23], Nanda, Singh, Misra, and Paul [28], Kayid and Ahmad [19], and Ahmad, Kayid, and Pellerey [1]).
Two well-known orders that have been introduced and studied in reliability theory are defined via stochastic comparison of inactivity time: the reversed hazard rate order and the mean inactivity time order, whose definitions are recalled here.
Definition 1.1: Let X and Y be two nonnegative random variables.
(i) X is smaller than Y in the reversed hazard rate order (denoted by X ≤RHR Y) if
(ii) X is smaller than Y in the mean inactivity time order (denoted by X ≤MIT Y) if and only if
Related to the above two orderings, two classes of life distributions have been introduced and studied in the literature. These are the decreasing reversed hazard rate (DRHR) and increasing mean inactivity time (IMIT) classes of life distributions (cf. Block, Savits, and Singh [11], Nanda et al. [28], Kayid and Ahmad [19], and Ahmad et al. [1]). Their definitions are also recalled here.
Definition 1.2: A nonnegative random variable X is said to be
(i) a decreasing reversed hazard rate (denoted by X ∈ DRHR) if and only if
(ii) an increasing mean inactivity time (denoted by X ∈ IMIT) if and only if
Another condition equivalent to (1.2) is (Sengupta and Nanda [34])
The IMIT class can be characterized by way of the right spread order observing that (Ahmad et al. [1])
A wide range of distributions happen to be DRHR. These include two-parameter Weibull, gamma, Makeham, Pareto, log-normal, and linear failure rate distributions. In addition, the linear failure rate and the Makeham distributions are also included in the IMIT class. The following implications among some of the above-mentioned orders and nonparametric classes are well known (see Nanda et al. [28] and Kayid and Ahmad [19]):
The MIT order and the IMIT class were introduced recently by Nanda et al. [28] and Chandra and Roy [13], respectively, whereas Kayid and Ahmad [19] and Ahmad et al. [1] studied some characterizations and preservation results for this order and introduced a life test for the new class. From the definition of mean inactivity time order it could be thought that the results one can obtain on this order follow directly from the results on the mean residual life order (MRL) and the fact that X ≤MIT Y if and only if −X ≥MRL − Y. However, this is not generally true since this property cannot be useful when one assumes nonnegativity of X and Y, which is assumed for most of the known results on the MRL order. Such equivalence can be applied only in the case that X and Y have a common finitely bounded support [0,l], l ∈ R+, since, in that case, we can write it as X ≤MIT Y if and only if l − X ≥MRL l − Y. However, we always consider the case of unbounded supports (which are more common in real problems). A similar remark applies to the results on the IMIT property (and DMRL property). In fact, for example, it is well known that a nonnegative random variable X is DMRL if and only if X ≥MRL Xt for all t ≥ 0, whereas it is not true that X is IMIT if and only if X ≤MIT X(t) for all t ≥ 0 (for the definition of the MRL order and DMRL class, we refer to Alzaid [2], among others).
Some authors have made efforts to investigate the characterizations of several stochastic orders as well as several nonparametric life classes. The purpose of the current investigation is to provide some characterization results of the RHR (MIT) orders. In Section 2, some new results related to the RHR order and Laplace transform order are given. In that section, we prove that, under suitable condition, the RHR rate order is equivalent to the MIT order. In Section 3, we provide new characterizations of the DRHR (IMIT) classes based on variability orderings of the inactivity time of a k-out-of-n system given that the time of the (n − k + 1)st failure occurs at or sometimes before time t ≥ 0. Similar conclusions based on the inactivity time of the component that fails first are presented as well. Finally, in the rest of that section, we establish some useful inequalities and relations for weighted distributions related to RHR and MIT functions.
Throughout the article, we will use the term increasing in place of nondecreasing, and decreasing in place of nonincreasing. Moreover, all integrals and expectations are implicitly assumed to exist wherever they are given.
First, we give a characterization of the RHR order by means of the Laplace transform order. Let X be a nonnegative random variable with distribution function F; the Laplace–Stieltjes transform of F is given by
Given two random variables X and Y, X is said to be smaller than Y in the Laplace transform order (denoted by X ≤Lt Y) if
Interpretations, properties, and applications of this order in reliability theory and actuarial science can be found in Alzaid, Kim, and Proschan [3], Klefsjo [20], and Denuit [14], among others. To state and prove Theorem 2.1, we need the following result.
Proposition 2.1: Let X and Y be two continuous nonnegative random variables with distribution functions F and G, respectively; then for all t ≥ 0 and s > 0,
Proof: First let us observe that, for all t ≥ 0,
Therefore, given s > 0,
and this completes the proof. █
Theorem 2.1: Let X and Y be two continuous nonnegative random variables. Then for all t ≥ 0,
Proof: The implication X ≤RHR Y ⇒ X(t) ≥Lt Y(t) follows from Theorem 3.1 of Nanda et al. [28] together with Theorem 3.B.6 of Shaked and Shanthikumar [35]. We now need to prove the implication X(t) ≥Lt Y(t) ⇒ X ≤RHR Y. Observing that, for fixed s ≥ 0 and t ≥ 0, we have
then
Using the dominated convergence theorem together with (2.1) and following the proof of Proposition 2.2 of Belzunce, Gao, Hu, and Pellerey [9], the theorem follows. █
Let us now denote the expected values of the random variables X(t) and Y(t) by μ(t) and β(t), respectively, where
The reversed hazard order implies the mean inactivity time order, but the converse is not necessarily true (see Nanda et al. [28]). The next result, however, gives a condition under which X ≤MIT Y if and only if X ≤RHR Y.
Theorem 2.2: Let X and Y be two nonnegative continuous random variables with differentiable MIT functions μ and β, respectively. Suppose that μ(t)/β(t) is increasing in t. Then
Proof: Let X have a RHR function r(t) = f (t)/F(t) and MIT function μ(t). Similarly, define q(t) and β(t) to be the analogous functions for Y. First, note that the mean inactivity time function is differentiable over {t : P(X < t)} and
where μ′ denotes the derivative of μ. Similarly,
Using the monotonicity property of μ(t)/β(t), together with (1.1), implies that
that is, X ≤RHR Y. █
In many instances in the analysis of system reliability, for the purpose of comparison of two distribution functions, one is often concerned with properties of a system life distribution, which can be guaranteed from properties of component life distributions; general closure properties of stochastic orders with respect to reliability operations have been studied extensively. In addition to the theoretical interest in the problem, closure properties furnish both rules to choose among various types of replacement and maintenance policies and useful bounds when the exact distribution of the system is not available in closed form. Actually, it is a well-known fact that some stochastic orders are preserved under the formation of a k-out-of-n system of independent and identically distributed (i.i.d.) functions, whereas others are preserved under the formation of simple parallel or series systems. In the following example, we show that the MIT order is not preserved by a k-out-of-n system of i.i.d. functions.
Example 2.1: Let X and Y have distribution functions as follows:
It is easily seen that
implying that X ≤MIT Y.
For n = 2,
and
Therefore, from (2.2) and (2.3), it follows that
thus implying that X(1:2) is not less than Y(1:2) in the MIT ordering.
As shown in Example 2.1, in general, the MIT ordering is not preserved by a k-out-of-n system of i.i.d. functions. However, under an additional stronger assumption on the variables involved (i.e., X ≤RHR Y), such closure can be satisfied.
Many technical systems or subsystems have a k-out-of-n structure. These so-called k-out-of-n systems consist of n components of the same kind. The entire system is working if at least k of its n components are operating. It fails if n − k + 1 or more components fail. Hence, a k-out-of-n system breaks down at the time of the (n − k + 1)st component failure. Important particular cases of k-out-of-n systems are parallel and series systems corresponding to k = 1 and k = n, respectively. Practical examples of k-out-of-n systems are an aircraft with four engines that will not crash if at least 2 out of its 4 engines remain functioning or a satellite that will have enough power to send signals if not more than 4 out of its 10 batteries are discharged.
In reliability theory, the lifetime of a k-out-of-n system is usually described by the (n − k + 1)st-order statistic Xn−k+1,n from the sample X1,…,Xn, where the random variable Xi represents the lifetime or failure time of the ith component of the system, 1 ≤ i ≤ n. Many authors have paid attention to behaviors of nonparametric life classes based on the parallel (series) systems and the k-out-of-n systems (see Barlow and Proschan [6], Belzunce, Franco, and Ruiz [8], Li and Zuo [25], Pellerey and Petakos [33], and Li and Chen [22]).
Assume now that the component with lifetime Xn−k+1,n fails and the system can be considered as a black box in the sense that the exact failure time of Xn−k+1,n in it is unknown. Motivated by this, we assume that at time t the system is not working and in fact it has failed at time t or sometimes before time t. In fact, it is of special interest to estimate the time that has elapsed since the (n − k + 1)st component failure. This is quite useful for estimation of the survival function for left-censored data. As a result, some authors centered their attention on investigating the behavior of some nonparametric life classes based on the inactivity time of k-out-of-n systems given that the time of the (n − k + 1)st failure occurs at time t ≥ 0. These characterizations are meaningful because they help in the understanding of the intrinsic meaning of reliability properties that are involved (see, e.g., Andersen, Borgan, Gill, and Keiding [4], Kalbfleisch and Lawless [18], Xu and Li [36], and Asadi [5]).
The inactivity time of a k-out-of-n system given that the (n − k + 1)st failure occurs at or some time before time t ≥ 0 is represented by the following conditional random variable:
and the inactivity time of the unit that fails at first is
where (X1)(t),…,(Xn−k+1)(t) are i.i.d. copies of X(t).
In this way, using stochastic comparisons, we will characterize the DRHR and the IMIT classes of life distributions by the stochastic ordering of the inactivity time of the k-out-of-n system, given that the (n − k + 1)st failure has occurred at different times. The following results give such characterizations in terms of the inactivity time of the first failure component as well as the inactivity time of k-out-of-n systems.
Theorem 3.1: Let X be a continuous nonnegative random variable with finite left end point of the support lX and F(lX) = 0.
(a) If X is IMIT, then
(b) If ITSk,n,(s) ≤RS ITSk,n,(t), for all s < t ≤ lX, then X is IMIT.
Proof: According to Theorem 3.1 in Ahmad et al. [1], for i = 1,2,…,n, Xi is IMIT if and only if
(a) In view of the preservation property of the right spread order under the taking of the maximum of i.i.d. components (Kochar, Li, and Shaked [21, Thm.5.1(b)]), it follows from (3.1) that
Thus, we arrive at the desired result.
(b) Since the right spread order has the reversed preservation property under the taking of the minimum of i.i.d. components (Li and Yam [24, Thm.3.3(i)]), we have
which implies (3.1). Hence, X is IMIT. █
Theorem 3.2:
(a) X is DRHR if and only if
(b) X is DRHR if and only if
Proof: First, note that the survival function of ITSn−k+1,n,(t) and the distribution function of the ITP1,n,(t) can be represented respectively as
Since X is DRHR if and only if
hence, from (1.2) and (1.3), we obtain part (a). Similarly, part (b) can be established. █
Suppose now that the system is composed of independent but not identical components. In this case, the survival function of ITSn−k+1,n,t can be expressed as
In the next result, we investigate the inactivity time of the k-out-of-n systems given that the (n − k + 1)st failure occurs at time t ≥ 0.
Proposition 3.1: For any integer 1 ≤ k < n, if Xi′s, i = 1,2,…,n, are all DRHR, then
Proof: From the DRHR property, we have, for all t > s ≥ 0,
Thus, for all X > 0 and t ≥ s ≥ 0,
Hence,
This is just (3.2). █
In the rest of this section, we establish some useful inequalities and relations for weighted distributions related to RHR and MIT functions. Let X be a nonnegative random variable with distribution function F and probability density function (pdf) f. The weighted distribution of X or the pdf of the weighted random variable Xw is given by
where 0 < E(w(x)) < ∞.
The distribution given in (3.3) arises naturally when one subsamples from the original distribution with large sample size, say N, given a chance proportional to w(x) to observation x. The weighted distribution with weight function w(x) = x is called the length-biased distribution. Statistical applications of weighted distributions, especially to the analysis of data relating to human populations and ecology, can be found in Patil and Rao [31,32]. Pakes, Sapatinas, and Fosam [30] studied relations between length-biased distributions and infinite divisibility. Jain, Singh, and Bagai [17], Nanda and Jain [27], Bartoszewicz and Skolimowska [7], and Belzunce, Navarro, Ruiz, and del Aguila [10] studied relations of weighted distributions with classes of life distributions. Navarro, del Aguila, and Ruiz [29] developed characterizations through reliability measures from weighted distributions. Some known and important distributions in statistics and applied probability may be expressed as weighted distributions (e.g., truncated distributions, the equilibrium renewal distribution, distributions of order statistics, distributions in proportional hazards, and proportional reversed hazards models); for more details, see Broderick and Olusegun [12] and Bartoszewicz and Skolimowska [7].
The weighted distribution function can be expressed as
where
Note that if w′(x) > 0, then MF(x) ≥ 0 for all x ≥ 0. The reversed hazard function of the weighted distribution Fw is given by
where rF(x) is the reversed hazard rate function of X. Bartoszewicz and Skolimowska [7] obtained the following result.
Proposition 3.2: Let w be a monotone left continuous function. If w(x)rF(x) is decreasing, then Fw(x) is DRHR.
The next result provides inequalities for the lower bound of the inactivity time distributions for large values x from the use of the information about the reversed hazard function of the weighted distribution function.
Theorem 3.3: Let Fw be a weighted distribution function with increasing weight function w(x) and pdf fw > 0 for x ≥ x0 and let X be the original random variable. If the reversed hazard function is such that rFw(x) ≥ c/x for all x ≥ x0, where c is a real positive number, then
for all t < 0 and x ≥ x0.
Proof: Let w(x) be increasing in x; then the reversed hazard function of the distribution function F of X satisfies
Now, for x ≥ x0 and t < 0,
The last inequality follows from algebraic arguments; that is, ln a ≥ 1 − a−1 for all a > 0. █
Proposition 3.3: Suppose that, for all t > 0,
then for all x ∈ [a,b) such that x − t > a,
Proof: First, note that the MIT function of the weighted distribution function Fw can be expressed as
The result follows from the observation that
where the second inequality follows from the assumption and, hence, the proof is completed. █
We express our thanks to the referees and to Professor Franco Pellerey for their valuable comments and suggestions, which have greatly improved the presentation and content of this work. The authors are supported by the U.S.-Egypt Science and Technology Joint Fund in cooperation with NSF, and NRC under project OTH8-020-001.