Geometric and Harmonic Aging Intensity function and a Reliability Perspective

Subarna Bhattacharjee1 Ananda Sen2, Sabana Anwar3, Aninda K. Nanda4
1,3 Department of Mathematics,Ravenshaw University, Cuttack-753003, Odisha, India
2 Department of Family Medicine and Biostatistics, University of Michigan, Ann Arbor, MI, USA
3 Institute of Mathematics and Applications,Bhubaneswar 751029, India
4 Department of Statistics, Babasaheb Bhimrao Ambedkar University, Lucknow, UP, India
Corresponding author:   E-mail: [email protected],
3 Sabana Anwar contributed in this article while she was a Project Assistant in Department of Mathematics, Ravenshaw University, Cuttack
(June 13, 2024)
Abstract

In this paper, we introduce some new notions of aging based on geometric, harmonic means of failure rate and aging intensity function. We define a generalized version of aging functions called specific interval-average geometric hazard rate, specific interval-average harmonic hazard rate. We focus on some characterization results and their inter-relationships among the resulting non-parametric classes of distributions. Monotonic nature of so defined aging classes are exhibited by some well known probability distributions. Probabilistic orders based on these functions are taken up for further study. The work is illustrated through case studies and a simulated data having applications in reliability/survival analysis.
Keywords and Phrases: Aging classes, arithmetic mean failure rate, geometric mean failure rate, harmonic mean failure rate, aging intensity function.
AMS 2020 Subject Classification: Primary 60E15, Secondary 62N05, 60E05

1 Introduction

In recent literature, develo** new aging functions and their analyses for its subsequent applications in various fields pertaining to study of aging phenomena is a thrust area among researchers. The present work is an attempt in this direction with emphasis on means of failure rate and other aging functions. To this end, here we place some of the crucial facts on means from vast literature.

In probabilistic framework of statitstics, the three types of mean, namely, arithmetic mean (AM), geometric mean (GM), and harmonic mean (HM) have been used extensively. There is a comprehensive review by Beebe (2023) (http://ftp.math.utah.edu/pub/tex/bib/agm.pdf) that detail their usage, mathematical properties, inter-relationship and extensions. Burk (1985) in the article entitled “By all means” established the ordering

HM<GM<LM<AM<RMS𝐻𝑀𝐺𝑀𝐿𝑀𝐴𝑀𝑅𝑀𝑆HM<GM<LM<AM<RMSitalic_H italic_M < italic_G italic_M < italic_L italic_M < italic_A italic_M < italic_R italic_M italic_S

where LM refers to the logarithmic mean (defined as balnblna𝑏𝑎𝑏𝑎\frac{b-a}{\ln b-\ln a}divide start_ARG italic_b - italic_a end_ARG start_ARG roman_ln italic_b - roman_ln italic_a end_ARG) and root mean square (RMS) (defined as (a2+b2)/2superscript𝑎2superscript𝑏22\sqrt{(a^{2}+b^{2})/2}square-root start_ARG ( italic_a start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_b start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) / 2 end_ARG. In mathematics and statistics, measures of central tendency offer a concise way to capture the overall characteristics of a dataset. While the pivotal position of central tendency in statistical infernce has been assumed by SAM=1ni=1nxi𝑆𝐴𝑀1𝑛superscriptsubscript𝑖1𝑛subscript𝑥𝑖SAM=\frac{1}{n}\sum_{i=1}^{n}x_{i}italic_S italic_A italic_M = divide start_ARG 1 end_ARG start_ARG italic_n end_ARG ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_x start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT, the sample version of geometric mean (SGM) defined as SGM=(x1x2xn)1/n=exp(i=1nlnxin)𝑆𝐺𝑀superscriptsubscript𝑥1subscript𝑥2subscript𝑥𝑛1𝑛superscriptsubscript𝑖1𝑛subscript𝑥𝑖𝑛SGM=(x_{1}x_{2}\ldots x_{n})^{1/n}=\exp(\sum_{i=1}^{n}\frac{\ln x_{i}}{n})italic_S italic_G italic_M = ( italic_x start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_x start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT … italic_x start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 1 / italic_n end_POSTSUPERSCRIPT = roman_exp ( ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT divide start_ARG roman_ln italic_x start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG start_ARG italic_n end_ARG ) for x>0𝑥0x>0italic_x > 0 has found numerous applications including environmental monitoring (e.g., acceptable level of contaminants in water quality and other immunologic information), infometrics, scientometrics (e.g., citation counts), finance (e.g., investment portfolio returns), nuclear medicine (e.g., tissue attenuation), ecology (e.g., growth rates in ecological population), groundwater hydrology, geoscience, geomechanics, machine learning (e.g., pattern recognition algorithm), chemical engineering (e.g., reaction rates), poverty and human development among others (c.f. Vogel R.M.(2020). A closely related measure is the sample version of the harmonic mean defined as SHM=ni=1nxi1𝑆𝐻𝑀𝑛superscriptsubscript𝑖1𝑛superscriptsubscript𝑥𝑖1SHM=\frac{n}{\sum_{i=1}^{n}x_{i}^{-1}}italic_S italic_H italic_M = divide start_ARG italic_n end_ARG start_ARG ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_x start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT end_ARG.

In nonparametric life-testing and reliability, the notion of aging has been a focal point of interest for several decades. While the failure rate r(t)𝑟𝑡r(t)italic_r ( italic_t ) attempts to capture the aging behavior of a distribution, it acts as a poor comparator across distributions, especially if the rate is non-monotonic. Jiang (2003) introduced a quantitative tracking measure of aging, called aging intensity function (AI) defined by L(t)=r(t)1t0tr(u)𝑑u𝐿𝑡𝑟𝑡1𝑡superscriptsubscript0𝑡𝑟𝑢differential-d𝑢L(t)=\frac{r(t)}{\frac{1}{t}\int_{0}^{t}r(u)du}italic_L ( italic_t ) = divide start_ARG italic_r ( italic_t ) end_ARG start_ARG divide start_ARG 1 end_ARG start_ARG italic_t end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT italic_r ( italic_u ) italic_d italic_u end_ARG for t>0.𝑡0t>0.italic_t > 0 . AI function written as

L(t)=r(t)/A(t), where A(t)=1t0tr(u)𝑑u,formulae-sequence𝐿𝑡𝑟𝑡𝐴𝑡 where 𝐴𝑡1𝑡superscriptsubscript0𝑡𝑟𝑢differential-d𝑢L(t)=r(t)/A(t),\mbox{~{}where~{}}A(t)=\frac{1}{t}\int_{0}^{t}r(u)du,italic_L ( italic_t ) = italic_r ( italic_t ) / italic_A ( italic_t ) , where italic_A ( italic_t ) = divide start_ARG 1 end_ARG start_ARG italic_t end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT italic_r ( italic_u ) italic_d italic_u , (1.1)

is the average failure rate. Because L(t)𝐿𝑡L(t)italic_L ( italic_t ) expresses r(t)𝑟𝑡r(t)italic_r ( italic_t ) in comparison to the average cumulative hazard at time t𝑡titalic_t, it is a better tool to compare between distribution.

In this paper, we introduce some new functions which measure and explain the aging phenomenon of a system. The lifetime of any system (biological or non-living) having a well defined statistical distribution is represented by a random variable X𝑋Xitalic_X. We give the following definition.

Let X𝑋Xitalic_X be a random variable having failure rate function rX()subscript𝑟𝑋r_{X}(\cdot)italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( ⋅ ) such that rX(t)<,subscript𝑟𝑋𝑡r_{X}(t)<\infty,italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) < ∞ , for all t>0.𝑡0t>0.italic_t > 0 . For t>0,𝑡0t>0,italic_t > 0 , we define

LXG(t)=rX(t)GX(t),LXH(t)=rX(t)HX(t),formulae-sequencesubscriptsuperscript𝐿𝐺𝑋𝑡subscript𝑟𝑋𝑡subscript𝐺𝑋𝑡subscriptsuperscript𝐿𝐻𝑋𝑡subscript𝑟𝑋𝑡subscript𝐻𝑋𝑡L^{G}_{X}(t)=\frac{r_{X}(t)}{G_{X}(t)},~{}L^{H}_{X}(t)=\frac{r_{X}(t)}{H_{X}(t% )},italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) = divide start_ARG italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) end_ARG start_ARG italic_G start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) end_ARG , italic_L start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) = divide start_ARG italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) end_ARG start_ARG italic_H start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) end_ARG , (1.2)

called the geometric aging intensity (GAI) and the harmonic aging intensity (HAI) of the random variable X𝑋Xitalic_X, where

GX(t)=exp(1t0tlnrX(u)𝑑u),HX(t)=(1t0t1rX(u)𝑑u)1.formulae-sequencesubscript𝐺𝑋𝑡1𝑡superscriptsubscript0𝑡subscript𝑟𝑋𝑢differential-d𝑢subscript𝐻𝑋𝑡superscript1𝑡superscriptsubscript0𝑡1subscript𝑟𝑋𝑢differential-d𝑢1G_{X}(t)=\exp\left(\frac{1}{t}\int_{0}^{t}\ln r_{X}(u)du\right),H_{X}(t)=\left% (\frac{1}{t}\int_{0}^{t}\frac{1}{r_{X}(u)}du\right)^{-1}.italic_G start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) = roman_exp ( divide start_ARG 1 end_ARG start_ARG italic_t end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT roman_ln italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_u ) italic_d italic_u ) , italic_H start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) = ( divide start_ARG 1 end_ARG start_ARG italic_t end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_u ) end_ARG italic_d italic_u ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT .

In view of the said functions, we rename L(t)𝐿𝑡L(t)italic_L ( italic_t ) as arithmetic aging intensity (also popularly known as aging intensity defined by Jiang et al. (2003)). Henceforth, unless otherwise required, we drop X𝑋Xitalic_X from all the expressions.
         Readers may note that the functions A(t),G(t)𝐴𝑡𝐺𝑡A(t),G(t)italic_A ( italic_t ) , italic_G ( italic_t ) and H(t)𝐻𝑡H(t)italic_H ( italic_t ) appearing in (1.1) and (1.2) called arithmetic mean failure rate (AFR), geometric mean failure rate (GFR) and harmonic mean failure rate (HFR) respectively were first coined by Roy and Mukherjee (1992). They defined the aging classes of lifetime distributions on the basis of monotonicity of GFR and HFR. The very nomenclature of increasing (decreasing) geometric mean failure rate, increasing (decreasing) harmonic mean failure rate distributions were introduced by Roy and Mukherjee (1992) and they denoted the resulting aging classes by IGFR (DGFR) and IHFR (DHFR) respectively. They proved that IFRIFRAIGFRIHFR𝐼𝐹𝑅𝐼𝐹𝑅𝐴𝐼𝐺𝐹𝑅𝐼𝐻𝐹𝑅IFR\subseteq IFRA\subseteq IGFR\subseteq IHFRitalic_I italic_F italic_R ⊆ italic_I italic_F italic_R italic_A ⊆ italic_I italic_G italic_F italic_R ⊆ italic_I italic_H italic_F italic_R and DFRDHFRDGFRDFRA𝐷𝐹𝑅𝐷𝐻𝐹𝑅𝐷𝐺𝐹𝑅𝐷𝐹𝑅𝐴DFR\subseteq DHFR\subseteq DGFR\subseteq DFRAitalic_D italic_F italic_R ⊆ italic_D italic_H italic_F italic_R ⊆ italic_D italic_G italic_F italic_R ⊆ italic_D italic_F italic_R italic_A. It may also be noted that Nanda et al. (2007), Bhattacharjee et al. (2013), Bhattacharjee et al. (2022), Giri et al. (2023), Szymkowiak (2018) and others worked on AI function and its properties.

The paper is organized as follows. Section 2 throws light on main results involving geometric and harmonic failure rates. Some characterization results and examples of parametric distributions are discussed for the aforementioned aging functions. Section 3 introduces new functions viz., specific interval-average geometric hazard rate, specific interval-average harmonic hazard rate and discusses their importance in reliability theory. In Section 4, we discuss some new probabilistic orders based on means of aging functions and obtain their inter-relationships. In Section 5, we implement the so obtained theoretical results on real life data and a simulated data. We note some significant observations with regard to bias and mean squared error of the estimators of aging functions. Section 6 gives the concluding remarks.

2 Main Results

In this section, we explore some characterizing properties of GAI and HAI functions. We group the characterization results into several categories starting with those based on nonparametric classification of distributions.

2.1 Characterization of Aging Classes based on Geometric and Harmonic Aging Intensity function

Lower and upper bounds of L(t)𝐿𝑡L(t)italic_L ( italic_t ) for special classes of distributions have been established by Nanda et al (2007), Sunoj and Rasin (2018), Bhattacharjee et al.(2022). The following theorem extends these results for LG()superscript𝐿𝐺L^{G}(\cdot)italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT ( ⋅ ) and LH()superscript𝐿𝐻L^{H}(\cdot)italic_L start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT ( ⋅ ).

Theorem 2.1

For all t>0,𝑡0t>0,italic_t > 0 ,

  1. (i)

    A random variable X𝑋Xitalic_X is IGFR (DGFR) if and only if LG(t)()1superscript𝐿𝐺𝑡1L^{G}(t)\geq(\leq)~{}1italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT ( italic_t ) ≥ ( ≤ ) 1.

  2. (ii)

    A random variable X𝑋Xitalic_X is IHFR (DHFR) if and only if LH(t)()1superscript𝐿𝐻𝑡1L^{H}(t)\geq(\leq)~{}1italic_L start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT ( italic_t ) ≥ ( ≤ ) 1.

  3. (iii)

    If X𝑋Xitalic_X is IFR (DFR) then LG(t)()1superscript𝐿𝐺𝑡1L^{G}(t)\geq(\leq)1italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT ( italic_t ) ≥ ( ≤ ) 1 and LH(t)()1superscript𝐿𝐻𝑡1L^{H}(t)\geq(\leq)1italic_L start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT ( italic_t ) ≥ ( ≤ ) 1.

  4. (iv)

    If X𝑋Xitalic_X is IFRA then LG(t)>1superscript𝐿𝐺𝑡1L^{G}(t)>1italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT ( italic_t ) > 1 and LH(t)1superscript𝐿𝐻𝑡1L^{H}(t)\geq 1italic_L start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT ( italic_t ) ≥ 1 for all t>0.𝑡0t>0.italic_t > 0 .

  5. (v)

    If X𝑋Xitalic_X is DHFR then LG(t)1superscript𝐿𝐺𝑡1L^{G}(t)\leq 1italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT ( italic_t ) ≤ 1 for all t>0.𝑡0t>0.italic_t > 0 .

Proof. A random variable X𝑋Xitalic_X is IGFR (DGFR) if and only G(t)𝐺𝑡G(t)italic_G ( italic_t ) is increasing (decreasing) in t𝑡titalic_t. We know that for any function, say g,𝑔g,italic_g , exp(g(t))𝑔𝑡\exp(g(t))roman_exp ( italic_g ( italic_t ) ) is increasing (decreasing) in t𝑡titalic_t if and only if ddtg(t)()0𝑑𝑑𝑡𝑔𝑡0\frac{d}{dt}g(t)\geq(\leq)~{}0divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG italic_g ( italic_t ) ≥ ( ≤ ) 0 for all t0𝑡0t\geq 0italic_t ≥ 0. This implies that X𝑋Xitalic_X is IGFR (DGFR) if and only if ddt(1t0tlnr(u)𝑑u)()0𝑑𝑑𝑡1𝑡superscriptsubscript0𝑡𝑟𝑢differential-d𝑢0\frac{d}{dt}\Big{(}\frac{1}{t}\int_{0}^{t}\ln r(u)du\Big{)}\geq(\leq)~{}0divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG ( divide start_ARG 1 end_ARG start_ARG italic_t end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT roman_ln italic_r ( italic_u ) italic_d italic_u ) ≥ ( ≤ ) 0 for all t0,𝑡0t\geq 0,italic_t ≥ 0 , or equivalently LG(t)()1,superscript𝐿𝐺𝑡1L^{G}(t)\geq(\leq)~{}1,italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT ( italic_t ) ≥ ( ≤ ) 1 , thereby proving (i).𝑖(i).( italic_i ) . Similarly, one can prove (ii)𝑖𝑖(ii)( italic_i italic_i ). To prove (iii)𝑖𝑖𝑖(iii)( italic_i italic_i italic_i ) we note that if X𝑋Xitalic_X is IFR then L(t)1𝐿𝑡1L(t)\geq 1italic_L ( italic_t ) ≥ 1 for all t>0.𝑡0t>0.italic_t > 0 . Since, L(t)LG(t)LH(t)𝐿𝑡superscript𝐿𝐺𝑡superscript𝐿𝐻𝑡L(t)\leq L^{G}(t)\leq L^{H}(t)italic_L ( italic_t ) ≤ italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT ( italic_t ) ≤ italic_L start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT ( italic_t ) for t>0,𝑡0t>0,italic_t > 0 , it follows that LG(t)1superscript𝐿𝐺𝑡1L^{G}(t)\geq 1italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT ( italic_t ) ≥ 1 and LH(t)1superscript𝐿𝐻𝑡1L^{H}(t)\geq 1italic_L start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT ( italic_t ) ≥ 1 for all t>0.𝑡0t>0.italic_t > 0 . X𝑋Xitalic_X is DFR is equivalent to the fact that lnr(u)lnr(t)𝑟𝑢𝑟𝑡\ln r(u)\geq\ln r(t)roman_ln italic_r ( italic_u ) ≥ roman_ln italic_r ( italic_t ) for all ut.𝑢𝑡u\leq t.italic_u ≤ italic_t . This gives 0tlnr(u)𝑑utlnr(t)superscriptsubscript0𝑡𝑟𝑢differential-d𝑢𝑡𝑟𝑡\int_{0}^{t}\ln r(u)du\geq t\ln r(t)∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT roman_ln italic_r ( italic_u ) italic_d italic_u ≥ italic_t roman_ln italic_r ( italic_t ) i.e., LG(t)1superscript𝐿𝐺𝑡1L^{G}(t)\leq 1italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT ( italic_t ) ≤ 1 for all t>0.𝑡0t>0.italic_t > 0 . Similarly, we prove that LH(t)1superscript𝐿𝐻𝑡1L^{H}(t)\leq 1italic_L start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT ( italic_t ) ≤ 1 for all t>0𝑡0t>0italic_t > 0 if X𝑋Xitalic_X is DFR. Parts (iv) and (v) follow from the aging class hierarchy provided in Roy and Mukherjee (1992). \hfill\Box

The next theorem gives lower and upper bounds of the functions L,LG𝐿superscript𝐿𝐺L,L^{G}italic_L , italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT and LHsuperscript𝐿𝐻L^{H}italic_L start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT as stated below. The following bounds are obtained for general random variables.

Proposition 2.1

Let X𝑋Xitalic_X be a random variable with 0<r(t)<,0𝑟𝑡0<r(t)<\infty,0 < italic_r ( italic_t ) < ∞ , for tR+.𝑡superscript𝑅t\in R^{+}.italic_t ∈ italic_R start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT . Then

r(t)suptR+r(t)L(t)LG(t)LH(t)r(t)inftR+r(t).𝑟𝑡subscriptsupremum𝑡superscript𝑅𝑟𝑡𝐿𝑡superscript𝐿𝐺𝑡superscript𝐿𝐻𝑡𝑟𝑡subscriptinfimum𝑡superscript𝑅𝑟𝑡\frac{r(t)}{\sup_{t\in R^{+}}r(t)}\leq L(t)\leq L^{G}(t)\leq L^{H}(t)\leq\frac% {r(t)}{\inf_{t\in R^{+}}r(t)}.divide start_ARG italic_r ( italic_t ) end_ARG start_ARG roman_sup start_POSTSUBSCRIPT italic_t ∈ italic_R start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_r ( italic_t ) end_ARG ≤ italic_L ( italic_t ) ≤ italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT ( italic_t ) ≤ italic_L start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT ( italic_t ) ≤ divide start_ARG italic_r ( italic_t ) end_ARG start_ARG roman_inf start_POSTSUBSCRIPT italic_t ∈ italic_R start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_r ( italic_t ) end_ARG .

Equality holds if and only if X𝑋Xitalic_X follows exponential distribution.

2.2 Characterization of parametric classes

In this section we characterize some well-known distributions through the aging functions handled in this paper.

