 Research
 Open Access
Preservation of ageing classes in deterioration models with independent increments
 Carmen Sangüesa^{1},
 Francisco German Badía^{2} and
 Ji Hwan Cha^{3}Email author
https://doi.org/10.1186/1029242X2014200
© Sangüesa et al.; licensee Springer. 2014
 Received: 21 February 2014
 Accepted: 5 May 2014
 Published: 20 May 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 logconcave and logconvex densities. Our main results are based on technical results concerning preservation of logconcave and logconvex 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.
Keywords
 wear process
 ageing class
 stochastic order
 logconcavity (logconvexity)
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 timedependent deterioration is by regarding it as a stochastic process. That is, deterioration in time of a device is described by a stochastic process $(X(t),t\ge 0)$, in which each $X(t)$ represents the degree of deterioration at an instant t. Gamma processes have been mainly considered to model degradation in time [1–3]. Also, the socalled 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 nonnegative 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).
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 logconcavity (positive ageing) or logconvexity (negative ageing) of a certain function (which usually is the distribution function, survival function or density function). For instance, if ${\overline{F}}_{Y}$ is logconcave, the random variable is said to be increasing failure rate (IFR), whereas if it is logconvex, we have the decreasing failure rate property (DFR). Moreover, Y is said to be the decreasing reversed hazard rate (DRHR) if ${F}_{Y}$ is logconcave. 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 purejump 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 AbdelHameed in several papers [1, 8, 12]. In [1] a gamma wear process was considered, whereas in [8, 12] results are obtained for a purejump 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 logconvexity and logconcavity 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 purejump 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 logconcave 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 aforementioned 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 logconvexity or logconcavity of the density function (Section 4).
2 Preliminaries
As mentioned in the Introduction, the concept of logconcavity will play an important role in our results. We first recall this concept.
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 logconvexity.
Logconcavity is an important concept in reliability theory. Actually the principal ageing classes considered in the literature can be defined in terms of logconcavity or logconvexity (see, for instance, [[9], Ch. 2]). We recall the definitions of the main ageing classes to be used along the paper.
 (a)
an increasing failure rate (IFR) if ${\overline{F}}_{X}$ is logconcave on ℝ;
 (b)
a decreasing reversed hazard rate (DRHR) if ${F}_{X}$ is logconcave on ℝ;
 (c)
logconcave if X is absolutely continuous and its density ${f}_{X}$ is logconcave on $(0,\mathrm{\infty})$.
If in parts (a) and (c) logconcavity is replaced by logconvexity we have the decreasing failure rate (DFR) and logconvex ageing classes, respectively. For the DFR property the logconvexity has to be restricted to $[0,\mathrm{\infty})$.
Remark 2.4 It is interesting to point out that X logconcave ⇒ X IFR and DRHR, and that X logconvex ⇒ X DFR ⇒ X DRHR (see [[9], p.181]).
It is reasonable to assume that, in a deterioration process, each $X(t)$ is nonnegative, 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.
 (i)
the usual stochastic order (written as $X{\le}_{\mathrm{st}}Y$) if ${\overline{F}}_{X}(x)\le {\overline{F}}_{Y}(x)$, for all $x\in \mathbb{R}$;
 (ii)
the hazard rate order ($X{\le}_{\mathrm{hr}}Y$) if ${\overline{F}}_{Y}(t)/{\overline{F}}_{X}(t)$ is increasing in t;
 (iii)
the reversed hazard rate order ($X{\le}_{\mathrm{rh}}Y$) if ${F}_{Y}(t)/{F}_{X}(t)$ is increasing in t;
 (iv)
the likelihood ratio order ($X{\le}_{\mathrm{lr}}Y$) if X and Y are absolutely continuous with respect to some dominating measure μ, with respective densities ${f}_{X}$ and ${f}_{Y}$ such that ${f}_{Y}(t)/{f}_{X}(t)$ is increasing in t.
Remark 2.6 The relations among the previous stochastic orders are as follows (see [[16], p.61]):

$X{\le}_{\mathrm{lr}}Y\Rightarrow X{\le}_{\mathrm{hr}}Y\text{and}X{\le}_{\mathrm{rh}}Y$;

