Cauchy integral formula
The formulas.
Let be an open disk in thecomplex plane, and let be a holomorphic11It isnecessary to draw a distinction between holomorphic functions (those havinga complex derivative) and analytic functions
(those representable bypower series
). The two concepts are, in fact, equivalent
, butthe standard proof of this fact uses the Cauchy Integral Formula
with the (apparently) weaker holomorphicity hypothesis
. functiondefined on some open domain that contains and its boundary. Then,for every we have
Here is the corresponding circular boundary contour,oriented counterclockwise, with the most obvious parameterizationgiven by
Discussion.
The first of the above formulas underscores the “rigidity” ofholomorphic functions. Indeed, the values of the holomorphic functioninside a disk are completely specified by its values on theboundary of the disk. The second formula is useful, because it givesthe derivative
in terms of an integral, rather than as the outcome ofa limit process.
Generalization.
The following technical generalization of the formula is needed forthe treatment of removable singularities. Let be a finite subsetof , and suppose that is holomorphic for all , but also that is bounded
near all . Then, theabove formulas are valid for all .
Using the Cauchy residue theorem, one can further generalize the integral formula to the situation where is any domain and is any closed rectifiable curve in ; in this case, the formula becomes
where denotes the winding number of . It is valid for all points which are not on the curve .