next up previous
Postscript version of this file

STAT 870 Lecture 13

Equivalence of Modelling Approaches

All 3 approaches to Poisson process are equivalent. I show: 3 implies 1, 1 implies 2 and 2 implies 3. First explain o, O.

Model 3 implies 1: Fix t, define tex2html_wrap_inline231 to be conditional probability of 0 points in (t,t+s] given value of process on [0,t].

Derive differential equation for f. Given process on [0,t] and 0 points in (t,t+s] probability of no points in (t,t+s+h] is

displaymath245

Given the process on [0,t] the probability of no points in (t,t+s] is tex2html_wrap_inline231 . Using P(AB|C)=P(A|BC)P(B|C) gives

align31

Now rearrange, divide by h to get

displaymath257

Let tex2html_wrap_inline259 and find

displaymath261

Differential equation has solution

displaymath263

Things to notice:

General case:

Notation: N(t) =N(0,t).

N(t) is a non-decreasing function of t. Let

displaymath283

Evaluate tex2html_wrap_inline285 by conditioning on tex2html_wrap_inline287 and N(t)=j.

Given N(t)=j probability that N(t+h) = k is conditional probability of k-j points in (t,t+h].

So, for tex2html_wrap_inline299 :

displaymath301

For j=k-1 we have

displaymath305

For j=k we have

displaymath309

N is increasing so only consider tex2html_wrap_inline313 .

align46

Rearrange, divide by h and let tex2html_wrap_inline259 t get

displaymath319

For k=0 the term tex2html_wrap_inline323 is dropped and

displaymath325

Using tex2html_wrap_inline327 we get

displaymath329

Put this into the equation for k=1 to get

displaymath333

Multiply by tex2html_wrap_inline335 to see

displaymath337

With tex2html_wrap_inline339 we get

displaymath341

For general k we have tex2html_wrap_inline345 and

displaymath347

Check by induction that

displaymath349

Hence: N(t) has Poisson tex2html_wrap_inline353 distribution.

Similar ideas permit proof of

displaymath355

From which (by induction) we can prove that N has independent Poisson increments.

Exponential Interarrival Times

If N is a Poisson Process we define tex2html_wrap_inline361 to be the times between 0 and the first point, the first point and the second and so on.

Fact: tex2html_wrap_inline361 are iid exponential rvs with mean tex2html_wrap_inline365 .

We already did tex2html_wrap_inline367 rigorously. The event T;SPMgt;t is exactly the event N(t)=0. So

displaymath373

which is the survival function of an exponential rv.

I do case of tex2html_wrap_inline375 . Let tex2html_wrap_inline377 be two positive numbers and tex2html_wrap_inline379 , tex2html_wrap_inline381 . The event

displaymath383

This is almost the same as the intersection of the four events:

align66

which has probability

displaymath385

Divide by tex2html_wrap_inline387 and let tex2html_wrap_inline389 and tex2html_wrap_inline391 go to 0 to get joint density of tex2html_wrap_inline375 is

displaymath395

which is the joint density of two independent exponential variates.

More rigor:

First step: Compute

displaymath401

This is just the event of exactly 1 point in each interval tex2html_wrap_inline403 for tex2html_wrap_inline405 ( tex2html_wrap_inline407 ) and at least one point in tex2html_wrap_inline409 which has probability

displaymath411

Second step: write this in terms of joint cdf of tex2html_wrap_inline397 . I do k=2:

displaymath417

Notice tacit assumption tex2html_wrap_inline419 .

Differentiate twice, that is, take

displaymath421

to get

displaymath423

Simplify to

displaymath425

Recall tacit assumption to get

displaymath427

That completes the first part.

Now compute the joint cdf of tex2html_wrap_inline375 by

displaymath431

This is

align96

Differentiate twice to get

displaymath433

which is the joint density of two independent exponential random variables.

Summary so far:

Have shown:

Instantaneous rates model implies independent Poisson increments model implies independent exponential interarrivals.

Next: show independent exponential interarrivals implies the instantaneous rates model.

Suppose tex2html_wrap_inline435 iid exponential rvs with means tex2html_wrap_inline365 . Define tex2html_wrap_inline439 by tex2html_wrap_inline441 if and only if

displaymath443

Let A be the event tex2html_wrap_inline447 . We are to show

displaymath449

and

displaymath451

If n(s) is a possible trajectory consistent with N(t) = k then n has jumps at points

displaymath459

and at no other points in (0,t].

So given tex2html_wrap_inline447 with n(t)=k we are essentially being given

displaymath467

and asked the conditional probabilty in the first case of the event B given by

displaymath471

Conditioning on tex2html_wrap_inline399 irrelevant (independence).

align116

The numerator may be evaluated by integration:

displaymath475

Let tex2html_wrap_inline259 to get the limit

displaymath479

as required.

The computation of

displaymath481

is similar.

Properties of exponential rvs

Convolution: If X and Y independent rvs with densities f and g respectively and Z=X+Y then

displaymath493

Differentiating wrt z we get

displaymath497

This integral is called the convolution of densities f and g.

If tex2html_wrap_inline503 iid Exponential tex2html_wrap_inline505 then tex2html_wrap_inline507 has a Gamma tex2html_wrap_inline509 distribution. Density of tex2html_wrap_inline511 is

displaymath513

for s;SPMgt;0.

Proof:

align138

Then

align143

This telescopes to

displaymath513

Extreme Values: If tex2html_wrap_inline519 are independent exponential rvs with means tex2html_wrap_inline521 then tex2html_wrap_inline523 has an exponential distribution with mean

displaymath525

Proof:

align170

Memoryless Property: conditional distribution of X-x given tex2html_wrap_inline529 is exponential if X has an exponential distribution.

Proof:

align175

Hazard Rates

The hazard rate, or instantaneous failure rate for a positive random variable T with density f and cdf F is

displaymath539

This is just

displaymath541

For an exponential random variable with mean tex2html_wrap_inline365 this is

displaymath545

The exponential distribution has constant failure rate.

Weibull random variables have density

displaymath547

for t;SPMgt;0. The corresponding survival function is

displaymath551

and the hazard rate is

displaymath553

which is increasing for tex2html_wrap_inline555 , decreasing for tex2html_wrap_inline557 . For tex2html_wrap_inline559 this is the exponential distribution.

Since

displaymath561

we can integrate to find

displaymath563

so that r determines F and f.


next up previous



Richard Lockhart
Tuesday October 24 10:59:43 PDT 2000