0
$\begingroup$

If X is a nonnegative random variable representing the life of a component having distribution function F,the mean residual life is defined by

$ m(t) = E(X-t | X >t) = \frac{1}{\bar F(t)} \int_t^\infty (x-t) d\nu(x), t\geq 0 $ In papaer R. C. Gupta and D. M. Bradley (2003)" Representing the Mean Residual Life in Terms of the Failure Rate"mentioned that by writing $x - t = \int_{t}^{x} du$ and employing Tonelli's theorem yields the equivalent formula $ m(t) = \frac{1}{\bar F(t)}\int_t^\infty \int_t^x du d\nu(x) = \frac{1}{\bar F(t)}\int_t^\infty \int_u^\infty d\nu(x) du = \frac{1}{\bar F(t)}\int_t^\infty \bar{F}(u) du $ How can we get this result by substituting the above integral and using Tonelli's theorem?

1 Answers 1

0

Tonelli tells you that you can always switch the order of integration on a nonnegative function (and thereby allows you to use Fubini's theorem if you show one such ordering of integration is finite). In your example, everything is nonnegative so there's no need for Fubini in this case. The crux of the matter is integrating:

$\int_{-\infty}^\infty\int_{-\infty}^\infty 1_{[t,\infty]}(x)1_{[t,x]}(u)dud\nu(x)$

To see that $\int_t^\infty\int_t^xdud\nu(x)=\int_t^\infty\int_t^xd\nu(x)du$, notice that the left integral is integrating over the region $x\geq u$ and $u\geq t$, in other words a triangle that starts at $t$, defined by $(u,x)$. The left hand side is integrating along vertical slices, while the right integral is going along horizontal ones

  • 0
    I can not dra$w$ this triangle.2012-10-08