PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] corollary of Cauchy integral theorem (Theorem)

Theorem. Let $\gamma$ be a closed contour of $\mathbb{C}$ not intersecting itself and $\gamma_1,\,\ldots,\,\gamma_n$ likewise. Let all the contours $\gamma_1,\,\ldots,\,\gamma_n$ be outside each other but insinde $\gamma$ . If the closed, ``holey'' domain between $\gamma$ and the $\gamma_j$ s is contained in a domain $U$ where $f$ is holomorphic, then

$\displaystyle \oint_\gamma\!f(z)\,dz \;=\; \oint_{\gamma_1}\!f(z)\,dz+\ldots+\oint_{\gamma_n}\!f(z)\,dz$ (1)

where all integrals are taken with the same direction of circulation. Especially, in the case $n = 1$ one has
$\displaystyle \oint_\gamma\!f(z)\,dz \;=\; \oint_{\gamma_1}\!f(z)\,dz.$ (2)

Note 1. The integrals in (1) and (2) need not necessarily vanish, since inside a $\gamma_j$ there may be points not belonging to $U$ .

Note 2. When $n = 0$ , i.e. the sum on the right hand side of (1) is empty, it has the value 0; thus also the Cauchy integral theorem is a special case of (1).

Proof. We prove the theorem only in the case $n = 1$ . Other cases may be handled analogously.
Draw two auxiliary ways connecting $\gamma$ and $\gamma_1$ . The integral of $f$ 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 $f$ 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 $\gamma$ and $\gamma_1$ , remain; then $$\oint_\gamma\!f(z)\,dz+\oint_{\gamma_1}\!f(z)\,dz \;=\; 0,$$ i.e. $$\oint_\gamma\!f(z)\,dz \;=\; -\oint_{\gamma_1}\!f(z)\,dz.$$ However, here $\gamma$ is run anticlockwise and $\gamma_1$ clockwise. Reversing the direction in the right hand side of this last equation, one obtains (2). Q.E.D.


\begin{pspicture}(-4.7,-4)(4.7,4) \psellipse[linecolor=blue](0,0)(3.5,2) \pscirc... ...)(3.5,0) \rput(-0.15,2.18){$\gamma$} \rput (0.5,1.2){$\gamma_1$} \end{pspicture}

Example. Calculate $$\oint_C\frac{dz}{z\!-\!z_0}$$ where the circle $C$ of complex plane with centre $z_0$ and radius $R$ is run once anticlockwise.
Since $|z\!-\!z_0| = R$ we can take the parametric presentation $$z\!-\!z_0 \;=\; R e^{i\varphi} \quad \mbox{with} \quad 0 \leqq \varphi < 2\pi.$$ Then $dz \;=\; iR e^{i\varphi}\,d\varphi$ and

$\displaystyle \oint_C\frac{dz}{z\!-\!z_0} \;=\; \int_0^{2\pi}\!i\,d\varphi \;=\; 2i\pi.$ (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 $z_0$ anticlockwise (cf. the lemma of this entry).




"corollary of Cauchy integral theorem" is owned by pahio.
(view preamble | get metadata)

View style:

See Also: variant of Cauchy integral formula

Other names:  generalisation of Cauchy integral theorem

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: continuous, parametric presentation, radius, centre, complex plane, circle, calculate, equation, opposite, curves, proof, Cauchy integral theorem, right hand side, sum, points, vanish, integrals, holomorphic, contained, domain, contour, closed, theorem
There is 1 reference to this entry.

This is version 14 of corollary of Cauchy integral theorem, born on 2009-04-24, modified 2009-07-16.
Object id is 11751, canonical name is CorollaryOfCauchyIntegralTheorem.
Accessed 788 times total.

Classification:
AMS MSC30E20 (Functions of a complex variable :: Miscellaneous topics of analysis in the complex domain :: Integration, integrals of Cauchy type, integral representations of analytic functions)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)