For a nonhomogeneous Poisson process with intensity function λ(t), t ≥ 0, where \int^∞_0 λ(t)\, dt = ∞, let X1, X2, . . . denote the sequence of times at which events occur.
(a) Show that \int^{X_1}_0 λ(t)\, dt is exponential with rate 1.
(b) Show that \int^{X_i}_{X_{i−1}} λ(t)\, dt, i \geqslant 1, are independent exponentials with rate 1, where X0 = 0.
In words, independent of the past, the additional amount of hazard that must be experienced until an event occurs is exponential with rate 1.
Let m(t)=\int_{0}^{t} \lambda(s)\, d s, and let m-1(t) be the inverse function. That is, m(m-1(t))=t.
Now,