Expand according to the hitting time and use detailed balance to reverse each finite path:
The event in the final probability is . The tail-sum formula for a nonnegative integer-valued random variable gives
Therefore
Sum the identity from part (a) over . Since almost surely under positive recurrence,
Using the conditional stationary law gives
Hence the return-time identity

Articles by others on the same topic (0)

There are currently no matching articles.