next up previous
Postscript version of this file

STAT 380: Lecture 14

Equivalence of the models

Model 3 implies 1: Fix t, define tex2html_wrap_inline186 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

displaymath200

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

align9

Now rearrange, divide by h to get

displaymath212

Let tex2html_wrap_inline214 and find

displaymath216

Differential equation has solution

displaymath218

Notice: survival function of exponential rv..

General case:

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

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

displaymath226

Evaluate tex2html_wrap_inline228 by conditioning on tex2html_wrap_inline230 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_inline242 :

displaymath244

For j=k-1 we have

displaymath248

For j=k we have

displaymath252

N is increasing so only consider tex2html_wrap_inline256 .

align18

Rearrange, divide by h and let tex2html_wrap_inline214 t get

displaymath262

For k=0 the term tex2html_wrap_inline266 is dropped and

displaymath268

Using tex2html_wrap_inline270 we get

displaymath272

Put this into the equation for k=1 to get

displaymath276

Multiply by tex2html_wrap_inline278 to see

displaymath280

With tex2html_wrap_inline282 we get

displaymath284

For general k we have tex2html_wrap_inline288 and

displaymath290

Check by induction that

displaymath292

Hence: N(t) has Poisson tex2html_wrap_inline296 distribution.

Similar ideas permit proof of

displaymath298

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_inline304 to be the times between 0 and the first point, the first point and the second and so on.

Fact: tex2html_wrap_inline304 are iid exponential rvs with mean tex2html_wrap_inline308 .

We already did tex2html_wrap_inline310 rigorously. The event T> t is exactly the event N(t)=0. So

displaymath316

which is the survival function of an exponential rv.

I do case of tex2html_wrap_inline318 . Let tex2html_wrap_inline320 be two positive numbers and tex2html_wrap_inline322 , tex2html_wrap_inline324 . The event

displaymath326

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

align38

which has probability

displaymath328

Divide by tex2html_wrap_inline330 and let tex2html_wrap_inline332 and tex2html_wrap_inline334 go to 0 to get joint density of tex2html_wrap_inline318 is

displaymath338

which is the joint density of two independent exponential variates.

More rigor:

First step: Compute

displaymath344

This is just the event of exactly 1 point in each interval tex2html_wrap_inline346 for tex2html_wrap_inline348 ( tex2html_wrap_inline350 ) and at least one point in tex2html_wrap_inline352 which has probability

displaymath354

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

displaymath360

Notice tacit assumption tex2html_wrap_inline362 .

Differentiate twice, that is, take

displaymath364

to get

displaymath366

Simplify to

displaymath368

Recall tacit assumption to get

displaymath370

That completes the first part.

Now compute the joint cdf of tex2html_wrap_inline318 by

displaymath374

This is

align68

Differentiate twice to get

displaymath376

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_inline378 iid exponential rvs with means tex2html_wrap_inline308 . Define tex2html_wrap_inline382 by tex2html_wrap_inline384 if and only if

displaymath386

Let A be the event tex2html_wrap_inline390 . We are to show

displaymath392

and

displaymath394

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

displaymath402

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

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

displaymath410

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

displaymath414

Conditioning on tex2html_wrap_inline342 irrelevant (independence).

align88

The numerator may be evaluated by integration:

displaymath418

Let tex2html_wrap_inline214 to get the limit

displaymath422

as required.

The computation of

displaymath424

is similar.

Properties of exponential rvs

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

displaymath436

Differentiating wrt z we get

displaymath440

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

If tex2html_wrap_inline446 iid Exponential tex2html_wrap_inline448 then tex2html_wrap_inline450 has a Gamma tex2html_wrap_inline452 distribution. Density of tex2html_wrap_inline454 is

displaymath456

for s> 0.

Proof:

align110

Then

align115

This telescopes to

displaymath456

Extreme Values: If tex2html_wrap_inline462 are independent exponential rvs with means tex2html_wrap_inline464 then tex2html_wrap_inline466 has an exponential distribution with mean

displaymath468

Proof:

align140

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

Proof:

align145

Hazard Rates

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

displaymath482

This is just

displaymath484

For an exponential random variable with mean tex2html_wrap_inline308 this is

displaymath488

The exponential distribution has constant failure rate.

Weibull random variables have density

displaymath490

for t> 0. The corresponding survival function is

displaymath494

and the hazard rate is

displaymath496

which is increasing for tex2html_wrap_inline498 , decreasing for tex2html_wrap_inline500 . For tex2html_wrap_inline502 this is the exponential distribution.

Since

displaymath504

we can integrate to find

displaymath506

so that r determines F and f.


next up previous



Richard Lockhart
Friday October 20 21:40:08 PDT 2000