Complex integration around a branch point

2.8k Views Asked by At

I am confused about the "deformation" of a closed contour that my book is doing. For reference, it is example 2.4.3 on pg. 75-76 from this free online book. The example is the integration of 1/z around a closed contour enclosing the origin. The book does not say why any special care needs to be taken here, it just goes right into doing a deformation. More specifically, this deformation essentially gets one closed contour inside of the original, except now the inside contour is traversed in such a way that the origin is no longer an issue(?). I have multiple questions about this. First, note that $\frac{1}{z} = \frac{d}{dz}(log z)$, and we know that log z has a branch point at the origin. Alright, here goes:

1.) Why does it matter how the function is behaving at the origin? We are taking a closed contour around the origin, so the function is never evaluated at this point. Our book is kind of a drag, and doesn't dwell on the finer points of integration whatsoever, so it would seem to me that if the function is defined on the path of integration then all is well. Why is this deformation necessary at all, and what is it really telling me? That as long as I go around a curve that has some orientation facing "away" from the branch point then it's fine? I seem to be missing something.

2.) I intuitively understand why the answer to this integration is $2\pi i$: log z has a branch point at the origin, so traversing this closed circuit puts us on the next branch which is known to differ by $2\pi i$. However, viewing it this way means that I was correct in saying that the above work is unnecessary, since this is just $\int_C^{}\frac{1}{z}dz = (log(r)+2\pi i)-(log(r)+0) = 2\pi i$, where I have used $z = re^{i\theta}$. Generally I can see why this reasoning would fall short, as the contour could wrap around multiple times, or do other things, but the problem specifies that it is simple and closed, so wrapping onto itself is not an issue and it can only "go up" one branch.

3.) Here's my guess at what I am incorrectly applying. In (2) I am applying the Fundamental Theorem, and perhaps the conditions for the antiderivative (log z in this case) must be analytic in some region containing the closed contour, which would include the origin and hence not satisfy my work. However, we know that log z is analytic at all points on this contour, so (again going back to (1)) why would it matter whether the integrand's antiderivative is analytic for all points inside of the contour?

Any assistance in understanding the purpose of this deformation will be greatly appreciated.

1

There are 1 best solutions below

3
On BEST ANSWER

The problem is that there is actually no function $\log z$ which is analytic on $\mathbb{C} - \{0\}$, so you do not actually have an antiderivative of $1/z$ with which to apply the fundamental theorem of calculus. Only in a region with no curves encircling the origin (e.g., $\mathbb{C} - (-\infty,0]$) is it possible to define an analytic derivative of $1/z$. The basic problem is that $\log z = \log re^{i\theta} = \log r + i \theta$ and while $\log r$ is no problem (because $r$ is a positive real number and therefore has a real logarithm), $\theta$ can't be defined continuously over a curve which encircles the origin: if you start at 0, by the time you wind around once, you will get to $\pm 2\pi$ for the same point.

Edit based on comments below: The point of using a deformation is to show that the integral of $1/z$ around any simple closed curve $C$ that encloses the origin (oriented counterclockwise) is the same, regardless of the curve chosen. Any such curve can be deformed into a particular one, namely, the unit circle, for which we can easily calculate the integral of $1/z$ (by using the substitution $z=re^{i\theta}$). Thus it follows that for any such $C$ (no matter how complicated), we have $\int_C 1/z\, dz = 2\pi i$.

This does not violate what I said above about $\log z$ because neither the starting nor the ending nor any of the intermediate curves in the deformation pass through the origin. In a suitable region containing all the curves in the deformation but not the origin, there will be an analytic branch of $\log z$ for which the fundamental theorem of calculus can be used. If $C_1$ and $C_2$ are the starting and ending curves of the deformation, then we can construct a curve which we might call $C_1 - C_2$. See figure 2.4.4(b) in your link. This curve $C_1 - C_2$ goes almost all the way around $C_1$, then cuts over to $C_2$, then goes almost all the way around $C_2$ in the opposite direction, then cuts back to the starting point of $C_1$. The curve $C_1 - C_2$ is a simple closed curve that does not enclose the origin. In the region enclosed by $C_1 - C_2$ there is a branch of $\log z$; thus $\int_{C_1 - C_2} 1/z\,dz = 0$ hence $\int_{C_1} 1/z\,dz = \int_{C_2} 1/z\,dz$.