Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a...

48
Chapter 9 Random Processes ENCS6161 - Probabilityand Stochastic Processes ConcordiaUniversity

Transcript of Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a...

Page 1: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Chapter 9Random Processes

ENCS6161 - Probability and StochasticProcesses

Concordia University

Page 2: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Definition of a Random ProcessAssume the we have a random experiment withoutcomes belonging to the sample set . To each

, we assign a time function , , whereis a time index set: discrete or continuous.

is called a random process.

If is fixed, is a deterministic time function,and is called a realization, a sample path, or asample function of the random process.

If is fixed, as a function of , is arandom variable.

A random process is also called a stochastic process.

ENCS6161 – p.1/47

Page 3: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Definition of a Random ProcessExample: A random experment has two outcomes

. If we assign:

where is a constant. Then is a randomprocess.

Usually we drop and write the random process as.

ENCS6161 – p.2/47

Page 4: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Specifying a Random ProcessJoint distribution of time samplesLet n be the samples of obtained at

n, i.e. i i , then we can use the jointCDF

X 1���X n n n n

or the joint pdf X 1���X n n to describe arandom process partially.

Mean function:

X

Z 1

�1X t

Autocorrelation function

X

Z 1

�1

Z 1

�1X t1 X t2

ENCS6161 – p.3/47

Page 5: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Specifying a Random ProcessAutocovariance function

X X X

X X Xa special case:

X X

The correlation coefficient

XXp

X X

Mean and autocorrelation functions provide a partialdescription of a random process. Only in certaincases (Gaussian), they can provide a fullydescription.

ENCS6161 – p.4/47

Page 6: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Specifying a Random ProcessExample: , where is a randomvariable.

X

X

X X X X

ENCS6161 – p.5/47

Page 7: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Specifying a Random ProcessExample: , where is uniform in

, and are constants.X

Z �

X XZ �

ENCS6161 – p.6/47

Page 8: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Gaussian Random ProcessesA random process is a Gaussian randomprocess if for any , the samples taken at nare jointly Gaussian, i.e. if

n nthen

X 1���X n n

� 12 x�m

T K � 1 x�m

n= =

where X X nT and2

64

X X n

X n X n n

3

75

ENCS6161 – p.7/47

Page 9: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Multiple Random ProcessesTo specify joint random processes and , weneed to have the pdf of all samples of andsuch as i j for all andand all choices of i j .

The processes and are indepedent if therandom vectors i and

j are independent for all and

i j .

ENCS6161 – p.8/47

Page 10: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Multiple Random ProcessesThe cross-correlation X ;Y is defined as

X ;Y

Two processes are orthogonal ifX ;Y for all and

The cross-covarianceX ;Y X Y

X ;Y X Y

and are uncorrelated ifX ;Y for all and

ENCS6161 – p.9/47

Page 11: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Multiple Random ProcessesExample: and ,where is uniform in and is a constant.

X Y

X ;Y X ;Y

� �

ENCS6161 – p.10/47

Page 12: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Discrete-Time Random Processesi.i.d random processes: n X n then

X 1���X n n X X n

X n for all

X n1 n2

n1 n2 if

X n

X n1;n2

X n1;n2

ENCS6161 – p.11/47

Page 13: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Discrete-Time Random ProcessesExample: let n be a sequence of i.i.d. Bernoullir.v.s. with i

X

n

X n1;n2

X n1;n2

Example:

n n , where n are i.i.d. Bernoulli r.v.s

n