We know that the support of log-Weibull distribution is (,)(-\infty,\infty)( - ∞ , ∞ ) and the corresponding survival function is F¯X(t)=exp(etab)subscript¯𝐹𝑋𝑡superscript𝑒𝑡𝑎𝑏\bar{F}_{X}(t)=\exp\Big{(}-e^{\frac{t-a}{b}}\Big{)}over¯ start_ARG italic_F end_ARG start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) = roman_exp ( - italic_e start_POSTSUPERSCRIPT divide start_ARG italic_t - italic_a end_ARG start_ARG italic_b end_ARG end_POSTSUPERSCRIPT ) with a(,),b>0.formulae-sequence𝑎𝑏0a\in(-\infty,\infty),b>0.italic_a ∈ ( - ∞ , ∞ ) , italic_b > 0 . However, truncated log-Weibull distribution (cf. Giri et al. (2023) has positive real line as its support, i.e., t(0,)𝑡0t\in(0,\infty)italic_t ∈ ( 0 , ∞ ) with survival function given by

F¯X(t)=1eeabexp(etab).subscript¯𝐹𝑋𝑡1superscript𝑒superscript𝑒𝑎𝑏superscript𝑒𝑡𝑎𝑏\bar{F}_{X}(t)=\frac{1}{e^{-e^{-\frac{a}{b}}}}\exp\Big{(}-e^{\frac{t-a}{b}}% \Big{)}.over¯ start_ARG italic_F end_ARG start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) = divide start_ARG 1 end_ARG start_ARG italic_e start_POSTSUPERSCRIPT - italic_e start_POSTSUPERSCRIPT - divide start_ARG italic_a end_ARG start_ARG italic_b end_ARG end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_ARG roman_exp ( - italic_e start_POSTSUPERSCRIPT divide start_ARG italic_t - italic_a end_ARG start_ARG italic_b end_ARG end_POSTSUPERSCRIPT ) .

The corresponding failure rate is

r(t)𝑟𝑡\displaystyle r(t)italic_r ( italic_t ) =\displaystyle== 1betab1𝑏superscript𝑒𝑡𝑎𝑏\displaystyle\frac{1}{b}e^{\frac{t-a}{b}}divide start_ARG 1 end_ARG start_ARG italic_b end_ARG italic_e start_POSTSUPERSCRIPT divide start_ARG italic_t - italic_a end_ARG start_ARG italic_b end_ARG end_POSTSUPERSCRIPT (2.3)
=\displaystyle== r(0)(r(1)r(0))t𝑟0superscript𝑟1𝑟0𝑡\displaystyle r(0)\Big{(}\frac{r(1)}{r(0)}\Big{)}^{t}italic_r ( 0 ) ( divide start_ARG italic_r ( 1 ) end_ARG start_ARG italic_r ( 0 ) end_ARG ) start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT

In the next proposition, we characterize truncated log-Weibull distribution through G(t).𝐺𝑡G(t).italic_G ( italic_t ) .

Proposition 2.2

Let a non-negative random variable has failure rate r(t)𝑟𝑡r(t)italic_r ( italic_t ) such that its first derivative exists. G(t)=r(t)r(0)𝐺𝑡𝑟𝑡𝑟0G(t)=\sqrt{r(t)r(0)}italic_G ( italic_t ) = square-root start_ARG italic_r ( italic_t ) italic_r ( 0 ) end_ARG for all t0𝑡0t\geq 0italic_t ≥ 0 if and only if X𝑋Xitalic_X follows truncated log-Weibull distribution.

Proof. Clearly, G(t)=r(t)r(0)𝐺𝑡𝑟𝑡𝑟0G(t)=\sqrt{r(t)r(0)}italic_G ( italic_t ) = square-root start_ARG italic_r ( italic_t ) italic_r ( 0 ) end_ARG is equivalent to the fact that

e2t0tlnr(u)𝑑u=r(t)r(0),superscript𝑒2𝑡superscriptsubscript0𝑡𝑟𝑢differential-d𝑢𝑟𝑡𝑟0e^{\frac{2}{t}\int_{0}^{t}\ln r(u)du}=r(t)r(0),italic_e start_POSTSUPERSCRIPT divide start_ARG 2 end_ARG start_ARG italic_t end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT roman_ln italic_r ( italic_u ) italic_d italic_u end_POSTSUPERSCRIPT = italic_r ( italic_t ) italic_r ( 0 ) ,

giving

20tlnr(u)𝑑u=tlnr(t)+tlnr(0).2superscriptsubscript0𝑡𝑟𝑢differential-d𝑢𝑡𝑟𝑡𝑡𝑟02\int_{0}^{t}\ln r(u)du=t\ln r(t)+t\ln r(0).2 ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT roman_ln italic_r ( italic_u ) italic_d italic_u = italic_t roman_ln italic_r ( italic_t ) + italic_t roman_ln italic_r ( 0 ) . (2.4)

On differentiating (2.4), we obtain ln(r(t)r(0))=tr(t)r(t).𝑟𝑡𝑟0𝑡superscript𝑟𝑡𝑟𝑡\ln(\frac{r(t)}{r(0)})=t\frac{r^{{}^{\prime}}(t)}{r(t)}.roman_ln ( divide start_ARG italic_r ( italic_t ) end_ARG start_ARG italic_r ( 0 ) end_ARG ) = italic_t divide start_ARG italic_r start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT ( italic_t ) end_ARG start_ARG italic_r ( italic_t ) end_ARG . Thus, for t0,𝑡0t\geq 0,italic_t ≥ 0 ,

ddtr(t)=r(t)tln(r(t)r(0))𝑑𝑑𝑡𝑟𝑡𝑟𝑡𝑡𝑟𝑡𝑟0\frac{d}{dt}r(t)=\frac{r(t)}{t}\ln(\frac{r(t)}{r(0)})divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG italic_r ( italic_t ) = divide start_ARG italic_r ( italic_t ) end_ARG start_ARG italic_t end_ARG roman_ln ( divide start_ARG italic_r ( italic_t ) end_ARG start_ARG italic_r ( 0 ) end_ARG ) (2.5)

Taking p=lnr(t),𝑝𝑟𝑡p=\ln r(t),italic_p = roman_ln italic_r ( italic_t ) , (2.5) reduces to

dpdtpt=1tlnr(0).𝑑𝑝𝑑𝑡𝑝𝑡1𝑡𝑟0\frac{dp}{dt}-\frac{p}{t}=-\frac{1}{t}\ln r(0).divide start_ARG italic_d italic_p end_ARG start_ARG italic_d italic_t end_ARG - divide start_ARG italic_p end_ARG start_ARG italic_t end_ARG = - divide start_ARG 1 end_ARG start_ARG italic_t end_ARG roman_ln italic_r ( 0 ) .

This gives

r(t)=r(0)ekt,𝑟𝑡𝑟0superscript𝑒𝑘𝑡r(t)=r(0)e^{kt},italic_r ( italic_t ) = italic_r ( 0 ) italic_e start_POSTSUPERSCRIPT italic_k italic_t end_POSTSUPERSCRIPT ,

where k𝑘kitalic_k is an arbitrary constant. Clearly, k=ln(r(1)r(0)).𝑘𝑟1𝑟0k=\ln\Big{(}\frac{r(1)}{r(0)}\Big{)}.italic_k = roman_ln ( divide start_ARG italic_r ( 1 ) end_ARG start_ARG italic_r ( 0 ) end_ARG ) . Thus,

r(t)𝑟𝑡\displaystyle r(t)italic_r ( italic_t ) =\displaystyle== r(0)etln(r(1)r(0))𝑟0superscript𝑒𝑡𝑟1𝑟0\displaystyle r(0)e^{t\ln\Big{(}\frac{r(1)}{r(0)}\Big{)}}italic_r ( 0 ) italic_e start_POSTSUPERSCRIPT italic_t roman_ln ( divide start_ARG italic_r ( 1 ) end_ARG start_ARG italic_r ( 0 ) end_ARG ) end_POSTSUPERSCRIPT
=\displaystyle== r(0)(r(1)r(0))t,𝑟0superscript𝑟1𝑟0𝑡\displaystyle r(0)\Big{(}\frac{r(1)}{r(0)}\Big{)}^{t},italic_r ( 0 ) ( divide start_ARG italic_r ( 1 ) end_ARG start_ARG italic_r ( 0 ) end_ARG ) start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT ,

which is failure rate of truncated Weibull distribution as given in (2.3). Conversely, if X𝑋Xitalic_X follows log-Weibull distribution then it is easy to verify that for all t0,𝑡0t\geq 0,italic_t ≥ 0 ,

G(t)𝐺𝑡\displaystyle G(t)italic_G ( italic_t ) =\displaystyle== 1bexp(t2a2b)1𝑏𝑡2𝑎2𝑏\displaystyle\frac{1}{b}\exp\Big{(}\frac{t-2a}{2b}\Big{)}divide start_ARG 1 end_ARG start_ARG italic_b end_ARG roman_exp ( divide start_ARG italic_t - 2 italic_a end_ARG start_ARG 2 italic_b end_ARG )
=\displaystyle== 1bexp(ta2b)exp(a2b)1𝑏𝑡𝑎2𝑏𝑎2𝑏\displaystyle\frac{1}{b}\exp\Big{(}\frac{t-a}{2b}\Big{)}\exp\Big{(}-\frac{a}{2% b}\Big{)}divide start_ARG 1 end_ARG start_ARG italic_b end_ARG roman_exp ( divide start_ARG italic_t - italic_a end_ARG start_ARG 2 italic_b end_ARG ) roman_exp ( - divide start_ARG italic_a end_ARG start_ARG 2 italic_b end_ARG )
=\displaystyle== r(t)r(0),𝑟𝑡𝑟0\displaystyle\sqrt{r(t)r(0)},square-root start_ARG italic_r ( italic_t ) italic_r ( 0 ) end_ARG ,

the last equality follows from (2.3). This completes the proof. \hfill\Box

Nanda et al. (2007) proved that for a random variable X,𝑋X,italic_X , L(t)=1𝐿𝑡1L(t)=1italic_L ( italic_t ) = 1 if and only if r(t)𝑟𝑡r(t)italic_r ( italic_t ) is constant for all t>0𝑡0t>0italic_t > 0. In other words, exponential distribution is characterized by constant failure rate, and AI function equals one. They noted that L(t)=β,t>0formulae-sequence𝐿𝑡𝛽𝑡0L(t)=\beta,t>0italic_L ( italic_t ) = italic_β , italic_t > 0 characterizes two-parameter Weibull distribution with shape parameter β𝛽\betaitalic_β.
          The following proposition shows that GAI and HAI functions too characterize Weibull distribution.

Proposition 2.3

Let X𝑋Xitalic_X be a random variable having GAI and HAI given by LG()superscript𝐿𝐺L^{G}(\cdot)italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT ( ⋅ ) and LH()superscript𝐿𝐻L^{H}(\cdot)italic_L start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT ( ⋅ ) respectively. For all t>0,𝑡0t>0,italic_t > 0 , LG(t)=csuperscript𝐿𝐺𝑡𝑐L^{G}(t)=citalic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT ( italic_t ) = italic_c if only if X𝑋Xitalic_X follows two-parameter Weibull distribution with shape parameter β=lnc+1𝛽𝑐1\beta=\ln c+1italic_β = roman_ln italic_c + 1. Also, LH(t)=csuperscript𝐿𝐻𝑡𝑐L^{H}(t)=citalic_L start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT ( italic_t ) = italic_c if only if X𝑋Xitalic_X follows two-parameter Weibull distribution with shape parameter β=2c1𝛽2superscript𝑐1\beta=2-c^{-1}italic_β = 2 - italic_c start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT such that c>1/2.𝑐12c>1/2.italic_c > 1 / 2 . It may be noted that HAI characterizes only a particular family of Weibull distributions with shape parameter less than 2.\hfill\Box

2.3 Some illustrative examples

Now, we look into GAI and HAI of some well known parametric distributions. In each case, we mention the corresponding AI𝐴𝐼AIitalic_A italic_I function. Nanda et al. (2007) showed that monotonicity of FR is not transmitted to AI function. We observe a similar behavior for GAI and HAI functions.

Example 2.1

