Let be a nonzero invariant measure. Balance at state givesand hence, after choosing ,Balance at zero requiresThe sum telescopes:Consequently a nonzero invariant measure exists exactly whenIt can be normalized to an invariant probability distribution exactly when, in addition,where the empty product for is one and an overall constant has been suppressed.
Articles by others on the same topic
There are currently no matching articles.