## Jordan’s Lemma.

### August 9, 2011

[This post is for those of you who are already comfy with doing some basic contour integrals in complex analysis.]

So you’re sitting around, evaluating contour integrals, and everything is fine. Then something weird comes up. You’re asked to evaluate an integral that looks like

for is continuous. Eek. Don’t panic though, because Camille Jordan’s gonna help you out.

The following lemma is often called Jordan’s Lemma, and it’s used quite a bit when you have things that look like the above integral. In particular, Fourier stuff looks like this quite a bit. There is a more general case, but I’ll just state the one we’ll use for this complex stuff.

**Lemma (Jordan’s):** Let is analytic at every point in the closed upper-half plane (that is, if , the closed upper half plane is all points such that ) which is exterior to some half-circle of radius . Let denote for . If for each on we have some constant (depending on ) such that and, furthermore, we have as , then for we have

[By the way, this lemma was lovingly paraphrased from the one in Brown’s Complex Analysis book, which I highly recommend.]

A lemma like this looks somewhat complicated, and the conclusion looks like it was made specifically to prove something about a very specific type of thing. Maybe that’s why they called it a lemma instead of a theorem. Either way, in a nutshell, the theorem says that if we have an analytic function with some poles bounded by some half circle in the upper-half plane, then if we can bound the part of our integral by some constant depending on that goes to zero, we get the part for free. Usually, this lemma is used to show that the part of the integral goes to 0 so that we can equate our "real-axis integral" to a contour one and use Cauchy’s integral formula.

Before we prove this, let’s just show an example of how it works.

## Example!

Let’s take for .

Alright, this will be the real part of (if you don’t see this, write out in terms of sine and cosine and expand) so it suffices to find this integral and take the real part.

Taking and the contour as above and the real line segment , we could easily evaluate this using Cauchy if only the part went to 0. BUT, we have the lemma above! Note that

is valid on (and we get the by applying that "other" triangle inequality ). Note also that the right-hand-side goes to 0 as , which is enough to tell us, by Jordan’s lemma, that the integral of our function along is zero. Nice. Now we have that the "real-axis part", which is equal to our original integral if we divide it by 2 (since the original one is only from 0 to ), is just equal the integral around the semi-circle. By Cauchy, this means:

where the big REAL stands for the real part and is the residue at . Again, the is there because the original integral is only from 0 to . Now the problem reduces to finding the residue at . Luckily, this is not so bad so use your own method of finding the residue!

It turns out that the residue is . Thus, we finally have,

.

Awesome.

## The Proof of the Lemma.

The proof is surprisingly simple. We need one little inequality (not surprisingly called *Jordan’s Inequality*) before we begin, though. And this will be a picture proof.

**Lemma (Jordan’s Inequality): **, where .

Kind of complicated looking, but it turns out to be really nice to prove. Okay. I’ll just give you a hint, then you can prove the rest. Note that if .

Bam. I read some class notes on an analytic proof of this fact which stated that one needed to use a strange (and quite complicated!) inequality to prove this; when I first went over this, I just Taylor expanded sine a bit. Perhaps I’m missing something, but if you don’t trust my picture-proof or Taylor-proof, then there are other proofs available for you to go through!

Now write down that integral in the lemma from 0 to , and replace with . Now integrate. Since is symmetric about , just double the evaluation to get the required inequality.

Once we have this, Jordan’s lemma is easy.

**Proof of Jordan’s Lemma.** Okay, so we have a function and all that other stuff holds that we needed in the statement of the lemma. Now,

by just using the parameterization we have. Luckily we can reduce a lot of this. Okay, first, we know by the statement, and we have that

note the last part is true since is always positive, and, at this point, you might also see where that inequality is going to come into play. Replacing these estimates into our original integral, we get

But since is just some positive constant, we have that since , the entire integral must go to 0 as . Nice! This is exactly what we wanted to prove.

Can I have a question?

Your example can be solved by the residue theorem.

What kind of problem is better using the Jordan lemma than using the residue theorem?

Thanks in advance. :)

Don’t answer that question and don’t write the proofs of any more famous results. PREPARE FOR THE QUAL!

Ha, I actually don’t know a good answer for that question. And this came up in studying for the qual!

The proof of Jordan’s Lemma is not coming up on the qual! You don’t need to write that up. Stop wasting time.

Prove that the indefinite integral of an L^1 function is absolutely continuous. This is a good question for the analysis qual.

To prove that sin(\theta)>=(2/pi)*(\theta) in that interval, just use the concavity of the function. It’s second derivative is negative in that interval.

Thanks for the explanations! I’m an Electrical Engineering student and I found it very helpful :)