We assume t0𝑡0t\geq 0italic_t ≥ 0 and all the parameters involved in the distributions are non-negative unless otherwise mentioned:

  1. (i)

    Let X𝑋Xitalic_X be a random variable having Erlang distribution with failure rate r(t)=λ2t1+λt.𝑟𝑡superscript𝜆2𝑡1𝜆𝑡r(t)=\frac{\lambda^{2}t}{1+\lambda t}.italic_r ( italic_t ) = divide start_ARG italic_λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_t end_ARG start_ARG 1 + italic_λ italic_t end_ARG . X𝑋Xitalic_X is IFR. The corresponding AI𝐴𝐼AIitalic_A italic_I function is L(t)=λ2t2(1+λt){λtln(1+λt)}𝐿𝑡superscript𝜆2superscript𝑡21𝜆𝑡𝜆𝑡1𝜆𝑡L(t)=\frac{\lambda^{2}t^{2}}{(1+\lambda t)\big{\{}\lambda t-\ln(1+\lambda t)% \big{\}}}italic_L ( italic_t ) = divide start_ARG italic_λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( 1 + italic_λ italic_t ) { italic_λ italic_t - roman_ln ( 1 + italic_λ italic_t ) } end_ARG and X𝑋Xitalic_X is DAI (cf. Nanda et al. (2007)).
    Here, LG(t)=(1+λt)1/λtsuperscript𝐿𝐺𝑡superscript1𝜆𝑡1𝜆𝑡L^{G}(t)=\big{(}1+\lambda t\big{)}^{1/\lambda t}italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT ( italic_t ) = ( 1 + italic_λ italic_t ) start_POSTSUPERSCRIPT 1 / italic_λ italic_t end_POSTSUPERSCRIPT and LH(t)=λt(1+λt)(λt+lnt).superscript𝐿𝐻𝑡𝜆𝑡1𝜆𝑡𝜆𝑡𝑡L^{H}(t)=\frac{\lambda t}{(1+\lambda t)(\lambda t+\ln t)}.italic_L start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT ( italic_t ) = divide start_ARG italic_λ italic_t end_ARG start_ARG ( 1 + italic_λ italic_t ) ( italic_λ italic_t + roman_ln italic_t ) end_ARG . We note that, ddtLG(t)=(1+λt)1/λtλt2α(t)0𝑑𝑑𝑡superscript𝐿𝐺𝑡superscript1𝜆𝑡1𝜆𝑡𝜆superscript𝑡2𝛼𝑡0\frac{d}{dt}L^{G}(t)=\frac{\big{(}1+\lambda t\big{)}^{1/\lambda t}}{\lambda t^% {2}}\alpha(t)\leq 0divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT ( italic_t ) = divide start_ARG ( 1 + italic_λ italic_t ) start_POSTSUPERSCRIPT 1 / italic_λ italic_t end_POSTSUPERSCRIPT end_ARG start_ARG italic_λ italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_α ( italic_t ) ≤ 0 where α(t)=λt(1+λt)ln(1+λt)𝛼𝑡𝜆𝑡1𝜆𝑡1𝜆𝑡\alpha(t)=\lambda t-(1+\lambda t)\ln(1+\lambda t)italic_α ( italic_t ) = italic_λ italic_t - ( 1 + italic_λ italic_t ) roman_ln ( 1 + italic_λ italic_t ) is decreasing in t𝑡titalic_t giving α(t)α(0)=0.𝛼𝑡𝛼00\alpha(t)\leq\alpha(0)=0.italic_α ( italic_t ) ≤ italic_α ( 0 ) = 0 . This shows that X𝑋Xitalic_X is DGAI.
    In the next few lines, we prove our following claim (a)𝑎(a)( italic_a ) if te𝑡𝑒t\leq eitalic_t ≤ italic_e then X𝑋Xitalic_X is DHAI, (b)𝑏(b)( italic_b ) if te𝑡𝑒t\geq eitalic_t ≥ italic_e and λ1𝜆1\lambda\geq 1italic_λ ≥ 1 then X𝑋Xitalic_X is DHAI, (c)𝑐(c)( italic_c ) if λ1𝜆1\lambda\geq 1italic_λ ≥ 1 then X𝑋Xitalic_X is DHAI, (d)𝑑(d)( italic_d ) if λ1𝜆1\lambda\leq 1italic_λ ≤ 1 then X𝑋Xitalic_X has non-monotonic HAI. We first take up the case of te.𝑡𝑒t\leq e.italic_t ≤ italic_e . Clearly, 1LH(t)=1+λt+g(t)+lnt,1superscript𝐿𝐻𝑡1𝜆𝑡𝑔𝑡𝑡\frac{1}{L^{H}(t)}=1+\lambda t+g(t)+\ln t,divide start_ARG 1 end_ARG start_ARG italic_L start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT ( italic_t ) end_ARG = 1 + italic_λ italic_t + italic_g ( italic_t ) + roman_ln italic_t , where g(t)=lntλt.𝑔𝑡𝑡𝜆𝑡g(t)=\frac{\ln t}{\lambda t}.italic_g ( italic_t ) = divide start_ARG roman_ln italic_t end_ARG start_ARG italic_λ italic_t end_ARG . Here, ddtg(t)=λ(1lnt)λ2t20𝑑𝑑𝑡𝑔𝑡𝜆1𝑡superscript𝜆2superscript𝑡20\frac{d}{dt}g(t)=\frac{\lambda(1-\ln t)}{\lambda^{2}t^{2}}\geq 0divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG italic_g ( italic_t ) = divide start_ARG italic_λ ( 1 - roman_ln italic_t ) end_ARG start_ARG italic_λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ≥ 0 if te.𝑡𝑒t\leq e.italic_t ≤ italic_e . Thus, 1LH(t)1superscript𝐿𝐻𝑡\frac{1}{L^{H}(t)}divide start_ARG 1 end_ARG start_ARG italic_L start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT ( italic_t ) end_ARG is non-decreasing in t𝑡titalic_t for te.𝑡𝑒t\leq e.italic_t ≤ italic_e . In other words, X𝑋Xitalic_X is DHAI for te,𝑡𝑒t\leq e,italic_t ≤ italic_e , which proves (a)𝑎(a)( italic_a ).
    We take up the case when te𝑡𝑒t\geq eitalic_t ≥ italic_e and λ1.𝜆1\lambda\geq 1.italic_λ ≥ 1 . We note that,

    ddt1LH(t)=λ2t2+λt+1lntλt2=g2(t)λt2,(say),formulae-sequence𝑑𝑑𝑡1superscript𝐿𝐻𝑡superscript𝜆2superscript𝑡2𝜆𝑡1𝑡𝜆superscript𝑡2subscript𝑔2𝑡𝜆superscript𝑡2𝑠𝑎𝑦\frac{d}{dt}\frac{1}{L^{H}(t)}=\frac{\lambda^{2}t^{2}+\lambda t+1-\ln t}{% \lambda t^{2}}=\frac{g_{2}(t)}{\lambda t^{2}},(say),divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG divide start_ARG 1 end_ARG start_ARG italic_L start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT ( italic_t ) end_ARG = divide start_ARG italic_λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_λ italic_t + 1 - roman_ln italic_t end_ARG start_ARG italic_λ italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG = divide start_ARG italic_g start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_t ) end_ARG start_ARG italic_λ italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , ( italic_s italic_a italic_y ) , (2.6)

    and ddt(λ2t2+λt+1lnt)=g3(t)t,𝑑𝑑𝑡superscript𝜆2superscript𝑡2𝜆𝑡1𝑡subscript𝑔3𝑡𝑡\frac{d}{dt}\Big{(}\lambda^{2}t^{2}+\lambda t+1-\ln t\Big{)}=\frac{g_{3}(t)}{t},divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG ( italic_λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_λ italic_t + 1 - roman_ln italic_t ) = divide start_ARG italic_g start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( italic_t ) end_ARG start_ARG italic_t end_ARG , where g2(e)=λ2e2+λe0subscript𝑔2𝑒superscript𝜆2superscript𝑒2𝜆𝑒0g_{2}(e)=\lambda^{2}e^{2}+\lambda e\geq 0italic_g start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_e ) = italic_λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_λ italic_e ≥ 0 and g3(t)=2λ2t2+λt1,(say).subscript𝑔3𝑡2superscript𝜆2superscript𝑡2𝜆𝑡1𝑠𝑎𝑦g_{3}(t)=2\lambda^{2}t^{2}+\lambda t-1,(say).italic_g start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( italic_t ) = 2 italic_λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_λ italic_t - 1 , ( italic_s italic_a italic_y ) . Here, g3(t)eλ(1+2eλ)10subscript𝑔3𝑡𝑒𝜆12𝑒𝜆10g_{3}(t)\geq e\lambda(1+2e\lambda)-1\geq 0italic_g start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( italic_t ) ≥ italic_e italic_λ ( 1 + 2 italic_e italic_λ ) - 1 ≥ 0 if λ1.𝜆1\lambda\geq 1.italic_λ ≥ 1 . Thus, g2(t)=λ2t2+λt+1lntg2(e)=λ2e2+λe0subscript𝑔2𝑡superscript𝜆2superscript𝑡2𝜆𝑡1𝑡subscript𝑔2𝑒superscript𝜆2superscript𝑒2𝜆𝑒0g_{2}(t)=\lambda^{2}t^{2}+\lambda t+1-\ln t\geq g_{2}(e)=\lambda^{2}e^{2}+% \lambda e\geq 0italic_g start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_t ) = italic_λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_λ italic_t + 1 - roman_ln italic_t ≥ italic_g start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_e ) = italic_λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_λ italic_e ≥ 0 for te𝑡𝑒t\geq eitalic_t ≥ italic_e and λ1𝜆1\lambda\geq 1italic_λ ≥ 1 implies X𝑋Xitalic_X is DHAI for te𝑡𝑒t\geq eitalic_t ≥ italic_e and λ1.𝜆1\lambda\geq 1.italic_λ ≥ 1 . This proves (b)𝑏(b)( italic_b ). Clearly, (c)𝑐(c)( italic_c ) follows from (a)𝑎(a)( italic_a ) and (b).𝑏(b).( italic_b ) .
    We now take up case (d)𝑑(d)( italic_d ). If λ<1𝜆1\lambda<1italic_λ < 1 and te𝑡𝑒t\geq eitalic_t ≥ italic_e, LH(t)superscript𝐿𝐻𝑡L^{H}(t)italic_L start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT ( italic_t ) needs further investigation. In (2.6), note that

    g2(t)subscript𝑔2𝑡\displaystyle g_{2}(t)italic_g start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_t ) =\displaystyle== λ2t2+λt+1lnt=(λt+12)2lnt+340,superscript𝜆2superscript𝑡2𝜆𝑡1𝑡superscript𝜆𝑡122𝑡340\displaystyle\lambda^{2}t^{2}+\lambda t+1-\ln t=(\lambda t+\frac{1}{2})^{2}-% \ln t+\frac{3}{4}\leq 0,italic_λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_λ italic_t + 1 - roman_ln italic_t = ( italic_λ italic_t + divide start_ARG 1 end_ARG start_ARG 2 end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - roman_ln italic_t + divide start_ARG 3 end_ARG start_ARG 4 end_ARG ≤ 0 ,

    if λ12t+12t4lnt3.𝜆12𝑡12𝑡4𝑡3\lambda\leq-\frac{1}{2t}+\frac{1}{2t}\sqrt{4\ln t-3}.italic_λ ≤ - divide start_ARG 1 end_ARG start_ARG 2 italic_t end_ARG + divide start_ARG 1 end_ARG start_ARG 2 italic_t end_ARG square-root start_ARG 4 roman_ln italic_t - 3 end_ARG . Since, te𝑡𝑒t\geq eitalic_t ≥ italic_e, it follows that g2(t)0subscript𝑔2𝑡0g_{2}(t)\leq 0italic_g start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_t ) ≤ 0 if λ4lnt312e.𝜆4𝑡312𝑒\lambda\leq\frac{\sqrt{4\ln t-3}-1}{2e}.italic_λ ≤ divide start_ARG square-root start_ARG 4 roman_ln italic_t - 3 end_ARG - 1 end_ARG start_ARG 2 italic_e end_ARG . Further, λ1𝜆1\lambda\leq 1italic_λ ≤ 1 gives te1+e+e2𝑡superscript𝑒1𝑒superscript𝑒2t\leq e^{1+e+e^{2}}italic_t ≤ italic_e start_POSTSUPERSCRIPT 1 + italic_e + italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT. Thus, for t(e,e1+e+e2)𝑡𝑒superscript𝑒1𝑒superscript𝑒2t\in(e,e^{1+e+e^{2}})italic_t ∈ ( italic_e , italic_e start_POSTSUPERSCRIPT 1 + italic_e + italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ) and λ<1𝜆1\lambda<1italic_λ < 1, X𝑋Xitalic_X is IHAI. We conclude that LH(t)superscript𝐿𝐻𝑡L^{H}(t)italic_L start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT ( italic_t ) is non-monotonic if λ1,𝜆1\lambda\leq 1,italic_λ ≤ 1 , thereby proving (d).𝑑(d).( italic_d ) .

  2. (ii)

    Let X𝑋Xitalic_X be a random variable having Uniform distribution with support [a,b],𝑎𝑏[a,b],[ italic_a , italic_b ] , and failure rate r(t)=1/(bt)𝑟𝑡1𝑏𝑡r(t)=1/(b-t)italic_r ( italic_t ) = 1 / ( italic_b - italic_t ) for a<t<b.𝑎𝑡𝑏a<t<b.italic_a < italic_t < italic_b . Clearly, X𝑋Xitalic_X is IFR. We now study the monotonic property of AI, GAI and HAI functions. Here, A(t)=1ta(atr(u)𝑑u)=1taln(babt)𝐴𝑡1𝑡𝑎superscriptsubscript𝑎𝑡𝑟𝑢differential-d𝑢1𝑡𝑎𝑏𝑎𝑏𝑡A(t)=\frac{1}{t-a}\Big{(}\int_{a}^{t}r(u)du\Big{)}=\frac{1}{t-a}\ln\Big{(}% \frac{b-a}{b-t}\Big{)}italic_A ( italic_t ) = divide start_ARG 1 end_ARG start_ARG italic_t - italic_a end_ARG ( ∫ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT italic_r ( italic_u ) italic_d italic_u ) = divide start_ARG 1 end_ARG start_ARG italic_t - italic_a end_ARG roman_ln ( divide start_ARG italic_b - italic_a end_ARG start_ARG italic_b - italic_t end_ARG ) and consequently, for a<t<b,𝑎𝑡𝑏a<t<b,italic_a < italic_t < italic_b ,

    L(t)=ta(bt)(ln(ba)ln(bt)).𝐿𝑡𝑡𝑎𝑏𝑡𝑏𝑎𝑏𝑡L(t)=\frac{t-a}{(b-t)\big{(}\ln(b-a)-\ln(b-t)\big{)}}.italic_L ( italic_t ) = divide start_ARG italic_t - italic_a end_ARG start_ARG ( italic_b - italic_t ) ( roman_ln ( italic_b - italic_a ) - roman_ln ( italic_b - italic_t ) ) end_ARG .

    Note that, ddtL(t)=(bt)ϕ(t){(bt)(ln(ba)ln(bt))}2,𝑑𝑑𝑡𝐿𝑡𝑏𝑡italic-ϕ𝑡superscript𝑏𝑡𝑏𝑎𝑏𝑡2\frac{d}{dt}L(t)=\frac{(b-t)\phi(t)}{\Big{\{}(b-t)\big{(}\ln(b-a)-\ln(b-t)\big% {)}\Big{\}}^{2}},divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG italic_L ( italic_t ) = divide start_ARG ( italic_b - italic_t ) italic_ϕ ( italic_t ) end_ARG start_ARG { ( italic_b - italic_t ) ( roman_ln ( italic_b - italic_a ) - roman_ln ( italic_b - italic_t ) ) } start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , where ϕ(t)=ln(babt)tabt.italic-ϕ𝑡𝑏𝑎𝑏𝑡𝑡𝑎𝑏𝑡\phi(t)=\ln(\frac{b-a}{b-t})-\frac{t-a}{b-t}.italic_ϕ ( italic_t ) = roman_ln ( divide start_ARG italic_b - italic_a end_ARG start_ARG italic_b - italic_t end_ARG ) - divide start_ARG italic_t - italic_a end_ARG start_ARG italic_b - italic_t end_ARG . Since, ddtϕ(t)=at(bt)20,𝑑𝑑𝑡italic-ϕ𝑡𝑎𝑡superscript𝑏𝑡20\frac{d}{dt}\phi(t)=\frac{a-t}{(b-t)^{2}}\leq 0,divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG italic_ϕ ( italic_t ) = divide start_ARG italic_a - italic_t end_ARG start_ARG ( italic_b - italic_t ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ≤ 0 , it follows that ϕ(t)italic-ϕ𝑡\phi(t)italic_ϕ ( italic_t ) is decreasing in t for a<t<b.𝑎𝑡𝑏a<t<b.italic_a < italic_t < italic_b . This gives, ϕ(t)ϕ(a),italic-ϕ𝑡italic-ϕ𝑎\phi(t)\leq\phi(a),italic_ϕ ( italic_t ) ≤ italic_ϕ ( italic_a ) , i.e., ϕ(t)0italic-ϕ𝑡0\phi(t)\leq 0italic_ϕ ( italic_t ) ≤ 0 for a<t<b.𝑎𝑡𝑏a<t<b.italic_a < italic_t < italic_b . Thus, ddtL(t)0𝑑𝑑𝑡𝐿𝑡0\frac{d}{dt}L(t)\leq 0divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG italic_L ( italic_t ) ≤ 0 proving X𝑋Xitalic_X is DAI. We get G(t)=e(bt)tbta(ba)bata𝐺𝑡𝑒superscript𝑏𝑡𝑡𝑏𝑡𝑎superscript𝑏𝑎𝑏𝑎𝑡𝑎G(t)=\frac{e}{(b-t)^{\frac{t-b}{t-a}}(b-a)^{\frac{b-a}{t-a}}}italic_G ( italic_t ) = divide start_ARG italic_e end_ARG start_ARG ( italic_b - italic_t ) start_POSTSUPERSCRIPT divide start_ARG italic_t - italic_b end_ARG start_ARG italic_t - italic_a end_ARG end_POSTSUPERSCRIPT ( italic_b - italic_a ) start_POSTSUPERSCRIPT divide start_ARG italic_b - italic_a end_ARG start_ARG italic_t - italic_a end_ARG end_POSTSUPERSCRIPT end_ARG and LG(t)=1e(btba)abtasuperscript𝐿𝐺𝑡1𝑒superscript𝑏𝑡𝑏𝑎𝑎𝑏𝑡𝑎L^{G}(t)=\frac{1}{e}\Big{(}\frac{b-t}{b-a}\Big{)}^{\frac{a-b}{t-a}}italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT ( italic_t ) = divide start_ARG 1 end_ARG start_ARG italic_e end_ARG ( divide start_ARG italic_b - italic_t end_ARG start_ARG italic_b - italic_a end_ARG ) start_POSTSUPERSCRIPT divide start_ARG italic_a - italic_b end_ARG start_ARG italic_t - italic_a end_ARG end_POSTSUPERSCRIPT for a<t<b.𝑎𝑡𝑏a<t<b.italic_a < italic_t < italic_b . Also, ddtLG(t)=1(at)2(tbab)t+b2aatα(t),𝑑𝑑𝑡superscript𝐿𝐺𝑡1superscript𝑎𝑡2superscript𝑡𝑏𝑎𝑏𝑡𝑏2𝑎𝑎𝑡𝛼𝑡\frac{d}{dt}L^{G}(t)=\frac{1}{(a-t)^{2}}\Big{(}\frac{t-b}{a-b}\Big{)}^{\frac{t% +b-2a}{a-t}}\alpha(t),divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT ( italic_t ) = divide start_ARG 1 end_ARG start_ARG ( italic_a - italic_t ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ( divide start_ARG italic_t - italic_b end_ARG start_ARG italic_a - italic_b end_ARG ) start_POSTSUPERSCRIPT divide start_ARG italic_t + italic_b - 2 italic_a end_ARG start_ARG italic_a - italic_t end_ARG end_POSTSUPERSCRIPT italic_α ( italic_t ) , where α(t)={ta+(bt)ln(tbab)}.𝛼𝑡𝑡𝑎𝑏𝑡𝑡𝑏𝑎𝑏\alpha(t)=\Big{\{}t-a+(b-t)\ln(\frac{t-b}{a-b})\Big{\}}.italic_α ( italic_t ) = { italic_t - italic_a + ( italic_b - italic_t ) roman_ln ( divide start_ARG italic_t - italic_b end_ARG start_ARG italic_a - italic_b end_ARG ) } . Since, ddtα(t)=ln(tbab)0,𝑑𝑑𝑡𝛼𝑡𝑡𝑏𝑎𝑏0\frac{d}{dt}\alpha(t)=-\ln(\frac{t-b}{a-b})\geq 0,divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG italic_α ( italic_t ) = - roman_ln ( divide start_ARG italic_t - italic_b end_ARG start_ARG italic_a - italic_b end_ARG ) ≥ 0 , we get α(t)0𝛼𝑡0\alpha(t)\geq 0italic_α ( italic_t ) ≥ 0 and we arrive at the conclusion that X𝑋Xitalic_X is IGAI.
    Similarly, we obtain, LH(t)=1+ta2(bt)superscript𝐿𝐻𝑡1𝑡𝑎2𝑏𝑡L^{H}(t)=1+\frac{t-a}{2(b-t)}italic_L start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT ( italic_t ) = 1 + divide start_ARG italic_t - italic_a end_ARG start_ARG 2 ( italic_b - italic_t ) end_ARG and observe that X𝑋Xitalic_X is IHAI.

  3. (iii)

    For Rayleigh distribution with failure rate r(t)=a+bt,𝑟𝑡𝑎𝑏𝑡r(t)=a+bt,italic_r ( italic_t ) = italic_a + italic_b italic_t , we have LG(t)=e(1+bat)a/btsuperscript𝐿𝐺𝑡𝑒superscript1𝑏𝑎𝑡𝑎𝑏𝑡L^{G}(t)=\frac{e}{(1+\frac{b}{a}t)^{a/bt}}italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT ( italic_t ) = divide start_ARG italic_e end_ARG start_ARG ( 1 + divide start_ARG italic_b end_ARG start_ARG italic_a end_ARG italic_t ) start_POSTSUPERSCRIPT italic_a / italic_b italic_t end_POSTSUPERSCRIPT end_ARG. LH(t)=(1+abt)ln(1+bta).superscript𝐿𝐻𝑡1𝑎𝑏𝑡1𝑏𝑡𝑎L^{H}(t)=\big{(}1+\frac{a}{bt}\big{)}\ln\big{(}1+\frac{bt}{a}\big{)}.italic_L start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT ( italic_t ) = ( 1 + divide start_ARG italic_a end_ARG start_ARG italic_b italic_t end_ARG ) roman_ln ( 1 + divide start_ARG italic_b italic_t end_ARG start_ARG italic_a end_ARG ) . As noted by Nanda et al. (2007), L(t)=a+bta+bt/2𝐿𝑡𝑎𝑏𝑡𝑎𝑏𝑡2L(t)=\frac{a+bt}{a+bt/2}italic_L ( italic_t ) = divide start_ARG italic_a + italic_b italic_t end_ARG start_ARG italic_a + italic_b italic_t / 2 end_ARG and X𝑋Xitalic_X is IAI. We note that X𝑋Xitalic_X is IGAI and IHAI.

  4. (iv)

    For Pareto distribution with failure rate r(t)=at,𝑟𝑡𝑎𝑡r(t)=\frac{a}{t},italic_r ( italic_t ) = divide start_ARG italic_a end_ARG start_ARG italic_t end_ARG , tk𝑡𝑘t\geq kitalic_t ≥ italic_k, we have LG(t)=1et(ttkk)1tksuperscript𝐿𝐺𝑡1𝑒𝑡superscriptsuperscript𝑡𝑡superscript𝑘𝑘1𝑡𝑘L^{G}(t)=\frac{1}{et}\Big{(}\frac{t^{t}}{k^{k}}\Big{)}^{\frac{1}{t-k}}italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT ( italic_t ) = divide start_ARG 1 end_ARG start_ARG italic_e italic_t end_ARG ( divide start_ARG italic_t start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT end_ARG start_ARG italic_k start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG italic_t - italic_k end_ARG end_POSTSUPERSCRIPT and LH(t)=t+k2tsuperscript𝐿𝐻𝑡𝑡𝑘2𝑡L^{H}(t)=\frac{t+k}{2t}italic_L start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT ( italic_t ) = divide start_ARG italic_t + italic_k end_ARG start_ARG 2 italic_t end_ARG. However, Nanda et al. (2007) showed that L(t)=1lntlnk𝐿𝑡1𝑡𝑘L(t)=\frac{1}{\ln t-\ln k}italic_L ( italic_t ) = divide start_ARG 1 end_ARG start_ARG roman_ln italic_t - roman_ln italic_k end_ARG and X𝑋Xitalic_X is DAI. We note that, X𝑋Xitalic_X is DGAI and DHAI.

2.4 Some system properties in terms of GAI and HAI

Bhattacharjee et al. (2013) showed that if a series system is formed by n𝑛nitalic_n independent components with lifetimes denoted by Xisubscript𝑋𝑖X_{i}italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT for 1in1𝑖𝑛1\leq i\leq n1 ≤ italic_i ≤ italic_n and system lifetime X,𝑋X,italic_X , then its corresponding AI function LX(t)subscript𝐿𝑋𝑡L_{X}(t)italic_L start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) is bounded between min1inLXi(t)subscript1𝑖𝑛subscript𝐿subscript𝑋𝑖𝑡\min_{1\leq i\leq n}L_{X_{i}}(t)roman_min start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_n end_POSTSUBSCRIPT italic_L start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) and max1inLXi(t)subscript1𝑖𝑛subscript𝐿subscript𝑋𝑖𝑡\max_{1\leq i\leq n}L_{X_{i}}(t)roman_max start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_n end_POSTSUBSCRIPT italic_L start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ), i.e., min1inLXi(t)LX(t)max1inLXi(t)subscript1𝑖𝑛subscript𝐿subscript𝑋𝑖𝑡subscript𝐿𝑋𝑡subscript1𝑖𝑛subscript𝐿subscript𝑋𝑖𝑡\min_{1\leq i\leq n}L_{X_{i}}(t)\leq L_{X}(t)\leq\max_{1\leq i\leq n}L_{X_{i}}% (t)roman_min start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_n end_POSTSUBSCRIPT italic_L start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) ≤ italic_L start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) ≤ roman_max start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_n end_POSTSUBSCRIPT italic_L start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) for all t>0.𝑡0t>0.italic_t > 0 . Here, we prove a similar result for LG().superscript𝐿𝐺L^{G}(\cdot).italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT ( ⋅ ) .
         An extension of a result due to Hardy et al. (2020) is given in the following Lemma and is used in upcoming theorem. We give an outline of the proof to relish its mathematical rigour.

Lemma 2.1

G(1infi)1inG(fi),𝐺subscript1𝑖𝑛subscript𝑓𝑖subscript1𝑖𝑛𝐺subscript𝑓𝑖G(\sum_{1\leq i\leq n}f_{i})\geq\sum_{1\leq i\leq n}G(f_{i}),italic_G ( ∑ start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_n end_POSTSUBSCRIPT italic_f start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) ≥ ∑ start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_n end_POSTSUBSCRIPT italic_G ( italic_f start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) , where fi>0subscript𝑓𝑖0f_{i}>0italic_f start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT > 0 for all i=1,2,,n.𝑖12𝑛i=1,2,\ldots,n.italic_i = 1 , 2 , … , italic_n .

Proof. Note that,

G(fi)G(1infi)𝐺subscript𝑓𝑖𝐺subscript1𝑖𝑛subscript𝑓𝑖\displaystyle\frac{G(f_{i})}{G(\sum_{1\leq i\leq n}f_{i})}divide start_ARG italic_G ( italic_f start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) end_ARG start_ARG italic_G ( ∑ start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_n end_POSTSUBSCRIPT italic_f start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) end_ARG =\displaystyle== exp(1t0tlnfidu)exp(1t0tln(1infi)𝑑u)1𝑡superscriptsubscript0𝑡subscript𝑓𝑖𝑑𝑢1𝑡superscriptsubscript0𝑡subscript1𝑖𝑛subscript𝑓𝑖differential-d𝑢\displaystyle\frac{\exp\Big{(}\frac{1}{t}\int_{0}^{t}\ln f_{i}du)}{\exp(\frac{% 1}{t}\int_{0}^{t}\ln(\sum_{1\leq i\leq n}f_{i})du\Big{)}}divide start_ARG roman_exp ( divide start_ARG 1 end_ARG start_ARG italic_t end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT roman_ln italic_f start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_d italic_u ) end_ARG start_ARG roman_exp ( divide start_ARG 1 end_ARG start_ARG italic_t end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT roman_ln ( ∑ start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_n end_POSTSUBSCRIPT italic_f start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) italic_d italic_u ) end_ARG
=\displaystyle== exp(1t0tln(fi1infi)𝑑u)=G(fi1infi)A(fi1infi),1𝑡superscriptsubscript0𝑡subscript𝑓𝑖subscript1𝑖𝑛subscript𝑓𝑖differential-d𝑢𝐺subscript𝑓𝑖subscript1𝑖𝑛subscript𝑓𝑖𝐴subscript𝑓𝑖subscript1𝑖𝑛subscript𝑓𝑖\displaystyle\exp\Big{(}\frac{1}{t}\int_{0}^{t}\ln\big{(}\frac{f_{i}}{\sum_{1% \leq i\leq n}f_{i}}\big{)}du\Big{)}=G\Big{(}\frac{f_{i}}{\sum_{1\leq i\leq n}f% _{i}}\Big{)}\leq A\Big{(}\frac{f_{i}}{\sum_{1\leq i\leq n}f_{i}}\Big{)},roman_exp ( divide start_ARG 1 end_ARG start_ARG italic_t end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT roman_ln ( divide start_ARG italic_f start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG start_ARG ∑ start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_n end_POSTSUBSCRIPT italic_f start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG ) italic_d italic_u ) = italic_G ( divide start_ARG italic_f start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG start_ARG ∑ start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_n end_POSTSUBSCRIPT italic_f start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG ) ≤ italic_A ( divide start_ARG italic_f start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG start_ARG ∑ start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_n end_POSTSUBSCRIPT italic_f start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG ) ,

