Methods Of Contour Integration

In complex analysis, the evaluation of integrals of real-valued functions along intervals on the real line, is not readily found with certain integrands and methods involving only real variables. Complex analysis methods described below give means of calculating these real-valued integrals by means of contour integrals in the complex plane. These methods include One method can be used, or a combination of these methods, or various limiting processes, for the purpose of finding these integrals or sums.

Direct methods

Direct methods involve the calculation of the integral by means of methods similar to those in calculating line integrals in several-variable calculus. This means that we use the following method:
  • parametrizing the contour
The contour is parametrized by a differentiable complex-valued function of real variables, or the contour is broken up into pieces and parametrized separately
  • substitution of the parametrization into the integrand
Substituting the parametrization into the integrand transforms the integral into an integral of one real variable.
  • direct evaluation
The integral is evaluated in a method akin to a real-variable integral.

Example

A fundamental result in complex analysis is that the integral around the contour C which is the unit circle (or any Jordan curve about 0) of z-1 is 2πi. Let us evaluate the integral:
\oint_C {1 \over z}\,dz
In evaluating this integral, we use the unit circle |z| = 1 as our contour, which we can parametrize by γ(t) = eit, with t ∈ 2π. Observe that γ'(t) = ieit. Now, substituting this for z, we have
\oint_C {1 \over z}\,dz = \int_0^{2\pi} {1 \over e^{it}} ie^{it}\,dt = i\int_0^{2\pi} e^{-it}e^{it}\,dt
=i\int_0^{2\pi} 1 \,dt = \left.t\right]_0^{2\pi} i=(2\pi-0)i = 2\pi i
which is the value of the integral.

Applications of integral theorems

Applications of integral theorems are also often used to evaluate the contour integral along a contour, which means that the real-valued integral is calculated simultaneously along with calculating the contour integral. Integral theorems such as the Cauchy integral formula or residue theorem are generally used in the following method:
  • a specific contour is chosen:
The contour is chosen so that the contour follows the part of the complex plane that describes the real-valued integral, and also encloses singularities of the integrand so application of the Cauchy integral formula or residue theorem is possible
The integral is reduced to only an integration around a small circle about each pole.
Application of these integral formula gives us a value for the integral around the whole of the contour.
  • division of the contour into a contour along the real part and imaginary part
The whole of the contour can be divided into the contour that follows the part of the complex plane that describes the real-valued integral as chosen before (call it R), and the integral that crosses the complex plane (call it I). The integral over the whole of the contour is the sum of the integral over each of these contours.
  • demonstration that the integral that crosses the complex plane plays no part in the sum
If the integral I can be shown to be zero, or if the real-valued integral that is sought is improper, then if we demonstrate that the integral I as described above tends to 0, the integral along R will tend to the integral around the contour R+I.
  • conclusion
If we can show the above step, then we can directly calculate R, the real-valued integral.

Example (I)

Consider
\int_{-\infty}^{\infty} {1 \over (x^2+1)^2}\,dx
To evaluate this integral, we look at the complex-valued function
f(z)={1 \over (z^2+1)^2}
which has singularities at i and -i. However, we will want to choose a contour that will enclose the real valued integral, so we choose a semicircle as the one to the left, which we will let expand as to contain the whole real axis (a will tend to infinity). Call this contour C.
Now, there are two ways of proceeding, using the Cauchy integral formula or by the method of residues.

Using the Cauchy integral formula

Observe that
f(z)={1 \over (z^2+1)^2}={1 \over (z+i)^2(z-i)^2}
Since the only singularity in the contour is the one at i, then we can write
f(z)=+\int_{\mbox{arc}}=\pi e^{-t},
and thus
\int_{-a}^a =\pi e^{-t}-\int_{\mbox{arc}}.
It can be shown that if t > 0 then
\int_{\mbox{arc}}{e^{itz} \over z^2+1}\,dz
\rightarrow 0\ \mbox{as}\ a\rightarrow\infty. Therefore if t > 0 then
\int_{-\infty}^\infty{e^{itz} \over z^2+1}\,dz=\pi e^{-t}.
A similar argument with an arc that winds around -i rather than i shows that if t < 0 then
\int_{-\infty}^\infty{e^{itz} \over z^2+1}\,dz=\pi e^t,
and finally we have
\int_{-\infty}^\infty{e^{itz} \over z^2+1}\,dz=\pi e^{-\left|t\right|}.
(If t = 0 then the integral yields immediately to real-valued calculus methods and its value is π.)

Example (III) – trigonometric integrals

