04.08.2013 Views

1 Continuous Time Processes - IPM

1 Continuous Time Processes - IPM

1 Continuous Time Processes - IPM

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

Lemma 1.1.2 The condition πPt = π is equivalent to πA = 0.<br />

Proof - It is immediate that the condition πPt − π = 0 implies πA = 0.<br />

Conversely, if πA = 0, then the Kolmogorov backward equation implies<br />

d(πPt)<br />

dt<br />

= π dPt<br />

dt = πAPt = 0.<br />

Therefore πPt is independent of t. Substituting t = 0 we obtain πPt = πP◦ =<br />

π as required. ♣<br />

Example 1.1.2 We apply the above considerations to an example from<br />

queuing theory. Assume we have a server which can service one customer<br />

at a time. The service times for customers are independent identically distributed<br />

exponential random variables with parameter µ. The arrival times<br />

are also assumed to be independent identically identically distributed exponential<br />

random variables with parameter λ. The customers waiting to be<br />

serviced stay in a queue and we let Xt denote the number of customers in<br />

the queue at time t. Our assumption regarding the exponential arrival times<br />

implies<br />

P [X(t + h) = k + 1 | X(t) = k] = λh + o(h).<br />

Similarly the assumption about service times implies<br />

P [X(t + h) = k − 1 | X(t) = k] = µh + o(h).<br />

It follows that the infinitesimal generator of Xt is<br />

⎛<br />

−λ λ 0 0 0<br />

⎞<br />

· · ·<br />

⎜<br />

A = ⎜<br />

⎝<br />

µ<br />

0<br />

0<br />

.<br />

−(λ + µ)<br />

µ<br />

0<br />

.<br />

λ<br />

−(λ + µ)<br />

µ<br />

.<br />

0<br />

λ<br />

−(λ + µ)<br />

.<br />

0<br />

0<br />

λ<br />

.<br />

· · · ⎟<br />

· · · ⎟<br />

· · · ⎟<br />

⎠<br />

. ..<br />

The system of equations πA = 0 becomes<br />

−λπ◦ + µπ1 = 0, · · · , λπi−1 − (λ + µ)πi + µπi+1 = 0, · · ·<br />

9

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

Saved successfully!

Ooh no, something went wrong!