SlideShare a Scribd company logo
NCU Math, Spring 2014: Complex Analysis Homework Solution 6
Text Book: An Introduction to Complex Analysis
Problem. 19.1
Sol:
Without loss of generality, we may assume that Pn(z) =
n
k=0 akzk
where ak ∈ R for all k = 0, · · · , n. Since z0
is a root of Pn(z), we have Pn(z0) = 0. By virtue of ak ∈ R for all k = 0, · · · , n and Pn(z0) = 0, we can get that
Pn(z0) =
n
k=0
ak(z0)k
=
n
k=0
ak(z0)k
=
n
k=0
ak · (z0)k
=
n
k=0
ak(z0)k
=
n
k=0
ak(z0)k
= Pn(z0)
= 0.
Thus z0 is also a root of Pn(z).
Problem. 19.2
Sol:
We dene f(z) = P(z) − Q(z). Then f(z) is a polynomial of degree at most n. Since P(z) and Q(z) agree on
n + 1 distinct points, we can get that P(zk) = Q(zk) for k = 1, · · · , n + 1 and zk = zl if k = l. So z1, · · · , zn+1
are distinct roots of f(z). But if P(z) ≡ Q(z), there are at most n distinct roots of f(z) by Corollary 19.1. This
implies that P(z) ≡ Q(z). Thus P(z) = Q(z) for all z ∈ C.
Problem. 19.3
Sol:
It is easy to see that z = 1 is not a root of Pn(z).
1
Now, we want to show that for all z ∈ C − {±1} with |z| ≤ 1 is not a root of Pn(z). To see this, we assume
that z0 ∈ C − {±1} with |z0| ≤ 1 is a root of Pn(z). If we can nd a contradiction, we have done what we want to
prove. Since z0 is a root of Pn(z), we have |(z0 − 1)Pn(z0)| = 0. But
(z0 − 1)Pn(z0)
=(z0 − 1)(anzn
0 + · · · + a1z0 + a0)
=anzn+1
0 + (an−1 − an)zn
0 + · · · + (a0 − a1)z0 − a0.
We can get that
0 = |(z0 − 1)Pn(z0)|
≥ |a0| − |anzn+1
0 + (an−1 − an)zn
0 + · · · + (a0 − a1)z0| .
This implies that a0 = |a0| = |anzn+1
0 + (an−1 − an)zn
0 + · · · + (a0 − a1)z0|. Because
a0 = anzn+1
0 + (an−1 − an)zn
0 + · · · + (a0 − a1)z0
≤an|z0|n+1
+ (an−1 − an)|z0|n
+ · · · + (a0 − a1)|z0|
≤an + (an−1 − an) + · · · + (a0 − a1)
=a0,
we have that all inequalities must be equalities. Thus z0 ∈ R from the rst equality and |z0| = 1 from the second
equality. We get that z0 = ±1. This leads a contradiction. Therefore we have showed what we want.
Problem. 30.1
Sol:
(a)
Since
f(z) =
ez2
− 1
z
=
∞
k=0
(z2
)k
k! − 1
z
=
∞
k=1
z2k
k!
z
=
∞
k=1
z2k−1
k!
= z
∞
k=0
z2k
(k + 1)!
→ 0 as z → 0,
we can get that z = 0 is a removable singularity of f(z) by Theorem 29.1. Here, we dene f(0) = 0 such that f is
analytic at z = 0.
2
(b)
Since
f(z) =
sin z − z
z2
=
∞
k=0
(−1)k
z2k+1
(2k+1)! − z
z2
=
∞
k=1
(−1)k
z2k+1
(2k+1)!
z2
=
∞
k=0
(−1)k+1
z2k+3
(2k+3)!
z2
=
∞
k=0
(−1)k+1
z2k+1
(2k + 3)!
→ 0 as z → 0,
we can get that z = 0 is a removable singularity of f(z) by Theorem 29.1. Here, we dene f(0) = 0 such that f is
analytic at z = 0.
(c)
Since
f(z) =
1 − 1
2 z2
− cos z
sin z2
=
1 − 1
2 z2
−
∞
k=0
(−1)k
z2k
(2k)!
∞
k=0
(−1)k(z2)2k+1
(2k+1)!
=
−
∞
k=2
(−1)k
z2k
(2k)!
∞
k=0
(−1)kz4k+2
(2k+1)!
=
−
∞
k=0
(−1)k+2
z2k+4
(2k+4)!
z2 ∞
k=0
(−1)kz4k
(2k+1)!
=
−
∞
k=0
(−1)k+2
z2k+2
(2k+4)!
∞
k=0
(−1)kz4k
(2k+1)!
→ 0 as z → 0,
we can get that z = 0 is a removable singularity of f(z) by Theorem 29.1. Here, we dene f(0) = 0 such that f is
analytic at z = 0.
Problem. 30.2
Sol:
3
(a)
For convenience, we dene
f(z) =
cos z
z2−π2
/4
when z = ±π
2 ,
− 1
π when z = ±π
2 .
It is easy to see that f is analytic if z = ±π
2 . Since
cos z
z2 − π2
/4
=
∞
k=0
dk(cos z)
dzk
z= π
2
k! (z − π
2 )k
z2 − π2
/4
=
∞
k=1
dk(cos z)
dzk
z= π
2
k! (z − π
2 )k
z2 − π2
/4
=
∞
k=1
dk(cos z)
dzk
z= π
2
k! (z − π
2 )k−1
z + π/2
→
−1
π
as z →
π
2
,
we can get that z = π
2 is a removable singularity of f(z) by Theorem 29.1 and f is analytic at z = π
2 if f(π
2 ) = −1
π .
So f is analytic at z = π
2 . Similarly,
cos z
z2 − π2
/4
=
∞
k=0
dk(cos z)
dzk
z=− π
2
k! (z + π
2 )k
z2 − π2
/4
=
∞
k=1
dk(cos z)
dzk
z=− π
2
k! (z + π
2 )k
z2 − π2
/4
=
∞
k=1
dk(cos z)
dzk
z=− π
2
k! (z + π
2 )k−1
z − π/2
→
−1
π
as z →
π
2
,
we have that z = −π
2 is a removable singularity of f(z) by Theorem 29.1 and f is analytic at z = −π
2 if f(−π
2 ) = −1
π .
Thus f is analytic at z = −π
2 .
Therefore, f is entire.
4
(b)
For convenience, we dene
g(z) =
ez
−e−z
2z when z = 0,
1 when z = 0.
It is easy to see that g is analytic if z = 0. Since
ez
− e−z
2z
=
∞
k=0
zk
k! −
∞
k=0
(−z)k
k!
2z
=
∞
k=0
zk
−(−1)k
zk
k!
2z
=
2
∞
k=0
z2k+1
(2k+1)!
2z
=
∞
k=0
z2k
(2k + 1)!
→1 as z → 0,
we can get that z = 0 is a removable singularity of g(z) by Theorem 29.1 and g is analytic at z = 0 if g(0) = 1. So
g is analytic at z = 0.
Therefore, g is entire.
Problem. 30.3
Sol:
(a)
It is easy to see that the isolated singularities are 0 and 1.
Since z3
+1
z2(z−1) =
z3+1/z−1
z2 , z3
+1
z−1 is analytic at z = 1, and limz→0
z3
+1
z−1 = −1 = 0, we have z3
+1
z2(z−1) has a pole of
order 2 at z = 0 by Theorem 29.2.
Because z3
+1
z2(z−1) =
z3+1/z2
z−1 , z3
+1
z2 is analytic at z = 0, and limz→1
z3
+1
z2 = 2 = 0, we have z3
+1
z2(z−1) has a pole of
order 1 at z = 1 by Theorem 29.2.
(b)
It is easy to see that the only isolated singularity is 0.
5
Since for z = 0,
z2
e
1/z
= z2
∞
k=0
1
k!
1
zk
= z2
k=0
−∞
1
(−k)!
zk
=
k=0
−∞
1
(−k)!
zk+2
=
k=2
−∞
1
(−k + 2)!
zk
,
we can get that z = 0 is an essential singularity of z2
e1/z
by the denition.
(c)
It is easy to see that the isolated singularities are (2k+1)
2 π for all k ∈ Z.
Since cos z = 0 if z = (2k+1)
2 π for all k ∈ Z and (cos z) = − sin z = (−1)k+1
= 0 if z = (2k+1)
2 π for all k ∈ Z,
we can get that cos z has a zero of order 1 at z = (2k+1)
2 π for all k ∈ Z. We also have z = 0 at z = (2k+1)
2 π for all
k ∈ Z. This implies that z
cos z has a pole of order 1 at z = (2k+1)
2 π for all k ∈ Z by Corollary 29.3.
(d)
It is easy to see that the only isolated singularity is 0.
Since z2
has a zero of order 2 at z = 0 and sin 3z =
∞
k=0
(−1)k
(3z)2k+1
(2k+1)! has a zero of order 1 at z = 0 by Theorem
26.1, we have sin 3z
z2 has a pole of order 1 at z = 0 by Corollary 29.3.
(e)
It is easy to see that the isolated singularities are 0 and ±i.
Since cos 1
z =
∞
k=0
(−1)k
z−2k
(2k)! =
k=0
−∞
(−1)−k
z2k
(−2k)! , we can get that cos 1
z has an essential singularity at z = 0. So
by Theorem 30.1 (Casorati-Weierstrass Theorem), we have
1. there exists a sequence {αn} such that αn → 0 and limn→∞ | cos 1
αn
| = ∞.
2. for any complex number ω, there exists a sequence βn (depending on ω) such that βn → 0 and limn→∞ cos 1
βn
=
−ω
sin 1 .
Because sin(z−1)
z2+1 → − sin 1 as z → 0, we can get that limn→∞ | cos 1
αn
sin(αn−1)
α2
n+1 | = ∞ and limn→∞ cos 1
βn
sin(βn−1)
β2
n+1 =
ω. This implies that cos 1
z
sin(z−1)
z2+1 has an essential singularity at z = 0 by Theorem 30.1 (Casorati-Weierstrass
Theorem).
Since cos 1
z
sin(z−1)
z2+1 =
cos 1
z
sin(z−1)/z+i
z−i , cos 1
z sin(z−1)/z+i is analytic if z = −i and z = 0, and cos 1
z sin(z−1)/z+i|z=i =
cos(−i) sin(i−1)
2i = 0, we can get that cos 1
z
sin(z−1)
z2+1 has a pole of order 1 at z = i by Theorem 29.2.
Similarly, from cos 1
z sin(z−1)/z−i is analytic if z = i and z = 0, cos 1
z sin(z−1)/z−i|z=−i = cos i sin(−i−1)
−2i = 0, and
Theorem 29.2, we have cos 1
z
sin(z−1)
z2+1 =
cos 1
z
sin(z−1)/z−i
z+i has a pole of order 1 at z = −i.
6
(f)
It is easy to see that the isolated singularities are 1
2 , ±i, and k ∈ Z.
Since (z2
−1) cos πz
(z+2)(2z−1)(z2+1)2 sin2 πz
=
(z2−1) cos πz/(z+i)2(z+2)(2z−1) sin2 πz
(z−i)2 , (z2
−1) cos πz/(z+i)2
(z+2)(2z−1) sin2
πz is analytic at
z = i, and (z2
−1) cos πz/(z+i)2
(z+2)(2z−1) sin2
πz
z=i
= −2 cos(iπ)
−4(i+2)(2i−1) sin2(iπ)
= 0, we can get that (z2
−1) cos πz
(z+2)(2z−1)(z2+1)2 sin2 πz
has a pole of order 2 at z = i by Theorem 29.2.
Similarly, from (z2
−1) cos πz/(z−i)2
(z+2)(2z−1) sin2
πz is analytic at z = −i, (z2
−1) cos πz/(z−i)2
(z+2)(2z−1) sin2
πz
z=−i
=
−2 cos(−iπ)
−4(−i+2)(−2i−1) sin2(−iπ)
= 0, and Theorem 29.2, we have (z2
−1) cos πz
(z+2)(2z−1)(z2+1)2 sin2 πz
=
(z2−1) cos πz/(z−i)2(z+2)(2z−1) sin2 πz
(z+i)2
has a pole of order 2 at z = −i.
Because
(z −
1
2
)
(z2
− 1) cos πz
(z + 2)(2z − 1)(z2 + 1)2 sin2
πz
=
(z2
− 1) cos πz
2(z + 2)(z2 + 1)2 sin2
πz
→
(1
4 − 1) · 0
2(1
2 + 2)(1
4 + 1)2 sin2
(π
2 )
= 0 as z →
1
2
,
we can get that z = 1
2 is a removable singularity of (z2
−1) cos πz
(z+2)(2z−1)(z2+1)2 sin2 πz
by Theorem 29.1.
From Example 26.1, we have sin kπ has a zero of order 1 at z = k ∈ Z. By virtue of Corollary 26.1, we can get
that sin2
πz has a zero of order 2 at z = k ∈ Z.
Since z + 2 has a zero of order 1 at z = −2 and sin2
πz has a zero of order 2 at z = k ∈ Z, we can get
that (z + 2) sin2
πz has a zero of order 3 at z = −2. We also have that (z2
−1) cos πz
(2z−1)(z2+1)2 is analytic at z = −2 and
(z2
−1) cos πz
(2z−1)(z2+1)2
z=−2
= (4−1) cos(−2π)
(−4−1)(4+1)2 = 3
−125 = 0. This implies that (z2
−1) cos πz
(z+2)(2z−1)(z2+1)2 sin2 πz
=
(z2−1) cos πz/(2z−1)(z2+1)2
(z+2) sin2 πz
has a pole of order 3 at z = −2 by Corollary 29.3.
From (z+1) cos πz
(z+2)(2z−1)(z2+1)2
z=1
= (1+1) cos π
(1+2)(2−1)(1+1)2 = −2
12 = 0 and (z+1) cos πz
(z+2)(2z−1)(z2+1)2 is analytic at z = 1, we can get
that (z2
−1) cos πz
(z+2)(2z−1)(z2+1)2 = (z − 1) (z+1) cos πz
(z+2)(2z−1)(z2+1)2 has a zero of order 1 at z = 1. By above, sin2
πz has a zero of
order 2 at z = k ∈ Z, and Corollary 29.3, we have z = 1 is a pole of order 1 of (z2
−1) cos πz
(z+2)(2z−1)(z2+1)2 sin2 πz
.
Similarly, we can get that (z2
−1) cos πz
(z+2)(2z−1)(z2+1)2 = (z + 1) (z−1) cos πz
(z+2)(2z−1)(z2+1)2 has a zero of order 1 at z = −1. So
z = −1 is a pole of order 1 of (z2
−1) cos πz
(z+2)(2z−1)(z2+1)2 sin2 πz
by virtue of above, sin2
πz has a zero of order 2 at z = k ∈ Z,
and Corollary 29.3.
Since (z2
−1) cos πz
(z+2)(2z−1)(z2+1)2 is analytic at z = k ∈ Z−{±1, −2}, (z2
−1) cos πz
(z+2)(2z−1)(z2+1)2
z=k
= 0 for all z ∈ Z−{±1, −2},
sin2
πz has a zero of order 2 at z = k ∈ Z, and Corollary 29.3, we have (z2
−1) cos πz
(z+2)(2z−1)(z2+1)2 sin2 πz
has a pole of order
2 at z ∈ Z − {±1, −2}.
Problem. 30.4
Sol:
7
Since f(z) has a pole of order m at z0, we can nd R  0 such that for z ∈ C with 0  |z − z0|  R,
f(z) =
∞
k=−m ak(z − z0)k
where a−m ∈ C − {0}. So we can get that for z ∈ C with 0  |z − z0|  R,
f (z) =
∞
k=−m
kak(z − z0)k−1
=
∞
k=−m−1
(k + 1)ak+1(z − z0)k
.
Then we have f (z) has a pole of order m + 1 at z0 from the denition of singularity.
Problem. 31.1
Sol:
(a)
From Theorem 31.1, we have
R
z3
+ 1
z2(z − 1)
, 0 = lim
z→0
1
1!
d
dz
z2
·
z3
+ 1
z2(z − 1)
= lim
z→0
d
dz
z3
+ 1
z − 1
= lim
z→0
3z2
(z − 1) − (z3
+ 1) · 1
(z − 1)2
= −1.
By virtue of Corollary 31.1, we can get that
R
z3
+ 1
z2(z − 1)
, 1 = lim
z→1
(z − 1) ·
z3
+ 1
z2(z − 1)
= lim
z→1
z3
+ 1
z2
= 2.
(b)
Since for z = 0, z2
e1/z
=
k=2
−∞
1
(−k+2)! zk
, we can get that R z2
e1/z
, 0 = 1
3! = 1
6 by the denition.
(c)
By virtue of Corollary 31.1, we can get that for all k ∈ Z, R z
cos z , (2k+1)
2 π = limz→
(2k+1)
2 π
(z − (2k+1)
2 π) · z
cos z .
Since limz→
(2k+1)
2 π
cos z
z−
(2k+1)
2 π
= − sin z|z=
(2k+1)
2 π
= (−1)k+1
and limz→
(2k+1)
2 π
z = (2k+1)
2 π for all k ∈ Z, we have for
8
all k ∈ Z,
R
z
cos z
,
(2k + 1)
2
π = lim
z→
(2k+1)
2 π
(z −
(2k + 1)
2
π) ·
z
cos z
=
(−1)k+1
(2k + 1)
2
π.
(d)
By virtue of Corollary 31.1, we can get that
R
sin 3z
z2
, 0 = lim
z→0
z ·
sin 3z
z2
= lim
z→0
sin 3z
z
= 3 cos 3z|z=0
= 3.
Problem. 31.2
Sol:
(a)
From Theorem 29.2, z2n
(z+1)n has a pole of order n at z = −1. So by Theorem 31.1, we have
R
z2n
(z + 1)n
, −1 = lim
z→−1
1
(n − 1)!
dn−1
dzn−1
(z + 1)n
·
z2n
(z + 1)n
= lim
z→−1
1
(n − 1)!
dn−1
dzn−1
z2n
= lim
z→−1
2n · (2n − 1) · · · · · (2n − n + 2)
(n − 1)!
z2n−n+1
= C2n
n−1(−1)n+1
.
(b)
9
From Problem 30.3 (e) and Corollary 31.1, we have
R cos
1
z
sin(z − 1)
z2 + 1
, i = lim
z→i
(z − i) · cos
1
z
sin(z − 1)
z2 + 1
= lim
z→i
cos
1
z
sin(z − 1)
z + i
=
cos(−i) sin(i − 1)
2i
=
ei(−i)
+e−i(−i)
2 · ei(i−1)
−e−i(i−1)
2i
2i
=
(e + e−1
) · (e−1−i
− e1+i
)
−8
=
cosh 1 · sinh(1 + i)
2
.
(c)
From Theorem 29.2, cos z
z2(z−π)3 has a pole of order 2 at z = 0. So by Theorem 31.1, we have
R
cos z
z2(z − π)3
, 0 = lim
z→0
1
1!
d
dz
z2
·
cos z
z2(z − π)3
= lim
z→0
d
dz
cos z
(z − π)3
= lim
z→0
−(z − π)3
sin z − 3(z − π)2
cos z
(z − π)6
= −
3
π4
.
(d)
From Theorem 29.2, cos z
z2(z−π)3 has a pole of order 3 at z = π. So by Theorem 31.1, we have
R
cos z
z2(z − π)3
, π = lim
z→π
1
2!
d2
dz2
(z − π)3
·
cos z
z2(z − π)3
=
1
2
lim
z→π
d2
dz2
cos z
z2
=
1
2
lim
z→π
d
dz
−z2
sin z − 2z cos z
z4
=
1
2
lim
z→π
z4
(−2z sin z − z2
cos z − 2 cos z + 2z sin z) − 4z3
(−z2
sin z − 2z cos z)
z8
=
1
2
π4
(π2
+ 2) − 4π3
(2π)
π8
=
π2
− 6
2π4
.
10
(e)
Since
z3
cos
1
z − 2
= (z − 2)3
+ 8(z − 2)2
+ 12(z − 2) + 8 ·
k=0
−∞
(−1)−k
(z − 2)2k
(−2k)!
,
we can get that
R z3
cos
1
z − 2
, 2 = 1 ·
(−1)2
4!
+ 8 · 0 + 12 ·
(−1)1
2!
+ 8 · 0
= −
143
24
by virtue of the denition.
(f)
Since for 0  |z|  1,
e
1
z
z2 + 1
=
1
1 − (−z2)
· e
1
z
=
∞
k=0
(−1)k
z2k
·
∞
k=0
z−k
k!
=
∞
k=0
(−1)k
z2k
·
k=0
−∞
zk
(−k)!
,
we can get that
R
e
1
z
z2 + 1
, 0 =
∞
k=0
(−1)k 1
(2k + 1)!
= sin 1.
by virtue of the denition.
Problem. 31.4
Sol:
(a)
11
It is easy to see that z2
(z−1)2(z+2) has a pole of order 2 at z = 1 and a pole of order of 1 at z = −2. So
R
z2
(z − 1)2(z + 2)
, 1 = lim
z→1
1
1!
d
dz
(z − 1)2
·
z2
(z − 1)2(z + 2)
= lim
z→1
d
dz
z2
(z + 2)
= lim
z→1
2z(z + 2) − z2
(z + 2)2
=
5
9
and
R
z2
(z − 1)2(z + 2)
, −2 = lim
z→−2
(z + 2) ·
z2
(z − 1)2(z + 2)
= lim
z→−2
z2
(z − 1)2
=
4
9
.
From Theorem 31.2, we have
ˆ
γ
z2
(z − 1)2(z + 2)
dz = 2πi R
z2
(z − 1)2(z + 2)
, 1 + R
z2
(z − 1)2(z + 2)
, −2
= 2πi.
(b)
From Theorem 31.2 and z3
(z−2)(z−1−i) is analytic for all |z|  1.5 with z = 1 + i, we have
ˆ
γ
z3
(z − 2)(z − 1 − i)
dz = 2πi · R
z3
(z − 2)(z − 1 − i)
, 1 + i .
It is easy to see that z3
(z−2)(z−1−i) has a pole of order 1 at z = 1 + i. So
R
z3
(z − 2)(z − 1 − i)
, 1 + i = lim
z→1+i
(z − 1 − i) ·
z3
(z − 2)(z − 1 − i)
= lim
z→1+i
z3
(z − 2)
=
(1 + i)3
−1 + i
= 2.
This implies that
´
γ
z3
(z−2)(z−1−i) dz = 4πi.
(c)
12
From Theorem 31.2 and 1
z4−1 is analytic inside γ with z = 1, z = i, and z = −i, we have
ˆ
γ
1
z4 − 1
dz = 2πi · R
1
z4 − 1
, 1 + R
1
z4 − 1
, i + R
1
z4 − 1
, −i .
It is easy to see that 1
z4−1 has a pole of order 1 at z = 1, ±i. So
R
1
z4 − 1
, 1 = lim
z→1
(z − 1) ·
1
z4 − 1
= lim
z→1
1
(z + 1)(z + i)(z − i)
=
1
2(1 + i)(1 − i)
=
1
4
.
Similarly, we can get that R 1
z4−1 , i = 1
(i+1)(i−1)2i = i
4 and R 1
z4−1 , −i = 1
(−i+1)(−i−1)(−2i) = − i
4 . This implies
that
´
γ
1
z4−1 dz = πi
2 .
(d)
From Theorem 31.2 and z
(z2−1)2(z2+1) is analytic inside γ with z = 1, z = i, and z = −i, we have
ˆ
γ
z
(z2 − 1)2(z2 + 1)
dz = 2πi · R
z
(z2 − 1)2(z2 + 1)
, 1 + R
z
(z2 − 1)2(z2 + 1)
, i + R
z
(z2 − 1)2(z2 + 1)
, −i .
It is easy to see that z
(z2−1)2(z2+1) has a pole of order 1 at z = ±i and a pole of order 2 at z = 1. So
R
z
(z2 − 1)2(z2 + 1)
, 1 = lim
z→1
1
1!
d
dz
(z − 1)2
·
z
(z2 − 1)2(z2 + 1)
= lim
z→1
d
dz
z
(z + 1)2(z2 + 1)
= lim
z→1
(z + 1)2
(z2
+ 1) − z(2(z + 1)(z2
+ 1) + 2z(z + 1)2
)
(z + 1)4(z2 + 1)2
=
4 · 2 − (2 · 2 · 2 + 2 · 4)
16 · 4
= −
1
8
.
We can also get that
R
z
(z2 − 1)2(z2 + 1)
, i = lim
z→i
(z − i) ·
z
(z2 − 1)2(z2 + 1)
= lim
z→i
z
(z2 − 1)2(z + i)
=
i
4 · 2i
=
1
8
.
13
Similarly, R z
(z2−1)2(z2+1) , −i = −i
4·(−2i) = 1
8 . This implies that
´
γ
1
z4−1 dz = πi
4 .
(e)
Since for |z|  0, we have
cos(
1
z2
)e
1
z =
∞
k=0
(−1)k
(2k)!
1
z4k
·
∞
k=0
1
k!
1
zk
=
k=0
−∞
(−1)−k
(−2k)!
z−4k
·
k=0
−∞
1
(−k)!
z−k
.
Then we can get that
R cos(
1
z2
)e
1
z , 0 =
(−1)0
0!
·
1
1!
= 1
by the denition. So by Theorem 31.2 and cos( 1
z2 )e
1
z is analytic at z = 0, we have
ˆ
γ
cos(
1
z2
)e
1
z dz = 2πi · R cos(
1
z2
)e
1
z , 0
= 2πi.
(f)
Because tan z = sin z
cos z and cos z has a zero of order 1 at z = (2k+1)
2 π for all k ∈ Z, we can get that for all k ∈ Z,
R tan z,
(2k + 1)
2
π = lim
z→
(2k+1)
2 π
(z −
(2k + 1)
2
π)
sin z
cos z
= lim
z→
(2k+1)
2 π
sin z
cos z
(z−
(2k+1)
2 π)
.
Since limz→
(2k+1)
2 π
sin z = (−1)k
and limz→
(2k+1)
2 π
cos z
(z−
(2k+1)
2 π)
= (− sin z)|z=
(2k+1)
2 π
= (−1)k+1
, we have R tan z, (2k+1)
2 π =
−1 for all k ∈ Z.
From Theorem 31.2, we have
ˆ
γ
tan zdz = 2πi · R tan z,
−π
2
+ R tan z,
π
2
= −4πi.
Problem. 31.5
Sol:
14
Let γ be the circle |z + 1| = 2 that traversed once in the counterclockwise direction. So
´
γ
dz
(z2+z)2 =
−2
´
γ
dz
(z2+z)2 .
It is easy to see that 1
(z2+z)2 = 1
z2(z+1)2 has a pole of order 2 at z = 0 and z = −1. Then
R
1
(z2 + z)2
, 0 = lim
z→0
1
1!
d
dz
z2
·
1
(z2 + z)2
= lim
z→0
d
dz
1
(z + 1)2
= lim
z→0
−2
(z + 1)3
= −2
and
R
1
(z2 + z)2
, −1 = lim
z→−1
1
1!
d
dz
(z + 1)2
·
1
(z2 + z)2
= lim
z→−1
d
dz
1
z2
= lim
z→−1
−2
z3
= 2.
By virtue of Theorem 31.2, we can get that
ˆ
γ
1
(z2 + z)2
dz = 2πi · R
1
(z2 + z)2
, 0 + R
1
(z2 + z)2
, −1
= 0.
This implies that
´
γ
dz
(z2+z)2 = −2
´
γ
dz
(z2+z)2 = 0.
Problem. 31.6
Sol:
Since f has an isolated singularity at 0, we can nd R  0 and ak ∈ C for all k ∈ Z such that f(z) =
∞
k=−∞ akzk
for all 0  |z|  R. Because f is an even function, we have a2j+1 = 0 for all j ∈ Z by Problen 25.7. This implies
that R[f, 0] = a−1 = 0 from the denition.
15