giving 1inG(fi)G(1infi)1inA(fi1infi)=1subscript1𝑖𝑛𝐺subscript𝑓𝑖𝐺subscript1𝑖𝑛subscript𝑓𝑖subscript1𝑖𝑛𝐴subscript𝑓𝑖subscript1𝑖𝑛subscript𝑓𝑖1\frac{\sum_{1\leq i\leq n}G(f_{i})}{G(\sum_{1\leq i\leq n}f_{i})}\leq\sum_{1% \leq i\leq n}A(\frac{f_{i}}{\sum_{1\leq i\leq n}f_{i}})=1divide start_ARG ∑ start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_n end_POSTSUBSCRIPT italic_G ( italic_f start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) end_ARG start_ARG italic_G ( ∑ start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_n end_POSTSUBSCRIPT italic_f start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) end_ARG ≤ ∑ start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_n end_POSTSUBSCRIPT italic_A ( divide start_ARG italic_f start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG start_ARG ∑ start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_n end_POSTSUBSCRIPT italic_f start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG ) = 1. This proves that G(1infi)1inG(fi)𝐺subscript1𝑖𝑛subscript𝑓𝑖subscript1𝑖𝑛𝐺subscript𝑓𝑖G(\sum_{1\leq i\leq n}f_{i})\geq\sum_{1\leq i\leq n}G(f_{i})italic_G ( ∑ start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_n end_POSTSUBSCRIPT italic_f start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) ≥ ∑ start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_n end_POSTSUBSCRIPT italic_G ( italic_f start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ).\hfill\Box

Now, we mention a mathematical tool from Bhattacharjee et al. (2013), which is to be used in following theorem.

Lemma 2.2

Let pi>0,qi>0,formulae-sequencesubscript𝑝𝑖0subscript𝑞𝑖0p_{i}>0,q_{i}>0,italic_p start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT > 0 , italic_q start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT > 0 , for i=1,2,,k.𝑖12𝑘i=1,2,\ldots,k.italic_i = 1 , 2 , … , italic_k . Then

min1ik(piqi)(1ikpi)(1ikqi)max1ik(piqi)subscript1𝑖𝑘subscript𝑝𝑖subscript𝑞𝑖subscript1𝑖𝑘subscript𝑝𝑖subscript1𝑖𝑘subscript𝑞𝑖subscript1𝑖𝑘subscript𝑝𝑖subscript𝑞𝑖\min_{1\leq i\leq k}\big{(}\frac{p_{i}}{q_{i}}\big{)}\leq\frac{\big{(}\sum_{1% \leq i\leq k}p_{i}\big{)}}{\big{(}\sum_{1\leq i\leq k}q_{i}\big{)}}\leq\max_{1% \leq i\leq k}\big{(}\frac{p_{i}}{q_{i}}\big{)}roman_min start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_k end_POSTSUBSCRIPT ( divide start_ARG italic_p start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG start_ARG italic_q start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG ) ≤ divide start_ARG ( ∑ start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_k end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) end_ARG start_ARG ( ∑ start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_k end_POSTSUBSCRIPT italic_q start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) end_ARG ≤ roman_max start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_k end_POSTSUBSCRIPT ( divide start_ARG italic_p start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG start_ARG italic_q start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG )

The next theorem gives a upper bound of GAI function, LG,superscript𝐿𝐺L^{G},italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT , of a series system formed by n𝑛nitalic_n independent components.

Theorem 2.2

If a series system is formed by n𝑛nitalic_n independent components with lifetimes denoted by Xisubscript𝑋𝑖X_{i}italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT for 1in1𝑖𝑛1\leq i\leq n1 ≤ italic_i ≤ italic_n and system lifetime X,𝑋X,italic_X , then its corresponding geometric AI function, LXG(t)subscriptsuperscript𝐿𝐺𝑋𝑡L^{G}_{X}(t)italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) is bounded above by max1inLXiG(t)subscript1𝑖𝑛subscriptsuperscript𝐿𝐺subscript𝑋𝑖𝑡\max_{1\leq i\leq n}L^{G}_{X_{i}}(t)roman_max start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_n end_POSTSUBSCRIPT italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ), i.e., LG(t)max1inLXiG(t)superscript𝐿𝐺𝑡subscript1𝑖𝑛subscriptsuperscript𝐿𝐺subscript𝑋𝑖𝑡L^{G}(t)\leq\max_{1\leq i\leq n}L^{G}_{X_{i}}(t)italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT ( italic_t ) ≤ roman_max start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_n end_POSTSUBSCRIPT italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) for all t>0.𝑡0t>0.italic_t > 0 .

Proof. Here, rX(t)=i=1nrXi(t),subscript𝑟𝑋𝑡superscriptsubscript𝑖1𝑛subscript𝑟subscript𝑋𝑖𝑡r_{X}(t)=\sum_{i=1}^{n}r_{X_{i}}(t),italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) = ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_r start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) , so

LG(t)superscript𝐿𝐺𝑡\displaystyle L^{G}(t)italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT ( italic_t ) =\displaystyle== 1inrXi(t)exp{1t0tln(1inrXi(t))𝑑u}subscript1𝑖𝑛subscript𝑟subscript𝑋𝑖𝑡1𝑡superscriptsubscript0𝑡subscript1𝑖𝑛subscript𝑟subscript𝑋𝑖𝑡differential-d𝑢\displaystyle\frac{\sum_{1\leq i\leq n}r_{X_{i}}(t)}{\exp\Big{\{}\frac{1}{t}% \int_{0}^{t}\ln\Big{(}\sum_{1\leq i\leq n}r_{X_{i}}(t)\Big{)}du\Big{\}}}divide start_ARG ∑ start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_n end_POSTSUBSCRIPT italic_r start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) end_ARG start_ARG roman_exp { divide start_ARG 1 end_ARG start_ARG italic_t end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT roman_ln ( ∑ start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_n end_POSTSUBSCRIPT italic_r start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) ) italic_d italic_u } end_ARG
=\displaystyle== 1inrXi(t)G(1inrXi(t))1inrXi(t)1inG(rXi(t))max1inLXiG(t).subscript1𝑖𝑛subscript𝑟subscript𝑋𝑖𝑡𝐺subscript1𝑖𝑛subscript𝑟subscript𝑋𝑖𝑡subscript1𝑖𝑛subscript𝑟subscript𝑋𝑖𝑡subscript1𝑖𝑛𝐺subscript𝑟subscript𝑋𝑖𝑡subscript1𝑖𝑛subscriptsuperscript𝐿𝐺subscript𝑋𝑖𝑡\displaystyle\frac{\sum_{1\leq i\leq n}r_{X_{i}}(t)}{G(\sum_{1\leq i\leq n}r_{% X_{i}}(t))}\leq\frac{\sum_{1\leq i\leq n}r_{X_{i}}(t)}{\sum_{1\leq i\leq n}G(r% _{X_{i}}(t))}\leq\max_{1\leq i\leq n}L^{G}_{X_{i}}(t).divide start_ARG ∑ start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_n end_POSTSUBSCRIPT italic_r start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) end_ARG start_ARG italic_G ( ∑ start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_n end_POSTSUBSCRIPT italic_r start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) ) end_ARG ≤ divide start_ARG ∑ start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_n end_POSTSUBSCRIPT italic_r start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) end_ARG start_ARG ∑ start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_n end_POSTSUBSCRIPT italic_G ( italic_r start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) ) end_ARG ≤ roman_max start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_n end_POSTSUBSCRIPT italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) .

The last two inequalities follow due to Lemma 2.1 and upper bound given in Lemma 2.2. This completes the proof. \hfill\Box

We know that AFR of a series system formed by finite number of independent components is the sum of the AFR of individual components, i.e., if X=min1inXi𝑋subscript1𝑖𝑛subscript𝑋𝑖X=\min_{1\leq i\leq n}X_{i}italic_X = roman_min start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_n end_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT and Xissuperscriptsubscript𝑋𝑖𝑠X_{i}^{\prime}sitalic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_s are independent random variables then AX(t)=i=1nAXi(t)=nDAM{AXi(t):1in}subscript𝐴𝑋𝑡superscriptsubscript𝑖1𝑛subscript𝐴subscript𝑋𝑖𝑡𝑛𝐷𝐴𝑀conditional-setsubscript𝐴subscript𝑋𝑖𝑡1𝑖𝑛A_{X}(t)=\sum_{i=1}^{n}A_{X_{i}}(t)=n~{}DAM\{A_{X_{i}}(t):1\leq i\leq n\}italic_A start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) = ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_A start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) = italic_n italic_D italic_A italic_M { italic_A start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) : 1 ≤ italic_i ≤ italic_n } where DAM(ci:1in)DAM(c_{i}:1\leq i\leq n)italic_D italic_A italic_M ( italic_c start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT : 1 ≤ italic_i ≤ italic_n ) denotes discrete-arithmetic mean of n𝑛nitalic_n non-negative quantities cis.superscriptsubscript𝑐𝑖𝑠c_{i}^{\prime}s.italic_c start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_s . This motivates one to explore about GFR and HFR of a series system comprised of independent components. The following theorem is interesting because of its mathematical coherence. This result gives a lower bound of GX()subscript𝐺𝑋G_{X}(\cdot)italic_G start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( ⋅ ) and HX()subscript𝐻𝑋H_{X}(\cdot)italic_H start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( ⋅ ) of a series system formed by n𝑛nitalic_n independent components.

Theorem 2.3

Let us consider a series system with lifetime denoted by X𝑋Xitalic_X which is formed by n𝑛nitalic_n independent components with lifetimes Xisubscript𝑋𝑖X_{i}italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT for 1in1𝑖𝑛1\leq i\leq n1 ≤ italic_i ≤ italic_n, i.e., X=min1inXi𝑋subscript1𝑖𝑛subscript𝑋𝑖X=\min_{1\leq i\leq n}X_{i}italic_X = roman_min start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_n end_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT. Then, for all t>0,𝑡0t>0,italic_t > 0 ,

GX(t)n(i=1nGXi(t))1n=nDGM{GXi(t):1in}subscript𝐺𝑋𝑡𝑛superscriptsuperscriptsubscriptproduct𝑖1𝑛subscript𝐺subscript𝑋𝑖𝑡1𝑛𝑛𝐷𝐺𝑀conditional-setsubscript𝐺subscript𝑋𝑖𝑡1𝑖𝑛G_{X}(t)\geq n\Big{(}\prod_{i=1}^{n}G_{X_{i}}(t)\Big{)}^{\frac{1}{n}}=n~{}DGM% \{G_{X_{i}}(t):1\leq i\leq n\}italic_G start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) ≥ italic_n ( ∏ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_G start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG italic_n end_ARG end_POSTSUPERSCRIPT = italic_n italic_D italic_G italic_M { italic_G start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) : 1 ≤ italic_i ≤ italic_n }

and

HX(t)n2(i=1n1HXi(t))1=nDHM{HXi(t):1in},subscript𝐻𝑋𝑡superscript𝑛2superscriptsuperscriptsubscript𝑖1𝑛1subscript𝐻subscript𝑋𝑖𝑡1𝑛𝐷𝐻𝑀conditional-setsubscript𝐻subscript𝑋𝑖𝑡1𝑖𝑛H_{X}(t)\geq n^{2}\Big{(}\sum_{i=1}^{n}\frac{1}{H_{X_{i}}(t)}\Big{)}^{-1}=n~{}% DHM\{H_{X_{i}}(t):1\leq i\leq n\},italic_H start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) ≥ italic_n start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG italic_H start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) end_ARG ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT = italic_n italic_D italic_H italic_M { italic_H start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) : 1 ≤ italic_i ≤ italic_n } ,

where

DGM{ai:1in,ai>0}=(i=1nai)1/n𝐷𝐺𝑀conditional-setsubscript𝑎𝑖formulae-sequence1𝑖𝑛subscript𝑎𝑖0superscriptsuperscriptsubscriptproduct𝑖1𝑛subscript𝑎𝑖1𝑛DGM\{a_{i}:1\leq i\leq n,a_{i}>0\}=\Big{(}\prod_{i=1}^{n}a_{i}\Big{)}^{1/n}italic_D italic_G italic_M { italic_a start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT : 1 ≤ italic_i ≤ italic_n , italic_a start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT > 0 } = ( ∏ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_a start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 1 / italic_n end_POSTSUPERSCRIPT

and

DHM{bi:1in,bi>0}=n(i=1n1bi)1𝐷𝐻𝑀conditional-setsubscript𝑏𝑖formulae-sequence1𝑖𝑛subscript𝑏𝑖0𝑛superscriptsuperscriptsubscript𝑖1𝑛1subscript𝑏𝑖1DHM\{b_{i}:1\leq i\leq n,b_{i}>0\}=n\Big{(}\sum_{i=1}^{n}\frac{1}{b_{i}}\Big{)% }^{-1}italic_D italic_H italic_M { italic_b start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT : 1 ≤ italic_i ≤ italic_n , italic_b start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT > 0 } = italic_n ( ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG italic_b start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT

represent (discrete) geometric mean and (discrete) harmonic mean of n𝑛nitalic_n number of finite non-negative numbers aissuperscriptsubscript𝑎𝑖𝑠a_{i}^{\prime}sitalic_a start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_s and bissuperscriptsubscript𝑏𝑖𝑠b_{i}^{\prime}sitalic_b start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_s respectively.

Proof. Since, i=1nrXi(t)n(i=1nrXi(t))1/n,superscriptsubscript𝑖1𝑛subscript𝑟subscript𝑋𝑖𝑡𝑛superscriptsuperscriptsubscriptproduct𝑖1𝑛subscript𝑟subscript𝑋𝑖𝑡1𝑛\sum_{i=1}^{n}r_{X_{i}}(t)\geq n\Big{(}\prod_{i=1}^{n}r_{X_{i}}(t)\Big{)}^{1/n},∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_r start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) ≥ italic_n ( ∏ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_r start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) ) start_POSTSUPERSCRIPT 1 / italic_n end_POSTSUPERSCRIPT , we get

1t0tln(i=1nrXi(u))𝑑ulnn+1ni=1n1t(0tlnrXi(u)𝑑u).1𝑡superscriptsubscript0𝑡superscriptsubscript𝑖1𝑛subscript𝑟subscript𝑋𝑖𝑢differential-d𝑢𝑛1𝑛superscriptsubscript𝑖1𝑛1𝑡superscriptsubscript0𝑡subscript𝑟subscript𝑋𝑖𝑢differential-d𝑢\frac{1}{t}\int_{0}^{t}\ln\Big{(}\sum_{i=1}^{n}r_{X_{i}}(u)\Big{)}du\geq\ln n+% \frac{1}{n}\sum_{i=1}^{n}\frac{1}{t}\Big{(}\int_{0}^{t}\ln r_{X_{i}}(u)du\Big{% )}.divide start_ARG 1 end_ARG start_ARG italic_t end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT roman_ln ( ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_r start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_u ) ) italic_d italic_u ≥ roman_ln italic_n + divide start_ARG 1 end_ARG start_ARG italic_n end_ARG ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG italic_t end_ARG ( ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT roman_ln italic_r start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_u ) italic_d italic_u ) .

This implies,

GX(t)=exp{1t0tln(1inrXi(u))𝑑u}subscript𝐺𝑋𝑡1𝑡superscriptsubscript0𝑡subscript1𝑖𝑛subscript𝑟subscript𝑋𝑖𝑢differential-d𝑢\displaystyle G_{X}(t)=\exp\Big{\{}\frac{1}{t}\int_{0}^{t}\ln\Big{(}\sum_{1% \leq i\leq n}r_{X_{i}}(u)\Big{)}du\Big{\}}italic_G start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) = roman_exp { divide start_ARG 1 end_ARG start_ARG italic_t end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT roman_ln ( ∑ start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_n end_POSTSUBSCRIPT italic_r start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_u ) ) italic_d italic_u } \displaystyle\geq nexp{1ni=1n1t(0tlnrXi(u)𝑑u)}𝑛1𝑛superscriptsubscript𝑖1𝑛1𝑡superscriptsubscript0𝑡subscript𝑟subscript𝑋𝑖𝑢differential-d𝑢\displaystyle n\exp\Big{\{}\frac{1}{n}\sum_{i=1}^{n}\frac{1}{t}\Big{(}\int_{0}% ^{t}\ln r_{X_{i}}(u)du\Big{)}\Big{\}}italic_n roman_exp { divide start_ARG 1 end_ARG start_ARG italic_n end_ARG ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG italic_t end_ARG ( ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT roman_ln italic_r start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_u ) italic_d italic_u ) }
=\displaystyle== nexp{1ni=1nlnGXi(t)}𝑛1𝑛superscriptsubscript𝑖1𝑛subscript𝐺subscript𝑋𝑖𝑡\displaystyle n\exp\Big{\{}\frac{1}{n}\sum_{i=1}^{n}\ln G_{X_{i}}(t)\Big{\}}italic_n roman_exp { divide start_ARG 1 end_ARG start_ARG italic_n end_ARG ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT roman_ln italic_G start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) }
=\displaystyle== n(i=1nGXi(t))1n=nDGM{GXi(t):1in}.𝑛superscriptsuperscriptsubscriptproduct𝑖1𝑛subscript𝐺subscript𝑋𝑖𝑡1𝑛𝑛𝐷𝐺𝑀conditional-setsubscript𝐺subscript𝑋𝑖𝑡1𝑖𝑛\displaystyle n\Big{(}\prod_{i=1}^{n}G_{X_{i}}(t)\Big{)}^{\frac{1}{n}}=n~{}DGM% \{G_{X_{i}}(t):1\leq i\leq n\}.italic_n ( ∏ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_G start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG italic_n end_ARG end_POSTSUPERSCRIPT = italic_n italic_D italic_G italic_M { italic_G start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) : 1 ≤ italic_i ≤ italic_n } .

To obtain a bound for HFR of X𝑋Xitalic_X, we recall that i=1nrXi(t)n2(i=1n1rXi(t))1.superscriptsubscript𝑖1𝑛subscript𝑟subscript𝑋𝑖𝑡superscript𝑛2superscriptsuperscriptsubscript𝑖1𝑛1subscript𝑟subscript𝑋𝑖𝑡1\sum_{i=1}^{n}r_{X_{i}}(t)\geq n^{2}\Big{(}\sum_{i=1}^{n}\frac{1}{r_{X_{i}}(t)% }\Big{)}^{-1}.∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_r start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) ≥ italic_n start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) end_ARG ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT . Here,

(HX(t))1=1t0t1rX(u)𝑑usuperscriptsubscript𝐻𝑋𝑡11𝑡superscriptsubscript0𝑡1subscript𝑟𝑋𝑢differential-d𝑢\displaystyle\Big{(}H_{X}(t)\Big{)}^{-1}=\frac{1}{t}\int_{0}^{t}\frac{1}{r_{X}% (u)}du( italic_H start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT = divide start_ARG 1 end_ARG start_ARG italic_t end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_u ) end_ARG italic_d italic_u =\displaystyle== 1t0t1i=1nrXi(u)𝑑u1𝑡superscriptsubscript0𝑡1superscriptsubscript𝑖1𝑛subscript𝑟subscript𝑋𝑖𝑢differential-d𝑢\displaystyle\frac{1}{t}\int_{0}^{t}\frac{1}{\sum_{i=1}^{n}r_{X_{i}}(u)}dudivide start_ARG 1 end_ARG start_ARG italic_t end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_r start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_u ) end_ARG italic_d italic_u
\displaystyle\leq 1n2{1t0ti=1n1rXi(u)du}1superscript𝑛21𝑡superscriptsubscript0𝑡superscriptsubscript𝑖1𝑛1subscript𝑟subscript𝑋𝑖𝑢𝑑𝑢\displaystyle\frac{1}{n^{2}}\Big{\{}\frac{1}{t}\int_{0}^{t}\sum_{i=1}^{n}\frac% {1}{r_{X_{i}}(u)}du\Big{\}}divide start_ARG 1 end_ARG start_ARG italic_n start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG { divide start_ARG 1 end_ARG start_ARG italic_t end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_u ) end_ARG italic_d italic_u }
=\displaystyle== 1n2i=1n1t0t1rXi(u)𝑑u=1n2i=1n1HXi(t)1superscript𝑛2superscriptsubscript𝑖1𝑛1𝑡superscriptsubscript0𝑡1subscript𝑟subscript𝑋𝑖𝑢differential-d𝑢1superscript𝑛2superscriptsubscript𝑖1𝑛1subscript𝐻subscript𝑋𝑖𝑡\displaystyle\frac{1}{n^{2}}\sum_{i=1}^{n}\frac{1}{t}\int_{0}^{t}\frac{1}{r_{X% _{i}}(u)}du=\frac{1}{n^{2}}\sum_{i=1}^{n}\frac{1}{H_{X_{i}}(t)}divide start_ARG 1 end_ARG start_ARG italic_n start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG italic_t end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_u ) end_ARG italic_d italic_u = divide start_ARG 1 end_ARG start_ARG italic_n start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG italic_H start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) end_ARG

