How to Calculate Contour Integrals

Last Updated: December 3, 2021

Contour integration is integration along a path in the complex plane. The process of contour integration is very similar to calculating line integrals in multivariable calculus. As with the real integrals, contour integrals have a corresponding fundamental theorem, provided that the antiderivative of the integrand is known.

In this article, we will go over one of the most important methods of contour integration, direct parameterization, as well as the fundamental theorem of contour integrals. To avoid pathological examples, we will only consider contours that are rectifiable curves that are defined in a domain $D,$ continuous, smooth, one-to-one, and whose derivative is non-zero everywhere on the interval. Read on for a guide on calculating contour integrals.

Part 1

Part 1 of 3:

Direct Parameterization

1
Apply the Riemann sum definition for contour integrals.
- Definition. Given a complex function $f(z)$ and a contour $\gamma ,$ the integral of $f(z)$ over $\gamma$ is said to be the Riemann sum $\lim _{n\to \infty }\sum _{i=0}^{n}f(z_{i})\Delta z_{i}.$ If this limit exists, then we say $f(z)$ is integrable on $\gamma .$ We communicate this by writing $\int _{\gamma }f(z)\mathrm {d} z.$
- Intuitively, this is a very straightforward generalization of the Riemann sum. We are simply adding up rectangles to find the area of a curve, and send the width of the rectangles to 0 such that they become infinitesimally thin.
2
Rewrite the contour integral in terms of the parameter $t$ .
- If we parameterize the contour $\gamma$ $\gamma$ as $z(t),$ $z(t),$ then by the chain rule, we can equivalently write the integral below.
  - $\int _{\gamma }f(z)\mathrm {d} z=\int _{\Delta t}f(z(t)){\frac {\mathrm {d} z}{\mathrm {d} t}}\mathrm {d} t$
- This is the integral that we use to compute. An important note is that this integral can be written in terms of its real and imaginary parts, like so.
  - $\int _{\Delta t}f(z(t)){\frac {\mathrm {d} z}{\mathrm {d} t}}\mathrm {d} t=\int _{\Delta t}(u(t)+iv(t))\mathrm {d} t$
Advertisement
3
Parameterize $\gamma$ and calculate ${\frac {\mathrm {d} z}{\mathrm {d} t}}$ .
- The simplest contours that are used in complex analysis are line and circle contours. It is often desired, for simplicity, to parameterize a line such that $0\leq t\leq 1.$ $0\leq t\leq 1.$ Given a starting point $z_{1}$ $z_{{1}}$ and an endpoint $z_{2},$ $z_{{2}},$ such a contour can generally be parameterized in the following manner.
  - $z(t)=(1-t)z_{1}+z_{2},\ \ 0\leq t\leq 1$
- A circle contour can be parameterized in a straightforward manner as well, as long as we keep track of the orientation of the contour. Let $z_{0}$ $z_{{0}}$ be the center of the circle and $r$ $r$ be the radius of the circle. Then the parameterization of the circle, starting from $t=0,$ $t=0,$ and traversing the contour in the counterclockwise direction, is as such.
  - $z(t)=z_{0}+re^{it},\ \ 0\leq t\leq 2\pi$
- Calculating ${\frac {\mathrm {d} z}{\mathrm {d} t}}$ from both of these contours is trivial.
- There are two important facts to consider here. First, the contour integral $\int _{\gamma }f(z)\mathrm {d} z$ $\int _{{\gamma }}f(z){\mathrm {d}}z$ is independent of parameterization so long as the direction of $\gamma$ $\gamma$ stays the same. This means that there are an infinite number of ways to parameterize a given curve, since the velocity can vary in an arbitrary way. Second, reversing the direction of the contour negates the integral.
  - $\int _{-\gamma }f(z)\mathrm {d} z=-\int _{\gamma }f(z)\mathrm {d} z$