More Related Content

What's hot

last lecture in infinite series
last lecture in infinite serieslast lecture in infinite series
last lecture in infinite series
Alaa Mohammed
 
Fourier 3
Fourier 3Fourier 3
Fourier 3
nugon
 
Higherorder non homogeneous partial differrential equations (Maths 3) Power P...
Higherorder non homogeneous partial differrential equations (Maths 3) Power P...Higherorder non homogeneous partial differrential equations (Maths 3) Power P...
Higherorder non homogeneous partial differrential equations (Maths 3) Power P...
vrajes
 
Chapter 1 (maths 3)
Chapter 1 (maths 3)Chapter 1 (maths 3)
Chapter 1 (maths 3)
Prathab Harinathan
 
Chain rule
Chain ruleChain rule
Chain rule
Sabin Tiger
 
Location of Regions Containing all or Some Zeros of a Polynomial
Location of Regions Containing all or Some Zeros of a PolynomialLocation of Regions Containing all or Some Zeros of a Polynomial
Location of Regions Containing all or Some Zeros of a Polynomial
ijceronline
 
maths
maths maths
maths
sidpatel143
 
International Journal of Engineering Research and Development (IJERD)
International Journal of Engineering Research and Development (IJERD)International Journal of Engineering Research and Development (IJERD)
International Journal of Engineering Research and Development (IJERD)
IJERD Editor
 
The chain rule
The chain ruleThe chain rule
The chain rule
J M
 
Engineering Mathematics - Total derivatives, chain rule and derivative of imp...
Engineering Mathematics - Total derivatives, chain rule and derivative of imp...Engineering Mathematics - Total derivatives, chain rule and derivative of imp...
Engineering Mathematics - Total derivatives, chain rule and derivative of imp...
Jayanshu Gundaniya
 
Legendre
LegendreLegendre
Legendre
dfsolanol
 
Legendre functions
Legendre functionsLegendre functions
Legendre functions
Solo Hermelin
 
Succesive differntiation
Succesive differntiationSuccesive differntiation
Succesive differntiation
JaydevVadachhak
 
Chapter 3 (maths 3)
Chapter 3 (maths 3)Chapter 3 (maths 3)
Chapter 3 (maths 3)
Prathab Harinathan
 
Complex analysis notes
Complex analysis notesComplex analysis notes
Complex analysis notes
Prakash Dabhi
 
HERMITE SERIES
HERMITE SERIESHERMITE SERIES
HERMITE SERIES
MANISH KUMAR
 
Improper integral
Improper integralImproper integral
Mech MA6351 tpde_notes
Mech MA6351 tpde_notes Mech MA6351 tpde_notes
Admissions in India 2015
Admissions in India 2015Admissions in India 2015
Admissions in India 2015
Edhole.com
 
