A rate- Poisson process is a counting process starting at zero, with right-continuous nondecreasing integer-valued paths, independent stationary increments, and for . Its jumps have size one almost surely.
For independent Poisson processes , increments of on disjoint intervals are independent, because all the corresponding increments of the two processes are jointly independent. On an interval of length , multiplying their probability generating functions gives
Thus the increment is Poisson with mean . The path requirements hold, and independent processes almost surely have no simultaneous jumps. Therefore is a Poisson process of rate .
The random clock is understood to be independent of the discrete-time Markov chain; without this hypothesis its law need not be determined by alone. Conditional on , the transition matrix is , so
Hence for and . If , then by the series, proving that the invariant distribution is unchanged.
Let be the independent exponential interarrival times of the Poisson process. The absorption time is . By independence of the chain and clock and Tonelli theorem,
This includes infinite expectations and absorption at time zero. The same argument proves the hinted random-sum identity for an independent nonnegative integer-valued count .

Articles by others on the same topic (0)

There are currently no matching articles.