The Argument of a Product: Winding and the Logarithm
Let for a positive integer . As traverses the unit circle once counterclockwise (from back to ), by how much does increase in total?
Now consider the more general question: suppose is analytic and nonvanishing on a closed curve . Express the total change in argument of along in terms of a contour integral involving .
Use this to prove:
for any closed curve on which is analytic and nonvanishing.
Answer: Logarithmic Derivative and Integrality of Winding
Key Idea / Intuition
The idea is that , while not globally well-defined (since is multi-valued), has a perfectly well-defined derivative: . Integrating this derivative around a closed loop measures how much the argument of winds around, which must be an integer multiple of — because returns to its starting value. The integral is literally counting how many times winds around the origin.
Formal Proof / Solution
Step 1: The warm-up —
As with going from to , we have , so . The total change in argument is:
Step 2: Setting up the integral
Suppose is analytic and nonvanishing on a closed curve . We want to compute:
Step 3: Local logarithm trick
Along the curve , since for all , we can define a continuous branch of the logarithm along the curve. That is, there exists a continuous function such that:
(This is the monodromy/path-lifting theorem for the exponential map, or simply follows by continuity: locally, is analytic since .)
Step 4: The integral reduces to boundary values
By the chain rule and the substitution :
Step 5: Integrality
Since is closed, , which means . Therefore: for some integer .
Thus:
Step 6: Geometric meaning
The integer is the winding number of the image curve around . In the warm-up example on the unit circle:
This confirms the winding is exactly .
Bonus: Connection to the Argument Principle
When may have zeros and poles inside , the same reasoning gives the Argument Principle: where = number of zeros and = number of poles of inside (counted with multiplicity). The integrality is automatic from the winding number perspective.
Source: Stein & Shakarchi, Complex Analysis, Chapter 3