Jordan's lemma

Jordan's Lemma in complex analysis is a powerful tool used frequently when evaluating contour integrals, and real integrals from -∞ to +∞.

Consider a function of the form: ::$f(z)=e^\{iaz\}\; g(z),$

Jordan's Lemma states that::$lim\_\{R\; o\; infty\}\; int\_\{C\_1\}\; f(z),\; dz\; =\; 0\; quad$

where "C₁" is the semicircular path of radius "R", centred on the origin. The equation of this curve is $z=Re^\{i\; heta\}$.

Jordan's Lemma only holds if:#$mbox\{If\; \}\; a>0,\; quad\; |g\; left(z\; ight)|\; o\; 0\; mbox\{\; as\; \}\; R\; o\; infty$:#$mbox\{If\; \}\; a=0,\; quad\; |g\; left(z\; ight)|\; o\; 0\; mbox\{\; faster\; than\; \}\; 1/z\; mbox\{\; as\; \}\; R\; o\; infty$

The maximum is taken over the semicircle in the upper half plane. If $a$ is negative, then the lower half plane must be used.

For example, $g(z)=frac\{1\}\{1+z^2\}$ is a valid function for Jordan's Lemma, but $g(z)=frac\{1\}\{z\}$ is not.

Applications of Jordan's Lemma

A typical application of Jordan's lemma is one where we want to evaluate an integral, which can be written in the form as shown below, along the real axis. In this case, the integral can be easily evaluated (using the residue theorem) by summing the residues in the upper or lower half planes depending on the sign of "a".

Now consider the integral around the closed contour "C", composed of "C₁" and "C₂". By breaking the path "C" into two parts, we get:

::$oint\_\{C\}\; f(z),\; dz=\; int\_\{C\_1\}f(z),dz\; +\; int\_\{C\_2\}\; f(z),dz$

Because "z" on the real axis is "x", and the path is a straight line, we can now write the second integral as a definite integral with respect to "x":

::$oint\_\{C\}\; f(z),\; dz=\; int\_\{C\_1\}f(z),dz\; +\; int\_\{-R\}^\{R\}\; f(x),dx$

We also know Jordan's Lemma that the first integral is zero as "R" tends to infinity, so

::$oint\_\{C\}\; f(z),\; dz=\; int\_\{-infty\}^\{infty\}\; f(x),dx$

The left-hand side is given by the residue theorem, so we can now evaluate the right-hand side for functions "f(x)" that would otherwise be very difficult to calculate. Note that below, the LHS and RHS have been switched:

::$int\_\{-infty\}^infty\; f(x)\; dx,=2pi\; i\; sum\; operatorname\{Res\; \}\{left\; [\; f(x)\; ight]\; \}$

where $operatorname\{Res\; \}\{left\; [\; f(x)\; ight]\; \}$ is a residue of $f(x)\; ,$ and the summations is taken over all residues in the upper half plane (but not on the real axis) when "a" is positive and in the lower half plane (but not the real axis) when "a" is negative.

External links

* [http://mathworld.wolfram.com/JordansLemma.html Jordan's lemma] at MathWorld
* [http://www.ma.ic.ac.uk/~jdg/eejordan.pdf http://www.ma.ic.ac.uk/~jdg/eejordan.pdf]