Page 208 - Probability, Random Variables and Random Processes
P. 208

RANDOM  PROCESSES                            [CHAP  5



               Substituting the above expression into Eq. (5.156), we have




               Integrating, we get



               Since pn(0) = 0, c, = 0, and we obtain




               which is Eq. (5.55) of Definition 5.6.1.  Thus we conclude that Definition 5.6.2  implies Definition 5.6.1.

         5.50.  Verify Eq. (5.59).
                   We note first that X(t) can assume only nonnegative integer values; therefore, the same is true for the
               counting increment X(t + At) - X(t). Thus, summing over all possible values of the increment, we get
                        00
                        1 P[X(t + At) - X(t) = k] = P[X(t + At) - X(t) = 01
                       k = 0
                                               + P[X(t + At) - X(t) = 11 + P[X(t + At) - X(t) 2 21
                                            = 1
               Substituting conditions 3 and 4 of Definition 5.6.2 into the above equation, we obtain
                                       P[X(t + At) - X(t) = 0) = 1  - A At + o(At)


         5.51.  (a)  Using the Poison probability distribution in Eq. (5.158), obtain an analytical expression for
                   the correction term o(At) in the expression (condition 3 of Definition 5.6.2)
                                         P[X(t + At) - X(t) = 11 = A  At + o(At)         (5.1 59)
               (b)  Show that this correction term does have the property of Eq. (5.58); that is,

                                                     o(At)
                                                  lim  - - 0
                                                          -
                                                 at-o  At
               (a)  Since the Poisson process X(t) has stationary increments, Eq. (5.159) can be rewritten as
                                           P[X(At) = 11  = p,(At) = A At + o(At)          (5.1 60)
                   Using Eq. (5.1 58) [or Eq. (5.1 57)], we have
                                         pl(At) = L At  e-at  = A At(1 +   - 1)
                                              = L At + A At(eVAAt - 1)
                   Equating the above expression with Eq. (5.160), we get


                   from which we obtain
                                                o(At) = A At(e-"t  - 1)
               (b)  From Eq. (5.161), we have

                                           - lim  A AWUt - 1) = lim  *((?-at - 1) = 0
                                           -
                                    lim  -
                                    At-0   At   At-0   At     At-0
         5.52.  Find the autocorrelation  function R,(t,  s) and the autocovariance function K,(t,  s) of a Poisson
               process X(t) with rate 1.
   203   204   205   206   207   208   209   210   211   212   213