Estimation lemma

Template:Short description In mathematics the estimation lemma, also known as the Template:Mvar inequality, gives an upper bound for a contour integral. If Template:Mvar is a complex-valued, continuous function on the contour Template:Math and if its absolute value Template:Math is bounded by a constant Template:Mvar for all Template:Mvar on Template:Math, then

$|\underset{\mathrm{\Gamma }}{\int }f(z)dz|\le Ml(\mathrm{\Gamma }),$

where Template:Math is the arc length of Template:Math. In particular, we may take the maximum

$M:=\underset{z\in \mathrm{\Gamma }}{\sup }|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 Template:Math for each segment. Out of all the maximum Template:Maths for the segments, there will be an overall largest one. Hence, if the overall largest Template:Math is summed over the entire path then the integral of Template:Math over the path must be less than or equal to it.

Formally, the inequality can be shown to hold using the definition of contour integral, the absolute value inequality for integrals and the formula for the length of a curve as follows:

$|\underset{\mathrm{\Gamma }}{\int }f(z)dz|=|\underset{\alpha }{\overset{\beta }{\int }}f(\gamma (t)){\gamma }^{\prime }(t)dt|\le \underset{\alpha }{\overset{\beta }{\int }}|f(\gamma (t))||{\gamma }^{\prime }(t)|dt\le M\underset{\alpha }{\overset{\beta }{\int }}|{\gamma }^{\prime }(t)|dt=Ml(\mathrm{\Gamma })$

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 Template:Math goes to infinity. An example of such a case is shown below.

Example

The contour Template:Math.

Problem. Find an upper bound for

$\left|\underset{\mathrm{\Gamma }}{\int }\frac{1}{(z^2+1{)}^2}dz\right|,$

where Template:Math is the upper half-circle Template:Math with radius Template:Math 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 Template:Mvar, hence

$l(\mathrm{\Gamma })=\frac{1}{2}(2\pi a)=\pi a.$

Next we seek an upper bound Template:Mvar for the integrand when Template:Math. By the triangle inequality we see that

$|z{|}^2=\left|z^2\right|=|z^2+1-1|\le |z^2+1|+1,$

therefore

$|z^2+1|\ge |z{|}^2-1=a^2-1>0$

because Template:Math on Template:Math. Hence

$\left|\frac{1}{{(z^2+1)}^2}\right|\le \frac{1}{{(a^2-1)}^2}.$

Therefore, we apply the estimation lemma with Template:Math. The resulting bound is

$\left|\underset{\mathrm{\Gamma }}{\int }\frac{1}{{(z^2+1)}^2}dz\right|\le \frac{\pi a}{{(a^2-1)}^2}.$

See also

• Jordan's lemma

References

• Template:Citation.
• Template:Citation.