Let be a nonzero invariant measure. Balance at state gives
and hence, after choosing ,
Balance at zero requires
The sum telescopes:
Consequently a nonzero invariant measure exists exactly when
It 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 (0)

There are currently no matching articles.