Page 272 - Elements of Distribution Theory
P. 272

P1: JZP
            052184472Xc09  CUNY148/Severini  June 2, 2005  12:8





                            258                       Approximation of Integrals

                            Theorem 9.1.  (x + 1) = x (x),x > 0, and for n = 0, 1,...,  (n + 1) = n!.

                            Proof. Using integration-by-parts,


                                          ∞                          ∞     ∞
                                                           x
                                            x

                               (x + 1) =    t exp(−t) dt =−t exp(−t)  + x    t  x−1  exp(−t) dt = x (x).
                                         0                          0     0
                            Hence, for an integer n,
                                          (n + 1) = n (n) = n(n − 1) (n − 1) =· · · = n! (1);
                            the second result now follows from the easily verified fact that  (1) = 1.
                              A function closely related to the gamma function is the beta function. Let r and s be
                            nonnegative real numbers. Define
                                                              1
                                                   β(r, s) =  t r−1 (1 − t) s−1  dt;
                                                            0
                            this function appears in the normalizing constant of the density of the beta distribution. The
                            following theorem gives an expression for the beta function in terms of the gamma function.

                            Theorem 9.2.
                                                          (r) (s)
                                                 β(r, s) =       , r > 0, s > 0.
                                                          (r + s)
                            Proof. Note that, for r > 0 and s > 0,
                                                      ∞               ∞

                                           (r) (s) =    t r−1  exp(−t) dt  t s−1  exp(−t) dt
                                                     0                0
                                                      ∞   ∞

                                                               t
                                                  =         t r−1 s−1  exp{−(t 1 + t 2 )} dt 1 dt 2 .
                                                            1   2
                                                     0   0
                            Using the change-of-variable x 1 = t 1 + t 2 , x 2 = t 1 /(t 1 + t 2 ), we may write
                                            ∞   ∞

                                                  r−1 s−1
                                                  t 1  t 2  exp{−(t 1 + t 2 )} dt 1 dt 2
                                           0   0
                                                 1     ∞
                                                          x
                                            =        x r+s−1 r−1 (1 − x 2 ) s−1  exp(−x 1 ) dx 1 dx 2
                                                      1    2
                                               0  0
                                                 1                  ∞
                                                  r−1      s−1        r+s−1
                                            =    x 2  (1 − x 2 )  dx 2  x 1  exp(−x 1 ) dx 1
                                               0                  0
                                            = β(r, s) (r + s),
                            proving the result.
                              The value of the gamma function increases very rapidly as the argument of the function
                            increases. Hence, it is often more convenient to work with the log of the gamma function
                            rather than with the gamma function itself; a plot of this function is given in Figure 9.1.
                            Clearly, log  (x) satisfies the recursive relationship
                                                  log  (x + 1) = log x + log  (x).
                            In addition, the following result shows that log  (x)isa convex function.

                            Theorem 9.3. The function log  (x),x > 0,isconvex.
   267   268   269   270   271   272   273   274   275   276   277