Jordan's Lemma - Proof of Jordan's Lemma

Proof of Jordan's Lemma

By definition of the complex line integral,

\begin{align} \int_{C_R} f(z)\, dz &=\int_0^\pi g(Re^{i\theta})\,e^{iaR(\cos\theta+i \sin\theta)}\,i Re^{i\theta}\,d\theta\\ &=R\int_0^\pi g(Re^{i\theta})\,e^{aR(i\cos\theta-\sin\theta)}\,ie^{i\theta}\,d\theta\,. \end{align}

Now the inequality

yields

\begin{align} I_R:=\biggl|\int_{C_R} f(z)\, dz\biggr| &\le R\int_0^\pi\bigl|g(Re^{i\theta})\,e^{aR(i\cos\theta-\sin\theta)}\,ie^{i\theta} \bigr|\,d\theta\\ &=R\int_0^\pi \bigl|g(Re^{i\theta})\bigr|\,e^{-aR\sin\theta}\,d\theta\,. \end{align}

Using MR as defined in (*) and the symmetry sin θ = sin(π – θ), we obtain

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

for all θ ∈ , which further implies

I_R \le 2RM_R \int_0^{\pi/2} e^{-2aR\theta/\pi}\,d\theta =\frac{\pi}{a} (1-e^{-a R}) M_R\le\frac\pi{a}M_R\,.

Read more about this topic:  Jordan's Lemma

Famous quotes containing the words proof of, proof and/or jordan:

    “From whichever angle one looks at it, the application of racial theories remains a striking proof of the lowered demands of public opinion upon the purity of critical judgment.”
    —Johan Huizinga (1872–1945)

    “He who has never failed somewhere, that man can not be great. Failure is the true test of greatness. And if it be said, that continual success is a proof that a man wisely knows his powers,—it is only to be added, that, in that case, he knows them to be small.”
    —Herman Melville (1819–1891)

    “All of Western tradition, from the late bloom of the British Empire right through the early doom of Vietnam, dictates that you do something spectacular and irreversible whenever you find yourself in or whenever you impose yourself upon a wholly unfamiliar situation belonging to somebody else. Frequently it’s your soul or your honor or your manhood, or democracy itself, at stake.”
    —June Jordan (b. 1939)