1. Introduction
In reliability theory, various stochastic models have been proposed in the past in order to describe replacement policies of system components. A classical model in this area is the relevation transform, which describes the overall lifetime of a component which is replaced at its (random) failure time by another component of the same age, whose lifetime distribution is possibly different. See the paper by Krakowski [
1] that introduced this topic, and the further contributions by Baxter [
2], Belzunce et al. [
3], Chukova et al. [
4], Shanthikumar and Baxter [
5], Sordo and Psarrakos [
6], for instance. A similar model, named reversed relevation transform, has been considered in Di Crescenzo and Toomaj [
7] in order to describe the total lifetime of an item given that it is less than an independent random inspection time. Such transforms deserve a large interest since they can be employed in restoration models of failed units, or in the determination of optimal redundancy policy in coherent systems.
In both cases, the above models involve a random replacement (or inspection) time. In this paper, we aim to consider a different stochastic model dealing with replacement occurring at deterministic arbitrary instants. Specifically, we assume that an item having random lifetime X is planned to be replaced at time t by another item having the same age but possibly different random lifetime Y. The main aim is to investigate the effect of the replacement, with emphasis on criteria leading to attain better performance for the overall system.
The tools adopted in our investigation are based on stochastic orders and other typical notions of reliability theory. Specifically, we study the consequence of suitable assumptions by which the initial lifetime X is smaller than the lifetime Y of the replacing item according to some stochastic criteria. We also propose a suitable index finalized to assess the effective improvement gained by the system due to the replacement. In addition, we aim to propose the residual differential entropy as a dynamic measure of the information content of the replacement model.
This is the plan of the paper: in
Section 2, we introduce the stochastic model and the main quantities of interest.
Section 3 is devoted to establish some stochastic comparisons concerning the proposed model. We also deal with the case when the relevant random variables belong to the same scale family of distributions. In
Section 4, we introduce the relative ratio of improvement for the considered model, and investigate its behavior in some examples.
Section 5 is centered on results on two dynamic versions of the differential entropy for the proposed model, with reference to the residual and past entropy. Finally, some concluding remarks are given in
Section 6.
Throughout the paper, as usual, we denote by a random variable having the same distribution of X conditional on B. The expectation of X is denoted by . Moreover, is the indicator function of A, i.e., if A is true, and , otherwise. Furthermore, means that a and b have the same sign, and means equality in distribution.
2. The Stochastic Model
Let
X be an absolutely continuous nonnegative random variable with cumulative distribution function (CDF)
, probability density function (PDF)
, and survival function
. Bearing in mind possible applications to reliability theory and survival analysis, we assume that
X describes the random lifetime of an item or a living organism. Let us now recall two functions of interest; as usual, we denote by
the hazard rate (or failure rate) of
X, and by
the reversed hazard rate function of
X. See Barlow and Proschan [
8] and Block et al. [
9] for some illustrative results on these notions. Denote by
Y another absolutely continuous nonnegative random variable with CDF
, PDF
, survival function
, hazard rate
and reversed hazard rate
.
We assume that
X and
Y are independent lifetimes of systems or items, both starting to work at time 0. A replacement of the first item by the second one (having the same age) is planned to occur at time
t, provided that the first item is not failed before. Let us now define
, so that
is a Bernoulli random variable with parameter
. Hence, denoting by
the random duration of the (eventually replaced) system, it can be expressed as follows:
In classical minimal repair models, an item, upon failure, is replaced by another item having the same failure distribution, and the same age of the previous item at the failure time. The present model also presumes that the item is replaced by another one having the same age at the failure time. The difference is that the replacement occurs at a preassigned deterministic time t, and that the new item possesses a possibly different failure distribution.
By (
3), for any Borel set
B, the following mixture holds:
Then, the CDF and the PDF of
are respectively
and
so that the survival function of
can be expressed as
For instance, the special case when
Y is uniformly distributed on
is treated in Example 4.18 of Santacroce et al. [
10] concerning the analysis of some exponential models.
It should be pointed out that the replacement model given in (
3) can be easily extended to integer-valued random variables. In this case, the model when
Y is uniformly distributed on a set of integers is of interest in information theory (see, for instance, the operator considered in Equation (
3) of Cicalese et al. [
11]).
A relevant issue about model (
3) is the following: to assess if the replacement planned at time
t is beneficial to the system. This can be attained in several ways. As a first step, hereafter, we face the problem of establishing if the duration of the replaced system is larger than that of the originating lifetime (or smaller than that of the replaced lifetime) in some stochastic sense. To this aim, in the following section, we provide various useful comparisons based on stochastic orders.
4. Relative Ratio of Improvement
Consider a system having random lifetime
X, which is replaced by
Y at time
t. If
X is smaller than
Y according to some stochastic order, we expect that the reliability of the system at time
is improved. In order to measure the usefulness of replacing the lifetime
X with
Y at time
t, let us now introduce the
relative ratio of improvement evaluated at
. It is defined in terms of (
7) as
Clearly, if then, from point (i) of Theorem 1, it follows that and, in turn, so that for all .
Example 1. Let
be an iterated Poisson process with parameters
. In other terms, such process can be expressed as
, where
and
are independent Poisson processes with parameters
, respectively (see Section 6 of Di Crescenzo et al. [
18]). Denoting by
the first crossing time (from below) of
through the constant level
, the corresponding survival function is (cf. Section 7 of [
18])
where
is the
j-th Bell polynomial. We consider a system subject to replacement policy as described in (
3), where the relevant random lifetimes are given by the first-crossing times defined in (
15), with
and
. The relative ratio of improvement of this system is then evaluated by means of (
14).
Figure 2 provides some plots of
, showing that the relative ratio of improvement is increasing in
x and
k.
In the remaining part of this section, we restrict our attention to the special case in which
X and
Y satisfy the proportional hazard rates model (see Cox [
19] or, for instance, the more recent contributions by Nanda and Das [
20], and Ng et al. [
21]). Hence, assuming that
,
, for
,
, the relative ratio defined in (
14) becomes
Here, the most interesting case is for , since this assumption ensures that .
Example 2. Let
X and
Y be exponentially distributed with parameters 1 and
, respectively, with
. Since
,
,
, from (
17), we have
Some plots of
are given in
Figure 3, confirming that the relative ratio of improvement is increasing in
, and is decreasing in
.
5. Results on Dynamic Differential Entropies
In this section, we investigate some informational properties of the replacement model considered in
Section 2.
A classical measure of uncertainty for an absolutely continuous random variable
X is the differential entropy, defined as
with
by convention. This measure has some analogies with the entropy of discrete random variables, even though the differential entropy lacks a number of properties that the Shannon discrete entropy possesses (see, for instance, Cover and Thomas [
22] for details).
In the context of lifetimes truncated over intervals of the form
or
, specific forms of the differential entropy have been investigated in the recent decades (see the initial contributions by Muliere et al. [
23]). Specifically, the following dynamic measure (named residual entropy of the lifetime
X) has been extensively investigated:
This quantity is suitable for measuring the uncertainty in residual lifetimes defined as in (
11). The residual entropy of
X has been studied by Ebrahimi [
24], Ebrahimi and Pellerey [
25]; see also Asadi and Ebrahimi [
26], Ebrahimi et al. [
27] on this topic. A similar reasoning leads to the past entropy of
X, defined as the differential entropy of the past lifetime
,
, i.e.,
This measure is also named ‘past entropy’ of
X; it has been investigated in Di Crescenzo and Longobardi [
28], Nanda and Paul [
29], Kundu et al. [
30]. Other results and applications of these dynamic information measures can be found in Sachlas and Papaioannou [
31], Kundu and Nanda [
32], and Ahmadi et al. [
33].
Hereafter, we denote by
the partition entropy of
X at time
t (see Bowden [
34]), which measures the information (in the sense of Shannon entropy) about the value of the random lifetime
X derived from knowing whether
or
.
Under the conditions specified in
Section 2, let us now provide a decomposition result for the differential entropy of (
3).
Proof. From (
6) and (
18), we have that, for
,
Recalling the alternative expression of the residual entropy (
19) given in (2.2) of [
24], and the alternative expression of the past entropy (
20) shown in (2.1) of [
28], we have
and
This completes the proof of (
22), due to (
21). ☐
We note that Equation (
22) can be interpreted as follows. The uncertainty about the failure time of an item having lifetime
can be decomposed into three parts: (i) the uncertainty on whether the item has failed before or after time
t, (ii) the uncertainty about the failure time in
given that the item has failed before
t, and (iii) the uncertainty about the failure time in
given that the item has failed after
t, and thus the failure time is distributed as
Y since the replacement occurred at time
t.
Clearly, if
X and
Y are identically distributed, then Equation (
22) becomes the identity given in Proposition 2.1 of [
28], i.e.,
The given results allow us to perform some comparisons involving the above entropies. To this aim, we recall a suitable stochastic order (see Definition 2.1 of Ebrahimi and Pellerey [
25]):
Definition 4. Let X and Y be random lifetimes; X is said to have less uncertainty than Y, and write , if From Proposition 2, we can now infer the following result.
Corollary 1. If X and Y are random lifetimes such that , then Proof. By comparing Equations (
22) and (
23), we obtain
Thus, from Definition 4, we obtain the proof immediately. ☐
Let us now investigate some sufficient conditions leading to the monotonicity of the differential entropy of (
3). To this aim, we recall the following notion, which was first considered in [
24].
Definition 5. Assume that the residual entropy of the random lifetime X is finite. If is decreasing (increasing) in , we say that X has decreasing (increasing) uncertainty of residual life, i.e., X is (IURL).
Proposition 3. - (i)
Let . If X is IURL and Y is DURL, then is DURL.
- (ii)
Let . If X is DURL and Y is IURL, then is IURL.
- (iii)
If for all , and for all , then is IURL.
Proof. - (i)
Under the given assumptions, we have that the right-hand-side of (
24) is nonnegative and decreasing, so that
is decreasing.
- (ii)
Differentiating both sides of (
24), we obtain:
From Theorem 3.2 of Ebrahimi [
24], we deduce that, if
Y is IURL, then
. Moreover, since
and
X is DURL, we have
. Hence, from (
25), it follows that
is increasing.
- (iii)
By expressing the derivative of
in an alternative form, we obtain
Hence, thanks to the given hypothesis, the right-hand-side of the above identity is nonnegative.
☐
We remark that the assumption
for all
, considered in point (iii) of Proposition 3, implies that
Y is larger than
X in the ‘up hazard rate order’, i.e.,
(see Theorem 6.21 of Lillo et al. [
35]). This condition, in turn, implies that
.
Classical studies in reliability theory show that the random lifetimes of items or systems follow suitable Weibull distributions. As an illustrative instance, in the forthcoming example, we investigate the effect of replacement for Weibull distributed lifetimes in terms of dynamic differential entropy.
Example 3. Assume that
X and
Y have Weibull distribution, with
,
, and
,
, with
. The differential entropy of the lifetime (
3) can be obtained by means of (
22). However, we omit its expression since it is quite cumbersome. Some plots of the dynamic differential entropy
are given in
Figure 4, in order to show the effect of the replacement at time
t. Specifically, for the considered parameters, we have that
grows when
increases and
h decreases. Moreover,
has a reversed bathtub shape, with a single maximum attained for positive values of
t. Clearly, such maximum provides useful information in order to chose optimal values (in the differential entropy sense) of the replacement instant.
6. Conclusions
Certain typical replacement models in reliability theory involve minimal repair instances, in which—upon failure—an item is replaced by another one having the same reliability of the failed item at the failure instant. The model considered in this paper deals with a different scenario, in which the replacement is planned in advance, the replaced item possessing a different failure distribution and having the same age of the replaced item.
The investigation has been centered first on the stochastic comparison of the resulting random lifetimes. We have proposed measuring the goodness of the replacement criteria by means of the relative ratio of improvement. The information amount provided by the dynamic version of the system lifetime differential entropy has also been considered as a relevant tool in this respect.
Possible future developments of the given results can be finalized to the extension of the model to more specific instances in which the replacement instant is constrained by operational guidelines, which can be implemented through suitable weight functions.