Jordan Lemma Proof - Gauge-institute.org
Jordan Lemma Proof - Gauge-institute.org
Jordan Lemma Proof - Gauge-institute.org
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>Jordan</strong> <strong>Lemma</strong> <strong>Proof</strong><br />
H. Vic Dannon<br />
∫<br />
imz<br />
Then, for m > 0 , e f() z dz → 0, as ρ →∞.<br />
C<br />
ρ<br />
We show here that the proof of the <strong>Lemma</strong> by <strong>Jordan</strong>, and the<br />
proof by Whittaker and Watson are incomplete.<br />
Whittaker and Watson proof permeates many if not all textbooks<br />
on complex variables, and has to be corrected.<br />
1. <strong>Jordan</strong>’s <strong>Proof</strong><br />
In <strong>Jordan</strong>’s proof, m = 1.<br />
On the semi-circle, C<br />
ρ<br />
We have<br />
z<br />
i<br />
e θ<br />
= ρ , 0 ≤ θ ≤ π.<br />
iz<br />
iz<br />
∫ e f() z dz ≤ ∫ e f()<br />
z dz .<br />
C<br />
ρ<br />
C<br />
ρ<br />
Substituting<br />
iz<br />
iρcos θ−ρsin θ −ρsin<br />
θ<br />
e = e = e ,<br />
dz<br />
i θ<br />
= ρe dθ,<br />
dz<br />
= ρθ d ,<br />
θ=<br />
π<br />
iz<br />
∫ e f() z dz ≤ max f()<br />
z ρ∫ −ρsin<br />
θ<br />
e dθ.<br />
C<br />
C θ=<br />
0<br />
ρ<br />
ρ<br />
Since<br />
3