Contour integral

In complex analysis, contour integration is a way to calculate an integral around a contour on the complex plane. In other words, it is a way of integrating along the complex plane.

More specifically, given a complex-valued function [math]\displaystyle{ f }[/math] and a contour [math]\displaystyle{ C }[/math], the contour integral of [math]\displaystyle{ f }[/math] along [math]\displaystyle{ C }[/math] is written as [math]\displaystyle{ \textstyle \int_C f(z) \, dz }[/math] or [math]\displaystyle{ \textstyle \oint_C f(z) \, dz }[/math].

Calculating contour integrals with the residue theorem

For a standard contour integral, we can evaluate it by using the residue theorem. This theorem states that

[math]\displaystyle{ \oint_C f(z)\,dz= 2\pi i\cdot \text{Res} f(z) }[/math]

where [math]\displaystyle{ \text{Res} }[/math] is the residue of the function [math]\displaystyle{ f(z) }[/math], [math]\displaystyle{ C }[/math] is the contour located on the complex plane. Here, [math]\displaystyle{ f(z) }[/math] is the integrand of the function, or part of the integral to be integrated.

The following examples illustrate how contour integrals can be calculated using the residue theorem.

Example 1

Let the vector field [math]\displaystyle{ \mathbf{F}=\sin(2x)+\sin(2y)+\sin(2z) }[/math] be bounded by the following conditions

[math]\displaystyle{ {0\leq x\leq 1} \quad {0\leq y\leq 3\pi} \quad {-1\leq z\leq 4} }[/math]

The corresponding double contour integral would be set up as such:

[math]\displaystyle{ }[/math] [math]\displaystyle{ {\scriptstyle S} }[/math] [math]\displaystyle{ {\mathbf{F} \cdot n} \, {\rm d}\,S }[/math]

We now evaluate [math]\displaystyle{ \nabla\cdot\mathbf{F} }[/math] by setting up the corresponding triple integral:

[math]\displaystyle{ \begin{align} &=\iiint_V \left(\frac{\partial F_x}{\partial x} + \frac{\partial F_y}{\partial y} + \frac{\partial F_z}{\partial z}\right)\,dV\\\\ &=\iiint_V \left(\frac{\partial \sin(2x)}{\partial x} + \frac{\partial \sin(2y)}{\partial y} + \frac{\partial \sin(2z)}{\partial z}\right)\,dV\\\\ &=\iiint_V {{= 2(\cos(2 x) + \cos(2 y) + \cos(2 z))}}\,dV \end{align} }[/math]

From this, we can now evaluate the integral as follows:

[math]\displaystyle{ \begin{align} &\int_{0}^{1}\int_{0}^{3}\int_{-1}^{4} 2(\cos(2x)+\cos(2y)+\cos(2z))\,dx\,dy\,dz\\\\ &=\int_{0}^{1}\int_{0}^{3}(10\cos(2y)+\sin(8)+\sin(2)+10\cos(z))\,dy\,dz\\\\ &=\int_{0}^{1}(30\cos(2z)+3\sin(2)+3\sin(8)+5\sin(6))\,dz\\\\ &=18\sin(2)+3\sin(8)+5\sin(6) \end{align} }[/math]

Example 2

Given the vector field [math]\displaystyle{ \mathbf{F}=u^4+x^5+y^6+z^{-3} }[/math] and [math]\displaystyle{ n }[/math] being the fourth dimension. Let this vector field be bounded by the following:

[math]\displaystyle{ {0\leq x\leq 1} \quad {-10\leq y\leq 2\pi} \quad {4\leq z\leq 5} \quad {-1\leq u\leq 3} }[/math]

To evaluate this, we use the divergence theorem as stated before, and evaluate [math]\displaystyle{ \nabla\cdot\mathbf{F} }[/math] afterwards. Let [math]\displaystyle{ \,dV=\,dx\,dy\,dz\,du }[/math], then:

[math]\displaystyle{ {\scriptstyle S} }[/math] [math]\displaystyle{ \mathbf{F}\cdot n \, {\rm d}\bold{S} }[/math]

