+ All Categories
Home > Documents > MAS275 Probability Modelling Chapter 3: Limiting behaviour...

MAS275 Probability Modelling Chapter 3: Limiting behaviour...

Date post: 11-Jul-2020
Category:
Upload: others
View: 0 times
Download: 0 times
Share this document with a friend
58
Renewal processes and Markov chains Communication Solidarity of recurrence properties within classes Limiting/equilibrium behaviour Non-irreducible and periodic chains The renewal theorem MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios Kiagias School of Mathematics and Statistics, University of Sheffield Spring Semester, 2020 SoMaS, University of Sheffield MAS275 Probability Modelling
Transcript
Page 1: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

MAS275 Probability Modelling Chapter 3:

Limiting behaviour of Markov chains

Dimitrios Kiagias

School of Mathematics and Statistics, University of Sheffield

Spring Semester, 2020

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 2: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Returns to start

Suppose a Markov chain (Xn) is started in a particular fixedstate i .

If it returns to i at some later (random) time, then, because ofthe Markov property and time homogeneity, the futurebehaviour will be as if the process had been started off in statei at this later time.

Hence, returns to the starting state form a renewal process.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 3: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Notation

In this renewal process,

un = p(n)ii ,

where p(n)ii denotes the (i , i) element of the n-step transition

matrix P (n) = Pn.

The “fn” of the renewal process will then be the probability,starting in i , of the first return to state i being at time n,namely

P(X1 6= i ,X2 6= i , . . . ,Xn−1 6= i ,Xn = i |X0 = i).

We will write f(n)ii for this.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 4: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Notation II

Also define

fii =∞∑n=1

f(n)ii ,

i.e. the probability, starting in state i , of ever returning tostate i .

If the renewal process is recurrent this will be 1, and theprocess will keep returning to i .

If it is transient then it will be strictly less than 1, andeventually, with probability 1, the process will visit state i forthe last time and never return.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 5: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Classification of states

We can refer to a any state i of a Markov chain as beingtransient or recurrent if the corresponding renewal process is.

Similarly, if state i is recurrent, we can describe it as positiverecurrent or null recurrent if the corresponding renewalprocess is,. . .

. . . and we can define the period of state i as the same as theperiod of the corresponding renewal process. Again, wedescribe a state with period 1 as aperiodic.

These are called the recurrence properties of the states.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 6: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Examples

Example

Simple random walk

Example

Mean recurrence time

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 7: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Delayed renewal processes

If we now take two different states, i and j say, and considervisits to state j having started in state i , then, by a similarargument to the above, we have a delayed renewal process,the delay being the time until the first visit to j .

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 8: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Notation

We can identify the “bn” and “vn” of this delayed renewalprocess as

bn = f(n)ij = P(X1 6= j ,X2 6= j , . . . ,Xn−1 6= j ,Xn = j |X0 = i)

(that is, the probability that the first visit to state j happensat time n, starting from state i) and

vn = p(n)ij

where p(n)ij is the (i , j)-th element of the n-step transition

matrix.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 9: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

First passage

Note that it may be possible, starting in state i , never to visitstate j , in which case the delay distribution is defective.

In fact

fij =∞∑n=1

f(n)ij

is the probability, starting in state i , of ever visiting state j .

The probabilities f(n)ij are called first passage probabilities.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 10: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Finite state space

Finite state spaces tend to be slightly easier to handle, as forexample in the following result.

Theorem

If the state space is finite then some of the states must bepositive recurrent, and the rest, if there are any, must betransient.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 11: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Proof of Theorem 8 – not all transient

In a finite state space the states cannot all be transient.

If they were, after the process had left each of the states forthe last time there would be nowhere left for it to go.

So some states are recurrent.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 12: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Proof of Theorem 8 – not null recurrent I

If a state i is recurrent, then, starting in i , then consider Vj ,the number of visits to another state, j say, before the firstreturn to i .

Let qij be the probability of visiting j before returning to i ,starting in i , and qji be the probability of visiting i beforereturning to j .

Then we can write

P(Vj = 0) = 1− qij

and, for n ≥ 1,

P(Vj = n) = qij(1− qji)n−1qji .

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 13: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Proof of Theorem 8 – not null recurrent II

The distribution of Vj has finite mean (by essentially the samecalculations as for the geometric distribution).

So, as we are in a finite state space, the total time spent awayfrom i before the first return has finite mean, i.e. the state i ispositive recurrent.

Hence there are no null recurrent states in a chain with a finitestate space.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 14: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Communication