Certain substitutions can be made to integrals involving trigonometric functions, so the integral is transformed into a rational function of a complex variable and then the above methods can be used in order to evaluate the integral. As an example, consider
\int_{-\pi}^{\pi} {1 \over 1 + 3 (\cos{x})^2} \,dx
We seek to make a substitution of z = eit. Now, recall
\cos{x} = {1 \over 2} e^{it}+e^{-it} = {1 \over 2} \left(z+{1 \over z}\right)
and
{dz \over dt} = iz,\ dt = {dz \over iz}
Taking C to be the unit circle, we substitute to get:
\oint_C {1 \over 1 + 3 ({1 \over 2} (z+{1 \over z}))^2} \,{dz\over iz}
= \oint_C {1 \over 1 + {3 \over 4} (z+{1 \over z})^2}{1 \over iz} \,dz
= \oint_C {-i \over z+{3\over 4}z(z+{1\over z})^2}\,dz = -i \oint_C { 1 \over z+{3\over 4}z(z^2+2+{1\over z^2})} \,dz
= -i \oint_C {1\over z+{3\over 4}(z^3+2z+{1 \over z})} \,dz = -i \oint_C {1 \over {3\over 4 }z^3+{5 \over 2}z+{3 \over 4z}} \,dz
= -i \oint_C {4 \over 3z^3+10z+{3\over z}}\,dz = -4i \oint_C {1 \over 3z^3+10z+{3\over z}}\,dz
= -4i \oint_C { z \over 3z^4+10z^2+3 } \,dz
We use the Cauchy integral formula. Factorize the denominator:
= -4i \oint_C { z \over 3z^4+10z^2+3 } \,dz = -4i \oint_C {z \over (z^2+3)(z^2+1/3)}\,dz
= -4i \oint_C {z \over 3(z+\sqrt{3}i)(z-\sqrt{3}i)(z+\sqrt{1\over 3}i)(z-\sqrt{1\over 3}i)}\,dz
= -{4\over 3}i \oint_C {z \over (z+\sqrt{3}i)(z-\sqrt{3}i)(z+\sqrt{1\over 3}i)(z-\sqrt{1\over 3}i)}\,dz
The singularities then to be considered are at 31/2i, -31/2i. We can now reduce the integral:
= -{4\over 3}i \oint_{C_1} {\,{z \over (z+\sqrt{3}i)(z-\sqrt{3}i)(z+\sqrt{1\over 3}i)}\, \over (z-\sqrt{1\over 3}i)}\,dz + 
            -{4\over 3}i \oint_{C_2} {\,{z \over (z+\sqrt{3}i)(z-\sqrt{3}i)(z-\sqrt{1\over 3}i)}\, \over (z+\sqrt{1\over 3}i)}
