Integration Theorems

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

Let ff be analytic in a simply connected domain DD, and let z0z_0 be a fixed point in DD. For each z∈Dz \in D, let CzC_z be any contour in DD from z0z_0 to zz.

F(z)=∫Czf(ζ) dζF(z) = \int_{C_z} f(\zeta)\,\text{d}\zeta

FF is analytic in DD and

F′(z)=f(z)F'(z) = f(z)

Definite Integrals

Let ff be analytic in a simply connected domain DD, and let FF be an antiderivative of ff in DD. If CC is any contour in DD from z1z_1 to z2z_2,

∫Cf(z) dz=F(z2)−F(z1)\int_C f(z)\,\text{d}z = F(z_2) - F(z_1)

Cauchy’s Integral Formula

Let ff be analytic in a simply connected domain DD, and let CC be a positively oriented simple closed contour lying in DD. If z0z_0 lies inside CC,

f(z0)=12πi∫Cf(z)z−z0 dzf(z_0) = \frac{1}{2\pi i}\int_C \frac{f(z)}{z - z_0}\,\text{d}z

Equivalently,

∫Cf(z)z−z0 dz=2πif(z0)\int_C \frac{f(z)}{z - z_0}\,\text{d}z = 2\pi i f(z_0)

Derivatives

Under the same conditions, for n=1,2,3,…n = 1, 2, 3, \ldots,

f(n)(z0)=n!2πi∫Cf(z)(z−z0)n+1 dzf^{(n)}(z_0) = \frac{n!}{2\pi i}\int_C \frac{f(z)}{(z-z_0)^{n+1}}\,\text{d}z

Equivalently,

∫Cf(z)(z−z0)n+1 dz=2πin!f(n)(z0)\int_C \frac{f(z)}{(z-z_0)^{n+1}}\,\text{d}z = \frac{2\pi i}{n!}f^{(n)}(z_0)
Written by October 8, 2026 1 min read
Was this helpful?