Partial Differential Equation - Notes
Partial Differential Equation - NotesPartial Differential Equation - Notes
Partial Differential Equation - Notes
Dr. Nirav Vyas
 

What's hot (20)

last lecture in infinite series
last lecture in infinite serieslast lecture in infinite series
last lecture in infinite series
 
Fourier 3
Fourier 3Fourier 3
Fourier 3
 
Higherorder non homogeneous partial differrential equations (Maths 3) Power P...
Higherorder non homogeneous partial differrential equations (Maths 3) Power P...Higherorder non homogeneous partial differrential equations (Maths 3) Power P...
Higherorder non homogeneous partial differrential equations (Maths 3) Power P...
 
Chapter 1 (maths 3)
Chapter 1 (maths 3)Chapter 1 (maths 3)
Chapter 1 (maths 3)
 
Chain rule
Chain ruleChain rule
Chain rule
 
Location of Regions Containing all or Some Zeros of a Polynomial
Location of Regions Containing all or Some Zeros of a PolynomialLocation of Regions Containing all or Some Zeros of a Polynomial
Location of Regions Containing all or Some Zeros of a Polynomial
 
maths
maths maths
maths
 
International Journal of Engineering Research and Development (IJERD)
International Journal of Engineering Research and Development (IJERD)International Journal of Engineering Research and Development (IJERD)
International Journal of Engineering Research and Development (IJERD)
 
The chain rule
The chain ruleThe chain rule
The chain rule
 
Engineering Mathematics - Total derivatives, chain rule and derivative of imp...
Engineering Mathematics - Total derivatives, chain rule and derivative of imp...Engineering Mathematics - Total derivatives, chain rule and derivative of imp...
Engineering Mathematics - Total derivatives, chain rule and derivative of imp...
 
Legendre
LegendreLegendre
Legendre
 
Legendre functions
Legendre functionsLegendre functions
Legendre functions
 
Succesive differntiation
Succesive differntiationSuccesive differntiation
Succesive differntiation
 
Chapter 3 (maths 3)
Chapter 3 (maths 3)Chapter 3 (maths 3)
Chapter 3 (maths 3)
 
Complex analysis notes
Complex analysis notesComplex analysis notes
Complex analysis notes
 
HERMITE SERIES
HERMITE SERIESHERMITE SERIES
HERMITE SERIES
 
Improper integral
Improper integralImproper integral
Improper integral
 
Mech MA6351 tpde_notes
Mech MA6351 tpde_notes Mech MA6351 tpde_notes
Mech MA6351 tpde_notes
 
Admissions in India 2015
Admissions in India 2015Admissions in India 2015
Admissions in India 2015
 
Partial Differential Equation - Notes
Partial Differential Equation - NotesPartial Differential Equation - Notes
Partial Differential Equation - Notes
 

Similar to Hw6sol

Hw3sol
Hw3solHw3sol
Hw3sol
uxxdqq
 
535home6
535home6535home6
535home6
janroxa
 
Mac331 complex analysis_mfa_week6_16-10-20 (1)
Mac331 complex analysis_mfa_week6_16-10-20 (1)Mac331 complex analysis_mfa_week6_16-10-20 (1)
Mac331 complex analysis_mfa_week6_16-10-20 (1)
KINGSHUKMUKHERJEE11
 
Maths04
Maths04Maths04
Maths04
sansharmajs
 
complex numbers and functions.PDF
complex numbers and functions.PDFcomplex numbers and functions.PDF
complex numbers and functions.PDF
AlelignAsfaw
 
Hw5sols
Hw5solsHw5sols
Hw5sols
Dulaj Rox
 
Hw4sol
Hw4solHw4sol
Hw4sol
uxxdqq
 
Maths05
Maths05Maths05
Maths05
sansharmajs
 
Advanced Engineering Mathematics Solutions Manual.pdf
Advanced Engineering Mathematics Solutions Manual.pdfAdvanced Engineering Mathematics Solutions Manual.pdf
Advanced Engineering Mathematics Solutions Manual.pdf
Whitney Anderson
 
Antwoorden fourier and laplace transforms, manual solutions
Antwoorden   fourier and laplace transforms, manual solutionsAntwoorden   fourier and laplace transforms, manual solutions
Antwoorden fourier and laplace transforms, manual solutions
Hildemar Alvarez
 
Guia 1
Guia 1Guia 1
Guia 1
CAUCANITO
 
Hw1sol
Hw1solHw1sol
Hw1sol
uxxdqq
 
Complex integration
Complex integrationComplex integration
Complex integration
Santhanam Krishnan
 
2 complex numbers part 2 of 3
2 complex numbers part 2 of 32 complex numbers part 2 of 3
2 complex numbers part 2 of 3
naveenkumar9211
 
Maths 301 key_sem_1_2009_2010
Maths 301 key_sem_1_2009_2010Maths 301 key_sem_1_2009_2010
Maths 301 key_sem_1_2009_2010
Yanbu Industrial College
 
Deber10
Deber10Deber10

Similar to Hw6sol (16)

Hw3sol
Hw3solHw3sol
Hw3sol
 
535home6
535home6535home6
535home6
 
Mac331 complex analysis_mfa_week6_16-10-20 (1)
Mac331 complex analysis_mfa_week6_16-10-20 (1)Mac331 complex analysis_mfa_week6_16-10-20 (1)
Mac331 complex analysis_mfa_week6_16-10-20 (1)
 
Maths04
Maths04Maths04
Maths04
 
complex numbers and functions.PDF
complex numbers and functions.PDFcomplex numbers and functions.PDF
complex numbers and functions.PDF
 
Hw5sols
Hw5solsHw5sols
Hw5sols
 
Hw4sol
Hw4solHw4sol
Hw4sol
 
Maths05
Maths05Maths05
Maths05
 
Advanced Engineering Mathematics Solutions Manual.pdf
Advanced Engineering Mathematics Solutions Manual.pdfAdvanced Engineering Mathematics Solutions Manual.pdf
Advanced Engineering Mathematics Solutions Manual.pdf
 
Antwoorden fourier and laplace transforms, manual solutions
Antwoorden   fourier and laplace transforms, manual solutionsAntwoorden   fourier and laplace transforms, manual solutions
Antwoorden fourier and laplace transforms, manual solutions
 
Guia 1
Guia 1Guia 1
Guia 1
 
Hw1sol
Hw1solHw1sol
Hw1sol
 
Complex integration
Complex integrationComplex integration
Complex integration
 
2 complex numbers part 2 of 3
2 complex numbers part 2 of 32 complex numbers part 2 of 3
2 complex numbers part 2 of 3
 
