- Research
- Open access
- Published:
Preservation of ageing classes in deterioration models with independent increments
Journal of Inequalities and Applications volume 2014, Article number: 200 (2014)
Abstract
In the present paper we consider ageing properties in a deterioration model in which the stochastic process measuring deterioration is a process with independent increments. Preservation of increasing and decreasing failure rates, as well as decreasing reversed hazard rate, is considered. We also take into account the preservation of log-concave and log-convex densities. Our main results are based on technical results concerning preservation of log-concave and log-convex functions by positive linear operators, and they include the study of stochastic ordering properties among the random variables in the process.
MSC:60G51, 60E15, 60K10, 26A51.
1 Introduction
Deterioration models belong to the topics of interest in reliability theory. They aim to describe how a mechanism deteriorates with age. A convenient way in modeling the uncertainty in time-dependent deterioration is by regarding it as a stochastic process. That is, deterioration in time of a device is described by a stochastic process , in which each represents the degree of deterioration at an instant t. Gamma processes have been mainly considered to model degradation in time [1–3]. Also, the so-called shock models are appropriate if deterioration is caused due to external shocks occurring at certain instants in time (see, for instance, [4]). Although it seems more realistic to consider processes with non-negative increments in order to measure deterioration, Brownian motion has also been considered (geometric, with drift, or alone as an additional term measuring errors; see [5, 6], and the references therein). General Markovian processes have also been considered (see [7] and the references therein).
In a deterioration model, we assume that the system breaks down when the degree of deterioration attains a certain non-negative threshold Y (which we will assume to be random and independent of the process ), that is, the lifetime of the device is
As usual, for a random variable Y, we will denote by the distribution function of this random variable and will stand for its survival function. Also, from now on, we shall use the words decreasing and increasing instead of non-increasing and non-decreasing, respectively. We will assume that has increasing and right-continuous paths. In this case, as in [[8], p.817], we can write
The analytical form of previous functions is usually not easy to deal with, although several expressions are known for specific models (see [5] for the geometric Brownian motion, as well as for the gamma process when we have a fixed threshold). Then it seems natural to study under which conditions ρ inherits from Y the common reliability properties studied in the literature. In reliability theory, the principal ageing properties considered for a random variable involve the study of the log-concavity (positive ageing) or log-convexity (negative ageing) of a certain function (which usually is the distribution function, survival function or density function). For instance, if is log-concave, the random variable is said to be increasing failure rate (IFR), whereas if it is log-convex, we have the decreasing failure rate property (DFR). Moreover, Y is said to be the decreasing reversed hazard rate (DRHR) if is log-concave. We will recall the properties we are going to use in Definition 2.3, although a more detailed discussion can be found in [[9], Ch. 2], for instance. In the context of deterioration models, preservation of common ageing properties for a fixed threshold has been studied, for instance, in [10] in a context of pure-jump processes. As far as we know, the problem of a random threshold was firstly considered by Esary et al. in a context of shock models [11] and by Abdel-Hameed in several papers [1, 8, 12]. In [1] a gamma wear process was considered, whereas in [8, 12] results are obtained for a pure-jump wear processes. See also [13] for a recent review. Our aim in this paper is to address this question for processes with independent increments, thus including Lévy processes. To this end, we use the representation given in (1) and apply techniques based on the preservation of log-convexity and log-concavity by positive linear operators (see [14, 15]). These techniques involve the study of stochastic order properties of the random variables in the process. This approach is different from that used in [12] for pure-jump Lévy processes, which is based on the underlying Lévy measure of the process. Our results generalize previous ones for a compound Poisson process (see Remark 3.5), as well as for a gamma process (see Remark 3.8 and Remark 3.12). On the other hand, it is usual that preservation results of positive ageing properties (IFR, for instance) hold true under more restrictive assumptions than their analogous negative ageing properties (DFR). This can be seen in [12], Theorem 2.3, in which for the preservation of the IFR property the requirement is a log-concave density for the Lévy measure, whereas for the DFR property no assumption on this density is needed. Our approach also gives different conditions for the preservation of the IFR and DFR property (see Proposition 3.1(a) and Corollary 3.11, respectively, in Section 3). We also include preservation results concerning the DRHR property (Proposition 3.1(b)). This property is of recent interest and has not been dealt with in the afore-mentioned papers. It should be pointed out that the flexibility of our approach allows us to add deterministic trends without making an extra effort. This approach also allows us to prove stronger results, having to do with the log-convexity or log-concavity of the density function (Section 4).
2 Preliminaries
As mentioned in the Introduction, the concept of log-concavity will play an important role in our results. We first recall this concept.
Definition 2.1 Let be a convex set. A function is said to be log-concave on I if for all and it verifies that
or equivalently logf is concave (in the interval in which f is strictly positive).
Remark 2.2 If the inequality in the previous definition is reversed, we obtain the dual concept of log-convexity.
Log-concavity is an important concept in reliability theory. Actually the principal ageing classes considered in the literature can be defined in terms of log-concavity or log-convexity (see, for instance, [[9], Ch. 2]). We recall the definitions of the main ageing classes to be used along the paper.
Definition 2.3 Let X be a non-negative random variable. X is said to be:
-
(a)
an increasing failure rate (IFR) if is log-concave on ℝ;
-
(b)
a decreasing reversed hazard rate (DRHR) if is log-concave on ℝ;
-
(c)
log-concave if X is absolutely continuous and its density is log-concave on .
If in parts (a) and (c) log-concavity is replaced by log-convexity we have the decreasing failure rate (DFR) and log-convex ageing classes, respectively. For the DFR property the log-convexity has to be restricted to .
Remark 2.4 It is interesting to point out that X log-concave ⇒ X IFR and DRHR, and that X log-convex ⇒ X DFR ⇒ X DRHR (see [[9], p.181]).
It is reasonable to assume that, in a deterioration process, each is non-negative, and that the degree of deterioration increases with t (in a certain stochastic order). In the next definition we recall the different stochastic orders we are going to use in our deterioration models. For a more detailed discussion, see [16, 17], for instance.
Definition 2.5 Let X and Y be two random variables. X is said to be smaller than Y in
-
(i)
the usual stochastic order (written as ) if , for all ;
-
(ii)
the hazard rate order () if is increasing in t;
-
(iii)
the reversed hazard rate order () if is increasing in t;
-
(iv)
the likelihood ratio order () if X and Y are absolutely continuous with respect to some dominating measure μ, with respective densities and such that is increasing in t.
Remark 2.6 The relations among the previous stochastic orders are as follows (see [[16], p.61]):
-
;
-
Either .
For a given process , we will use the notation to indicate that is increasing in the ⋅ stochastic order, for all (and if it is decreasing). From now on, we will use the notation to indicate that two random variables X and Y have the same distribution. In next definition we will describe the properties we will assume for the process , which are slightly more general than the ones defining a non-negative Lévy process.
Definition 2.7 Let be a stochastic process. We will say that this process belongs to the class (independent positive increasing increments) if it verifies:
-
1.
a.s., for ;
-
2.
the process has independent increments, that is: given , the random variables are independent;
-
3.
the increments of the process satisfy
-
4.
is continuous in probability, that is, , for all .
If condition 3 is replaced by in t, we will say that the process belongs to the (independent positive decreasing increments), whereas if the process belongs to , that is,
we will say that the process belongs to the class (independent positive stationary increments).
Particular examples of processes satisfying the above properties, which will be used along the paper, are the following:
-
The standard Poisson process, which is a process in the class such that , and such that, for each , has Poisson distribution of mean t (see [[18], p.15]).
-
The standard gamma process, which is a process in the class such that , and such that, for each , has gamma density , (see, for instance, [[3], p.6]).
Remark 2.8 Note that the processes considered in Definition 2.7 admit always a representation with right-continuous paths [[18], p.63], so that the expressions given in (1) hold true. Note also that if , the class coincides with Lévy processes with non-negative increments (or subordinators [[18], p.137]). In fact, the processes we are going to deal with mainly (compound Poisson process, cf. [[18], p.18] and gamma process) belong to this class. Moreover, it is readily seen (we include the proof of this fact in Lemma 3.3) that for a given process in the class, the time-transformed process , with being an increasing and convex function, belongs to the class, whereas if is increasing and concave, the process belongs to the class. We will use this fact in order to obtain results concerning non-homogeneous Poisson processes (Proposition 3.4) and non-homogeneous gamma processes (Proposition 4.4), which are time-transformed versions of the standard Poisson and gamma processes, respectively.
Finally, we state a technical result, which can be found in [15] and will play an important role in our proofs.
Theorem 2.9 ([15], Thm. 3.8)
Let be a stochastic process satisfying condition 1 in Definition 2.7. Let f be the set of measurable functions such that , . Let T be an operator defined as
Assume that the following assumptions are verified:
-
1.
f is log-concave;
-
2.
Tf is continuous on .
-
(a)
Further assume that f is decreasing. If is in the class and , then Tf is a log-concave and decreasing function on .
-
(b)
Further assume that f is increasing. If is in the class and then Tf is a log-concave and increasing function on .
-
(c)
If is in the class and , then Tf is a log-concave function on .
Remark 2.10 If Tf is continuous at the origin we can extend the log-concavity property to the interval , as (2) at 0 as endpoint can be deduced by taking the limit as .
Remark 2.11 In [15], Thm. 3.8(c) there is an additional condition. If, for , we call (which is an interval if f is log-concave), the additional condition was that the set had to be an interval. But the previous condition is always verified if , so that it does not need to be checked. In the next lemma we give the proof of this fact.
Lemma 2.12 Let be a stochastic process such that and let be an interval. Then is an interval.
Proof To show the assertion we will prove that
We will use a reduction to absurd argument. Assume that , but , for some . We will use the property (cf. [[17], p.42]) that if , and A and B are Borel sets in , then
where means that for all and . We will denote by the set of real numbers above J and by the set of real numbers below J. Using our assumption, and applying (4) with , , and , we obtain
whereas (4) with , , and implies that
Then (5) and (6) are contradictory with the fact that , and the conclusion follows. □
3 Preservation of IFR, DRHR, and DFR classes for wear processes with independent increments
In order to ensure the continuity condition in Theorem 2.9, we will assume that Y does not have common points with positive mass with . This can be stated as follows:
Our first results, concerning to the classes IFR and DRHR, are based on the following.
Proposition 3.1 Let be a wear process with random threshold Y satisfying condition (7). Let ρ be the failure time of the device. Then we have:
-
(a)
If is in the class with , and Y is IFR, then ρ is IFR.
-
(b)
If is in the class, and Y is DRHR, then ρ is DRHR.
Proof Condition (7) and (1) ensures us that and are continuous functions on [[15], Lem. 2.5]. The fact that and are right-continuous and condition 4 in Definition 2.7 allow us to extend the continuity to .
To show part (a), the IFR condition for Y means that is log-concave. Thus, by (1), Theorem 2.9(a) and Remark 2.10 we find that is log-concave on . To extend this property to ℝ, note that an IFR distribution cannot have positive mass at 0 (see [[9], p.104]). The fact that guarantees this property for ρ, as by (1) . Thus, using this property, the log-concavity property for is extended to ℝ, thus showing part (a).
For part (b), the DRHR condition for Y means that is log-concave, and by (1), Theorem 2.9(b), and Remark 2.10 we find that is log-concave on . As , , the log-concavity property is trivially extended to ℝ. □
Remark 3.2 Recall that implies both and . So that , together with in the class and are sufficient conditions for the preservation of both the IFR and the DRHR property.
In our next results we provide conditions to check log-concavity when we modify a process in the class by adding a deterministic trend and applying a time transformation. To this end, let , be two increasing and continuous functions. Consider the modified process:
First of all we have the following.
Lemma 3.3 Let be a process in the class. Consider as defined above. Then we have:
-
(a)
If and are increasing and convex functions, then is in the class.
-
(b)
If and are increasing and concave functions, then is in the class.
Proof To show part (a), note that conditions 1, 2, and 4 in Definition 2.7 are clear by the corresponding ones for , taking into account that and are increasing and continuous. To verify condition 3, call
We have
Our aim is to show that
The first inequality is obvious, as is convex. For the second inequality, call , . As is convex, we see that is increasing. On the other hand if we use (3) for the process with , and , we obtain
in which, in the last inequality, we have used that h is increasing and condition 1 for the process (non-negative increments a.e.). This proves the second inequality in (11). Thus, as the stochastic order is preserved under addition of a non-negative constant, we deduce from (10) and (11) that
so that condition 3 is proved, thus concluding part (a).
Part (b) is proved taking into account that the inequalities in (11) are reversed if , are concave functions. □
Using the two previous results we have the following result concerning a non-homogeneous compound Poisson process.
Proposition 3.4 Let be a non-homogeneous compound Poisson wear process, that is,
in which is a non-homogeneous Poisson process with mean function and is a sequence of independent non-negative identically distributed random variables, independent of the process. Assume that Y, the random threshold and satisfy condition (7). Let ρ be the lifetime of the device. We have the following.
-
(a)
Assume that is a convex function with , are DRHR and Y is IFR. Then ρ is IFR.
-
(b)
Assume that is a concave function, are IFR and Y is DRHR. Then ρ is DRHR.
Proof Part (a) follows by Proposition 3.1(a). First of all, note that is in the class. Actually, for a non-homogeneous Poisson process, , in which is a standard Poisson process. Thus, is a compound Poisson process and therefore it is in the class, as mentioned in Remark 2.8. As , the assertion follows by Lemma 3.3(a). Secondly we will prove that . This follows as, if , then (cf. [[16], p.62]) and, by this property we deduce for being DRHR
(see [[17], Thm. 1.C.12]). Hence, the hypotheses in Proposition 3.1(a) are satisfied. Proof of part (b) is similar, using Proposition 3.1(b), taking into account Lemma 3.3(b) and again [[17], Thm. 1.C.12]). □
Remark 3.5 As mentioned before, Abdel-Hameed gave general conditions for a Lévy process in order to preserve the IFR property (see [[12], Thm. 2.3(i)]). In particular for a compound Poisson process these conditions require that be log-concave (as the Lévy measure in the compound Poisson process is proportional to the distribution of ). Thus, in this case, Proposition 3.4(b) gives more general assumptions, under the requirement of to be DRHR. Note that the class DRHR contains, in particular, both log-concave and log-convex distributions. In fact, being log-concave implies that is both IFR and DRHR (recall Remark 2.4), so that, for a homogeneous Poisson process, this is a sufficient condition for the preservation of both the IFR and the DRHR property.
The next result provides preservation properties for the modified process when the random variables in the process satisfy appropriate ageing properties. This, in particular, will allow us to deal with non-homogeneous gamma deterioration processes with trend.
Proposition 3.6 Let be a process in the class. Consider a wear process in which is as in (8). Assume that Y, the random threshold and satisfy condition (7). Let ρ be the lifetime of the device. We have the following.
-
(a)
Assume that are DRHR for all t and . Further, assume that and are increasing and convex functions, with and Y is IFR. Then ρ is IFR.
-
(b)
Assume that are IFR for all t, , are increasing and concave functions and Y is DRHR. Then ρ is DRHR.
Proof Part (a) will follow using Proposition 3.1(a). First of all, is in the class due to Lemma 3.3(a). To show that , note that, if has the DRHR property, then (this is an immediate application of [[17], Lem. 1.B.44] and the property of stationary and independent increments for ). Then we have for
The first inequality is obtained using Lemma [[17], Lem. 1.B.44]) with , and , whereas the last inequality follows as the rh order is preserved by increasing transforms [[17], Thm. 1.B.43]). Thus, the conditions in Proposition 3.1(a) follow, since , which proves part (a).
The proof of part (b) is very similar, using Proposition 3.1(b). Note that by Lemma 3.3(b) we find that is in the class. Moreover, by [[17], Lem. 1.B.3]. In this case, (12) holds if we replace the rh order by the hr order, using in this case [[17], Lem. 1.B.3] and [[17], Lem. 1.B.2]. □
Corollary 3.7 Let be a gamma wear process. Consider a wear process in which is as in (8). Let ρ be the lifetime of the device.
-
(a)
If and are increasing and convex functions, with and Y is IFR, then ρ is IFR.
-
(b)
If (no trend), is increasing and concave and Y is DRHR, then ρ is DRHR.
Proof Part (a) is an immediate application of Proposition 3.6(a). First of all note that a gamma process is in the class (recall Remark 2.8). Moreover, the random variables in are absolutely continuous, so that condition (7) is satisfied. Finally, note that in a gamma process, the are DRHR. This follows recalling Remark 2.4 as, if , has log-convex density, whereas if , has log-concave density (see [[9], p.99]). Then the conditions in Proposition 3.6(a) hold and the result follows.
Part (b) follows as a consequence of Proposition 3.1(b). In fact, note that (see [[16], p.62]), and this implies immediately that . Thus, the conditions in Proposition 3.1(b) follow as, recalling Remark 2.6, and, using Lemma 3.3(b), is in the class. □
Remark 3.8 Abdel-Hameed [1] proved the IFR property for non-homogeneus gamma wear process, when the mean function is convex. Observe that the previous result extends this one, by adding a convex deterministic trend.
Remark 3.9 Note that, for the gamma process, we cannot proceed in a similar way to obtain a preservation result for the DRHR property, when we have a deterministic trend. In fact, if the IFR condition for in Proposition 3.6(b) is not satisfied, we cannot ensure that . In fact, take , a gamma process with linear trend. It is readily seen by calculus that if (the interval in which the IFR property fails).
Now, we focus on the DFR property. This property will follow immediately as a consequence of part (a) in Proposition 3.10 (part (b) will be used in the preservation of log-convex densities). The method of proof (with similar ideas to that in [[19], Thm. 3.2]) differs substantially from the one used to obtain the preservation of the IFR property. In fact, for the DFR property we only need the stochastic ordering among the variables in the model, whereas for the IFR preservation property a stronger order (the rh one) was required in Proposition 3.1(b).
Proposition 3.10 Let be a wear process. Assume that is in the class. We have the following.
-
(a)
Let be a decreasing and log-convex function, with , and right-continuous at . Then is a log-convex function on .
-
(b)
Let be a decreasing and log-convex function, with , . Assume that and that , for all . Then is a log-convex function on .
Proof Let (case (a)) or (case (b)). Note that the log-convexity of G on I implies that G is continuous on I. Thus, using conditions 1 and 4 in Definition 2.7 and similar arguments as in [[15], Lem. 2.7], our conditions ensure the continuity of on I. Note that this last function is log-convex if and only if is convex. But using the fact (see [[9], Exer. 3, p.73]) that for a continuous function h we have
then we see, using and taking anti-logarithms, that
On the other hand, let . Define and . Using the property of independent increments, we can write
Call , . Note that is a decreasing and log-convex function on , with , , due to assumptions on G. Using this property we can easily show that
Indeed, as is log-convex and , we have , (this follows as is TP2 (see [[9], p.696])). Using this property and the fact that U and V are independent, we can write
the last inequality due to the fact that the process is in the class (and therefore ) and that is decreasing. From the previous inequality we deduce easily (15). Using (14), (15) and Cauchy-Schwarz inequality, we obtain
Thus, from (13) we deduce the log-convexity of . □
As an immediate consequence of part (a) in the previous result, we have the following.
Corollary 3.11 Let be a process in the class. Consider a wear process in which is as in (8), with and being increasing and concave functions. Assume that Y, the random threshold and satisfy condition (7). Let ρ be the lifetime of the device. If Y is DFR, then ρ is DFR.
Proof The result is immediate by Proposition 3.10. First of all, our conditions ensure that is in the class, due to Lemma 3.3(b). Secondly, due to (1), we have . As Y is DFR, then satisfies assumptions on Proposition 3.10(a), from which we deduce the log-convexity of . □
Remark 3.12 Observe that this result generalizes Theorem 2.3(iii) and Theorem 2.5 in [12], as we are able to add a deterministic trend.
4 Preservation of log-concave and log-convex classes for subordinators
The previous approach allows us to show the preservation of log-concave and log-convex classes under certain assumptions of the wear process . First of all, assume that this process is a subordinator (recall Remark 2.8) and that the process is also centered (that is, ). In this case, it is well known (cf. [[20], p.776]) that the Laplace transform of can be written as
where U and T are independent random variables such that U is uniformly distributed on and T is non-negative. The random variable T, which determines the process, will be called the characteristic random variable of . Using this fact, if we consider U and T as before, being independent of , for any absolutely continuous random variable Y, we have the following identity (cf. [[20], Prop. 4]):
provided that the expectation on the right-hand side is finite. Observe that the process , where , belongs to the class. Therefore, as an immediate consequence of (1) and Proposition 3.10(b), the log-convexity of ρ is guaranteed, provided that Y has the analogous property. Moreover, if we transform a centered subordinator into a wear process , in which is an increasing and differentiable function, the chain rule allows us to write
Note firstly that, for results concerning log-concavity or log-convexity we will always assume that , in order to guarantee that ρ does not have positive mass at 0, and therefore it is an absolutely continuous random variable. In fact, note that under this assumption, we have by (1), and by the fact that (as the process is a centered subordinator), .
With respect to log-convexity, we have the following result.
Proposition 4.1 Let be a centered subordinator. Consider a wear process in which is defined as , and let Y be the random threshold. Let ρ be the lifetime of the device. If Y is log-convex and is differentiable, with , being non-negative, decreasing, and log-convex, then ρ is log-convex.
Proof Applying (1) and (18), we have
The conditions about guarantee that this function is concave, and therefore by Lemma 3.3(b), the process is in the class. As Y is log-convex, then is log-convex, decreasing, and strictly positive on (see [[9], Prop. C.11, p.117]). Thus, we can apply Proposition 3.10(b), so that the second factor in (19) is a log-convex function, and the result follows for the log-convexity of , as the product of log-convex functions is log-convex. □
Remark 4.2 The previous result guarantees, obviously, the preservation of the log-convexity for a process in the class in which , as is a centered subordinator and in this case . A non-trivial example of a function satisfying the hypotheses in the previous results is such that , , with .
For the preservation of log-concavity, stronger assumptions, concerning stochastic ordering properties of the derived process, are needed. For this reason we present specific examples in which these properties can be checked. First of all, we present a log-concavity result for the compound Poisson process.
Proposition 4.3 Let be a compound Poisson process, that is,
in which is a homogeneous Poisson process, and is a sequence of independent, identically distributed non-negative random variables, having finite mean and being independent of the process. Let Y be a log-concave random threshold and let ρ be the lifetime of the device. If is log-concave, then ρ is log-concave.
Proof Let and let be a Poisson process of rate . Then is a centered subordinator, and therefore (16) holds true. Let be the Laplace transform of . Taking into account that the Laplace transform of is given by (cf. [[21], p.84]), we obtain
Let be a random variable having the equilibrium distribution of (cf. [[9], p.18]), that is, . It is readily seen using integration by parts that , and therefore . As we have , in which λ is the rate of , we have, using (18),
The process is in the class. Moreover, as is log-concave, [[17], Thm. 1.C.11]. On the other hand, if is log-concave, then it is IFR, and, therefore, is log-concave. Thus, [[17], p. 47], and by Theorem 2.9(c), the expression in (20) is a log-concave function, so that the conclusion holds. □
We consider now a partial result for the gamma process. It is well known that, in this case, T is an exponential random variable (cf. [[22], p.957]). On the other hand, the density of UT, using the product distribution formula, can be written as
Note that the previous expression shows us that is completely monotone, and henceforth log-convex [[21], p.123]. Thus, UT is log-convex. The log-convexity of this random variable allows us to give the following result, under the assumption of a log-concave decreasing density of Y.
Proposition 4.4 Let be a gamma wear process. Consider a wear process in which . Let Y be the random threshold, and let ρ be the lifetime of the device. If Y has a log-concave and decreasing density, is differentiable, with , being non-negative, increasing, and log-concave, then ρ is log-concave.
Proof The derived process for in this case is , in which the density of UT is given in (21). Therefore, by (18), we obtain
Our conditions guarantee that is convex, and thus is in the class, thanks to Lemma 3.3(a). Moreover, is DRHR for all . This follows as UT has a log-convex density, and therefore it is DRHR (recall Remark 2.6). Moreover, is always DRHR (as its density is either log-concave or log-convex). Thus, the DRHR property for follows, as this property is closed under convolution [[9], p.179]. Then it follows easily [[17], Lem. 1.B.44]) that . Thus, the conclusion follows by (22) and Theorem 2.9(a). □
Remark 4.5 The conditions in the previous result are quite restrictive. However, the random threshold Y will have a log-concave decreasing density if it has an exponential distribution, or a uniform distribution on the interval , for some . On the other hand, the function , or , for verifies the conditions in Proposition 4.4.
If the random variables in the derived process were ordered in the likelihood ratio order, then we could generalize the previous result, by using Theorem 2.9(c). The technical problem is the complexity of the density of (we can find integral expressions, but we are not able to find a closed-form expression). As a partial result we are able to check the preservation of log-concavity on the interval . The next lemma will be very useful to this end.
Lemma 4.6 The random variable , in which and T are exponential random variables with mean 1 and U is uniform (all of them independent), is log-concave.
Proof Let , be two independent standard Poisson processes. Applying [[21], Thm. 6.13, p.347], to check the log-concavity of one can check equivalently the discrete log-concavity of , for all . The property of independent and stationary increments for the Poisson processes implies that
The first term has a geometric distribution with parameter (see [[21], p.372], for instance), that is,
As the second summand in (23) is in distribution like the first one, replacing the parameter θ by the random variable θU, we have
Thus in (23) we have the convolution of a geometric random variable with a random variable having probability mass function as given above. In [[23], Lem. 4.3] it was shown that a sufficient condition for a geometric convolution like in (23) to be log-concave is that , . But taking into account that , for all , we have
thus showing the discrete log-concavity for and, therefore, the log-concavity for . □
Proposition 4.7 Let be a gamma wear process. Let Y be the random threshold, and let ρ be the lifetime of the device. If Y has a log-concave density, then ρ is log-concave on .
Proof Consider the stochastic process , in which . Using (18), we obtain
Consider now the stochastic process , . Note that . This follows as , in which is a gamma random variable of shape parameter t independent of . Thus, for , we have As by Lemma 4.6 is log-concave, we have (see [[17], p.46]), thus proving the likelihood ratio order assumption. Then, by Theorem 2.9(c) , , is a log-concave function, and so is (26), as if , is a log-concave function on , then , is a log-concave function on . Then the conclusion follows by the log-concavity of (26) and (1). □
Remark 4.8 If we could extend the fact that from to , then we could prove the preservation of log-concavity on . However, due to the technical complexity of the density function we are not able, at this point, to prove or disprove this fact.
References
Abdel-Hameed M: A gamma wear process. IEEE Trans. Reliab. 1975, 24: 152–153.
Nicolai RP, Frenk JBG, Dekker R: Modeling and optimizing imperfect maintenance of coatings on steel structures. Struct. Saf. 2009, 31: 234–244. 10.1016/j.strusafe.2008.06.015
van Noortwijk JM: A survey of the application of gamma processes in maintenance. Reliab. Eng. Syst. Saf. 2009, 94: 2–21. 10.1016/j.ress.2007.03.019
Abdel-Hameed M, Proschan F: Shock models with underlying birth process. J. Appl. Probab. 1975, 12: 18–28. 10.2307/3212403
Park C, Padgett WJ: Accelerated degradation models for failure based on geometric Brownian motion and gamma processes. Lifetime Data Anal. 2005, 11: 511–527. 10.1007/s10985-005-5237-8
10.1007/s11009-013-9360-9
Belzunce F, Ortega E, Ruiz JM: On ageing properties of first passage times of increasing Markov processes. Adv. Appl. Probab. 2002, 34: 241–259.
Abdel-Hameed M: Life distribution of devices subject to a pure-jump damage process. J. Appl. Probab. 1984, 21: 816–825. 10.2307/3213698
Marshall AW, Olkin I: Life Distributions. Springer, New York; 2007.
Shaked M, Shanthikumar G: On the first-passage times of pure jump processes. J. Appl. Probab. 1988, 25: 501–509. 10.2307/3213979
Esary JD, Marshall W, Proschan F: Shock models and wear processes. Ann. Probab. 1973, 4: 627–649.
Abdel-Hameed M: Life distribution of devices subject to Lévy wear process. Math. Oper. Res. 1984, 9: 606–614. 10.1287/moor.9.4.606
Abdel-Hameed M: Degradation processes: an overview. In Advances in Degradation Modeling. Birkhäuser, Boston; 2010:17–25.
Badía FG: On the preservation of log-convexity and log-concavity under some classical Bernstein-type operators. J. Math. Anal. Appl. 2009, 360: 485–490. 10.1016/j.jmaa.2009.06.075
Badía FG, Sangüesa C: Log-concavity for Bernstein-type operators using stochastic orders. J. Math. Anal. Appl. 2014, 413: 953–962. 10.1016/j.jmaa.2013.12.014
Müller A, Stoyan D: Comparison Methods for Stochastic Models and Risks. Wiley, Chichester; 2002.
Shaked M, Shanthikumar JG: Stochastic Orders. Springer, New York; 2007.
Sato KI: Lévy Processes and Infinitely Divisible Distributions. Cambridge University Press, Cambridge; 1999.
Badía FG, Sangüesa C: Preservation of reliability classes under mixtures of renewal processes. Probab. Eng. Inf. Sci. 2008, 22: 1–17.
Adell JA, Lekuona A: Taylor’s formula and preservation of generalized convexity for positive linear operators. J. Appl. Probab. 2000, 37: 765–777.
Steutel F, van Harn K: Infinite Divisibility of Probability Distributions on the Real Line. Dekker, New York; 2004.
Adell JA: Asymptotic estimates for Stieltjes constants: a probabilistic approach. Proc. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 2011, 467: 954–963. 10.1098/rspa.2010.0397
Johnson O, Goldschmidt C: Preservation of log-concavity on summation. ESAIM Probab. Stat. 2006, 10: 206–215.
Acknowledgements
This work has been supported by the Spanish research project MTM2012-36603-C02-02. The first and second authors acknowledge the support of DGA S11 and E64, respectively. The work of the third author was supported by the National Research Foundation of Korea (NRF) grant funded by the Korea government (MEST) (No. 2011-0017338). The work of the third author was also supported by Priority Research Centers Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (2009-0093827).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made.
The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
To view a copy of this licence, visit https://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Sangüesa, C., Badía, F.G. & Cha, J.H. Preservation of ageing classes in deterioration models with independent increments. J Inequal Appl 2014, 200 (2014). https://doi.org/10.1186/1029-242X-2014-200
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029-242X-2014-200