Either $X{\le}_{\mathrm{hr}}Y\text{or}X{\le}_{\mathrm{rh}}Y\Rightarrow X{\le}_{\mathrm{st}}Y$.
For a given process $(X(t),t\ge 0)$, we will use the notation $X(t){\uparrow}_{\cdot}$ to indicate that $X(t)$ is increasing in the ⋅ stochastic order, for all $t\ge 0$ (and $X(t){\downarrow}_{\cdot}$ if it is decreasing). From now on, we will use the notation $X{=}_{\mathrm{st}}Y$ 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 $(X(t),t\ge 0)$, which are slightly more general than the ones defining a nonnegative Lévy process.
 1.
$0\le X(s)\le X(t)$ a.s., for $0\le s<t$;
 2.
the process has independent increments, that is: given $0\le {t}_{0}<{t}_{1}<\cdots <{t}_{n}$, the random variables $X({t}_{0}),X({t}_{1})X({t}_{0}),\dots ,X({t}_{n})X({t}_{n1})$ are independent;
 3.the increments of the process satisfy$X(t+h)X(t){\uparrow}_{\mathrm{st}}\phantom{\rule{1em}{0ex}}\text{in}t\text{for any fixed}h0;$
 4.
$(X(t),t\ge 0)$ is continuous in probability, that is, ${lim}_{s\to t}P(X(t)X(s)>\u03f5)=0$, for all $\u03f5>0$.
we will say that the process belongs to the $\mathcal{IPSI}$ 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$(N(t),t\ge 0)$, which is a process in the $\mathcal{IPSI}$ class such that $N(0)=0$, and such that, for each $t>0$, $N(t)$ has Poisson distribution of mean t (see [[18], p.15]).

The standard gamma process$(S(t),t\ge 0)$, which is a process in the $\mathcal{IPSI}$ class such that $S(0)=0$, and such that, for each $t>0$, $S(t)$ has gamma density $f(x):=\mathrm{\Gamma}{(t)}^{1}{x}^{t1}{e}^{x}$, $x>0$ (see, for instance, [[3], p.6]).
Remark 2.8 Note that the processes considered in Definition 2.7 admit always a representation with rightcontinuous paths [[18], p.63], so that the expressions given in (1) hold true. Note also that if $X(0)=0$, the $\mathcal{IPSI}$ class coincides with Lévy processes with nonnegative 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 $(X(t),t\ge 0)$ in the $\mathcal{IPSI}$ class, the timetransformed process $(X({a}_{2}(t)),t\ge 0)$, with ${a}_{2}$ being an increasing and convex function, belongs to the $\mathcal{IPII}$ class, whereas if ${a}_{2}$ is increasing and concave, the process belongs to the $\mathcal{IPDI}$ class. We will use this fact in order to obtain results concerning nonhomogeneous Poisson processes (Proposition 3.4) and nonhomogeneous gamma processes (Proposition 4.4), which are timetransformed 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)
 1.
f is logconcave;
 2.
Tf is continuous on $(0,\mathrm{\infty})$.
 (a)
Further assume that f is decreasing. If $(X(t),t\ge 0)$ is in the class $\mathcal{IPII}$ and $X(t){\uparrow}_{\mathrm{rh}}$, then Tf is a logconcave and decreasing function on $(0,\mathrm{\infty})$.
 (b)
Further assume that f is increasing. If $(X(t),t\ge 0)$ is in the class $\mathcal{IPDI}$ and $X(t){\uparrow}_{\mathrm{hr}}$ then Tf is a logconcave and increasing function on $(0,\mathrm{\infty})$.
 (c)
