Cauchy Integral Formula for the Winding Number lemma
Let be a piecewise closed path
Let be a point not in the image of thenWinding number of around is given by
Proof
If then write
where is continuous and existence of is guaranteed by Existence of a Continuous Argument
So
as
General Cauchy Integral Formula for the Winding Number
Let be an open set in
Let be a closed pathIf is a continuous function on then
is analytic in
Particularly if then is a continuous function on
Since it is integer-valued then it is constant on connected components ofProof
By translation, assume
Since is open, there exists some such that
For and then
Since is compact then
Hence
By Weierstrass M-test then series
is viewed as a function of converges uniformly on to
Hence for all then
Thus is given by a power series in and hence analytic and holomorphic
Finally, if then as is integer-valued then
It must be constant on any connected component of as required
Derivatives of the General Cauchy Integral Formula
Let
at for some continuous function then
Cauchy Formula for Multiple Curves corollary
Let be a bounded domain with piecewise boundary with finitely many components
Let be a function holomorphic in the closure ofParametrise each boundary component of by contour such that
Hence the outer boundary is positively oriented (counter clockwise)
So the inner components are negatively oriented (clockwise)Denoting
then
and
Proof
Idea of proof is to add a few cuts that avoid and connect inner boundary components to each other and to the outer boundary in such a way that without those extra curves is simply connected
Let be the boundary of the domain
Apply Cauchy’s Integral Formula to soAs curve is made up of boundary components in the right orientation and cuts
where appear twice with different orientations so the integral cancels out
Taylor Series for Holomorphic Functions corollary
Let be a function
If is holomorphic on open set then for any then
and the Taylor Series converges on any open disk centred at lying in
Derivatives of at are given by
for any where is such that
Note that the integral formulae for the derivatives of are also referred to as Cauchy’s Integral Formulae
Follows from
