- #1

- 380

- 0

## Homework Statement

Suppose that f is continuous and that there exist constants A,B ≥ 0 and k>1 such that |f(z)|≤A|z|−k for all z such that |z|>B. let CR denote the semicircle given by |z| = R, Re(z) ≥ 0. Prove that limR→∞∫f(z)dz=0

You should upgrade or use an alternative browser.

- Thread starter gtfitzpatrick
- Start date

- #1

- 380

- 0

Suppose that f is continuous and that there exist constants A,B ≥ 0 and k>1 such that |f(z)|≤A|z|−k for all z such that |z|>B. let CR denote the semicircle given by |z| = R, Re(z) ≥ 0. Prove that limR→∞∫f(z)dz=0

- #2

gabbagabbahey

Homework Helper

Gold Member

- 5,002

- 6

Have you learned the estimation lemma yet?

- #3

- 380

- 0

Sorry about the multiple thread but I called it jordans lemma then thought, it might have nothing to do with it but I couldnt delete the thread after creating it!

I havent done the estimation lemma but I looked it up

Let f : U[itex]\rightarrow[/itex]C be continuous (where U is some subset of C), let [itex]\gamma[/itex] be a path in U, and suppose |f(z)| < M for all z [itex]\in \lambda[/itex]. Let length( [itex]\lambda[/itex])= L. Then

|[itex]\int[/itex]f(z)dz| [itex]\leq[/itex] ML.

- #4

vela

Staff Emeritus

Science Advisor

Homework Helper

Education Advisor

- 14,995

- 1,570

- #5

gabbagabbahey

Homework Helper

Gold Member

- 5,002

- 6

I havent done the estimation lemma but I looked it up

Let f : U[itex]\rightarrow[/itex]C be continuous (where U is some subset of C), let [itex]\gamma[/itex] be a path in U, and suppose |f(z)| < M for all z [itex]\in \lambda[/itex]. Let length( [itex]\lambda[/itex])= L. Then

|[itex]\int[/itex]f(z)dz| [itex]\leq[/itex] ML.

It is probably in your textbook, but just not named. Many texts (c.f.

What is the arclength [itex]L[/itex] of your semicircular contour CR? If [itex]|f(z)| \leq A|z|^{-k}[/itex] (which is what I assume you meant when you wrote |f(z)|≤A|z|−k) and [itex]|z|>B>0[/itex], what is an upper bound for [itex]|f(z)|[/itex] on your semi-circular contour?

What does that tell you about [itex]\left| \int_{CR} f(z) dz \right|[/itex]?

- #6

- 380

- 0

[itex] |f(z)| \leq A|z|^{-k} [/itex] the semicircle is given by |z| = R so for k>1, if the value of R gets bigger, then the value of [itex] \frac{A}{|z|^{k}} [/itex] gets smaller so as R[itex]\rightarrow\infty[/itex] then [itex] |f(z)| \rightarrow [/itex] 0

I guess thats what ther're saying but i guess i better try and word it better

- #7

gabbagabbahey

Homework Helper

Gold Member

- 5,002

- 6

The arc length is[itex]\pi r[/itex]

[itex] |f(z)| \leq A|z|^{-k} [/itex] the semicircle is given by |z| = R so for k>1, if the value of R gets bigger, then the value of [itex] \frac{A}{|z|^{k}} [/itex] gets smaller so as R[itex]\rightarrow\infty[/itex] then [itex] |f(z)| \rightarrow [/itex] 0

Right or, using the estimation lemma with the fact that [itex]|f(z)| \leq A|R|^{-k} [/itex], you have

[tex]\left| \lim_{R \to \infty} \int_{CR} f(z)dz \right| = \lim_{R \to \infty} \left| \int_{CR} f(z)dz \right| \leq \lim_{R \to \infty} \left( A|R|^{-k} \right) = 0[/tex]

Share: