Fall 2013 - Problem 5

normal families

Let {fn}n\set{f_n}_n be a sequence of holomorphic functions on D\D and suppose that

Dfn(z)dλ(z)1\int_\D \abs{f_n\p{z}} \,\diff\lambda\p{z} \leq 1

for all nNn \in \N, where dλ\diff\lambda denotes integration with respect to Lebesgue measure λ\lambda on C\C. Show that then there exists a subsequence {fnk}k\set{f_{n_k}}_k that converges uniformly on all compact subsets of D\D.

Solution.

Suppose B(z,r)D\cl{B\p{z, r}} \subseteq \D. Then by the mean value property

fn(z)1πr2B(z,r)fn(ζ)dλ(ζ)1πr2.\begin{aligned} \abs{f_n\p{z}} &\leq \frac{1}{\pi r^2} \int_{B\p{z, r}} \abs{f_n\p{\zeta}} \,\diff\lambda\p{\zeta} \\ &\leq \frac{1}{\pi r^2}. \end{aligned}

Thus, if K=B(0,R)K = \cl{B\p{0, R}} for 0<R<10 < R < 1, then let δ=12d(K,Dc)>0\delta = \frac{1}{2}d\p{K, \D^\comp} > 0 so that B(z,δ)D\cl{B\p{z, \delta}} \subseteq \D for any zKz \in K. Hence,

fn(z)1πδ2,\abs{f_n\p{z}} \leq \frac{1}{\pi \delta^2},

so {fn}n\set{f_n}_n form a normal family. Thus, there exists a subsequence which converges locally uniformly on D\D, which completes the proof.