28.02.2013 Views

Math 411: Honours Complex Variables - University of Alberta

Math 411: Honours Complex Variables - University of Alberta

Math 411: Honours Complex Variables - University of Alberta

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!