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.

1.2 Inter-arrival <strong>Time</strong>s and Poisson <strong>Processes</strong><br />

Poisson processes are perhaps the most basic examples of continuous time<br />

Markov chains. In this subsection we establish their basic properties. To construct<br />

a Poisson process we consider a sequence W1, W2, . . . of iid exponential<br />

random variables with parameter λ. Wj’s are called inter-arrival times. Set<br />

T1 = W1, T2 = W◦ + W1 and Tn = Tn−1 + Wn. Tj’s are called arrival times.<br />

Now define the Poisson process Nt with parameter λ as<br />

Nt = max{n | W1 + W2 + · · · + Wn ≤ t} (1.2.1)<br />

Intuitively we can think of certain events taking place and every time the<br />

event occurs the counter Nt is incremented by 1. We assume N◦ = 0 and<br />

the times between consecutive events, i.e., Wj’s, being iid exponentials with<br />

the same parameter λ. Thus Nt is the number of events that have taken<br />

place until time t. The validity of the Markov property follows from the<br />

construction of Nt and the exponential nature of the inter-arrival times, so<br />

that the Poisson process is a continuous time Markov chain.<br />

The arrival and inter-arrival times can be recovered from Nt by<br />

Tn = sup{t | Nt ≤ n − 1}, (1.2.2)<br />

and Wn = Tn − Tn−1. One can similarly construct other counting processes 2<br />

by considering sequences of independent random variables W1, W2, . . . and<br />

defining Tn and Nt just as above. The assumption that Wj’s are exponential<br />

is necessary and sufficient for the resulting process to be Markov. What<br />

makes Poisson processes special among Markov counting processes is that<br />

the inter-arrival times have the same exponential law. The case where Wj’s<br />

are not necessarily exponential (but iid) is very important and will be treated<br />

in connection with renewal theory later.<br />

The underlying probability space Ω for a Poisson process is the space<br />

non-decreasing right continuous step function functions such that at each<br />

point of discontinuity a ∈ R+<br />

ϕ(a) − lim ϕ(t) = 1,<br />

t→a− reflecting the fact that from state n only transition to state n + 1 is possible.<br />

2 By a counting process we mean a continuous time process Nt taking values in Z+ such<br />

that the only possible transition is from state n to state n + 1.<br />

13

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

Saved successfully!

Ooh no, something went wrong!