4
Evaluate. We know that $t$ $t$ is real-valued, so all that remains is to integrate using the standard integration techniques of real-variable calculus.
- The visual above shows a typical contour on the complex plane. Starting from the point $a,$ the contour traverses a semicircle in the counterclockwise direction with radius $a$ and closes the loop with a line going from $-a$ to $a.$ If the point $z=i$ as shown is taken to be the pole of a function, then the contour integral describes a contour going around the pole. This type of integration is extremely common in complex analysis.

Part 2

Part 2 of 3:

Example

1
Evaluate the following contour integral. $\gamma$ $\gamma$ is the curve connecting the origin to $1+i$ $1+i$ along a straight line.
- $\int _{\gamma }(xy^{2}+2xyi)\mathrm {d} z$
2
Parameterize the contour. Our curve is especially simple: $x=t$ $x=t$ and $y=t.$ $y=t.$ So we write our contour in the following manner.
- $z(t)=t+it,\ \ 0\leq t\leq 1$
3
Calculate ${\frac {\mathrm {d} z}{\mathrm {d} t}}$ . Substitute our results into the integral.
- ${\frac {\mathrm {d} z}{\mathrm {d} t}}=1+i$
- $\int _{\gamma }(xy^{2}+2xyi)\mathrm {d} z=\int _{0}^{1}(t^{3}+i2t^{2})(1+i)\mathrm {d} t$
4
Evaluate.
- ${\begin{aligned}\int _{0}^{1}(t^{3}+i2t^{2})(1+i)\mathrm {d} t&=\int _{0}^{1}(t^{3}+i2t^{2}+it^{3}-2t^{2})\mathrm {d} t\\&={\frac {1}{4}}+i\left({\frac {2}{3}}+{\frac {1}{4}}\right)-{\frac {2}{3}}\\&=-{\frac {5}{12}}+{\frac {11}{12}}i\end{aligned}}$
5
Evaluate the same integral, but where $\gamma$ is the curve connecting the origin to $1+i$ along $y=x^{3}$ . Our parameterization changes to $x=t$ $x=t$ and $y=t^{3}.$ $y=t^{{3}}.$
- $z(t)=t+it^{3}$
- ${\frac {\mathrm {d} z}{\mathrm {d} t}}=(1+i3t^{2})\mathrm {d} t$
- ${\begin{aligned}\int _{\gamma }(xy^{2}+2xyi)\mathrm {d} z&=\int _{0}^{1}(t^{7}+i2t^{4})(1+i3t^{2})\mathrm {d} t\\&=\int _{0}^{1}(t^{7}+i2t^{4}+i3t^{9}-6t^{6})\mathrm {d} t\\&={\frac {1}{8}}+i\left({\frac {2}{5}}+{\frac {3}{10}}\right)-{\frac {6}{7}}\\&=-{\frac {41}{56}}+{\frac {7}{10}}i\end{aligned}}$
- We have shown here that for non-analytic functions such as $f(z)=xy^{2}+2xyi,$ the contour integral is dependent on the path chosen. We can show that this function is non-analytic by checking if the real and imaginary parts satisfy the Cauchy-Riemann equations. As ${\frac {\partial u}{\partial x}}=y^{2}$ and ${\frac {\partial v}{\partial y}}=2x,$ this is enough to demonstrate non-analyticity.

Part 3

Part 3 of 3:

Fundamental Theorem of Contour Integrals

