Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Dominated Convergence theorem

  1. May 20, 2005 #1
    hello all

    I have been researching about the dominated convergence theorem so that i could use it to prove the relationship between the gamma function and the Riemann zeta function, what i need is the simple version of the dominated convergence theorem to be able to swap the summation sign and the integral sign around in order to prove the relationship, after doing some research i have only found information relating to the measure theory but i dont understand how that relates to how im going to use it, anybody have any ideas
  2. jcsd
  3. May 20, 2005 #2


    User Avatar
    Science Advisor
    Homework Helper

    Are you trying to prove something like [itex]\sum_{n=1}^{\infty}\int_{0}^{\infty}x^{s-1}e^{-nx}dx=\int_{0}^{\infty}x^{s-1}/(e^x-1)dx?[/itex]

    In this case your sequence of functions is bounded in absolute value by [tex]x^{\sigma-1}/(e^x-1)[/tex], where [tex]\sigma[/tex] is the real part of s and your sequence of functions is uniformly convergent on compact sets, so you should be able to apply even the strictest versions of dominated convergence (of course we're also assuming [tex]\sigma>1[/tex] here).

    Or are you having trouble finding a statement for the Riemann integral? If a function is Riemann integrable, it is Lebesgue integrable and these integrals are equal, so you can translate a lebesgue theorem to a riemann one (provided you meet all hypotheses of course). In any case, the following is sufficient here (this is from Rudin but should be in most analysis texts in some form):

    [tex]g,\ f_n[/tex] Riemann integrable on [t,T] for all [tex]0<t<T<\infty[/tex], [tex]|f_n|<g[/tex], [tex]f_n[/tex] converges to f uniformly on compact subsets and [itex]\int_{0}^{\infty}g(x)dx[/itex] is finite (and exists), then [itex]\lim_{n\rightarrow\infty}\int_{0}^{\infty}f_n(x)dx=\int_{0}^{\infty}f(x)dx[/itex]
  4. May 22, 2005 #3
    well yes im trying to prove this


    what im trying to do is look for a statement relating to the dominated convergence theorem which allows me to interchange the summation sign and the integral sign, like are there certain conditions that are to be met to do such a step, or is it just a statement which needs to be stated in the proof, i think an explanation in simple terms on what this theorem means and how it relates to proving this problem would help, in terms of
    [tex]\sigma[/tex] i didnt understand it, especially if we only take the real part of s how do we know that it would be bounded in absolute value?
  5. May 22, 2005 #4


    User Avatar
    Science Advisor
    Homework Helper

    Then look at the statement I provided in my last post.

    If you want to apply any theorem there are always conditions that have to be met first.

    Well it gives sufficient conditions on when you can say the limit of the integrals of a sequence of functions is equal to the integral of the limit of those functions, i.e. the swapping of the limit with the integral sign. For this problem your infinite sum is hiding the limit, the [tex]f_n[/tex] in the theorem is just the nth partial sum, [itex]f_n(x)=\sum_{k=0}^{n}x^{s-1}e^{-kx}[/itex], f is the limit of these sums, [tex]x^{s-1}/(e^x-1)[/tex] and here we can take g to be [tex]x^{\sigma-1}/(e^x-1)[/tex] by the triangle inequality and what follows below. We have uniform convergence compact sets to the right of real part s equals 1. So the theorem applies and the swapping of the infinite sum and the integral is justified.

    You are familiar with complex exponents, right? If [tex]s=\sigma+it[/tex] where [tex]\sigma[/tex] and t are real then [tex]x^{s-1}=x^{\sigma}x^{it}=x^{\sigma-1}e^{it\log{x}}=x^{\sigma-1}(\cos{(t\log{x})}+i\sin{(t\log{x})})[/tex], so [tex]|x^{-1}s|=|x^{\sigma-1}|=x^{\sigma-1}[/tex]. This shouldn't be new to you. (remember x>0 here)
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook