Contour Integral

Work in progress. This note is still being written and incomplete.

The contour integral of ff over a contour CC is

∫Cf(z) dz=lim⁡∥P∥→0∑k=1nf(ck)Δzk\int_C f(z)\,\text{d}z = \lim_{\|P\| \to 0} \sum_{k=1}^n f(c_k)\Delta z_k

provided the limit exists and is independent of the choice of partition and points ckc_k.

Riemann Sum

Let CC be a contour with initial point AA and terminal point BB.

A partition of CC is a finite set of points P={z0,z1,…,zn}P = \{z_0, z_1, \ldots, z_n\}, occurring in order along CC, with z0=Az_0 = A and zn=Bz_n = B.

Δzk=zk−zk−1,k=1,2,…,n\Delta z_k = z_k - z_{k-1}, \qquad k = 1, 2, \ldots, n

ckc_k is any point on the part of CC between zk−1z_{k-1} and zkz_k.

The Riemann sum for this partition, for a function ff is

∑k=1nf(ck)Δzk\sum_{k=1}^n f(c_k)\Delta z_k

∥P∥\|P\| is the maximum length of the subarcs determined by PP.

Evaluation via Parametrization

Let f(z)f(z) be continuous on a set containing the contour CC, and let z=z(t)z = z(t), a≤t≤ba \le t \le b, be a piecewise smooth parametrization of CC.

∫Cf(z) dz=∫abf(z(t))z′(t) dt\int_C f(z)\,\text{d}z = \int_a^b f(z(t))z'(t)\,\text{d}t

When z(t)z(t) is only piecewise smooth, the right side is evaluated piecewise.

Properties

Piecewise Contours

If CC is made of smooth curves C1,C2,…,CnC_1, C_2, \ldots, C_n, the integral is the sum over the pieces.

∫Cf(z) dz=∑k=1n∫Ckf(z) dz\int_C f(z)\,\text{d}z = \sum_{k=1}^n \int_{C_k} f(z)\,\text{d}z

Reversed Orientation

∫−Cf(z) dz=−∫Cf(z) dz\int_{-C} f(z)\,\text{d}z = -\int_C f(z)\,\text{d}z

Integral Triangle Inequality

Let f(t)=u(t)+iv(t)f(t) = u(t) + iv(t) be continuous on [a,b][a,b].

∣∫abf(t) dt∣≤∫ab∣f(t)∣ dt\left|\int_a^b f(t)\,\text{d}t\right| \le \int_a^b |f(t)|\,\text{d}t

ML Inequality

Let ff be continuous on a contour CC, with ∣f(z)∣≤M|f(z)| \le M for all zz on CC, and let LL be the length of CC.

∣∫Cf(z) dz∣≤ML\left|\int_C f(z)\,\text{d}z\right| \le ML

To bound ∣f(z)∣|f(z)| from above, bound the numerator from above and the denominator from below using the reverse triangle inequality.

∣a+b∣≥∣∣a∣−∣b∣∣|a+b| \ge \big||a|-|b|\big|

Cauchy-Goursat Theorem

Let ff be analytic in a simply connected domain DD. If CC is a simple closed contour lying in DD,

∫Cf(z) dz=0\int_C f(z)\,\text{d}z = 0

Deformation Invariance Theorem

Let C1C_1 and C2C_2 be 2 positively oriented simple closed contours, with C2C_2 lying inside the interior of C1C_1. Let ff be analytic in a domain DD that contains both C1C_1 and C2C_2, together with the region between them.

∫C1f(z) dz=∫C2f(z) dz\int_{C_1} f(z)\,\text{d}z = \int_{C_2} f(z)\,\text{d}z

The integral over a closed contour depends only on which singularities the contour encloses, not on its shape.

To evaluate ∫Cf(z) dz\int_C f(z)\,\text{d}z, replace CC by a small circle ∣z−a∣=ε|z-a| = \varepsilon around each singular point aa inside CC.

Corollary of DIT

Let z0z_0 be a fixed complex number, and let CC be a simple closed contour with positive orientation such that z0z_0 lies inside CC.

∫C1z−z0 dz=2πi\int_C \frac{1}{z - z_0}\,\text{d}z = 2\pi i ∫C1(z−z0)n dz=0,n∈Z,n>1\int_C \frac{1}{(z-z_0)^n}\,\text{d}z = 0, \qquad n \in \mathbb{Z}, n > 1

For n≥2n \ge 2, −1(n−1)(z−z0)n−1\dfrac{-1}{(n-1)(z-z_0)^{n-1}} is a single-valued antiderivative on C∖{z0}\mathbb{C}\setminus\{z_0\}. Every closed integral is 00.

For n=1n=1 the antiderivative is ln⁡(z−z0)\ln(z-z_0). Its argument increases by 2π2\pi per loop around z0z_0. This jump gives 2πi2\pi i.

When to Use DIT