1
Generalize the Fundamental Theorem of Calculus. As it pertains to contour integrals, the theorem is used to easily compute the value of contour integrals so long as we can find an antiderivative. The proof of this theorem is similar to all other fundamental theorem of calculus proofs, but we will not state it here for brevity.
- Suppose the function $f(z)$ has an antiderivative $F(z)$ such that ${\frac {\mathrm {d} }{\mathrm {d} z}}F(z)=f(z)$ through a domain $D,$ and let $\gamma$ be a contour in $D,$ where $z_{0}$ and $z_{1}$ are the start and end points of $\gamma ,$ respectively. Then $\int _{\gamma }f(z)\mathrm {d} z$ is independent of path for all continuous paths $\gamma$ of finite length, and its value is given by $F(z_{1})-F(z_{0}).$
2
Evaluate the following integral by direct parameterization. $\gamma$ $\gamma$ is the semicircle going counterclockwise from $z=-i$ $z=-i$ to $z=i.$ $z=i.$
- $\int _{\gamma }{\sqrt {z}}\mathrm {d} z$
3
Parameterize $\gamma ,$ find ${\frac {\mathrm {d} z}{\mathrm {d} t}},$ and evaluate.
- $z(t)=e^{it},-{\frac {\pi }{2}}\leq t\leq {\frac {\pi }{2}}$
- ${\frac {\mathrm {d} z}{\mathrm {d} t}}=ie^{it}$
- ${\begin{aligned}\int _{\gamma }{\sqrt {z}}\mathrm {d} z&=\int _{-\pi /2}^{\pi /2}e^{{\frac {1}{2}}\operatorname {Log} e^{it}}ie^{it}\mathrm {d} t\\&=i\int _{-\pi /2}^{\pi /2}e^{{\frac {3}{2}}it}\mathrm {d} t\\&={\frac {2}{3}}e^{{\frac {3}{2}}it}{\Bigg |}_{-\pi /2}^{\pi /2}\\&={\frac {2}{3}}\left(e^{{\frac {3\pi }{4}}i}-e^{-{\frac {3\pi }{4}}i}\right)\\&={\frac {2}{3}}2i\sin {\frac {3\pi }{4}}\\&={\frac {2{\sqrt {2}}}{3}}i\end{aligned}}$
4
Evaluate the same integral using the fundamental theorem of contour integrals. However, in this method, the ${\sqrt {z}}$ ${\sqrt {z}}$ in the integrand presents a problem. Since we know that ${\sqrt {z}}=e^{{\frac {1}{2}}\operatorname {Log} z},$ ${\sqrt {z}}=e^{{{\frac {1}{2}}\operatorname {Log}z}},$ the presence of the logarithmic function indicates a branch cut over which we cannot integrate. Fortunately, we can choose our branch cut such that our contour is well-defined in our domain. The principal branch of the logarithm, where the branch cut consists of the non-positive real numbers, works in this case, because our contour goes around that branch cut. As long as we recognize the principal logarithm has an argument defined over $(-\pi ,\pi ],$ $(-\pi ,\pi ],$ the rest of the steps are simple computations.
- ${\begin{aligned}\int _{\gamma }{\sqrt {z}}\mathrm {d} z&={\frac {2}{3}}z^{3/2}{\Bigg |}_{-i}^{i}\\&={\frac {2}{3}}\left(i^{\frac {3}{2}}-(-i)^{\frac {3}{2}}\right)\\&={\frac {2}{3}}\left(e^{{\frac {3}{2}}\operatorname {Log} i}-e^{{\frac {3}{2}}\operatorname {Log} (-i)}\right)\end{aligned}}$
- For the principal branch of the logarithm, we see that $\operatorname {Log} i=i{\frac {\pi }{2}}$ and $\operatorname {Log} (-i)=-i{\frac {\pi }{2}}.$
- ${\begin{aligned}\int _{\gamma }{\sqrt {z}}\mathrm {d} z&={\frac {2}{3}}\left(e^{{\frac {3}{2}}i{\frac {\pi }{2}}}-e^{-{\frac {3}{2}}i{\frac {\pi }{2}}}\right)\\&={\frac {2}{3}}\left(e^{{\frac {3\pi }{4}}i}-e^{-{\frac {3\pi }{4}}i}\right)\\&={\frac {2}{3}}2i\sin {\frac {3\pi }{4}}\\&={\frac {2{\sqrt {2}}}{3}}i\end{aligned}}$