Contour Integrals: Transforming & Residue Theorem

aaaa202
Messages
1,144
Reaction score
2
You can do integrals of real functions like:

\oint1/(3-sinθ) by transforming to a complex contour, which enloses the origin, and then using the residue theorem. Normally you would transform to the unit circle, but in principal you could use any contour (right?). Now, sometimes you find that some rediues are inside the unit circle and some are not. If you picked a difference contour this could be changed. However, the integral above must give the same for every contour, so what is it that still makes the complex integrals give the same (even though different contours are involved.)
 
Physics news on Phys.org
the integral above must give the same for every contour
No, that's not true, for exactly the reason you said. The integral depends on which poles of the function are inside the contour. What is true is that you can find a specific definite integral by finding a contour that includes the interval of integration. The integral over that interval will be constant while the integral over the entire contour and the integral over the rest of the contour vary- there difference being the constant.
 
hmm I might need you to repeat that for me. Say we have some kind of sinusoidal function that is to be integrated from [0;2\pi]. There are infinitely many contours in the complex plane that encloses the origin and they may well have different poles inside them. How do you then know which of those will give the correct value for the real valued integral of the sinusoidal function? I always did the unit circle (easiest!) but guessing the others will be just as good, it is weird that they would yield different results for the integral.
Or is that exactly what compensates for the fact that when you substitute \theta = \theta(z) you will get different expressions for sin(\theta) as a function of z? For instance sin\theta = 1/(2i)(z/r + r/z) for the general substitution z=rexp(i\theta)
 
aaaa202 said:
You can do integrals of real functions like:

\oint1/(3-sinθ) by transforming to a complex contour, which enloses the origin, and then using the residue theorem. Normally you would transform to the unit circle, but in principal you could use any contour (right?). Now, sometimes you find that some rediues are inside the unit circle and some are not. If you picked a difference contour this could be changed. However, the integral above must give the same for every contour, so what is it that still makes the complex integrals give the same (even though different contours are involved.)

You havin' trouble understanding that. The basis of the principle is the Residue Theorem: the integral of a meromorphic function (an analytic function with poles) over a closed contour is equal to 2pi i times the sum of the enclosed residues. Now, that's what's not going to change no matter what the contour is, big, small, circle, square, triangle. So you're referring to a real integral like:

\int_0^{2\pi} \frac{1}{3-\sin(t)}dt

Now, the easiest thing to do is to let z=e^{it} but you could let z=5e^{it} or any size circle but those others are just more difficult to work with. Nevertheless, they would still give you the correct answer as long as your complex algebra is correct and you correctly identify the enclosed poles for the residue calculation. For example, if I let z=5e^{it}, I get:

\int_0^{2\pi} \frac{dt}{3-\sin(t)}=\mathop\oint\limits_{|z|=5}\left(-i\frac{dz}{z}\right) \frac{10iz}{30 iz-z^2+1}

but I did that fast so you'd have to verify it. It's more messy though than just letting z=e^{it}.
 
There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...
Back
Top