Jordan's lemma


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 "C1" 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 "C1" and "C2". 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]


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Jordan (disambiguation) — Jordan is a country in the Middle East.Jordan may also refer to: Middle Eastern geography * Jordan, Tehran * Jordan River United States geography * Jordan, Indiana * Jordan, Iowa * Jordan, Minnesota, a city in Scott County * Jordan, Minneapolis,… …   Wikipedia

  • Lemma von Jordan — Das Lemma von Jordan (nach Marie Ennemond Camille Jordan) ist ein Hilfsmittel der Funktionentheorie. Es wird zusammen mit dem Residuensatz verwendet, um Integrale aus der reellen Analysis zu berechnen. Inhaltsverzeichnis 1 Aussage 2 Anwendung 3… …   Deutsch Wikipedia

  • Lemma von Zassenhaus — In der Gruppentheorie, einem Teilgebiet der Mathematik, werden gewisse Reihen, Ketten oder auch Türme von Untergruppen, bei denen jede Untergruppe in ihrer Nachfolgerin enthalten ist (aufsteigende Reihen) oder umgekehrt (absteigende Reihen),… …   Deutsch Wikipedia

  • Jordan curve theorem — Illustration of the Jordan curve theorem. The Jordan curve (drawn in black) divides the plane into an inside region (light blue) and an outside region (pink). In topology, a Jordan curve is a non self intersecting continuous loop in the plane.… …   Wikipedia

  • Jordan'sche Normalform — Die jordansche Normalform ist ein Begriff aus dem mathematischen Teilgebiet der linearen Algebra. Sie ist ein einfacher Vertreter der Äquivalenzklasse der zu einer trigonalisierbaren Matrix (trigonalisierbaren linearen Abbildung) ähnlichen… …   Deutsch Wikipedia

  • Jordan-Normalform — Die jordansche Normalform ist ein Begriff aus dem mathematischen Teilgebiet der linearen Algebra. Sie ist ein einfacher Vertreter der Äquivalenzklasse der zu einer trigonalisierbaren Matrix (trigonalisierbaren linearen Abbildung) ähnlichen… …   Deutsch Wikipedia

  • Jordan Normalform — Die jordansche Normalform ist ein Begriff aus dem mathematischen Teilgebiet der linearen Algebra. Sie ist ein einfacher Vertreter der Äquivalenzklasse der zu einer trigonalisierbaren Matrix (trigonalisierbaren linearen Abbildung) ähnlichen… …   Deutsch Wikipedia

  • Jordan’sche Normalform — Die jordansche Normalform ist ein Begriff aus dem mathematischen Teilgebiet der linearen Algebra. Sie ist ein einfacher Vertreter der Äquivalenzklasse der zu einer trigonalisierbaren Matrix (trigonalisierbaren linearen Abbildung) ähnlichen… …   Deutsch Wikipedia

  • Camille Jordan — Born January 5, 1838(1838 01 05) Lyon …   Wikipedia

  • Satz von Jordan-Hölder — In der Gruppentheorie, einem Teilgebiet der Mathematik, werden gewisse Reihen, Ketten oder auch Türme von Untergruppen, bei denen jede Untergruppe in ihrer Nachfolgerin enthalten ist (aufsteigende Reihen) oder umgekehrt (absteigende Reihen),… …   Deutsch Wikipedia


We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.