Integrals over an infinite range (using residue theorem)

  • Thread starter vertices
  • Start date
  • #1
vertices
62
0
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 can't understand why) the Integral (1) EQUALS Integral (2)=pi.

Questions:

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:)
 

Answers and Replies

  • #2
Santa1
109
0
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:
  • #3
vertices
62
0
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 don't get it though!
 
  • #4
abelian jeff
32
0
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.
 
  • #5
HallsofIvy
Science Advisor
Homework Helper
43,021
971
I think what you are missing is that the integral over the semicircle of radius R goes to 0 as R goes to infinity.
 
  • #6
vertices
62
0
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.
 
  • #7
Santa1
109
0
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.
 
  • #8
vertices
62
0
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?
 
  • #9
Santa1
109
0
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 going to use for all these types of integrals, it is very typical for an introductory course to complex calculus.

Check out estimation lemma on wiki.
 
  • #10
vertices
62
0
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 going to use for all these types of integrals, it is very typical for an introductory course to complex calculus.

Check out estimation lemma on wiki.

thanks, I just did - very useful:)
 
  • #11
FunkyDwarf
489
0
what about semi infinite integrals? how do we compute the arc integral in that case?
 

Suggested for: Integrals over an infinite range (using residue theorem)

Replies
23
Views
577
Replies
38
Views
1K
Replies
1
Views
319
  • Last Post
Replies
1
Views
395
  • Last Post
Replies
5
Views
710
  • Last Post
Replies
29
Views
1K
Replies
1
Views
392
Replies
15
Views
526
  • Last Post
Replies
0
Views
387
  • Last Post
Replies
5
Views
670
Top