A contour is a curve C in the complex plane constructed by joining finitely many smooth curves end to end.
Riemann Sum
Let C be a contour with initial point A and terminal point B.
A partition of C is a finite set of points P={z0,z1,…,zn}, occurring in order along C, with z0=A and zn=B.
Δzk=zk−zk−1,k=1,2,…,n
ck is any point on the part of C between zk−1 and zk.
The Riemann sum for this partition, for a function f is
k=1∑nf(ck)Δzk
Contour Integral
The contour integral of f over C is
∫Cf(z)dz=∥P∥→0limk=1∑nf(ck)Δzk
provided the limit exists and is independent of the choice of partition and points ck.
∥P∥ is the maximum length of the subarcs determined by P.
Evaluation via Parametrization
Let f(z) be continuous on a set containing the contour C, and let z=z(t), a≤t≤b, be a piecewise smooth parametrization of C.
∫Cf(z)dz=∫abf(z(t))z′(t)dt
When z(t) is only piecewise smooth, the right side is evaluated piecewise.
Integral Triangle Inequality
Let f(t)=u(t)+iv(t) be continuous on [a,b].
∫abf(t)dt≤∫ab∣f(t)∣dt
ML Inequality
Let f be continuous on a contour C, with ∣f(z)∣≤M for all z on C, and let L be the length of C.
∫Cf(z)dz≤ML
Examples
Line Integral of z from 0 to 1+i
Let C be the line segment from 0 to 1+i, parametrized by z(t)=t(1+i), 0≤t≤1. z′(t)=1+i.
∫Czdz=∫01t(1+i)(1+i)dt=(1+i)2∫01tdt
(1+i)2=2i and ∫01tdt=21
∫Czdz=2i⋅21=i