If $(X(t),t\ge 0)$ is in the class $\mathcal{IPSI}$ and $X(t){\uparrow}_{\mathrm{lr}}$, then Tf is a logconcave function on $(0,\mathrm{\infty})$.
Remark 2.10 If Tf is continuous at the origin we can extend the logconcavity property to the interval $[0,\mathrm{\infty})$, as (2) at 0 as endpoint can be deduced by taking the limit as $x\downarrow 0$.
Remark 2.11 In [15], Thm. 3.8(c) there is an additional condition. If, for $f:[0,\mathrm{\infty})\to [0,\mathrm{\infty})$, we call $J:=\{x\ge 0\mid f(x)>0\}$ (which is an interval if f is logconcave), the additional condition was that the set ${J}^{\ast}:=\{t>0\mid P(X(t)\in J)>0\}$ had to be an interval. But the previous condition is always verified if $X(t){\uparrow}_{\mathrm{lr}}$, so that it does not need to be checked. In the next lemma we give the proof of this fact.
Lemma 2.12 Let $(X(t),t\ge 0)$ be a stochastic process such that $X(t){\uparrow}_{\mathrm{lr}}$ and let $J\subseteq \mathbb{R}$ be an interval. Then ${J}^{\ast}:=\{t\ge 0\mid P(X(t)\in J)>0\}$ is an interval.
Then (5) and (6) are contradictory with the fact that $P(X(t)\in J)=0$, and the conclusion follows. □
3 Preservation of IFR, DRHR, and DFR classes for wear processes with independent increments
Our first results, concerning to the classes IFR and DRHR, are based on the following.
 (a)
If $(X(t),t\ge 0)$ is in the $\mathcal{IPII}$ class with $X(0)=0$, $X(t){\uparrow}_{\mathrm{rh}}$ and Y is IFR, then ρ is IFR.
 (b)
If $(X(t),t\ge 0)$ is in the $\mathcal{IPDI}$ class, $X(t){\uparrow}_{\mathrm{hr}}$ and Y is DRHR, then ρ is DRHR.
Proof Condition (7) and (1) ensures us that ${F}_{\rho}$ and ${\overline{F}}_{\rho}$ are continuous functions on $(0,\mathrm{\infty})$ [[15], Lem. 2.5]. The fact that ${F}_{\rho}$ and ${\overline{F}}_{\rho}$ are rightcontinuous and condition 4 in Definition 2.7 allow us to extend the continuity to $[0,\mathrm{\infty})$.
To show part (a), the IFR condition for Y means that ${\overline{F}}_{Y}$ is logconcave. Thus, by (1), Theorem 2.9(a) and Remark 2.10 we find that ${\overline{F}}_{\rho}$ is logconcave on $[0,\mathrm{\infty})$. To extend this property to ℝ, note that an IFR distribution cannot have positive mass at 0 (see [[9], p.104]). The fact that $X(0)=0$ guarantees this property for ρ, as by (1) ${\overline{F}}_{\rho}(0)={\overline{F}}_{Y}(0)=1$. Thus, using this property, the logconcavity property for ${\overline{F}}_{\rho}$ is extended to ℝ, thus showing part (a).
For part (b), the DRHR condition for Y means that ${F}_{Y}$ is logconcave, and by (1), Theorem 2.9(b), and Remark 2.10 we find that ${F}_{\rho}$ is logconcave on $[0,\mathrm{\infty})$. As ${F}_{\rho}(t)=0$, $t<0$, the logconcavity property is trivially extended to ℝ. □
Remark 3.2 Recall that $X{\le}_{\mathrm{lr}}Y$ implies both $X{\le}_{\mathrm{hr}}Y$ and $X{\le}_{\mathrm{rh}}Y$. So that $X(t){\uparrow}_{\mathrm{lr}}$, together with $(X(t),t\ge 0)$ in the class $\mathcal{IPSI}$ and $X(0)=0$ are sufficient conditions for the preservation of both the IFR and the DRHR property.
First of all we have the following.
 (a)
If ${a}_{1}$ and ${a}_{2}$ are increasing and convex functions, then $({X}^{\ast}(t),t\ge 0)$ is in the $\mathcal{IPII}$ class.
 (b)
If ${a}_{1}$ and ${a}_{2}$ are increasing and concave functions, then $({X}^{\ast}(t),t\ge 0)$ is in the $\mathcal{IPDI}$ class.
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 ${a}_{i}$, $i=1,2$ are concave functions. □
Using the two previous results we have the following result concerning a nonhomogeneous compound Poisson process.
 (a)
Assume that ${a}_{2}$ is a convex function with ${a}_{2}(0)=0$, ${X}_{i}$ are DRHR and Y is IFR. Then ρ is IFR.
 (b)
