1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Integrals over an infinite range (using residue theorem)

  1. May 10, 2008 #1
    I am taking a short course of complex variables and am trying to understand how to evaluate the integral:

    [tex]\int\frac{dx}{1+x^{2}} [/tex] (1) where the integration is from -infinity to +infinity.

    To do this, we must, apparently consider:

    [tex]\oint\frac{dz}{1+z^2}[/tex] (2). The closed loop is a countour which is a semi circle of radius R about the origin containing ONLY the +i singularity (there are two singularities, +i and -i). .

    Ofcourse we may write [tex]\frac{1}{1+z^2}=-\frac{1}{2i}\left(\frac{1}{z+i}-\frac{1}{z-i}\right)[/tex]

    Thus the residue at z=i is 1/2i. Therefore the integral (2) is 2pi*i*res(z=i)=pi

    This implies (I cant understand why) the Integral (1) EQUALS Integral (2)=pi.


    1)why do we consider only a loop containing one of the singularities (+i)?
    2)why is integral (1), with limits going from -infinity to plus infinity EQUAL to the same integral, with weird limits (-R to R along a semi circle, then along real axis from -R to R)?

    Thanks in advance:)
  2. jcsd
  3. May 10, 2008 #2
    These are pretty basic contour integration questions, I think they should be explained in your course?

    But to address your questions;

    1) Because you are integrating over the semicircle from -R to R, (with R>1 you get [tex]i[/tex] inside of the contour). The other pole ([tex]z=-i[/tex]) is not inside the contour.

    2) Well you are not done yet, you still have to show that part. (Most likely using the ML inequality or Jordans lemma).

    And the integral (2), has that value from the residue (as all contour integrals over a jordan curve "[tex]\gamma[/tex]" in the complex plane)

    [tex] \oint_\gamma f(z) \mathrm{d}z = 2\pi i \sum_k \text{Res}(f,a_k)[/tex]

    Where Res(f,a_k) are the residues (z=a_k) of the poles of f inside of the contour "gamma".
    Last edited: May 10, 2008
  4. May 10, 2008 #3
    thanks *-<|:-D=<-<

    "2) Well you are not done yet, you still have to show that part. (Most likely using the ML inequality or Jordans lemma)."

    Hmmm, rereading my notes, I get the impression that there is a trivial reason as to why integral 1 equals integral 2... as in it should be obvious from looking at both integrals, without having to resort to jordan's lemma and such like... i just dont get it though!
  5. May 10, 2008 #4
    Hi vertices,

    The complex contour integral (2) you are considering equals the original real integral (1) plus the integral over a semicircle of radius R. It turns out that, in a lot of cases, the integral over that semi circle goes to zero as R goes to infinity, so you get the equality you were seeking.
  6. May 10, 2008 #5


    User Avatar
    Science Advisor

    I think what you are missing is that the integral over the semicircle of radius R goes to 0 as R goes to infinity.
  7. May 10, 2008 #6
    thanks jeff and hallsofivy. Is there a non-trivial reason as to why the integral over the semi circle goes to 0 as R tends to infinity?

    My lecturer wrote the first integral and literally put an "=>" sign by it before writing the second integral.
  8. May 10, 2008 #7
    I think he put that indicator to show that the appropriate contour to choose was the closed semi-circle.

    The integrand 1/(z^2+1) goes to 0 when R tends to infinity hence the integral does so too.
  9. May 11, 2008 #8
    maybe I guess.

    That said, I still don't understand why the integral (2) over a semi circle from R to -R is zero when R tends to infinity. This does not come about from Jordan's Lemma because there is no exp(iaz) term, where a>0. Are there any other techniques I could use to see why the integral is zero?
  10. May 11, 2008 #9
    Ah you're absolutely right, i had forgot what jordans lemma was. The ML inequality or "estimation lemma" applies here however, and i think that is what you are gonna use for all these types of integrals, it is very typical for an introductory course to complex calculus.

    Check out estimation lemma on wiki.
  11. May 11, 2008 #10
    thanks, I just did - very useful:)
  12. Oct 20, 2008 #11
    what about semi infinite integrals? how do we compute the arc integral in that case?
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook