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.

20 CHAPTER 3. POWER SERIES<br />

Fix z ∈ BR(0) and let r ∈ (0,R) be such that z ∈ Br(0). Note that<br />

�<br />

f(w)−f(z) Sn(w)−Sn(z)<br />

−g(z) = −S<br />

w −z w−z<br />

′ �<br />

n(z) +(S ′ n(z)−g(z))+ Rn(w)−Rn(z)<br />

w−z<br />

for all w ∈ BR(0)\{z}. We shall see that each <strong>of</strong> the three summands on the righthand<br />

side <strong>of</strong> this equation has modulus less than ǫ<br />

, provided that n is sufficiently<br />

3<br />

large and w is sufficiently close to z.<br />

We start with the last summand. First, note that<br />

Rn(w)−Rn(z)<br />

w −z<br />

for all w ∈ BR(0)\{z} and also that<br />

� �<br />

� �<br />

� �<br />

� � =<br />

�<br />

� k� �<br />

�<br />

�<br />

w k −z k<br />

w −z<br />

j=1<br />

=<br />

w k−j z j−1<br />

∞�<br />

k=n+1<br />

�<br />

�<br />

�<br />

�<br />

� ≤<br />

k�<br />

j=1<br />

w<br />

ak<br />

k −zk w −z<br />

|w| k−j |z| j−1 ≤ kr k−1<br />

for all w ∈ Br(0)\{z}. Since r < R, we have �∞ k=1k|ak|r k−1 < ∞. Consequently,<br />

there exists n1 ∈ N such that �∞ k=n+1k|ak|r k−1 < ǫ<br />

3 for all n ≥ n1 and therefore<br />

� �<br />

�<br />

�<br />

Rn(w)−Rn(z) �<br />

�<br />

� w−z � =<br />

�<br />

�<br />

�<br />

�<br />

�<br />

∞�<br />

k=n+1<br />

ak<br />

w k −z k<br />

w −z<br />

�<br />

�<br />

�<br />

�<br />

� ≤<br />

∞�<br />

k=n+1<br />

k|ak|r k−1 < ǫ<br />

3<br />

for all n ≥ n1 and all w ∈ Br(0)\{z}.<br />

For the second summand, just note that lim S<br />

n→∞ ′ n(z) = g(z); consequently, there<br />

exists n2 ∈ N such that |S ′ ǫ<br />

n (z)−g(z)|< for all n ≥ n2.<br />

3<br />

For the first summand, fix n ≥ max{n1,n2}. Since<br />

Sn(w)−Sn(z)<br />

lim<br />

w→z w −z<br />

there exists δ ∈ (0,r) such that<br />

�<br />

�<br />

�<br />

Sn(w)−Sn(z)<br />

� w−z<br />

−S ′ n (z)<br />

= S ′ n (z),<br />

for all w ∈ Bδ(z) ⊂ Br(0)\{z}. Consequently, we obtain for all w ∈ Bδ(z)\{z} that<br />

� �<br />

�<br />

�<br />

f(w)−f(z) �<br />

� −g(z) �<br />

w−z � ≤<br />

�<br />

�<br />

�<br />

Sn(w)−Sn(z)<br />

� −S<br />

w −z<br />

′ n (z)<br />

�<br />

�<br />

�<br />

� +|S′ n (z)−g(z)|+<br />

� �<br />

�<br />

�<br />

Rn(w)−Rn(z) �<br />

�<br />

ǫ<br />

� w−z � <<br />

3 +ǫ<br />

3 +ǫ = ǫ.<br />

3<br />

�<br />

�<br />

�<br />

�<br />

< ǫ<br />

3<br />

Since ǫ > 0 was arbitrary, we see that f ′ (z) exists and equals g(z).

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

Saved successfully!

Ooh no, something went wrong!