giving

HX(t)n2(i=1n1HXi(t))1=nDHM{HXi(t):1in}.subscript𝐻𝑋𝑡superscript𝑛2superscriptsuperscriptsubscript𝑖1𝑛1subscript𝐻subscript𝑋𝑖𝑡1𝑛𝐷𝐻𝑀conditional-setsubscript𝐻subscript𝑋𝑖𝑡1𝑖𝑛H_{X}(t)\geq n^{2}\Big{(}\sum_{i=1}^{n}\frac{1}{H_{X_{i}}(t)}\Big{)}^{-1}=n~{}% DHM\{H_{X_{i}}(t):1\leq i\leq n\}.italic_H start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) ≥ italic_n start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG italic_H start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) end_ARG ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT = italic_n italic_D italic_H italic_M { italic_H start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) : 1 ≤ italic_i ≤ italic_n } .

This completes the proof.\hfill\Box

A sharper lower and upper bound of AFR, GFR and HFR of a series system constituted by n𝑛nitalic_n independent components is given in following remark. The symbols used have their usual meaning as described in this paper.

Remark 2.1

Let us consider a series system with lifetime denoted by X𝑋Xitalic_X which is formed by n𝑛nitalic_n independent components with lifetimes Xisubscript𝑋𝑖X_{i}italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT for 1in1𝑖𝑛1\leq i\leq n1 ≤ italic_i ≤ italic_n, i.e., X=min1inXi𝑋subscript1𝑖𝑛subscript𝑋𝑖X=\min_{1\leq i\leq n}X_{i}italic_X = roman_min start_POSTSUBSCRIPT 1 ≤ italic_i ≤ italic_n end_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT. Then, for all t>0,𝑡0t>0,italic_t > 0 ,

nDAM{AXi(t):1in}=AX(t)GX(t)HX(t)nDHM{HXi(t):1in}.𝑛𝐷𝐴𝑀conditional-setsubscript𝐴subscript𝑋𝑖𝑡1𝑖𝑛subscript𝐴𝑋𝑡subscript𝐺𝑋𝑡subscript𝐻𝑋𝑡𝑛𝐷𝐻𝑀conditional-setsubscript𝐻subscript𝑋𝑖𝑡1𝑖𝑛nDAM\{A_{X_{i}}(t):1\leq i\leq n\}=A_{X}(t)\geq G_{X}(t)\geq H_{X}(t)\geq n~{}% DHM\{H_{X_{i}}(t):1\leq i\leq n\}.italic_n italic_D italic_A italic_M { italic_A start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) : 1 ≤ italic_i ≤ italic_n } = italic_A start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) ≥ italic_G start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) ≥ italic_H start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) ≥ italic_n italic_D italic_H italic_M { italic_H start_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) : 1 ≤ italic_i ≤ italic_n } .

3 Some new notions of aging: specific interval-average geometric hazard rate, specific interval-average harmonic hazard rate

Before we begin this section, readers may note that the notations used here, namely, A(t,s),𝐴𝑡𝑠A(t,s),italic_A ( italic_t , italic_s ) , G(t,s)𝐺𝑡𝑠G(t,s)italic_G ( italic_t , italic_s ) and H(t,s)𝐻𝑡𝑠H(t,s)italic_H ( italic_t , italic_s ) shall be separately dealt with and are not related to the notations that are referred in earlier sections.
         Bryson and Siddiqui (1969) introduced some notions of aging, called specific aging factor, denoted by A(t,s)𝐴𝑡𝑠A(t,s)italic_A ( italic_t , italic_s ) and the specific interval-average hazard rate, denoted by H(t,s)𝐻𝑡𝑠H(t,s)italic_H ( italic_t , italic_s ) of a system at time t𝑡titalic_t specific with respect to a positive time parameter s𝑠sitalic_s. They defined A(t,s)=F¯(t)F¯(s)F¯(t+s),𝐴𝑡𝑠¯𝐹𝑡¯𝐹𝑠¯𝐹𝑡𝑠A(t,s)=\frac{\overline{F}(t)\overline{F}(s)}{\overline{F}(t+s)},italic_A ( italic_t , italic_s ) = divide start_ARG over¯ start_ARG italic_F end_ARG ( italic_t ) over¯ start_ARG italic_F end_ARG ( italic_s ) end_ARG start_ARG over¯ start_ARG italic_F end_ARG ( italic_t + italic_s ) end_ARG , and H(t,s)=1tss+tr(u)𝑑u𝐻𝑡𝑠1𝑡superscriptsubscript𝑠𝑠𝑡𝑟𝑢differential-d𝑢H(t,s)=\frac{1}{t}\int_{s}^{s+t}r(u)duitalic_H ( italic_t , italic_s ) = divide start_ARG 1 end_ARG start_ARG italic_t end_ARG ∫ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_s + italic_t end_POSTSUPERSCRIPT italic_r ( italic_u ) italic_d italic_u for all t,s0.𝑡𝑠0t,s\geq 0.italic_t , italic_s ≥ 0 .
         Inquisitive readers may study the applications of A(t,s)𝐴𝑡𝑠A(t,s)italic_A ( italic_t , italic_s ) in comparison of two systems with different chronological age, older system having age t𝑡titalic_t and other one is new with chronological age zero but both having the same survival function, say F¯()¯𝐹\bar{F}(\cdot)over¯ start_ARG italic_F end_ARG ( ⋅ ). Clearly, A(t,s)𝐴𝑡𝑠A(t,s)italic_A ( italic_t , italic_s ) is the ratio of survival probabilities of new and older systems, i.e., it is the ratio of F¯(s)¯𝐹𝑠\overline{F}(s)over¯ start_ARG italic_F end_ARG ( italic_s ) (i.e., the survival probability that the new system will survive for at least a duration of s𝑠sitalic_s units ) and F¯(t+s)F¯(t)¯𝐹𝑡𝑠¯𝐹𝑡\frac{\overline{F}(t+s)}{\overline{F}(t)}divide start_ARG over¯ start_ARG italic_F end_ARG ( italic_t + italic_s ) end_ARG start_ARG over¯ start_ARG italic_F end_ARG ( italic_t ) end_ARG (i.e., the survival probability that older system will survive for same s𝑠sitalic_s duration, given its prior survival up to time t𝑡titalic_t). Both these quantities are defined with respect to a positive time parameter s𝑠sitalic_s. Clearly, H(t,s)𝐻𝑡𝑠H(t,s)italic_H ( italic_t , italic_s ) is a generalization of hazard rate average H(t,0)=1t0tr(u)𝑑u𝐻𝑡01𝑡superscriptsubscript0𝑡𝑟𝑢differential-d𝑢H(t,0)=\frac{1}{t}\int_{0}^{t}r(u)duitalic_H ( italic_t , 0 ) = divide start_ARG 1 end_ARG start_ARG italic_t end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT italic_r ( italic_u ) italic_d italic_u which was introduced by Birnbaum et al. (1966). Bryson and Siddiqui (1969) proved that H(t,s)𝐻𝑡𝑠H(t,s)italic_H ( italic_t , italic_s ) is increasing in t𝑡titalic_t if and only if r(t)𝑟𝑡r(t)italic_r ( italic_t ) is increasing in t𝑡titalic_t.
         In this section, we introduce the generalized version of GFR and HFR termed as specific interval-average geometric hazard rate and specific interval-average harmonic hazard rate respectively as given in the following definition. The importance of these generalized functions can be seen in upcoming Theorems 3.3 and 3.4.

Definition 3.1

The specific interval-average geometric hazard rate of a non-negative random variable X𝑋Xitalic_X having hazard rate r()𝑟r(\cdot)italic_r ( ⋅ ) is

GMX(t,s)=exp(1tss+tlnrX(u)𝑑u), for t,s0.formulae-sequence𝐺subscript𝑀𝑋𝑡𝑠1𝑡superscriptsubscript𝑠𝑠𝑡subscript𝑟𝑋𝑢differential-d𝑢 for 𝑡𝑠0GM_{X}(t,s)=\exp\left(\frac{1}{t}\int_{s}^{s+t}\ln r_{X}(u)du\right),\mbox{~{}% for~{}}t,s\geq 0.italic_G italic_M start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t , italic_s ) = roman_exp ( divide start_ARG 1 end_ARG start_ARG italic_t end_ARG ∫ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_s + italic_t end_POSTSUPERSCRIPT roman_ln italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_u ) italic_d italic_u ) , for italic_t , italic_s ≥ 0 .
Definition 3.2

The specific interval-average harmonic hazard rate of a non-negative random variable X𝑋Xitalic_X having hazard rate r()𝑟r(\cdot)italic_r ( ⋅ ) is

HMX(t,s)=(1tst+s1rX(u)𝑑u)1, for t,s0.formulae-sequence𝐻subscript𝑀𝑋𝑡𝑠superscript1𝑡superscriptsubscript𝑠𝑡𝑠1subscript𝑟𝑋𝑢differential-d𝑢1 for 𝑡𝑠0HM_{X}(t,s)=\left(\frac{1}{t}\int_{s}^{t+s}\frac{1}{r_{X}(u)}du\right)^{-1},% \mbox{~{} for~{}}t,s\geq 0.italic_H italic_M start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t , italic_s ) = ( divide start_ARG 1 end_ARG start_ARG italic_t end_ARG ∫ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t + italic_s end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_u ) end_ARG italic_d italic_u ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT , for italic_t , italic_s ≥ 0 .

We drop X𝑋Xitalic_X from GMX(t,s)𝐺subscript𝑀𝑋𝑡𝑠GM_{X}(t,s)italic_G italic_M start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t , italic_s ) and HMX(t,s)𝐻subscript𝑀𝑋𝑡𝑠HM_{X}(t,s)italic_H italic_M start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t , italic_s ) and simply write GM(t,s)𝐺𝑀𝑡𝑠GM(t,s)italic_G italic_M ( italic_t , italic_s ) and HM(t,s)𝐻𝑀𝑡𝑠HM(t,s)italic_H italic_M ( italic_t , italic_s ) respectively.

Readers would like to immediately look into the significance of above functions. To this end, we focus on residual lifetime of a random variable X𝑋Xitalic_X denoted by RxX=(XxX>x)subscriptsuperscript𝑅𝑋𝑥𝑋𝑥ket𝑋𝑥R^{X}_{x}=(X-x\mid X>x)italic_R start_POSTSUPERSCRIPT italic_X end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT = ( italic_X - italic_x ∣ italic_X > italic_x ) for x>0𝑥0x>0italic_x > 0. We note that the AFR of residual life-time RxXsubscriptsuperscript𝑅𝑋𝑥R^{X}_{x}italic_R start_POSTSUPERSCRIPT italic_X end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT is its specific aging factor, i.e.,formulae-sequence𝑖𝑒i.e.,italic_i . italic_e . , ARxX(t)=A(t,x),subscript𝐴subscriptsuperscript𝑅𝑋𝑥𝑡𝐴𝑡𝑥A_{R^{X}_{x}}(t)=A(t,x),italic_A start_POSTSUBSCRIPT italic_R start_POSTSUPERSCRIPT italic_X end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) = italic_A ( italic_t , italic_x ) , GFR of residual lifetime RxXsubscriptsuperscript𝑅𝑋𝑥R^{X}_{x}italic_R start_POSTSUPERSCRIPT italic_X end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT is equal to its specific interval-average geometric hazard rate, i.e., GRxX(t)=GM(t,x),subscript𝐺subscriptsuperscript𝑅𝑋𝑥𝑡𝐺𝑀𝑡𝑥G_{R^{X}_{x}}(t)=GM(t,x),italic_G start_POSTSUBSCRIPT italic_R start_POSTSUPERSCRIPT italic_X end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) = italic_G italic_M ( italic_t , italic_x ) , and HFR of residual life-time RxXsubscriptsuperscript𝑅𝑋𝑥R^{X}_{x}italic_R start_POSTSUPERSCRIPT italic_X end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT is equal to its specific interval-average harmonic hazard rate, i.e., HRxX(t)=HM(t,x).subscript𝐻subscriptsuperscript𝑅𝑋𝑥𝑡𝐻𝑀𝑡𝑥H_{R^{X}_{x}}(t)=HM(t,x).italic_H start_POSTSUBSCRIPT italic_R start_POSTSUPERSCRIPT italic_X end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) = italic_H italic_M ( italic_t , italic_x ) . As a result, it follows that GAI and HAI of residual lifetime RxXsubscriptsuperscript𝑅𝑋𝑥R^{X}_{x}italic_R start_POSTSUPERSCRIPT italic_X end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT are LRxXG(t)=r(x+t)GM(t,x)subscriptsuperscript𝐿𝐺subscriptsuperscript𝑅𝑋𝑥𝑡𝑟𝑥𝑡𝐺𝑀𝑡𝑥L^{G}_{R^{X}_{x}}(t)=\frac{r(x+t)}{GM(t,x)}italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_R start_POSTSUPERSCRIPT italic_X end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) = divide start_ARG italic_r ( italic_x + italic_t ) end_ARG start_ARG italic_G italic_M ( italic_t , italic_x ) end_ARG and LRxXH(t)=r(x+t)HM(t,x)subscriptsuperscript𝐿𝐻subscriptsuperscript𝑅𝑋𝑥𝑡𝑟𝑥𝑡𝐻𝑀𝑡𝑥L^{H}_{R^{X}_{x}}(t)=\frac{r(x+t)}{HM(t,x)}italic_L start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_R start_POSTSUPERSCRIPT italic_X end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) = divide start_ARG italic_r ( italic_x + italic_t ) end_ARG start_ARG italic_H italic_M ( italic_t , italic_x ) end_ARG for all t>0.𝑡0t>0.italic_t > 0 .

In upcoming theorem, we establish an equivalent condition of monotonic increasing hazard rate in terms of specific interval-average geometric hazard rate.

Theorem 3.1

Let h(t)𝑡h(t)italic_h ( italic_t ) be integrable, with no more than finitely many discontinuities in any finite interval. Then h(t)𝑡h(t)italic_h ( italic_t ) is monotone increasing for all t>0𝑡0t>0italic_t > 0 if and only if

h(s)GM(t,s)h(s+t)𝑠𝐺𝑀𝑡𝑠𝑠𝑡h(s)\leq GM(t,s)\leq h(s+t)italic_h ( italic_s ) ≤ italic_G italic_M ( italic_t , italic_s ) ≤ italic_h ( italic_s + italic_t ) (3.7)

for all s0,t0.formulae-sequence𝑠0𝑡0s\geq 0,t\geq 0.italic_s ≥ 0 , italic_t ≥ 0 .

Proof. Under the hypothesis, clearly h(t)𝑡h(t)italic_h ( italic_t ) is monotone increasing for all t>0𝑡0t>0italic_t > 0 if and only if

h(s)1tss+th(x)𝑑xh(s+t)𝑠1𝑡superscriptsubscript𝑠𝑠𝑡𝑥differential-d𝑥𝑠𝑡h(s)\leq\frac{1}{t}\int_{s}^{s+t}h(x)dx\leq h(s+t)italic_h ( italic_s ) ≤ divide start_ARG 1 end_ARG start_ARG italic_t end_ARG ∫ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_s + italic_t end_POSTSUPERSCRIPT italic_h ( italic_x ) italic_d italic_x ≤ italic_h ( italic_s + italic_t ) (3.8)

for all s0,t0,formulae-sequence𝑠0𝑡0s\geq 0,t\geq 0,italic_s ≥ 0 , italic_t ≥ 0 , (cf. Bryson and Siddiqui (1969)). Since h(t)𝑡h(t)italic_h ( italic_t ) is monotonic increasing in t𝑡titalic_t is equivalent to lnh(t)𝑡\ln h(t)roman_ln italic_h ( italic_t ) being monotonic increasing, we replace h(t)𝑡h(t)italic_h ( italic_t ) by lnh(t)𝑡\ln h(t)roman_ln italic_h ( italic_t ) in (3.8). Thereby, we conclude that (3.8) is equivalent to

lnh(s)1tss+tlnh(x)𝑑xlnh(s+t)𝑠1𝑡superscriptsubscript𝑠𝑠𝑡𝑥differential-d𝑥𝑠𝑡\ln h(s)\leq\frac{1}{t}\int_{s}^{s+t}\ln h(x)dx\leq\ln h(s+t)roman_ln italic_h ( italic_s ) ≤ divide start_ARG 1 end_ARG start_ARG italic_t end_ARG ∫ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_s + italic_t end_POSTSUPERSCRIPT roman_ln italic_h ( italic_x ) italic_d italic_x ≤ roman_ln italic_h ( italic_s + italic_t )

for all s0,t0.formulae-sequence𝑠0𝑡0s\geq 0,t\geq 0.italic_s ≥ 0 , italic_t ≥ 0 . This completes the proof.\hfill\Box

To have the counterpart of HFR, we state the following theorem.

Theorem 3.2

Let h(t)𝑡h(t)italic_h ( italic_t ) be integrable, with no more than finitely many discontinuities in any finite interval. Then h(t)𝑡h(t)italic_h ( italic_t ) is monotone increasing for all t>0𝑡0t>0italic_t > 0 if and only if

h(s)HM(t,s)h(s+t)𝑠𝐻𝑀𝑡𝑠𝑠𝑡h(s)\leq HM(t,s)\leq h(s+t)italic_h ( italic_s ) ≤ italic_H italic_M ( italic_t , italic_s ) ≤ italic_h ( italic_s + italic_t )

for all s0,t0.formulae-sequence𝑠0𝑡0s\geq 0,t\geq 0.italic_s ≥ 0 , italic_t ≥ 0 .

Proof. It is easy to prove that h(t)𝑡h(t)italic_h ( italic_t ) is monotone increasing for all t>0𝑡0t>0italic_t > 0 if and only if

h(s)(1tss+t1h(x)𝑑x)1h(s+t)𝑠superscript1𝑡superscriptsubscript𝑠𝑠𝑡1𝑥differential-d𝑥1𝑠𝑡h(s)\leq\Big{(}\frac{1}{t}\int_{s}^{s+t}\frac{1}{h(x)}dx\Big{)}^{-1}\leq h(s+t)italic_h ( italic_s ) ≤ ( divide start_ARG 1 end_ARG start_ARG italic_t end_ARG ∫ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_s + italic_t end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG italic_h ( italic_x ) end_ARG italic_d italic_x ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ≤ italic_h ( italic_s + italic_t )

for all s0,t0.formulae-sequence𝑠0𝑡0s\geq 0,t\geq 0.italic_s ≥ 0 , italic_t ≥ 0 . This proves the theorem.\hfill\Box

A motivation of the above defined aging functions, namely specific interval-average geometric hazard rate and specific interval-average harmonic hazard rate is highlighted in the upcoming two theorems.

Theorem 3.3

A random variable X𝑋Xitalic_X has increasing (decreasing) hazard rate r()𝑟r(\cdot)italic_r ( ⋅ ) if and only if

GM(t2,s)()GM(t1,s)𝐺𝑀subscript𝑡2𝑠𝐺𝑀subscript𝑡1𝑠GM(t_{2},s)\geq(\leq)GM(t_{1},s)italic_G italic_M ( italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_s ) ≥ ( ≤ ) italic_G italic_M ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_s )

for all t2t10,subscript𝑡2subscript𝑡10t_{2}\geq t_{1}\geq 0,italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ≥ italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≥ 0 , and s0.𝑠0s\geq 0.italic_s ≥ 0 .

Proof. For t2t10,subscript𝑡2subscript𝑡10t_{2}\geq t_{1}\geq 0,italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ≥ italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≥ 0 ,