Consider deformation invariance when all of these hold:

  • CC is a closed contour
  • The integrand is analytic on and inside CC except at finitely many points
  • Those exceptional points lie inside CC

Singularities Inside and Outside

Split the integrand by partial fractions into terms with 1 singular point each.

TermSingular point aaValue of ∫C\int_C
cz−a\dfrac{c}{z-a}outside CC00
cz−a\dfrac{c}{z-a}inside CC2πi c2\pi i\,c
c(z−a)n, n≥2\dfrac{c}{(z-a)^n},\ n \ge 2inside CC00

A singular point on CC is not covered and needs separate treatment.

Singularities outside CC never obstruct the deformation, since shrinking CC only sweeps its interior.

∫Cf(z) dz=2πi∑ca\int_C f(z)\,\text{d}z = 2\pi i \sum c_a

Here:

  • cac_a: coefficient of 1z−a\dfrac{1}{z-a}, summed over the singular points aa inside CC

Logarithm Shortcut

∫Cg′(z)g(z) dz\displaystyle\int_C \frac{g'(z)}{g(z)}\,\text{d}z cannot be evaluated directly as ln⁡g\ln g at the endpoints.

The shortcut ∫CF′ dz=F(end)−F(start)\int_C F'\,\text{d}z = F(\text{end}) - F(\text{start}) needs FF single-valued and analytic on a domain containing CC. Here ln⁡g=ln⁡∣g∣+iarg⁡g\ln g = \ln|g| + i\arg g, and arg⁡g\arg g is multivalued when gg has zeros inside CC.

A valid but laborious version uses the change in argument. The ln⁡∣g∣\ln|g| part cancels on a closed curve.

∫Cg′(z)g(z) dz=i ΔCarg⁡g\int_C \frac{g'(z)}{g(z)}\,\text{d}z = i\,\Delta_C \arg g

Partial fractions with deformation is the preferred route.

Examples

Line Integral of zz from 00 to 1+i1+i

Let CC be the line segment from 00 to 1+i1+i, parametrized by z(t)=t(1+i)z(t) = t(1+i), 0≤t≤10 \le t \le 1. z′(t)=1+iz'(t) = 1+i.

∫Cz dz=∫01t(1+i)(1+i) dt=(1+i)2∫01t dt\int_C z\,\text{d}z = \int_0^1 t(1+i)(1+i)\,\text{d}t = (1+i)^2\int_0^1 t\,\text{d}t

(1+i)2=2i(1+i)^2 = 2i and ∫01t dt=12\displaystyle\int_0^1 t\,\text{d}t = \dfrac{1}{2}

∫Cz dz=2i⋅12=i\int_C z\,\text{d}z = 2i \cdot \frac{1}{2} = i

ML Bound on a Large Circle

Bound ∫Cz2(z2+9)2 dz\displaystyle\int_C \frac{z^2}{(z^2+9)^2}\,\text{d}z for C:∣z∣=R>3C: |z| = R > 3.

L=2πRL = 2\pi R. On CC, ∣z2∣=R2|z^2| = R^2 and ∣z2+9∣≥R2−9>0|z^2+9| \ge R^2 - 9 > 0.

∣f(z)∣≤R2(R2−9)2=M|f(z)| \le \frac{R^2}{(R^2-9)^2} = M ∣∫Cz2(z2+9)2 dz∣≤2πR3(R2−9)2\left|\int_C \frac{z^2}{(z^2+9)^2}\,\text{d}z\right| \le \frac{2\pi R^3}{(R^2-9)^2}

The bound behaves like 2πR\dfrac{2\pi}{R}, so it tends to 00 as R→∞R \to \infty.

Integral Using Partial Fractions

Show ∫C2zz2+2 dz=4πi\displaystyle\int_C \frac{2z}{z^2+2}\,\text{d}z = 4\pi i for C:∣z∣=2C: |z|=2, positively oriented.

z2+2=(z−i2)(z+i2)z^2+2 = (z-i\sqrt{2})(z+i\sqrt{2}) and ∣±i2∣=2<2|\pm i\sqrt{2}| = \sqrt{2} < 2, so both poles lie inside CC.

2zz2+2=1z−i2+1z+i2\frac{2z}{z^2+2} = \frac{1}{z-i\sqrt{2}} + \frac{1}{z+i\sqrt{2}}

Each term integrates to 2πi2\pi i by the key integral.

∫C2zz2+2 dz=2πi+2πi=4πi\int_C \frac{2z}{z^2+2}\,\text{d}z = 2\pi i + 2\pi i = 4\pi i

Using the argument change instead, g(2eiθ)=4e2iθ(1+12e−2iθ)g(2e^{i\theta}) = 4e^{2i\theta}\left(1+\tfrac{1}{2}e^{-2i\theta}\right). The first factor changes its argument by 4π4\pi and the second by 00, so the integral is i⋅4π=4πii \cdot 4\pi = 4\pi i.

Written by October 8, 2026 5 min read
Was this helpful?