Assume that ${a}_{2}$ is a concave function, ${X}_{i}$ are IFR and Y is DRHR. Then ρ is 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, AbdelHameed 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 ${X}_{1}$ be logconcave (as the Lévy measure in the compound Poisson process is proportional to the distribution of ${X}_{1}$). Thus, in this case, Proposition 3.4(b) gives more general assumptions, under the requirement of ${X}_{1}$ to be DRHR. Note that the class DRHR contains, in particular, both logconcave and logconvex distributions. In fact, ${X}_{1}$ being logconcave implies that ${X}_{1}$ 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 $({X}^{\ast}(t),t\ge 0)$ when the random variables in the process satisfy appropriate ageing properties. This, in particular, will allow us to deal with nonhomogeneous gamma deterioration processes with trend.
 (a)
Assume that $X(t)$ are DRHR for all t and $X(0)=0$. Further, assume that ${a}_{1}$ and ${a}_{2}$ are increasing and convex functions, with ${a}_{1}(0)={a}_{2}(0)=0$ and Y is IFR. Then ρ is IFR.
 (b)
Assume that $X(t)$ are IFR for all t, ${a}_{i}$, $i=1,2$ are increasing and concave functions and Y is DRHR. Then ρ is DRHR.
The first inequality is obtained using Lemma [[17], Lem. 1.B.44]) with $X:={a}_{1}(s)$, $Y:={a}_{1}(t)$ and $Z:=X({a}_{2}(s))$, 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 ${X}^{\ast}(0)=0$, 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 $({X}^{\ast}(t),t\ge 0)$ is in the $\mathcal{IPDI}$ class. Moreover, $X(t){\uparrow}_{\mathrm{hr}}$ 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]. □
 (a)
If ${a}_{1}$ and ${a}_{2}$ are increasing and convex functions, with ${a}_{1}(0)={a}_{2}(0)=0$ and Y is IFR, then ρ is IFR.
 (b)
If ${a}_{1}(t)=0$ (no trend), ${a}_{2}$ 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 $\mathcal{IPSI}$ class (recall Remark 2.8). Moreover, the random variables in $(S(t),t\ge 0)$ are absolutely continuous, so that condition (7) is satisfied. Finally, note that in a gamma process, the $S(t)$ are DRHR. This follows recalling Remark 2.4 as, if $t\le 1$, $S(t)$ has logconvex density, whereas if $t\ge 1$, $S(t)$ has logconcave 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 $S(t){\uparrow}_{\mathrm{lr}}$ (see [[16], p.62]), and this implies immediately that ${S}^{\ast}(t){\uparrow}_{\mathrm{lr}}$. Thus, the conditions in Proposition 3.1(b) follow as, recalling Remark 2.6, ${S}^{\ast}(t){\uparrow}_{\mathrm{hr}}$ and, using Lemma 3.3(b), $({S}^{\ast}(t),t\ge 0)$ is in the $\mathcal{IPDI}$ class. □
Remark 3.8 AbdelHameed [1] proved the IFR property for nonhomogeneus 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 $X(t)$ in Proposition 3.6(b) is not satisfied, we cannot ensure that ${X}^{\ast}(t){\uparrow}_{\mathrm{hr}}$. In fact, take ${S}^{\ast}(t)=t+S(t)$, a gamma process with linear trend. It is readily seen by calculus that ${S}^{\ast}(s){\nleqq}_{\mathrm{hr}}{S}^{\ast}(t)$ if $0<s<t<1$ (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 logconvex 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).
 (a)
Let $G:[0,\mathrm{\infty})\to [0,\mathrm{\infty})$ be a decreasing and logconvex function, with $G(x)>0$, $x\ge 0$ and rightcontinuous at $x=0$. Then $EG[X(t)]$ is a logconvex function on $[0,\mathrm{\infty})$.
 (b)