GM(t2,s)GM(t1,s)𝐺𝑀subscript𝑡2𝑠𝐺𝑀subscript𝑡1𝑠\displaystyle GM(t_{2},s)-GM(t_{1},s)italic_G italic_M ( italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_s ) - italic_G italic_M ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_s ) (3.9)
=\displaystyle== exp(1t2ss+t2lnrX(u)𝑑u)GM(t1,s)1subscript𝑡2superscriptsubscript𝑠𝑠subscript𝑡2subscript𝑟𝑋𝑢differential-d𝑢𝐺𝑀subscript𝑡1𝑠\displaystyle\exp\Big{(}\frac{1}{t_{2}}\int_{s}^{s+t_{2}}\ln r_{X}(u)du\Big{)}% -GM(t_{1},s)roman_exp ( divide start_ARG 1 end_ARG start_ARG italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ∫ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_s + italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT roman_ln italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_u ) italic_d italic_u ) - italic_G italic_M ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_s )
=\displaystyle== exp(1t2ss+t1lnrX(u)𝑑u)exp(1t2s+t1s+t2lnrX(u)𝑑u)GM(t1,s)1subscript𝑡2superscriptsubscript𝑠𝑠subscript𝑡1subscript𝑟𝑋𝑢differential-d𝑢1subscript𝑡2superscriptsubscript𝑠subscript𝑡1𝑠subscript𝑡2subscript𝑟𝑋𝑢differential-d𝑢𝐺𝑀subscript𝑡1𝑠\displaystyle\tiny{\exp\Big{(}\frac{1}{t_{2}}\int_{s}^{s+t_{1}}\ln r_{X}(u)du% \Big{)}\exp\Big{(}\frac{1}{t_{2}}\int_{s+t_{1}}^{s+t_{2}}\ln r_{X}(u)du\Big{)}% -GM(t_{1},s)}roman_exp ( divide start_ARG 1 end_ARG start_ARG italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ∫ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_s + italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT roman_ln italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_u ) italic_d italic_u ) roman_exp ( divide start_ARG 1 end_ARG start_ARG italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ∫ start_POSTSUBSCRIPT italic_s + italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_s + italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT roman_ln italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_u ) italic_d italic_u ) - italic_G italic_M ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_s )
=\displaystyle== exp(1t2ss+t1lnrX(u)𝑑u)exp(1t2t1(t2t1t2)s+t1s+t2lnrX(u)𝑑u)GM(t1,s)1subscript𝑡2superscriptsubscript𝑠𝑠subscript𝑡1subscript𝑟𝑋𝑢differential-d𝑢1subscript𝑡2subscript𝑡1subscript𝑡2subscript𝑡1subscript𝑡2superscriptsubscript𝑠subscript𝑡1𝑠subscript𝑡2subscript𝑟𝑋𝑢differential-d𝑢𝐺𝑀subscript𝑡1𝑠\displaystyle\exp\Big{(}\frac{1}{t_{2}}\int_{s}^{s+t_{1}}\ln r_{X}(u)du\Big{)}% \exp\Big{(}\frac{1}{t_{2}-t_{1}}\big{(}\frac{t_{2}-t_{1}}{t_{2}}\Big{)}\int_{s% +t_{1}}^{s+t_{2}}\ln r_{X}(u)du\Big{)}-GM(t_{1},s)roman_exp ( divide start_ARG 1 end_ARG start_ARG italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ∫ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_s + italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT roman_ln italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_u ) italic_d italic_u ) roman_exp ( divide start_ARG 1 end_ARG start_ARG italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG ( divide start_ARG italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ) ∫ start_POSTSUBSCRIPT italic_s + italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_s + italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT roman_ln italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_u ) italic_d italic_u ) - italic_G italic_M ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_s )
=\displaystyle== ((GM(t1,s))t1t2GM(t2t1,s+t1))1t1t2GM(t1,s)superscriptsuperscript𝐺𝑀subscript𝑡1𝑠subscript𝑡1subscript𝑡2𝐺𝑀subscript𝑡2subscript𝑡1𝑠subscript𝑡11subscript𝑡1subscript𝑡2𝐺𝑀subscript𝑡1𝑠\displaystyle\Big{(}(GM(t_{1},s))^{\frac{t_{1}}{t_{2}}}~{}GM(t_{2}-t_{1},s+t_{% 1})\Big{)}^{1-\frac{t_{1}}{t_{2}}}-GM(t_{1},s)( ( italic_G italic_M ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_s ) ) start_POSTSUPERSCRIPT divide start_ARG italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT italic_G italic_M ( italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_s + italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) ) start_POSTSUPERSCRIPT 1 - divide start_ARG italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT - italic_G italic_M ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_s )

If h(t)𝑡h(t)italic_h ( italic_t ) is increasing in t𝑡titalic_t then using (3.7) in (3.9), we find that GM(t2t1,s+t1))1t1t2h(s+t1)1t1t2.GM(t_{2}-t_{1},s+t_{1}))^{1-\frac{t_{1}}{t_{2}}}\geq h(s+t_{1})^{1-\frac{t_{1}% }{t_{2}}}.italic_G italic_M ( italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_s + italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) ) start_POSTSUPERSCRIPT 1 - divide start_ARG italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT ≥ italic_h ( italic_s + italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 1 - divide start_ARG italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT . As a result, we obtain

GM(t2,s)GM(t1,s)𝐺𝑀subscript𝑡2𝑠𝐺𝑀subscript𝑡1𝑠\displaystyle GM(t_{2},s)-GM(t_{1},s)italic_G italic_M ( italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_s ) - italic_G italic_M ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_s ) \displaystyle\geq (GM(t1,s))t1t2h(s+t1)1t1t2GM(t1,s))\displaystyle(GM(t_{1},s))^{\frac{t_{1}}{t_{2}}}h(s+t_{1})^{1-\frac{t_{1}}{t_{% 2}}}-GM(t_{1},s))( italic_G italic_M ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_s ) ) start_POSTSUPERSCRIPT divide start_ARG italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT italic_h ( italic_s + italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 1 - divide start_ARG italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT - italic_G italic_M ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_s ) ) (3.10)
\displaystyle\geq GM(t1,s)[(h(s+t1)GM(t1,s))1t1t21]𝐺𝑀subscript𝑡1𝑠delimited-[]superscript𝑠subscript𝑡1𝐺𝑀subscript𝑡1𝑠1subscript𝑡1subscript𝑡21\displaystyle GM(t_{1},s)\Big{[}\Big{(}\frac{h(s+t_{1})}{GM(t_{1},s)}\Big{)}^{% 1-\frac{t_{1}}{t_{2}}}-1\Big{]}italic_G italic_M ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_s ) [ ( divide start_ARG italic_h ( italic_s + italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) end_ARG start_ARG italic_G italic_M ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_s ) end_ARG ) start_POSTSUPERSCRIPT 1 - divide start_ARG italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT - 1 ]

We observe that (h(s+t1)GM(t1,s))1t1t21superscript𝑠subscript𝑡1𝐺𝑀subscript𝑡1𝑠1subscript𝑡1subscript𝑡21\Big{(}\frac{h(s+t_{1})}{GM(t_{1},s)}\Big{)}^{1-\frac{t_{1}}{t_{2}}}\geq 1( divide start_ARG italic_h ( italic_s + italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) end_ARG start_ARG italic_G italic_M ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_s ) end_ARG ) start_POSTSUPERSCRIPT 1 - divide start_ARG italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT ≥ 1 as 1t1t201subscript𝑡1subscript𝑡201-\frac{t_{1}}{t_{2}}\geq 01 - divide start_ARG italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ≥ 0 and h(s+t1)GM(t1,s)1.𝑠subscript𝑡1𝐺𝑀subscript𝑡1𝑠1\frac{h(s+t_{1})}{GM(t_{1},s)}\geq 1.divide start_ARG italic_h ( italic_s + italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) end_ARG start_ARG italic_G italic_M ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_s ) end_ARG ≥ 1 . Hence from (3.10), it follows that GM(t2,s)GM(t1,s)0𝐺𝑀subscript𝑡2𝑠𝐺𝑀subscript𝑡1𝑠0GM(t_{2},s)-GM(t_{1},s)\geq 0italic_G italic_M ( italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_s ) - italic_G italic_M ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_s ) ≥ 0 for all t2t10,subscript𝑡2subscript𝑡10t_{2}\geq t_{1}\geq 0,italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ≥ italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≥ 0 , and for all s0𝑠0s\geq 0italic_s ≥ 0 if h(t)𝑡h(t)italic_h ( italic_t ) is increasing in t𝑡titalic_t. One can prove the converse part in a similar manner. This proves the theorem.\hfill\Box

Theorem 3.4

A random variable has increasing (decreasing) hazard rate if and only if

HM(t2,s)()HM(t1,s)𝐻𝑀subscript𝑡2𝑠𝐻𝑀subscript𝑡1𝑠HM(t_{2},s)\geq(\leq)HM(t_{1},s)italic_H italic_M ( italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_s ) ≥ ( ≤ ) italic_H italic_M ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_s )

for all t2t10,subscript𝑡2subscript𝑡10t_{2}\geq t_{1}\geq 0,italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ≥ italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≥ 0 , s0.𝑠0s\geq 0.italic_s ≥ 0 .

Proof. Let h(x)𝑥h(x)italic_h ( italic_x ) be monotone increasing and t2t10.subscript𝑡2subscript𝑡10t_{2}\geq t_{1}\geq 0.italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ≥ italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≥ 0 . Then

1HM(t2,s)1HM(t1,s)1𝐻𝑀subscript𝑡2𝑠1𝐻𝑀subscript𝑡1𝑠\displaystyle\frac{1}{HM(t_{2},s)}-\frac{1}{HM(t_{1},s)}divide start_ARG 1 end_ARG start_ARG italic_H italic_M ( italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_s ) end_ARG - divide start_ARG 1 end_ARG start_ARG italic_H italic_M ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_s ) end_ARG =\displaystyle== 1t2ss+t21h(u)𝑑u1HM(t1,s)1subscript𝑡2superscriptsubscript𝑠𝑠subscript𝑡21𝑢differential-d𝑢1𝐻𝑀subscript𝑡1𝑠\displaystyle\frac{1}{t_{2}}\int_{s}^{s+t_{2}}\frac{1}{h(u)}du-\frac{1}{HM(t_{% 1},s)}divide start_ARG 1 end_ARG start_ARG italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ∫ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_s + italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG italic_h ( italic_u ) end_ARG italic_d italic_u - divide start_ARG 1 end_ARG start_ARG italic_H italic_M ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_s ) end_ARG
=\displaystyle== 1t2(ss+t11h(u)𝑑u+s+t1s+t21h(u)𝑑u)1HM(t1,s)1subscript𝑡2superscriptsubscript𝑠𝑠subscript𝑡11𝑢differential-d𝑢superscriptsubscript𝑠subscript𝑡1𝑠subscript𝑡21𝑢differential-d𝑢1𝐻𝑀subscript𝑡1𝑠\displaystyle\frac{1}{t_{2}}\Big{(}\int_{s}^{s+t_{1}}\frac{1}{h(u)}du+\int_{s+% t_{1}}^{s+t_{2}}\frac{1}{h(u)}du\Big{)}-\frac{1}{HM(t_{1},s)}divide start_ARG 1 end_ARG start_ARG italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ( ∫ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_s + italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG italic_h ( italic_u ) end_ARG italic_d italic_u + ∫ start_POSTSUBSCRIPT italic_s + italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_s + italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG italic_h ( italic_u ) end_ARG italic_d italic_u ) - divide start_ARG 1 end_ARG start_ARG italic_H italic_M ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_s ) end_ARG
=\displaystyle== (t1t2)1HM(t1,s)+t2t1t21HM(t2t1,s+t1)1HM(t1,s)subscript𝑡1subscript𝑡21𝐻𝑀subscript𝑡1𝑠subscript𝑡2subscript𝑡1subscript𝑡21𝐻𝑀subscript𝑡2subscript𝑡1𝑠subscript𝑡11𝐻𝑀subscript𝑡1𝑠\displaystyle\Big{(}\frac{t_{1}}{t_{2}}\Big{)}\frac{1}{HM(t_{1},s)}+\frac{t_{2% }-t_{1}}{t_{2}}\frac{1}{HM(t_{2}-t_{1},s+t_{1})}-\frac{1}{HM(t_{1},s)}( divide start_ARG italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ) divide start_ARG 1 end_ARG start_ARG italic_H italic_M ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_s ) end_ARG + divide start_ARG italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG divide start_ARG 1 end_ARG start_ARG italic_H italic_M ( italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_s + italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) end_ARG - divide start_ARG 1 end_ARG start_ARG italic_H italic_M ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_s ) end_ARG
=\displaystyle== (t1t2t2)1HM(t1,s)+(t2t1t2)1HM(t2t1,s+t1)subscript𝑡1subscript𝑡2subscript𝑡21𝐻𝑀subscript𝑡1𝑠subscript𝑡2subscript𝑡1subscript𝑡21𝐻𝑀subscript𝑡2subscript𝑡1𝑠subscript𝑡1\displaystyle\big{(}\frac{t_{1}-t_{2}}{t_{2}}\big{)}\frac{1}{HM(t_{1},s)}+\big% {(}\frac{t_{2}-t_{1}}{t_{2}}\big{)}\frac{1}{HM(t_{2}-t_{1},s+t_{1})}( divide start_ARG italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ) divide start_ARG 1 end_ARG start_ARG italic_H italic_M ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_s ) end_ARG + ( divide start_ARG italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ) divide start_ARG 1 end_ARG start_ARG italic_H italic_M ( italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_s + italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) end_ARG
\displaystyle\leq (t1t2t2)1h(s)+(t2t1t2)1h(s+t1)=(t1t2t2)h(s+t1)h(s)h(s)h(s+t1)0,subscript𝑡1subscript𝑡2subscript𝑡21𝑠subscript𝑡2subscript𝑡1subscript𝑡21𝑠subscript𝑡1subscript𝑡1subscript𝑡2subscript𝑡2𝑠subscript𝑡1𝑠𝑠𝑠subscript𝑡10\displaystyle\big{(}\frac{t_{1}-t_{2}}{t_{2}}\big{)}\frac{1}{h(s)}+\big{(}% \frac{t_{2}-t_{1}}{t_{2}}\big{)}\frac{1}{h(s+t_{1})}=\big{(}\frac{t_{1}-t_{2}}% {t_{2}}\big{)}\frac{h(s+t_{1})-h(s)}{h(s)h(s+t_{1})}\leq 0,( divide start_ARG italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ) divide start_ARG 1 end_ARG start_ARG italic_h ( italic_s ) end_ARG + ( divide start_ARG italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ) divide start_ARG 1 end_ARG start_ARG italic_h ( italic_s + italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) end_ARG = ( divide start_ARG italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ) divide start_ARG italic_h ( italic_s + italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) - italic_h ( italic_s ) end_ARG start_ARG italic_h ( italic_s ) italic_h ( italic_s + italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) end_ARG ≤ 0 ,

proving one part of the theorem. We can prove the converse part easily. This completes the proof.\hfill\Box

Theorem 3.3 and Theorem 3.4 are restated in the following corollary.

Corollary 3.1

X𝑋Xitalic_X is IFR (DFR) if and only if GM(t,s)𝐺𝑀𝑡𝑠GM(t,s)italic_G italic_M ( italic_t , italic_s ) is increasing (decreasing) in t𝑡titalic_t for all s0.𝑠0s\geq 0.italic_s ≥ 0 . Similarly, X𝑋Xitalic_X is IFR (DFR) if and only if HM(t,s)𝐻𝑀𝑡𝑠HM(t,s)italic_H italic_M ( italic_t , italic_s ) is increasing (decreasing) in t𝑡titalic_t for all s0.𝑠0s\geq 0.italic_s ≥ 0 .\hfill\Box

The aforementioned two theorems help us to immediately infer that the conditions r(t),GM(t,s)𝑟𝑡𝐺𝑀𝑡𝑠r(t),GM(t,s)italic_r ( italic_t ) , italic_G italic_M ( italic_t , italic_s ) and HM(t,s)𝐻𝑀𝑡𝑠HM(t,s)italic_H italic_M ( italic_t , italic_s ) increasing (decreasing) in t𝑡titalic_t for all s0,𝑠0s\geq 0,italic_s ≥ 0 , are equivalent. However, the importance of increasing (decreasing) aging classes based on GM(t,s)𝐺𝑀𝑡𝑠GM(t,s)italic_G italic_M ( italic_t , italic_s ) and HM(t,s)𝐻𝑀𝑡𝑠HM(t,s)italic_H italic_M ( italic_t , italic_s ) is due to the fact that they are generalization of geometric failure and harmonic failure rates respectively.

4 Probabilistic Order based on means of aging functions

The role of stochastic orders are widely accepted in various fields by scientists. In this section, we give a brief account of some new orders based on aging functions defined in the present work.
          Let X𝑋Xitalic_X and Y𝑌Yitalic_Y be two random variables with failure rates FR, arithmetic mean failure rates AFR, geometric failure rates GFR, harmonic failure rates HFR, geometric aging intensity GAI, harmonic aging intensity HAI, given by rX(t),rY(t);subscript𝑟𝑋𝑡subscript𝑟𝑌𝑡r_{X}(t),r_{Y}(t);italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) , italic_r start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_t ) ; AX(t),AY(t);subscript𝐴𝑋𝑡subscript𝐴𝑌𝑡A_{X}(t),A_{Y}(t);italic_A start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) , italic_A start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_t ) ; GX(t),GY(t);subscript𝐺𝑋𝑡subscript𝐺𝑌𝑡G_{X}(t),G_{Y}(t);italic_G start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) , italic_G start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_t ) ; HX(t),HY(t);subscript𝐻𝑋𝑡subscript𝐻𝑌𝑡H_{X}(t),H_{Y}(t);italic_H start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) , italic_H start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_t ) ; LXG(t),LYG(t);subscriptsuperscript𝐿𝐺𝑋𝑡subscriptsuperscript𝐿𝐺𝑌𝑡L^{G}_{X}(t),L^{G}_{Y}(t);italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) , italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_t ) ;LXH(t),LYH(t);subscriptsuperscript𝐿𝐻𝑋𝑡subscriptsuperscript𝐿𝐻𝑌𝑡L^{H}_{X}(t),L^{H}_{Y}(t);italic_L start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) , italic_L start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_t ) ; respectively. The following definition gives a detailed account of the newly introduced orders namely AFR,GFR,HFR,GAI𝐴𝐹𝑅𝐺𝐹𝑅𝐻𝐹𝑅𝐺𝐴𝐼AFR,GFR,HFR,GAIitalic_A italic_F italic_R , italic_G italic_F italic_R , italic_H italic_F italic_R , italic_G italic_A italic_I and HAI𝐻𝐴𝐼HAIitalic_H italic_A italic_I.

Definition 4.1

A random variable X𝑋Xitalic_X is said to be smaller than another random variable Y𝑌Yitalic_Y in

  1. (i)

    arithmetic mean failure rate (denoted by XAFRYsubscript𝐴𝐹𝑅𝑋𝑌X\leq_{AFR}Yitalic_X ≤ start_POSTSUBSCRIPT italic_A italic_F italic_R end_POSTSUBSCRIPT italic_Y) if AX(t)AY(t);subscript𝐴𝑋𝑡subscript𝐴𝑌𝑡A_{X}(t)\geq A_{Y}(t);italic_A start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) ≥ italic_A start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_t ) ; for all t>0,𝑡0t>0,italic_t > 0 ,

  2. (ii)

    geometric mean failure rate (denoted by XGFRYsubscript𝐺𝐹𝑅𝑋𝑌X\leq_{GFR}Yitalic_X ≤ start_POSTSUBSCRIPT italic_G italic_F italic_R end_POSTSUBSCRIPT italic_Y) if GX(t)GY(t);subscript𝐺𝑋𝑡subscript𝐺𝑌𝑡G_{X}(t)\geq G_{Y}(t);italic_G start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) ≥ italic_G start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_t ) ; for all t>0,𝑡0t>0,italic_t > 0 ,

  3. (iii)

    harmonic mean failure rate (denoted by XHFRYsubscript𝐻𝐹𝑅𝑋𝑌X\leq_{HFR}Yitalic_X ≤ start_POSTSUBSCRIPT italic_H italic_F italic_R end_POSTSUBSCRIPT italic_Y) if HX(t)HY(t);subscript𝐻𝑋𝑡subscript𝐻𝑌𝑡H_{X}(t)\geq H_{Y}(t);italic_H start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) ≥ italic_H start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_t ) ; for all t>0,𝑡0t>0,italic_t > 0 ,

  4. (iv)

    geometric aging intensity (denoted by XGAIYsubscript𝐺𝐴𝐼𝑋𝑌X\leq_{GAI}Yitalic_X ≤ start_POSTSUBSCRIPT italic_G italic_A italic_I end_POSTSUBSCRIPT italic_Y) if LXG(t)LYG(t);subscriptsuperscript𝐿𝐺𝑋𝑡subscriptsuperscript𝐿𝐺𝑌𝑡L^{G}_{X}(t)\geq L^{G}_{Y}(t);italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) ≥ italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_t ) ; for all t>0,𝑡0t>0,italic_t > 0 ,

  5. (v)

    harmonic aging intensity (denoted by XHAIYsubscript𝐻𝐴𝐼𝑋𝑌X\leq_{HAI}Yitalic_X ≤ start_POSTSUBSCRIPT italic_H italic_A italic_I end_POSTSUBSCRIPT italic_Y) if LXH(t)LYH(t);subscriptsuperscript𝐿𝐻𝑋𝑡subscriptsuperscript𝐿𝐻𝑌𝑡L^{H}_{X}(t)\geq L^{H}_{Y}(t);italic_L start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) ≥ italic_L start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_t ) ; for all t>0.𝑡0t>0.italic_t > 0 .\hfill\Box