[math]\displaystyle{ \begin{align} &=\iiiint_V \left(\frac{\partial F_u}{\partial u} + \frac{\partial F_x}{\partial x} + \frac{\partial F_y}{\partial y} + \frac{\partial F_z}{\partial z}\right)\,dV\\\\ &=\iiiint_V \left(\frac{\partial u^4}{\partial u} + \frac{\partial x^5}{\partial x} + \frac{\partial y^6}{\partial y} + \frac{\partial z^{-3}}{\partial z}\right)\,dV\\\\ &=\iiiint_V {{\frac{4 u^3 z^4 + 5 x^4 z^4 + 5 y^4 z^4 - 3}{z^4}}}\,dV \end{align} }[/math]

From this, we now can evaluate the integral:

[math]\displaystyle{ \begin{align} &\iiiint_V {{\frac{4 u^3 z^4 + 5 x^4 z^4 + 5 y^4 z^4 - 3}{z^4}}}\,dV\\\\ &=\int_{0}^{1}\int_{-10}^{2\pi}\int_{4}^{5}\int_{-1}^{3} \frac{4 u^3 z^4 + 5 x^4 z^4 + 5 y^4 z^4 - 3}{z^4}\,dV\\\\ &=\int_{0}^{1}\int_{-10}^{2\pi}\int_{4}^{5}\left(\frac{4(3u^4z^3+3y^6+91z^3+3)}{3z^3}\right)\,dy\,dz\,du\\\\ &=\int_{0}^{1}\int_{-10}^{2\pi}\left(4u^4+\frac{743440}{21}+\frac{4}{z^3}\right)\,dz\,du\\\\ &=\int_{0}^{1} \left(-\frac{1}{2\pi^2}+\frac{1486880\pi}{21}+8\pi u^4+40 u^4+\frac{371720021}{1050}\right)\,du\\\\ &=\frac{371728421}{1050}+\frac{14869136\pi^3-105}{210\pi^2}\\\\ &\,\approx{576468.77} \end{align} }[/math]

Thus, we can evaluate a contour integral of the fourth dimension.

Multivariable contour integrals

To solve multivariable contour integrals (contour integrals on functions of several variables), such as surface integrals, complex volume integrals and higher order integrals, we must use the divergence theorem. For right now, let [math]\displaystyle{ \nabla }[/math] be interchangeable with [math]\displaystyle{ \text{Div} }[/math]. These will both serve as the divergence of the vector field written as [math]\displaystyle{ \mathbf{F} }[/math]. This theorem states that:

[math]\displaystyle{ \underbrace{ \int \cdots \int_U }_n \text{Div}(\mathbf{F}) \, dV = \underbrace{ \oint \cdots \oint_{\partial U} }_{n-1} \mathbf{F} \cdot \mathbf{n} \, dS }[/math]

In addition, we also need to evaluate [math]\displaystyle{ \nabla\cdot \mathbf{F} }[/math], where [math]\displaystyle{ \nabla \cdot \mathbf{F} }[/math] is an alternate notation of [math]\displaystyle{ \text{div}\,\mathbf{F} }[/math]. The divergence of any dimension can be described as

[math]\displaystyle{ \begin{align} &\operatorname{Div}{\mathbf{F}}\\\\ &=\nabla\cdot\textbf{F}\\\\ &= \left(\frac{\partial}{\partial u}, \frac{\partial}{\partial x}, \frac{\partial}{\partial y}, \frac{\partial}{\partial z},\cdots \right) \cdot (F_u,F_x,F_y,F_z\cdots)\\\\ &=\left(\frac{\partial F_u}{\partial u} + \frac{\partial F_x}{\partial x} + \frac{\partial F_y}{\partial y} + \frac{\partial F_z}{\partial z}\cdots \right) \end{align} }[/math]

The following examples illustrate the use of divergence theorem in the calculation of multivariate contour integrals.

Contour Integral Media

• 

  contourDiagram

• 

  Trigonometric integrals transformed into rational functions

• 

  A typical keyhole contour, used for contour integration.

• 

  KeyholeContourLeftTikz

• 

  Author is Marko Riedel. No source URL, drew it myself using XFig for the contour integration page.

• 

  Hankelcontour

Related pages

• Cauchy's integral formula
• Line integral