Excess life
[5/100%]Suppose that the distribution of the excess lifetime does not depend on . Show that the renewal process is a Poisson process.
Show that the following are Markov processes:
the excess lifetime process ,
the current lifetime process .
Suppose that is non-arithmetic with finite mean .
Show that converges in distribution as , the limit distribution function being
Show that the th moment of this limit distribution is given by
assuming that this is finite.
Show that
for some suitable function to be found, and deduce by the key renewal theorem that as , assuming this limit is finite.
Find an expression for the mean value of the excess lifetime conditional on the event that the current lifetime equals .
Let , and suppose that has finite non-zero variance .
Show that .
In the non-arithmetic case, show that as .