1 Continuous Time Processes - IPM
1 Continuous Time Processes - IPM
1 Continuous Time Processes - IPM
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