01.06.2015 Views

Hui's reference material on Markov chains (pdf)

Hui's reference material on Markov chains (pdf)

Hui's reference material on Markov chains (pdf)

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Theorem 14 Let X denote an irreducible, positive recurrent <strong>Markov</strong> chain. Then<br />

X has a unique stati<strong>on</strong>ary distributi<strong>on</strong>.<br />

Proof: Existence has been shown in theorem 13. Uniqueness of the stati<strong>on</strong>ary<br />

distributi<strong>on</strong> can be seen as follows. Let π denote the stati<strong>on</strong>ary distributi<strong>on</strong> as<br />

c<strong>on</strong>structed in theorem 13 and i the positive recurrent state that served as recurrence<br />

point for π. Further, let ν denote any stati<strong>on</strong>ary distributi<strong>on</strong> for X . Then<br />

there is a state j ∈ E with ν j > 0 and a number m ∈ N with P m (j, i) > 0, since<br />

X is irreducible. C<strong>on</strong>sequently we obtain<br />

ν i = ∑ k∈E<br />

ν k P m (k, i) ≥ ν j P m (j, i) > 0<br />

Hence we can multiply ν by a skalar factor c such that c · ν i = π i = 1/m i . Denote<br />

˜ν := c · ν.<br />

Let ˜P denote the transiti<strong>on</strong> matrix P without the ith column, i.e. we define<br />

the (j, k)th entry of ˜P by ˜p jk = p jk if k ≠ i and zero otherwise. Denote further<br />

the Dirac measure <strong>on</strong> i by δ i , i.e. δj i = 1 if i = j and zero otherwise. Then the<br />

stati<strong>on</strong>ary distributi<strong>on</strong> π can be represented by π = m −1<br />

i<br />

· δ i ∑ ∞<br />

n=0 ˜P n .<br />

We first claim that m i˜ν = δ i + m i˜ν ˜P . This is clear for the entry ˜ν i and easily<br />

seen for ˜ν j with j ≠ i because in this case (˜ν ˜P ) j = c · (νP ) j = ˜ν j . Now we can<br />

proceed with the same argument to see that<br />

m i˜ν = δ i + (δ i + m i˜ν ˜P ) ˜P = δ i + δ i ˜P + mi˜ν ˜P 2 = . . .<br />

∑ ∞<br />

= δ i ˜P n = m i π<br />

n=0<br />

Hence ˜ν already is a probability measure and the skalar factor must be c = 1. This<br />

yields ν = ˜ν = π and thus the statement.<br />

□<br />

Remark 1 At a closer look the assumpti<strong>on</strong> of irreducibility may be relaxed to<br />

some extend. For example, if there is exactly <strong>on</strong>e closed positive recurrent communicati<strong>on</strong><br />

class and a set of transient and inaccessible states (i.e. states j for<br />

which there is no state i with i → j), then the above statement still holds although<br />

X is not irreducible.<br />

A first c<strong>on</strong>sequence of the uniqueness is the following simpler representati<strong>on</strong><br />

of the stati<strong>on</strong>ary distributi<strong>on</strong>:<br />

16

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!