hmwk3 Sol
hmwk3 Sol
1. For each of the following four functions find all the singularities and for
each singularity identify its nature (removable, pole, essential). For poles
find the order and principal part.
cos(z) cos(πn) 1
lim (z − πn) z
= nπ
= nπ
z→πn sin(z)(e − 1) cos(πn)(e − 1) e −1
cos(z) cos(2πni)
lim (z − 2πni) z
= = −i coth(2πn)
z→2πni sin(z)(e − 1) sin(2πni)
For the pole of order 2 at z = 0 you can get the principal part by plugging
in power series for the various functions and doing enough of the division to
get the z −2 and z −1 terms. The principal part is z −2 − 21 z −1 .
1
2. In class we showed that the gamma function Γ(z) can be analytically
continued to the complex plane minus the points 0, −1, −2, −3, · · ·. Show
that this function has simple poles at 0, −1, −2, −3, · · · and the residue of
the pole at −n is (−1)n /n!.
Solution: What we did in class showed that Γ(z) can be analytically contin-
ued to the complex plane minus the points 0, −1, −2, −3, · · ·, and it satisfies
Γ(z) = Γ(z + 1)/z on this domain. By a straightforward induction agrument
it satisfies
Γ(z + n + 1)
Γ(z) =
z(z + 1)(z + 2) · · · (z + n)
on this domain. Now consider this equation for z in U = {z : 0 < |z+n| < 1},
a deleted neighborhood of −n. On U, Re(z + n + 1) > 0, so Γ(z + n + 1)
is analytic on U. Clearly 1/(z + k) is analytic on U. So the above equation
says Γ(z) = g(z)/(z + n) where g(z) is analytic on U. Thus the pole at −n
is simple and the residue is g(−n). Since Γ(1) = 1, the residue is
1 (−1)n
g(−n) = =
(−n)(−n + 1)(−n + 2) · · · (−n + n − 1) n!
zdz
Z
−4i 2 2
γ (z + 2az + 1)
√
where γ is the unit circle.
√ There are poles at −a ± a2 − 1. Since a > 1,
2
only the pole at −a + a − 1 is inside circle. The zero in the denominator
is of order 2, so the pole is second order. So its residue is given by
√
√ 2 − 1)2 z
d (z + a − a
Res(−a + a2 − 1) =
dz (z 2 + 2az + 1)2 √
2
z=a− a −1
d z a
= √ =
dz (z + a + a − 1) z=a− a2 −1 4(a − 1)3/2
2 2 √ 2
2
4. (a) If f (z) has an isolated singularity at z0 , prove that exp(f (z)) cannot
have a pole there.
3
This implies that the singularity of exp(f (z)) is either a pole or removable.
By (a) it cannot be a pole, so it is removable. From part (a) we know that
exp(f (z)) can have a removable singularity only if f (z) has a removable
singularity.
5. This is problem 14 on p. 105 in the book and you can find a hint there.
Prove that if f (z) is entire and injective (one to one), then there are complex
constants a 6= 0, b such that f (z) = az + b.
Solution: Since f is entire it has a power series about the origin that con-
verges on the entire complex plane. First suppose this power series is a
polynomial P (z). If P (z) has two or more distince roots, then it is not in-
jective since is sends two different numbers to 0. So it must have a single
root of order n where n is the degree of P . So P (z) = c(z − z0 )n . But then
z0 + exp(ik2π/n) for k = 0, 1, · · · , n − 1 all get mapped to the same image.
So n can only be 1. So P (z) is linear az + b and clearly a cannot be zero.
Now suppose f is not a polynomial. Then g(z) = f (1/z) has an essential
singularity at 0. By Casorati-Weierstrass theorem g maps {z : 0 < |z| < r}
to a dense subset of C for all r > 0. Now pick a point w0 such that that
f (w0 ) 6= 0. Then take r = |f (w0 )|/2. By the density, we can find a sequence
zn with 0 < |zn | < 1 such that g(zn ) converges to f (w0 ). Since the sequence
zn is bounded, it has a convergent subsequence znk converges to some w.
Note that |w| ≤ r/2. By continuity g(w) = f (w0 ). So f (1/w) = f (w0 ).
Since f is injective, 1/w = w0 . But |w0 | = r and |w| ≤ r/2, a contradiction.
4
|P (f (z)) − P (g(z))| < ǫ. The properties on A imply that P (g(z)) ∈ A. So
this completes the proof.
Solution: I assume r ≥ 1. The changes for the other case of r < 1 are minor.
Let γ1 Rbe the contour that is the line segment from 1 to r: γ1 (t) = t, 1 ≤ t ≤ r.
Then γ1 dz/z is log(r).
Let γ2 be the contour that is the subarc of the circle of radius r from r
to reiθ . So γ2 (t) = reit , 0 ≤ t ≤ θ. Then
θ θ
dz γ2′ (t)
Z Z Z
= dt = idt = iθ
γ2 z 0 γ2 (t) 0