YOUR NAME: KEY

Math 129-005H Homework 4 (improper integrals)11 1 This document is licensed under a Creative Commons Attribution 3.0 United States License

Kevin K.Β Lin

Due Wednesday 9/22

  1. 1)

    Does

    ∫0∞e-t⁒𝑑t

    converge or diverge? If it converges, find its value.

    Solution:

    ∫0be-t⁒𝑑t = [-e-t]|t=0b
    = -e-b+e0
    = 1-e-b.

    Since e-bβ†’0 as bβ†’βˆž, the integral converges to 1.

  2. 2)

    Does

    ∫0∞t⁒e-t⁒𝑑t

    converge or diverge? If it converges, find its value.

    Solution: integrate by parts with u=t and vβ€²=e-t:

    ∫0bt⁒e-t⁒𝑑t = [-t⁒e-t]|t=0b+∫0be-t⁒𝑑t
    = -b⁒e-b+0+1-e-b

    Since b⁒e-bβ†’0 and e-bβ†’0 as bβ†’βˆž, the integral converges to 1.

  3. 3)

    The gamma function is defined for all xβ‰₯1 by

    Γ⁒(x)=∫0∞tx-1⁒e-t⁒𝑑t.

    It appears widely in many areas of mathematics and physics, for example in probability theory. (The function is actually defined for all x>0, but for x<1 it involves another kind of improper integral which we will discuss next week. )

    1. a.

      What are the values of Γ⁒(1) and Γ⁒(2)? Hint: you’ve already done all the work above! No need to redo the work.

      Solution: Γ⁒(1)=∫0∞t1-1β‹…e-t⁒𝑑t=1 and Γ⁒(2)=∫0∞t2-1β‹…e-t⁒𝑑t=1

    2. b.

      Start with the definition of Γ⁒(x+1) and integrate by parts once with respect to t to find a simple relation between Γ⁒(x+1) and Γ⁒(x). This will lead to an expression for

      Γ⁒(x+1)Γ⁒(x);

      what is it? (This problem may be a little confusing because there’s both x and t. You should think of x as a constant and treat t as the variable.)

      Solution:

      Integrate by parts with u=tx, vβ€²=e-t:

      ∫0btx⁒e-t⁒𝑑t = -tx⁒e-t|t=0b+∫0bx⁒tx-1⁒e-t⁒𝑑t
      = -bx⁒e-b+0+∫0bx⁒tx-1⁒e-t⁒𝑑t

      if x>0. As bβ†’βˆž, bx⁒e-bβ†’0, so

      Γ⁒(x+1) = ∫0∞x⁒tx-1⁒e-t⁒𝑑t
      = x⁒∫0∞tx-1⁒e-t⁒𝑑t  (becauseΒ xΒ is a β€œconstant” here)
      = x⁒Γ⁒(x).

      Thus Γ⁒(x+1)/Γ⁒(x)=x.

      (more space on next page)

    3. c.

      Using the above, find a simple expression for Γ⁒(n). Hint: try calculating Γ⁒(3) in terms of Γ⁒(2), Γ⁒(4) in terms of Γ⁒(3), etc. What pattern do you see?

      Solution: