Confusion regarding Residue Theoremby Mr. Heretic Tags: complex analysis, contour integral, line integral, residue theorem 

#1
Dec2012, 07:43 PM

P: 16

So I ran into residue theorem recently and found it to be pretty amazing, and have been trying to get some of the more fundamental aspects of Laurent series and contour integrals down to make sure I understand it properly, but there's still one big aspect that keeps confusing me majorly.
According to the theorem, a contour integral on the complex plane around a set of singularities (I'm paraphrasing) like (x, y) = (0, 1) or (0, 1) in z = 1/(1 + (x + i y)^2) is 2 i pi [Sigma on i] Res(z, point i), but that implies it's constant no matter the size or shape of the chosesn contour (given the set of singularities it encircles does not change), and that any closed contour integral which does not circle a singularity must be zero? The first part is mindblowing if it's true, but it doesn't contradict in too obvious a fashion with my logic, the last point does. If you take a contour integral about a circle, each point in which has a positive z value (ie. where the surface is above the x, y plane for all of the circle) then there is no negative part to cancel anything and the integral should have a nonzero, positive value... Where am I going wrong in my thinking or understanding of the theorem? Is it to do with conflating closed contour integrals over the complex plane too closely with generalised line/path integrals? I've always understood them to essentially be synonyms, so my physical intuition of the former derives from that of the latter. 



#2
Dec2112, 01:47 AM

Sci Advisor
P: 3,175

Suppose you have a constant (real valued) vector field in 2 dimensions. A contour integral around a circle measures the net flux coming out of the circle due to the vector field and this is zero. That's the analogy you should make. Don't visualize a zcoordinate. Visualize f(x,y) = constant as a vector field in the complex plane which has a constant real component and a constant imaginary component. Things cancel out because the contour integration assigns different signs depending on whether this constant field is pointing into or outof the curve.




#3
Dec2112, 06:19 AM

P: 16

Thanks for your response, that does poke a hole that needed to be poked in my previous attempts to understand, but it doesn't fill it back up as far as I'd hoped  what I'm trying to visualise now is so abstract...
Do you (or anyone else reading this) have any other ways to suggest thinking about it? 



#4
Dec2112, 07:39 AM

HW Helper
P: 2,153

Confusion regarding Residue Theorem
Maybe you have seen a picture like this one from wikipedia http://en.wikipedia.org/wiki/File:Stokes_patch.svg before. Two paths can be thought of as a closed contour with one positively weighted and the other negatively weighted. We can break a contour into many small pieces. On a small contour if the function is well behaved (analytic like a constant) the opposite signs causes the integral to vanish. If the function behaves badly (has a singularity as 1/z does when z=0) the opposite signs do not cancel.




#5
Dec2112, 09:50 AM

Sci Advisor
P: 1,716

If two loops surround the same poles then there are no poles between them. So the meromorphic function is actually holomorphic in the region between the two loops. So the line integrals must be equal.




#6
Dec2112, 10:54 AM

P: 303





#7
Dec2112, 11:12 AM

Sci Advisor
P: 3,175

I don't recall the details, but you must think of the complex valued function being integrated as a 2D vector field with the real and imaginary values being orthogonal components of the field. The algebraic expression for a contour integral doesn't look like an integral that computes flux, but if you break up the expression into real and imaginary parts, it becomes like one. A pole in a complex valued function behaves like a source or sink for flux. This is why contour integrals that enclose poles can have nonzero values. (There is a book on complex analysis by Polya and Latta that emphasizes the analogy between contour integrals and computing flux.) 



#8
Dec2112, 04:32 PM

P: 16

Thanks guys, it all makes more sense now.




#9
Dec2112, 09:16 PM

Sci Advisor
P: 1,716

To elaborate on what Stephen was saying, I think this is how it works  correct me if there is a mistake.
If u and v are the real and complex parts of an analytic function then one proves that there is a potential function w such that [itex]\partial[/itex]w/[itex]\partial[/itex]x = u and [itex]\partial[/itex]w/[itex]\partial[/itex]y = v This means that the line integral over a closed loop of the form udx vdy is zero. This is just the fundamental theorem of calculus. Intuitively the integral of a potential field along a loop equals the change in potentntial between the endpoints. The change in potential is by definition independent of path and in particular is zero for a closed loop. If one thinks of (u,v) as tangent to a fluid flow in the plane then the flow is called irrotational. It has zero circulation around any closed loop. You can also verify this by seeing that the curl of (u,v) zero. This vector field is also divergence free which means that the integral of vdx + udy around a closed loop is also zero. (v,u) is the 90 degree rotation of (u,v) so its line integral is the same as the flux of the field outside of the region that the loop encloses. The easiest way to see this is to parameterize the curve by arc length then rotate the vector field and the unit tangent to the curve 90 degrees counterclockwise to see that it equals the flux of the vector field. If u + iv has a pole inside a region then its flux may not be zero. This happens with a pole of order 1. For higher order poles the flow lines loop away and towards the singularity in equal amounts to net a total flux of zero. 


Register to reply 
Related Discussions  
residue theorem  Calculus & Beyond Homework  2  
Residue Theorem  Calculus & Beyond Homework  15  
Residue Theorem  Calculus & Beyond Homework  9  
Residue Theorem  Calculus & Beyond Homework  5  
Residue Theorem  Calculus & Beyond Homework  2 