Complex integration is where local holomorphic structure becomes global information.
In real calculus, integrating a derivative recovers change along an interval. In complex analysis, integrating along curves reveals something stronger: under the right domain conditions, many closed contour integrals vanish; values inside a curve are determined by boundary integrals; isolated singularities contribute discrete residue data; and entire families of real integrals can be evaluated by choosing useful contours.
This guide owns the contour-integration machinery for R26. It develops parametrised paths, complex line integrals, primitives, Cauchy-type theorems, winding numbers, Cauchy’s integral formula, Laurent series, singularities and residue calculus. R26.04 uses these tools to control branches and analytic continuation.
Prerequisites: Holomorphic Functions and Complex Differentiation, real integration, sequences and series.
Reading route: paths → contour integrals → estimates → primitives → path independence → Cauchy’s theorem → winding number → integral formula → Cauchy estimates → Laurent series → isolated singularities → residues → residue theorem → pole calculus → real-integral applications → argument principle preview → theorem boundaries → practice → solutions.
1. A contour is a parametrised path in the complex plane
A piecewise smooth contour γ:[a,b]→C traces points γ(t)=x(t)+iy(t).
Its derivative is γ'(t)=x'(t)+iy'(t) wherever defined. Orientation matters: reversing the parameter reverses the contour.
The geometric image and its direction are both part of the integration data.
2. Complex line integration reduces to an ordinary parameter integral
For continuous f along γ, define
∫_γ f(z)dz = ∫_a^b f(γ(t))γ'(t)dt.
The factor γ'(t) carries both speed and direction. This is not an area integral over a region; it is accumulation along an oriented curve.
3. Worked contour integral along a line segment
Let γ(t)=t(1+i), 0≤t≤1, joining 0 to 1+i. Compute ∫_γ z dz.
Here γ'(t)=1+i and γ(t)=t(1+i). Thus
∫₀¹ t(1+i)(1+i)dt = (1+i)²∫₀¹ tdt = 2i·1/2 = i.
We will later see the same answer immediately from the primitive z²/2.
4. Circular parametrisations encode orientation explicitly
The positively oriented circle |z−z₀|=R is
γ(t)=z₀+Re^{it}, 0≤t≤2π.
Then γ'(t)=iRe^{it}. Replacing t by −t or reversing the interval changes orientation and negates the integral.
5. The ML estimate controls contour integrals without evaluating them
If |f(z)|≤M along a contour γ of length L, then
|∫_γ f(z)dz|≤ML.
This follows by taking modulus inside the parameter integral.
The estimate is central when showing auxiliary contour pieces vanish in limits.
6. Primitives make contour integrals endpoint-dependent
If F is holomorphic on a domain and F’=f, then for any contour γ from z_a to z_b,
∫_γ f(z)dz=F(z_b)−F(z_a).
Thus every closed contour integral of f vanishes whenever f has a primitive on the relevant domain.
7. Path independence, primitives and closed integrals are linked
On an appropriate connected domain, the following conditions are equivalent:
- f has a primitive;
- ∫_γ f depends only on endpoints;
- every closed contour integral of f is zero.
Domain hypotheses matter. The function 1/z is holomorphic on C\{0} but has no global primitive there.
8. The integral of 1/z detects winding around the origin
On the unit circle γ(t)=e^{it},
∫_γ dz/z = ∫₀^{2π}(ie^{it}/e^{it})dt = 2πi.
Therefore 1/z cannot have a primitive on the punctured plane.
The obstruction is topological: the contour winds once around the missing point.
9. Cauchy’s theorem is a domain theorem, not merely a formula
A standard form says: if f is holomorphic on a simply connected domain Ω, then
∫_γ f(z)dz=0
for every closed contour γ in Ω.
More general homology versions allow multiply connected domains when the contour is null-homologous relative to the singularities. The simple-connected version is the clean introductory route.
10. Why simply connectedness cannot be dropped casually
f(z)=1/z is holomorphic on C\{0}, yet its integral around the unit circle is 2πi.
The domain contains a hole at the origin, and the contour surrounds it.
So “holomorphic implies every closed contour integral is zero” is false without a suitable domain condition.
11. Winding number counts signed turns around a point
For a closed contour γ avoiding a, define the index
Ind(γ,a)=(1/2πi)∫_γ dz/(z−a).
For ordinary closed curves this is an integer recording net counterclockwise winding around a.
It is 1 inside a positively oriented simple circle, 0 outside, and −1 for the reversed circle.
12. Cauchy’s Integral Formula reconstructs interior values from the boundary
If f is holomorphic on and inside a positively oriented simple closed contour C and a lies inside, then
f(a)=(1/2πi)∫_C f(z)/(z−a) dz.
This formula is one of the central rigidity mechanisms of complex analysis: interior values are encoded by boundary data.
13. Worked Cauchy-formula evaluation
Compute ∫_{|z|=2} e^z/(z−1) dz with positive orientation.
The point a=1 lies inside |z|=2 and e^z is entire. Thus
∫ e^z/(z−1) dz = 2πi e.
No parametrisation is needed once the theorem’s hypotheses are recognised.
14. Higher derivatives also come from boundary integrals
Under the same hypotheses,
f^{(n)}(a)=n!/(2πi) ∫_C f(z)/(z−a)^{n+1} dz.
This immediately proves that holomorphic functions possess derivatives of every order.
It also provides the Taylor coefficients of f around a.
15. Cauchy estimates bound derivatives by boundary size
If f is holomorphic on a disk |z−a|≤R and |f(z)|≤M on the circle, then
|f^{(n)}(a)|≤n! M/R^n.
These estimates power Liouville’s theorem and many normal-family arguments.
16. Cauchy’s formula implies holomorphic functions are analytic
Expand 1/(z−w) geometrically when w is near a and z lies on a surrounding circle. Interchanging the uniformly convergent series with the contour integral yields
f(w)=Σ_{n=0}^∞ f^{(n)}(a)(w−a)^n/n!
throughout the disk up to the nearest singular obstruction.
This proves the analyticity claim previewed in R26.02.
17. Laurent series handle annuli and isolated singularities
On an annulus r<|z−a|<R, a holomorphic function has a Laurent expansion
f(z)=Σ_{n=−∞}^{∞} c_n(z−a)^n.
The negative-power part is called the principal part.
Its structure classifies the isolated singularity at a.
18. Removable singularities have no negative Laurent terms
If the principal part vanishes, f is bounded near a and the singularity can be filled in holomorphically.
Example: sin z/z at z=0 has limit 1 and extends to an entire function when the missing value is defined as 1.
Riemann’s removable singularity theorem gives several equivalent criteria under standard hypotheses.
19. Poles have finite principal parts
If
f(z)=c_{−m}(z−a)^{−m}+⋯+c_{−1}(z−a)^{−1}+holomorphic terms
with c_{−m}≠0, then a is a pole of order m.
Equivalently, |f(z)|→∞ as z→a for a pole.
20. Essential singularities have infinitely many negative terms
If the principal part contains infinitely many nonzero terms, the isolated singularity is essential.
The standard example is e^{1/z} at z=0:
e^{1/z}=1+1/z+1/(2!z²)+⋯ .
Its local behaviour is much wilder than a pole; Casorati–Weierstrass and Picard theorems quantify that wildness.
21. The residue is the coefficient of (z−a)^{-1}
For an isolated singularity a, define
Res(f,a)=c_{−1}
in the Laurent expansion.
The residue is exactly the part that survives integration around a closed loop.
22. Residue Theorem converts contour integration into local singular data
If f is meromorphic inside and on a suitable positively oriented closed contour C, with poles a₁,…,a_m inside and none on C, then
∫_C f(z)dz = 2πi Σ_{k=1}^m Res(f,a_k)
for a simple contour. More generally, winding-number factors multiply the residues.
The theorem is global integration reduced to local coefficients.
23. Simple poles have a quick residue formula
If f(z)=g(z)/h(z), where g,h are holomorphic, h(a)=0 and h'(a)≠0, then a is a simple pole and
Res(f,a)=g(a)/h'(a).
Equivalently, for a simple pole, Res(f,a)=lim_{z→a}(z−a)f(z).
24. Worked residue at a simple pole
For f(z)=1/(z²+1)=1/[(z−i)(z+i)], the residue at i is
1/(2i).
At −i the residue is −1/(2i).
The pair’s sum is zero, consistent with the decay of the rational function at infinity.
25. Higher-order poles require derivatives
If a is a pole of order m, then
Res(f,a)=1/(m−1)! · lim_{z→a} d^{m−1}/dz^{m−1}[(z−a)^m f(z)].
This formula is powerful but can be algebraically expensive. Sometimes a local series expansion is cleaner.
26. Worked contour integral by residues
Compute ∫_{|z|=2} dz/(z²+1), positively oriented.
Both poles i and −i lie inside. Their residues are 1/(2i) and −1/(2i), whose sum is 0.
Therefore the integral is 0.
This is a useful reminder: enclosing singularities does not guarantee a nonzero integral; residues can cancel.
27. A contour must not pass through a pole
The ordinary residue theorem assumes singularities lie strictly off the contour.
If a pole lies on the path, the contour integral is not defined in the usual sense. One may need indentation contours, Cauchy principal values or distributional interpretations, each with additional hypotheses.
Never silently apply the residue theorem through a contour singularity.
28. Jordan-style semicircle arguments require decay estimates
To evaluate real integrals, one often closes a real interval with a large semicircle.
The added arc must be shown to vanish as its radius grows. The ML estimate, rational degree comparison and exponential damping are common tools.
The contour choice is therefore part of the proof, not decorative geometry.
29. Worked real integral: ∫_{−∞}^{∞} dx/(x²+1)
Integrate f(z)=1/(z²+1) over a large upper semicircle.
Only z=i lies inside, with residue 1/(2i). The residue theorem gives contour integral π.
The arc contribution tends to 0 because f(z)=O(1/R²) while the arc length is O(R).
Hence
∫_{−∞}^{∞} dx/(x²+1)=π.
30. Exponential contours evaluate Fourier-type integrals
For integrals involving cos(ax) or sin(ax), embed them into e^{iaz} and choose upper or lower half-plane according to the sign of a so the exponential decays on the closing arc.
The real or imaginary part of the resulting contour integral returns the desired real integral.
The decay direction must be checked from e^{ia(x+iy)}=e^{iax}e^{-ay}.
31. Residue at infinity packages global rational behaviour
On the Riemann sphere, infinity can be treated as a point. Define
Res(f,∞)=−Res((1/w²)f(1/w),0).
For a meromorphic differential on the sphere, the sum of all residues including infinity is zero.
This often gives a shortcut for rational functions.
32. The Argument Principle counts zeros minus poles
If f is meromorphic and has no zeros or poles on a suitable closed contour C, then
1/(2πi)∫_C f'(z)/f(z) dz = N−P,
counting zeros N and poles P inside with multiplicity.
This is a residue theorem because f’/f has residue equal to zero multiplicity at a zero and negative pole order at a pole.
33. Rouché’s theorem compares zero counts on a boundary
If f and g are holomorphic inside and on C and
|g(z)|<|f(z)| on C,
then f and f+g have the same number of zeros inside C, counted with multiplicity.
The theorem is a powerful perturbative counting device and an application of the argument principle.
34. Common theorem-boundary errors
- Holomorphic on a multiply connected domain does not guarantee every closed contour integral vanishes.
- Cauchy’s formula requires the point to lie inside the relevant contour and the function to be holomorphic on the necessary region.
- Residue theorem cannot be used when a pole lies on the contour without extra interpretation.
- Orientation changes the sign of a contour integral.
- Large-arc contributions do not vanish automatically; an estimate is required.
- A residue sum can cancel even when singularities are enclosed.
- Laurent expansions depend on the annulus; one algebraic expression can have different Laurent series in different regions.
- Argument-principle counts use multiplicities and require no zeros or poles on the contour.
35. A dependable residue-calculus workflow
First draw or describe the contour and state orientation. Locate every singularity and determine which are inside, outside or on the path.
Check the theorem’s domain conditions before calculating residues. If a singularity lies on the contour, stop and reformulate the problem.
Choose the simplest residue method: limit for simple poles, derivative formula for higher-order poles, or series expansion when algebra is cleaner.
For real-integral applications, justify all auxiliary arc and indentation limits. Return to the original real quantity only after the complex contour equation is complete.
36. Independent practice: twenty questions
- Define ∫_γ f(z)dz using a parametrisation.
- Parametrise the positively oriented circle |z|=3.
- State the ML estimate.
- If F’=f, what is ∫_γ f from a to b?
- Compute ∫_{|z|=1} dz/z.
- Why does 1/z have no primitive on C\{0}?
- State a simply connected version of Cauchy’s theorem.
- Define Ind(γ,a).
- State Cauchy’s integral formula.
- Evaluate ∫_{|z|=2} e^z/(z−1)dz.
- State the higher-derivative Cauchy formula.
- What is a Laurent series?
- Distinguish removable singularity, pole and essential singularity by principal part.
- Define the residue.
- Find Res(1/(z²+1),i).
- State the residue theorem.
- What must be checked if a pole lies on a proposed contour?
- Why does the large semicircle contribution for 1/(z²+1) vanish?
- Evaluate ∫_{−∞}^{∞} dx/(x²+1).
- State the argument principle in words.
37. Worked solutions and checks
1. ∫_γ f(z)dz=∫_a^b f(γ(t))γ'(t)dt.
2. γ(t)=3e^{it}, 0≤t≤2π.
3. If |f|≤M on a contour of length L, then |∫_γ f dz|≤ML.
4. F(b)−F(a), interpreted at the contour endpoints.
5. 2πi.
6. A primitive would force every closed contour integral to be zero, contradicting the unit-circle integral.
7. If f is holomorphic on a simply connected domain, every closed contour integral in that domain vanishes.
8. Ind(γ,a)=(1/2πi)∫_γ dz/(z−a).
9. f(a)=(1/2πi)∫_C f(z)/(z−a)dz under the theorem’s holomorphicity and enclosure hypotheses.
10. 2πie.
11. f^{(n)}(a)=n!/(2πi)∫_C f(z)/(z−a)^{n+1}dz.
12. A two-sided power expansion Σ_{n=-∞}^{∞}c_n(z−a)^n valid on an annulus.
13. No negative terms: removable; finitely many: pole; infinitely many: essential.
14. The coefficient c_{−1} in the Laurent expansion.
15. 1/(2i).
16. A closed contour integral equals 2πi times the sum of enclosed residues, with winding factors in the general version.
17. Ordinary residue theorem is not directly applicable; one needs a modified contour or a separately defined principal-value interpretation.
18. |f|=O(R^{-2}) while arc length is O(R), so ML gives O(R^{-1})→0.
19. π.
20. It counts zeros minus poles inside a contour, with multiplicity, via the integral of f’/f.
38. Where this guide hands off
R26.04 asks what happens when a locally defined analytic object is continued along paths. Logarithms and roots force branch choices; identity theorems force uniqueness; loops can return a different branch; and singularities determine how far a power series can travel.
Sources and further study
See MIT OpenCourseWare 18.04 Complex Variables with Applications for contour integration, Cauchy theory and residues. For the topological background behind winding and holes, use BTT’s Fundamental Groups and Covering Spaces.