Theorem
Let be a transition probability matrix (TPM) on finite state space.
Then there exists such that:
The limiting distribution satisfies:
Interpretation
For regular chains, the limiting distribution exists and equals the unique stationary distribution. The long-run behavior is independent of the initial state.