For rate ,
This function is finite near zero, so its third derivative there equals the third moment. Therefore
Take . Directly,
The formula holds wherever the moment-generating function on the right is finite.
Take . Independence factors the expectation:
Let be an independent copy of and take . Then
Independence of the copy is essential. The variable would instead have moment-generating function .
Take , where is uniform on and independent of . Conditional expectation gives
For in a sufficiently small neighborhood of zero, finiteness follows from finiteness of the original moment-generating function in such a neighborhood.
Rewrite the function as
These are equal mixture weights on the moment-generating functions of exponential distributions of rates and . Moment-generating functions finite near zero determine the distribution, so has that mixture law. Consequently
Write the stationary probabilities as . The equation reduces to . Together with , this gives
The positive transition probabilities make the two states communicate, so the stationary distribution is unique.
The Markov property and conditioning on the intermediate state give, for the full history through time ,
Condition this identity again on the smaller history . Its right-hand side is already determined by , so the tower property gives
Thus the sampled sequence is a time-homogeneous Markov chain with transition matrix . Checking only its one-time marginal distributions would not by itself establish the Markov property.
It is the every-second-step case of a subsampled Markov chain.
The chain alternates at every step between the two classes and . It is irreducible and has period two: returns require an even number of steps, and a two-step return has positive probability.
Writing the off-diagonal block as , its square is . Hence
Every two steps remain within the initial class, where the sampled chain is irreducible and aperiodic.
State can be reached from state only at an even time. In the two-step sampled chain, each step while still at state reaches state with probability , and otherwise stays at state with probability . Thus, if is the original hitting time,
Equivalently where has the geometric distribution on positive integers with parameter .
On the class , the two-step transition matrix is symmetric with positive entries, so its stationary distribution is and its distribution converges to that law. Therefore
Explicitly the two eigenvalues are and , giving . The original chain has probability zero of being in state at odd times, consistent with its period two.

Articles by others on the same topic (0)

There are currently no matching articles.