(

Y n

ENCS6161 – p.12/47

Page 14: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Random WalkLet n n where n are i.i.d. r.v.s. with

n and n . This is aone-dimensional random walk.

If there are positive jumps ( ’s) in trials (walks), then there are negative jumps ( ’s).So n and

n

� �k n�k

ENCS6161 – p.13/47

Page 15: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Properties of Random WalkIndependent incrementLet and . If , anddo not overlap. Then the increments on the twointervals are

n1 n0 n0 n1

n3 n2 n2 n3Since they have no n’s in common (no overlapping)and n’s are independent.

n1 n0 and n3 n2 are independent.This property is called independent increment.

ENCS6161 – p.14/47

Page 16: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Properties of Random WalkStationary incrementFurthermore, if and have the same length, i.e

then the increments n1 n0and n3 n2 have the same distribution since theyboth are the sum of i.i.d r.v.sThis means that the increments over interval of thesame length have the same distribution. The processn is said to have stationary increment.

ENCS6161 – p.15/47

Page 17: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Properties of Random WalkThese two properties can be used to find the joint pmf of Snat n1; ; nkP[Sn1 = s1; Sn2 = s2; ; Snk = sk]

= P[Sn1 = s1; Sn2 Sn1 = s2 s1; ; Snk Snk� 1 = sk sk� 1]

= P[Sn1 = s1]P[Sn2 Sn1 = s2 s1] P[Snk Snk� 1 = sk sk� 1]

(from independent increment)

= P[Sn1 = s1]P[Sn2� n1 = s2 s1] P[Snk � nk� 1 = sk sk� 1]

(from stationary increment)

ENCS6161 – p.16/47

Page 18: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Properties of Random WalkIf n are continuous valued r.v.s.

Sn 1���Sn k k

Sn 1 Sn 2� n 1 Sn k � n k� 1 k k�

e.g., if n thenSn 1 ;Sn 2 Sn 1 Sn 2� n 1

�s21

2n 1�2 p � (s2� s1 )

2

2( n 2� n 1 )�2

ENCS6161 – p.17/47

Page 19: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Sum of i.i.d ProcessesIf X 1; X 2; :::; X n are i.i.d and Sn = X 1 + X 2 + ::: + X n , we call Snthe sum process of i.i.d, e.g. random walk is a sum process.

mS(n) = E[Sn ] = nE[X ] = nm

Var [Sn ] = nVar [X ] = n�2

Autocovariance

CS(n; k) = E [(Sn E [Sn ])(Sk E [Sk ])]

= E[(Sn nm)(Sk km)] = E

2

4nX

i = 1

(X i m)kX

j = 0

(X j m)

3

5

=nX

i = 1

kX

j = 0

E [(X i m)(X j m)] =nX

i = 1

kX

j = 0

CX (i ; j )

=nX

i = 1

kX

j = 0

�2�i j = min(n; k)�2

ENCS6161 – p.18/47

Page 20: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Sum of i.i.d ProcessesExample: For random Walk

n

n

S

ENCS6161 – p.19/47

Page 21: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Continuos Time Random ProcessesPoisson Process: a good model for arrival process

Number of arrivals inarrival rate (average # of arrivals per time unit)

We divide into subintervals, each with durationtn

Assume:The probability of more than one arrival in asubinterval is negligible.Whether or not an event (arrival) occurs in asubinterval is independent of arrivals in othersubintervals.

So the arrivals in each subinterval are Bernoulli andthey are independent.

ENCS6161 – p.20/47

Page 22: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Poisson ProcessLet arrival . Then the average number ofarrivals in is

The total arrivals in Bionomial� �

k kk��t

when .

Stationary increment? YesIndependent increment? Yes

ENCS6161 – p.21/47

Page 23: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Poisson ProcessInter-arrival Time: Let be the inter-arrival time.

no arrivals in seconds��t

��t

T��t for

So the inter-arrival time is exponential with mean �.

ENCS6161 – p.22/47

Page 24: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Random Telegraph SignalRead on your own

ENCS6161 – p.23/47

Page 25: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Wiener ProcessSuppose that the symmetric random walk ( )takes steps of magnitude of every seconds. Attime , we have t

� jumps.

� n n

where i are i.i.d random variables taking withequal probability.

� n

� i

ENCS6161 – p.24/47

Page 26: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Wiener ProcessIf we let , where is a constant andand let the limit of � be , then is acontinuous-time random process and we have:

�! �!

is called the Wiener process. It is used to modelBrownian motion, the motion of particles suspendedin a fluid that move under the rapid and randomimpact of neighbooring particles.

ENCS6161 – p.25/47

Page 27: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Wiener ProcessNote that since t

n ,

� n nn

When , and since D , D , fromCLT, we have

n n D

DSo the distribution of follows

i.e.

X t� x 2

2�t

ENCS6161 – p.26/47

Page 28: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Wiener ProcessSince Wiener process is a limit of random walk, itinherits the properties such as independent andstationary increments. So the joint pdf of at

k ( k) will be

X t1 ;X t2 ;���;X tk k

X t1 X t2�t1 X tk �tk� 1 k k�

x21�t1

xk �xk� 1 2

� tk �tk� 1pk

k k�

ENCS6161 – p.27/47

Page 29: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Wiener Processmean funtion: Xauto-covariance: XProof:

� n

X � S where

D

keep in mind that: D

ENCS6161 – p.28/47

Page 30: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Stationary Random Processesis stationary if the joint distribution of any set of

samples does not depend on the placement of thetime origin.

X t1 ;X t2 ;���;X tk k

X t1 � ;X t2 � ;���;X tk � k

for all time shift , all , and all choices of k.

and are joint stationary if the jointdistribution of k and

0 0 0j do not depend on the

placement of the time origin for all and all choicesof k and 0 0 0

j .

ENCS6161 – p.29/47

Page 31: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Stationary Random ProcessesFirst-Order Stationary

X t X t � X for all

X for all

for all

Second-Order StationaryX t1 X t2 X X t2�t1 for all

X X for all

X X for allThe auto-correlation and auto-covariance dependonly on the time difference.

ENCS6161 – p.30/47

Page 32: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Stationary Random ProcessesExample:

An i.i.d random process is stationary.X t1 ;X t2 ;���;X tk k

X X X k

X t1 � ;X t2 � ;���;X tk � k

sum of i.i.d random process n n

We know S and nnot stationary.

ENCS6161 – p.31/47

Page 33: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Wide-Sense Stationary (WSS)is WSS if:

X for all

X X for all

Let , then X X .

ENCS6161 – p.32/47

Page 34: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Wide-Sense Stationary (WSS)Example: Let n consists of two interleavedsequences of independent r.v.s.For even: n withFor odd: n with and resp.Obviously, n is not stationary, since its pmf varieswith However,

X for all

X

(i j

i

i ;j

n is WSS.So stationary WSS, WSS ; stationary.

ENCS6161 – p.33/47

Page 35: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Autocorrelation of WSS processesX , for allX : average power of the process.

X is an even function.X X

X is a measure of the rate of change of a r.p.

(Markov Inequality)

X X

If X is flat X X is small theprobability of having a large change in inseconds is small.

ENCS6161 – p.34/47

Page 36: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Autocorrelation of WSS processesX X

Proof: X X

X X

If X X then X is periodic with period, and is mean square periodic, i.e.,

Proof: read textbook (pg.360). Use the inequality(from , sec.4.7)

If , where is a zero-meanprocess s.t. N , as then

X Nas .

ENCS6161 – p.35/47

Page 37: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Autocorrelation of WSS processesX can have three types of components: (1) acomponent that as (2) a periodiccomponent, and (3) a component that due to a nonzero mean.

Example: X� �j�j

Ya2

If and assume areindependent with zero mean, then

Z X Y

ENCS6161 – p.36/47

Page 38: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

WSS Gausian Random ProcessIf a Gaussian r.p. is WSS, then it is stationary (StrictSense Stationary)Proof:

X

T �

n2

12

2

64

X...

X n

3

75

2

64

X X n...

......

X n X n n

3

75

If is WSS, then X X

X i j X i j So X does not depend onthe choice of the time origin Strict SenseStationary.

ENCS6161 – p.37/47

Page 39: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Cyclo Stationary Random ProcessRead on your own.

ENCS6161 – p.38/47

Page 40: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Continuity of Random ProcessRecall that for n

n in m.s. (mean square) if n ,as

Cauchy CriterionIf n m as and then

n converges in m.s.

Mean Square ContinuityThe r.p. is continuous at in m.s. if

asWe wrtie it as: t! t0 (limit in themean)

ENCS6161 – p.39/47

Page 41: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Continuity of Random ProcessCondition for mean square continuity

X X X XIf X is continuous (both in ), at point

then So iscontinuous at in m.s. if X is continuous at

If is WSS, then:

X XSo is continuous at , if X is continuous at

ENCS6161 – p.40/47

Page 42: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Continuity of Random ProcessIf is continuous at in m.s., then

t! t0X X

Proof:

X X

X X

ENCS6161 – p.41/47

Page 43: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Continuity of Random ProcessExample: Wiener Process:

X

X is continous at is continuousat in m.s.

Example: Poisson Process:N

Nis continuous at in m.s.

Note that for any sample poisson process, there areinfinite number of discontinuities, but iscontinuous at any in m.s.

ENCS6161 – p.42/47

Page 44: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Mean Square DerivativeThe mean square derivative 0 of the r.p. isdefined as:

0 l.i.m." !

provided that

" !

" �0� #

The mean square derivative of at exists if@2

@t1@t2 X exists at point .Proof: read on your own.

For a Gaussian random process , 0 is alsoGaussian

ENCS6161 – p.43/47

Page 45: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Mean Square DerivativeMean, cross-correlation, and auto-correlation of 0

X 0 X

X X 0 X

0X X

When is WSS,X 0

X X 0 X X

X 0

X

X

ENCS6161 – p.44/47

Page 46: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Mean Square DerivativeExample: Wiener Process

X X

is the step function and is discontinuous atIf we use the delta function,

X 0

Note 0 is not physically feasible since0 i.e., the signal has infinite

power. When , X 00 0

uncorrelated (note X 0 for all t) independentsince 0 is a Gaussian process.0 is the so called White Gaussian Noise.

ENCS6161 – p.45/47

Page 47: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Mean Square IntegralsThe mean square integral of form to :

Rtt0

0 0exists if the integralRtt0

Rtt0 X exists.

The mean and autocorrelation of

Y

Z t

t0X

0 0

Y

Z t1

t0

Z t2

t0X

ENCS6161 – p.46/47

Page 48: Chapter 9 Random Processesusers.encs.concordia.ca/home/m/msoleyma/ENCS6161... · Specifying a Random Process Jointdistributionoftimesamples Let nbethesamplesof obtainedat n,i.e.i

Ergodic TheoremsTime Averages of Random Processes and ErgodicTheorems.

Read on your own.

ENCS6161 – p.47/47