The reflexive, commutative and antisymmetric properties of GAI and HAI order are given below.

Theorem 4.1
  1. (i)

    XGAIXsubscript𝐺𝐴𝐼𝑋𝑋X\leq_{GAI}Xitalic_X ≤ start_POSTSUBSCRIPT italic_G italic_A italic_I end_POSTSUBSCRIPT italic_X and XHAIX.subscript𝐻𝐴𝐼𝑋𝑋X\leq_{HAI}X.italic_X ≤ start_POSTSUBSCRIPT italic_H italic_A italic_I end_POSTSUBSCRIPT italic_X .

  2. (ii)

    If XhrYsubscript𝑟𝑋𝑌X\leq_{hr}Yitalic_X ≤ start_POSTSUBSCRIPT italic_h italic_r end_POSTSUBSCRIPT italic_Y then XAFRY.subscript𝐴𝐹𝑅𝑋𝑌X\leq_{AFR}Y.italic_X ≤ start_POSTSUBSCRIPT italic_A italic_F italic_R end_POSTSUBSCRIPT italic_Y . If XhrYsubscript𝑟𝑋𝑌X\leq_{hr}Yitalic_X ≤ start_POSTSUBSCRIPT italic_h italic_r end_POSTSUBSCRIPT italic_Y then XHFRY.subscript𝐻𝐹𝑅𝑋𝑌X\leq_{HFR}Y.italic_X ≤ start_POSTSUBSCRIPT italic_H italic_F italic_R end_POSTSUBSCRIPT italic_Y .

  3. (iii)

    If XGAIYsubscript𝐺𝐴𝐼𝑋𝑌X\leq_{GAI}Yitalic_X ≤ start_POSTSUBSCRIPT italic_G italic_A italic_I end_POSTSUBSCRIPT italic_Y and YGAIZsubscript𝐺𝐴𝐼𝑌𝑍Y\leq_{GAI}Zitalic_Y ≤ start_POSTSUBSCRIPT italic_G italic_A italic_I end_POSTSUBSCRIPT italic_Z then XGAIZ.subscript𝐺𝐴𝐼𝑋𝑍X\leq_{GAI}Z.italic_X ≤ start_POSTSUBSCRIPT italic_G italic_A italic_I end_POSTSUBSCRIPT italic_Z . If XHAIYsubscript𝐻𝐴𝐼𝑋𝑌X\leq_{HAI}Yitalic_X ≤ start_POSTSUBSCRIPT italic_H italic_A italic_I end_POSTSUBSCRIPT italic_Y and YHAIZsubscript𝐻𝐴𝐼𝑌𝑍Y\leq_{HAI}Zitalic_Y ≤ start_POSTSUBSCRIPT italic_H italic_A italic_I end_POSTSUBSCRIPT italic_Z then XHAIZ.subscript𝐻𝐴𝐼𝑋𝑍X\leq_{HAI}Z.italic_X ≤ start_POSTSUBSCRIPT italic_H italic_A italic_I end_POSTSUBSCRIPT italic_Z .

  4. (iv)

    If XGAIYsubscript𝐺𝐴𝐼𝑋𝑌X\leq_{GAI}Yitalic_X ≤ start_POSTSUBSCRIPT italic_G italic_A italic_I end_POSTSUBSCRIPT italic_Y and YGAIXsubscript𝐺𝐴𝐼𝑌𝑋Y\leq_{GAI}Xitalic_Y ≤ start_POSTSUBSCRIPT italic_G italic_A italic_I end_POSTSUBSCRIPT italic_X then X𝑋Xitalic_X and Y𝑌Yitalic_Y have proportional failure rates. If XHAIYsubscript𝐻𝐴𝐼𝑋𝑌X\leq_{HAI}Yitalic_X ≤ start_POSTSUBSCRIPT italic_H italic_A italic_I end_POSTSUBSCRIPT italic_Y and YHAIXsubscript𝐻𝐴𝐼𝑌𝑋Y\leq_{HAI}Xitalic_Y ≤ start_POSTSUBSCRIPT italic_H italic_A italic_I end_POSTSUBSCRIPT italic_X then X𝑋Xitalic_X and Y𝑌Yitalic_Y have proportional failure rates.

Proof. Proofs of (i), (ii) and (iii) are straightforward. If XGAIYsubscript𝐺𝐴𝐼𝑋𝑌X\leq_{GAI}Yitalic_X ≤ start_POSTSUBSCRIPT italic_G italic_A italic_I end_POSTSUBSCRIPT italic_Y and YGAIXsubscript𝐺𝐴𝐼𝑌𝑋Y\leq_{GAI}Xitalic_Y ≤ start_POSTSUBSCRIPT italic_G italic_A italic_I end_POSTSUBSCRIPT italic_X then LXG(t)=LYG(t),subscriptsuperscript𝐿𝐺𝑋𝑡subscriptsuperscript𝐿𝐺𝑌𝑡L^{G}_{X}(t)=L^{G}_{Y}(t),italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) = italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_t ) , which on simplification gives trY(t)rX(t)ddt(rY(t)rX(t))=0𝑡subscript𝑟𝑌𝑡subscript𝑟𝑋𝑡𝑑𝑑𝑡subscript𝑟𝑌𝑡subscript𝑟𝑋𝑡0t\frac{r_{Y}(t)}{r_{X}(t)}\frac{d}{dt}\Big{(}\frac{r_{Y}(t)}{r_{X}(t)}\Big{)}=0italic_t divide start_ARG italic_r start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_t ) end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) end_ARG divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG ( divide start_ARG italic_r start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_t ) end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) end_ARG ) = 0 for all t>0𝑡0t>0italic_t > 0. This implies rY(t)=crX(t)subscript𝑟𝑌𝑡𝑐subscript𝑟𝑋𝑡r_{Y}(t)=cr_{X}(t)italic_r start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_t ) = italic_c italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) for all t>0.𝑡0t>0.italic_t > 0 . If XHAIYsubscript𝐻𝐴𝐼𝑋𝑌X\leq_{HAI}Yitalic_X ≤ start_POSTSUBSCRIPT italic_H italic_A italic_I end_POSTSUBSCRIPT italic_Y and YHAIXsubscript𝐻𝐴𝐼𝑌𝑋Y\leq_{HAI}Xitalic_Y ≤ start_POSTSUBSCRIPT italic_H italic_A italic_I end_POSTSUBSCRIPT italic_X then LXH(t)=LYH(t),subscriptsuperscript𝐿𝐻𝑋𝑡subscriptsuperscript𝐿𝐻𝑌𝑡L^{H}_{X}(t)=L^{H}_{Y}(t),italic_L start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) = italic_L start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_t ) , gives

rX(t)0t1rX(u)𝑑u=rY(t)0t1rY(u)𝑑u.subscript𝑟𝑋𝑡superscriptsubscript0𝑡1subscript𝑟𝑋𝑢differential-d𝑢subscript𝑟𝑌𝑡superscriptsubscript0𝑡1subscript𝑟𝑌𝑢differential-d𝑢r_{X}(t)\int_{0}^{t}\frac{1}{r_{X}(u)}du=r_{Y}(t)\int_{0}^{t}\frac{1}{r_{Y}(u)% }du.italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_u ) end_ARG italic_d italic_u = italic_r start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_t ) ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_u ) end_ARG italic_d italic_u . (4.11)

On differentiating, we get

(ddtrX(t))(0t1rX(u)𝑑u)=(ddtrY(t))(0t1rY(u)𝑑u).𝑑𝑑𝑡subscript𝑟𝑋𝑡superscriptsubscript0𝑡1subscript𝑟𝑋𝑢differential-d𝑢𝑑𝑑𝑡subscript𝑟𝑌𝑡superscriptsubscript0𝑡1subscript𝑟𝑌𝑢differential-d𝑢\Big{(}\frac{d}{dt}r_{X}(t)\Big{)}\Big{(}\int_{0}^{t}\frac{1}{r_{X}(u)}du\Big{% )}=\Big{(}\frac{d}{dt}r_{Y}(t)\Big{)}\Big{(}\int_{0}^{t}\frac{1}{r_{Y}(u)}du% \Big{)}.( divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) ) ( ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_u ) end_ARG italic_d italic_u ) = ( divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG italic_r start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_t ) ) ( ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_u ) end_ARG italic_d italic_u ) . (4.12)

From (4.11) and (4.12), we find that rX(t)rY(t)=rX(t)rY(t)subscript𝑟𝑋𝑡subscript𝑟𝑌𝑡superscriptsubscript𝑟𝑋𝑡subscriptsuperscript𝑟𝑌𝑡\frac{r_{X}(t)}{r_{Y}(t)}=\frac{r_{X}^{{}^{\prime}}(t)}{r^{{}^{\prime}}_{Y}(t)}divide start_ARG italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_t ) end_ARG = divide start_ARG italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT ( italic_t ) end_ARG start_ARG italic_r start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_t ) end_ARG where represents differentiation with respect to t.𝑡t.italic_t . This implies, ddt(rY(t)rX(t))=0.𝑑𝑑𝑡subscript𝑟𝑌𝑡subscript𝑟𝑋𝑡0\frac{d}{dt}\Big{(}\frac{r_{Y}(t)}{r_{X}(t)}\Big{)}=0.divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG ( divide start_ARG italic_r start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_t ) end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) end_ARG ) = 0 . This proves (iv)𝑖𝑣(iv)( italic_i italic_v ). \hfill\Box

It is worthwhile to note from Sengupta and Deshpande (1994) and Rowell and Siegrist (1998) that monotonicity of the ratio rX(t)/rY(t)subscript𝑟𝑋𝑡subscript𝑟𝑌𝑡r_{X}(t)/r_{Y}(t)italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) / italic_r start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_t ) for all t0𝑡0t\geq 0italic_t ≥ 0 is an equivalent condition to say that a random variable X𝑋Xitalic_X is aging faster than Y𝑌Yitalic_Y, denoted by XAFY.subscript𝐴𝐹𝑋𝑌X\leq_{AF}Y.italic_X ≤ start_POSTSUBSCRIPT italic_A italic_F end_POSTSUBSCRIPT italic_Y . Nanda et al. (2007) noted that XAFYsubscript𝐴𝐹𝑋𝑌X\leq_{AF}Yitalic_X ≤ start_POSTSUBSCRIPT italic_A italic_F end_POSTSUBSCRIPT italic_Y then XAIYsubscript𝐴𝐼𝑋𝑌X\leq_{AI}Yitalic_X ≤ start_POSTSUBSCRIPT italic_A italic_I end_POSTSUBSCRIPT italic_Y.

The next theorem gives an equivalent condition of GAI𝐺𝐴𝐼GAIitalic_G italic_A italic_I order. We also prove that AF𝐴𝐹AFitalic_A italic_F order is stronger than GAI𝐺𝐴𝐼GAIitalic_G italic_A italic_I order and give a sufficient condition for GAI𝐺𝐴𝐼GAIitalic_G italic_A italic_I order.

Theorem 4.2

For two random variables X𝑋Xitalic_X and Y,𝑌Y,italic_Y ,

  1. (i)

    XGAIYsubscript𝐺𝐴𝐼𝑋𝑌X\leq_{GAI}Yitalic_X ≤ start_POSTSUBSCRIPT italic_G italic_A italic_I end_POSTSUBSCRIPT italic_Y if and only if ln(rX(t)rY(t))1t0tln(rX(u)rY(u))𝑑usubscript𝑟𝑋𝑡subscript𝑟𝑌𝑡1𝑡superscriptsubscript0𝑡subscript𝑟𝑋𝑢subscript𝑟𝑌𝑢differential-d𝑢\ln\Big{(}\frac{r_{X}(t)}{r_{Y}(t)}\Big{)}\geq\frac{1}{t}\int_{0}^{t}\ln\Big{(% }\frac{r_{X}(u)}{r_{Y}(u)}\Big{)}duroman_ln ( divide start_ARG italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_t ) end_ARG ) ≥ divide start_ARG 1 end_ARG start_ARG italic_t end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT roman_ln ( divide start_ARG italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_u ) end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_u ) end_ARG ) italic_d italic_u, for t>0𝑡0t>0italic_t > 0

  2. (ii)

    If ln(rX(t)rY(t))subscript𝑟𝑋𝑡subscript𝑟𝑌𝑡\ln\Big{(}\frac{r_{X}(t)}{r_{Y}(t)}\Big{)}roman_ln ( divide start_ARG italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_t ) end_ARG ) is increasing in t>0𝑡0t>0italic_t > 0 then XGAIY.subscript𝐺𝐴𝐼𝑋𝑌X\leq_{GAI}Y.italic_X ≤ start_POSTSUBSCRIPT italic_G italic_A italic_I end_POSTSUBSCRIPT italic_Y .

  3. (iii)

    If XAFYsubscript𝐴𝐹𝑋𝑌X\leq_{AF}Yitalic_X ≤ start_POSTSUBSCRIPT italic_A italic_F end_POSTSUBSCRIPT italic_Y then XGAIYsubscript𝐺𝐴𝐼𝑋𝑌X\leq_{GAI}Yitalic_X ≤ start_POSTSUBSCRIPT italic_G italic_A italic_I end_POSTSUBSCRIPT italic_Y.

Proof. We note that XGAIYsubscript𝐺𝐴𝐼𝑋𝑌X\leq_{GAI}Yitalic_X ≤ start_POSTSUBSCRIPT italic_G italic_A italic_I end_POSTSUBSCRIPT italic_Y if and only if rX(t)exp(1t0tlnrY(u)𝑑u)rY(t)exp(1t0tlnrX(u)𝑑u)subscript𝑟𝑋𝑡1𝑡superscriptsubscript0𝑡subscript𝑟𝑌𝑢differential-d𝑢subscript𝑟𝑌𝑡1𝑡superscriptsubscript0𝑡subscript𝑟𝑋𝑢differential-d𝑢r_{X}(t)\exp\big{(}\frac{1}{t}\int_{0}^{t}\ln r_{Y}(u)du\big{)}\geq r_{Y}(t)% \exp\big{(}\frac{1}{t}\int_{0}^{t}\ln r_{X}(u)du\big{)}italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) roman_exp ( divide start_ARG 1 end_ARG start_ARG italic_t end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT roman_ln italic_r start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_u ) italic_d italic_u ) ≥ italic_r start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_t ) roman_exp ( divide start_ARG 1 end_ARG start_ARG italic_t end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT roman_ln italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_u ) italic_d italic_u ). Thus, XGAIYsubscript𝐺𝐴𝐼𝑋𝑌X\leq_{GAI}Yitalic_X ≤ start_POSTSUBSCRIPT italic_G italic_A italic_I end_POSTSUBSCRIPT italic_Y is equivalent to the fact that ln(rX(t)rY(t))1t0tln(rX(u)rY(u))𝑑usubscript𝑟𝑋𝑡subscript𝑟𝑌𝑡1𝑡superscriptsubscript0𝑡subscript𝑟𝑋𝑢subscript𝑟𝑌𝑢differential-d𝑢\ln\Big{(}\frac{r_{X}(t)}{r_{Y}(t)}\Big{)}\geq\frac{1}{t}\int_{0}^{t}\ln\Big{(% }\frac{r_{X}(u)}{r_{Y}(u)}\Big{)}duroman_ln ( divide start_ARG italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_t ) end_ARG ) ≥ divide start_ARG 1 end_ARG start_ARG italic_t end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT roman_ln ( divide start_ARG italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_u ) end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_u ) end_ARG ) italic_d italic_u for all t>0.𝑡0t>0.italic_t > 0 . This proves (i)𝑖(i)( italic_i ). To prove (ii),𝑖𝑖(ii),( italic_i italic_i ) , it is sufficient to observe that ln(rX(t)rY(t))subscript𝑟𝑋𝑡subscript𝑟𝑌𝑡\ln\Big{(}\frac{r_{X}(t)}{r_{Y}(t)}\Big{)}roman_ln ( divide start_ARG italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_t ) end_ARG ) is increasing in t>0𝑡0t>0italic_t > 0 implies 0tlnrX(t)rY(t)du0tlnrX(u)rY(u)dusuperscriptsubscript0𝑡subscript𝑟𝑋𝑡subscript𝑟𝑌𝑡𝑑𝑢superscriptsubscript0𝑡subscript𝑟𝑋𝑢subscript𝑟𝑌𝑢𝑑𝑢\int_{0}^{t}\ln\frac{r_{X}(t)}{r_{Y}(t)}du\geq\int_{0}^{t}\ln\frac{r_{X}(u)}{r% _{Y}(u)}du∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT roman_ln divide start_ARG italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_t ) end_ARG italic_d italic_u ≥ ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT roman_ln divide start_ARG italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_u ) end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_u ) end_ARG italic_d italic_u for ut𝑢𝑡u\leq titalic_u ≤ italic_t, giving ln(rX(t)rY(t))1t0tln(rX(u)rY(u))𝑑usubscript𝑟𝑋𝑡subscript𝑟𝑌𝑡1𝑡superscriptsubscript0𝑡subscript𝑟𝑋𝑢subscript𝑟𝑌𝑢differential-d𝑢\ln\Big{(}\frac{r_{X}(t)}{r_{Y}(t)}\Big{)}\geq\frac{1}{t}\int_{0}^{t}\ln\Big{(% }\frac{r_{X}(u)}{r_{Y}(u)}\Big{)}duroman_ln ( divide start_ARG italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_t ) end_ARG ) ≥ divide start_ARG 1 end_ARG start_ARG italic_t end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT roman_ln ( divide start_ARG italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_u ) end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_u ) end_ARG ) italic_d italic_u which is an equivalent condition of XGAIYsubscript𝐺𝐴𝐼𝑋𝑌X\leq_{GAI}Yitalic_X ≤ start_POSTSUBSCRIPT italic_G italic_A italic_I end_POSTSUBSCRIPT italic_Y as given in (i)𝑖(i)( italic_i ). Thus, (ii)𝑖𝑖(ii)( italic_i italic_i ) is proved. To prove (iii)𝑖𝑖𝑖(iii)( italic_i italic_i italic_i ), we note that XAFYsubscript𝐴𝐹𝑋𝑌X\leq_{AF}Yitalic_X ≤ start_POSTSUBSCRIPT italic_A italic_F end_POSTSUBSCRIPT italic_Y if and only if ln(rX(t)rY(t))subscript𝑟𝑋𝑡subscript𝑟𝑌𝑡\ln\Big{(}\frac{r_{X}(t)}{r_{Y}(t)}\Big{)}roman_ln ( divide start_ARG italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_t ) end_ARG ) is increasing in t>0𝑡0t>0italic_t > 0. This implies ln(rX(t)rY(t))1t0tln(rX(u)rY(u))𝑑u,subscript𝑟𝑋𝑡subscript𝑟𝑌𝑡1𝑡superscriptsubscript0𝑡subscript𝑟𝑋𝑢subscript𝑟𝑌𝑢differential-d𝑢\ln\Big{(}\frac{r_{X}(t)}{r_{Y}(t)}\Big{)}\geq\frac{1}{t}\int_{0}^{t}\ln\Big{(% }\frac{r_{X}(u)}{r_{Y}(u)}\Big{)}du,roman_ln ( divide start_ARG italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_t ) end_ARG ) ≥ divide start_ARG 1 end_ARG start_ARG italic_t end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT roman_ln ( divide start_ARG italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_u ) end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_u ) end_ARG ) italic_d italic_u , and this is equivalent to XGAIYsubscript𝐺𝐴𝐼𝑋𝑌X\leq_{GAI}Yitalic_X ≤ start_POSTSUBSCRIPT italic_G italic_A italic_I end_POSTSUBSCRIPT italic_Y as proved in (i)𝑖(i)( italic_i ). This completes the proof. \hfill\Box

It is easy to see from the following theorem that FR𝐹𝑅FRitalic_F italic_R order is stronger than AFR order, GFR order and HFR order.

Theorem 4.3

If XFRYsubscript𝐹𝑅𝑋𝑌X\leq_{FR}Yitalic_X ≤ start_POSTSUBSCRIPT italic_F italic_R end_POSTSUBSCRIPT italic_Y then XAFRY,subscript𝐴𝐹𝑅𝑋𝑌X\leq_{AFR}Y,italic_X ≤ start_POSTSUBSCRIPT italic_A italic_F italic_R end_POSTSUBSCRIPT italic_Y , XGFRY,subscript𝐺𝐹𝑅𝑋𝑌X\leq_{GFR}Y,italic_X ≤ start_POSTSUBSCRIPT italic_G italic_F italic_R end_POSTSUBSCRIPT italic_Y , and XHFRY.subscript𝐻𝐹𝑅𝑋𝑌X\leq_{HFR}Y.italic_X ≤ start_POSTSUBSCRIPT italic_H italic_F italic_R end_POSTSUBSCRIPT italic_Y .