Maths 301 key_sem_1_2009_2010
Maths 301 key_sem_1_2009_2010Maths 301 key_sem_1_2009_2010
Maths 301 key_sem_1_2009_2010
 
Deber10
Deber10Deber10
Deber10
 

Recently uploaded

The simplified electron and muon model, Oscillating Spacetime: The Foundation...
The simplified electron and muon model, Oscillating Spacetime: The Foundation...The simplified electron and muon model, Oscillating Spacetime: The Foundation...
The simplified electron and muon model, Oscillating Spacetime: The Foundation...
RitikBhardwaj56
 
Cognitive Development Adolescence Psychology
Cognitive Development Adolescence PsychologyCognitive Development Adolescence Psychology
Cognitive Development Adolescence Psychology
paigestewart1632
 
Community pharmacy- Social and preventive pharmacy UNIT 5
Community pharmacy- Social and preventive pharmacy UNIT 5Community pharmacy- Social and preventive pharmacy UNIT 5
Community pharmacy- Social and preventive pharmacy UNIT 5
sayalidalavi006
 
World environment day ppt For 5 June 2024
World environment day ppt For 5 June 2024World environment day ppt For 5 June 2024
World environment day ppt For 5 June 2024
ak6969907
 
clinical examination of hip joint (1).pdf
clinical examination of hip joint (1).pdfclinical examination of hip joint (1).pdf
clinical examination of hip joint (1).pdf
Priyankaranawat4
 
The Diamonds of 2023-2024 in the IGRA collection
The Diamonds of 2023-2024 in the IGRA collectionThe Diamonds of 2023-2024 in the IGRA collection
The Diamonds of 2023-2024 in the IGRA collection
Israel Genealogy Research Association
 
MARY JANE WILSON, A “BOA MÃE” .
MARY JANE WILSON, A “BOA MÃE”           .MARY JANE WILSON, A “BOA MÃE”           .
MARY JANE WILSON, A “BOA MÃE” .
Colégio Santa Teresinha
 
How to Make a Field Mandatory in Odoo 17
How to Make a Field Mandatory in Odoo 17How to Make a Field Mandatory in Odoo 17
How to Make a Field Mandatory in Odoo 17
Celine George
 
Azure Interview Questions and Answers PDF By ScholarHat
Azure Interview Questions and Answers PDF By ScholarHatAzure Interview Questions and Answers PDF By ScholarHat
Azure Interview Questions and Answers PDF By ScholarHat
Scholarhat
 
ANATOMY AND BIOMECHANICS OF HIP JOINT.pdf
ANATOMY AND BIOMECHANICS OF HIP JOINT.pdfANATOMY AND BIOMECHANICS OF HIP JOINT.pdf
ANATOMY AND BIOMECHANICS OF HIP JOINT.pdf
Priyankaranawat4
 
writing about opinions about Australia the movie
writing about opinions about Australia the moviewriting about opinions about Australia the movie
writing about opinions about Australia the movie
Nicholas Montgomery
 
Pengantar Penggunaan Flutter - Dart programming language1.pptx
Pengantar Penggunaan Flutter - Dart programming language1.pptxPengantar Penggunaan Flutter - Dart programming language1.pptx
Pengantar Penggunaan Flutter - Dart programming language1.pptx
Fajar Baskoro
 
PIMS Job Advertisement 2024.pdf Islamabad
PIMS Job Advertisement 2024.pdf IslamabadPIMS Job Advertisement 2024.pdf Islamabad
PIMS Job Advertisement 2024.pdf Islamabad
AyyanKhan40
 
