Lemma

You might also like

Download as pdf or txt
Download as pdf or txt
You are on page 1of 2

CONVERGENCE TO HOLOMORPHIC FUNCTION ON

JOE STAHL

1. Lemma Let C be an open subset of C and let {fn } be a sequence of functions that are holomorphic n=1 on . Suppose also that for all K , K compact, the sequence converges uniformly and absolutely on K. Then for all z , f (z) := limn fn (z) exists and the function f is holomorphic on . Proof. Given C open and {fn } = {un + ivn } absolutely and uniformly convergent on n=1 n=1 compact K , suppose that for all n Z+ the partials of un and vn satisfy the Cauchy-Riemann equations, and fn is continuous (for all z ). That is, for all n Z+ , fn is holomorphic on . Since {fn } is uniformly convergent on K, {un } and {vn } are real valued, uniformly convergent sequences of functions on Re(K) and Im(K), respectively. By denition, un (x + x, y) un (x, y) un = lim . x0 x x Using this as a basis, dene for x R+ , z = x + iy K, n Z+ , un (x + x, y) un (x, y) , x y x y and dene Un (z), Vn (z), and Vn (z) similarly. Note that
x Un (z) := x0 x lim Un (z) =

un x

and
n x lim Un (z) =

u(x + x, y) u(x, y) x

Then for all z K, u x u y lim lim Un (z) = y0 n y u x lim lim Vn (z) = x0 n x u y lim lim Vn (z) = y0 n y
x0 n x lim lim Un (z) =

We also have
n x0 x lim lim Un (z) = lim

un n x

By the Cauchy-Riemann equations,


x0 x y lim Un (z) = lim Vn (z) y0

y0

lim

y Un (z)

x = lim Vn (z) x0 1

JOE STAHL

x for all n Z+ . Since Un (z) and the other functions converge uniformly on K, x0 n x x lim lim Un (z) = lim lim Un (z) n x0

Then
x0 x y lim Un (z) = lim Vn (z) y0 x Un (z) x Un (z) x Un (z) y = lim lim Vn (z) n y0 y = lim lim Vn (z) n y0 y0 n y = lim lim Vn (z)

n x0 x0 n x0 n u x v y

lim lim

lim lim

lim lim

v = and in the same manner u = x , so f satises the Cauchy-Riemann Which implies y + equations on K. Also, since fn is continuous for all n Z (being holomorphic), f is also continuous (on ) (the uniform limit of continuous functions is continuous). Then f is holomorphic on K. Taking the union of all K , we see that f is holomorphic on .

You might also like