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:

    “When children feel good about themselves, it’s like a snowball rolling downhill. They are continually able to recognize and integrate new proof of their value as they grow and mature.”
    —Stephanie Martson (20th century)

    “Right and proof are two crutches for everything bent and crooked that limps along.”
    —Franz Grillparzer (1791–1872)

    “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)