Math 411: Honours Complex Variables - University of Alberta
Math 411: Honours Complex Variables - University of Alberta
Math 411: Honours Complex Variables - University of Alberta
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Chapter 11<br />
The General Cauchy Integral<br />
Theorem<br />
Definition. Let D ⊂ C be open. We call a closed curve γ in D homologous to zero<br />
if ν(γ,z) = 0 for each z ∈ C\D. That is, the interior <strong>of</strong> γ is a subset <strong>of</strong> D.<br />
Definition. An open connected subset D <strong>of</strong> C is simply connected if every closed<br />
curve in D is homologous to zero. Equivalently, the interior <strong>of</strong> every closed curve in<br />
D is a subset <strong>of</strong> D.<br />
Theorem 11.1 (Cauchy’s Integral Formula). Let D ⊂ C be open, let f : D → C be<br />
holomorphic, and let γ be a closed curve in D that is homologous to zero. Then, for<br />
n ∈ N0 and z ∈ D \{γ}, we have<br />
ν(γ,z)f (n) (z) = n!<br />
�<br />
2πi γ<br />
f(ζ)<br />
dζ.<br />
(ζ −z) n+1<br />
Pro<strong>of</strong>. It is enough to prove the claim for n = 0: for n ≥ 1, differentiate the integral<br />
with respect to z and use induction.<br />
Define<br />
g: D ×D → C, (w,z) ↦→<br />
� f(w)−f(z)<br />
w−z , w �= z,<br />
f ′ (z), w = z.<br />
We claim that g is continuous. To see this, let (w0,z0) ∈ D × D. As g is clearly<br />
continuous at (w0,z0) if w0 �= z0, we need only show that g is continuous at (z0,z0).<br />
Given ǫ > 0, choose δ > 0 small enough that Bδ[z0] ⊂ D and |f ′ (z) −f ′ (z0)|< ǫ for<br />
all z ∈ Bδ[z0]. For (w,z) ∈ Bδ(z0)×Bδ(z0) we find:<br />
• if w = z:<br />
|g(w,z)−g(z0,z0)|= |f ′ (z)−f ′ (z0)|< ǫ;<br />
68