Two states i and j of a Markov chain are said tocommunicate with each other if it is possible, starting in i , toget to j (not necessarily at the next step) and similarlypossible, starting in j , to get to i .

Formally, there exist positive integers m and n such thatp

(m)ij > 0 and p

(n)ji > 0.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 15: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Equivalence relation – symmetry

This relationship is obviously symmetric, in the sense that if iand j communicate then so do j and i .

This is implicit in the way we have defined communication.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 16: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Equivalence relation – transitivity

If i communicates with j and also j communicates with k ,then i communicates with k .

Formally, this follows from the inequality

p(m+r)ik ≥ p

(m)ij p

(r)jk

which is a straightforward consequence of theChapman-Kolmogorov equations.

If we can find m and r such that the right hand side ispositive, then the left hand side must be positive.

This property of the communication relationship is calledtransitivity. SoMaS, University of Sheffield MAS275 Probability Modelling

Page 17: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Equivalence relation – reflexivity

If we also, by convention, define a state to communicate withitself, then we have a relationship which is reflexive.

A binary relationship between members of a set is called anequivalence relation if it is reflexive, symmetric andtransitive.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 18: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Equivalence classes

If we have all three of these properties then the set inquestion, in this case the state space of the Markov chain, ispartitioned into equivalence classes, such that . . .

. . . any two members of the same class communicate witheach other, and any two members of two different classes donot communicate with each other.

These are called communicating classes or simply classes.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 19: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Irreducibility

A Markov chain is called irreducible if all its statescommunicate with each other, i.e. they form a single largeclass.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 20: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Examples

Example

Irreducible Markov chains

Example

Gambler’s ruin

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 21: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Solidarity

The solidarity property can be very simply stated as follows.

Theorem

All states within a communicating class share the samerecurrence properties.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 22: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Use of theorem

This theorem means, in particular, that if the Markov chain isirreducible then all states share the same recurrence properties,and it is meaningful to refer to the recurrence properties of thewhole Markov chain.

In any event, we can refer to the recurrence properties ofclasses as well as those of individual states.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 23: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Corollary

We can immediately conclude the following:

Corollary

An irreducible chain with finite state space has all its statespositive recurrent.

Proof By Theorem 8, some of the states must be positiverecurrent.

Hence by solidarity (Theorem 9) they all are.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 24: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Closed class

A class C is called closed if, once entered, the probability ofleaving is zero.

It is also sometimes known as an absorbing class.

Formally, C is closed if pij = 0 for all i ∈ C and j /∈ C .

In the irreducible case there is a single class C = S , which isautomatically closed.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 25: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Not closed

If a class is not closed, then, once it has been left, there is nopossibility of returning to it.

If there were such a possibility then there would be at leastone state outside the class which communicates with it, whichis a contradiction.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 26: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Finite state space

If the state space S is finite, then the concept of a closed classis equivalent to that of a recurrent class, and that of a classwhich is not closed is equivalent to that of a transient class.

This is because, if a class is recurrent, then it is impossible toleave it, because if it were possible and it happened, thenreturn to the class could not take place, and this contradictsrecurrence.

Conversely if a class is transient then each state of the class isonly visited finitely many times and so the class musteventually be left.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 27: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Infinite state space

If the state space is infinite, there are more possibilities.

For example, in the simple random walk with p 6= 12, all states

are transient but they form a single closed class.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 28: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Example

Example

Finding classes and recurrence properties

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 29: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Limiting/equilibrium behaviour

The aim of this section is to investigate how the distributionof the state a Markov chain evolves with time.

In particular we will see that many chains evolve towards anequilibrium behaviour described by a stationary distribution.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 30: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Transient case

We will first of all consider one case where this does nothappen: when the chain is transient.

Theorem

Assume we have a Markov chain (Xn) which is irreducible andtransient (which necessarily means that its state space S isinfinite). Then, for each state i ∈ S , P(Xn = i)→ 0 asn→∞.Furthermore, there is no stationary distribution.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 31: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Stationary distribution exists

We now consider the case where the Markov chain isirreducible and aperiodic, and we know that a stationarydistribution exists. By Theorem 11 we know that the chainmust be recurrent.

Theorem

If a Markov chain (Xn) is irreducible and aperiodic and has astationary distribution π then the distribution of the state ofthe Markov chain at time n converges to π.I.e.

π(n) → π

as n→∞.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 32: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Proof of Theorem 12 – Coupling

We can prove this theorem using a “coupling” argument.

