Complex integration · Definition

Complex primitive

complex analysiscomplex integration

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.

\[\int_{z_0}^{z_1} f(z)\,dz=F(z_1)-F(z_0)\]

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

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