I've seen a few examples but don't understand how the contour is chosen.
We use the substitution z=e^(i*theta)
If the integral is over -pi to pi, or over 0 to 2*pi, then the contour is the unit circle centred on the origin.
My questions:
1.) Why?
2.) What would the contour be if we were integrating over 0 to pi?
My attempts at answers:
1.) Is it because the subtitution we use is the usual parameterization of the unit circle? (I read that somewhere but to be honest I don't really understand what it means). Or is it a full circle because we are integrating over a full circle (0 to 2*pi) in the original limits of integration? In which case why is it a unit circle, why couldn't its radius be larger or smaller? How do we chose the radius of the circle contour?
2.) Would it be a unit semi-circle centred on the origin? If so which 2 quartiles of the imaginary plane would it cover? Or would it still be a unit circle centred on the axis?
Also I think the Cauchy theorem tells us that any integral over a closed contour in the complex plane is equal to zero if the function is regular on or within that contour. If there are singularities (poles) within the contour then we apply the residue theorem and find the value of the integral equal to 2*pi*i * [sum of residues of the poles]. Right?
All very well, but some integrals have several poles, and depending on which contour you choose you may or may not enclose these singularities. You have to choose a contour that is regular at all points for that function. But in all the examples I looked at they chose the unit circle centred on the radius, and in one of them this meant the pole at z = 2 wasn't enclosed, but they could have chosen a circle of radius 3 or 4 or even infinity and the function would still be regular at all points on the contour. I'm confused.
Any answers/help/hints/tips would be much appreciated. Thanks.
^^ Thanks again ThePerfetHacker.
So if we were integrating from 0 to pi now the curve would follow an arc from (1,0) to (0,1) to (-1,0). That isn't a closed contour. Don't we need a closed contour to apply the residue theorem? What would be the correct closed contour for such an integral over 0 to pi, and how would we choose it?
Hmm thank you.
I suppose that we can close it like that because a) as you said the contour is peicewise smooth and simple, and b) because the range from (-1,0) to (1,0) isn't part of the z space...
On the other hand I've seen simple examples, which I'm pretty sure can be integrated with this method from 0 to pi, where the poles reside on the real axis within -1 = x and x = 1. This would mean that the contour shown above would cut through those singularities. Isn't that a problem? But then again is it true that you can simply divide the value of the residue by 2 if the contour cuts through a pole?
What you do is circle around the singularity on the real line by either keeping the singularity within your contour or by excluding it. There are various and sundry ways of doing this.
Take, for example a function f(x) where there is a pole at x = 1 and we are integrating f(x) over the whole real line.
We may use a semicircle in the upper half plane where we integrate our contour thusly:
+ (semicircle at R = from to )
(This contour excludes our singularity. If we wanted to include it we'd integrate the second term from to .)
The sum of the first and third terms is called the "principle value" of the integral and is usually written as:
-Dan
Hmm thanks again topsquark, but to be honest I don't understand :/
How do we evaluate using the residue theorem in complex analysis?
If we were integrating from 0 to 2*pi we could use the unit circle centred on the origin as the contour, because z follows that contour, and then apply the residue theorem to calculate 2*pi*i*[sum of enclosed poles] = answer.
I'm sure it can be done easily for 0 to pi because I read from http://www.math.gatech.edu/~cain/win...supplement.pdf that "Our method is easily adaptable for integrals over a different range, for example
between 0 and pi or between ąpi." Unfortunately he doesn't give an example.
So how de we adapt the simple z = e^(i x) substitution method integrating from 0 to 2*pi, i.e over the unit circle, to integrate from 0 to pi?
I'm just looking for a simple example of using the residue theorem in complex analysis, please.
Let me show you an example, perhaps that will suffice for you.
(For posterity's sake, this example is taken from Arfken, "Mathematical Methods for Physicists, 3rd ed." pg 408)
Evaluate
We may take this integral to be half of the imaginary part of
<-- P means the "principle value" here.
There is a simple pole at z = 0 here.
I'll have to describe the contour since I'm lousy at drawing. I'm going to take the integral over the line from negative infinity to -r (where r is a small number) and pick it back up from r to positive infinity. Connecting these two rays is the contour C1, which is a semicircle of radius r in the upper half plane. To close the contour I'm going to use a semicircle of radius R (where R is very large) in the upper half plane. Naturally we'll be going around the closed contour in a clockwise fashion.
We choose this contour to avoid the pole at z = 0, to include the whole real axis (excepting a vanishingly small contribution near z = 0), and to yield a vanishingly small integrand for the C2 contour as .
So:
(Since there are no poles enclosed by the contour the sum is 0 according to the residue theorem.)
By Jordan's Lemma
and
Or
Let's do the C1 integral.
as we go from to .
So
Since r is small in the limit, we may expand the exponential funtion as a Taylor series about r = 0:
So
The first integral is a real number not dependent on r, so in the limit the first term is zero. Again, the second integral is a real number not dependent on r, so the limit goes away. Thus:
So
Now, our original integral is half of the imaginary part of this expression, so
-Dan
thank you very much for your time topsquark. I have that very good Arfken and Webber book you mentioned open infront of me, I feel so thick
I've been thinking about the problem and I'm trying the subsitution z = e^(i2x) so that the conotur is closed by default, (as the unit circle around the origin).