Let $G:(0,\mathrm{\infty})\to [0,\mathrm{\infty})$ be a decreasing and logconvex function, with $G(x)>0$, $x>0$. Assume that $P(X(t)=0)=0$ and that $EG[X(t)]<\mathrm{\infty}$, for all $t>0$. Then $EG[X(t)]$ is a logconvex function on $(0,\mathrm{\infty})$.
Thus, from (13) we deduce the logconvexity of $TG(t)=EG(X(t))$. □
As an immediate consequence of part (a) in the previous result, we have the following.
Corollary 3.11 Let $(X(t),t\ge 0)$ be a process in the $\mathcal{IPSI}$ class. Consider a wear process in which $({X}^{\ast}(t),t\ge 0)$ is as in (8), with ${a}_{1}$ and ${a}_{2}$ being increasing and concave functions. Assume that Y, the random threshold and $({X}^{\ast}(t),t\ge 0)$ 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 $({X}^{\ast}(t),t\ge 0)$ is in the $\mathcal{IPDI}$ class, due to Lemma 3.3(b). Secondly, due to (1), we have ${\overline{F}}_{\rho}(t)=E[{\overline{F}}_{Y}({X}^{\ast}(t))]$. As Y is DFR, then $G:={\overline{F}}_{Y}$ satisfies assumptions on Proposition 3.10(a), from which we deduce the logconvexity of ${\overline{F}}_{\rho}$. □
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 logconcave and logconvex classes for subordinators
Note firstly that, for results concerning logconcavity or logconvexity we will always assume that ${a}_{2}(0)=0$, 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 $X(0)=0$ (as the process is a centered subordinator), $P(\rho =0)=E{F}_{Y}(X(0))={F}_{Y}(0)=0$.
With respect to logconvexity, we have the following result.
Proposition 4.1 Let $(X(t),t\ge 0)$ be a centered subordinator. Consider a wear process in which $({X}^{\ast}(t),t\ge 0)$ is defined as ${X}^{\ast}(t)=X({a}_{2}(t))$, and let Y be the random threshold. Let ρ be the lifetime of the device. If Y is logconvex and ${a}_{2}$ is differentiable, with ${a}_{2}(0)=0$, ${a}_{2}^{\prime}$ being nonnegative, decreasing, and logconvex, then ρ is logconvex.
The conditions about ${a}_{2}$ guarantee that this function is concave, and therefore by Lemma 3.3(b), the process $(X({a}_{2}(t))+UT,t\ge 0)$ is in the $\mathcal{IPDI}$ class. As Y is logconvex, then ${f}_{Y}$ is logconvex, decreasing, and strictly positive on $(0,\mathrm{\infty})$ (see [[9], Prop. C.11, p.117]). Thus, we can apply Proposition 3.10(b), so that the second factor in (19) is a logconvex function, and the result follows for the logconvexity of ${a}_{2}^{\prime}$, as the product of logconvex functions is logconvex. □
Remark 4.2 The previous result guarantees, obviously, the preservation of the logconvexity for a process in the $\mathcal{IPSI}$ class $({X}^{\ast}(t),t\ge 0)$ in which $E[{X}^{\ast}(t)]=\lambda t$, as $(X(t):={X}^{\ast}(t/\lambda ),t\ge 0)$ is a centered subordinator and in this case ${a}_{2}(t)=\lambda t$. A nontrivial example of a function ${a}_{2}$ satisfying the hypotheses in the previous results is such that ${a}_{2}(t)={\int}_{0}^{t}{e}^{u}{u}^{\alpha 1}\phantom{\rule{0.2em}{0ex}}du$, $t>0$, with $0<\alpha \le 1$.
For the preservation of logconcavity, 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 logconcavity result for the compound Poisson process.
in which $({N}^{\ast}(t),t\ge 0)$ is a homogeneous Poisson process, and ${({X}_{n})}_{n=1,2,\dots}$ is a sequence of independent, identically distributed nonnegative random variables, having finite mean and being independent of the process. Let Y be a logconcave random threshold and let ρ be the lifetime of the device. If ${X}_{1}$ is logconcave, then ρ is logconcave.
The process $({\sum}_{i=1}^{N(\mu \lambda t)}{X}_{i}+{X}^{e},t\ge 0)$ is in the $\mathcal{IPSI}$ class. Moreover, as ${X}_{1}$ is logconcave, ${\sum}_{i=1}^{N(\mu \lambda t)}{X}_{i}{\uparrow}_{\mathrm{lr}}$ [[17], Thm. 1.C.11]. On the other hand, if ${X}_{1}$ is logconcave, then it is IFR, and, therefore, ${X}^{e}$ is logconcave. Thus, ${\sum}_{i=1}^{N(\mu \lambda t)}{X}_{i}+{X}^{e}{\uparrow}_{\mathrm{lr}}$ [[17], p. 47], and by Theorem 2.9(c), the expression in (20) is a logconcave function, so that the conclusion holds. □
Note that the previous expression shows us that ${f}_{UT}$ is completely monotone, and henceforth logconvex [[21], p.123]. Thus, UT is logconvex. The logconvexity of this random variable allows us to give the following result, under the assumption of a logconcave decreasing density of Y.
Proposition 4.4 Let $(S(t),t\ge 0)$ be a gamma wear process. Consider a wear process in which $({S}^{\ast}(t)=S({a}_{2}(t)),t\ge 0)$. Let Y be the random threshold, and let ρ be the lifetime of the device. If Y has a logconcave and decreasing density, ${a}_{2}$ is differentiable, with ${a}_{2}(0)=0$, ${a}_{2}^{\prime}$ being nonnegative, increasing, and logconcave, then ρ is logconcave.
Our conditions guarantee that ${a}_{2}$ is convex, and thus $(S({a}_{2}(t))+UT,t\ge 0)$ is in the $\mathcal{IPII}$ class, thanks to Lemma 3.3(a). Moreover, $S({a}_{2}(t))+UT$ is DRHR for all $t\ge 0$. This follows as UT has a logconvex density, and therefore it is DRHR (recall Remark 2.6). Moreover, $S({a}_{2}(t))$ is always DRHR (as its density is either logconcave or logconvex). Thus, the DRHR property for $S({a}_{2}(t))+UT$ follows, as this property is closed under convolution [[9], p.179]. Then it follows easily [[17], Lem. 1.B.44]) that $S({a}_{2}(t))+UT{\uparrow}_{\mathrm{rh}}$. 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 logconcave decreasing density if it has an exponential distribution, or a uniform distribution on the interval $(0,a)$, for some $a>0$. On the other hand, the function ${a}_{2}(t)={e}^{ct}1$, $t\ge 0$ or ${a}_{2}(t)=ct$, $t\ge 0$ for $c>0$ 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 $S(t)+UT$ (we can find integral expressions, but we are not able to find a closedform expression). As a partial result we are able to check the preservation of logconcavity on the interval $[1,\mathrm{\infty})$. The next lemma will be very useful to this end.
Lemma 4.6 The random variable $S(1)+UT$, in which $S(1)$ and T are exponential random variables with mean 1 and U is uniform (all of them independent), is logconcave.
thus showing the discrete logconcavity for ${N}_{1}(\theta (S(1)+UT))$ and, therefore, the logconcavity for $S(1)+UT$. □
Proposition 4.7 Let $(S(t),t\ge 0)$ be a gamma wear process. Let Y be the random threshold, and let ρ be the lifetime of the device. If Y has a logconcave density, then ρ is logconcave on $[1,\mathrm{\infty})$.
Consider now the stochastic process ${S}_{1}^{\ast}(t):=S(t+1)+UT$, $t\ge 0$. Note that ${S}_{1}^{\ast}(t){\uparrow}_{\mathrm{lr}}$. This follows as ${S}_{1}^{\ast}(t){=}_{\mathrm{st}}S(1)+UT+{S}^{\prime}(t)$, in which ${S}^{\prime}(t)$ is a gamma random variable of shape parameter t independent of $S(1)+UT$. Thus, for $0\le {t}_{1}<{t}_{2}$, we have ${S}^{\prime}({t}_{1}){\le}_{\mathrm{lr}}{S}^{\prime}({t}_{2})$ As by Lemma 4.6 $S(1)+UT$ is logconcave, we have $S(1)+UT+{S}^{\prime}({t}_{1}){\le}_{\mathrm{lr}}S(1)+UT+{S}^{\prime}({t}_{2})$ (see [[17], p.46]), thus proving the likelihood ratio order assumption. Then, by Theorem 2.9(c) $f(t):=E{f}_{Y}({S}^{\ast}(t)+UT)$, $t>0$, is a logconcave function, and so is (26), as if $f(t)$, $t>0$ is a logconcave function on $(0,\mathrm{\infty})$, then $g(t):=f(t1)$, $t>1$ is a logconcave function on $(1,\mathrm{\infty})$. Then the conclusion follows by the logconcavity of (26) and (1). □
Remark 4.8 If we could extend the fact that $S(t)+UT{\uparrow}_{\mathrm{lr}}$ from $t\ge 1$ to $t\ge 0$, then we could prove the preservation of logconcavity on $(0,\mathrm{\infty})$. However, due to the technical complexity of the density function $S(t)+UT$ we are not able, at this point, to prove or disprove this fact.
Declarations
Acknowledgements
This work has been supported by the Spanish research project MTM201236603C0202. 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. 20110017338). 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 (20090093827).
Authors’ Affiliations
References
 AbdelHameed M: A gamma wear process. IEEE Trans. Reliab. 1975, 24: 152–153.View ArticleGoogle Scholar
 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.015View ArticleGoogle Scholar
 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.019View ArticleGoogle Scholar
 AbdelHameed M, Proschan F: Shock models with underlying birth process. J. Appl. Probab. 1975, 12: 18–28. 10.2307/3212403MathSciNetView ArticleMATHGoogle Scholar
 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/s1098500552378MathSciNetView ArticleMATHGoogle Scholar
 10.1007/s1100901393609Google Scholar
 Belzunce F, Ortega E, Ruiz JM: On ageing properties of first passage times of increasing Markov processes. Adv. Appl. Probab. 2002, 34: 241–259.MathSciNetView ArticleMATHGoogle Scholar
 AbdelHameed M: Life distribution of devices subject to a purejump damage process. J. Appl. Probab. 1984, 21: 816–825. 10.2307/3213698MathSciNetView ArticleMATHGoogle Scholar
 Marshall AW, Olkin I: Life Distributions. Springer, New York; 2007.MATHGoogle Scholar
 Shaked M, Shanthikumar G: On the firstpassage times of pure jump processes. J. Appl. Probab. 1988, 25: 501–509. 10.2307/3213979MathSciNetView ArticleMATHGoogle Scholar
 Esary JD, Marshall W, Proschan F: Shock models and wear processes. Ann. Probab. 1973, 4: 627–649.MathSciNetView ArticleMATHGoogle Scholar
 AbdelHameed M: Life distribution of devices subject to Lévy wear process. Math. Oper. Res. 1984, 9: 606–614. 10.1287/moor.9.4.606MathSciNetView ArticleMATHGoogle Scholar
 AbdelHameed M: Degradation processes: an overview. In Advances in Degradation Modeling. Birkhäuser, Boston; 2010:17–25.View ArticleGoogle Scholar
 Badía FG: On the preservation of logconvexity and logconcavity under some classical Bernsteintype operators. J. Math. Anal. Appl. 2009, 360: 485–490. 10.1016/j.jmaa.2009.06.075MathSciNetView ArticleMATHGoogle Scholar
 Badía FG, Sangüesa C: Logconcavity for Bernsteintype operators using stochastic orders. J. Math. Anal. Appl. 2014, 413: 953–962. 10.1016/j.jmaa.2013.12.014MathSciNetView ArticleMATHGoogle Scholar
 Müller A, Stoyan D: Comparison Methods for Stochastic Models and Risks. Wiley, Chichester; 2002.MATHGoogle Scholar
 Shaked M, Shanthikumar JG: Stochastic Orders. Springer, New York; 2007.View ArticleMATHGoogle Scholar
 Sato KI: Lévy Processes and Infinitely Divisible Distributions. Cambridge University Press, Cambridge; 1999.MATHGoogle Scholar
 Badía FG, Sangüesa C: Preservation of reliability classes under mixtures of renewal processes. Probab. Eng. Inf. Sci. 2008, 22: 1–17.View ArticleMATHMathSciNetGoogle Scholar
 Adell JA, Lekuona A: Taylor’s formula and preservation of generalized convexity for positive linear operators. J. Appl. Probab. 2000, 37: 765–777.MathSciNetView ArticleMATHGoogle Scholar
 Steutel F, van Harn K: Infinite Divisibility of Probability Distributions on the Real Line. Dekker, New York; 2004.MATHGoogle Scholar
 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.0397MathSciNetView ArticleMATHGoogle Scholar
 Johnson O, Goldschmidt C: Preservation of logconcavity on summation. ESAIM Probab. Stat. 2006, 10: 206–215.MathSciNetView ArticleMATHGoogle Scholar
Copyright
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.