Definition

Let γ:[a,b]C\gamma:[a,b]\to\mathbb C be piecewise C1C^1, and let ff be continuous on the image of γ\gamma. The complex contour integral of ff along γ\gamma is

γf(z)dz=abf(γ(t))γ(t)dt,\int_\gamma f(z)\,dz =\int_a^b f(\gamma(t))\gamma'(t)\,dt,

with the ordinary integral taken separately in real and imaginary parts on each smooth piece.

Invariance and orientation

The integral is invariant under orientation-preserving piecewise C1C^1 reparametrization. Reversing orientation changes its sign, and concatenating compatible curves adds their integrals. The value depends on the parametrized oriented contour, not merely on its image.

Basic estimate

If L(γ)L(\gamma) is the length of the contour, then

γf(z)dzL(γ)maxzγ([a,b])f(z).\left|\int_\gamma f(z)\,dz\right| \le L(\gamma)\max_{z\in\gamma([a,b])}|f(z)|.

This estimate underlies convergence arguments and the derivative estimates obtained from the .

References
  1. John B. Conway, Functions of One Complex Variable I, 2nd ed., Springer, 1978. Publisher record. Relevant: Chapter IV, §1.