Proof. If XFRYsubscript𝐹𝑅𝑋𝑌X\leq_{FR}Yitalic_X ≤ start_POSTSUBSCRIPT italic_F italic_R end_POSTSUBSCRIPT italic_Y then rX(t)rY(t)subscript𝑟𝑋𝑡subscript𝑟𝑌𝑡r_{X}(t)\geq r_{Y}(t)italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) ≥ italic_r start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_t ) for t>0,𝑡0t>0,italic_t > 0 , which implies 0trX(u)𝑑u0trY(u)𝑑u,superscriptsubscript0𝑡subscript𝑟𝑋𝑢differential-d𝑢superscriptsubscript0𝑡subscript𝑟𝑌𝑢differential-d𝑢\int_{0}^{t}r_{X}(u)du\geq\int_{0}^{t}r_{Y}(u)du,∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_u ) italic_d italic_u ≥ ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT italic_r start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_u ) italic_d italic_u , giving XAFRY.subscript𝐴𝐹𝑅𝑋𝑌X\leq_{AFR}Y.italic_X ≤ start_POSTSUBSCRIPT italic_A italic_F italic_R end_POSTSUBSCRIPT italic_Y . Similarly, rX(t)rY(t)subscript𝑟𝑋𝑡subscript𝑟𝑌𝑡r_{X}(t)\geq r_{Y}(t)italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) ≥ italic_r start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_t ) for t>0,𝑡0t>0,italic_t > 0 , implies 0tlnrX(u)𝑑u0tlnrY(u)𝑑u,superscriptsubscript0𝑡subscript𝑟𝑋𝑢differential-d𝑢superscriptsubscript0𝑡subscript𝑟𝑌𝑢differential-d𝑢\int_{0}^{t}\ln r_{X}(u)du\geq\int_{0}^{t}\ln r_{Y}(u)du,∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT roman_ln italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_u ) italic_d italic_u ≥ ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT roman_ln italic_r start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_u ) italic_d italic_u , giving exp(1t0tlnrX(u)𝑑u)exp(1t0tlnrY(u)𝑑u).1𝑡superscriptsubscript0𝑡subscript𝑟𝑋𝑢differential-d𝑢1𝑡superscriptsubscript0𝑡subscript𝑟𝑌𝑢differential-d𝑢\exp\left(\frac{1}{t}\int_{0}^{t}\ln r_{X}(u)du\right)\geq\exp\left(\frac{1}{t% }\int_{0}^{t}\ln r_{Y}(u)du\right).roman_exp ( divide start_ARG 1 end_ARG start_ARG italic_t end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT roman_ln italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_u ) italic_d italic_u ) ≥ roman_exp ( divide start_ARG 1 end_ARG start_ARG italic_t end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT roman_ln italic_r start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_u ) italic_d italic_u ) . Thus, XFRYsubscript𝐹𝑅𝑋𝑌X\leq_{FR}Yitalic_X ≤ start_POSTSUBSCRIPT italic_F italic_R end_POSTSUBSCRIPT italic_Y implies XGFRY.subscript𝐺𝐹𝑅𝑋𝑌X\leq_{GFR}Y.italic_X ≤ start_POSTSUBSCRIPT italic_G italic_F italic_R end_POSTSUBSCRIPT italic_Y . Similarly, XFRYsubscript𝐹𝑅𝑋𝑌X\leq_{FR}Yitalic_X ≤ start_POSTSUBSCRIPT italic_F italic_R end_POSTSUBSCRIPT italic_Y implies XHFRY.subscript𝐻𝐹𝑅𝑋𝑌X\leq_{HFR}Y.italic_X ≤ start_POSTSUBSCRIPT italic_H italic_F italic_R end_POSTSUBSCRIPT italic_Y .\hfill\Box

The following theorem is interesting as we note that AFR order is equivalent to the usual stochastic order.

Theorem 4.4

For two non-negative random variables X𝑋Xitalic_X and Y,𝑌Y,italic_Y , XAFRYsubscript𝐴𝐹𝑅𝑋𝑌X\leq_{AFR}Yitalic_X ≤ start_POSTSUBSCRIPT italic_A italic_F italic_R end_POSTSUBSCRIPT italic_Y if and only if XstY.subscript𝑠𝑡𝑋𝑌X\leq_{st}Y.italic_X ≤ start_POSTSUBSCRIPT italic_s italic_t end_POSTSUBSCRIPT italic_Y .

Proof. Since XAFRYsubscript𝐴𝐹𝑅𝑋𝑌X\leq_{AFR}Yitalic_X ≤ start_POSTSUBSCRIPT italic_A italic_F italic_R end_POSTSUBSCRIPT italic_Y is equivalent to the fact that for all x>0,𝑥0x>0,italic_x > 0 , 0xrX(u)𝑑u0xrY(u)𝑑u,superscriptsubscript0𝑥subscript𝑟𝑋𝑢differential-d𝑢superscriptsubscript0𝑥subscript𝑟𝑌𝑢differential-d𝑢\int_{0}^{x}r_{X}(u)du\geq\int_{0}^{x}r_{Y}(u)du,∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_u ) italic_d italic_u ≥ ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT italic_r start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_u ) italic_d italic_u , or, equivalently, exp(0xrX(u)𝑑u)exp(0xrY(u)𝑑u),superscriptsubscript0𝑥subscript𝑟𝑋𝑢differential-d𝑢superscriptsubscript0𝑥subscript𝑟𝑌𝑢differential-d𝑢\exp\Big{(}-\int_{0}^{x}r_{X}(u)du\Big{)}\leq\exp\Big{(}-\int_{0}^{x}r_{Y}(u)% du\Big{)},roman_exp ( - ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT italic_r start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_u ) italic_d italic_u ) ≤ roman_exp ( - ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT italic_r start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_u ) italic_d italic_u ) , giving F¯X(t)F¯X(t).subscript¯𝐹𝑋𝑡subscript¯𝐹𝑋𝑡\bar{F}_{X}(t)\leq\bar{F}_{X}(t).over¯ start_ARG italic_F end_ARG start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) ≤ over¯ start_ARG italic_F end_ARG start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ( italic_t ) . This completes the proof. \hfill\Box

5 Applications in real-life data and a simulated data

Our research extends to practical applications through the examination of a case study and analysis of a simulated data, having relevance in the fields of survival and reliability analysis. In this section, we take up a case study followed by simulation of a Weibull distribution.

We first use muhaz package (on the time points of a given data) available in Comprehensive R Archive Network to estimate HR𝐻𝑅HRitalic_H italic_R. In particular, we took up epanechnikov kernel while applying muhaz. After getting estimates of HR𝐻𝑅HRitalic_H italic_R at arbitrary grid points specified by muhaz, we compute r(),A(),G(),H()𝑟𝐴𝐺𝐻r(\cdot),A(\cdot),G(\cdot),H(\cdot)italic_r ( ⋅ ) , italic_A ( ⋅ ) , italic_G ( ⋅ ) , italic_H ( ⋅ ) and L(),LG()𝐿superscript𝐿𝐺L(\cdot),L^{G}(\cdot)italic_L ( ⋅ ) , italic_L start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT ( ⋅ ) and LH()superscript𝐿𝐻L^{H}(\cdot)italic_L start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT ( ⋅ ) at different grid points using RStudio 2023.09.0+463.

Considering the fact that FR,AFR,GFR𝐹𝑅𝐴𝐹𝑅𝐺𝐹𝑅FR,AFR,GFRitalic_F italic_R , italic_A italic_F italic_R , italic_G italic_F italic_R and HFR𝐻𝐹𝑅HFRitalic_H italic_F italic_R are of same dimension (per unit time), they can be compared by their point-wise values. The dimension of FR is per unit time whereas AI,GAI𝐴𝐼𝐺𝐴𝐼AI,GAIitalic_A italic_I , italic_G italic_A italic_I and HAI𝐻𝐴𝐼HAIitalic_H italic_A italic_I are dimensionless. Despite differences in dimension their pattern can be explored for further analyses.

5.1 Real-life data: Accelerated Life testing Data

In the following example we explore the notion of aging function a case study of life-testing data, aiming to glean deeper insights.

Example 5.1

Manufacturers A,B,C,D,E of hip – joint products which are made of different material combination of ball and cup of the joints were subjected to fatigue test (axial and torsional) on samples of 30 assemblies each to measure the amount of wear out particles over time. The censoring time is taken as 300 hours. The number of cycles to failure of hip joint products by each manufacturer (scaled by 106superscript10610^{6}10 start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT) in accelerated life testing problem (ALT) for each test unit were noted from Elsayed (2021), Problem 5.5 page 380. A sample size of 40 units was selected out of which 20 units failed for each manufacturer.

[Uncaptioned image]
[Uncaptioned image]
[Uncaptioned image]
[Uncaptioned image]

Figure 1: Analysis of ALT problem through means of FR and AI (Example 5.1).

From Figure 1, we observe that initially approximately as total number of 70 cycles to failure were observed, components from manufacturer B exhibits the highest level of efficiency, followed by manufacturer E, D, A and notably the least efficiency being attributed to component from manufacturer C. After completion of around 110 cycles to failure, a marked decline in efficiency was observed in the components procured from manufacturer C. Although the initial efficiency of components sourced from manufacturer D was not on par with those from manufacturer B and E, over longer period of time it demonstrated superior performance compared to all the other manufacturers. At the outset, the components sourced from manufacturer E outperformed majority of their counterparts. However, at approximately 145th cycle to failure a conspicuous deterioration in efficiency becomes apparent, yet they do endure longer among all manufacturers. Components from manufacturer A depict the lowest number of cycles to failure signifying depletion in their operational capacity sooner than others.
         Components from Manufacturer B exhibits the highest average failure rates, namely AFR, GFR and HFR, surpassing all others, a distinction sustained until the threshold of approximately 100 cycles to failures. The components sourced from manufacturers B, D and E exhibit an initial decline in their failure rates, followed by a gradual escalation in failure rates, indicating a diminishing level of efficiency over time. There exists a consistent propensity for an ascending failure rate in the above graph for components acquired from manufactures A and C, suggesting continuous decrement in performance as the number of cycles to failure increases. Despite the fact that components from manufacturer E do not commence with the most minimal failure rate initially, they progressively exhibit the least failure rate among all, establishing their status as slightly more resilient than the rest in the longer run. At around 150th cycles to failure components from manufacturer A depict most pronounced surge in failure rate followed by earliest diminished efficacy.

From the preceding graphical illustrations (Figure 1), we can infer that in the fatigue test products from manufacturer E can endure more numbers of cycles to failure than rest, a fact reflected through GFR and HFR in a more precise manner.

5.2 Simulated Data

[Uncaptioned image]
[Uncaptioned image]
[Uncaptioned image]
[Uncaptioned image]

Figure 2: Plot of Simulated Weibull vs. aging functions; Q-Q plot. We take n=1000,𝑛1000n=1000,italic_n = 1000 , sample size of Simulated
Weibull, α=0.5,𝛼0.5\alpha=0.5,italic_α = 0.5 , scale parameter; β=1.5,𝛽1.5\beta=1.5,italic_β = 1.5 , shape parameter;

[Uncaptioned image] [Uncaptioned image]
Figure 3: Bias and MSE of Simulated Weibull (α=0.5𝛼0.5\alpha=0.5italic_α = 0.5, β=1.5𝛽1.5\beta=1.5italic_β = 1.5) with sample size ranging from 1,000 to 10,000.

Now, we proceed to take up a simulated study to observe aging phenomenon employing the proposed metrics as mentioned in this paper earlier. Simultaneously, in this process we also make an attempt to ascertain the measure which performs better by evaluating the bias and MSE of their corresponding estimates using simulated data.

We generate a sample of size n=1000𝑛1000n=1000italic_n = 1000 from two-parameter Weibull distribution having survival function F¯(t)=exp(αtβ),¯𝐹𝑡𝛼superscript𝑡𝛽\overline{F}(t)=\exp(-\alpha t^{\beta}),over¯ start_ARG italic_F end_ARG ( italic_t ) = roman_exp ( - italic_α italic_t start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT ) , for t0𝑡0t\geq 0italic_t ≥ 0 with scale parameter α=0.5,𝛼0.5\alpha=0.5,italic_α = 0.5 , shape parameter β=1.5.𝛽1.5\beta=1.5.italic_β = 1.5 . First, we begin with obtaining the estimates of failure rate at simulated data points, subsequently that of AFR, AI, GFR, GAI, HFR, and HAI which are depicted in Figure 2 along with the respective Q-Q plot.

The actual value and estimated values of AFR,AI,GFR,GAI,HFR,𝐴𝐹𝑅𝐴𝐼𝐺𝐹𝑅𝐺𝐴𝐼𝐻𝐹𝑅AFR,AI,GFR,GAI,HFR,italic_A italic_F italic_R , italic_A italic_I , italic_G italic_F italic_R , italic_G italic_A italic_I , italic_H italic_F italic_R , and HAI𝐻𝐴𝐼HAIitalic_H italic_A italic_I at the simulated data points obtained from the Weibull distribution are recorded for sample sizes ranging from 1,000 to 10,000 to obtain corresponding bias and mean square error (MSE) as illustrated in Figure 3.

We also infer that the bias of the estimators of aging functions can be ordered as HR>AI>GAI>HAI>HFR>AFRGFR𝐻𝑅𝐴𝐼𝐺𝐴𝐼𝐻𝐴𝐼𝐻𝐹𝑅𝐴𝐹𝑅𝐺𝐹𝑅HR>AI>GAI>HAI>HFR>AFR\approx GFRitalic_H italic_R > italic_A italic_I > italic_G italic_A italic_I > italic_H italic_A italic_I > italic_H italic_F italic_R > italic_A italic_F italic_R ≈ italic_G italic_F italic_R. All the estimates of the aging functions have positive bias except that of HAI𝐻𝐴𝐼HAIitalic_H italic_A italic_I. The MSE of the corresponding estimates are found to be in the following order HAI>HR>GAI>AI>HFR>AFR>GFR𝐻𝐴𝐼𝐻𝑅𝐺𝐴𝐼𝐴𝐼𝐻𝐹𝑅𝐴𝐹𝑅𝐺𝐹𝑅HAI>HR>GAI>AI>HFR>AFR>GFRitalic_H italic_A italic_I > italic_H italic_R > italic_G italic_A italic_I > italic_A italic_I > italic_H italic_F italic_R > italic_A italic_F italic_R > italic_G italic_F italic_R. We note that bias of estimates of failure rate are considerably more compared to GFR𝐺𝐹𝑅GFRitalic_G italic_F italic_R and HFR.𝐻𝐹𝑅HFR.italic_H italic_F italic_R . In fact, bias of HR𝐻𝑅HRitalic_H italic_R is larger than that of HFR𝐻𝐹𝑅HFRitalic_H italic_F italic_R. Further, bias of HFR𝐻𝐹𝑅HFRitalic_H italic_F italic_R is greater than that of AFR𝐴𝐹𝑅AFRitalic_A italic_F italic_R, whereas there is insignificant difference in bias of AFR𝐴𝐹𝑅AFRitalic_A italic_F italic_R and GFR𝐺𝐹𝑅GFRitalic_G italic_F italic_R. A similar kind of ordering is observed among MSE of the estimates of AFR,GFR𝐴𝐹𝑅𝐺𝐹𝑅AFR,GFRitalic_A italic_F italic_R , italic_G italic_F italic_R and HFR.𝐻𝐹𝑅HFR.italic_H italic_F italic_R .

         So one might opt for GFR as the preferred choice over AFR and HFR when analyzing the aging phenomenon, considering the fact that GFR demonstrates least bias as well as least MSE. On the other hand, HAI exhibits the least bias but relatively higher mean squared error (MSE). In light of this, GAI may be the preferred choice over AI and HAI for the analysis of aging, given that GAI strikes a balance with moderate bias and MSE. The said inference can be applied in situations where aging phenomena can be described by two-parameter Weibull distribution.

6 Conclusion

          In this article, we develop two new aging functions namely, Geometric Aging Intensity (GAI) and Harmonic Aging Intensity (HAI) as functions of GFR and HFR, the properties of which we explore extensively. Furthermore, we also establish relationships between the different aging intensities, namely the GAI, HAI and the existing (Arithmetic) Aging Intensity. Characterization results are presented that provide insights into specificity of the behavior of the aging functions. We also investigate their properties in connection with system reliability, specifically in the context of multi-component systems that are connected in series.

         Extending our findings to applications with simulated and real data demonstrate how the deductive analyses derived from the graphical representation harmonize seamlessly with the theoretically proven results. The superior performance of GFR and GAI in simulations establishes them as viable alternatives to the existing measures to describe the aging phenomenon.

         An avenue that has not been explored in this article relates to the inferential properties for the estimators of the measures. The finite and large sample properties of the estimators, both in the context of complete and censored data extend the premise of application from a limited scoped reliability setting to a more practical context. Although the discussion in this article is confined to a simple engineering setting, the application of the measures can be explored in a biomedical context. In such a context, the study of association of such intensity functions with important covariates may be of interest. Estimation and testing of the estimators is an important future objective that is currently under investigation by the study team.

Disclosure statement

No potential conflict of interest was reported by the authors.

Ackowledgement

Subarna Bhattacharjee would like to thank Odisha State Higher Education Council for providing support to carry out the research project under OURIIP, Odisha, India (Grant No. 22-SF-MT-073).

References

  • [1] Beebe, Nelson H. F. (2023), A Bibliography of Publications about the Arithmetic-Geometric Mean Iteration. http://ftp.math.utah.edu/pub/tex/bib/agm.pdf
  • [2] Bhattacharjee S., Mohanty, I., Szymkowiak M. and Nanda, A.K. (2022), Properties of aging functions and their means, Communication in Statistics- Simulation and Computation, Available Online. DOI: 10.1080/03610918.2022.2141257
  • [3] Bhattacharjee, S., Nanda, A.K., Misra, S. K. (2013), Reliability analysis using aging intensity function, Statistics and Probability Letters, 83 (5), 1364-1371. doi:10.1016/j.spl.2013.01.016.
  • [4] Birnbaum, Z. W., Esary, J. D. and Marshall, A. W. (1966), Characterization of wearout of components and systems, Annals of Mathematical Statistics, 37, 816-825.
  • [5] Bryson, M.C. and Siddiqui, M.M. (1969) Some Criteria for Aging. Journal of the American Statistical Association, 64, 1472-1483. https://doi.org/10.1080/01621459.1969.10501072
  • [6] Burk F. (1985), By All Means, The American Mathematical Monthly, 92:1, 50, DOI: 10.1080/00029890.1985.11971533.
  • [7] Elsayed E. A. (2021), Reliability Engineering. 3rd Edition, Wiley.
  • [8] Giri,R.L., Nanda,A.K., Dasgupta, M., Misra, S.K. and Bhattacharjee, S. (2023), On ageing intensity function of some Weibull models, Communications in Statistics: Theory and Methods, 52,227-262. DOI: 10.1080/03610926.2021.1910845.
  • [9] Hardy, G.H., Littlewood, J.E., and Pólya G., (2020), Inequalities (Cambridge Mathematical Library) 2nd Edition, Cambridge University Press, India.
  • [10] Jiang, R., Ji, P., and Xiao, X. (2003), Aging property of univariate failure rate models. Reliability Engineering and System Safety, 79, 113-116. doi:10.1016/S0951-8320(02)00175-8.
  • [11] Nanda, A. K., Bhattacharjee, S., Alam, S.S. (2007), Properties of aging intensity function, Statistics and Probability Letters, 77, 365-373. doi:10.1016/j.spl.2006.08.002.
  • [12] Roy, D, and S. P. Mukherjee. 1992. Characterizations based on arithmetic, geometric and harmonic means of failure rates. In Contributions to stochastics, ed. N. Venugopal, 178–85. New York: Wiley.
  • [13] Rowell, G., Siegrist, K., (1998), Relative aging of distribution, Probability in Engineering and Information Sciences, 12, 469-478. doi:10.1017/S0269964800005337
  • [14] Sengupta, D., Deshpande, J.V., (1994), Some results on the relative ageing of two life distributions, Journal of Applied Probability, 31, 991-1003. https://doi.org/10.2307/3215323
  • [15] Sunoj, S.M. and Rasin, R.S. (2018), A quantile-based study on aging intensity function, Communications in Statistics-Theory and Methods, 47 (22), 5474-5484.doi:10.1080/03610926.2017.1395049.
  • [16] Szymkowiak, M. (2018), Characterizations of distributions through aging intensity, IEEE Transactions on Reliability, 67(2), 446-458.doi:10.1109/TR.2018.2817739.
  • [17] Vogel, R.M. (2022), The geometric mean? Communications in Statistics: Theory and Methods, 51:1, 82-94, DOI: 10.1080/03610926.2020.1743313