SOLUTION TO QUIZ #5

April 4, 2017

Please let me know if there are any mistakes. Note that this is ONE of the possible solutions.

2017.04.04 Quiz #5
1.1 (10pt) Let f : C \ {0, 1} → C be defined as
1
f (z) = .
z 2 (1 − z)
(a) Find its Laurent series expansion near 0 on {0 < |z| < 1}.
(b) Find its Laurent series expansion near 0 on {|z| > 1}.

Solution)
(a) For 0 < |z| < 1, we have
1 1 1 X
f (z) = 2
= 2 (1 + z + z 2 + · · · ) = zn
z 1−z z
n≥−2

(b) For |z| > 1, we have | z1 | < 1 and

1 z 1 1 1 1 1 X
f (z) = =− 3 1 =− (1 + + + · · · ) = −z n
z3 1 − z z 1− z
z3 z z2
n≤−3

1.2 (10pt) Let D be a domain in C. For a continuous function f on D, suppose that

Z
f (z)dz = 0
C

for any closed contour C in D. Does f necessarily analytic on D? Justify your answer.

Solution) Indeed, f is analytic (This theorem is called Morera’s Theorem). Theorem in Section 48 states that the above
condition on contour integrals is equivalent to f having an antiderivative F on D i.e., f = F 0 . The Cauchy’s integral
formula for higher derivatives indicates that derivative of an analytic function is also analytic. Thus f is analytic, since F
is analytic and F 0 = f .

1.3 (10pt) State Liouville’s Theorem.

Solution) A bounded entire function is constant. This can be deduced by Cauchy’s inequality.