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

Convergent and Divergent Integrals

  1. Feb 6, 2010 #1
    I had a question regarding convergent and divergent integrals. I want to know the "exact" definition of an improper integral that converges. Wikipedia states that
    For a while, I took that as a valid answer and claimed that any integral that has a finite answer must be convergent. However, I came up with a problem.
    If you solve [tex]\int_0^2 \frac{dx}{1-x}[/tex], it turns out that it diverges twice, on both integrals (0 to 1, and 1 to 2). My textbook, which has never failed me so far, states that it diverges. Its solution solves only one of the integrals and it of course goes to infinity. Therefore, it diverges. However, if you solve the integral algebraically, you're left with [tex]ln|\dfrac{1-b}{1-b}|[/tex], which ends up being 0 as [tex]\lim_{b\rightarrow 1}[/tex]. Clearly, this integral has a limit that exists.
    The problem lies in the fact that this integral "diverges" twice, at the same rate but in opposite directions. When evaluating this integral, this logically would lead to 0 because they're opposites of eacher.

    What's your guys' opinions on whether this converges or diverges?
  2. jcsd
  3. Feb 6, 2010 #2
    Maybe I do it differently, though. Could I write the integral as the limit as b approaches 1 of [tex]\int_0^{b^2} \frac{dx}{1-x} + \int_b^2 \frac{dx}{1-x}[/tex]?
  4. Feb 6, 2010 #3
    Very interesting idea. That leads to [tex]ln|\frac{1-b}{1-b^2}|[/tex] which is [tex]-ln2[/tex] by L'H or simple canceling. That seems to make no sense at all, even though everything arithmetically looks right. A change in only one of the [tex]n[/tex]s for [tex]\int_0^{b^n}[/tex] or [tex]\int_{b^n}^2[/tex] changes the answer. Therefore, I would have to guess that doing so is not allowed. However, I'm only a high school student so I know next to nothing compared to you guys.
  5. Feb 6, 2010 #4

    The anti-derivative of [tex]\frac{1}{1 - x}[/tex] is [tex]-ln(1 - x) + C[/tex], which certainly does not have a limit as x goes to 1.
  6. Feb 7, 2010 #5
    The problem is that infinity - infinity does not necessarily = 0.

    Your problem could be reworded as the following integral:

    \int_{-1}^{1} \frac{1}{x} dx

    Intuitively, both sides grow at the same rate but with opposite sign, therefore the integral is zero. This is where mathematical rigor > intuition. As it turns out, the integral is undefined (it's actually [tex]i \pi [/tex]).

    You have to be very careful to see if the integral actually converges or not.
  7. Feb 7, 2010 #6
    This is how I would do the math. I'm not saying that infinity - infinity is 0, but by using L'H and the difference of logs, you get an answer of 0.
    [tex]\lim_{b\rightarrow0} \int_{-1}^b \dfrac{dx}{x} + \int_b^1 \dfrac{dx}{x} [/tex]

    [tex]\lim_{b\rightarrow0} ln|x| |_{-1}^b + ln|x||_b^1[/tex]

    [tex]\lim_{b\rightarrow0} ln|b| - ln1 + ln1 - ln|b|[/tex]

    [tex]\lim_{b\rightarrow0} ln|b| - ln|b|[/tex]

    [tex]\lim_{b\rightarrow0} ln|\frac{b}{b}|[/tex]

    [tex]\lim_{b\rightarrow0} ln|1|[/tex]

    I'm guessing that I'm not allowed to cancel the b/b part?
    Last edited: Feb 7, 2010
  8. Feb 7, 2010 #7
    The indefinite integral is NOT

    \lim_{b\rightarrow0} \int_{-1}^b \dfrac{dx}{x} + \int_b^1 \dfrac{dx}{x}

    Rather, it's

    \lim_{b\rightarrow0} \int_{-1}^b \dfrac{dx}{x} + \lim_{b\rightarrow0} \int_b^1 \dfrac{dx}{x}

    which does not exist.
  9. Feb 7, 2010 #8
    Oh, I see. So you have to simplify each one separately and then add them together if they're finite numbers. Thank you for clarifying that.

    It still gives me chills since by looking at the function graphically, it looks like it's 0. I agree with what L'h said though.
    Last edited: Feb 7, 2010
  10. Feb 7, 2010 #9
    You don't simplify each separately. The first limit does indeed exist, and it's 0 as you pointed out.

    The indefinite integral is said to exist if both limits exist, and in this case it's their sum. So when I say that it's the sum of their limits rather than the limit of their sums, it's a matter of definition.
  11. Feb 7, 2010 #10
    An integral doesn't exist if the integral over any subdomain doesn't exist.

  12. Feb 7, 2010 #11


    User Avatar
    Science Advisor

    But that is an incorrect calculation. The correct definition for such an improper integral would be

    [itex]\lim_{\delta\to 0}\int_0^{1- \delta}\frac{dx}{1-x}+\lim_{\epsilon\to 0} \int_{1+ \epsilon}^2 \frac{dx}{1- x}[/itex]

    with [itex]\delta[/itex] and [itex]\epsilon[/itex] going to 0 independently.

    What you are doing is the "Cauchy Principal Value":

    [itex]\lim_{\epsilon\to 0}\left(\int_0^{1- \epsilon} \frac{dx}{1-x}+ \int_{1+\epsilon}^2 \frac{dx}{1- x}\right)[/itex]

    It definitely diverges by the definition of "improper integral" you will find in any Calculus text.
    Last edited by a moderator: Feb 7, 2010
  13. Feb 7, 2010 #12
    Okay, so the integral is indeed 0, but it diverges because if it diverges anytime within, it's a divergent integral. But HallsofIvy's definition for the improper integral makes it infinity - infinity and not 0?
  14. Feb 7, 2010 #13
    No. The integral is [tex]i \pi [/tex]. The areas don't "cancel" out as intuition would tell you.
  15. Feb 7, 2010 #14
    I'm completely confused now.. :(
    Didn't Werg22 just say it was 0?
  16. Feb 7, 2010 #15
    He said the limit was zero, yes. But that limit is not the integral as pointed out by Halls.

    The limit of the sum is only equal to the sum of the limits if each of the limits converges.
  17. Feb 7, 2010 #16
    Is this incorrect?
    http://alt1.artofproblemsolving.com/Forum/latexrender/pictures/2/7/f/27f17cc7fd214c888358970d9c2aa16e9b3114eb.gif [Broken]
    Last edited by a moderator: May 4, 2017
  18. Feb 7, 2010 #17

    Sure. But...

    What is

    \infty - \infty


    This is why it's undefined and hence divergent.
    Last edited by a moderator: May 4, 2017
  19. Feb 7, 2010 #18
    okay! Thanks a lot guys! I really appreciate it. I guess I got stuck just because of the whole "limit on each integral separately" since my teacher never did that when we split up integrals.
    This may be over my head and you guys already helped me out enough, but how do you show that it's [tex]i\pi[/tex]? I'm really interested. Does that involve Contour integrals or something?
  20. Feb 7, 2010 #19
    \int_{-1}^{1} \frac{1}{x} dx

    Let [tex] x = -e^{i \theta} \ \ dx = -i e^{i \theta} [/tex]

    \int_{0}^{\pi} \frac{-i e^{i \theta}}{-e^{i\theta}} d\theta = \int_{0}^{\pi} i = i \pi

    It beautifully swings around the fatal point x = 0.
  21. Feb 7, 2010 #20
    Very cool! thanks.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook