The argument principle

Try

For f(z)=(z−1)², a circle enclosing one makes the image wind twice around zero. Counting distinct zero locations would return one, but the image’s argument change records the multiplicity two.

The logarithmic derivative f′/f turns that geometric observation into a contour integral. It is defined where f is neither zero nor a pole. Therefore a boundary zero is a real obstruction to the usual counting formula, not a point that can be silently assigned half weight.

Predict

Predict the contribution of a pole of order three. A reciprocal power reverses the angular motion, so its contribution should be minus three.

Predict whether a nonzero net count means the original contour winds around zero. The relevant curve is f composed with the contour, and its winding is about the target value zero. The original contour may be centered anywhere in the input plane.

Experiment

Compare local forms near a.

Local form	Singular part of f′/f	Contribution
(z−a)ᵐg(z)	m/(z−a)	+m
(z−a)^(−m)g(z)	−m/(z−a)	−m
g(z), with g(a)≠0	None	0

Here g is holomorphic and nonzero near a. Its logarithmic derivative g′/g is holomorphic and has no local residue.

Understand

Suppose f is meromorphic on a neighborhood of a closed disk and has no zero or pole on its boundary. Meromorphic means holomorphic except for isolated poles. Assume f is not identically zero. Its zeros and poles in the disk are finite in number: otherwise compactness would supply an accumulation point incompatible with their local isolated factorizations and the boundary hypothesis.

At a zero of order m, write f=(z−a)ᵐg. Then f′/f=m/(z−a)+g′/g. At a pole of order m the first term has a minus sign. The residue theorem therefore gives (1/(2πi))∫ f′/f dz=N−P, where N and P count zeros and poles with multiplicity.

Under a parametrization γ, the integral becomes (1/(2πi))∫(f∘γ)′/(f∘γ)dt. This is the winding number of the image curve about zero, or equivalently the total continuous argument change divided by 2π. A principal argument may jump at its cut, so adding raw principal-angle differences without unwrapping would miscount.

For a general allowed cycle, the corresponding count weights each local order by its input winding number. The disk version is enough for many polynomial root-counting problems and makes the boundary condition especially transparent.

Apply

For f=(z−1)³/[(z+1)(z−4)] on |z|=2, the triple zero at one contributes three, the pole at minus one contributes minus one, and the pole at four lies outside. The count is two. Sketch qualitatively why this means the image contour makes two net turns even if its shape is complicated.

Repair “The logarithmic derivative is a derivative, so its closed integral is zero.” It is locally a logarithm derivative, but a globally single-valued logarithm may not exist around the loop. The nonzero count measures precisely that obstruction.

Continue

Rouché’s theorem will preserve this integer count while one function is continuously deformed into another. Optional depth: replace f by f−w to count preimages of a target w that is not on the boundary image. This connects the argument principle with local multiplicity and the open-mapping theorem.