🧮 Brain Teaser

The Argument of a Product: Winding and the Logarithm

Let f(z)=znf(z) = z^n for a positive integer nn. As zz traverses the unit circle z=1|z| = 1 once counterclockwise (from z=1z = 1 back to z=1z = 1), by how much does argf(z)\arg f(z) increase in total?

Now consider the more general question: suppose f:CCf : \mathbb{C} \to \mathbb{C} is analytic and nonvanishing on a closed curve γ\gamma. Express the total change in argument of ff along γ\gamma in terms of a contour integral involving f/ff'/f.

Use this to prove:

12πiγf(z)f(z)dzZ\frac{1}{2\pi i} \oint_\gamma \frac{f'(z)}{f(z)}\, dz \in \mathbb{Z}

for any closed curve γ\gamma on which ff is analytic and nonvanishing.

winding numberlogarithmic derivativeargument principlecontour integralcomplex logarithm

Answer: Logarithmic Derivative and Integrality of Winding

Key Idea / Intuition

The idea is that logf(z)\log f(z), while not globally well-defined (since log\log is multi-valued), has a perfectly well-defined derivative: (logf)=f/f(\log f)' = f'/f. Integrating this derivative around a closed loop measures how much the argument of ff winds around, which must be an integer multiple of 2π2\pi — because ff returns to its starting value. The integral 12πif/fdz\frac{1}{2\pi i}\oint f'/f\, dz is literally counting how many times f(γ)f(\gamma) winds around the origin.


Formal Proof / Solution

Step 1: The warm-up — f(z)=znf(z) = z^n

As z=eiθz = e^{i\theta} with θ\theta going from 00 to 2π2\pi, we have f(z)=einθf(z) = e^{in\theta}, so argf=nθ\arg f = n\theta. The total change in argument is: Δargf=n2π.\Delta \arg f = n \cdot 2\pi.

Step 2: Setting up the integral

Suppose ff is analytic and nonvanishing on a closed curve γ:[0,1]C\gamma : [0,1] \to \mathbb{C}. We want to compute: I=12πiγf(z)f(z)dz.I = \frac{1}{2\pi i} \oint_\gamma \frac{f'(z)}{f(z)}\, dz.

Step 3: Local logarithm trick

Along the curve γ\gamma, since f(γ(t))0f(\gamma(t)) \neq 0 for all t[0,1]t \in [0,1], we can define a continuous branch of the logarithm along the curve. That is, there exists a continuous function L:[0,1]CL : [0,1] \to \mathbb{C} such that: eL(t)=f(γ(t)),L(t)=lnf(γ(t))+iargf(γ(t)).e^{L(t)} = f(\gamma(t)), \quad L(t) = \ln|f(\gamma(t))| + i\,\arg f(\gamma(t)).

(This is the monodromy/path-lifting theorem for the exponential map, or simply follows by continuity: locally, logf\log f is analytic since f0f \neq 0.)

Step 4: The integral reduces to boundary values

By the chain rule and the substitution z=γ(t)z = \gamma(t): γf(z)f(z)dz=01f(γ(t))f(γ(t))γ(t)dt=01ddtL(t)dt=L(1)L(0).\oint_\gamma \frac{f'(z)}{f(z)}\, dz = \int_0^1 \frac{f'(\gamma(t))}{f(\gamma(t))}\, \gamma'(t)\, dt = \int_0^1 \frac{d}{dt} L(t)\, dt = L(1) - L(0).

Step 5: Integrality

Since γ\gamma is closed, f(γ(1))=f(γ(0))f(\gamma(1)) = f(\gamma(0)), which means eL(1)=eL(0)e^{L(1)} = e^{L(0)}. Therefore: L(1)L(0)=2πikL(1) - L(0) = 2\pi i \cdot k for some integer kZk \in \mathbb{Z}.

Thus: 12πiγf(z)f(z)dz=kZ.\frac{1}{2\pi i} \oint_\gamma \frac{f'(z)}{f(z)}\, dz = k \in \mathbb{Z}.

Step 6: Geometric meaning

The integer kk is the winding number of the image curve fγf \circ \gamma around 00. In the warm-up example f(z)=znf(z) = z^n on the unit circle: 12πiz=1nzn1zndz=12πinzdz=n.\frac{1}{2\pi i} \oint_{|z|=1} \frac{nz^{n-1}}{z^n}\, dz = \frac{1}{2\pi i} \cdot \frac{n}{z}\, dz = n.

This confirms the winding is exactly nn.

Bonus: Connection to the Argument Principle

When ff may have zeros and poles inside γ\gamma, the same reasoning gives the Argument Principle: 12πiγf(z)f(z)dz=ZP,\frac{1}{2\pi i} \oint_\gamma \frac{f'(z)}{f(z)}\, dz = Z - P, where ZZ = number of zeros and PP = number of poles of ff inside γ\gamma (counted with multiplicity). The integrality is automatic from the winding number perspective.

Source: Stein & Shakarchi, Complex Analysis, Chapter 3

Type: Complex AnalysisSource: Stein & Shakarchi, Complex Analysis, Chapter 3Edit on GitHub ↗