Jordan's Lemma

In complex analysis, Jordan's lemma is a result frequently used in conjunction with the residue theorem to evaluate contour integrals and improper integrals. The lemma is named after the French mathematician Camille Jordan.

Statement

Consider a complex-valued, continuous function , defined on a semicircular contour

:$C_R = \$

of positive radius lying in the upper half-plane, centered at the origin. If the function is of the form

:$f(z) = e^ g(z) , \quad z \in C ,$

with a positive parameter , then Jordan's lemma states the following upper bound for the contour integral:

:$\left, \int_ f(z) \, dz \ \le \frac M_R \quad \text \quad M_R := \max_ \left, g \left(R e^\right) \ .$

with equality when vanishes everywhere, in which case both sides are identically zero. An analogous statement for a semicircular contour in the lower half-plane holds when .

Remarks

* If is continuous on the semicircular contour for all large and

:then by Jordan's lemma $\lim_ \int_ f(z)\, dz = 0.$
* For the case , see the estimation lemma.
* Compared to the estimation lemma, the upper bound in Jordan's lemma does not explicitly depend on the length of the contour .

Application of Jordan's lemma

Jordan's lemma yields a simple way to calculate the integral along the real axis of functions holomorphic on the upper half-plane and continuous on the closed upper half-plane, except possibly at a finite number of non-real points , , …, . Consider the closed contour , which is the concatenation of the paths and shown in the picture. By definition,

:$\oint_C f(z) \, dz = \int_f(z)\,dz + \int_ f(z)\,dz\,.$

Since on the variable is real, the second integral is real:

:$\int_ f(z) \, dz = \int_^ f(x)\,dx\,.$

The left-hand side may be computed using the residue theorem to get, for all larger than the maximum of , , …, ,

:$\oint_ f(z)\, dz = 2\pi i \sum_^n \operatorname(f, z_k)\,,$

where denotes the residue of at the singularity . Hence, if satisfies condition (), then taking the limit as tends to infinity, the contour integral over vanishes by Jordan's lemma and we get the value of the improper integral

:$\int_^ f(x)\,dx = 2\pi i \sum_^n \operatorname(f, z_k)\,.$

Example

The function

:$f(z)=\frac,\qquad z\in\setminus\,$

satisfies the condition of Jordan's lemma with for all with . Note that, for ,

:$M_R=\max_\frac1=\frac1\,,$

hence () holds. Since the only singularity of in the upper half plane is at , the above application yields

:$\int_^\infty \frac\,dx=2\pi i\,\operatorname(f,i)\,.$

Since is a simple pole of and , we obtain
:$\operatorname(f,i)=\lim_(z-i)f(z) =\lim_\frac=\frac$

so that

:$\int_^\infty \frac\,dx=\operatorname\int_^\infty \frac\,dx=\frac\,.$

This result exemplifies the way some integrals difficult to compute with classical methods are easily evaluated with the help of complex analysis.

This example shows that Jordan's lemma can be used instead of a much simpler estimation lemma. Indeed, estimation lemma suffices to calculate $\int_^\infty \frac\,dx$, as well as $\int_^\infty \frac\,dx$, Jordan's lemma here is unnecessary.

Proof of Jordan's lemma

By definition of the complex line integral,

:$\int_ f(z)\, dz =\int_0^\pi g(Re^)\,e^\,i Re^\,d\theta =R\int_0^\pi g(Re^)\,e^\,ie^\,d\theta\,.$

Now the inequality

:$\biggl, \int_a^b f(x)\,dx\biggr, \le\int_a^b \left, f(x)\\,dx$

yields

:$I_R:=\biggl, \int_ f(z)\, dz\biggr, \le R\int_0^\pi\bigl, g(Re^)\,e^\,ie^ \bigr, \,d\theta =R\int_0^\pi \bigl, g(Re^)\bigr, \,e^\,d\theta\,.$

Using as defined in () and the symmetry , we obtain

:$I_R \le RM_R\int_0^\pi e^\,d\theta = 2RM_R\int_0^ e^\,d\theta\,.$

Since the graph of is concave on the interval , the graph of lies above the straight line connecting its endpoints, hence

:$\sin\theta\ge \frac\quad$

for all , which further implies

:$I_R \le 2RM_R \int_0^ e^\,d\theta =\frac (1-e^) M_R\le\frac\piM_R\,.$

See also

* Estimation lemma

References

*

{{DEFAULTSORT:Jordan's Lemma
Theorems in complex analysis
Articles containing proofs
Lemmas in mathematical analysis