Complex integration · Definition
Complex primitive
Before you start you need to know
It turns contour integrals into a subtraction of endpoint values, just like the fundamental theorem of calculus.
Definition
A primitive of a function \(f\) on an open set \(D\) is a holomorphic function \(F\) on \(D\) whose derivative is \(f\) at every point.
If \(F\) is a primitive of \(f\) on \(D\) and \(C\) is a contour in \(D\) from \(z_0\) to \(z_1\), then \(\int_C f\,dz=F(z_1)-F(z_0)\), whatever the shape of the path. It follows from the chain rule: \(\frac{d}{dt}F(\gamma(t))=f(\gamma(t))\gamma'(t)\), integrated in \(t\). Primitives are computed with the same rules as in real calculus: \(z^n\to\frac{z^{n+1}}{n+1}\), \(e^z\), \(\sin z\to-\cos z\), etc.
With a primitive, closed integrals are zero, because the endpoints coincide. So \(\oint_{|z|=1}z^3\,dz=0\) and also \(\oint_{|z|=1}\frac{dz}{z^2}=0\), since \(-1/z\) is a primitive on \(\mathbb{C}\setminus\{0\}\). Conversely, if \(f\) is continuous and all its closed integrals in \(D\) are zero, then \(F(z)=\int_{z_0}^{z}f\) is a primitive.
By the Cauchy-Goursat theorem, every function holomorphic on a simply connected open set has a primitive there. The borderline case is \(1/z\) on \(\mathbb{C}\setminus\{0\}\), which is not simply connected and has no primitive: its integral over \(|z|=1\) is \(2\pi i\). The logarithm serves as a primitive only on regions that do not surround the origin, and the value of \(\int dz/z\) depends on the path.
A typical mistake is forgetting that the primitive must exist on the whole set the path travels: having a formula for \(F\) on a piece is not enough. Another is using \(F(z_1)-F(z_0)\) when \(f\) is not even holomorphic, like \(\bar z\), which has no primitive.
Think about it
Why does \(\int_{z_0}^{z_1}z^2\,dz\) not depend on the path?
Because \(z^3/3\) is a primitive of \(z^2\) on all of \(\mathbb{C}\); the integral is always \(F(z_1)-F(z_0)\).
If \(f\) has a primitive on \(D\), what is \(\oint_C f\,dz\) for any closed contour \(C\) in \(D\)?
It is \(0\), because the initial and final points coincide and \(F(z_1)-F(z_0)=0\).
Exercises 10
Compute the following integrals
- \(\displaystyle \int_0^{i\pi}e^{z}\,dz\)
- \(\displaystyle \int_{i}^{2i}z\,dz\)
- \(\displaystyle \int_0^{i\pi}\sin z\,dz\)
Problems
- Which is a primitive of \(f(z)=3z^2\) on \(\mathbb{C}\)?
- Compute \(\displaystyle\int_0^{1+i}z^2\,dz\) along any path.
- Compute \(\displaystyle\oint_{|z|=1}z^3\,dz\).
- Compute \(\displaystyle\oint_{|z|=1}\frac{dz}{z^2}\).
- Why is \(\oint_{|z|=1}\frac{dz}{z}\neq 0\) even though \(1/z\) is holomorphic on \(\mathbb{C}\setminus\{0\}\)?
- Which of these functions has NO primitive on \(\mathbb{C}\)?
- Compute \(\displaystyle\int_C\frac{dz}{z}\), with \(C\) the upper semicircle \(|z|=1\) from \(1\) to \(-1\).
References
- Elias M. Stein, Rami Shakarchi, Complex Analysis, 1st edition, Princeton University Press, 2003. Cap. 1, §2.2
- James Ward Brown, Ruel V. Churchill, Complex Variables and Applications, 9th edition, McGraw-Hill, 2014. §44–45
- Lars V. Ahlfors, Complex Analysis, 3rd edition, McGraw-Hill, 1979. Cap. 4, §1.1