MATH 5423 Homework 5 Daniel McLaury 3.13 One direction follows directly from the Cauchy estimates.

For the other, assume with1 out loss of generality that M < and consider the (complex) function

g (z ) =
k=0

1 dk f (0)z k . k ! dxk

1 By Cauchy-Hadamard, this converges on D(0, M ). If we denote the partial sums of g 1 ) we have by gn , then for x D(0, M

f (x) gk (x) =

1 dk+1 f (c)xk+1 (k + 1)! dxk+1

1 , M

1 . By hypothesis, then, f (x) gk (x) M k+1 xk+1 . Since |x| < for some |c| < M goes to zero as k , so f (x) = g (x). But g was analytic by construction.

this

3.21 For > 0, take n Z such that >

1 2n

> 0, and note that for each z D(0, 1)

j 2j

2 z
j =n+1

j 2j

j =n+1

|2 z |
j =n+1

|2j | = 2n < ;

in other words, the series is uniformly Cauchy on D(0, 1). Consequently f is continuous on D(0, 1) and holomorphic on D(0, 1). Now

f (z ) =
j =0
N

2 2z

j j 2j 1

=
j =0

z2

j 1

Suppose that w2 = 1 for some N Z and 0 < r < 1. Then

N 1 2j 1

f (rw) =
j =0

(rw)

2j 1

=
j =0 2j

(rw)
1

+
j =N 1

(rw)2

j 1

=C+
j =N

2j 1

w w
j 1

=C +w

r2
j =N

j 1

(w2 )2

j N

= C + w1
j =N

r2

It is clear that limr1 f (rw) diverges. Suppose f were the restriction of some holomorphic function on some connected open set E D(0, 1). Then E would contain some point of the unit circle, and thus some arc. But each arc of the unit circle contains a 2N -th root of unity, at which f cannot possibly be dierentiable. So f does not have such a holomorphic extension.

Page 1 of 2

MATH 5423 Homework 5 Daniel McLaury 3.26 fk (x) = k cos(kx), so fk (0) = k as k , and of course this applies just as well on the real line in the complex plane. The sequence fk is not constrained by any Cauchy estimates because the complex sine function behaves exponentially on the imaginary axis, and thus (fk ) does not converge on any open set in C. 3.30 Since f is entire, its Taylor series at z = P ,

f (z ) =
k=0

kf 1 (P ) (z P )k , k z k!

converges at z = P + 1. Therefore, we must have, at a minimum, that lim 1 kf (P ) = 0. k z k! 1 kf (P ) k z k!

This in turn implies that C = sup

k 0

is some nite real number; clearly, C has the desired property. 3.37 Since (pj ) converges uniformly on compact sets, the limit function p is holomorphic, and for n N we have np n pj ( z ) (z ). 0= z n z n by Corollary 3.5.2 in the text. So p has a power series expansion which converges everywhere and doesnt have any terms of order greater than N ; that is, p is a polynomial of degree at most N . 3.48 This is obviously false, as the zero function is holomorphic and any nonempty open subset is uncountable. However, we can show that this is the only counterexample it follows from Bolzano-Weierstra that an uncountable set has a limit point. Theorem 3.6.1 from the text then implies that a holomorphic function with uncountably many zeros is in fact identically zero. 3.49 Write ez = u + iv ; then u(x, y ) = ex cos y and v (x, y ) = ex sin y , so we have
u x u x v y

= ex cos y,
u y

u y

= ex sin y,

v x

= ex sin y,

v y

= ex cos y.

So

and

v = x for all x, y R. Therefore ez is entire.

Page 2 of 2