Estimation lemma

Estimation lemma

In mathematics, the estimation lemma gives an upper bound for a contour integral. If "f" is a complex-valued, continuous function on the contour Gamma and if its absolute value |"f"("z")| is bounded by a constant "M" for all "z" on Gamma, then

:left|int_Gamma f(z) , dz ight| le M, l(Gamma), where l(Gamma) is the arc length of Gamma. In particular, we may take the maximum

:M:= max_{zinGamma}|f(z)|

as upper bound. Intuitively, the lemma is very simple to understand. If a contour is thought of as many smaller contour segments connected together, then there will be a maximum |"f"("z")| for each segment. Out of all the maximum |"f"("z")|'s for the segments, there will be an overall largest one. Hence, if the overall largest |"f"("z")| is summed over the entire path then the integral of "f"("z") over the path must be less than or equal to it.

The estimation lemma is most commonly used as part of the methods of contour integration with the intent to show that the integral over part of a contour goes to zero as |z| goes to infinity. An example of such a case is shown in the example below.

Example

Problem.Find an upper bound for

:iggl|int_Gamma frac{1}{(z^2+1)^2} , dziggr|,

where Gamma is the upper half-circle |z|=a with radius a>1 traversed once in the counterclockwise direction.

Solution.First observe that the length of the path of integration is half the circumference of a circle with radius "a", hence:l(Gamma)=frac{1}{2}(2pi a)=pi a.Next we seek an upper bound "M" for the integrand when |z|=a. By the triangle inequality we see that:|z|^2=|z^2| = |z^2+1-1| le |z^2+1|+1,therefore:|z^2+1|ge |z|^2 - 1 = a^2 - 1>0 because |z|=a>1 on Gamma. Hence:left|frac{1}{(z^2+1)^2} ight| le frac{1}{(a^2-1)^2}.Therefore we apply the estimation lemma with "M" = 1 / ("a"2 − 1)2. The resulting bound is:iggl|int_Gamma frac{1}{(z^2+1)^2},dziggr| le frac{pi a}{(a^2-1)^2}.

References

* Saff, E.B, Snider, A.D., "Fundamentals of Complex Analysis for Mathematics, Science, and Engineering" (Prentice Hall, 1993).
* Howie J.M., "Complex Analysis" (Springer, 2003).


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Bramble-Hilbert lemma — In mathematics, particularly numerical analysis, the Bramble Hilbert lemma, named after James H. Bramble and Stephen R. Hilbert, bounds the error of an approximation of a function extstyle u by a polynomial of order at most extstyle m 1 in terms… …   Wikipedia

  • Stein's lemma — Stein s lemma, named in honor of Charles Stein, is a theorem of probability theory that is of interest primarily because of its application to statistical inference mdash; in particular, its application to James Stein estimation and empirical… …   Wikipedia

  • List of mathematics articles (E) — NOTOC E E₇ E (mathematical constant) E function E₈ lattice E₈ manifold E∞ operad E7½ E8 investigation tool Earley parser Early stopping Earnshaw s theorem Earth mover s distance East Journal on Approximations Eastern Arabic numerals Easton s… …   Wikipedia

  • List of lemmas — This following is a list of lemmas (or, lemmata , i.e. minor theorems, or sometimes intermediate technical results factored out of proofs). See also list of axioms, list of theorems and list of conjectures. 0 to 9 *0/1 Sorting Lemma ( comparison… …   Wikipedia

  • Methods of contour integration — Not to be confused with Line integral. In the mathematical field of complex analysis, contour integration is a method of evaluating certain integrals along paths in the complex plane.[1][2][3] Contour integration is closely related to the… …   Wikipedia

  • List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… …   Wikipedia

  • List of statistics topics — Please add any Wikipedia articles related to statistics that are not already on this list.The Related changes link in the margin of this page (below search) leads to a list of the most recent changes to the articles listed below. To see the most… …   Wikipedia

  • List of mathematics articles (L) — NOTOC L L (complexity) L BFGS L² cohomology L function L game L notation L system L theory L Analyse des Infiniment Petits pour l Intelligence des Lignes Courbes L Hôpital s rule L(R) La Géométrie Labeled graph Labelled enumeration theorem Lack… …   Wikipedia

  • List of mathematics articles (R) — NOTOC R R. A. Fisher Lectureship Rabdology Rabin automaton Rabin signature algorithm Rabinovich Fabrikant equations Rabinowitsch trick Racah polynomials Racah W coefficient Racetrack (game) Racks and quandles Radar chart Rademacher complexity… …   Wikipedia

  • List of mathematics articles (F) — NOTOC F F₄ F algebra F coalgebra F distribution F divergence Fσ set F space F test F theory F. and M. Riesz theorem F1 Score Faà di Bruno s formula Face (geometry) Face configuration Face diagonal Facet (mathematics) Facetting… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”