where C1 is a small circle about 31/2i, and C2 is a small circle about -31/2i. We can now apply the formula:
= -{4\over 3}i \left( 
    2\pi i \left.\left({z \over (z+\sqrt{3}i)(z-\sqrt{3}i)(z+\sqrt{1\over 3}i)}\right)\right|_{z=\sqrt{1 \over 3}i} \right.  
  \left.  +  2\pi i \left.\left({z \over (z+\sqrt{3}i)(z-\sqrt{3}i)(z-\sqrt{1\over 3}i)}\right)\right|_{z=-\sqrt{1 \over 3}i}
\right)
= -{4\over 3}i \left( 2\pi i \left( { \sqrt{1\over 3}i \over (\sqrt{1\over 3}i+\sqrt{3}i)(\sqrt{1\over 3}i-\sqrt{3}i)(\sqrt{1\over 3}i+\sqrt{1\over 3}i)} \right) \right.
\left. +2\pi i \left( { -\sqrt{1\over 3}i \over (-\sqrt{1\over 3}i+\sqrt{3}i)(-\sqrt{1\over 3}i-\sqrt{3}i)(-\sqrt{1\over 3}i-\sqrt{1\over 3}i } \right)\right)
= -{4\over 3}i \left( 2\pi i
\left( {\sqrt{1\over 3}i \over ({4 \over \sqrt{3}}i)(-{2 \over \sqrt{3}}i)({2 \over \sqrt{3}}i)} \right) + 2 \pi i \left( {-\sqrt{1\over 3}i \over ({2 \over \sqrt{3}}i)(-{4 \over \sqrt{3}}i)(-{2 \over \sqrt{3}}i)} \right) \right)
= -{4\over 3}i \left(
2\pi i \left( {\sqrt{1\over 3}i \over i({4 \over \sqrt{3}})({2 \over \sqrt{3}})({2 \over \sqrt{3}})} \right) + 2\pi i \left( {-\sqrt{1\over 3}i \over -i({2 \over \sqrt{3}})({4 \over \sqrt{3}})({2 \over \sqrt{3}})} \right) \right)
= -{4\over 3}i \left(
2\pi i \left( {\sqrt{1\over 3} \over ({4 \over \sqrt{3}})({2 \over \sqrt{3}})({2 \over \sqrt{3}})} \right) + 2\pi i \left( {\sqrt{1\over 3} \over ({2 \over \sqrt{3}})({4 \over \sqrt{3}})({2 \over \sqrt{3}})} \right) \right)
= -{4\over 3}i \left(
2\pi i \left( { \,\sqrt{1\over 3} \,\over {16 \over 3\sqrt{3}} } \right) + 2\pi i \left( {\, \sqrt{1\over 3} \,\over {16 \over 3\sqrt{3}} } \right) \right)
= -{4\over 3}i \left(2 \pi i \left({3\over 16}\right) + 2 \pi i \left({3\over 16}\right)\right) = -{4\over 3}i \left(\pi i \left({3 \over 8}+{3 \over 8}\right)\right) = {4\over 3}\left({3 \over 4}\right)\pi = \pi

Example (IV) – branch cuts

Consider
\int_0^\infty {\sqrt{x} \over x^2+6x+8}\,dx
We can begin by formulating the complex integral
\int_C {\sqrt{z} \over z^2+6z+8}\,dz=I
We can use the Cauchy integral formula or residue theorem again to obtain the relevant residues. However, the important thing to note is that z1/2=e1/2 Log(z), so z1/2 has a branch cut. This affects our choice of the contour C. Normally the logarithm branch cut is defined as the negative real axis, however, this makes the calculation of the integral slightly more complex, so we define it to be the positive real axis. Then, we use the so-called keyhole contour, which consists of a small circle about the origin of radius ε say, extending to a line segment parallel and close to the positive real axis but not touching it, to an almost full circle, returning to a line segment parallel, close, and below the positive real axis in the negative sense, returning to the small circle in the middle.
Let γ be the small circle of radius ε, Γ the larger, with radius r, then
\int_C {\sqrt{z} \over z^2+6z+8}\,dz=\int_\epsilon^R {\sqrt{z} \over z^2+6z+8}\,dz+\int_\Gamma {\sqrt{z} \over z^2+6z+8}\,dz+\int_R^\epsilon {\sqrt{z} \over z^2+6z+8}\,dz+\int_\gamma {\sqrt{z} \over z^2+6z+8}\,dz
Since z1/2=e1/2 Log(z), along the contour below the branch cut, we have gained 2π in argument along Γ, so
\int_R^\epsilon {\sqrt{z} \over z^2+6z+8}\,dz=\int_R^\epsilon {e^e^{1/2(2\pi i)} \over z^2+6z+8}\,dz=\int_R^\epsilon { e^e^{\pi i} \over z^2+6z+8}\,dz
=\int_R^\epsilon {-\sqrt{x} \over x^2+6x+8}\,dx=-\int_\epsilon^R {-\sqrt{x} \over x^2+6x+8}\,dx
simplifying,
=\int_\epsilon^R {\sqrt{x} \over z^2+6z+8}\,dx
and then
\int_C {\sqrt{z} \over z^2+6z+8}\,dz=\int_\epsilon^R {\sqrt{z} \over z^2+6z+8}\,dz+\int_\Gamma {\sqrt{z} \over z^2+6z+8}\,dz+\int_\epsilon^R {\sqrt{z} \over z^2+6z+8}\,dz+\int_\gamma {\sqrt{z} \over z^2+6z+8}\,dz
It can be shown that the integrals over Γ and γ both tend to zero as ε tends to zero and R tends to infinity, by an estimation argument above. Thus, then,
\int_C {\sqrt{z} \over z^2+6z+8}\,dz=2\int_0^\infty {\sqrt{z} \over z^2+6z+8}\,dz
By using the residue theorem or the Cauchy integral formula one obtains
\pi i ({i\over \sqrt{2}}-i)=\int_0^\infty {\sqrt{z} \over z^2+6z+8}\,dz
=\pi\left(1-{1\over\sqrt{2}}\right)

See also

 

<< PreviousWord BrowserNext >>
paul grimault
ftse 250 index
robert alton harris
zimmer frame
dicofol
c and d class destroyer
nekhen
andrea ghez
etymology of rus and derivatives
randall cobb
solidus snake
down beat
william eccles
latin casino
arighi bianchi
tilehurst
pend oreille river
bieda
brussels (disambiguation)
madonna inn
list of washington rivers
tpac amaru ii
macclesfield station
john williams (pitt county)
maria l. sanford
william lamb picknell
christopher love
john carter (er)
black budget
james pavitt
cool devices
flextech
nueces river
francis capra
henry thornton
natasha henstridge
max liebermann
species ii
cimx
luna sea
stolen summer
n1 rocket
lovis corinth
zachary macaulay