BÀI TẬP BỔ TRỢ TIẾNG ANH 8 CẢ NĂM - GLOBAL SUCCESS - NĂM HỌC 2023-2024 (CÓ FI...
BÀI TẬP BỔ TRỢ TIẾNG ANH 8 CẢ NĂM - GLOBAL SUCCESS - NĂM HỌC 2023-2024 (CÓ FI...BÀI TẬP BỔ TRỢ TIẾNG ANH 8 CẢ NĂM - GLOBAL SUCCESS - NĂM HỌC 2023-2024 (CÓ FI...
BÀI TẬP BỔ TRỢ TIẾNG ANH 8 CẢ NĂM - GLOBAL SUCCESS - NĂM HỌC 2023-2024 (CÓ FI...
Nguyen Thanh Tu Collection
 
BBR 2024 Summer Sessions Interview Training
BBR  2024 Summer Sessions Interview TrainingBBR  2024 Summer Sessions Interview Training
BBR 2024 Summer Sessions Interview Training
Katrina Pritchard
 
Smart-Money for SMC traders good time and ICT
Smart-Money for SMC traders good time and ICTSmart-Money for SMC traders good time and ICT
Smart-Money for SMC traders good time and ICT
simonomuemu
 
What is Digital Literacy? A guest blog from Andy McLaughlin, University of Ab...
What is Digital Literacy? A guest blog from Andy McLaughlin, University of Ab...What is Digital Literacy? A guest blog from Andy McLaughlin, University of Ab...
What is Digital Literacy? A guest blog from Andy McLaughlin, University of Ab...
GeorgeMilliken2
 
How to Build a Module in Odoo 17 Using the Scaffold Method
How to Build a Module in Odoo 17 Using the Scaffold MethodHow to Build a Module in Odoo 17 Using the Scaffold Method
How to Build a Module in Odoo 17 Using the Scaffold Method
Celine George
 
Hindi varnamala | hindi alphabet PPT.pdf
Hindi varnamala | hindi alphabet PPT.pdfHindi varnamala | hindi alphabet PPT.pdf
Hindi varnamala | hindi alphabet PPT.pdf
Dr. Mulla Adam Ali
 
How to Add Chatter in the odoo 17 ERP Module
How to Add Chatter in the odoo 17 ERP ModuleHow to Add Chatter in the odoo 17 ERP Module
How to Add Chatter in the odoo 17 ERP Module
Celine George
 

Recently uploaded (20)

The simplified electron and muon model, Oscillating Spacetime: The Foundation...
The simplified electron and muon model, Oscillating Spacetime: The Foundation...The simplified electron and muon model, Oscillating Spacetime: The Foundation...
The simplified electron and muon model, Oscillating Spacetime: The Foundation...
 
Cognitive Development Adolescence Psychology
Cognitive Development Adolescence PsychologyCognitive Development Adolescence Psychology
Cognitive Development Adolescence Psychology
 
Community pharmacy- Social and preventive pharmacy UNIT 5
Community pharmacy- Social and preventive pharmacy UNIT 5Community pharmacy- Social and preventive pharmacy UNIT 5
Community pharmacy- Social and preventive pharmacy UNIT 5
 
World environment day ppt For 5 June 2024
World environment day ppt For 5 June 2024World environment day ppt For 5 June 2024
World environment day ppt For 5 June 2024
 
clinical examination of hip joint (1).pdf
clinical examination of hip joint (1).pdfclinical examination of hip joint (1).pdf
clinical examination of hip joint (1).pdf
 
The Diamonds of 2023-2024 in the IGRA collection
The Diamonds of 2023-2024 in the IGRA collectionThe Diamonds of 2023-2024 in the IGRA collection
The Diamonds of 2023-2024 in the IGRA collection
 
MARY JANE WILSON, A “BOA MÃE” .
MARY JANE WILSON, A “BOA MÃE”           .MARY JANE WILSON, A “BOA MÃE”           .
MARY JANE WILSON, A “BOA MÃE” .
 
How to Make a Field Mandatory in Odoo 17
How to Make a Field Mandatory in Odoo 17How to Make a Field Mandatory in Odoo 17
How to Make a Field Mandatory in Odoo 17
 
Azure Interview Questions and Answers PDF By ScholarHat
Azure Interview Questions and Answers PDF By ScholarHatAzure Interview Questions and Answers PDF By ScholarHat
Azure Interview Questions and Answers PDF By ScholarHat
 
ANATOMY AND BIOMECHANICS OF HIP JOINT.pdf
ANATOMY AND BIOMECHANICS OF HIP JOINT.pdfANATOMY AND BIOMECHANICS OF HIP JOINT.pdf
ANATOMY AND BIOMECHANICS OF HIP JOINT.pdf
 
writing about opinions about Australia the movie
writing about opinions about Australia the moviewriting about opinions about Australia the movie
writing about opinions about Australia the movie
 
Pengantar Penggunaan Flutter - Dart programming language1.pptx
Pengantar Penggunaan Flutter - Dart programming language1.pptxPengantar Penggunaan Flutter - Dart programming language1.pptx
Pengantar Penggunaan Flutter - Dart programming language1.pptx
 
PIMS Job Advertisement 2024.pdf Islamabad
PIMS Job Advertisement 2024.pdf IslamabadPIMS Job Advertisement 2024.pdf Islamabad
PIMS Job Advertisement 2024.pdf Islamabad
 
BÀI TẬP BỔ TRỢ TIẾNG ANH 8 CẢ NĂM - GLOBAL SUCCESS - NĂM HỌC 2023-2024 (CÓ FI...
BÀI TẬP BỔ TRỢ TIẾNG ANH 8 CẢ NĂM - GLOBAL SUCCESS - NĂM HỌC 2023-2024 (CÓ FI...BÀI TẬP BỔ TRỢ TIẾNG ANH 8 CẢ NĂM - GLOBAL SUCCESS - NĂM HỌC 2023-2024 (CÓ FI...
BÀI TẬP BỔ TRỢ TIẾNG ANH 8 CẢ NĂM - GLOBAL SUCCESS - NĂM HỌC 2023-2024 (CÓ FI...
 
BBR 2024 Summer Sessions Interview Training
BBR  2024 Summer Sessions Interview TrainingBBR  2024 Summer Sessions Interview Training
BBR 2024 Summer Sessions Interview Training
 
Smart-Money for SMC traders good time and ICT
Smart-Money for SMC traders good time and ICTSmart-Money for SMC traders good time and ICT
Smart-Money for SMC traders good time and ICT
 
What is Digital Literacy? A guest blog from Andy McLaughlin, University of Ab...
What is Digital Literacy? A guest blog from Andy McLaughlin, University of Ab...What is Digital Literacy? A guest blog from Andy McLaughlin, University of Ab...
What is Digital Literacy? A guest blog from Andy McLaughlin, University of Ab...
 
How to Build a Module in Odoo 17 Using the Scaffold Method
How to Build a Module in Odoo 17 Using the Scaffold MethodHow to Build a Module in Odoo 17 Using the Scaffold Method
How to Build a Module in Odoo 17 Using the Scaffold Method
 
Hindi varnamala | hindi alphabet PPT.pdf
Hindi varnamala | hindi alphabet PPT.pdfHindi varnamala | hindi alphabet PPT.pdf
Hindi varnamala | hindi alphabet PPT.pdf
 
How to Add Chatter in the odoo 17 ERP Module
How to Add Chatter in the odoo 17 ERP ModuleHow to Add Chatter in the odoo 17 ERP Module
How to Add Chatter in the odoo 17 ERP Module
 

Hw6sol

  • 1. NCU Math, Spring 2014: Complex Analysis Homework Solution 6 Text Book: An Introduction to Complex Analysis Problem. 19.1 Sol: Without loss of generality, we may assume that Pn(z) = n k=0 akzk where ak ∈ R for all k = 0, · · · , n. Since z0 is a root of Pn(z), we have Pn(z0) = 0. By virtue of ak ∈ R for all k = 0, · · · , n and Pn(z0) = 0, we can get that Pn(z0) = n k=0 ak(z0)k = n k=0 ak(z0)k = n k=0 ak · (z0)k = n k=0 ak(z0)k = n k=0 ak(z0)k = Pn(z0) = 0. Thus z0 is also a root of Pn(z). Problem. 19.2 Sol: We dene f(z) = P(z) − Q(z). Then f(z) is a polynomial of degree at most n. Since P(z) and Q(z) agree on n + 1 distinct points, we can get that P(zk) = Q(zk) for k = 1, · · · , n + 1 and zk = zl if k = l. So z1, · · · , zn+1 are distinct roots of f(z). But if P(z) ≡ Q(z), there are at most n distinct roots of f(z) by Corollary 19.1. This implies that P(z) ≡ Q(z). Thus P(z) = Q(z) for all z ∈ C. Problem. 19.3 Sol: It is easy to see that z = 1 is not a root of Pn(z). 1
  • 2. Now, we want to show that for all z ∈ C − {±1} with |z| ≤ 1 is not a root of Pn(z). To see this, we assume that z0 ∈ C − {±1} with |z0| ≤ 1 is a root of Pn(z). If we can nd a contradiction, we have done what we want to prove. Since z0 is a root of Pn(z), we have |(z0 − 1)Pn(z0)| = 0. But (z0 − 1)Pn(z0) =(z0 − 1)(anzn 0 + · · · + a1z0 + a0) =anzn+1 0 + (an−1 − an)zn 0 + · · · + (a0 − a1)z0 − a0. We can get that 0 = |(z0 − 1)Pn(z0)| ≥ |a0| − |anzn+1 0 + (an−1 − an)zn 0 + · · · + (a0 − a1)z0| . This implies that a0 = |a0| = |anzn+1 0 + (an−1 − an)zn 0 + · · · + (a0 − a1)z0|. Because a0 = anzn+1 0 + (an−1 − an)zn 0 + · · · + (a0 − a1)z0 ≤an|z0|n+1 + (an−1 − an)|z0|n + · · · + (a0 − a1)|z0| ≤an + (an−1 − an) + · · · + (a0 − a1) =a0, we have that all inequalities must be equalities. Thus z0 ∈ R from the rst equality and |z0| = 1 from the second equality. We get that z0 = ±1. This leads a contradiction. Therefore we have showed what we want. Problem. 30.1 Sol: (a) Since f(z) = ez2 − 1 z = ∞ k=0 (z2 )k k! − 1 z = ∞ k=1 z2k k! z = ∞ k=1 z2k−1 k! = z ∞ k=0 z2k (k + 1)! → 0 as z → 0, we can get that z = 0 is a removable singularity of f(z) by Theorem 29.1. Here, we dene f(0) = 0 such that f is analytic at z = 0. 2
  • 3. (b) Since f(z) = sin z − z z2 = ∞ k=0 (−1)k z2k+1 (2k+1)! − z z2 = ∞ k=1 (−1)k z2k+1 (2k+1)! z2 = ∞ k=0 (−1)k+1 z2k+3 (2k+3)! z2 = ∞ k=0 (−1)k+1 z2k+1 (2k + 3)! → 0 as z → 0, we can get that z = 0 is a removable singularity of f(z) by Theorem 29.1. Here, we dene f(0) = 0 such that f is analytic at z = 0. (c) Since f(z) = 1 − 1 2 z2 − cos z sin z2 = 1 − 1 2 z2 − ∞ k=0 (−1)k z2k (2k)! ∞ k=0 (−1)k(z2)2k+1 (2k+1)! = − ∞ k=2 (−1)k z2k (2k)! ∞ k=0 (−1)kz4k+2 (2k+1)! = − ∞ k=0 (−1)k+2 z2k+4 (2k+4)! z2 ∞ k=0 (−1)kz4k (2k+1)! = − ∞ k=0 (−1)k+2 z2k+2 (2k+4)! ∞ k=0 (−1)kz4k (2k+1)! → 0 as z → 0, we can get that z = 0 is a removable singularity of f(z) by Theorem 29.1. Here, we dene f(0) = 0 such that f is analytic at z = 0. Problem. 30.2 Sol: 3
  • 4. (a) For convenience, we dene f(z) = cos z z2−π2 /4 when z = ±π 2 , − 1 π when z = ±π 2 . It is easy to see that f is analytic if z = ±π 2 . Since cos z z2 − π2 /4 = ∞ k=0 dk(cos z) dzk z= π 2 k! (z − π 2 )k z2 − π2 /4 = ∞ k=1 dk(cos z) dzk z= π 2 k! (z − π 2 )k z2 − π2 /4 = ∞ k=1 dk(cos z) dzk z= π 2 k! (z − π 2 )k−1 z + π/2 → −1 π as z → π 2 , we can get that z = π 2 is a removable singularity of f(z) by Theorem 29.1 and f is analytic at z = π 2 if f(π 2 ) = −1 π . So f is analytic at z = π 2 . Similarly, cos z z2 − π2 /4 = ∞ k=0 dk(cos z) dzk z=− π 2 k! (z + π 2 )k z2 − π2 /4 = ∞ k=1 dk(cos z) dzk z=− π 2 k! (z + π 2 )k z2 − π2 /4 = ∞ k=1 dk(cos z) dzk z=− π 2 k! (z + π 2 )k−1 z − π/2 → −1 π as z → π 2 , we have that z = −π 2 is a removable singularity of f(z) by Theorem 29.1 and f is analytic at z = −π 2 if f(−π 2 ) = −1 π . Thus f is analytic at z = −π 2 . Therefore, f is entire. 4
  • 5. (b) For convenience, we dene g(z) = ez −e−z 2z when z = 0, 1 when z = 0. It is easy to see that g is analytic if z = 0. Since ez − e−z 2z = ∞ k=0 zk k! − ∞ k=0 (−z)k k! 2z = ∞ k=0 zk −(−1)k zk k! 2z = 2 ∞ k=0 z2k+1 (2k+1)! 2z = ∞ k=0 z2k (2k + 1)! →1 as z → 0, we can get that z = 0 is a removable singularity of g(z) by Theorem 29.1 and g is analytic at z = 0 if g(0) = 1. So g is analytic at z = 0. Therefore, g is entire. Problem. 30.3 Sol: (a) It is easy to see that the isolated singularities are 0 and 1. Since z3 +1 z2(z−1) = z3+1/z−1 z2 , z3 +1 z−1 is analytic at z = 1, and limz→0 z3 +1 z−1 = −1 = 0, we have z3 +1 z2(z−1) has a pole of order 2 at z = 0 by Theorem 29.2. Because z3 +1 z2(z−1) = z3+1/z2 z−1 , z3 +1 z2 is analytic at z = 0, and limz→1 z3 +1 z2 = 2 = 0, we have z3 +1 z2(z−1) has a pole of order 1 at z = 1 by Theorem 29.2. (b) It is easy to see that the only isolated singularity is 0. 5
  • 6. Since for z = 0, z2 e 1/z = z2 ∞ k=0 1 k! 1 zk = z2 k=0 −∞ 1 (−k)! zk = k=0 −∞ 1 (−k)! zk+2 = k=2 −∞ 1 (−k + 2)! zk , we can get that z = 0 is an essential singularity of z2 e1/z by the denition. (c) It is easy to see that the isolated singularities are (2k+1) 2 π for all k ∈ Z. Since cos z = 0 if z = (2k+1) 2 π for all k ∈ Z and (cos z) = − sin z = (−1)k+1 = 0 if z = (2k+1) 2 π for all k ∈ Z, we can get that cos z has a zero of order 1 at z = (2k+1) 2 π for all k ∈ Z. We also have z = 0 at z = (2k+1) 2 π for all k ∈ Z. This implies that z cos z has a pole of order 1 at z = (2k+1) 2 π for all k ∈ Z by Corollary 29.3. (d) It is easy to see that the only isolated singularity is 0. Since z2 has a zero of order 2 at z = 0 and sin 3z = ∞ k=0 (−1)k (3z)2k+1 (2k+1)! has a zero of order 1 at z = 0 by Theorem 26.1, we have sin 3z z2 has a pole of order 1 at z = 0 by Corollary 29.3. (e) It is easy to see that the isolated singularities are 0 and ±i. Since cos 1 z = ∞ k=0 (−1)k z−2k (2k)! = k=0 −∞ (−1)−k z2k (−2k)! , we can get that cos 1 z has an essential singularity at z = 0. So by Theorem 30.1 (Casorati-Weierstrass Theorem), we have 1. there exists a sequence {αn} such that αn → 0 and limn→∞ | cos 1 αn | = ∞. 2. for any complex number ω, there exists a sequence βn (depending on ω) such that βn → 0 and limn→∞ cos 1 βn = −ω sin 1 . Because sin(z−1) z2+1 → − sin 1 as z → 0, we can get that limn→∞ | cos 1 αn sin(αn−1) α2 n+1 | = ∞ and limn→∞ cos 1 βn sin(βn−1) β2 n+1 = ω. This implies that cos 1 z sin(z−1) z2+1 has an essential singularity at z = 0 by Theorem 30.1 (Casorati-Weierstrass Theorem). Since cos 1 z sin(z−1) z2+1 = cos 1 z sin(z−1)/z+i z−i , cos 1 z sin(z−1)/z+i is analytic if z = −i and z = 0, and cos 1 z sin(z−1)/z+i|z=i = cos(−i) sin(i−1) 2i = 0, we can get that cos 1 z sin(z−1) z2+1 has a pole of order 1 at z = i by Theorem 29.2. Similarly, from cos 1 z sin(z−1)/z−i is analytic if z = i and z = 0, cos 1 z sin(z−1)/z−i|z=−i = cos i sin(−i−1) −2i = 0, and Theorem 29.2, we have cos 1 z sin(z−1) z2+1 = cos 1 z sin(z−1)/z−i z+i has a pole of order 1 at z = −i. 6
  • 7. (f) It is easy to see that the isolated singularities are 1 2 , ±i, and k ∈ Z. Since (z2 −1) cos πz (z+2)(2z−1)(z2+1)2 sin2 πz = (z2−1) cos πz/(z+i)2(z+2)(2z−1) sin2 πz (z−i)2 , (z2 −1) cos πz/(z+i)2 (z+2)(2z−1) sin2 πz is analytic at z = i, and (z2 −1) cos πz/(z+i)2 (z+2)(2z−1) sin2 πz z=i = −2 cos(iπ) −4(i+2)(2i−1) sin2(iπ) = 0, we can get that (z2 −1) cos πz (z+2)(2z−1)(z2+1)2 sin2 πz has a pole of order 2 at z = i by Theorem 29.2. Similarly, from (z2 −1) cos πz/(z−i)2 (z+2)(2z−1) sin2 πz is analytic at z = −i, (z2 −1) cos πz/(z−i)2 (z+2)(2z−1) sin2 πz z=−i = −2 cos(−iπ) −4(−i+2)(−2i−1) sin2(−iπ) = 0, and Theorem 29.2, we have (z2 −1) cos πz (z+2)(2z−1)(z2+1)2 sin2 πz = (z2−1) cos πz/(z−i)2(z+2)(2z−1) sin2 πz (z+i)2 has a pole of order 2 at z = −i. Because (z − 1 2 ) (z2 − 1) cos πz (z + 2)(2z − 1)(z2 + 1)2 sin2 πz = (z2 − 1) cos πz 2(z + 2)(z2 + 1)2 sin2 πz → (1 4 − 1) · 0 2(1 2 + 2)(1 4 + 1)2 sin2 (π 2 ) = 0 as z → 1 2 , we can get that z = 1 2 is a removable singularity of (z2 −1) cos πz (z+2)(2z−1)(z2+1)2 sin2 πz by Theorem 29.1. From Example 26.1, we have sin kπ has a zero of order 1 at z = k ∈ Z. By virtue of Corollary 26.1, we can get that sin2 πz has a zero of order 2 at z = k ∈ Z. Since z + 2 has a zero of order 1 at z = −2 and sin2 πz has a zero of order 2 at z = k ∈ Z, we can get that (z + 2) sin2 πz has a zero of order 3 at z = −2. We also have that (z2 −1) cos πz (2z−1)(z2+1)2 is analytic at z = −2 and (z2 −1) cos πz (2z−1)(z2+1)2 z=−2 = (4−1) cos(−2π) (−4−1)(4+1)2 = 3 −125 = 0. This implies that (z2 −1) cos πz (z+2)(2z−1)(z2+1)2 sin2 πz = (z2−1) cos πz/(2z−1)(z2+1)2 (z+2) sin2 πz has a pole of order 3 at z = −2 by Corollary 29.3. From (z+1) cos πz (z+2)(2z−1)(z2+1)2 z=1 = (1+1) cos π (1+2)(2−1)(1+1)2 = −2 12 = 0 and (z+1) cos πz (z+2)(2z−1)(z2+1)2 is analytic at z = 1, we can get that (z2 −1) cos πz (z+2)(2z−1)(z2+1)2 = (z − 1) (z+1) cos πz (z+2)(2z−1)(z2+1)2 has a zero of order 1 at z = 1. By above, sin2 πz has a zero of order 2 at z = k ∈ Z, and Corollary 29.3, we have z = 1 is a pole of order 1 of (z2 −1) cos πz (z+2)(2z−1)(z2+1)2 sin2 πz . Similarly, we can get that (z2 −1) cos πz (z+2)(2z−1)(z2+1)2 = (z + 1) (z−1) cos πz (z+2)(2z−1)(z2+1)2 has a zero of order 1 at z = −1. So z = −1 is a pole of order 1 of (z2 −1) cos πz (z+2)(2z−1)(z2+1)2 sin2 πz by virtue of above, sin2 πz has a zero of order 2 at z = k ∈ Z, and Corollary 29.3. Since (z2 −1) cos πz (z+2)(2z−1)(z2+1)2 is analytic at z = k ∈ Z−{±1, −2}, (z2 −1) cos πz (z+2)(2z−1)(z2+1)2 z=k = 0 for all z ∈ Z−{±1, −2}, sin2 πz has a zero of order 2 at z = k ∈ Z, and Corollary 29.3, we have (z2 −1) cos πz (z+2)(2z−1)(z2+1)2 sin2 πz has a pole of order 2 at z ∈ Z − {±1, −2}. Problem. 30.4 Sol: 7
  • 8. Since f(z) has a pole of order m at z0, we can nd R 0 such that for z ∈ C with 0 |z − z0| R, f(z) = ∞ k=−m ak(z − z0)k where a−m ∈ C − {0}. So we can get that for z ∈ C with 0 |z − z0| R, f (z) = ∞ k=−m kak(z − z0)k−1 = ∞ k=−m−1 (k + 1)ak+1(z − z0)k . Then we have f (z) has a pole of order m + 1 at z0 from the denition of singularity. Problem. 31.1 Sol: (a) From Theorem 31.1, we have R z3 + 1 z2(z − 1) , 0 = lim z→0 1 1! d dz z2 · z3 + 1 z2(z − 1) = lim z→0 d dz z3 + 1 z − 1 = lim z→0 3z2 (z − 1) − (z3 + 1) · 1 (z − 1)2 = −1. By virtue of Corollary 31.1, we can get that R z3 + 1 z2(z − 1) , 1 = lim z→1 (z − 1) · z3 + 1 z2(z − 1) = lim z→1 z3 + 1 z2 = 2. (b) Since for z = 0, z2 e1/z = k=2 −∞ 1 (−k+2)! zk , we can get that R z2 e1/z , 0 = 1 3! = 1 6 by the denition. (c) By virtue of Corollary 31.1, we can get that for all k ∈ Z, R z cos z , (2k+1) 2 π = limz→ (2k+1) 2 π (z − (2k+1) 2 π) · z cos z . Since limz→ (2k+1) 2 π cos z z− (2k+1) 2 π = − sin z|z= (2k+1) 2 π = (−1)k+1 and limz→ (2k+1) 2 π z = (2k+1) 2 π for all k ∈ Z, we have for 8
  • 9. all k ∈ Z, R z cos z , (2k + 1) 2 π = lim z→ (2k+1) 2 π (z − (2k + 1) 2 π) · z cos z = (−1)k+1 (2k + 1) 2 π. (d) By virtue of Corollary 31.1, we can get that R sin 3z z2 , 0 = lim z→0 z · sin 3z z2 = lim z→0 sin 3z z = 3 cos 3z|z=0 = 3. Problem. 31.2 Sol: (a) From Theorem 29.2, z2n (z+1)n has a pole of order n at z = −1. So by Theorem 31.1, we have R z2n (z + 1)n , −1 = lim z→−1 1 (n − 1)! dn−1 dzn−1 (z + 1)n · z2n (z + 1)n = lim z→−1 1 (n − 1)! dn−1 dzn−1 z2n = lim z→−1 2n · (2n − 1) · · · · · (2n − n + 2) (n − 1)! z2n−n+1 = C2n n−1(−1)n+1 . (b) 9
  • 10. From Problem 30.3 (e) and Corollary 31.1, we have R cos 1 z sin(z − 1) z2 + 1 , i = lim z→i (z − i) · cos 1 z sin(z − 1) z2 + 1 = lim z→i cos 1 z sin(z − 1) z + i = cos(−i) sin(i − 1) 2i = ei(−i) +e−i(−i) 2 · ei(i−1) −e−i(i−1) 2i 2i = (e + e−1 ) · (e−1−i − e1+i ) −8 = cosh 1 · sinh(1 + i) 2 . (c) From Theorem 29.2, cos z z2(z−π)3 has a pole of order 2 at z = 0. So by Theorem 31.1, we have R cos z z2(z − π)3 , 0 = lim z→0 1 1! d dz z2 · cos z z2(z − π)3 = lim z→0 d dz cos z (z − π)3 = lim z→0 −(z − π)3 sin z − 3(z − π)2 cos z (z − π)6 = − 3 π4 . (d) From Theorem 29.2, cos z z2(z−π)3 has a pole of order 3 at z = π. So by Theorem 31.1, we have R cos z z2(z − π)3 , π = lim z→π 1 2! d2 dz2 (z − π)3 · cos z z2(z − π)3 = 1 2 lim z→π d2 dz2 cos z z2 = 1 2 lim z→π d dz −z2 sin z − 2z cos z z4 = 1 2 lim z→π z4 (−2z sin z − z2 cos z − 2 cos z + 2z sin z) − 4z3 (−z2 sin z − 2z cos z) z8 = 1 2 π4 (π2 + 2) − 4π3 (2π) π8 = π2 − 6 2π4 . 10
  • 11. (e) Since z3 cos 1 z − 2 = (z − 2)3 + 8(z − 2)2 + 12(z − 2) + 8 · k=0 −∞ (−1)−k (z − 2)2k (−2k)! , we can get that R z3 cos 1 z − 2 , 2 = 1 · (−1)2 4! + 8 · 0 + 12 · (−1)1 2! + 8 · 0 = − 143 24 by virtue of the denition. (f) Since for 0 |z| 1, e 1 z z2 + 1 = 1 1 − (−z2) · e 1 z = ∞ k=0 (−1)k z2k · ∞ k=0 z−k k! = ∞ k=0 (−1)k z2k · k=0 −∞ zk (−k)! , we can get that R e 1 z z2 + 1 , 0 = ∞ k=0 (−1)k 1 (2k + 1)! = sin 1. by virtue of the denition. Problem. 31.4 Sol: (a) 11
  • 12. It is easy to see that z2 (z−1)2(z+2) has a pole of order 2 at z = 1 and a pole of order of 1 at z = −2. So R z2 (z − 1)2(z + 2) , 1 = lim z→1 1 1! d dz (z − 1)2 · z2 (z − 1)2(z + 2) = lim z→1 d dz z2 (z + 2) = lim z→1 2z(z + 2) − z2 (z + 2)2 = 5 9 and R z2 (z − 1)2(z + 2) , −2 = lim z→−2 (z + 2) · z2 (z − 1)2(z + 2) = lim z→−2 z2 (z − 1)2 = 4 9 . From Theorem 31.2, we have ˆ γ z2 (z − 1)2(z + 2) dz = 2πi R z2 (z − 1)2(z + 2) , 1 + R z2 (z − 1)2(z + 2) , −2 = 2πi. (b) From Theorem 31.2 and z3 (z−2)(z−1−i) is analytic for all |z| 1.5 with z = 1 + i, we have ˆ γ z3 (z − 2)(z − 1 − i) dz = 2πi · R z3 (z − 2)(z − 1 − i) , 1 + i . It is easy to see that z3 (z−2)(z−1−i) has a pole of order 1 at z = 1 + i. So R z3 (z − 2)(z − 1 − i) , 1 + i = lim z→1+i (z − 1 − i) · z3 (z − 2)(z − 1 − i) = lim z→1+i z3 (z − 2) = (1 + i)3 −1 + i = 2. This implies that ´ γ z3 (z−2)(z−1−i) dz = 4πi. (c) 12
  • 13. From Theorem 31.2 and 1 z4−1 is analytic inside γ with z = 1, z = i, and z = −i, we have ˆ γ 1 z4 − 1 dz = 2πi · R 1 z4 − 1 , 1 + R 1 z4 − 1 , i + R 1 z4 − 1 , −i . It is easy to see that 1 z4−1 has a pole of order 1 at z = 1, ±i. So R 1 z4 − 1 , 1 = lim z→1 (z − 1) · 1 z4 − 1 = lim z→1 1 (z + 1)(z + i)(z − i) = 1 2(1 + i)(1 − i) = 1 4 . Similarly, we can get that R 1 z4−1 , i = 1 (i+1)(i−1)2i = i 4 and R 1 z4−1 , −i = 1 (−i+1)(−i−1)(−2i) = − i 4 . This implies that ´ γ 1 z4−1 dz = πi 2 . (d) From Theorem 31.2 and z (z2−1)2(z2+1) is analytic inside γ with z = 1, z = i, and z = −i, we have ˆ γ z (z2 − 1)2(z2 + 1) dz = 2πi · R z (z2 − 1)2(z2 + 1) , 1 + R z (z2 − 1)2(z2 + 1) , i + R z (z2 − 1)2(z2 + 1) , −i . It is easy to see that z (z2−1)2(z2+1) has a pole of order 1 at z = ±i and a pole of order 2 at z = 1. So R z (z2 − 1)2(z2 + 1) , 1 = lim z→1 1 1! d dz (z − 1)2 · z (z2 − 1)2(z2 + 1) = lim z→1 d dz z (z + 1)2(z2 + 1) = lim z→1 (z + 1)2 (z2 + 1) − z(2(z + 1)(z2 + 1) + 2z(z + 1)2 ) (z + 1)4(z2 + 1)2 = 4 · 2 − (2 · 2 · 2 + 2 · 4) 16 · 4 = − 1 8 . We can also get that R z (z2 − 1)2(z2 + 1) , i = lim z→i (z − i) · z (z2 − 1)2(z2 + 1) = lim z→i z (z2 − 1)2(z + i) = i 4 · 2i = 1 8 . 13
  • 14. Similarly, R z (z2−1)2(z2+1) , −i = −i 4·(−2i) = 1 8 . This implies that ´ γ 1 z4−1 dz = πi 4 . (e) Since for |z| 0, we have cos( 1 z2 )e 1 z = ∞ k=0 (−1)k (2k)! 1 z4k · ∞ k=0 1 k! 1 zk = k=0 −∞ (−1)−k (−2k)! z−4k · k=0 −∞ 1 (−k)! z−k . Then we can get that R cos( 1 z2 )e 1 z , 0 = (−1)0 0! · 1 1! = 1 by the denition. So by Theorem 31.2 and cos( 1 z2 )e 1 z is analytic at z = 0, we have ˆ γ cos( 1 z2 )e 1 z dz = 2πi · R cos( 1 z2 )e 1 z , 0 = 2πi. (f) Because tan z = sin z cos z and cos z has a zero of order 1 at z = (2k+1) 2 π for all k ∈ Z, we can get that for all k ∈ Z, R tan z, (2k + 1) 2 π = lim z→ (2k+1) 2 π (z − (2k + 1) 2 π) sin z cos z = lim z→ (2k+1) 2 π sin z cos z (z− (2k+1) 2 π) . Since limz→ (2k+1) 2 π sin z = (−1)k and limz→ (2k+1) 2 π cos z (z− (2k+1) 2 π) = (− sin z)|z= (2k+1) 2 π = (−1)k+1 , we have R tan z, (2k+1) 2 π = −1 for all k ∈ Z. From Theorem 31.2, we have ˆ γ tan zdz = 2πi · R tan z, −π 2 + R tan z, π 2 = −4πi. Problem. 31.5 Sol: 14
  • 15. Let γ be the circle |z + 1| = 2 that traversed once in the counterclockwise direction. So ´ γ dz (z2+z)2 = −2 ´ γ dz (z2+z)2 . It is easy to see that 1 (z2+z)2 = 1 z2(z+1)2 has a pole of order 2 at z = 0 and z = −1. Then R 1 (z2 + z)2 , 0 = lim z→0 1 1! d dz z2 · 1 (z2 + z)2 = lim z→0 d dz 1 (z + 1)2 = lim z→0 −2 (z + 1)3 = −2 and R 1 (z2 + z)2 , −1 = lim z→−1 1 1! d dz (z + 1)2 · 1 (z2 + z)2 = lim z→−1 d dz 1 z2 = lim z→−1 −2 z3 = 2. By virtue of Theorem 31.2, we can get that ˆ γ 1 (z2 + z)2 dz = 2πi · R 1 (z2 + z)2 , 0 + R 1 (z2 + z)2 , −1 = 0. This implies that ´ γ dz (z2+z)2 = −2 ´ γ dz (z2+z)2 = 0. Problem. 31.6 Sol: Since f has an isolated singularity at 0, we can nd R 0 and ak ∈ C for all k ∈ Z such that f(z) = ∞ k=−∞ akzk for all 0 |z| R. Because f is an even function, we have a2j+1 = 0 for all j ∈ Z by Problen 25.7. This implies that R[f, 0] = a−1 = 0 from the denition. 15