The idea of this argument is to consider a second Markovchain, (Yn), which has the same transition matrix as theoriginal chain (Xn) but has initial distribution given by thestationary distribution π.

The two Markov chains run independently of each other.

Then P(Xn = i) = π(n)i , while P(Yn = i) = πi .

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 33: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Proof of Theorem 12 – If chains meet

Consider what happens if at some time m, the two chains arein the same state: Xm = Ym.

Then, by the Markov property, what happened before time mdoes not affect the probabilities of what happens after time n.

So for any n > m the conditional probabilities that Xn = i andthat Yn = i will be the same.

(More formal argument in notes.)

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 34: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Proof of Theorem 12 – Bivariate Markov chain I

Consider the bivariate Markov chain on S × S obtained byconsidering the two chains together, so that its state at time nis (Xn,Yn).

By the irreducibility and aperiodicity of our original chain, weknow that for any choice of i and j it is the case that for nlarge enough p

(n)ij > 0.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 35: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Proof of Theorem 12 – Bivariate Markov chain II

So for any pair of states (i1, i2) and (j1, j2) of the bivariate

Markov chain, if n is large enough both p(n)i1,j1

and p(n)i2,j2

will bepositive, showing that it is possible for the bivariate Markovchain to get from (i1, i2) to (j1, j2).

Hence the bivariate Markov chain is irreducible.

(Note that aperiodicity is crucial to this argument.)

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 36: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Proof of Theorem 12 – Stationary distribution

It also has a stationary distribution, given by

P(Xn = i ,Yn = j) = πiπj

by independence.

An irreducible Markov chain with a stationary distributioncannot be transient, by Theorem 11.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 37: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Proof of Theorem 12 – Conclusion

Hence it is recurrent, and so all states are visited, withprobability 1.

This includes states where the two co-ordinates are the same,so this shows that the chains (Xn) and (Yn) will meet, withprobability 1, and thus completes the proof of thetheorem.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 38: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

CorollaryCorollary

If a Markov chain (Xn) is irreducible and aperiodic, and has astationary distribution π, then that stationary distribution isunique.

Proof: If another stationary distribution ψ exists, then we canstart a chain with the same transition matrix with initialdistribution π(0) = ψ.

By stationarity we have π(n) = ψ for all n and hencelimn→∞ π

(n)i = ψi .

But we have shown above that this must be πi .SoMaS, University of Sheffield MAS275 Probability Modelling

Page 39: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Finding a stationary distribution

Now, we show that if we have an irreducible and positiverecurrent Markov chain we can construct a stationarydistribution.

For each state j , let µj be the expected time until the firstreturn to state j , given that the chain starts there.

Write π for the row vector with entry j being 1µj

, for j ∈ S .

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 40: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Theorem

The following theorem gives the main results of this section.

Theorem

Assume the Markov chain is irreducible, aperiodic and positiverecurrent. Then

(a) The distribution π is a stationary distribution,and is unique.

(b) The distribution of the state of the Markov chainat time n converges to π, i.e.

π(n) → π

as n→∞.SoMaS, University of Sheffield MAS275 Probability Modelling

Page 41: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Using the results

Note that because we know that the that π is a uniquestationary distribution, it is usually easiest to find it by solvingthe equilibrium equations of section 1.7, and then to apply theabove results.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 42: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Examples

Example

Modelling the game of Monopoly

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 43: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Null recurrent

Finally we note that the results of Theorem 11 (that for anystate i P(Xn = i)→ 0 as n→∞, and that there are nostationary distributions) apply to irreducible null recurrentchains as well as irreducible transient chains.

This is a bit harder to prove, and we omit the proof.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 44: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Summary of results

If a chain has finite state space and is irreducible and allstates are aperiodic, then it is positive recurrent byCorollary 10, and by Theorem 14 it has a uniquestationary distribution, to which the distribution of thechain at time n converges as n→∞.If a chain with infinite state space is irreducible, aperiodicand positive recurrent, then again by Theorem 14 it has aunique stationary distribution, to which the distribution ofthe chain at time n converges as n→∞.If a chain with infinite state space is irreducible and iseither transient or null recurrent, then it does not have astationary distribution and for any state i P(Xn = i)→ 0as n→∞.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 45: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Non-irreducible chains

Consider a Markov chain which has a closed class C which ispositive recurrent and not the whole state space.

Then the behaviour of the process if it starts inside C is thatof a Markov chain in which the states outside C have beenremoved from the state space, and the corresponding rows andcolumns of the transition matrix have been deleted.

