Re (Z) Re (Z)
Re (Z) Re (Z)
an nz _____ _ 4M mRe(z) Re(z0) _ 4M mRe(z1) Re(z0) where M depends only on z0. The claim follows immediately from the M-test and completeness. Since the series f(z) = P1
n=1 an nz converges if we take z 2 R>0 (the well-known alternating series), we have by the lemma that P1 n=1 an nz converges 8Re(z) > 0. We now show that this series is holomorphic on the region fRe(z) > 0g. De_ne a sequence of functions (fN)N2N by fN = XN n=1
( 1)n+1 nz It is clear that fN is holomorphic, being the _nite sum of holomorphic functions. Set = fz 2 C : Re(z) > 0g and let K _ be compact. Since the fN are just the partial sums of the series, we have by the corollary to
the lemma that fN ! f uniformly on K. By Weierstrass's theorem, f is holomorphic in . To see that (1 21 z)_(z) = P1
n=1 an nz on fRe(z) > 1g, observe that (1 21 z) XN n=1
1 nz XN
n=1
( 1)n+1 nz = XN
n=1
1 nz 2 XN
n=1
1 (2n)z XN
n=1
( 1)n+1 nz = 2 X
N<n_2N n is even
1 nz Since