Lecture-9 Ved Tatar
Lecture-9 Ved Tatar
VED V. DATAR∗
Proof. (1) For each j ∈ {1, · · · , k}, there exist a radius rj > 0 and a
nowhere vanishing holomorphic function gj : Drj (pj ) → C such that
for all z ∈ Drj (pj ),
f (z) = (z − pj )nj gj (z).
We can choose rj small enough so that the discs
have mutually dis-
k
joint closures. Let U := D \ ∪j=1 Drj /2 (pj ) . Define the function
gj (z)
Πi6=j (z−pi )ni , z ∈ Drj (pj ) where j = 1, · · · , k
g(z) :=
f (z) nj , z ∈ U.
Πj (z−pj )
But this is true for all triangles in D, and hence by Morera’s theorem f is
holomorphic in D and in particular at a. Since a is arbitrary, this shows
that f is holomorphic on Ω.
We prove that fn0 → f 0 compactly. For k > 1, the result will follow from
induction. There is no loss of generality in assuming that Ω ⊂ C is compact.
First we define
Ωr = {z ∈ Ω | Dr (z) ⊂ Ω}.
5
Geometrically, this is the set of all points in Ω that are at least a distance
r away from the boundary of Ω. Given any compact set K, there exists
a r > 0 such that K ⊂ Ωr , and hence it suffices to show that fn0 → f 0
uniformly on Ωr . The key point is the following estimate.
Claim 1. Let F : Ω → C be holomorphic. Then for any r > 0,
2
sup |F 0 (ζ)| ≤ sup |F (ζ)|.
z∈Ωr r ζ∈Ωr/2
First notice that if z ∈ Ωr then Dr/2 (z) ⊂ Ωr . To see this, let w ∈ Dr/2 (z)
i.e. |z − w| ≤ r/2, and we need to show that w ∈ Ωr/2 or equivalently that
Dr/2 (w) ⊂ Ω. But for any w0 ∈ Dr/2 (w), |w0 − w| ≤ r/2 and hence by
the triangle inequality |w0 − z| ≤ r, that is w0 ∈ Dr (z) which is contained
in Ω by definition, since z ∈ Ωr . This shows that Dr/2 (w) ⊂ Ω and hence
that Dr/2 (z) ⊂ Ωr/2 . Now by Cauchy’s integral formula, if we denote the
boundary of Dr (z) by Cr (z), then for any z ∈ Ω2r ,
Z
0 1 F (ζ)
F (z) = dζ.
2πi Cr/2 (z) (ζ − z)2
By the above observation, if z ∈ Ωr then Cr/2 (z) ⊂ Ωr/2 , and hence by
triangle inequality, for all z ∈ Ωr , since |ζ − z| = r/2 for ζ ∈ Cr/2 (z) we have
1
|F 0 (z)| ≤ sup |F (ζ)|len(Cr/2 (z))
2πr2 ζ∈Cr/2 (z)
2
≤ sup |F (ζ)|
r ζ∈Ωr
This proves the claim. Now given any ε > 0, since Ωr/2 ⊂ Ω is compact (re-
member we are assuming without any loss of generality that Ω is bounded),
there exists an N = N (r, ε) such that for all n > N and all ζ ∈ Ωr/2 ,
εr
|fn (ζ) − f (ζ)| < .
2
But then by the claim, for n > N and for all z ∈ Ωr , we have the estimate
2 εr
|f (z) − fn (z)| ≤ · = ε,
r 2
proving that fn → f uniformly on Ωr , and this completes the proof of the
theorem.
Recall that Weiestrass’ theorem states that any continuous function on
a compact interval is the uniform limit of polynomials. On the other, by
the above theorem, a continuous non-holomorphic function cannot be the
uniform limit of polynomials. Instead we have the following, which we state
without a proof.
6
Theorem 4 (Runge’s thoerem). Let K ⊂ C and let f be a function that is
holomorphic in a neighbourhood of K.
u.c
(1) There exists a sequence of rational functions Rn (z) such that Rn −−→
f on K, and such that the singularities of the rational functions all
lie in K c .
(2) If K c is connected, then one there exists a sequence of polynomials
u.c
pn (z) such that pn −−→ f .