This “reduced” Markov chain will be irreducible and will havea stationary distribution.

If this distribution is extended to the original state space byassigning probability zero to each of the states outside C , wehave a stationary distribution for the original Markov chain.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 46: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

More than one closed class

If there are two or more positive recurrent closed classes, thenthe stationary distribution is not unique: there will be, at least,one corresponding to each of these classes.

Furthermore, any “mixture” of the form

απ + (1− α)ψ

where π and ψ are stationary distributions and 0 < α < 1,will also be a stationary distribution.

So there will be a continuum of them.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 47: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Algebraic interpretation

In the case of a finite state space, this situation corresponds tothe space of left eigenvectors of the transition matrixcorresponding to eigenvalue 1 being more thanone-dimensional, and the eigenvalue 1 having multiplicitygreater than 1.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 48: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Example

Example

A non-irreducible chain

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 49: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Periodicity

Periodicity is a nuisance when it comes to looking at limitingbehaviour.

The following example illustrates how things can differ fromthe aperiodic case.

Example

A periodic chain

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 50: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Back to renewal processes

It is possible to apply the ideas of long-run behaviour ofMarkov chains to renewal theory.

Given a renewal process, recall the following notation:fk is the probability that a given inter-renewal

time takes the value kuk is the probability that there is a renewal at time kd is the period of the renewal processµ is the mean inter-recurrence time, if the process

is positive recurrent

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 51: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Notation

Also define K to be the largest value of k such that fk isnon-zero (i.e. the largest possible inter-renewal time) if this isfinite.

Given a renewal process, let Xn be the number of time stepsfrom time n until the next renewal; this is called the forwardrecurrence time.

(Set Xn = 0 if there is a renewal at time n.)

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 52: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Transition probabilities

Then

P(Xn+1 = i − 1|Xn = i) = 1 unless i = 0

for i ≥ 0 we have P(Xn+1 = i |Xn = 0) = fi+1

(To see the latter, note that Xn = 0 means there is a renewalat time n and that Xn+1 = i means that the next renewal afterthe one at time n occurs at time n + i + 1, which hasprobability fi+1.)

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 53: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Transition matrix

By the construction of the renewal process, the process (Xn)satisfies the Markov property.

So it is a Markov chain with transition matrix

f1 f2 f3 f4 . . .1 0 0 0 . . .0 1 0 0 . . .0 0 1 0 . . .0 0 0 1 . . ....

......

.... . .

and state space {0, 1, 2, . . . ,K − 1} if K is finite, and thenon-negative integers N0 otherwise.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 54: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Properties of the chain

This chain is irreducible.

If the renewal process is positive recurrent, then the Markovchain is too (we can see this by considering returns to statezero) and it has a stationary distribution given by

πi =1

µ(1− f1 − . . .− fi)

for i = 0, 1, 2, . . ..

Similarly, if the renewal process is transient or null recurrent,then the Markov chain will be too.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 55: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Renewal Theorem

We can use the results on Markov chains to deduce thefollowing theorem.

Theorem

(Erdos, Feller, Pollard) (The Discrete Renewal Theorem)If a renewal process is recurrent and has period d and finitemean inter-renewal time µ, then

und →d

µas n→∞.

In all other cases,

un → 0 as n→∞.SoMaS, University of Sheffield MAS275 Probability Modelling

Page 56: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Proof of renewal theorem

We observe that un = P(Xn = 0), as both are the probabilitythat we have a renewal at time n.

So, if the renewal process is aperiodic and positive recurrent,we can immediately deduce un → π0 = 1

µfrom the results on

Markov chains.

If the renewal process is transient or null recurrent, then wecan similarly deduce un → 0 as n→∞.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 57: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Proof of renewal theorem – periodic case

We can handle the periodic case by defining a new aperiodicrenewal process which has renewals at time n if our periodicrenewal process has a renewal at time nd , and applying thetheorem to that.

SoMaS, University of Sheffield MAS275 Probability Modelling

Page 58: MAS275 Probability Modelling Chapter 3: Limiting behaviour ...stephens/MAS275/slides3combined.pdf · MAS275 Probability Modelling Chapter 3: Limiting behaviour of Markov chains Dimitrios

Renewal processes and Markov chainsCommunication

Solidarity of recurrence properties within classesLimiting/equilibrium behaviour

Non-irreducible and periodic chainsThe renewal theorem

Example

Example

Bernoulli trials with blocking

SoMaS, University of Sheffield MAS275 Probability Modelling


Recommended