corollary of Cauchy integral theorem
Theorem. Let be a closed contour of not intersecting itself and likewise. Let all the contours be outside each other but insinde . If the closed, “holey” domain between and the s is contained in a domain where is holomorphic, then
(1) |
where all integrals are taken with the same direction of circulation. Especially, in the case one has
(2) |
Note 1. The integrals in (1) and (2) need not necessarily vanish, since inside a there may be points not belonging to .
Note 2. When , i.e. the sum on the right hand side of (1) is empty (http://planetmath.org/EmptySum), it has the value 0; thus also the Cauchy integral theorem is a special case of (1).
Note 3. The theorem implies easily the residue theorem.
Proof. We prove the theorem only in the case . Other cases may be handled analogously.
Draw two auxiliary ways connecting and . The integral of taken anticlockwise around the route consisting of the upper parts of the curves and the auxiliary ways is, by the fundamental theorem of complex analysis, equal zero. Similarly the integral of taken anticlockwise around the route consisting of the lower parts of the curves and the auxiliary ways is equal zero. Thus also the sum of both equals zero. But in the sum, the portions taken along the auxiliary ways are run in opposite directions and so they cancel each other. Therefore in the sum only the portions, which are run along and , remain; then
i.e.
However, here is run anticlockwise and clockwise. Reversing the direction in the right hand side of this last equation, one obtains (2). Q.E.D.
Example. Calculate
where the circle of complex plane with centre and radius is run once anticlockwise.
Since we can take the parametric presentation
Then and
(3) |
By the equation (2) of the theorem, one can infer that the result (3) is true for any continuous contour going once around the point anticlockwise (cf. the lemma of http://planetmath.org/node/3105this entry).
Title | corollary of Cauchy integral theorem |
---|---|
Canonical name | CorollaryOfCauchyIntegralTheorem |
Date of creation | 2013-03-22 18:54:12 |
Last modified on | 2013-03-22 18:54:12 |
Owner | pahio (2872) |
Last modified by | pahio (2872) |
Numerical id | 18 |
Author | pahio (2872) |
Entry type | Theorem |
Classification | msc 30E20 |
Synonym | generalisation of Cauchy integral theorem |
Related topic | VariantOfCauchyIntegralFormula |