Académique Documents
Professionnel Documents
Culture Documents
IN
COMPLEX
VARIABLE THEORY
JAN G.KRZYZ
PROBLEMS
IN
COMPLEX
VARIABLE THEORY
JAN G.KRZYZ
I-
I
. '-,-"
'
- ....
.. :,''\,
PROBLEMS IN
COMPLEX VARIABLE
THEORY
by
JAN G. KRZYZ
197 1
AMERICAN ELSEVIER PUBLISHING COMPANY, INC.
52 Vanderbilt Avenue, New York, N.Y. 10017
I'RINTliIl IN (,OI.AND
To the memory of
M ieczyslaw Biernacki
Contents
Foreword xiii
Notation xv
PROBLEMS
1. Complex Numbers. Linear Transformations
1.1. Sets and Sequences of Complex Numbers . 3
1.2. Spherical Representation . 8
1.3. Similarity Transformations 10
1.4. Linear Transformations . 11
1.5. Symmetry . . . . . . . 12
1.6. Conformal Mappings Realized by Linear Transformations 13
1.7. Invariant Points of Linear Transformations 14
1.8. Hyperbolic Geometry [3], [21] . . . . . 16
2. Regularity Conditions. Elementary Functions
2.1. Continuity. Differentiability . . . . . . 19
2.2. Harmonic Functions . . . . . . 21
2.3. Geometrical Interpretation of the Derivative. 23
2.4. Conformal Mappings Connected with w = Z2 24
2.5. The Mapping w = +(Z+Z-l) . . . . . . . . 25
2.6. The Exponential Function and the Logarithm 27
2.7. The Trigonometric and Hyperbolic Functions 28
2.8. Inverse Trigonometric and Hyperbolic Functions . 30
2.9. Conformal Mapping of Circular Wedges. 30
3. Complex Integration
3.1. Line Integrals. The Index [I], [10] 33
3.2. Cauchy's Theorem and Cauchy's Integral Formula . 38
3.3. Isolated Singularities 41
3.4. Evaluation of Residues. . . . . . . . . 43
3.5. The Residue Theorem . . . . . . . . . 45
3.6. Evaluation of Definite Integrals Involving Trigonometric Functions 48
3.7. Integrals over an Infinite Interval . . . . . 49
3.8. Integration of Many-Valued Functions [21] . 52
3.9. The Argument Principle. Rouche's Theorem. 54
4. Sequences and Series of Analytic Functions
4.1. Almost Uniform Convergence 57
4.2. Power Series . . . . . . . . . . 58
Ix
x CONTENTS
SOLUTIONS
1. Complex Numbers. Linear Transformations . 141
2. Regularity Conditions. Elementary Functions 155
3. Complex Integration. . . . . . . . . . . 168
4. Sequences and Series of Analytic Functions 191
5. Meromorphic and Entire Functions . . . 212
6. The Maximum Principle ...... . 224
7. Analytic Continuation. Elliptic Functions 229
8. The Dirichlet Problem. . . . . 245
9. Two-Dimensional Vector Fields 256
10. Univalent Functions. 260
Bibliography . 277
Subject Index 279
Foreword
XIII
Notation
1. Set theory
aeA a is an element of the set A
aA a is not an element of A
BcA B is a subset of A
AnB Intersection of sets A and B
A u,B Union of sets A and B
A""-B The complement of B with respect to A
A ""- a The set A with the element a removed
{a: W(a)} The set of all a having a property W(a)
A Closure of the set A
frA Boundary of the set A
r)A The boundary cycle of a domain A taken with positive orientation
o The empty set
2. Complex numbers
I"CZ The real part of a complex number z = x+;y, i.e. the real number x
Imz The imaginary part of a complex number z = x+iy, i.e. the real num-
ber y
: The conjugate of z = x+iy, i.e. the complex number x-iy
1=1 The absolute value of z = x+iy, i.e. yx2+y2
largz The argument of z =F 0, 00, i.e. any angle 0 satisfying the equations
IArgz Izl cosO = rez, Izl sinO = imz. There exists a unique value of argz
which satisfies - 7 t < argz ~ 7t. It is called the principal value of
argument and is denoted Argz
3. Sets of complex numbers
I::, z 2] Closed line segment with end points z 1, Z 2
(Z Z2) Open line segment with end points Zl' Z2
1= Z2 Zn] Polygonal line joining Zl' Z2' , Zn in this order
xv
xvi NOTATION
5. Families of function
L 2 (G) The class of functions analytic in a domain G and such that
H11'12< +00
G
[!; The class of functions I analytic in K(O; 1) such that 1(0) = 1 and
re I(z) > 0 in K(O; 1)
S The class of functions I analytic and univalent in K(O; 1) such that
1(0) = 0,1'(0) = 1
S* The class of all Ie S such that I[K(O; 1)] is starshaped w.t.t. origin
SC The class of all Ie S such that I[K(O; 1)] is a convex domain
E The class of all functions F analytic and univalent in K(oo; 1) whose
Laurent expansion there has the form: F(z) = z+bo+b 1 z- 1 + ...
Eo The class of all FeE which do not take value 0
6. Abbreviations
a.u. Almost uniform (convergence)
h- Hyperbolic (or noneuclidean)
cont. The problem is a continuation of the foregoing one
.
PROBLEMS
CHAPTER 1
Complex Numbers.
Linear Transformations
rez
1 (
=2 rZ)
z+Z- '
3
4 t. COMPLEX NUMBERS. LINEAR TRANSFORMATIONS
*
1.1.12. Let Z1 Z2 be the inner (scalar) product of vectors [0, ztl, [0, Z2]
and Z1 XZ 2 the component of the outer (vector) product perpendicular to the
z-plane. Show that
Z1Z2 = Z1 * Z2+Z1 Xz 2 ' i.
1.1.13. Prove that the area enclosed by the triangle [Z1' Z2' Z3' Z1] whose
orientation is positive, is equal tim(z1z2+z2z3+z3z1)'
1.1.14. Prove that the area enclosed by the positively oriented polygon
[Z1' Z2' ... , Zn, ztl is equal tim(z1z2+z2z3+ ... +znZ1)'
1.1.15. Find the angle IX between two vectors [Z1' Z2], [Z3' Z4]' Also find the
distance of Z3 from the straight line through Z1' Z2'
1.1.16. Show that, if the centers of gravity and of circum-circle of a triangle
coincide, the triangle must be equilateral.
1.1.17. Discuss the curves defined by the following complex functions of
a real variable (unless stated otherwise, a, b, (J) are real and positive and
-00< t < +00).
(i) Z = exp(a+bit);
(ii) Z = (1 +it)-l;
(iii) Z = aeit+a-le-it, 0 ~ t ~ 27t;
(iv) Z = at +be irot ;
(v) Z = a(1-it)e it ;
(vi) Z = O+e it )2, 0 ~ t ~ 2~;
\
(vii) Z = t 2 +it4, 0 ~ t < +00;
(viii) Z = t+it-t, t > O.
1.1.1S. Suppose z(t) = x(t)+iy(t) and x, yare real differentiable functions
of t E (a, h). Explain the geometrical meaning of z'(t) s'(t) I iy'(t). Show
that (e lt )' ie".
1.1. SETS AND SEQUENCES 5
1.1.19. Given the curve z(B) = r(I)e i9 , where r(B) is a positive, differentiable
function of (I. Find the angle a between the tangent and the radius vector.
1.1.20. Suppose z(t) = x(t)+iy(t) is a complex, differentiable function of
a real parameter t E (a, b) that does not vanish in (a, b). Show that
1.1.27. Suppose IZII =/: e, 1 and 0, ZI' Z2 are not collinear. Show that the
circle through ZI' Z2' zi i has [zl(1+lz212)-z2(1+lzI12)] (ZIZ2-ZIZ2)-1 as center
and its radius is IZI-Z2111-ZIZ21IzIZ2-ZIZ21-I. Also show that Zi i is situated
on this circle.
1.1.28. Suppose mI' m2' m3 are nonnegative, mi +m2-+ m3 = 1, and ZI, Z2' Z3
are not collinear. Show that
(i) the point Zo = mizi +m2z2+m3z3 belongs to the closed triangle T
with vertices ZI' Z2, Z3;
(ii) conversely, for any Zo E T there exists a unique system of nonnegative
mI' m2' m3 with mI+m2+m3 = 1 such that Zo = mIzI+m2z2+m3z3' The
numbers mJ are called barycentric coordinates of Zo w.r.t. T.
1.1.29. The intersection of all closed and convex sets containing a given set
A is called the convex hull of A and is denoted conv A. Show that
mk ~ 0, k = 1, "', n; ~ mk = I}.
1.1.30. Show that conv {ZI' Z2' ... , zn} = U Tk1m , where T k1m is the closed
triangle with vertices Zt, ZI, Zm and the summation ranges over all triples
{k, I, m} of positive integers ~ n.
n
1.1.31. Prove that the equality L (C -
Zk)-I = 0 implies:
k=l
CEconv {ZI' Z2' ... , zn}.
1.1.32. Prove following theorem (due to Gauss and Lucas): all zeros of the
derivative of a polynomial are contained in the convex hull of zeros of the given
polynomial.
1.1.33. Show that
lim
n .... oo
(1+ X+iy)n
n
= eX(cosy+isiny).
1.1.36. Suppose rez I ~ 0 (n = 1,2, ... ) and both L Zn' L z~ converge. Show
that also L
IZnlz is convergent.
1.1.37. Prove Toeplitz's theorem: Suppose (a"k) is an infinite matrix of complex
numbers (n, k = 1, 2, ... ) which satisfies:
00
Then for any positive integer n and any convergent {en} the series L ankCk
k=l
is convergent.
00
Moreover, if Zn = Lank Cto then lim Zn exists and is equal lim Cn.
k=l n-+oo
1138
.. Suppose P1 +Pz+ ... Pn ~
MOl."
> lor n = 1,2, ... and
Ip11+IPzl+ ... +IPnl
lim(!p11+lpzl+ ... +IPnD = +00. Show that for any convergent {zn}
1.2.13. The distance o"(Zl' Z2) between two points on S whose stereographic
projections are Zl, Z2 is called the spherical distance between Zl and Z2' Show
that
o"(Zl' Z2) = 21z1-z21 [(1 + Iz112)(1+ Iz212)]-1/2.
1.2.14. Suppose dO", ds are lengths of infinitesimal arcs on Sand C resp. cor-
responding to each other under stereographic projection. Suppose, moreover,
the arc of length ds emanates from the point Z E C. Show that
~; = 2(1 + IzI2)-1.
Show, moreover, that the angle between any two regular arcs in C and the angle
between their spherical images are equal.
1.2.1S. Suppose the sphere S is rotated by the angle rp round the diameter
whose end points have a, _a- 1 (cf. 1.2.9) as stereographic projections. Sup-
pose, moreover, z, Care stereographic projections of points corresponding to
each other under this rotation. Show that
-C-a
-- = el'P---
z-a
l+aC l+az
1.2.16. Suppose At, A2 E S and at, a2 are stereographic projections of At
lind A 2 , resp. Find the set of all points a E C such that a is the stereographic
r>rojection of a point A E S equidistant from At and A 2
1.2.17. Find the radius of the circle on S whose stereographic projection is
C(a; r).
r
1.2.18. Suppose is a regular arc on Sand 'Y is its stereographic projection.
Show that the length /(r) of r is equal to
~ 1+~ZI2 ds.
y
1.2.19. Find the stereo graphic projection of a rhumb line on S, i.e. of a line
011 S which cuts all meridians at the same angle.
1.2.20. Find the length /(F) of the rhumb line r
joining the points whose
'\crcographic projection are Zl = r 1, Z2 = r2 eif%, 0 < ex < 2". Evaluate /(F)
. 1 . 1 . f i
lor =1 =~, Z2 =-(3+IJl3).
)13 2
1.2.21. Evaluate the area of a spherical domain D being the spherical image
III' II regular domain ;1 in C.
10 1. COMPLEX NUMBERS. LINEAR TRANSFORMATIONS
1.2.22. Show that the area ITI of a spherical triangle T with angles (X, {3, y
is equal a+{3+Y-7t.
1.2.23. Evaluate the area of the spherical triangle T whose vertices are
(0; 2- 1 / 2 ; 2- 1 / 2 ), (2- 1 /2; 2- 1 /2; 0), (0; I; 0).
1.3.9. Find the invariant point zo, the angle of rotation and the ratio of homo-
thety for the transformations in (i) Exercise 1.3.6; (ii) Exercise 1.3.7.
1.3.10. Show that for any similarity' transformation w = az+b (a # 0, 1)
there exists a family of logarithmic spirals il}variant under the transformation.
remains unchanged.
1.4.8. Find the linear transformation carrying a, b, c into 0, 1, 00, respec-
tively.
1.4.9. Find the images of the following lines under inversion:
(i) the family of circles C(a; lal);
(ii) the family of parallel straight lines y = x+b;
12 f. COMPLEX NUMBERS. LINEAR TRANSFORMATIONS
1.5. SYMMETRY
1.5.1. If z* is the reflection of z with respect to C(a; r), then z* = a+r 2/(z-a).
1.5.2. Show that C(a; r) is an Apollonius circle for points z, z* (Le.
I(C-z)/(C-z*)1 = const for C E C(a; r).
1.5.3. Find the reflection of 2+i w.r.t. C(i; 3).
1.5.4. Find the reflections w.r.t. C(O; 1) of (i) the circle C(l; 1); (ii) the hyper-
bola x 2_y2 = 1.
1.5.5. Show that any circle orthogonal to C(O; 1) remains unchanged after
a reflection W.r.t. C(O; 1).
1.5.6. Show that the symmetry W.r.t. L remaihs preserved under linear transfor-
mations: if z +-+ W, z* +-+ w*, L +-+ Ll and z, z* are symmetric w.r.t. L, then
also w, w* are symmetric w.r.t. L 1
1.5.7. Given the point z, find its reflection z* W.r.t. the straight line through
al' a2
1.5.S. Show that the reflection W.r.t. Ll followed by the reflection w.r.t. L2
is a linear transformation. When is the resulting transformation independent
of the order of reflections?
1.5.9. Prove that the points symmetric w.r.t. both circles C(a l ; rl)' C(a2; r 2 )
are roots of the equation ([2 -til ~- rHz-a l )-I-rHz (12) .. 1.
1.6. CONFORMAL MAPPINGS 13
1.5.10. Given the straight line L through ai' a2 and the circle C(a; r), find
the pair of points symmetric w.r.t. both lines.
1.5.11. Find all circles orthogonal to both circles C(O; 1), C(1; 4).
1.6.1. Find the image domain of the given domain in z-plane under the given
linear transformation:
(i) {z: rez > 0, imz > O}, W= (z-i) (Z+i)-l;
(ii) {z: Izl < 1, imz > O}, W = (2z-i) (2+iz)-1;
(iii) {z: 0 < argz < -t7t}, W= z(z-lrl;
(iv) {z: 0 < rez < 1}, W= (z-l) (Z-2)-1;
(v) {z: 1 < Izl < 2}, W= z(Z-l)-l.
1.6.2. Find the linear transformation carrying the circle C(O; 1) into a straight
line parallel to the imaginary axis, the point z = 4 into the point W = 0 and
leaving the circle C(O; 2) invariant.
1.6.3. Find the linear transformation carrying the points a, b, c, d on the
real axis (a < b < c < d) into _k- 1 , -1, 1, k- 1 (0 < k < 1). Evaluate k.
1.6.4. Find all linear transformations carrying the upper half-plane and the
points 0, -1 into itself.
1.6.5. Find the image domains of the unit disk and its upper half under the
linear transformation W = (5-4z) (4z-2rl.
1.6.6. Find the linear transformation carrying C(O; 1) into C(l; 1) so that
rhe points 0, 1 correspond to -t, 0 respectively.
1.6.7. Find the linear transformation carrying the outside of C(O; 1) into the
r igh t half-plane and the points z = 1, - i, -1 into w = i, 0, - i. What are the
images of concentric circles center at the origin?
14 t. COMPLEX NUMBERS. LINEAR TRANSFORMATIONS
1.6.S. Using the property of symmetry invariance find all the linear transfor-
mations carrying the unit disk onto itself.
1.6.9. Find the linear transformation carrying C(O; 1) into C'(1; 2) and the
points z = -1, 0 into w = -1, i.
1.6.10. Find the linear transformation mapping the unbounded doubly con-
nected domain in the extended plane whose boundary consists of C(5; 4),
C(-5; 4) onto {w: 1 < Iwl < R}. Evaluate R.
1.6.11. Find the linear transformation mapping the ring domain with boundary
C(1; l)u C(i; }l6) onto {w: 1 < Iwl < R}. Evaluate R.
1.6.12. Find the linear transformation mapping the right half-plane with
removed closed disk K(h; R), h > R, onto {w: p < Iwl < I}. Show that
p= ~ - V(~r-1.
1.6.13. Find a linear transformation mapping the bounded domain whose
boundary consists of C(O; 2), C(1; 1) onto a strip bounded by two straight
lines parallel to the imaginary axis.
1.7.6. Show that if L1 = (d-a)2+4be and the sign of }/Lf is suitably chosen,
then .
A -= (a jd+}lIi)/(a j-d--}lt1).
1.7. INVARIANT POINTS 15
1.7.10. If IX, {3 are invariant points and A = IAle i9 (cf. Ex. 1.7.5) then the
circle Cz with diameter [IX, {3] is carried into a circle Cw with radius R
-= +IIX- {3llcosOI- 1 .
1.7.11. The sequence {zn} is defined by the recurrence formula: Zn+1 =/(zn),
wherefis a linear transformation with at most 2 invariant points and Zo is given.
Discuss the convergence of {z,,}.
1.7.12. Find the points of accumulation of the sequence {zn}:
Zo = 0,
1.7.18. Show that the rotations of the Riemann sphere correspond to elliptic
transformations in the plane after stereo graphic projection.
1.7.19. Suppose IX, P are invariant points of an elliptic transformation and
IIX-PI ~ 2. Prove that this transformation corresponds to a rotation of the
Riemann sphere followed by a translation.
1.7.20. Show that the linear transformation
w = (az+b)/(-bz+a), lal+lbl > 0,
corresponds to a rotation of the Riemann sphere. Evaluate stereographic pro-
jections of the end-points of the diameter being the axis of rotation, as well as
the angle of rotation in terms of a and b.
1.7.21. Find the linear transformation representing the rotation of the Rie-
mann sphere by an angle t'lt
round the diameter with end-points (f; f; t),
(-f; -f; -t)
1.7.22. Find the general linear transformation representing a rotation of the
Riemann sphere by an angle 'It. Show that this is an involution.
1.7.23. Show that for any involution with two finite invariant points IX, P
which is different from identity the factor A in Exercise 1.7. 5 equal~ -1. Prove
that the straight line through IX, fJ is mapped onto itself.
1.7.24. Find all str~ight lines remaining invariant under the involution
2wz+i(w+z)-2 = o.
1.8.1. Prove that there exists a unique h-line through any two h-points repre-
sented by Zl' Z2 (Zl"# Zz, IZll < 1, IZzl < 1).
1.8.2. Prove that there exists a unique h-line through a given point Zl in a given
direction ei!l (i.e. meeting C(O; 1) at ei!l).
1.8.3. The unit circle C(O; 1) is called the h-line at infinity. Two h-lines meeting
at infinity (i.e. two circular arcs orthogonal to C(O; 1) intersecting each other
at a point on C(O; I) are called h-parallels. Show that there are two h-parallels
to a given h-line L through a given h-point Zl not on L, as well as infinitely many
h-lines through Zl not meeting L.
1.8.4. Find the general form of an h-rotation (i.e. an h-motion with a unique
invariant h-point zo).
1.8.5. Find a general h-translation, i.e. an h-motion with two invariant points
011the h-line at infinity.
1.8.6. Find a general h-boundary rotation, i.e. an h-motion with a unique
invariant point on C(O; 1).
1.8.7. Find a general h-motion. Verify the group property for h-motions.
1.8.8. Write parametric equation of an h-segment [Zl' ZZ]h' i.e. a subarc of
h-Iine with end-points Zl' Z2.
1.8.9. Suppose the h-segments [a, Z]h' [b, W]h are congruent in the sense of
hyperbolic geometry. Verify that
l(z-a)/(I-az)1 = l(w-b)/(l-bw)l
1.8.10. Suppose C and r are two regular curves situated in the unit disk and
carried into each other under an h-motion. Show that
1.8.11. Consider all regular curves situated inside K(O; 1) and joining two
Ji1lcd points 0, R (0 < R < I) of K(O; 1). Show that
18 f. COMPLEX NUMBERS. LINEAR TRANSFORMATIONS
has a minimum for y being the segment [0, R], the minimum being equal
1 I+R
Tlog l-R = artanhR.
Hint: Verify first that we can restrict ourselves to regular curves with para-
metric representation 0 = O(r), where 0, r are polar coordinates.
1.S.12. If C is a regular curve situated inside K(O; 1) then
C Idzi
J l-lz[2
c
is called hyperbolic (or h-) length of C. Show that the h-segment with end points
Zl' Z2 is the curve with shortest h-Iength among all regular curves in K(O; 1)
joining Zl to Z2' The h-Iength of [Zl' Z2]h is called hyperbolic (or h-) distance
P(Zl' Z2) of points Zl' Z2' Also show that
P(Zl' Z2) = artanhlzl-z2111-Z1Z21-1.
1.S.13. Find the h-circle with h-radius R, i.e.
{z: p(zo, z) = R}.
Also find its h-Iength lh'
1.S.14. Verify the usual properties of a metric for P(Zl' Z2)'
1.S.lS. Show that
P(Zl, Z2) = tlog (Zl , Z2' ei/l, ei"),
where e i", Zl, Z2' ei/l are successive points of a circle orthogonal to C(O; 1).
1.S.16. Suppose a regular domain D, Dc K(O; 1), is carried under h-motion
into [j. Prove that
CC
JJD
dxdy
(l-x 2_y2)2 =:'
rc
JJ
d~dYJ
(l_~2-172)2 .
Q
The integral on the left is called hyperbolic (or h-) area of D and will be denoted
IDlh' -,
1.S.17. Find l[jlh for Q = {z: Izl < R}.
1.S.lS. Consider an h-triangle T, i.e. a domain bounded by three h-segments
with angles rx, (:1, y. Show that
ITlh = t[1t-(rx+(:1+y)].
Hint: Take the origin as one of the vertices.
1.8.19. Evaluate the h-area or an h-triunglc with Vl:rti~cs ZI' =2' =.\.
CHAPTER 2
Regularity Conditions.
Elementary Functions
19
20 2. REGULARITY CONDITIONS. ELEMENTARY FUNCTIONS
2.1.2. Suppose J is defined and uniformly continuous in K(O; I). Prove that
for any sequence {zn}, Zn E K(O; I), convergent to C(lCJ = I) there exists a limit
p(C) depending only on C, and not on a particular choice of {zn}. Also prove
that F: F(z) = J(z) for z E K(O; I), F(C) = p(C) for CE C(O; I), is continuous
in K(O; 1).
2.1.3. Verify that the function
J: J(O) = 0, J(z) = Izl- 2 (I+i)imz2 for z i= 0,
exists. Show that the partials u x , Vy at Zo both exist and are equal.
2.1.6. Suppose u(x, y), v(x, y) are continuous and have continuous partials
of first order at Zo = xo+iyo'
If J = u+iv and the limit
lim Ihl-1If(zo+h)-J(zo)1
h-+O
2.2.1. Find all the functions harmonic 10 C"", (- 00, 0] which are cOllstant
one the rays argz = const.
2.2.2. Find all the functions harmonic in C"", 0 which are constant on the
circles ceO; r).
2.2.3. Verify that the functions u = log Izl, v = argz are conjugate harmonic
functions in C"", (-00,0] and Logz = log Izl+iArgz, where Argz is the principal
value of argument: -7t < Argz < 7t, is analytic in C"",(- 00, 0].
2.2.4. Verify that ~cosy, ~siny are conjugate harmonic functions in C. Also
verify that the analytic function
expz = eXcosy+iexsiny
flllfills the identity:
expLogz = Logexpz = z
III C "'-, ( 00 , 0] .
2.2.5. Show that ! Logz = Z_l in C"", (00, 0] and ! expz = expz in C.
defined in a domain D containing all the points z(t), t E Ca, b). Show that if
arg[f'(z(t))z'(t)] is constant in (a, b), then the image of the arc z = z(t),
a < t< b, is a straight line segment (not necessarily bounded).
2.3.4. Show that for any linear mapping w = (az+b)/(cz+d), ad-be:F 0,
c :F 0, some straight line has as its image a parallel straight line.
2.3.5. Find the sets of all z where an infinitesimal segment is expanded, contrac-
ted or preserved under the given transformation:
(i) w = Z2; (ii) w = z2+2z; (iii) w = Z-l.
2.3.6. Find local magnification and the angle of local rotation at Zo = -3+4
under the mapping w = Z3. -
2.3.7: Show that the Jacobian ~~::;] of the mapping f= u+iv, where
f is analytic in a domain D, is equal 11'12. Give a geometrical interpretation.
2.3.8. Verify that if f = u+iv is analytic and !'(zo) :F 0, then the lines
u = const, v = const, intersect at Zo at the right angle.
2.4.1. Evaluate the maxiq1al error in K(i; +0) if the mapping w = Z2 of this
disk is replaced by its differential at z = i.
2.4.2. Find the image domain of the square: 0 < x < 1, 0 < y < 1 and the
length of the boundary of the image domain under the mapping w Z2. Z -=, x+ iy.
",c
1.S. THE MAPPING w = t(z+z-l) 25
2.4.3. Find the univalent mapping of the domain {z: rez > 0, imz > O}
onto K(O; 1) such that Zo = l+i corresponds to the center.
2.4.4. Find the univalent mapping of K(O; 1) onto the inside of
w(O) = 2(1+cosO)eif1 , 0::::;; 0::::;; 2".
2.4.5. Find the univalent mapping of the domain situated on the right-hand
side branch of the hyperbola x2_y2 = a 2 onto K(O; 1) which carries the focus
of the hyperbola into w = 0 and the vertex into w = -1.
2.4.6. Find the univalent conformal mapping of the domain
{z = x+iy: -00 <
< +00, 2px < y2}, p > 0
y
onto the unit disk such that the points z = -t and z = 0 correspond to w = 0
and w = 1 respectively.
2.4.7. Find the univalent conformal mapping of the domain bounded by
the branch of hyperbola: x2_y2 = 1, X > 0, and the rays argz = 1=+" onto
the strip {w: limzl < I}.
2.4.8. Show that the mapping z = ay2w(1+w 2)-1/2 carries the unit disk
{w: Iwl < I} into the domain bounded by the branches of the hyperbola
x 2 _yZ = a2
2.4.9. Map conformally the inside of the right half of the lemniscate
11I'2-a 21= p2, 0 < p ::::;; a, onto the unit disk.
2.4.10. Map conformally the inside of lemniscate Iw 2-a 21 = p2, P > a,
onlo the unit disk.
2.5.1. Suppose C is an arbitrary circle through -1, 1 and Zl' Z2 do not lie
tin C and satisfy ZlZ2 = 1. Show that one of these points lies inside C and an-
t II hl'r one outside C.
2,5.2. Show that the mapping w = t(Z+Z-l) carries both the inside and the
oiliside of any circle C through the points z = 1=1 in a 1: 1 manner onto the
~lIlIll' domain in the w-plane. Find the image domain.
/lint: Show that (w-l)j(w+ 1) = [(z-l)j(z+ lW.
2.S.3. Show that the image domain of the upper half-plane under the mapping
II' ~(ZI-z-l) is C,,",-{(-oo, -1] u [1, +oo)}.
26 2. REGULARITY CONDITIONS. ELEMENTARY FUNCTIONS
2.5.4. Show that the image domain of the unit disk under the mapping
W= t(Z+Z-l) is C",[-I, 1].
2.5.7. Map conformally the ellipse {w: Iw-21+lw+21 < l00/7} slit along
[-2,2] onto the annulus {z: 1 < Izl < R}. Evaluate R.
2.5.8. Map conformally the outside of the unit disk onto the outside of the
ellipse: {w: Iw-cl+lw+cl > 2a} (c 2 = a2 _b 2 , a, b, c > 0).
2.5.9. Map conformally the domain C",{K(O; 1) u [-a, -1] u [1, b]}
(a > 1, b > 1) onto the outside of the unit disk.
2.5.10. Map conformally the outside of the unit disk slit along (- 00, -1)
onto:
(i) w-plane slit along the negative real axis;
(ii) the right half-plane.
2.5.11. Map conformally the domain whose boundary consists of three rays:
(-00, -1], [1, +00), [2i, +ioo) and of the upper half of C(O; 1) onto a half-
plane.
2.5.12. Map conformally the domain bounded by two confocal ellipses:
2.5.14. Show that the image W of the point w under the mapping W = w3 - 3 w
describes three times an ellipse with foci -2,2, when w describes once a COIl-
focal ellipse.
2.6. THE EXPONENTIAL FUNCnON 27
y =Yo
2.6.4. Find the image of the straight line y = mx+n under the mapping
e% (m =f. 0).
II' .. '"
2.6.5. Find the image domain of the strip mx-re < y < mx+re under the
llIapping w = eZ
2.6.6. For which z is the exponential function (i) real; (ii) purely imaginary?
Evaluate the real and imaginary parts of exp(2+i) up to 4 decimals.
2.6.7. Find the image domain of the square Ix-al < e, Iyl < e under the
mapping w = ~ (a, e are real, 0 < e < re, z = x+iy). Evaluate the limit of
I he ratio of the areas of both domains as e ~ O.
2.6.8. Show that the principal branch of the logarithm maps conformally
"d I ; r), 0 < r < 1, onto a convex domain symmetric W.r. t. the straight lines:
illlll' .~ 0, rew = ilog(1-r2).
are analytic in C and coincide with cosz and sinz resp. on the real axis. This
defines the functions sin and cos for complex z.
2.7.2. Write cosz, sinz, tanz = si~z/cosz in the form u(x, y)+iv(x, y)
where u, v are real-valued functions of real variables x, y (x+iy = z).
Verify that u, v are conjugate harmonic functions.
2.7.3. Show that
Isinzl2 = sin2x+sinh 2y, Icoszl 2 = cos2x+sinh 2y.
Find all zeros of sine and cosine.
2.7.4. Verify that Isinzl ~ 1 on the boundary of any square with vertices
7t(m+t)(=Fn=i), m = 0,1,2, ...
2.7.5. Verify that Icoszl ~ 1 on the boundary of any square with vertices
7tm(=Fl =j=i), m =-= 1,2, ...
2.7. TRIGONOMETRIC AND HYPERBOLIC FUNCTIONS 29
2.7.6. Show that Isinzl ~ coshR, Icoszl ~ coshR for any z E .R(O; R).
2.7.7. Show that for any z with limzl ~ t5 > 0
Itanzl ~ [1+ (sinh 0)-2]1/2, [cotzl ~ [I+(sinho)-2]1/2.
2.7.8. Verify the identity sin 2z+cos 2z = 1 for all complex z.
2.7.9. Verify the identity sinz = sinz and its analogues for cos, tan, cot.
2.7.10. Find all z for which sinz, cosz, tanz are
(i) real; (ii) purely imaginary.
2.7.11. Evaluate cos(5 - i), sin(1- 5i) up to 4 decimals. Show that if
Zo = fTC+ilog(4+ ]115) then sinzo = 4.
2.7.12. Verify for complex Zl' Z2 the addition formulas:
COS(Zl+Z2) = COSZ1COsz2-sinz1 sinz2'
sin(zl+z2) = sinz1cosz2+Cosz1sinz2'
2.7.13. Write coshz = t(ez+e- Z), sinhz = t(eZ-e- z)- in the form u(x, y)+
+iv(x, y), x+iy = z.
2.7.14. Express [sinhz[2, [coshz[2 as functions of x, y.
2.7.15. Find the relation between corresponding trigonometric and hyper-
holic functions and give a geometric interpretation.
2.7.16. Verify the identity:
2.8.1. Find all solutions of the equation z = cos w in terms of the logarithm.
2.8.2. Show that w = Arccosz maps 1: 1 conformally the z-plane slit along
the rays (-00, -1], [1, +(0) onto the strip 0 < rew < 7t.
2.8.3. Find Arccos+(3+i).
2.8.4. Show that w = Arctanz maps 1: 1 conformally the z-plane slit along
the rays [i, +ioo), [-i, -ioo) onto the strip Irewl < t7t. Also show that
.. 1 l+iz
w = -2'1 Log-1--
-IZ
2.8.5. Discuss the image arcs of Apollonius circles with limit points - I , 1
and the image arcs of circles through these points under the mapping w = Arctanz.
2.8.6. Evaluate
(i) Arctan(1+2i); (ii) Arctaneif1 , -t7t < (J < t7t.
2.8.7. Find the image domain of the unit disk under the mapping
w = Arctanz.
2.8.8. Find the principal branch Artanh of the inverse of tanh (i.e. the branch
whose restriction to the real axis coincides with the real function artanh) in
terms of Log.
Find the image domain of the unit disk under Artanh.
2.8.9. Find the image domain of the quadrant rez > 0, imz > 0 under
w = Arsinhz.
2.8.10. Show that w = arcsinez maps the z-plane slit along the rays y = k7t,
- 00 < x ~ 0 (k = 0, =f 1, =f2, ... ) onto the upper half-plane.
function transforms zero angle into a half-plane. It may even happen that a par-
ticular circular triangle with two right angles can be mapped onto a circular wedge
and hence onto a half-plane.
2.9.1. Map 1: 1 conformally a circular wedge in the z-plane whose sides in-
tersect at a, b and make an angle IX orito a half-plane.
Hint: Consider first a linear mapping carrying a, b into 0, 00 respectivel.y.
2.9.2. Map 1: 1 conformally the angle
D = {z: IX < argz < {3}, 0 < {3-1X < 27t,
onto the right half-plane.
2.9.3. Map 1: 1 conformally the upper half of the unit disk onto the upper
half-plane.
2.9.4. Map 1: 1 conformally the circular sector: 0 < argz < t7t, 0 < Izi < 1,
onto the unit disk.
2.9.5. Map the circular wedge {;: Izl < I} n {z: Iz+iv31 > 2} onto the
upper half-plane.
2.9.6. Map the wedge K(-l; Y2) ("'I K(I; y2) onto K(O; 1) so that 0 +-+ O.
2.9.7. Map the strip {z: limzl < t} onto K(O; 1) so that 0 +-+ O. Find the
image arcs of segments rez = Xo and straight lines imz = Yo.
2.9.8. Map the domain K(O; 1) n (C",-K(t; t)) onto K(O; 1).
2.9.9. Map the complementary domain of the set K(i; 1) n K( -i; 1) onto
the outside of K(O; 1) so that 00 +-+ 00.
2.9.10. Map the circular triangle Oal a2 :
K(1; 1) n [C",,-:K(I-i; y2)] n {z: Iz/(z-2)1 < 2}
onto the upper half-plane.
2.9.11. Map the w-plane slit along the ray (- 00, -{-] onto the unit disk so
that 0 +-+ O.
2.9.12. Map the w-plane slit along the rays (-00, -t)], [-~- +00) onto the
lInit disk so that 0 +-+ o.
2.9.13. Map the upper half-plane with the points of the upper half of the
unit disk removed onto the upper half-plane.
2.9.14. Map the upper half-plane slit along the segment (0, ih], h > 0, onto
I he upper half-plane.
32 2. REGULARITY CONDITIONS. ELEMENTARY FUNCTIONS
2.9.15. Map the upper half-plane slit along the ray [ih, +ioo), h > 0, onto
the upper half-plane.
2.9.16. Show that the mapping
(l_p)2 z
w= p . (l_Z)2' 0 < p < 1,
carries the unit disk Izi < 1 slit along the radius (-1, 0] onto the w-plane slit
along the negative real axis.
2.9.17. Map the unit disk Izl < 1 onto the w-plane slit along the negative
real axis so that (z = 0) - (w = 1).
2.9.18. Map the unit disk Izl < 1 slit along the radius (-1, 0] onto the unit
disk It I < 1 so that the points t = 0, z = p (0 < p < 1) correspond to each
other.
2.9.19. Map the domain K(O; 1) "" (-1, -p], 0 < p < 1, onto the unit
disk 1t 1 < 1 so that 0 - O. '
2.9.20. Assume that lal < 1, Ibl < 1, a i= b, and y is the circle through a, b
orthogonal to C(O; 1). Let D(a, b) be the unit disk slit along the arc of y joining
b to C(O; 1), situated inside C(O; 1) and not containing a. Map conformally
D(a, b) onto the unit disk It I < 1 so that (C = a) - (t = 0).
Complex Integration
3.1. LINE INTEGRALS. THE INDEX
have ~ J(z)dz = O. Conversely, if the line integral of J over any regular, closed
c
curve in D vanishes, then J has a primitive in D.
The notion of line integral can be extended on chains
n
r, which are linear forms
~ k",I'"" where I'm are regular curves and k m are integers, the integral ~ being
III-I r
n
defined as L k m~ . If all curves I'm are closed, the corresponding chain is
m-l 1m
.. tid to be a cycle.
33
34 3. COMPLEX INTEGRATION
or ~fldzl.
l'
3.1.1. Evaluate the line integral ~ re z dz for: (i) 'Y = [0, 1+i]; (ii) 'Y = ceO; r).
l'
3.1.2. Show that, for a regular curve 'Y with the equation z = z(t), a <;; t <;; b,
we have
b
~f(z)ldzl = ~f(z(t))lz'(t)ldt.
1 a
3.1.6. Show that I ~f(z)dzl <;; ML, where M = sup If(z) I on 'Y and L is the
r
length of 'Y'
3.1.7. Show that \ ~= 27d, where aQ is the closed polygonal line
oQ
J z-zo
[zo-a-ia, zo+a-ia, zo+a+ia, zo-a+ia, zo-a-ia].
3.1.8. Prove that the function (Z-ZO)-l analytic in C"",zo has no primitive
in this domain.
r
3.1.9. Suppose is a contour, i.e. a regular, closed positively oriented simple
(or Jordan) curve and A is the area enclosed by r. Prove that
3.1.10. Evaluate ~ zz- l dz, where r is the boundary of the upper half of the
r
annulus {z: 1 < Izl < 2} with positive orientation.
3.1.11. Evaluate ~ Izlzdz, where
r
r is the boundary of the upper half of
K(O; 1) with positive orientation.
3.1.12. Assume u, v are real-valued functions having continuous partials
of first order in some neighborhood of Zo = xo+iyo. Prove that j= u+iv
is differentiable w.r.t. z at zo, iff
lim~ ~ j(z)dz = O.
r .... O 1tr C(zo:r)
Show that F is continuous and analytic in any domain not containing any points
of y and verify that
is an integer. The function n(y, a) is called the index of the point a with respect
to 1', or the winding number of I' with respect to a.
Hint: Consider the function
t
~ (z-a)-1(z-b)-1dz = o.
y
3.1.27. Prove that for any positive integers m, n and a, b such that n(y, a)
=n(y, b) we have
~ (z-a)-m(z-b)-n = O.
y
3.t. LINE INTEGRALS. THE INDEX 37
~ (z-a)-1(z-b)-ldz = 27ti(a-b)-1.
C(O;r)
~ (z-a)-m(z-b)-ndz,
C(O;r)
~ (1+Z2)-1dz = O.
C(O;2)
~W(z)dz = O.
r
3.1.33. Suppose r is a cycle and a is a point not on any curve of r. Show that
~ R(z)dz = 27ti
r
L
j=1
Ajn(r, aj).
~~ = logr+irp+2k7ti,
r
where k is an integer depending on r.
3.2. CAUCHY'S THEOREM AND CAUCHY'S INTEGRAL FORMULA
f(a) = _1_.
2m Jz-a
r fez) dz.
)'
\' eZcosz . /-
3.2.2. Evaluate J (1+z2)sinz dz, where C = C(2+z; Jl2).
c
21<
3.2.3. If f is analytic in K(O; R)""-.O, show that the value of ~ f(re i6 ) dO,
o
0< r < R, does not depend on r.
21<
3.2.4. Evaluate ~ f(re i6 )dO in case is analytic in K(O; R) and 0 < r < R.
o
3.2.5. If u is harmonic in K(O; R) and 0 <r< R, show that
2"
u(O) = 2~ ~ u (re W) dO .
o
21<
3.2.6. Evaluate ~ log !re i6 -a! dO, r < !a!:
o
3.2.7. Iff is analytic in K(a; R)""-.O and lim (z-a)f(z) = A, show that
z-+a
3.2.12. Using Cauchy's formula for f"(a) evaluate 21 . \ ( zez )3 dz, where C
'Ttl J z-a
c
is a contour containing a inside.
3.3.13. Evaluate in a similar way the integral
_1_\ ez dz
21ti J z(1-z)3
C
1m = _1_.
2m
r
J z-C
I(z) dz, where O<IC-al<r<R.
C(a;r)
3.3.3. Under assumptions of Excercise 3.3.1 prove that a finite limit lim/(z)
r...a
,~ b exists and the function: <p(z) = I(z), z E K(a; R)", a, <pea) = b, is analytic
in K(a; R).
3.3.4. Show that if I is analytic in k(O; R) and 1(0) = 0 then the point z = 0
is a removable singularity of I(z)/z.
3.3.5. Show that exp(1/z) has z = 0 as an essential isolated singularity.
3.3.6. Show that sin(l/z) has 0 as an essential isolated singularity.
3.3.7. Prove that z = k1t, k = 0, =f 1, =f2, ... , are poles of order 2 of (sinz)-2.
3.3.8. State the character of isolated singularities (also possibly at infinity)
fur the following functions:
( I') --3";
1 (oo) ZS ez
II (1 -z)2 ; (iii)
z-z l+z2'
. l-e" z 1
(IV) l+e%; (v) exp-l--; (vi) (ez-l)-lexp-l-;
-z -z
1
( VIIoo) exptan --,'
z'
oo,
(~Il) sm cos Z
'( 1 )-1
42 3. COMPLEX INTEGRATION
3.3.9. Verify that a function analytic in the open plane C and having z = 00
as a removable singularity, is a constant.
3.3.10. Show that a function analytic in the extended plane except for a finite
number of poles, is rational.
3.3.11. Verify Taylor's formula: iffis analytic in K(a; R) then for any positive
integer n there exists a functionfn analytic in K(a; R) such that for any z E K(a; R)
we have:
_ I'(a) f<n-l} (a) n-l n
fez) -f(a)+l!(z-a)+ ... + (n-I)! (z-a) + (z-a) fnCz).
Hint: fez) = f(a) + (z-a)fl (z), where fl is analytic in K(a; R).
3.3.12. If f(a) = ['(a) = ... = j<m-l}(a) = 0 and j<m}(a) =1= 0, the point a is
said to be a zero off of order m. Show that (z-a)-mf(z) has a removable singu-
larity at a zero a of order m.
3.3.13. Prove that [f(z)r 1 has a pole of order m at a, ifffhas a zero of order
m at this point.
3.3.14. Suppose f is analytic in the extended plane except for a finite number
of poles and p, q are the numbers of zeros and poles counted with due multiplic-
ity. Prove that p = q.
3.3.15. If f is analytic in K(a; R) and j<n}(a) = 0 for all positive integers n,
show that f is a constant.
Hint: Use 3.3.11 and estimate Jf(z)-f(a)J by means of Cauchy's formula.
3.3.16. Suppose f is a nonconstant analytic function in K(a; r). Show that
there exists a positive integer m such that j<m}(a) =1= O.
3.3.17. Suppose f is analytic and not identically 0 in K(a; r). Show that Iff
is either analytic in some neighborhood of a, or has a pole at a.
3.3.18. Suppose f is analytic in K(a; R) ~ a and does not take in this domain
any value from K(wo; ~). Prove that a is either a pole, or a removable singularity.
3.3.19. Suppose a is an essential isolated singularity of J, P is a nonconstant
polynomial. Prove that a is also an essential isolated singularity of Po f.
3.3.20. Suppose A is an enumerable set of points contained in the disk K(a; R)
having a as its only point of accumulation. Suppose, moreover, that f is analytic
in K(a; R)~ (A u {an and each point of A""- a is a pole of f Prove that the
set of values taken by f is dense in the plane.
3.4. EVALUATION OF RESIDUES 43
~ [f(z)-A(z-a)-l]dz = O.
y
3.4.9. If z. is the pole of fez) = (Z4 +a 4 t-:l, show that res(zv;f) = -izva-4.
3.4.10. Show that the residues of fez) = Z,,-l j(z"+a") at all its poles are equal
1/" .
44 3, COMPLEX INTEGRATION
, -ie-am
(iii) res(ai; (Z2+a 2)-2em z ) = -~(am+l), a i= 0;
1
(iv) res(i; [O+z2)cosht7tzr1) = -2,;
7t1
(v) res(z1; (Z-Z1t"(Z-Z2)-1) = (_1)"-1(Z1-Z2)-"' n = 1,2, ""
(VI') res ("I, (1+ Z 2)-") = - I'2-
' 2 "+1(2n-2)
n -1 ,n = 1 , 2 ,'" ,'
3.4.19. Evaluate the' residues of the following functions at all isolated sin-
gularities: (i) (Z3_ Z S)-I; (ii) ez /z 2(z2+4); (iii) cot 2z; (iv) coez; (v) sin ~I
z+
(vi) [z(1-e- hz )]-I; (vii) z"sin!, n = 0, =FI, =F2, ...
z
3.4.20. Suppose rp is analytic in a neighborhood of a and rp'(a) i= O. Iff has
a simple pole at the point rp(a) and res(rp(a);j) = A, show that res(a;fo rp)
= A/rp'(a).
3.4.21. Iff is analytic in K(a; R) "" a, then f has in K(a; R) "" a the following
Laurent expansion:
L
00
!'hc sum on the right is finite since n(y, ak) i= 0 only for a finite number of ak.
III most applications y is a contour with positive orientation. Then n(y, ak)
I~ either 0 in case ak is situated in the unbounded component of C "" {y}, or I
ill case Ok is in the bounded component.
46 J. COMPLEX INTEGRATION
3.5.1. Evaluate the integral ~ -1 ~Z4 ' wh~re C is the ellipse X2 - xy+ y2 +X+
C
+y=O.
3.5.2. Evaluate the integrals:
Z2
(ii) ~ (2 '3) 1 dz = 2n+1, n < R3 < n+1, n being a positive
exp 1t'IZ -
C(O;R)
integer;
3.5.5. Let aQ be the boundary of the square Q with vertices 1t'( =t= 1 =t= i) and let
w be a point inside Q. Prove that
1 ~ ze%
Logw = -2' -,.--dz.
1t'I e-w
oQ
3.5. THE RESIDUE THEOREM 47
(i)
~
C(O;,)
Z
y (z-a)(z-b)
dz = 7ti(a+b);
dz
(ii)
~
C(O;,)
Y (z-a) (z-b)
= 27ti.
(ii) (' dz
j Y 4z 2+4z+3
C(O;l)
1
for the branch of square root equal to 1+0(1) and 2z (1+0(1)) respectively
near infinity.
3.5.10. Verify that
z" (0 for n odd,
~ yl+z2 dz= (_I)k 1 3 .... (2k-l) 27ti
C(O;2) 2 4 .... 2k
for n = 2k, k = 1,2, ...
3.5.11. Let r be the parabola x = y2 with the orientation corresponding to
increasing y and let Yl+z2 be the branch of square root with positive re~l part
in the right half-plane and in a neighborhood of the origin. Show that the im-
proper line integral
48 3. COMPLEX INTEGRATION
3.6.1. Let R(u, v) be a rational function of two variables u, v. Show that the
21<
definite integral ~ R(cosO, sinO)dO may be considered as a parametrized line
o
integral ~ Rl (z)dz, when; Rl is a rational function of z.
C(O;l)
(i) \ dO
Jo (1 +acosO)2
(ii) ~ exp(cosO)sin(nO-sinO)dO = o.
o
where R > max{lall, la 2 1, ... , lanl} and r(R) is the upper semicircle of C(O; R).
If lim ). J(z)dz = 0 then we obtain at once from (3.7A):
R-+oo F(R)
n
:L res(ak;J)
+00
~ J(x)dx = 27f:i
-00 k=l
+00
(iii) ~
o
+00
dx 7f:(a+2b)
(iv) ~ 2ab 3 ( a+ b)2' a, b >0;
-00
..
so 3. COMPLEX INTEGRATION
+<0
(...) rJ (x2+a2)2
111
cos mx d'
X
rr: (I)
= 40 3 +am e- am , C, m> ;
0
o
. +f
(VI) ~
cos ax
I+X 2 +X4 dx=
rr: . (rr: a) ( a V3)'
.,l3 sm 6+2 exp - - 2 - ' a>O.
3.7.4. If f is a continuous function in the sector {z: 0 < \z-a\ ::::;; (l,
81 ::::;; arg(z-a) ::::;; 02} and lim (z-a)J(z) = b, show that
where i'r = {z: z = a+re ill , 01 ::::;; 0 ::::;; 02} for 0 < r::::;; (l.
3.7.5. By using the identity: 2sin 2 z = re(l-e 2IZ), z is real, and by integrating
fez) = z-2(1-e 2bl) over the contour consisting of [-R, -r], -rer) , [r, R],
r(R) (0 < r < R) show that
~ si~X )2 dx =
+<0 (
; .
o
3.7. INTEGRALS OVER AN INFINITE INTERVAL 51
Jr x sm2
mx
(x +a 2 2)
d
X =
7t (2 + -20m 1)
4a 3 am e - (a, m > 0).
o -
rJ
+00 ( )3
sinx d _ 3
-x- X- S 7t
o
3.7.8. By integrating fez) = Z-3(Z2+ a 2)-1 [z+i(e iZ -l)] (a> 0) over a suit-
able contour show that
3.7.9. By integrating fez) = eOZ (1 +ez )-l (0 < a < 1) round the rectangle
with vertices =FR, =fR+27ti show that
+00
eax 7t
~ --d
1+ex
x = - -
sina7t .
-00
Also prove that
+00
ta-1 7t
(i) ~ l+t d t = sina7t;
o
+00 .
X"'-l 7t
(ii) ~ --dx-
1+x" - nsin(m7t/n)
(0 < m <n).
o
3.7.10. Verify in a similar manner that
+00 +00
l' eOX rJ 1 t a- 1 d =
t
27t . sin+7t(I-a) (0
<a< 2) .
1= J
-00
l+ex+e2x dx =
0
+t+t
2
y3- .sma7t
3.7.11. By integrating fez) = [(I+z 2 )cosh+7tz]-1 round the square QN with
vertices =FN, =FN+2iN, where N is an integer, show that
+00
~ [(1 +x2 )cosh+7tX]-ldx = log 2.
o
S2 3. COMPLEX INTEGRATION
~ (logx)Z
-'--;;-=-----=-.;-. dx = -
xZ+a z 8a
7t
[7tz+4(loga)z]
'
o
-1<a<3.
Hint: Integrate [(z2+a 2) LogZ]-l round the annulus {z: r < Izl < R} slit
along [-R, -r].
3.8.7. By integrating log(z-a) (0 < a < 1) round the cycle consisting of
('(0; 1), C(a; r) and [a+r, 1], a+r < 1, show that
2",
~ logle i8 -aldO = O.
o
3.8.8. By integrating (Z2_1)-1Iogz round the boundary of
show that
3.9.1. If F is analytic in K(O; 1), continuous in K(O; 1) and ,F(z) , < 1 for
all z E K(O; 1), show that the equation F(z)- z = 0 has a unique root in K(O; 1).
l.9. ARGUMENT PRINCIPLE. ROUCHE'S THEOREM 55
3.9.2. Show that the polynomial P(z) = z8+3z 3 + 7z+5 has exactly two roots
in the first quadrant (+; +).
3.9.3. Show that the polynomial P(z) = z4+2z3 -2z+IO has exactly one root
in each quadrant.
3.9.4. If a, b are real and different from zero, show that the polynomial P(z)
= z211+a2z2n-l+b2 has for even n exactly n roots of positive real part and n-I
roots of positive real part for odd n.
3.9.5. Show that P(z) = z5+2z 3 +2z+3 has exactly one root in the first
quadrant.
3.9.6. Verify that all zeros of P(z) = z5- z +16 are contained in the annulus
1 < Izl < 2 and two of them have a positive real part.
3.9.7. Show that exactly two roots of P(z) = z5+5z 3 +2z2+4z+1 are situated
in the right half-plane.
3.9.8. Show that the polynomial P(z) = z4+3z+3 has a unique root in the
strip D = {z: 0 < imz < I}.
3.9.9. Show that the polynomial P(z) = z4+iz 3 +1 has a unique root in the
first quadrant and four roots in the disk K(O; f).
3.9.10. Evaluate the number q of roots situated in the unit disk for the poly-
nomials: (i) z4-5z+l; (ii) z8-4z 5+Z 2_1.
3.9.11. Ir" a > e, show that the equation az" = ez has exactly n solutions in
K(O; I).
3.9.12. Show that no roots of the equation (z+ I)e-~ = z+2 are contained
in the right half-plane.
3.9.13. If A > I, show that the equation z+e-~ = A has one solution with
positive real part.
3.9.14. Prove that the polynomial I+z+az", n ~ 2, has for any complex a
at least one root in R(O; 2).
3.9.15. Suppose 0 < lal < 1 and p is a positive integer. Show that the equation
(;=-I)P = ae- Z has exactly p simple roots with positive real part and all of these
arc located inside K(I; I).
3.9.16. Prove that all roots of the equation tanz-z = 0 are real and each
ill tcrval n - -}) 'It, (n +~-) 'It), n =1= 0, contains exactly one root All'
S6 3. COMPLEX INTEGRATION
show that the equation F(z) = b has exactly n roots in the unit disk.
3.9.18. If F is analytic in K(O; a) and continuous in .K(O; a), IF(z) I > m on
C(O; a) and IF(O) I < m, show that F has at least one zero in K(O; a).
3.9.19. If I is analytic in the annulus A = {z: r < Izi < R}, I(z) =1= a for all
z E A and Yt = I( C(O; t)), show that for any t E (r, R) the index n(y" a) has
the same value.
3.9.20. If I is analytic in a domain D except for one simple pole and con- Zo
Following Saks and Zygmund [10] we shall call a sequence of functions {In}
ddi'iied in an open set G almost uniformly (a.u.) convergent on G to alunction!,
if {In} tends to I uniformly on each compact subset of G. In what follows w~
use the notation: In =l GI.
If all functions!.. are analytic in a domain D and!.. =l'DI, then also lis analytic
in D. Moreover, for any fixed, positive integer k, JC:) =l DJC k).
We can also consider a.u. convergent series of functions. The so-called M-test
of Weierstrass yields a quite convenient, sufficient condition for a.u. convergence
of functional series. Let L Un be a series of functions defined on an open set G.
If for each compact subset F of G there exists a convergent series L Mn with
positive terms such that Iun(z) I ~ Mn for all z E F, then L Un is a.u. convergent
on G.
4.1.1. Show that the sequence {zexp (_-}n 2 z 2 )} is uniformly convergent on
the real axis and at the same time it is not a.u. convergent in any disk K(O; r).
4.1.2. Prove that the series
n=1 n=1
57
58 4. SEQUENCES AND SERIES
4.1.5. Prove that in any closed disk K(zo; r) leaving outside all negative in-
00
tegers the series L (_1)n+1(z+n)-1 is uniformly convergent and its sum is ana-
n=1
lytic in C""{-l; -2; -3; ... }.
4.1.6. Suppose y is a closed, regular curve not meeting any negative integer
and I is the analytic function of Exercise 4.1.5. Evaluate ~ I(z) dz.
l'
4.1.7. If Izl < 1 and .,;(n) is the number of divisors of the integer n, show that
I z n(1-z")-1 L .,;(n)z".
00 00
=
n=1 n=1
Prove the a.u. convergence of both series in K(O; 1).
4.1.8. Prove the identity
n=-oo
00
z 1= 0, =F1, =f2, ... (cf. e.g. Ex. 4.5.15) find the sum L (z-n)-3.
"=-00
4.1.12. If the sequence of functions {In} analytic and univalent in a domain
G is a.u. convergent in G and 1= lim/n , show that I is univalent, unless it is
a constant.
4.2: POWER SERIES
00
is called the radius of convergence of the given power series and the disk K(a; R)
is called the disk of convergence. In case R -> 0 the power series is a.u. convergent
in its disk of convergence, its sum being analytic in this disk. Outside its disk
of convergence, i.e. in C~K(a; R), the power series is divergent. The radius
of convergence can be evaluated by means of the Cauchy-Hadamard formula:
R = (lim VianO-I.
4.2.1. If an:l= 0 (n = 1, 2, ... ) and the limit lim an/an+! =q exists, show
00
that the radius of convergence of the power series 2: anz" is equal to Iql.
n=O
4.2.2. Evaluate the radius of convergence of:
L :~
00
L
00 (2n)1 I .
(1) (nl)2 z"; (ii) z";
n=O n=1
2: 2-nz 2n ; L (n+an)z".
00 00
(iii) (iV)
n=O n=O
satisfies R' ~ R 1 /R 2;
(iii) the radius of cohvergence Ro of
2~ ~
o
If(re fl)l 2dO =
i L lanl r2n,
n=O
2 0 < r < R.
4.2.6. (cont.) If 1 is bounded: I/(z) I ~ M for all z E K(O; R), show that
L lanl2R2n ~ M2.
00
n=O
4.2.7. (cont.) If r < R and M(r) = sup I/(re i f1) I, 0 ~ () ~ 27t, show that
lanl ~ ,-nM(r), n = 0, 1, ...
4.2.8. If the sum of a power series L anz" is defined and bounded in the unit
disk, show that an = 0(1).
00 00
series L an(z-a)n is a.u. convergent in K(a; r) its sum being equal/(z). The power
n=O
00
series L an(z-a)n is called Taylor series 011 center at a and the Taylor's coeffi-
n=O
cients an can be expressed either by successive derivatives of 1 at the point a:
I(n)(a)
ao=/(a), an = I (n=I,2, ... ),
n.
4.3. TAYLOR SERIES 61
vergence C(a; R) of the power series I an(z-a)n contains at least one singular
n=O
point.
Each point on C(a; R) which is not regular, is called singular. A point
. 00
bE CCa; R) is called regular if there exists a power series L bn(z-b)n conver-
n=O
00 00
gent in some disk K(b; ~), ~ > 0, such that both series L an(z-a)n, L bn(z-b)n
n=O n=O
have identical sums in K(a; R) n K(b; ~).
(i) z
Log(1+z)
(ii) z
Arctanz'
(iii) ]Icosz (take the branch corresponding to the value 1 at the origin);
.)
(IV 1
cosz'
(v) Log (1 +e);
(vi) expe.
Suppose L
n~O
unCz) is a.u. convergent in K(O; R) and fez) is its sum; suppose,
lIloreover, ulI(z) =, anO+alllz+ ... +anlczk+ ... in K(O; R) for n = 0,1,2, ...
62 4. SEQUENCES AND SERIES
co
Then all the series Lank are convergent and their sums are equal to correspond-
n=O
ing Taylor coeffiCients of f at the origin.
4.3.3. Evaluate four initial, non-vanishing Taylor coefficients at the ongm
for the following functions and find the corresponding radius of convergence R:--
(1.) exp -1--;
z (")' Z
II sm -1--'
-z -z
4.3.4. Evaluate nth coefficient of Taylor series at the origin and its radius of
convergence for following functions:
. 2"1(Log l-z
(1)
1)2 ;
(ii) (Arctanz)2;
(iii) (Arctanz) Log(l+z2):
(iv) cos 2z;
(v) Log(1+Yl+z 2 ).
Hint: Differentiate the given 'function;
(vi) Log( Yl+z+ Yl-z).
[Take in (v), (vi) these branches of the square root which are equal 1 at the
origin.]
. 4.3.5. Find the radius of convergence for Taylor series with center at the
origin for sin 7tZ2 jsin 7tZ .
4.3.6. Find Taylor series with center at the origin for these branches of
(i) (1+ J/l+Z)1/2; (ii) (1+ yl+Z)-1/2
which are equal 21/2, 2- 1/2 at the origin.
Hint: Cf. Exercise 1.1.5.
4.3.7. Show that the coefficients Cn of Taylor series of (1- z- Z2)-1 with center
at the origin satisfy: Co = C1 = 1, cn+2 = cn+1 +cn (n ~ 0). Find the explicit
formula for Cn by representing the given function as a sum of partial fractions.
co
Also find the radius of convergence of L cnz". The sequence {cn} is so called
n=O
Fibonacci sequence.
co
_1_ _ ~ ~ = ~ (_I)k-1 ~ 2k-1
e%-1 z+2 L..J (2k)!z.
k=1
Evaluate B 1 , B 2 , ... , Bs. Find the radius of convergence of the power series
V
on the right and show that lim IBn I = + 00. The constants Bk are called Ber-
noulli numbers.
4.3.9. Show that
co
(1.) Log--:
sinz
z
(ii) Logcosz;
(iii) tanz;
(iv) (COSZ)-2;
(v) tan 2 z;
tanz
(VI.) L og--;
z
.. )
( VB Z
-.-.
smz
4.3.11. By using the power series expansions of Log(1 z), sinz near the origin +
evaluate three initial, non-vanishing terms of the power series expansion of
Log sinz and compare the obtained result with Exercise 4.3.10 (i).
;>
q;(z) = -. / z Arctan'" / z
V l-z l-z V
is analytic in some neighborhood of z = O. Evaluate the radius of convergence
of its Taylor series at the origin.
64 4. SEQUENCES AND SERIES
4.3.19. If J is analytic in K(O; 1),/(0) = 1 and reJ(z) > 0 in K(O; 1), show
that Taylor coefficients an of J at the origin satisfy: lanl ~ 2, n = 1, 2, ...
4.3.20. (cont.) Verify that
(1-lzi)/(l+lzi) ~ IJ(z) I ~ (l+lzi)/(I-lzi)
and show that equality can actually be attained.
4.4.1. Discuss the behavior of the following power series on the circle of
convergence
00
(i) Lzn;
n=1
00
vergence of L anz" is equal to I and the finite limit lim L anr" exists.
' .... 1- n=O
4.4.3. If limzn = eiIJ, IZnl < I (n = 1,2, ... ) and all Zn are situated inside
a Stolz angle with vertex eiIJ, i.e. an angle made up by two chords of the unit
disk with a common vertex eiIJ, show that. the sequence l'~i~~~i'} is bounded.
Prove the converse, too.
00
00
1\(0; 1) and express L ak~ as a Toeplitz transform of {sn}, cf. Exercise 1.1.37.
k=O
66 4. SEQUENCES AND SERIES
part, i.e. the power series 2: An(z-a)n is convergent in K(a; Izo-a\). whereas
n=O
4.5. THE LAURENT SERIES 67
00
its singular or principal part, i.e. the senes L: A_n (z-a)-n, is convergent in
n=l
C"'K(a; Izo-aj) which is an immediate consequence of well-known properties
of power series. Hence,. i.f the set of points of convergence contains interior points,
there exists a maximal, non-empty annulus of convergence {z: r < Iz-al < R}
and the sum of Laurent series is analytic in this annulus. Conversely, if f is ana-
lytic in {z: r < Iz-al < R}, where 0 ::( r < R ::( +00, then it can be expressed
00
as the sum of a Laurent series L: An(z-a)n which is absolutely and a.u. con-
"=-00
vergent in this annulus. The development is unique. If C = C(a; p) and
r < p < R, then the coefficients An of the Laurent development are equal:
4.5.10. Suppose f has only the following singularities in the extended plane:
a simple pole at -1 with res( -1; f) = 1, a double pole at 2 with res(2; f) = 2;
moraover,/(O) = -t,/(I) = f. Find the Laurent development offin the annulus
1 < Izl < 2.
4.5.n. Find the Laurent development of z-l(l-z)-l in annular neighborhoods
of: (i) z = 0; (ii) z = 1; (iii) z = 00.
4.5.12. Find the Laurent development of f(z) = [ (z-1 )z(z_ 2) ] 1/2 in the an-
nulus 1 < Izl < 2 assuming imf(t) > O.
4.5.13. Find the Laurent development of both branches of
[(z-a)(z-b)p/2 in Izl > max(lal, Ibl).
<1:)
4.5.14. Show that TC 2 /sin 2 TCz and h(z) = 2:: (z-nr 2 are both analytic in
n=-oo
C""-N, where N is the set of all integers. Also show that the principal parts of
both functions in the annular neighborhood of any point of N are the same.
TC 2
4.5.15. (cont.) Show that g(z) = - ; - - - -h(z) is bounded in C. Hence
sm 2 TCz
deduce that g = O.
4.5.16. Show that
TCcotTCZ =
1
- +
Z
L<1:)
2
z-n
2z 2 =~+
z
~'(_1
6 z-n
+~)
n
. n=l n=-oo
for z i= 0, =fl, =f2, ... (here and in the following a prime after a summation
sign indicates that the term corresponding to n = 0 is omitted).
4.6. SUMMATION OF SERIES 69
By using Exercise 4.3.9 (ii) find the relation between Sk and Bernoulli numbers B k .
4.6.1. Suppose J is meromorphic in the finite plane C and has a finite number
of poles a1 , a2 , , am none of which is an integer. Suppose, moreover, that
N
lim zJ(z)
z~oo
= O. Show that the limit lim
N~+oon=_N
L J(n) exists and equals to
- L res(ak; 7tJ(z)cot7tz).
k=1
Hint: Integrate 7if(z) cot 7tZ over the boundary (}QN of the square QN with
corners (N+t)(=fl=fi); also cf. Exercise 2.7.3.
4.6.2. Verify that
~ 2 -1 27t 7t y'3
S= L..J (n +n+l) = 3tanh-2-'
n=-oo j/
4.6.3. Show that for all a outside an exceptional set (which should be deter-
mined in each case) the following formulas hold:
(i) f
n=1
(n 2 +a 2 )-1 = ~ ( : coth7ta- :2 );
.. ) 2:<1:) (4
( II _ - (7t
n +a4)-1 - ---. 1 sinh tta y'I +sin tta y'i" - - 1).
n=1 . 2 a 3 y'i" cosh tta y' 2-cos7ta y'2 a4 '
... ) 2:<1:)
( III n2
4 4
_
- .
7t sinh tta J/I- sin tta J/i" .,
n=1 n +a 2ay2 cosh7tav'2-cos7tay2
<1:)
L00
"=-00
(n-a)-2 '= 1t 2/sin 21ta.
L( )
00
00
4.6.7. Suppose J is meromorphic in the finite plane C and has a finite number
of poles a 1 , a2, ... , am none of which is an integer. Suppose, moreover, that
lim zJ(z) = 0. Show that the limit
z-+oo
.L
(1)
00
(-1)"
~+2 =-2
n a 2
1
a
+ 2asm.1th 1ta,a-# 0, =fl,.=f2z,
.
... ;
"=0 .
(ii) ~
00
~ n4-a 4
(_1)" = _1 _~(_1_
2a 4 4a 3 sin1ta +
1)
sinh1ta '
"=1
a -# =fn, =fin (n = 0,1,2, ... );
. 1ta 1ta 1ta. 1ta
(iii) >. 00
..:.......J.
(-1)" _ _
n 4+a 4 - a 3
1t_
sm . /_ cosh /_ + cos /_ smh /_
v2
y2 .
v2 v2
.
2 1ta + .nh2 1ta
v2
"=-00 sm SI y2 y2
4.6. SUMMATION OF SERIES 71
46 .
9 By mtegratmg 7t sin az
3. , where -7t < a < 7t, round the boundary
sm7tZ Z
i)QN of the square QN with corners (N+}) (=f1=fi), verify the formulas:
4.6.10. If x is a complex number different from an integer, -7t < a < 7t and
QN is the square with corners (N +-t) (=f 1=fi), show that
I
N
= rJ cos az
(X 2 _Z 2 ) sin 7tZ
dz -+ 0 as N -+ + 00 .
iJQN
4.6.11. If a#-O is real and RN are rectangles with corners (N +-t )(=f 1 =f~) ,
show that the integrals a
(1) L00
(-l)"n _- - -~ .1_ _ _
sinh 7tan
1
2 27ta a
L00
(-l)"n
sinh(7tn/a)
for real a#-O;
"=1 "=1
( .1.1) 1 2 3 1
eTt_e-Tt - e 27t _e- 27t +e 37t -e 37t = s;-.
4.6.12. Verify that the equality of Exercise 4.6.11 (i) also holds for complex
" outside the imaginary axis.
4. SEQUENCES AND SERIES
72
4.6.13. If x is complex and not an integer, -7t < a < 7t, and QN is the square
with comers (N+i- )(=f 1=fi), show that the integrals
I
N -
- ~ zsinaz
(x 2 -z 2 )sin7tz
dz~ 0
as N~ +00
ilQN
(11oo) 7t
cosh 7tZ =
Ico
(-I)n(2n+l)
Z2+ (n+T1)2' Z
l' 3'
1= =fTI, =fTI, =fTI, ...
5'
n=O
+co
4.7.1. The integral ~ W(z, t)dt is said to be almost uniformly (a.u.) con-
a
vergent in a domain G, if for any compact subset F c G~nd any B > 0 there
exists A such that for any b, B with A < b < B we have
4.7. THE GAMMA FUNCTION 73
show that
+00
~ y,-le- iY dy = F(s)exp(-i-7tis), 0 < res < 1.
o
4.7.9. If 0 < oc < 1, show that
+00
(i) ~ x-a.cos x dx = r(1-oc)sini-oc7t;
o
+00
(ii) ~ x-a.sinxdx = r(l-oc)cos-}OC7t.
o
Also verify the left-hand side continuity of the integral (ii) at oc = 1.
4.7.10. Verify that
"'/2
~
o
sinP- 10cosq- 10dO
1 r(i-p)F(i-q)
= -2 . ----.o~_;_~~
r(i-(p +q))
4.7.11. Show that
"'/2
(i) ~ (tanO)"'dO = i-7t(cos-}7toc)-l, -1 < oc < 1;
o '
"'/2
(ii) ~ ysinOdO = (27t)3 / 2[F(i-)r 2.
o
Hint: Use the formula F(z)F(I-z) = 7t/sin7tz.
4.7.12. Express the following elliptic integrals by means of gamma function:
"'/2
(i) ~ (l-tsin20)-1/2dO;
o
"'/0
(ii) ~ (1-i-sin 20) 1/2dO.
o
Hint: Put sinO = V1- Yu.
4.7.13. Prove that
k=l
2k .)
1- exp ~ and hence deduce the formula
n
n-1 k
I1 sin ~n = n . 2
k=1
1- n
4.8. NORMAL FAMILIES 75
~ logr(t)dt = tlog27t.
o
4.7.15. Evaluate the integral
a+ 1
/(a)= ~ logr(t)dt, a>O.
a
is analytic, unless it reduces to the con~tant 00. If any sequence {[,.} of functions
fn E ff contains an a.u. convergent subsequence, then ff is said to be compact.
A necessary and sufficient condition for compactness of the family ff is the
existence of a common, finite upper bound of the absolute values of all IE ff
on each compact subset of D (Stieltjes-Osgood theorem, also called Montel's
compactness condition). Clearly each compact family is normal. The real-valued
!'unction p(z,f) = 2 If'(z) 1(1+I/(zW)-l is called the spherical derivative of I
and has an obvious geometrical meaning (cf. Ex. 4.8.1). Now, a family ff of
functions I analytic in a domain D is normal, if there exists in every compact
~ubset of D a common finite upper bound for the spherical rlerivative of all
!'unctions of the family. This criterion is due to F. Marty.
Another sufficient condition for normality is due to Monte! and its proof is
based on the properties of the modular function: if all functions I of a family
:iF are analytic in a domain D and every IE ff does not take in D two fixed,
lillite values ct, {3 (ct =f. {3), then I is normal.
The concept of normal family is very important in the existence questions
for solutions of extremal problems.
Let L Un be an arbitrary, convergent series with positive terms and let {H"(z)}
"=1
be a sequence of polynomials such that
for z eK(O; r"), where rn < la"1 and limr" = +00. In particular H" can be
a suitable partial sum of Taylor's expansion of the singular part which is analytic
In the open disk K(O; la"D. Then the function
where H is analytic in the finite plane (i.e. H is an entire function), has all the
required properties. This representation due to Mittag-Leffler enables us to
lind a meromorphic function with given .poles and given singular parts at these
poles up to an entire function.
5.1.1. Find the most general meromorphic function F whose only singular-
ilics are:
(i) poles 1, 2, 3, ... of first order with res(n; F) = n;
(ii) poles a" of first order (lal > 1, n = 1, 2, ... ) with res (a" ; F) = a";
(iii) poles l/n of first order (n = 0, ],2, ... ) with residues 1; '<II
77
78 5. MEROMORPHIC AND ENTIRE FUNCTIONS
where the terms of the series are formed of all summands corresponding lo
the poles situated between Cn and Cn + 1
5.2. EXPANSIONS OF MEROMORPHIC FUNCTIONS 79
5.2.2. Find the expansion off into partial fractions in case f satisfies the con-
ditions 1_5 and has a pole Z = 0 with a singular part G(I/z).
5.2.3. Derive the following expansions:
00 n 1
(ii) _'It_ = 2 ~ (-1) (n+ 2 ) Z =1= =f-h =ft, =ft, ...
COS7tZ ~ (n+1.-)2-z2 '
n=O 2
n=O
Z =1= =f+, =ft, =ft, ...
=-+ 2:
00
zsinz 3 2z
.
SlllZ-ZCOSZ z z2- A; .
n=1
where aQn is the square with vertices n7t(=f l, =fi), show that
sinz
-2-
cos z
=
I 00
(-l)n[z-(n+-i-) 7t r 2
"=-00
5.2.10. If 0 < a < l, show that
5.3.1. Iffis meromorphic in K(O; R) and has m zeros a1, a2' ... , am (0 < la 1
:(; la21:(; ... :(; lam!) and n poles b1, b2, ... , bn (0 < Ib 11:(; Ib 21:(; ... :(; Ibn!) in
the closed disk K(O; r), 0 < r < R, show that the following Jensen's formula
holds:
21t
1 ~. rm rn
2 loglf(re,6)ldO = 10glf(0)I+log-1- - - I -log-Ib
b -b-I'
7t 0 a1a2 ... am 1 2'" n
2 -
Hint: The factor r( - az) removes a zero z = a of the function f and does not
r z-a .
change If(re i6)1.
5.3.2. Show that Jensen's formula is valid also in case there are some zeros,
or poles of f situated on C(O; r).
5.3.3. Write Jensen's formula for f having a zero, or pole of order A at the
origin.
5.3.4. Evaluate the integral
21t
1 ('.
<P(r) = ~ ~ loglf(rei6 )ldO
o
as a function of r for:
(i) fez) = z3+2z+3;
(ii) fez) = sinz;
(iii) fez) = cotz.
5.3.5. Let f be meromorphic in K(O; R), 0 < R :(; + 00 We define:
logx for x ~ 1,
log+x = { 0
for 0 ~;; x :_~ 1 ;
5.3. JENSEN'S FORMULA. NEVANLlNNA'S CHARACTERISTIC 81
~ log/f(re'9 )/dO
o
has a constant value.
5.3.7. Determine n(r,f), nCr, l/f) for I(z) = z-ltanz.
5.3.8. Determine T(r,f) for I(z) = eZ
5.3.9. If P(z) = az"+ ... +ao is a polynomial of degree 71, fez) = expP(z),
show that
as r-++oo.
tJ>(r) = 2~ ~
o
log/l(re i9 )/dO ..
ill II convex and incr'easing function of logr.
82 5. MEROMORPHIC AND ENTIRE FUNCTIONS
5.3.12. Suppose / is analytic and bounded in the unit disk, /(0) =f. 0 and
fl(r) = n(r, I/f) is the number of zeros of / in K(O; r). Show that
lim fl(r)logr = O.
r-+ 1-
5.3.:!.3. Let/be an analytic function which is bounded in the unit disk and has
zeros a1 , a2, a3' ... , where 0 < la 11~ la21 ~ la 3 1~ ... and each zero is written
as many times as its multiplicity. Show that
(i) lim Ia1a2 an I exists and is =f. 0;
00
5.3.14. Suppose {an} is a s~quence of complex numbers such that lanl < 1
00
(n = 1,2, ... ),0 < la 11~ la21 ~ ... and L (I-lanD = + 00. Iff, g are analytic
,,=1
and bounded in the unit disk and /(a n ) = g(a n ), n = 1, 2, ... , show that / = g.
n (I+a n),
00
n=l
I+a n =f. 0, is convergent and divergent together with the series
L
00
n=l
Log(1 +an) . A sufficient condition for convergence of the product n (1 +an)
00
n=l
00
Iun(z)I ~ An for every Z E G with LAn < + C(), then the product
n=1 n=1
is convergent in G and represents a function which is analytic in G.
00
5.4.1. If L IU
n=1
nl2 < +00, show that the necessary and sufficient condition for
"=1
00
"~I
U".
5.4. INFINITE PRODUCTS 83
00
the product IT (1 +
n=1
Un) is divergent.
00
5.4.6. Suppose {an} is a sequence of complex numbers such that: lanl < 1
00
f\:pr
n=l
n
+
1
is convergent in the whole plane and every entire function J with zeros at the
points 0, a1 , an, ... and otherwise different from zero can be written in the
form of a Weierstrass product:
J(z) = zmexpg(z) IT
nail
E(: ,mn)'
n
where g is an entire function. In particular, if there eXIsts an integer q such that
00 00
L lanl-
na1
q < + ex), whereas L lanl- +
n=l
q 1 = + IX) , then q is called the genus of the
sequence {an}. Then we may choose mn = q-l for all n. Not all the terms of
5.6. FACTORIZATION OF ELEMENTARY FUNCTIONS 85
the sequence {an} must be different; if a number Zo appears k times in it, then
the corresponding primary factor in the Weierstrass product appears k times.
5.5.1. Verify if the following sequences have a finite genus q and possibly,
determine it:
(i) -1,1, -2,2, ... ; (ii) {log(n+l)};
(iii) {[nj4W}, where [x] denotes the greatest integer n ~ x;
(iv) {sn+itn}, where (sn; t n) is the sequence of all pairs of integers so ordered
that max(ls.l, ItnD increases with n;
(v) {(-I) y'n};
(vi) 1; 2,2; 3,3,3; 4,4,4,4; 5, ...
5.5.2. Determine the Weierstrass product for sequences (i), (ii), (vi) in Exer-
cise 5.5.1.
5.5.3. Derive Weierstrass theorem from Mittag-Leffler theorem.
5.5.4. Show that every meromorphic function f is a quotient of two entire
functions.
5.5.5. Let {an} be a sequence of complex numbers such that ao = 0, am =1= an
for m 1= nand lima n = 00, and let {17n} be an arbitrary sequence of complex
numbers. Let w be the Weierstrass product for the sequence {an} of the form:
(A)
is a.u. convergent in the whole plane and its sum W is an entire function such
that 17k = W(ak), k = 0, 1, 2, ... This is the so-called Pringsheim's interpolation
formula.
5.5.6. Find an entire function F such that F(n) = (n-l)! for all positive
i IItegers n.
(i) sinh ~z = ~z D( 1 + :: );
(ii) coshz-cosz = Z2 n( 1+
cos~z = ll[I-(n~tr].
5.6.4. Evaluate infinite products:
n (1- _I)= _I
co
n=2
n4 8~
(eTt_e-Tt).
(ii) II (+ ~: );
1
(iii) II ( 1- :: ) .
(ii) n 1+ 1161) 1
o (
n=l
sinh 7t ( .r
="2' ~ cosh7t-cos7t ... 3).
sin7tz nO (1 Z_Z2 )
7tz(l-z) = n=l + n+n2 .
sin3::
SInZ
= ~ nO
n=-oo
(1- 4Z2 2 )
(n7t+z)
(z 1= n7t, n = 0, =f1, =f2, '" ) .
5.6.10. Suppose F is an entire function whose zeros a1' a2 , , an, ... are all
simple and satisfy 0 < la 1 1~ la 2 1~ , liman = 00. Suppose, moreover, there
exists a sequence of contours {Gn } satisfying the conditions 10 _4 0 of Exercise
5.2.1 and such that
Prove that
where all the factors corresponding to zeros situated between Gn and C,,+l are
l"Onsidered as one term.
5.6.11. Show that
cos-7tZ .7tZ
4-- SIn --4"-= (l-z) 1+ 3(z)( 1- 5z) ...
88 5. MEROMORPHIC AND ENTIRE FUNCTIONS
[r(z)tl =
,
ze YZ IT (1 + :)
n=l
e- z / n
to show that
7t
F(z)r(l-z) = -.-.
sm7tZ
which is finite, is called the order of the entire junction f. If fez) = CO+Cl z+
+C2Z2+ ... , then
-.- nlogn
(S.7A)
p = hm 10g(l/lcnD'
5.7.6. IfJis an entire function of order p, show thatJ' is also an entire function
of order p, and conversely.
5.7.7. Suppose J is an entire function of order p and m(r) denotes the number
of zeros of J situated inside K(O; r). Prove that m(r) = O(r p + e) , where e > 0
can be arbitrary.
Hint: Cf. Exercise 5.3.1.
5.7.8. (cont.) IfJis an entire function of finite order p and ai' a2 , ... , an,'"
00
are its zeros, 0 < lall :::; la 2 1:::; ... show that for every IY. > p the series 2..: lanl- IX
n=l
is convergent.
5.7.9. Show that an entire function J of finite order p has a representation of
the form
(ii) f eo;n r
n=l
a
zn (a> 0);
2: e-" zn;
00
(iii) 2
n=O
(iv)
cosh lin n
, z.
n.
CHAPTER 6
6.1.1. If I is analytic and not a constant in a domain D, show that III cannot
have in D a local maximum.
Hint: Cf. Exercise 4.2.5.
6.1.2. If I is analytic and not a constant in a domain D, show that III cannot
have a local minimum at Zo ED, unless I(zo) = O.
6.1.3. Suppose I is analytic and not a constant in a domain D and III has a con-
tinuous extension on 15. If I(z) i= 0 in D and m = inflf(z),l, M = sup If(z) I,
z E frD, show that m < I/(z) I < M in D.
6.1.4. Suppose I is analytic in a domain D and If I has a continuous extension
on J5 without being a constant.
If III has a constant value on the boundary of D, show that I(zo) = 0 at
some point Zo ED.
6.1.5. If P is a polynomial of degree n, show that {z: IP(z)1 = A} cannot
have more than n components for any fixed A.
6.1.6. If I is a nonconstant, analytic function in K(O; R), show that
M(r,!) sup I/(z) I is a strictly increasing function of r E (0, R).
\zj=r
logr2-logr I M logr-Iogr 1 I M
Iog M()
r ~ og 1 + - - - - - og 2'
logr 2-logr1 logr 2-logr1
Hint: Consider [/(z)]pz-q, where p, q are suitably chosen integers.
90
6.2. SCHWARZ'S LEMMA 91
6.1.8. Iffis analytic in K(oo; 1), continuous in K(oo; 1) and has a finite limit
at 00, show that If I attains a maximum at a point of C(O; 1). Also prove that
M(r,!) = sup If(z) I strictly decreases, unless f is a constant.
6.1.9. If P is a polynomial of degree nand IP(z) I :0:;; M in K(O; 1), show that
IP(z)1 :O:;;Mlzl n in K(oo; 1).
6.1.10. If P is a polynomial of degree nand IP(z) I :0:;; M for z E [-1, 1], show
that for all z situated inside an ellipse with semiaxes a, b and foci -1, 1 we
have: IP(z)1 :0:;; M(a+b)".
Hint: Consider the mapping z = t(w+w- l ).
6.1.11. Suppose f is analytic and bounded by 1 in absolute value in K(O; 1)
and tends uniformly to 0 in the angle lI. :0:;; argz :0:;; f3 as Izl -+ 1. Show thatf = O.
Hint: Consider the product rp(z) =f(z)f(wz)f(w 2z) .. .f(wn-lz), where
(II = exp (27ti/n) and n is a suitably chosen integer.
6.1.12. Suppose f is analytic in S = {z: Irezl < a} and there exist two real
constants C, A such that If(z)1 :0:;; expAIYI for z = x+iy, Ixl < a, and lim If(z) I :0:;; C
for z -+ a+iyo, resp. z -+ -a+iyo with arbitrary Yo. Show that for all z E S
we have: If(z) I :0:;; C.
Hint: Consider rp(z) = f(z)exp(ez2) , e > O.
6.2.1. Iffis analytic and iess than 1 in absolute value in K(O; 1) and if/CO) = 0,
show that either If(z) I < Izl in K(O; 1)",0, or elsef(z) = ei<x z with some real lI..
Hint: Consider z-lf(z).
6.2.2. If f is analytic in K(O; 1) and If(z) I < 1 for all z E K(O; 1), show that
6.2.7. If 0 is analytic in K(O; 1) and 10 (z) I < 1 in K(O; 1), 0(0) = oc > 0,
show that the set of all values taken by 0 in R(O; r) is contained in K(zo; p),
where
and
U
flint:
Conslder :'4
rI()z = 1O(z)-oc
( ).
-ocO Z
6.2.8. (cont.) Show that any point of K(zo; p) is a value of a certain function
0 taken at a point of K(O; r).
6.2.9. (cont.) Find the set D, of all possible values taken in K(O; r) by functions
0 analytic in K(O; 1) and such that 0(0) ;;;: 0, 1O(z) I ~ 1.
6.2.10. If Q is a polynomial of degree n with complex coefficients and
IxQ(x)1 ~ M for x E [-1, 1], show that
IQ(z)1 ~ M(I+v'2)n+\ z EK(O; 1).
Hint: Cf. Exercise 6.1.10.
6.2.11. If Q is a polynomial of degree nand
1(z-'I]) Q(z) I ~ M, z E ceO; 1) ('I] is a constant, 1'1]1 = 1),
show that
IQ(z)1 ~ t(n+2)2 M, z E K(O; 1).
6.3. SUBORDINATION
6.3.5. If I is analytic in K(O; 1),/(0) = 0 and Ire/(z) I < 1 in K(O; 1), show
that
(i) 11'(0)1 ::(~;
7t
..) I/( )
(11 2 I 1+lzl
z I ::( --;- og l-lzl .
6.3.6. If/is meromorphic in K(O; 1),J(0) = 0 and all the values of/lie outside
K(a; r), show that
11'(0)1::( rcot 2 a, a = arcsin(r/lal).
6.3.7. Let 9 be the class of all functions p analytic in K(O; 1) and such that
p(O) = 1, rep(z) > 0 in K(O; 1). Show that for a given, fixed z (0 < Izl = r < 1)
the valuesp(z) cover the whole disk with diameter [(I-r)(1+r)-\ (1+r)(1-r)-1]
as p ranges over 9.
6.3.8. Given z E K(O; 1) find precise estimates of Ip(z)1 and arg p(z) valid for all
p E 9.
6.3.9. Given z E K(O; 1) find precise estimates of rep(z) and imp(z) valid for
all p E 9.
6.3.10. If I is analytic, does not vanish and I/(z) I < M in K(O; 1), show that
1-lzl 21z1
II(z) 1::( 1/(0)1 1 + 1"1 M 1-IZ I, z EK(O; 1).
Hint: Consider log [Ml{(z)].
6.3.11. Suppose {f,,} is a sequence of functions analytic and non-vanishing
co
in K(O; 1) and such that If,,(z) I < M for all n and all z E K(O; 1). If l: I/n(O) I
n=1
.. +00, show that l.Jfn(z)]2 is uniformly and absolutely convergent in K(O; t).
6.3.12. Suppose I is analytic in K(O; 1) and 1(0) = O. If I does not take the
vulue a (0 < IX < 1) and satisfies Iftz) I < 1 in K(O; 1), show that
6.3.13. Let Fbe an analytic function which maps the unit disk 1: 1 onto a con-
WI( domain D so that F(O) = 0, F'(O) = 1. If I is an odd function subordinate
10 F in K(O; 1), show that
94 6. THE MAXIMUM PRINCIPLE
Hint: Consider cp(z) = ~[f( ::;z )+f( :~;z)]. 0 < letl < l.
6.4.6. If u is harmonic in {z: R1 < Izl < R 2} and A(r) = sup u(rei8 ) , show
o
that A(r) is a convex function of log r.
Hint: Find a function harmonic in {z: r 1 < Izl < r2} equal to A (r k ) on
C(O; rk), k = 1, 2.
,
6.4.7. Letfbe analytic and univalent in K(O; R) withf(O) = O. If the image
curve of ceO; r), 0 < r < R, is starshaped w.r.t. 0 (i.e. argf(re i8 ) is an increasing
function of 0), show that also the image curves of all ceO; p), p < r, are starshapco
w.r.t. O.
Hint: cr. Exercise 1.1.20 (i).
CHAPTER 7
Analytic Continuation.
Elliptic Functions
l+z+z2+ ... , +
I~i [I ~=.~ +(~=~r +. .J
nrc direct analytic continuations of each other.
95
96 7. ANALYTIC CONTINUATION. ELLIPTIC FUNCTIONS
7.1.7. If the radius of convergence of 2: anz" equals to 1 and all an are non-
11=0
00
negative, show that (2: a"z", K(O; 1)) has no direct analytic continuation
"=0
(f, D) with 1 ED.
7.1.8. If 2:cn
is a convergent series with positive terms and {w,,} is the sequence
of all rational numbers, show that
L C,,(Z-w )-l
00
/(z) = n
11=1
is analytic in the upper half-plane H+ and also in the lower half-plane H_. Also
prove that the function elements (f, H+), (/, H_) are not analytic continuations
of each other. .
7.1.9. Give an example of a function/analytic in K(O; 1) and continuous in
K(O; 1) such that for any direct analytic continuation (fl, D) of (I, K(O; 1)
we have D c K(O; 1).
7.2.1. If I is an entire function and takes real values on the real axis and
imaginary values on the imaginary axis, show that I is odd.
7.2.2. If I is meromorphic in K(O; l+h), h > 0, and If(z) I = I on C(O; 1),
show that I is a rational function.
7.2.3. Supp,?se I is meromorphic in a domain D symmetric w.r.t. the real
axis and real on it. If a is a pole ofI and A = res(a; f), show that res(ii; I) = A.
7.2.4. Suppose I is meromorphic in a domain D symmetric w.r.t. an arc
C of C(a; R) and real on C. If b i= a is a pole of order n with singular part
n
2..: ck(z-b)-k, show that
k=l
7.2.8. Find the 1: 1 conformal mapping of the upper half of K(O; 1) onto
Ihe' upper half-plane {w: imw > O} carrying the diameter (-1, 1) into the
rlly (-!.-I- 00) and its center z = 0 into w = o.
98 7. ANALYTIC CONTINUATION. ELLIPTIC FUNCTIONS
7.3.1. If a function element (f, D),DcK(O; 1),",,0, can be continued along any
path situated in the punctured unit disk K(O; 1)"-.0, show that eac;h function
clement obtained by continuations within this domain has the form F(logz) where
F(w) is analytic in the left half-plane {w: rew < O}.
7.3.2. If an entire function g taking all finite values has a non-vanishing de-
rivative, show that it is a similarity transformation, i.e. g(z) = az+b (a 1= 0).
7.3.3. (cont.) Suppose I is an entire function such that f(z)/'(z) 1= 0 for all z.
Prove that I(z) = exp(az+b) (a 1= 0).
7.3.4. Let I be analytic in a domain D and let K = K(zo; r) cD. Prove that
the function element ( ~ l(C)de, K) can be continued along any regular arc y
[zo.z]
~Iarting at Zo and situated in D. If y joins Zo to Z in D, show that the value F(Z)
of the terminal branch equals ~ 1(1;) de .
1
7.3.5. (cont.) Prove Cauchy's theorem in homotopic form: If I is analytic in
/) and the arcs Y1' Y2 with common end points zo, ZED, are homotopic w.r.t.
n. then~/(z)dz= ~f(z)dz.
11 12
7.3.8. Prove that any nonconstant entire function assumes all values in the
finite plane except at most one.
7.3.9. Show that Q(w) = A( 10:iw ) is analytic in the unit disk {w: Iwl < I},
00
does not depend on the choice of argw and has the form: Q(w) = ~
.:.....J
Ak wk
k=l
with Al > 0 and all Ak real. Also prove that A( -r) e- im --+ Al as im -r --+ + CXl
7.3.10. (cont.) Verify that Q has in some disk K(O; b) a univalent inverse
function which can be continued along any path in the open plane omitting
the points 0, 1. Also verify that Al > 1.
[Remark: one can prove that Al = 16, cf. [1], or [24]].
7.3.11. Suppose I is analytic in the unit disk,/(O) = 0, and I(z) 1= 0, 1 for
o< Izl < 1. Show that I is subordinate to Q in the unit disk.
7.3.12. Let I(z) = a l z+a 2 z 2 + ... be analytic in the unit disk and let I(z)
be different from 0, 1 in 0 < Izl < 1. Show that lall :s;; 16.
7.4.1. If one of the vertices of D is the image point of Xn = 00, show that
the mapping function has the form
z n-1
fez) = C~
o
IT (C
k= 1
-Xk)"'k- 1 dC+C1
7.4.2. Find the function mapping the upper half-plane onto the inside of an
equilateral triangle. Using the formula
1
7.4.9. Find the mapping of the upper half-plane imz > 0 onto the strip domain
0< imw < 7t slit along the ray imw = Vi' rew ~ 0 (0 < Vi < 7t).
7.4.10. Find the mapping of the upper half-plane imz > 0 onto the first
quadrant slit along the ray: im w = 7t, re w ;;:: h, which carries the points z = 0,
a 2 into w=O, h+7ti (a>l,h>O).
7.4.11. Suppose F is a function analytic and non-vanishing in K(O; r5) which
has a constant argument on (- r5, r5). Prove that the function
Z
W(z) = ~ C- 1F(t;)dt;
Zo
where zoEK(O; r5), imzo >0, is analytic in K(O; r5)",,-(-ir5,O] and maps the
radii (- r5, 0), (0, r5) onto two paralle} rays the distance between them being
equal to 7tIF(O)I.
7.4.12. Find the image domain of the upper half-plane under the mapping
~
z dt;
w-Hz- (0 < a < b, imzo >0).
- ()- t;(t;-b)}ft;-a
Zo
Find the distance between two parallel rays in each pair of boundary rays and
evaluate b so as to make both distances equal.
7.4.13. Show that the mapping
Z
inside of a simple, closed polygonal line has the same form as in (7.4A), Xk being
replaced by the points on the unit circle.
7.4.18. Show that the mapping
carries the unit disk into the inside of a regular n-angle. Evaluate its perimeter.
7.4.19. Find the mapping of the unit disk It I < 1 onto the n-pointed star
(i.e. 2n-angle whose all sides and alternate angles are equal).
7.4.20. Map 1: 1 conformally the unit disk It I < 1
(i) onto a pentagram (a five-pointed star obtained by extending the sides of
a regular pentagon);
(ii) onto a Solomon's seal (a six-pointed star formed of two congruent equi-
lateral triangles placed one upon another).
7.4.21. Show that the mapping
W = A Jrrrn [ l-zkC
k=I (l-CkC)1+ k P
]
dC+B
where Zk = expicpk, Ck = expiVJk> 0:;:;;; CPI < VJI < CP2 < VJ2 < ... < 1j)n < 27t,
n
11k> 0, L (h = 2, carries the unit disk Izi < 1 into the w-plane slit along
k=l
I herays 11 , 12 , ... , In. Verify that Zk correspond to the end-points of Ik and fh
are angles between Ik+l and Ik (/n+l = 'i)
7.4.22. Show that the mapping
z
W = r~_~_d_t===--
~ (1-t 4 )Jh+t 4
l"nrries the unit disk Izi < 1 into the domain
(w: Irewl < ta} u {w: limwl < ta}.
I'valuate a.
7.4.23. Prove that the function J mapping 1: 1 conformally the unit disk
1.:1 ..:: 1 onto a convex domain bounded by a polygonal line and such thatJ(O) = 0
hilS the form
z n
J(z) = A ~rr (l-texpiOk)-a.kdt+B
o k= 1
104 7. ANALYTIC CONTINUATION. ELLIPTIC FUNCTIONS
n
where 0 ~ 01 < O2 < ... < On < 21t, OCk>O, L
k=1
OCk ~ 2.
Verify that
If'(z) I ~ 1f'(0)1(1-lzl)-2, If(z) I ~ 1f'(O)llzl(1-lzl)-l.
k=1
1c
is continuous on C(O; 1) and maps it onto a closed polygonal line L with interior
angles (1- OCk) 1t. If L has no self-intersections, show that W is meromorphic
and univalent in K(O; 1) and maps it onto the outside of L.
7.4.26. Find the 1: 1 conformal mapping of the outside of the unit disk onto
the outside of a triangle with exterior angles OCk 1t (k = 1, 2, 3) such that the
points 'fJk on C(O; 1) correspond to the 'vertices and the points at infinity to each
other. Find the relation between OCk and '17k.
7.4.27. Iff maps 1: 1 conformally the outside of the unit disk onto the outside
of an equilateral triangle T so that f( (0) = 00, show that the preimages of ver-
tices of T also form an equilateral triangle.
,
7.4.28. Find the 1: 1 conformal mapping f of the outside of the unit disk
onto the outside of a regular n-angle such that f(oo) = 00 and f(r/) = 'YJk
('YJ = exp(21ti/n), k = 0, 1, ... , n-l).
7.5. FUNCTIONS sn, cn, an 105
z
7.5.1. If u = ~ (6- 5t 2+t4)-1/2dt, show that
o
z = V 2 sn(uV3, vt).
z
7.5.2. If u = ~ (1-t 4)-1/2dt, show that
o
z = cn[}i2 (u-K), 2- 1 / 2 ].
7.5.3. Let k' be the complementary modulus w.r.t. k, i.e. k' = y1-k2. Show
that K(k') = K'(k) and K(k) = K'(k').
7.5.4. Derive. the expansions:
(i) sn(u, k) = u-(1+e)u 3 /3!+(1+14k 2+e)u 5 /5!- ... ;
(ii) cn(u, k) = 1-u2/2!+(1+4k 2)u4/4!+ ... ;
(iii) dn(u, k) = 1-k2U2/2!+k2(4+k2)U4/4!+ ... ;
lind find the radius of convergence in each case.
7.5.5. Express K(k) as the sum of a power series. Verify that K'(k)/K(k) is
IL strictly decreasing function of k E (0, 1) which decreases from +00 to O.
106 7. ANALYTIC CONTINUATION. ELLIPTIC FUNCTIONS
7.5.6. Show that sn(u+iK') = (ksnu)-l. Find the initial terms of the Laurent
expansion of snu in the neighborhood of u = iK'.
7.5.7. Determine the periods, zeros and poles of sn(iv, k') as depending on k.
7.5.8. Verify the identity sn- 2 (u, k)+sn- 2(iu, k') == I.
7.5.9. Find an elliptic function f(u) with periods 2, 2i which has simple zeros
at points whose coordinates are either both odd, or both even and has simple
poles at points whose one coordinate is even and the other one odd. Discuss
the uniqueness.
7.5.10. If z moves round the rectangle with vertices iK', 0, K, K+iK', show
that w = cnzj(1 +snz) moves round a quadrant of the unit disk.
7.6. THE FUNCTIONS a, C, f.J OF WEIERSTRASS
n=-oo
(q-znz+qznz-1_2)-1-12-2 L:
n=l
00
(qZn+q-Zn_2)-1.
7.6.S. Suppose fIJ has periods 2a, 2bi, where a, b are real and positive. Show
that
(i) fIJ is real on both axes;
(ii) fIJ is also real on straight lines rez = an, imz = bn (n = 0, =fl, =f2, ... );
(iii) fIJ maps 1:1 conformally any rectangle R: na<rez< (n+l)a,
mb < imz < (m+l)b, m, n = 0, =fl, =f2, ... onto the lower, or the upper
half-plane.
7.6.9. If fIJ(z) = fIJ(z; 20,20'), imw = rew' = 0 and fIJ(w) = e1, fIJ(w+w')
e3, fIJ(w') = ez, show that ez < e3 < 'e1' and ez < 0 < e1' Prove that the
converse also holds.
7.6.10. (cont.) Show that
[fIJ(u+w)-e1] [fIJ(u)-etJ = (e1-eZ)(e1-e3)'
7.6.11.Ifez<e3<e1,k= V e3-eZ
e1 -e2
.
andflJhaspenods./,./
2K(k)
J' e1-e 2
2iK'(k)
J' e1- e2
verify the identity:
fIJ(u(e1-e2)-1/Z) = eZ+(e1-e2)sn-Z(u, k).
7.6.12. Derive Legendre formula:
'f}1WZ-'f}ZW1 = =f7ti
where 'f}k = C(-}Wk), k = 1,2.
/lint: rntegrate C(z) round the parallelogram with center 0 and sides 01' 0 2
108 7. ANALYTIC CONTINUATION. ELLIPTIC FUNCTIONS
7.6.13. Suppose a(z) is the Weierstrass a-function with zeros m+n-r (im T > 0;
m, n = 0, =f1, =f2, ... ) and
1}(z) = exp{-1]lZ2} a(z) , where 1]1 = C(+) = a'(+)/a(+).
Show that
(i) 1} is an entire function with the same zeros as a;
(ii) 1}(z+l) = -1}(z), hence 1} has the period 2;
(iii) 1}(Z+T) = -1}(z)exp[-7ti(2z+T)].
7.7.1. Suppose a, b are real and positive, {z: -a < rez < 0, 0< imz < b}
= Rand w = fez) is the univalent mapping of R onto {w: im w > O}"", K(O; 1)
such that the points z = 0, ib, ib-a, -a and w = 00, -h, -1, 1
(h > 1 depends on a, b) correspond to each other. Use the reflection principle
to show thatfhas a double pole at the origin and is doubly-periodic with periods
4a, 2ib.
If ~(z) = ~(z; 4a, 2ib) and e1 = ~(2a), e2 = ~(ib),e3 = ~(2a+ib), show
that
7.7.2. Find the function mapping 1: 1 conformally the annulus 1 < lei < Q
onto K(oo; 1)"",(-00, -h] where h> 1. Also find the relation between Q
and h.
7.7.3. Show that the mapping w = yksn(u, k) carries the open segment
(-K++iK', K++iK') into the upper semicircle of C(O; 1).
7.7.4. (cont.) Show that the image domain of the rectangle with corners
=fK=f~ iK' is the unit disk Iwl < 1 slit" along the radial segments (-1, -Vf],
[Vk, I).
. K'(k) 1 a+b
7.7.5. If 0 < b < a and k IS such that 2K(k) = --;-log a-b show that the
function
w = w(z) = V k sn [2K(k)
1-
7t arcsin Va z_b
2 2
, k]
2 2
is analytic in H, where H is the ellipse with boundarY;i- + -t-2- = 1.
Also prove that w = w(z) maps HI: 1 conformally onto the unit disk.
7.7. CONFORMAL MAPPINGS 109
8.1.1. Show that the finite plane C cannot be mapped 1: 1 conformally onto
the unit disk.
8.1.2. Give an example of a locally univalent mapping I of the unit disk such
that 1(0) = 0, /,(0) = 1 and I[K(O; 1)] = C.
Hint: Verify that q(w) = we w takes every finite value in G = C"'-( - 00, -1].
8.1.3. Suppose D is a Jordan domain and g is a real-valued function harmonic
inD"'- zo, continuous vanishing on fr p and tending to + ex) as Z --+ Zo' Find the
univalent function mapping D onto K(O; 1) in terms of g.
8.1.4. Suppose D is a Jordan domain and it ,12 are two mapping functions
of Riemann's theorem such that II (Zk) = 12(Zk) at three boundary points Zk
of D. Show that II = 12'
110
B.2. POISSON'S FORMULA 111
8.1.6. Find the images of arcs of C(1; 1), C(O; 1), re r = t- contained in To
under the mapping l = l( r), where l is the modular function. Also evaluate
lct+ it y3), lei): l(l+i).
8.1.7. Construct by means of Riemann's mapping theorem a univalent function
having C(O; 1) as its natural boundary.
8.1.8. Suppose D is a simply connected domain whose boundary contains
at least two points and a ED. Show that D can. be mapped onto K(O; r) under
a univalent function rp so that rp(a) = 0, Irp'(a)1 = 1. Verify that r = rea; D)
is uniquely determined by D and a.
The number rea; D) is called the inner radius of D at a.
8.1.9. If I is univalent in K(O; 1), D = I[K(O; 1)] and a = I(zo) , show that
rea; D) = (l-lzoI2)1f'(zo)l. .
8.1.10. Find the inner radius of:
(i) the disk K(O; R) at a, lal < R;
(ii) the upper half-plane at ih (h > 0);
(iii) the plane slit along a ray at a point on its prolongation whose distance
from the end of the ray is equal to d.
8.1.11. If rp is a univalent mapping of a simply connected domain Do onto D
and a = rp(a o), show that rea; D) = Irp'(ao)lr(ao ; Do). Otherwise, the metric
Idwl/r(w; D) remains unchanged under 1: 1 conformal mappings. It is called
the hyperbolic metric.
8.1.12. Consider all univalent functions in a simply connected domain Do which
satisfy: rp(a o) = 0, rp'(a o) = 1, where ao is a fixed point of Do. Show that the
area of the image domain has a minimum, if rp(Do) = K(O; r), r = r(ao; Do).
Hint: Exercise 4.2.12.
8.1.13. Suppose that G is a domain in the extended plane
n
Cand C",G is a finite
union U
k=l
r k of n disjoint continua. PrOve that G can be mapped 1: 1 conformally
onto a bounded domain whose boundary consists of n closed, analytic Jordan
I:urves.
8.1. POISSON'S FORMULA
8.2.4. Find the function u harmonic in K(O; 1), continuous in K(O; 1) and
such that u(ei9 ) = cos 2 0.
8.2.5. Given two complementary arcs C(, (J of C(O; 1) and a function U vanishing
on (J and equal to 1 on C(. Find a corresponding function u according to (8.2A).
Show that 27tu(z) is equal to the length of an arc 'Y of C(O; 1) cut off by the
straight lines through z and the end points of C(.
8.2.6. Show that the limit function u of an a.u. convergent sequence {un}
of harmonic functions is harmonic.
8.2.7. Derive the formula (8.2A) under the assumption that U has in [0, 27t]
a Fourier series representation:
L (ancosnO+bnsinnO).
00
U(O) = t a o+
n=l
8.3.3. Show that any Jordan domain is regular with respect to the Dirichlet
pl'Oblem. If z = $(w) maps G 1: 1 conformally onto the unit disk Izl < 1, express
Ihe solution by means of $.
8.3.4. Find the solution h of the Dirichlet problem for the domain
(,' K(-1; vi) (") K(1; )i2) with boundary values H(w), W EfrG.
Hint: Exercise 2.9.6.
8.3.5. Prove that the visual angle w(z) of the segment [a, b] of the real axis
ill a point z = x+iy of the upper half-plane is a harmonic function. Find lim W (z)
.-+C
Ii II' , situated on the real axis.
H.3.6. Given a system of n+ 1 points on the real axis Xo < Xl < X2 < .. , < x"
IIl1d n real numbers Ul, U2, , Un' Find the function u bounded and harmonic
III Ihe upper half-plane whose boundary values on the real axis form a step
114 B. THE DIRICHLET PROBLEM
function equal to 0 on (- 00, XO), (Xn , + 00) and equal to Uk on (Xk-l, Xk),
k=I,2, ... ,n.
8.3.7. Find the solution of Dirichlet's problem for the upper half-plane and
continuous boundary values U, where U vanishes outside a finite interval [a, b].
8.3.8. Suppose U is a real-valued function of t E ( - 00, + 00) such that
+00
is harmonic in the upper half-plane and lim u(z) = U(to) for any continuity
z-+to
point to of U.
8.3.9. Suppose H is the interior of the ellipse 3X2+4y2 = 12 and L is the
segment with end points at its foci. Find the function u harmonic in H~L,
continuous in ii, equal to 1 on fr H and equal to 0 on L.
8.3.10. Find the function u harmonic and bounded in C~ {( - 00, -1] u
u [1, +oo)} which is equal to -h on (-00, -1] and equal to h,on [1, +00).
8.3.11. Find the function u harmonic outside the ellipse
'x2 y2
l2 +[;2 = 1 (a> b > 0)
such that u(z) -+ A as z approaches the ellipse and u(z)-loglzl = 0(1) as
Z -+ 00. Discuss the uniqueness. Find the value A for which u(z)-loglzl = 0(1)
as z -+ 00.
Hint: Consider first an analogous problem for the unit disk.
8.3.12. Suppose u is harmonic and bounded in the upper half-plane slit along
[i, + ioo) and has the boundary values 0 on the real axis and boundary values 1
on the ray [i, +ioo). Find the derivative ~: on the real axis.
Suppose f is analytic in the upper half-plane and lim If(z) I ~ 1 for any real
Z-->-X
and finite x. If M(r) = sup If(re i8 )1, then either lim 10gM(r) > 0, or else
0<0<" '-->-+00 r
If(z) I ~ I in the whole upper half-plane.
(8.5A)
8.5.1. Show that any bounded domain regular w.r.t. the Dirichlet problem
has Green's function.
Hint: Consider Dirichlet's problem with boundary values 10gIC-zol.
8.5.2. Show that any simply connected domain G whose boundary contains
at least two points, possesses Green's function. Express it by means of the uni-
valent function mapping G onto K(O; 1).
8.5.3. If the domain Gz has the classical Green's function and z = z(w) is
a I: 1 conformal mapping of Gw onto Gz show that also Gw has the classical Green's
function and g(w, Wo; Gw ) = g(z(w) , z(wo); Gz).
8.5.4. Suppose G is a simply connected domain whose boundary is an analytic
Jordan curve rand f is a univalent mapping of G onto K(O; 1).
If Zo E G and c!>(z) = [1-f(zo)f(z)]f[f(z)-f(zo)], show that the interior normal
derivative of g(z, Zo; G) is equal to Ic!>' (C) I, C E frG.
8.5.5. Determine g(z, Zo; K(O; 1 and derive Poisson's formula from (8.5A).
8.5.6. Determine Green's function for the upper half-plane and derive the
formula of Exercise 8.3.8 from (8.5A).
B.S. GREEN'S FUNCTION 117
8.6.1. Verify that L2(G) is a complex, linear space with the usual definitions
of addition and multiplication by numbers.
8.6.6. show that for any ~ E G there exists fo E L 2 (G) which has the minimal
norm (f,f)1/2 among all f E L 2(G) taking the value 1 at the point 1;.
8.6.7. (cont.) Prove that for any g E L2(G) with g(1;) = 0 we have (g '/0) = O.
Hint: Consider f* =fo+ee i8g (e > 0, 0 ~ () ~ 27t).
8.6.8. An analytic fun~tion k of Z E G depending on a complex parameter
~ E G and defined by the formula
k(z, 1;) = Ilfoll- 2fo(z, 1;),
where fo is the solution of the extremal problem considered in Exercise 8.6.6
is called Bergman kernel function.
Express k(z, 1;) in case G is simply connected, by means of the univalent
function w mapping G onto K(O; 1) and such that w(1;) = O. Also verify the
uniqueness.
Hint: Exercise 8.1.12.
8.6.9. Determine k(z, ~) for: (i) G = K(O; R); (ii) G = {z: imz > O}.
8.6.10. CAven k(z, 1;) for a simply connected domain G, find the univalent
function w mapping G oItto K(O; 1) so that w(1;) = 0, w'(1;) > O.
8.6.11. Verify the reproducing property of k:
k(1;, ~) = ~~ Ik(1;, z))i 2 dxdy and Ik(1;, '])1 2 ~ k(1;, 1;)k('], ']).
G
8.6.13. Verify that the reproducing property of Exercise 8.6.11 implies the
uniqueness of k.
8.6.14. Suppose {IP.} is a complete, orthonormal set of functions in L 2 (G)
(i.e. (lPj, IPk) = ~jk with ~jk = 0 for'j i= k, ~kk = 1 and the linear combinati~ns
\ ' CklPk form a dense set in L 2 (G)).
("":"'0
rr f, g E L2 (G) and ab bk are Fourier coefficients off and g, resp., show that
,,, 00
= L
n=-co
bnzn in A, find the conditions for coefficients bn in order that J
belong to the class L2 (A).
8.6.19. Examine the behavior of k(z, C) under conformal mapping. Show that
yk(" C)ldCl is a conformal invariant.
CHAPTER 9
9.1.1. Express the velocity wand its absolute value JwJ in terms of the complex
potential of flow.
9.1.2. Prove the following uniqueness theorem for the velocity potential:
if the domain D is swept out by regular arcs y and on each y the functions u, U
have both a constant value (depending on y), then U = Au+B, where A, B
II rc real constants.
/lInt: Consider ux-iuy.
121
122 9. TWODIMENSIONAL VECTOR FIELDS
9.1.3. The lines of flow are circles x 2+y2-2ax = O. Find the complex po-
tential of flow. Evaluate the ratio of velocity of two particles of fluid passing the
points 2a, a(1+i).
9.1.4. The lemniscates r2 = a 2cos2(J (r, (J are polar coordinates) are the
lines of flow. Evaluate the ratio of velocity of particles passing the points z = a,
z = aC}irt + iJl't) (a is real).
9.1.5. Find the loci of constant velocity for the flow pattern as considered
in Exercise 9.1.3.
9.1.6. Discuss the equipotential lines and the lines of flow and evaluate the
velocity, if the complex potential of flow is equal: (i) az; (ii) aiz; (iii) Z-l; (iv)
z-b
log--; (v) Z2; (vi) alogz; (vii) ailogz (a > 0).
z-c
9.1.7. If the volume of fluid flowing outside across a cylindrical face of height 1
and basis C(a; r) is equal Q for all r sufficiently small, the point a is called a source
of intensity Q. If the flux Q is negative, the point a is called a sink of intensity IQI.
The line integral ~ wsds, where Ws is the tangent component of velocity and y
y
is a contour, is called the circulation along y. If the circulation along all contours
r
containing the point a inside and sufficiently close to a is equal 1= 0, then
a is called a vortex.
If y is a contour containing inside one singular point and f is the complex
potential of flow, show that
r+iQ = ~f'(z)dz.
y
9.1.8. Given a flow with complex potential log(z2 +Z-2). Evaluate sources
and sinks and the corresponding intensities.
9.1.9. Discuss the flow pattern with the complex potential 2ilog(Z2_ a2).
Evaluate the circulation along the cir~les Iz=Fal = a.
9.1.10. The complex potential of flow is equal log sinh 1tZ. Evaluate the flux
across the circle C(O; t) and the circulation along it.
9.1.11. Evaluate the complex potential of flow of fluid from the lower half-
plane into the upper half-plane through an orifice in the real axis between 1 and
-1 supposed the velocity at 00 is equal 0 and the flux across the orifice is equal Q.
Find the pressure at various points of the orifice.
9.1.12. Evaluate the complex potential of flow past a circular cylinder with
cross-section CeO; I) immersed in a parallel stream, assuming that the velocity
9.1. FLOW OF INCOMPRESSIBLE FLUID 123
Woo at infinity is parallel to the real axis. Evaluate the velocity at z = i and z = 2,
as well as the difference of pressure at these points.
9.1.13. Evaluate the -complex potential of flow past an elliptical cylinder
x2 y2
7 + lJ2 = 1 (a > b) immersed in a parallel stream, if the velocity at in-
finity is equal Woo e i (0( real, woo> 0).
9.1.14. Consider analogous problems for cylinders with cross-sections:
(i) K(-i; y'2) n K(i; ]/':2);
(ii) [-ih, ih].
9.1.15. Evaluate the complex potential of flow with a source of intensity Q
at z = a, assuming Woo = O.
9.1.16. Evaluate the complex potential of flow with a source of intensity Q
at -1 and a sink of the same intensity at z = 0, assuming Woo = O.
9.1.17. Evaluate the complex potential of flow in the first quadrant with a source
of intensity Q at l+i and a sink of the same intensity at z = 0 assuming Woo = O.
9.1.18. Discuss the limiting case as h --+ 0 of flow with a source of intensity
p/h at z = h and a sink of the same intensity at z = -h (a dipole of the mo-
mentum p). Find the loci of constant velocity.
9.1.19. Evaluate the complex potential of flow with a vortex at z = a involving
the circulation r.
Assume Woo = O. .
9.1.20. Evaluate the complex potential of flow in the upper half-plane under
the assumption there exists a source at z = ai of intensity Q and the velocity
at 00 is parallel to the real axis. Find the velocity at z = O.
9.1.21. Consider analogous problems as in Exercise 9.1.20 assuming that:
(i) z = ai is a dipole of the momentum p and Woo > 0;
(ii) z = ai is a source-vortex of intensity Q involving the circulation r.
9.1.22. Determine the complex potential of flow past a cylinder with the
cross-section K(O; 1) with a vortex z = ai (a > 1) involving a circulation r.
Assume Woo = O.
9.1.23. Evaluate the complex potential of flow past a cylinder with the cross-
Ncction K(O; 1) assuming that z = a (a > 1) is a source of intensity Q and
II'", . O.
( R2) + 27ti
J(Z) = a z+--z
r logz
corresponds to an asymmetric flow past a circular cylinder with the cross-section
K(O; R). Determine the real constant a so that z = iR is the only point where
the stream lines enter (and exit) the cylinder cross-section. Find the velocity at
00 in this case and evaluate the force acting on the cylinder according to the
Joukovski lift formula.
opposite sign =Fq per unit of length, the distance of wires being 2h, 2qh -+ M
as h -+ O. Find the field strength and the loci of a constant field strength.
9.2.5. If (1 is the density of charge on the surface of a cylindrical conductor
and "P is the real electrostatic potential, show that (1 = - :7t . ~~ .
Hint: The flux of the electrostatic vector field across a closed surface S is
equal to 47t times the total charge inside S (Gauss theorem).
9.2.6. Given the potential "P outside a charged cylindrical conductor with the
cross-section r,
evaluate the total charge on the conductor.
9.2.7. A n-tuply connected domain G whose boundary consists of two disjoint
systems r o , r 1 , of closed analytic curves determines an electrostatic condenser.
The systems ro, r 1 correspond to the cross-sections with the plane of reference
of two systems of conductors (outer and inner coatings), the potential of con-
ductors of either system being kept on the same level. Usually the inner coating
is charged and the outer one is grounded so that its potential is equal to zero.
Show that the total charges qo, ql on both coatings are equal but have opposite
signs.
Hint: Consider the int~gral ~ :"P ds and apply the Green's formula:
ro+r, n
9.2.8. (cont.) If "Po, "P1 are potentials of ro, r 1 resp., and q is the charge on
1'1' the ratio c = q /("PI -"Po) does not depend on "Po, "P1 and is called the capacity
of a condenser. If w(z} = w(z; r 1 , G) is the harmonic measure of r 1 w.r.t. the
domain G, show that
47tC = ~~ (w~+w;}dxdy.
G
9.2.11. Show that the capacity c of a pair of long conducting parallel wires
of radius a separated by a distance b is equal
9.2.16. Prove that Robin's constant for the exterior of the ellipse
x2 y2
(i2+V= 1 is equal to -Iogi-(a+b).
CHAPTER 10
Univalent Functions
10.1.3. Using the Schwarz formula (Ex. 8.2.2) prove the following theorem
due to Herglotz:
Let f be analytic in K(O; R) with f(O) = 1 and ref(z) > 0 for all z E K(O; R).
There exists an increasing function {t of t E [0,2,,], {teO) = 0, {t(2,,) = 1 such
that
2" .
~
Ret+z
fez) = -R-'t- d{t(t).
e -z
o
t
flint: Consider the sequence {t,,(t) = (27tr 1 ~ u(R" ei8 ) d() , where u(z) = ref(z),
o
127
128 to. UNIVALENT FUNCTIONS
10.1.4. Let f!J' be the class of all functions analytic in K(O; 1) and such that
f(0) = 1, ref(z) > 0 in K(O; 1). Show that the function (1+z)/(1-z) belongs
to !?J and cannot be represented by the Schwarz formula in the unit disk. Write
a corresponding Herglotz representation.
10.1.5 If H is a fixed, continuous, complex-valued function of t E [a, b]
and I-' is a variable, increasing function of t E [a, b] subject to the conditions
1-'(0) = 0, 1-'(1) = 1, show that the set of all possible values of the Stieltjes in-
b
tegral ~ H(t)dl-'(t) is identical with the convex hull of the curve F: w = H(t),
a~ t ~ b.
10.1.6. If Cn is the 11th Taylor coefficient at z = 0 off E t!I', express Cn in terms
of the function I-' of Exercise 10.1.3. Show that en E K(O; 2). Also show that for
any Wo E R(O; 2) and any positive integer n there exists hE!?J such that
h(n) (O)/n! = wo.
10.1.7. Using Exercises 10.1.3 and 10.1.5, find the region of variability of the
point fez) for fixed z E K(O; 1) and f ranging over !?J.
10.1.8. If f E f!J' and argf(zo) = oc, show that
f'(zo) I2cos oc
\ f(zo) ~ I-lzol2 .
1
Hint: Consider qJ(z) = [f( ttz:oz) -f(zo)] [f( t:z:oz) +f(zo)T
10.1.9. Let f be analytic in K(O; R) and :1= 0 in K(O; R)",O. Suppose "P is
a positive, differentiable function of r E (0, R) such that
If'(z) I d
fez) ~ dr log"P(r~ =
"P'(r)
"P(r) , Izl = r.
Show that for any real, fixed 0 the function If(re i6 )""P(r) decreases in (0, R)
and the finite limit lim If(rei 6)""P(r) exists.
' ....R-
10.1.10. If f E f!J', show that for any fixed () the finite limit lim (1- r )f(reiO )
' .... 1-
exists.
10.1.11. If the function I-' of ExerciselO.1.3is continuousatt = () (0:1= 0, 21t).
show that
lim (l-r)f(re i6 ) = O.
' .... 1-
10.2. STARSHAPED AND CONVEX FUNCTIONS 129
10.1.14. If IE :!J, show that for any fixed, real () the finite limit
lim (l-r )/(rei6 ) = rx()) exists and is real, nonnegative. Also show that the set
r-+I-
00
{(): rx()) > O} is at most countable; if ()k are. its elements, show that L rx()J :;:;:; 2.
k=l
10.2.1. If I is analytic and does not vanish in the annulus {z: r- r5 < Izi
< r+ r5}, show that
a 16 zl'(z)
aoarg/(re ) = re I(z) .
10.2.2. If I is analytic in K(O; R), does not vanish in K(O; R)""O, 1(0) = 0,
f'(O) #- 0, and re{zl'(z)/I(z)} > 0 for any z E K(O; R), show that I is univalent
in K(O; R).
Hint: The argument principle.
10.2.3. Show that
(i) fl(Z) = z(l-z)-3 is univalent in K(O; f);
(ii) I(z) = z(1-Z)-1X is univalent in K(O; 1) for 0:;:;:; rx :;:;:; 2.
10.2.4. Let S* be the family of all normalized starlike univalent functions,
i.e. IE S* means that I is analytic in K(O; 1),/(0) = 0,1'(0) = 1 and zl'(z)/J(z)
has positive real part in K(O; 1). Show that the domain D f =/[K(O; 1)] is
starlike (or starshaped) with respect to the origin, i.e. W E Df implies [0, w] c D f .
Also prove the converse.
10.2.5. Using Herglotz's formula derive structural formula for IE S*.
10.2.6. Find precise estimates of ill and 11'1 on C(O; r) for IE S*.
Hint: Exercise 10.2.5, or Exercise 10.1.8.
10.2.7. Find the region of variability Gz of [z/l(zWJ2 for a fixed z (0 < Izl < 1)
II nd I ranging over S*.
/lint: Exercise ]0.2.5 and Exercise 10.1.5.
130 10. UNIVALENT FUNCTIONS
assume 1(0) = O.
10.2.10. Let SC be the family of all normalized convex univalent functions,
i.e. lEse means that I is univalent in K(O; 1) ,f(0) = 0, f' (0) = 1 and I[K(O; 1)]
is a convex domain. Show that lEse, iff zi' E S*.
10.2.11. If/ESc , show that tet'f'(z+.
10.2.12. If Zl' Z2 EK(O; 1), show that
r- .2.:nlbnI2r-2n-l > O.
n=1
00
10.3.7. If F(z) = z+b o+b1z- 1 + ... and FEIo , show that Ibol ~ 2. Discuss
the case of equality.
Hint: Consider G(z) = YF(Z2) .
10.3.8. IfF E .E and does not assume the values W1' W2' show that IW1-W21 ~ 4.
Hint: Consider F(Z)-Wk' k = 1,2.
1p(t) = J
[f( ::;t )-f(Z) [f'(z) (I-lzI2)]-1.
10.3.19. If F(z) = z-(h-h- 1 )(hz-l), h> 1, show that FEE and verify
that for z = h the equality in Exercise 10.3.18 (ii) actually holds. Find the image
domain of K(oo; 1).
10.3.20. Suppose that f E S and there exists a constant M such that If(z) I <: M
for all z E K(O; 1).
Show that
(i) la21 = -}If''(O)1 <: 2(l-M-1);
(ii) -fM(-lzl) <:If(Z)1 ~fM(lZI),
wherefM is the Pick function which maps K(O; 1) onto K(O; M) slit along a radius
from -M to -M[2M-I-2J!M(M-l)].
Hint: Derive first the inequality (ii) by considering g(z) = f(z)[1+e i <XM-1f(z)]-2;
w = fM(Z) satisfies the equation z(l-z)-2 = w(l-w/M)-2.
10.3.21. If f E Sand 1; E K(O; 1), show that the function
belongs to the family E. Find the initial coefficients in the Laurent development
of g and verify that l{f, !;}I ~ 6(1-ICI 2)-2, where {f, !;} is the Schwarzian deri-
vative of f (cf. Ex. 7.2.14).
Verify that the same inequality also holds for an arbitrary function meromor-
phic and univalent in K(O; 1).
The limit on the right-hand side exists for any bounded domain regular with
respect to the Dirichlet problem.
If G is an arbitrary domain in the finite plane, there exists an increasing se-
quence {G n } of bounded domains, each regular with respect to the Dirichlet
00
10.4.1. Show that both Steiner and P6lya symmetrization carries a domain
G into a domain G*; if G is simply connected, so is G*.
10:4.2. If G is starshaped with respect to the origin and the ray A of circular
symmetrization emanates from the origin, show that also G* is starshaped with
respect to the origin.
10.4.3. Show that Steiner symmetrization preserves the convexity of domains.
Give an example showing that circular symmetrization does not have an ana-
logous property.
10.4.4. Iffis univalent in the unit disk K(O; 1) and the area of the image domain
f[K(O; 1)] is finite, show that
lim (1-lzOIf'(z)1 = O.
Izl..... '
Hint: Cf. Exercise 4.2.12.
10.4. CIRCULAR AND STEINER SYMMETRIZATION 135
10.4.5. If G is a bounded, simply connected domain, show that the inner radius
r(w; G) is a continuous function of w which tends to zero as dist(w; frG) -+ o.
Hint: Cf. Exercise 8.1.9.
10.4.6. Let G be a bounded domain, regular with respect to the Dirichlet
problem, and let h(z, zo) be the solution of the Dirichlet problem with boundary
values log Ie -zol.
If ZO, ZI E G, Zo =F ZI and dist(zk; frG) ~ tJ for k = 0, 1, show that
(i) Ih(z, zo)-h(z, zl)l < IZI-Zol/tJ for any z E G;
Hint: Use the maximum principle and the inequality logll+zl ~ Izl;
(ii) Ilogr(zo; G)-logr(zl; G)I < 2Iz1 - Zol/tJ .
10.4.7. If the inner radius r(z'; G) is finite for some z' E G, show that it is
also finite for any z" E G. Show that r(z; G) is a continuous function of z.
10.4.8. If H is an ellipse, show that r(z; H) has a maximum at the center of H.
10.4.9. Let C = C(r, R) be the class of domains G, K(O; r) c G c K(O; R),
regular with respect to the Dirichlet problem and such that each circle ceO; p),
r":;; p ,,:;; R, meets C"",,G. Find supr(O; G).
G
( I+Z)" .
f(z) = ao l-z
10.5.8. Suppose that/(z) = aO+alz+ ... is analytic in the unit disk and that
there exists h > 0 and a real-valued function v(u) , - 00 < u < + 00 such that
on any straight line re w = u each point u+i(v(u)+nh) (n = 0, =fl, =F2, ... )
belongs to C,,-Df . Show that lall :;:;:; 2h/1t.
Hint: Consider g(z) = exp {27tf(z)/h}.
10.5.9. Suppose that any circle C(O; r), r > 0, contains a point of C',Pf
and I is analytic in K(O; I). Show that
(1-lzI2) If'(z) I :;:;:; 4 I/(z) I
for any z E K(O; 1).
Hint: Exercise 10.5.5.
10.5.10. If I is analytic, univalent and does not vanish in the unit disk, show
that
l- lzl )2 ( 1+IZI)2
1/(0)1 ( 1+lzl :;:;:; I/(z) I :;:;:; 1/(0)1 l-lzl .
10.5.11. If cp is analytic in the unit disk and never assumes both values w, -w,
show that
(1-lzI 2)lcp'(z)1 :;:;:; 2Icp(z)l
10.5.12. Suppose that I is a Bieberbach-Eilenberg function, i.e. I is analytic
in the unit disk, 1(0) = 0 and I(Zl)f(Z2) '" 1 for any Zl' Z2 E K(O; 1). Show
that
(i) I is bounded in the unit disk;
(ii) (1+/)/(1-/) never assumes both values w, -w.
10.5.13. Show that for any Bieberbach-EiIenberg function I we have:
(i) (1-lzI2) If'(z) I :;:;:; II-P(z)l;
(ii) 11'(0)1 :;:;:; I.
10.5.14. If IE Sand L(r, f) is the angular measure of values omitted by I
and situated on C(O; r), then L(r, f) is equal to zero for r :;:;:; -} and any IE S
and can be equal to 21t for r;;:;:: 1 (e.g. for I(z) == z).
If r E (!f, 1), show that
L(r) = sup L(r,J)
/eS
= 4 arc sin (2vr -1).
Show that the extremal function maps K(O; 1) onto
C",({w: Iwl = r, largwl :;:;:; 2arcsin(2vr -In u [r, +(0).
"jnd the extremal function (cf. Ex. 2.9.22).
10.S.15. Solve an analogous problem for starlike univalent functions.
138 10. UNIVALENT FUNCTIONS
Complex Numbers.
Linear Transformations
1.1.6. Use the identity la+bl 2 = (a+b)(a+b); the sum of squares of all
sides in a parallelogram equals the sum of squares of both diagonals.
1.1.7. Square both sides and use Exercise 1.1.6.
1.1.R. Use the identity la+bl 2 = (a+b)(a+b).
1.1.9. The left-hand side is equal to
{exp [i(n+I)O]-l}: (eiB_I)= {sint(n+I)Oexp[t(n+I)Oi]}: (sintOexp-}Oi).
I
1.1.10. ZlZ2+Z2Z3+Z3Z1 = ZlZ2Z3(Z1+Z2+Z3) = 0, hence (Z-Zl) (Z-Z2) X
X (z-Z3) = z3_ a with lal = 1.
1<11
142 SOLUTIONS
1.1.26. Izl2 z Z 1
IZl12 Zl Zl 1
=0.
IZ212 Z2 Z2 1
IZ312 Z3 Z3 11
1. COMPLEX NUMBERS. LINEAR TRANSFORMATIONS 143
1.1.38. Put a"k = Pk/(P1+P2+, ... , +p,,) for k,;;;; n, and a"k = 0 for k > n;
apply Exercise 1.1.37.
n
1.1.40. Express lVn in terms of Sn = L Zk and use Exercise 1.1.37.
k=l
Jr
22 yl+k- 2 --
l(r) = l+r2 dr = 2 j/l+k- 2 (arctanr 2-arctanrl )
"
The numerical example corresponds to arc tan r1 = 'Ttj6, arctanr2 Tt/3, hence
rr
=
l(r) = ; [I + ( 61~3 /2
4(dx 2+ dy2)
1.2.21. d0'2 =
(I + Iz12)2 ' hence
1.2.22. Without loss of generality we may take the south pole as one of the
I'ertices of T. The stereographic projection To of T is bounded by two straight
line segments emanating from the origin and an arc of a circle: z = zo+
I ~/ 1-=f-lzoI2e''P, CPI::( cP ::( CP2 (cf. Ex. 1.2.11). Using the formula of Exercise
1.2.21 in polar coordinates we obtain:
,2 = 1+2IzoI2+2 yl+lzoI2(xocosg;+yosing;),
dO d (./ ..
dg; = dg; arg zo+ V 1+l z ol2 el'l')
= r- 2 [1 + Izol2+yl + IZoI2(xocosg;+Yosing;),]
where xll+iyo = zo, (cf. Ex. 1.1.20). This gives:
'1'2
ITI = ~ dg; = g;2-g;1 = (oc+p+y)-7t,
'1'1
1.3.1. The angle of rotation: arga; the ratio of homothety center at the origin:
lal
1.3.3. W = 1ti(z-t).
1.3.4. (i) w = az+b, a> 0, b real;
(ii) w = az+b, a < 0, b real;
(iii) w = -i(az+b), a> 0, b real.
1.3.5. w = (b-a)-l[(B-~)z+Ab-aB].
1.3.6. w = (l+i)(l-z).
be-ad a
Zl +-, ZI = Zz , Z2 = ez+d.
-1
1.4.1. If e = 0, then w =
e e
1.4.2. If z(O) = r(0)ei6 is the equation of y, then the image curve has the
equation w(O) = (r(0)t1e-16. The angle oc. between y and the radius vector
satisfies cot oc = r'(O)/r(O); a corresponding value for the image curve after taking
the opposite orientation is the same.
1.4.3. Use Exercises 1.4.1 and 1.4.2.
1.4.4. The equality
l'ircle (or possibly the straight line) C determined by Zl' Z2' 'Z3 into the real
axis. Since the r.h.s. is real iff w
, is peal, so is the l.h.s. iff z E, C.
1.5.3. -t+i.
1.5.4. (i) The straight line re z = t;
(ii) lemniscate (.~2+y2)2 = x 2_y2.
1.5.5. If Zo is the center of the circle orthogonal to C(O; 1), its radius is
JI Izo12_1. Its reflection satisfies (C- 1-zo)(C- I -zO) = IZoI2-1, which is equi-
valent to (C-zo)([-zo) = IZo12-1.
1.5.6. This is an immediate consequence of the fact that symmetry is defined
in terms of circles and their orthogonality and both properties are preserved
under linear transformations.
1.5.7. z* = (02-o1)[(a2-al)z+a1 a 2-a1a 2].
1.5.S. If Lk = C(ak; rk), k = 1,2, then
Z = a2+d(z-al) [(a l -ti 2) (z-al)+rtr1.
Hence (z = a1 ) +-+ (Z = a 2 ). If the same holds after interchanging the order
of reflections, then rr+d = lal-a212 which shows that L 1, L2 are orthogonal.
The sufficiency is easily verified after an additional linear transformation carrying
L 1, L2 into perpendicular straight lines.
1.5.9. An immediate consequence of Exercise 1.5.1.
1.5.10. The roots of the equation.
2 .
a+ _r_ = (a2-al)-1[(a2-al)Z+ala2-aI02]'
z-a
1.5.11. Circles through -7=f4V3 which are symmetric points with respect
to both circles.
1.6.1. (i) The lower half-disk of K(O; 1);
(ii) K(O; 1) n (C",K(-i-i; i-));
(iii) {w: imw < O} n {C"-K(t(1-i); +V2)};
(iv) K(t; i-),,-K(i-; -t);
(v) {w: rew > i-} n (C,,-K(-t; t)).
1.6.2. IV = (z-4)(z-I)-1.
1.6.3. If A = (b-a)(d-c)(c-b)-l(d-a)-t, then k = 2A+I-2 JlX(A-I-1);
(w, b, c, d) = (z, -1, 1, k- 1).
1.6.4. If a, b are real and (z = a) +-+ (w = b), then
w = (a+l)bz[(a-b)z+a(b+l)tl, ab(a+l) (b-H) > O.
f. COMPLEX NUMBERS. LINEAR TRANSFORMATIONS 149
cp = 2arg(rea+iVl b2 1+(ima)2).
1.8.5. If Zl' Z2 are invariant points, IZll = IZ21 = I, the linear transformation
must be hyperbolic because C(O; I) is mapped onto itself (cf. Ex. 1.7.13, 1.7.15).
Hence (w-z 1)/(W-Z 2) = k(Z-Zl)/(Z-Z2) with k real. If z = 00, then
k-~ (WO-Zl)/(WO-Z2) is real and Wo is outside [Zl' Z2], hence k > O. This
mndition is also sufficient.
1.8.6. zt!(w-z 1 ) = Zl/(Z-Zl)+ih, with real hand Zl = 1 (consider W
zd(z-zd).
I.S.7. IV = e'P(z-a)/(I-az)-l, with real fl and lal < 1. Hence z = e-'P X
-- (II' I-ael/i)/(I+awe-//l), thus the inverse transformation is again an h-motion
152 SOLUTIONS
where e = (a+be-ifJ)/(I+abe- 1fJ ). Note that lei < I and II+abe-ifJl = II+abe'fJl.
1.8.8. z =
[t(Z2-Z1)+Zl(I-Z1Z2)] [l-ZlZ2+tZ1(Z2-Z1W1,
~ t ~ I; the
substitution C = (Z-Zl)(1-Z1 Z)-1 gives the Euclidean segment [0, C2] with
parametric representation C = tC 2.
1.8.9. If w(z) is the given h-motion, (w(z)-b)/(I-bw(z) is a linear transfor-
mation with a zero at a and a pole at a-1, hence it has the form A(z-a)/(I-az).
Moreover, for Iwl = Izl = I absolute values of both expressions are equal I,
hence IAI = 1.
with
where r = reO) is the equation of the side AB in polar coordinates. Let C(s; R)
be the circle containing the side AB and N a variable point on AB. We now
FIG. 1
. RsinqJ
introduce the new variable qJ = ~ OsN; obvIOusly tanO = d R ' where
- cosqJ
d -= 151, thus
Ilowever,
hence
dO = (d 2+R2_2dRcosqJ)-1 R(dcosqJ-R)dqJ.
Now. r2 = d 2+R 2-2dRcosqJ, l-r2 = 2R(dcosqJ-R) because I+R 2 = d 2
(orthogonality condition).
154 SOLUTIONS
Finally
(l-rZ)-lr ZdO = i: dtp.
Considering the quadrangle OAsB we easily verify that
y+(P+t 7t)+(oc+i: 7t)+1tp = 27t
and this gives
ITlh = -l-~dtp = fL1tp = H7t-(oc+,8+y)].
1.8.19. The angle oc .at Zl is equal to
arg{(z3-Z1) (l-ZZ Zl) [(ZZ-Zl) (l-z3 Z1)r 1}
because after an h-motion considered in Exercise 1.8.12 two sides meeting at Zo
become segmet;lts.
The remaining angles are obtained by cyclic permutations. From Exercise
1.8.18 it follows that
ITlh = i- arg(l-zl zZ) (l-ZZZ3) (l-Z3 Z1)
if the orientation is positive.
CHAPTER 2
Regularity Conditions.
Elementary Functions
(Ii) lim
11.-... 0
I~wz 12 = u!+v!+2m(I +m2)-1(uXVX+UyVy) ,
...
or uxvx+uyVy = O.
155
156 SOLUTIONS
It follows from (A) and (B) that (u x+iUy)2 = (vx_iVy)2 which means that either
J, or I satisfies Cauchy-Riemann equations.
2.1.9. Ux = Vy = 2uuy, Vx = 2uux = -un thus (1+4u 2)ux = 0, i. e. Ux = 0.
Hence Vy = Vx = uy = 0.
2.1.10. If 1= u+iv, then III = }/U2+V 2 ; I' = ux+ivx = vy-iuv Hence
Ltl/l = 111-1(u~+v~+u; +v; )-1/1- 3[U2(U~+U;)+V2(V~+V;)- 2uv(ux v x+uyv y)]
= 1/1-12If'12-1/1-3(u2+v2)11'12 = 11'1 21/1-1,
because uxvx+uyVy = 0.
0 22 I12
2.1.11. ox 1 -- 2(uuxx+vvxx+ux+vx,
2 2). 0 2 I12
oy2 I has an analogous lorm;
C
2.2.1. In the ri~t half-plane u has the form rp(y/x) and the condition Ltu =
gives ddt [rp'(t)(1+t2)] = 0, where
. t = y/x. Hence rp(t) = Aarctant+B, or
2.2.2. u has the form rp(X 2+y2) and Ltu = gives Yt[trp'(t)]
d
= 0, where
t = X2+y2. Hence rp(t) = Alogt+B, or u(z) = 2Alogz+B, where A, Bare
real constants.
[} ( [}F)
2.2.14. rTr rTr + [}2F
[}e 2 = O.
7 [}(u,
23 [}(x, v) 2 2 = 1u'" +.IV", 12
y) = uxvy -uyvx = u",+v", =
If'I2 h' h IS
W lC
. equu I
2.3.8. The mapping is locally I: I because the Jacobian is =F 0 at Zo; note that
the curves u(x, y) = const, vex, y) = const are mappedI
onto perpendicular
segments.
2.3.9. (i) equilateral hyperbolas x 2_y2 = const, xy = const;
(ii) circles ceO; r) and rays Argz = const.
b
2.3.10. ~ 1f'(z(t)llz'(t)ldt;
a
HIf'(z)1 2dxdy (cf. Ex. 2.3.7).
D
2.3.11. e(l; I) = {z: z = 2cosllei 6}, hence
w = 4cos 2 l1e 2 i 6 = 2(I+coslP)ei'l', IP = 2l1;
n/2
2.3.12. Under w = Z2 D is mapped opto the rectangle L1: I < u < 4,0 < v < 2,
hence
2.3.13. -} 7t .
2.4.1. w = 1+2iz; IZ2_(1+2iz)1 = Iz-il 2 < 1~O'
2.4.2. The boundary of the image domain consists of the segment [-I,ll
and two arcs of parabolas symmetric w.r.t. Ov: =fu = 1_-}V2, u+iv = w;
1= 2+V"2+log(I+V2).
2.4.3. w = (z2-2i)(Z2+2i)-1.
2.4.4. w = (I+Z)2.
2.4.5. w = 1-2(a/z)2 (consider first Z = Z2).
2.4.6. Superposition of two transformations:
w = (vi-C)(C-y'P(y"2-I))-l, z = tp-C 2
2.4.7. W = i(2z 2-1).
2.4.8. If W1, W 2 have the same image point, then
2a2w~(1+wn-1 = 2a2wHI+w~)-1, I.e. w~ = w~.
2.5.15. The quadrant considered is swept out by arcs of confocal ellipses with
foci =f=2 and each arc is mapped 1: 1 onto an arc of confocal ellipse situated in
the complementary domain of the first quadrant (cf. Ex. 2.5.14).
2.5.16. The transformation Z = 2(z2-1) carries the upper half of the domain
considered into the domain of Exercise 2.5.15 which is mapped under Z = w3 -3w
onto the quadrant (+; -) in the w-plane. One proves in an analogous manner
that the same transformation carries the lower half of the domain considered
into (+;+). Ultimately Z2= l+t(w 3 -3w) maps {w: rew>O} onto the
given domain.
2.6.3. C,,(-oo, 0]; circles ceO; eXo ) with deleted points _exo ; rays argw = Yo.
2.6.4. Logarithmic spiral R = exp[(W-rt)m- 1]; R, Ware polar coordinates.
2.6.5. w-plane slit along the logarithmic spiral R = exp[(W-rt)m- 1].
2.6.6. (i) On straight lines y =.c krt; (ii) on straight lines Y = (k++)rt, k =, 0,
I I, r2, ... ; exp(2+i) 3.992 ... +i 6.218 ...
162 SOLUTIONS
2.6.7. The image domain of the square is the domain largwl < S, e a- < 1)1'1
< ea+, with area s(e2a+2_e2a-2), hence
2.7.7. E.g. - -I
sinz 12
cosz
1+sinh 2y
< h.
sm 2y
'_2
:(: 1+(smh~) .
2sin2IX
cosh2,8-cos21X '
. . . isin[(IX-i,8)-(IX+i,8)] 2sinh2(3
I [cot (IX+I,8)-COt (IX-I,8)] = . (IX+I',8)'sm (IX-I',8)
sm = cosh 2,8 -cos 2 IX
2.7.21. The mapping Z = +7tl/i carries D"---,(-oo,O] onto {Z: 0 < reZ
yi
< i-7t} which is mapped under w = tan2i-Z = tan 217t onto K(O; 1)",( - I, OJ
(cf. Ex. 2.7.20). However, tan2-t7t Vi is analytic on (-00,0] and maps it I: I
onto (-1, 0] so that both slits can be removed.
2.8.5. The image lines of Apollonius circles I(z-i)/(z+i)1 = const are seg-
ments im w = const; their orthogonal trajectories, i.e. circles through i, - i
are straight lines re w = const.
2.8.6. (i) ~-}Arg(-2+i)+-!-ilog5;
(ii) -}7t++ilogltan(-!-7t+-}O)I.
2.8.7. The strip Irewl < -!-7t (cf. Ex. 2.8.6 (ii.
2.8.8. w = tLog((1+z)/(I-z; the strip lim wi < -!-7t, (cf. Ex. 2.8.7).
2.8.9. The half-strip: u > 0, 0< v < tv.
2.8.10. The mapping Z = e% carries the strip < y < 7t into the upper half-
plane which is mapped by w = ArcsinZ onto the half-strip Irewl < t7t, imw
> 0. The vertical boundary rays correspond to the rays: x 0, y = and
x 0, y = 7t (x+iy = z). Since the mapping function has symmetry property
w.r.t. the boundary rays, we can propagate the mapping onto the whole z-plane
with removed rays y = k7t, X < (k = 0, =FI, =F2, ... ) and the values will
cover the upper half-plane im w > 0.
2.9.3. The linear transformation Z = (z+ l)/(z-l) carries the semi-disk into
lhe quadrant (-; -) and a subsequent mapping w = Z2 gives the upper half-
plnne. Hence w = [(z+I)/(z-IW.
2.9.4. The mapping W = Z3 carries the given sector into the upper semi-disk
which is mapped under Z = [(W-J-I)/(W-I)]2 onto the upper half-plane. On
166 SOLUTIONS
the other hand, Z = i(l+w)j(l-w) maps K(O; 1) onto the upper half-plane
imZ > O. Hence
, i(l+w)j(l-w) = [(z3+1)j(z3-1)]2.
2.9.5. w = i(z+I)3(z-1)_3 (cf. Ex. 2.9.1).
2.9.6. The mapping Z = (z+i)j(z-i) carries 'the wedge into the angle {-1t
< argZ < t1t which is mapped under W = Z2 onto the right half-plane. Hence
w = i(W-l)j(W+l) = 2z(I-Z2)-1.
2.9.7. w = tanht1tz (cf. Ex. 2.8.7); Apollonius circles with limit points -1, 1;
circular arcs joining 1 to -1.
2.9.8. The linear transformation Z = (l-Z)-l maps the given domain onto
the strip t < reZ < 1 which is carried under similarity W = 2i(Z-1-) into the
strip lim WI < t; we now apply Exercise 2.9.7; finally
w = tanh1ti((l-z)-l_1-) = itan1t(I-z)-l_1-).
2.9.9. The mapping Z = Z-l carries the given domain into the strip limZI
< t which is mapped under w = cotht1tZ onto C",K(O; 1) (cf. Ex. 2.9.7).
Hence w = coth(1tj2z).
2.9.10. Two cjrcles intersect at an angle -t1t at 0, 2 and the third circle being
an Apollonius circle with limit points 0, 2 is orthogonal to former ones. The
mapping Z = zj(z-2) yields the circular sector: 0 < IZI < 2, t1t < argZ
< f1t which can be mapped onto im w > 0 similarly as the sector of Exercise
2.9.4. Hence .
w = [16(z-2)4-z4]2[16(z-2)4+z4t2.
2.9.15. After the inversion Z = Z-1 we obtain the domain of Exercise 2.9.13,
thus w = (hZ)-1(Z2+h2)1/2.
2.9.16. By Exercise 2.9.11 the given mapping carries K(O; 1) into C",,(-oo,
_+p-1(I_p)2]. Note that (-1,0] corresponds to (-tp-1(I-p)2,0].
2.9.17. w = (I+1]z)2(1-1]z)-2, \1]\ = 1.
I+t
2.9.18. ( l=t
)2 (I_p)2 Z
(1-Z)2 (cf. Ex. 2.9.17, 2.9.16).
P
. (1+p)2 z
2.9.19. The mappmgs Z = 4p (I-z)2 ' Z = (I-t)2 carry the slit
disk and the full disk, resp. into the Z-plane slit along (- 00, -t] so that the de-
sired mapping has the following implicit form:
t(l+p)2p-1 z (I-z)-2 = t(1_t)-2.
Complex Integration
I = ~ t(1+i)dt = -}(1+i);
u
(ii) z(O) = reiD, rez(t) = rcosO, 0 E [-1t', 1t'];
1<
I = ~ 2sintOdO = 8.
o
3.1.4. (i) z(t) = it, -1';;;; t,;;;; 1;
1
I = ~ i\t\ dt = i;
-1
I = ~ (-cosO+isinO)dO = 2i;
o
(iii) z(O) = sinO - i cosO, 0';;;; (J :(. 1t';
7r
I =~ (cosO+isinO)dO = 2i.
o
168
3. COMPLEX INTEGRATION 169
11
3.1.5. (i) If ~f(t)dt = 0, the inequality is obvious; it is easy to verify that
b b
..
~ cf(t)dt = c ~f(t)dt for any complex c, hence for real () we have:
a a
b b b
(;:-1)2 =
1
r
)xdz = t r~ (z+z)dz = 1- r~zdz.
.
3.1.10. t.
3.1.11. 7ti.
3.1.12. From the existence of the total differential at \Zo it follows that
f(zo+re I8) = f(zo)+f~(zo)rcos()+if;(zo)rsin()+ro(1)
for small r > O. Hence
3.1.32; Any polynomial has a primitive in the open plane, hence ~ W(z)dz = 0
y
for any closed curve y.
3.1.33. (z-a)-n has a primitive in C"'-a for any integer n ~ 2.
3.1.34. After developing R in partial fractions we obtain a polynomial plus
terms of the form Ajn(z-aJrn and the integration cancels the polynomial, as
well as alI terms Ajn(z-aj)-n with n ~ 2 (cf. Ex. 3.1.32, 3.1.33).
3.1.35. If z E C, Z = r 2 z-1, hence
Iz-al 2 = zz-az-az+laI 2 = r 2-ar 2z- 1-az+laI 2,
or
I = !!.- 'i ---,~d-:-z_--:-::::::--
a~ (z-a)(z-r 2/Q) .
3.2.1. 1= 0 since r is contained in the rectangle Ixl < 1-, Iyl < i- where
(1 +Z2)-1 is analytic.
3.2.2. 1= 0 since n(C; a) = 0 for all a being the zeros of the denominator.
3.2.3. If 0 < r1 < r 2 < R, then. r = C(O; r1)-C(0; r 2 ) '" 0 (mod D),
D = {z: 0 < Izl < R}; hence
~ z-lf(z)dz = 0, or ~ z-lf(z)dz = ~ z-lf(z)dz.
r C(O;rl) C(O;r2)
2",
3.2.4. f(O) = (21ti)-1 ~ z- l f(z)dz = (21t)-1 ~ f(re i9 )dO , hence 1= 21tf(O).
C(O; r) 0
3.2.5. Given U, find its complex conjugate v in K(O; R), apply the formula
of Exercise 2.3.4 for u+iv and compare real parts of both sides.
'9
3.2.6. loglre -al = rel~g(z-a) is harmonic in C(O; 101), hence I=- 21tloglal.
\
3. COMPLEX INTEGRATION 173
by Exercise 3.2.3.
3.2.8. Let C = C(O; R) be a circle containing y inside and leaving all an with
n ;?: N outside. If Ck is a circle center at ak such that all an> n 1= k, are situated
outside Ck , then
N
V(z)dz = 0,
r
(cf. Ex. 3.2.7).
3.2.9. 21ti[fn(C; l)+fn(C; -l)-n(C; 0)].
3.2.10. f1ti.
3.2.11. 21tia-1sina.
3.2.12. f(zeZ)~:'a = ea(l +fa).
3.2.13. (i) 1; (ii) -f(z-1ez);~ 1 = -fe.
3.2.14. 1= 21ti(a-b)-1 [f(a)-J(b)]; on the other hand
III:S;; 21tRM(R-lal)-1(R-lbl)-1 -+ 0 as R -+ 00
21ti d m- 1 -1 .-In
3.2.15. 1= (m-l)! dZ"'-l [(z-b) ]z=a = -2m(b-a) .
since ~ -+ 0 as R -+ +00.
C(O; R)
Now, n(.l'; z) = 0 for z situated inside C and 1= 0, while n(r; z) = 1 for z situ-
ated outside C.
174 SOLUTIONS
Z -+zk
3.3.1. r = y-n(y, a)C(a; r) '" 0 (mod K(a; R)"-.a) for any 0 <r< R, hence
3.3.2. Suppose that 0 < r1 < IC-al; then r = C(a; r)-C(a; rl) '" 0
(mod K(a; R)"'--.a) , hence
3.3.5. For any positive integer p and real x --+ + 00 we have x-Pe X --+ + 00,
hence lim z Pexp(1/z) does not exist.
z--..o
cp(z) = I(z) n
N
k=l
(Z-ak)n k
\
therefore IJ,. (z) I ,::;:; r-n(r-lz-aD- 1Mr. By Exercise 3.3.11 and J<k)(a) = 0 we
have:
I/(z)-/(a)1 ,::;:; r-n(r-lz-aD- 1Mrlz-al n -.0
for fixed z E K(a; r).
3.3.16. In case no such m exists, we should have 1= const by Exercise
3.3.15.
176 SOLUTIONS
V(z)dz-mw = 0, or ~ [!(z)-w(27ti)-1(z-a)-1]dz = o.
Hence A = (27ti)-l w = (27ti)-1 ~ f(z)dz.
qa:~)
3.4.2. Note that f-A 1(z-ar 1 has a primitive in K(a; R) and co~sequent1y
~[!(Z)-Al(z-arl]dz = 0
y
3.4.7. res( -a; f) = (27ti)-1 ~ f(z)dz = (27ti)-1 "~ fendc = res(a; f) fOl
C( -a: r) qa: r)
odd f Similarly res(-a; f) = -res(-a; f) for even f
3. COMPLEX INTEGRATION 177
3.4.10. res(zv;f) =
Z--+Zy
r
lim z"-1(z-zv)(z"+an 1 = lim [nz"-1-(n-1)zyzn-2]jnz"-1
Z-70-Zy
= lin.
3.4.11. By Exercise 3.3.11 :
-1 j<k-1)(a)
(z-a)-Y(z) = (z-a)-kf(a)+(z-a)-k+1!'(a)+ ... +(z-a) (k-l)! +.Ik(z)
lienee
n n
res(O;.D= eP-e";
_ ( 1 1 1 1 1 1 ) -1 .
- ... + -T2! +3 4! - 561+'" z + ....
3.5.1. C is a contour containing inside one simple pole -2-1/2 (1+i) with
residue (1 +i)/4 yT, hence 1= (i-l)rt/2 V2.
3.5.2. (i) -rtil yT; (ii) -2rti/3; (iii) 3rti/64; (iv) 0 (show that res(oo;.D = 0).
3.5.3. (i) There are two simple poles inside C: al, 2 = t=Fit yf with residues
--}ak ;
(ii) C(O; R) contains inside a simple pole z = 0, res(O;f) = 1/2rti, and 6
3. COMPLEX INTEGRATION 179
simple poles a v = Vkev, e = exp(7ti/3), on the circles C(O; ilk); res(av;f) .. 1/61ti;
(iii) there is one simple pole +(I+i) inside y ... with residue +(l+i)en / 2.
3.5.4. res( 00 ;fl = i-, hence I = - 27ti/3.
3.5.5. There is exactly one root of the equation e--w = 0, i.e. z = Logw,
situated in Q. Thus the integrand f has inside Q a simple pole z = Logw with
res (Logw;f) = lim (z-Logw)ze Z (e z -w)-l = Logw.
z...,.Log w
3.5.11. Let H(R) be a contour consisting of an arc of C(O; R), R> 1, cut
off by the parabola and situated in the right half-plane and of an arc of r con-
tained in K(O; R). There are two simple poles of f inside H(R): =f2-1/2(1 +i)
with residues (8 V1+ y2)-1( -1- V2=fi) and hence ~ H(R)
= T7ti-y 1+ y2 since
H(R) is described in the negative sense. Note that the integral over the circular arc
does not exceed in absolute value R(R4 _1)-1(R2_1)-1/2 which tends to 0 as
R ~ +00, hence ~ =~.
H(R) r
1 (z+z -1 ), sinO
3.6.1. If z = e '6 , then cos 0 = 2: 1 (Z-Z-l) , dO = -iz- 1dz;
= 2I
hence
180 SOLUTIONS
3.6.2. We have
1= _i ~ [z2(z-a) (Z_PW1(Z2_1) 2dz,
2b C(O; 1)
where a, P are roots of the polynominal z2+2ab- 1z+ 1; ifJis the integrand, then
res(O;f) = -2ab-I, res(a;J) = 2b- 1(a 2_b 2)1/2, (J is situated outside C(O; 1)
since ap = 1;
7t
1= -7J[res(O;f)+res(a;f)].
I=re~ ~
(z2+z+1)n
z3+3z+1 dz;
I C(O; 1)
the only singularity inside the unit disk is a simple pole Z1 = -}( -3+ Vs) with
residue 5- 1 / 2 (3_ y'5)n.
3.6.5. Let J y denote the integrals taken over the consecutive sides oRn; then
n n.
J = (' x dx = _ i (' XSIll X dx
1 J
-n
a-cosx+isinx J l+a 2-2acosx
-n
the real part of integrand being an odd function;
n
J3 = - (' (in+x) dx -+ 0
J a-e"e ix
-n
If n > loga, there is only one simple pole inside Rn with residue a- 1Ioga.
Hence
or
1= 27ta- 1Iog[(1+a)/a], a> 1.
If 0 < a < 1, then l/a > 1 and this gives
" xsinx
~ 1+ a 2 - 2a 1 cosx -dx = 27talog(1+a), i.e.
-n
3. COMPLEX INTEGRATION 181
3.6.7. We have
2",
= 27tijn!
since the integrand has a pole of order n+ 1 at the origin, the residue being equal
to 1 jn!. Compare now the real and imaginary parts of both sides.
3.7.3. E.g. (iii) can be solved as follows. The only singularity of e im%(a 2 +z 2 )-2
in the upper half-plane is a double pole z = ai with residue -i-}a- 3e- am (1+am);
if R > a, then '
Rl'
~ e imx (a 2+x2)-2dx+ ~ e im%(a 2+z 2)-2dz = !}7ta- 3e- am (1+am);
-R r(R)
", ,
I ~ I< R(R 2_a 2)-2 ~ e-mRsin6dO < 7tm- 1 (R 2_a 2)-2 -+ 0 as R -+ +00
r(R) 0
(ii) integrate ze i':(z2+ a2)-2 and compare imaginary parts of both sides after
making R -+ + 00
62
3.7.4. ~J(z)dz = i ~ [b+e(a+re i6)]dO = ib(02-0I)+O(l).
Yr 6,
this implies
+00
2 ~ x- 2(1-e 211dx-27t = O.
o
Equating real parts we obtain I = +7t.
3.7.6. Integrate z-2(z2+a2)-1(I_e2miz) over the contour of Exercise 3.7.5
and compare after making R -+ + 00, r -+ 0, the real parts of both sides.
The integrand has a simple pole at z = ai with residue (2ia 3)-1(e- 2am _I),
~ -+-27tma- 2 as r -+ 0 (cf. Ex. 3.7.4), hence
-r(r)
+00
2 ~ x- 2(x 2+a2)-1(1-cos2mx)dx = 7ta- 3(2am+e- am -l) = 41.
o
3.7.7. We have
(sinx)3 = (2i)-3(e ix _e- ix)3 = _(8i)-1[e3ix_e-3iX_3(eiX_e-ix)]
= -i-sin3x+i-sinx = im [i-(1-e 3;X)-i-(1-eiX)].
Integrate now J(z) = [+(1-e3iX)-i-(1-ei1]z-3 round the contour of Exercise
3.7.5. We have: limzJ(z) = i- (de I'Hospital rule) which implies ~ -+ -i-7ti
z-+O -r(r)
and using the fact that the integral round the contour vanishes, we obtain
+00
2i ~ (sinx/x)3dx-i-7ti+o(1) = 0, i.e. 1= 37t/8.
o
3.7.8. Integrate J round the contour of Exercise 3.7.5. If 0 < r < a < R,
then
R
~ + ~ = 2 ~ x- 3(x 2 +a 2)-1(x-sinx)dx,
[-R. -r] [r. R] r
f(z+27tl) = e 2n1af(z), hence the sum of integrals over the horizontal sides is
equal to
R
(1_e 27t1a ) ~ (1 +eX)-leaxdx,
-R
i.e. 1= 7tjsina7t.
(i) introduce the new variable eX = t;
(ii) take t = x", a = mjn in (i).
3.7.10. fez) = eaz (1 +ez+e 2Z)-1 has inside the rectangle considered in Exercise
3.7.9 two poles Zl = 27ti/3, Z2 = 47tij3 with residues (iv3t1exp[27ti(a-l)/3J,
-(i y3)_1 [exp47ti(a-l)j3]. Similarly as before
(1-e 2nia )I+o (1) = 27t3-1/2 [exp27ti(a-l)j3-exp47ti(a-l)/3].
3.7.11. The only singularities off situated inside QN are poles Zk = (2k+ l)i,
"
k = 0, 1, ... , N-l, Zo being a double pole, all remaining poles being simple
We have: res(zo;D = (27ti)-1, res(zk;f) = (27ti)-1 (_I)k+1 (1jk-l/(k+l));
If(z) I ,;;;; [(N 2-l) (cosh2}7tN-l)]-1 on vertical sides of QN, whereas If(z) I
,;;;; (4N2_l)-1 on the upper horizontal side. Therefore the corresponding inte-
grals tend to 0 as N --+ + 00 and, consequently,
+00
3.7.12. Suppose that 0 < r < t7t < Rand J y is the integral of f taken over
an arc indexed by 'V as in Fig. 2, 'V = 1 to 6. If r(r, R) is the contour of Fig. 2,
6
then ~
r(r, R)
= 0 = L J".
,,=1
We have:
R
re(J1+JS) = (1-e a7t) ~ (e 2Y -l)-lsinaydy;
r
" 1
limzf(z) = --2" hence lim J 2 = 47t (cf. Ex. 3.7.4); similarly limJ4 = 7tean /4;
... 0 l r ....... O
7t-R
J3 = ~ ~ (e'X-e-jX)r12iel"eaxdx,
184 SOLUTIONS
hence reJ3 = (l-e o")/2a+o(I); moreover, reJ6 --+ 0 as R --+ +00. Therefore,
(l-eo")I+t7t(I+~")-(eOTC-l)/2a+o(l) = 0
which gives l.
iR
1t +iR
(6)
(1) (5)
ir 1t +ir
r 1t
FIG. 2
3.7.15. (i), (ii): integrate [Z-l_ (sinhz)-l]z-l and (l_e Oi%) (zsinhz)-l, resp.,
round the boundary of the upper half-disk with radius 7t(n+-!-); the origin is
a removable singularity in (i), in (ii) it should be omitted round - r(r); (iii) put
x = et (cf. Ex. 3.7.9).
3.8.1. We have
3.8.3. If x> 0, then f(x) x a(1+X 2)-2; if x < 0, then f(x) = (-x)a(l+
=
+x2)-2exp(a7ti); I ~ 1< (l_r 2)-2ra+1 7t -+ 0 for -I < a as r -+ 0; ~ I I
-~~ ~~
< (R 2_1)-2RaH -+ 0 for a < 3 as R -+ +00. Hence for -I < a < 3 we have:
[1+exp(a7ti)]I+o(1) = 27tires(i;f) = t7t(I-a)exp(ta7ti),
or
3.8.7. Integrate the branch of log(z-a) for which 0 < arg(z-a) < 27t;
2n:
~ = - ~ (logr+i()ire'6d() = 0(1) as r -+ O.
-C(a; r) o
186 SOLUTIONS
The sum of all four integrals is equal to 0 and the result follows by separating
the real part.
3.8.9. (i) Suppose that 0 < r< t and R > 1 and integrate
fez) = {(1+Z)[Z2(1-Z)1/3]}-1,
which is analytic in C",-[0, 1], round the boundary of K(O; R) "'- {K(O; r) u
uK(I; r) u [0, I]}. Obviously ~ = 0(1) as R -+ + 00; if f is the branch taking
C(O;R)
positive values on the negatiye real axis, then on the upper edge of [r, 1- r]
we have:
fez) = exp(27ti/3) {(1+x)[x2(1-x)]1/3tl
and after describing -C(1; r) the value of f on the lower edge is obtained by
multiplying the former value by exp(27ti/3). Hence
[exp(27ti/3)-exp(47ti/3)]/+0(1) = 27tires( -1 ;f) = 27ti2- 1/ 3
as r-+O, R-+ +00;
(ii) integrate fez) = z2n[z(1-r)tl/3 which is analytic in C",-[ -1, 1] round
the boundary of K(O;R),,{[-l,l]uK(O;r)uK(-l;r)uK(I;r)}, where
R> + and 0 < r < t; f takes opposite values on the upper edge of [r, 1-r]
and lower edge of [-l+r, r] and vice versa, moreover, the integrals round the
circles of radius r tend to 0 as r -+ o. Hence
2I[exp(7ti/3)-exp(-7ti/3)]+0(1)-21tires(00;f) = o.
Now,
After describing the point exp(2k7ti/n) the values on the opposite side of u
corresponding slit are multiplied by exp(27ti/n); moreover, the integ~als over
3. COMPLEX INTEGRATION 187
3.9.1. We have: I-zl = I > IF(z)l; hence by Rouche's theorem both equa-
tions: -z = 0, -z+F(z) = 0 have the same number of roots in K(O; I), i.e.
exactly one.
3.9.2. Consider the variation of argP(z) as z describes in the positive sense
the boundary y of K(O; R) n (+, +): Ll[O.R]argP(z) = 0; Ll[IR.O]argP(z)
= -arg[l+i(y8+5)-1(-3y 2+7y)] = O(R- S ); on the circular arc LlargP(z)
= Ll arg[z8(1 + o(R- S ))] = 47t+o(I). Hence LlyargP(z) = 47t+o(l) = 47t for
all R sufficiently large. Now, n(r,O) = (27t)-1Ll yargP(z) = 2.
3.9.3. P has no roots on coordinate axes; it is real on the real axis and attains
a positive minimum at x = -!-; on the other hand, reP(iy) = y4+10 ~ 10.
Suppose now that z describes the boundary y of K(O; R)n (+; +). We have:
Ll[O.R]argP(z) = 0 because P is real and positive on [0, R]; on the arc of C(O; R)
LlargP(z) = Llargz4+Llarg[l+z-4(2z 3 -2z+10)] = 4.-!-7t+o(l) = 27t+o(1) as
R-+ +00, moreover, on [iR,O] the initial value of argP(z) is arg[I-2i(R4+
+ 10)","1 (R+R 3 )] = 0(1) as R -+ + 00, and all the time reP(iy) ~ 10, the final
value argP(z) being 0 which means that Ll[iR.O]argP(z) = 0(1). Finally, Llyargp(z)
= 27t+o(1) for large R and being a multiple of 27t it is equal to 27t for all R
sufficiently large. A similar reasoning can be made for remaining quadrants.
3.9.4. P(iy) = (_I)n[y2n_ia 2y2n-1]+b 2, hence
w = P(iy) = y2n+b 2_ia2y 2n-1 for even n.
Suppose that z ,describes y = a[K(O; R)n {z: rez > O}] and R is large. For
z = iy moving on [iR, -iR] the point P(iy) describes an arc with end points
W1 = R2n+b 2_ia2R2n-1, W2 = R 2n+b2+ia2R 2n-1 situated in the half-plane
{w: rew > b2}, hence
Ll[iR._IR]argP(z) = argw2-argw1 = 2 arc cot a- 2(R+b 2R-2n+1) = 0(1)
as R -+ + 00. If z is moving on the arc of C(O; R), then
Ll argp(z) = Ll argz2n +Ll arg(1 +a2z-1+b2z-2n) = 27tn+o(I).
Consequently, Llyargp(z) = 27tn for all R sufficiently large. If n is odd, then
AargP(z) = 27tn+o(l) on the arc of C(O; R). If z = iy moves on [iR, -iR],
r
then w = P(iy) = b2_R2n+ia2R2n-1 describes an arc 1 with end points W1
r
b 2- R2n+ la 2R 2n-1, W2 = b2- R2n_ ia 2R 2n-1, the equations of 1 being:
u b2_y2n, V = a ZyZII-l. We have: dargw/dy = a2Iwl-2(b 2+y4n-Z) > 0 which
188 SOLUTIONS
FIG. 3
3.9.15. l(z-1)P1 = 1 > a ~ I-ae-"'I = lale- x for z = x+iy E C(1; 1), hence
by Rouche's t.heorem the equation (z-l)P-ae-'" has p solutions in K(l; 1).
If Zo is a root of order ~ 2, then (zo-l)P-ae-"'o = 0, p(zo-1)p-1+ ae-",o = 0
which means that either Zo = 1: or Zo = -p+1, Le. either eZO = 0, or rezo ~ 0
and this is a contradiction.
3.9.16. tanz is uniformly bounded on the boundaries of squares Qn with cor-
ners n7t(=t=FFi), hence for z moving round 8Qn: Llarg(z-tanz)=Llargz+
+Llarg(1-z-1 tanz) = 27t+o(1) = 27t for n sufficiently large. On the other
hand, if N is the number of roots and P is the number of poles of z-tanz inside
Qn, and n is sufficiently large, then N - P = 1. Obviously P = 2n and this implies
N = 2n+1 and after rejecting a triple zero at the origin there are 2n-2 non-
trivial Zeros left. The existence of 2n-2 real, non-trivia~ zeros inside Qn is an
immediate consequence
. of the Darboux property. of real continuous functions.
3.9.17. If Izl = 1, then I(z-a m)/(l-om z)1 = 1, hence IF(z) I = 1 > Ibl on
C(O; 1); by Rouch6's theorem withf= F,g= -bthe equationsF = O,F-b = 0
have n roots in K(O; 1).
3.9.18. Apply Rouche's theorem with f= F, g = -F(O).
3.9.19. Suppose that r < R1 < R2 < R. By the argument principle n('YR 2 , a)
-n('YR1' a) = Na-P, whereNa is the number of roots of the equationf(z)-a = 0
and P is the number of poles off in the annulus {z: R1 < Izl < R 2}. 'We have
Na = P = 0 by our assumptions.
3.9.20. Suppose that D~ = {z: loglf(z) I ~ <5}, <5 > o. If <5 is small enough,
then a, Zo are interior points of D~. Since the possible multiple points of 8D~
correspond to zeros off', we can take <5 so that 8D~ = 'Y1 +'Y2+ ... +'Yn, 'Yk being
r
closed analytic curves with positive orientation. If is the image cycle of 8D~
under J, then ncr, a) = Na-P = 0 because r c R(O; e6) for lal >~. Now,
P = 1 and, consequently Na = 1.
CHAPTER 4
4.1.1. fn(x) = xexp(-+n 2x 2) = 0 on the real axis because sup [fn(x) I = -,ie/no
x
Suppose In(z) =f(z) in some disk K(O; r). Since fez) = 0 for all z E (-r, r),
we have also fez) = 0 for all z E K(O; r) and, moreover, f:(z) =I'(z) = 0 in
K(O; r). In particular f:(O) ~ 0 which is obviously false.
4.1.2. If Izl::(; r < I, then Iun(z) I ::(; r n(l_r)-1(I_r 2)-1 = An and LAn
is obviously convergent. If Izl ~ R > I, and n is sufficiently large, then lun(z)1
::(; 2/R"+1. This proves a.u. convergence. Now, un(z) = (l_zn)-1_(I_zn+1)-1+
n
+zun(z) and hence putting sn(z) = L Uk(Z) we obtain sn(z) = (l-Z)-1-
k=l
-(I- z n+2)-1+ zsn(z).1f Izl < 1 and n ~ +00, then s(z) = limsn(z) = (I-Z)-1-
n
-I+zs(z); if Izl > I, then s(z) = (l-Z)-1+ ZS(Z) and s(z) can be evaluated in
each case.
4.1.3. Isinz[2 = sin2x+sinh 2y (z = x+iy), hence [yl::(; Olog3, 0::(; 0 < 1,
implies:
3-n [sinnzl < 3-n(l+exp(nlyl) ::(; 3-n+3-(1-9)n
which proves the uniform convergence in the strip limzl < Olog3;
1'(0) = r. n3-
00
n=1
n = t
4.1.4. Suppose that Z E K(O; r), r1 = -}(l+r) and 0 < r < 1. We have
fez) = -~
2m
rJ f(i;,) di;,
i;,-z
= f(z)-f(O) = _1_.
2m
rJ zf(i;,) di;,
i;,(i;,-z)
C(O; '1) C(O; '1)
191
192 SOLUTIONS
is absolutely and uniformly convergent in K(zo; r), since it has a convergent ma-
jorant IAn- 2 ; re(z+n)-1 = (x+n)[(x+n)2+ y 2]-1 and from the fact that
t(t 2+y2)-1 strictly decreases for t ;> Iyl it follows by Leibniz test of convergence
that I(
-1)n+lre (z+n)-1 converges. Now, the rest in an alternating series is
bounded in absolute value by the first term omitted, i.e. by Ix+n+ 11 [(x+n+ 1)2+
+y2r1 ~ Ix+n+ll- 1 ~ (n+l-lx ol-r)-1 for large n which proves the uniform
convergence in K(zo; r).
4,1.6. The points -n (n = 1,2, ... ) are simple poles of f and res(-n;f)
= (-I)n+\ hence
~f(z)dz
y
= 27ti 2: (-I)k+ In(y,-k) ,
the sum being finite.
4.1.7. We have T(n) ~
n and this implies that the power series on the right-
hand side is convergent (and also a.u. convergent in K(O; 1). If 0 < r < 1 and
z E K(O; r) then
Izn(l-zn)-11 ~ r n(1-r)-1
and this proves the a.u. convergence of the series on the left-hand side. Moreover,
both sums represent analytic functions in K(O; 1). The identity of both functions
OC! OC!
follows from the fact that the double series LL zmn is absolutely conver-
n=lm=l
gent and its sum does not depend on order of summation.
4.1.8. Differentiate k times the identity (1-Z)-1 = l+z+z 2+ ...
4.1.9. (i) K(O; 1), K(oo; 1);
(ii) the real axis;
(iii) C""N 1, where N1 is the set of negative integers;
(iv) the annulus {z: q < Izl < q-1}; no domain of analyticity does exist in
(ii).
4.1.10. The finite limit H(R) = lim
m
n [1 + (R/n)2] exists and
m
n=1
consequently
the given series has a convergent majorant I R2 H(R) (n+ It2 in K(O; R).
4.1.11. The series is a.u. convergent in C""N where N is the set of all integers,
hence it. can be differentiated term by term; the sum to be found is equal to
7t 3 COS 7tz(sin 7tZ)-3. .
4. SEQUENCES AND SERIES 193
since I" are univalent. This proves the univalence of f, unless it is a constant.
4.2.5. I(reiB) = L: a"r"ei"9, I(rei~ = I ii"r ne- i"9. The product If can be
";0 ";0
arranged and written in the following form
00
o
= for any integer n #0 .
4.2.6. We have
2n
2: la"1 r
00
hence
m
for any rE [O,R), I.e. L lan 2R 2n ~ M2,
n=O
l
"'"
pr
m being arbitrary and this implies L Ian 12R2n ~ M2.
n=O
m
4.2.7. lanl2r2n~ L lanl2r2n~ [M(r)]2 by Exercise 4.2.6.
n=O
ao
4.2.8. L Ian 12 ~ M2 by Exercise 4.2.6, hence an ~ O.
n=O
'2: an (z1-z1)
n=1
= 0 for Zl 1= Z2'
"n=2
lall = I '2:
an (z1- 1 +z1- 2Z 2+ ... +z1- 1)[ < '2:nlanlrn-l
n=2
which is a contradiction.
00
4.2.10., 1 ;>
, n=2
L
nrn-1/n! = er -1 holds for r ~ log2. However, from the prop-
erties of exponential function it follows that log2 can be replaced by 'It.
4.2.11. Put in Exercise 4.2.3 (i): an = Cn, bn = lIn!; this gives Rl = 00.
The sequene {c n(OR)n} is bounded, hence IclIl (OR)n ~ M(O) ana also
I
CI)
4.3.1. The power series expansions of elementary functions known from the
real analysis also hold in complex case. The cases (i)-(iv) can be settled by the
method of undetermined coefficient~,
(i) Z == (z_-}.r+t z3- ... ) (1+<-'IZ+C2Z2+ ... ), hence c1--} = 0, C2--}C 1 +
+t = 0, etc. and z/Log(1+z) = 1+-tZ-112 z2+i4 Z3+ ... , R = 1 which is the
distance between z = 0 and a singular point z = -1;
(ii) 1+ 31 z 2+ 45
4 4
z - 7.44
135 Z
6
+ ... , R = 1;
1
(1'1'1')
- 41 Z2 - %1 Z4 - 23 6
15. 48 Z - ... ,
1 2 5 4 61 6
(iv) 1 + "2 Z + 24 Z + 720 Z + ... , R=~'
2'
1 1 2 1 4
(v) Iog2+"2 z +S z - 192 z + ... ,
. I[ 1 1 1 ]
4.3.4. (I) an ="2 l(n-I) + 2(n-2) + ... + en-l)1 = n1(1 +"21 + ...
... + n-I
1) because k(n-k)
1 n1(1k+ n-k1) ' R
= = 1;
1 2 2n - 1
(iv) (COSZ)2 ="2 (1 +cos2z) , hence a2n = (_I)n (2n)!' a2n+l = 0 (n ~ 1),
tlo 1, R -1- 00;
196 SOLUTIONS
L (_I)n(2n)-1(-~/2) z2n,
0()
J(z) = -}log2+-} R = 1.
n=1
4.3.5. limsin7tz 2/sin 7tZ = 2n (cf. Ex. 3.4.8) and therefore all singularities are
removable; R = + 00
hence
C J (n) _
= _ (0) =5-112 [('/5+1
V )n+1 +(_I)n ('/5-1
V )n+1]
n nl 2 2
n = 0,1,2, ... ; R = -}(y5~I).
4.3.8. We have
4.3.12. yuArctanyu = u--fu 2++U 3- ... , lui < 1. If Izl < -}, then Iz/(I-z)1
< 1; hence the radius of convergence R > t. Now, the shortest distance from
the origin to the points where p ceases to be analytic (z =.1) is equal 1, hence
R=1.
4.3.13. By equating Taylor's coefficients of both sides we obtain a1 = 1,
3a 2 = 2a1, ... , (2n+l)a n+1 = 2na n, ... , hence
2n
a n+1 = 2n+l an
.L (lin+i(Jn) (cosnO+isinnO)r
00
n = P(O)-HQ(O)
n=l
4. SEQUENCES AND SERIES 199
and consequently
co
P(O) = L:(cxncosnO-PnsinnO)rn.
n=O
4.4.3. Zn = ei6 (1-r n expicx n), where Icxnl ~ +7t-b, b > 0; we have:
IZnl = (I-2rncoscxn+r,;)1/2 = I-rncoscxn+O(r,;), rn = le"6_ zn l.
Note that a necessary and sufficient condition for Zn to be situated inside a Stolz
angle is: (cOSCXn)-l = rnlrncoscxn = 0(1).
4.4.4. We may assume e l6 = 1, hence the radius of convergence of
l:ak Zk is ~ 1.
200 SOLUTIONS
By Exercise 4.2.3 (iii) the esries L8kZk is convergent in K(O; 1), moreover
00
L (-I)n+ln-l(cosnO+isinnO).
00
for Izl < r, whereas the regular part is convergent for Izl < (limlanI1/n)-1 = R
and divergent .for Izl > R. Hence the annulus of convergence is not empty iff
r <R.
4.5.9. We have
7'1:
7r 7r
7'1:
ex>
an = L (_I)k[k!(n+k)trl(zI2)2k+n which is the coefficient of cn in the pro-
k=O
duct exp (zC 12) exp( - zC- 1/2).
4.5.10. fez) = 1+(z+I)-1+2(z-2)-1+3(z-2)-2; ao = i, an = (3n-l)2- n- 2.
ex>
L zn;
4.5.11. (i) Z-l+
n=O
00 00
L (-,!!2r2-
00
m=l
00
+00
Suppose F is a compact set such that F (IN = 0. If bn = inf 11- z /nl then bn -+ 1
ZEF
as n -+ =j=oo and consequently Iz=j=nl- 2 < +n- 2 for all n sufficiently large which
implies a.u. convergence and analyticity of h. Obviously z = n is a pole of second
order with principal part (z-n)-2. If t = z-n, then
7t 2 cosec 2 7tz- (z-n)_2 = 7t 2 cosec 2 7tt- t- 2
= [7t 2t 2_(7tt-(7tt)3/3!+ ... )][t 2(7tt-(7tt)3/3!+ .. Yr 1 = 0(1) as t -+ 0
which means that 7t 2 /sin 2 7tz- h(z) has a removable singularity at z = n ..
4.5.15. Evidently both h(z) and 7t 2 /sin 2 7tz are periodic with period 1. Since
g(z) = 7t 2/sin 27tz-h(z) has removable singularites at zEN, and has period 1,
it is bounded in the strip limzl < 1. Suppose now that limzl ;;: 1 and 0 < rez < 1.
We have:
1
00
nboo 2
In-zl- =
00
nboo
(x-n)2+y2 .< 2
00
b
(n +y2)-1 < 2
2
00
(n 2 +I)-1. k
Hence h is bounded in {z: limzl:;;:' I}. The same is tr~e for 7t 2 /sin 2 7tz and conse-
quently g is bounded in C, i.e. g = const = 0 which follows from Exercise 4.5.14.
4.5.16. The series is a.u. convergent, hence it can be differentiated term by
term and this gives the equality of Exercise 4.5.15. Note that 7tcot7tZ-Z- 1 -+ 0
asz-+O.
4.5.17. (i) 2z/(z2-n 2) = (-2z/n 2) (1 + (z/n) 2 +(z/n)4+ ... ) and consequently
7tcot7tZ = z-1-2s1Z-2s2Z3_2s3ZS- ... Hence (27t)2kBk= 2(2 k)!Sk;
(ii) 3z- 1 +2z- 3+2z- s + ... -2(sl-I)z-2(s2-1)z3-2(s3-I)zs- ...
4. SEQUENCES AND SERIES 203
4.6.1. We have Icot7tzl ~ M for each Z E frQN and each N, where M does not
depend on' N, (cf. Ex. 2.7.3, 2.7.7). Hence
I ~ J(z)cot7tZdZI ~ M
oQ N oQ N
~ IJ(z)lldzl ~ 8MICNIIJ(CN)I,
Note that
res[n; 7tJ(z)cot7tz] = limJ(z)coS7tz(7tz-7tn)/(sin7tz-sin7tn) =J(n).
z->-n
4.6.2. The function J(z) (z2+ z+1r 1 satisfies the assumptions of Exercise
=
4.6.3. (i) If a =F 0, =j=i, =f2i, ... thenJ(z) = (Z2+ a2)-1 satisfies the assumptions
of Exercise 4.6.1 and therefore
L00
11==-00
(n 2 +a2 )-1 = -(2ai)-1 7t [cot 7tai-cot(-7tai)] = a- l 7tcoth7ta;
(ii) if a4 =F 0, -14, _24, ... thenJ(z) = (Z4+ a4)-1 satisfies the assumptions
of Exercise 4.6.1; it has 4 simple poles a. = 2- 1/ 2 a(=fl =fi) with residues
b. = -{-a- 3 a. and therefore
~ 4
L
n~-~
(n 4 +a4 )-1 = -}7ta- 4 L a. cot 7ta.
'=1
4
L L
00
where a y = ai Y , v = 1, ... 4;
--}a-47t(a1 cot 7ta1 +a 2cot 7ta 2) = --}a- 3 7t(cot7ta+icot7tai)
= -ta-37t(cot 7ta+coth 7ta).
4.6.4. The function fez) = (z-a)-2 has a double pole at z = a; moreover,
res[a; 7t(z-ar 2cot7tz] = --7t 2 jsin2 7ta, hence by Exercise 4.6.1
I
00
as N ~ +00 (CN being the point yielding the maximum of If I on frQN). If all a,
are inside QN, then
".
\ (sin 7tz)-l7tf(z)dz = 27ti{ ~
L.J
res [n; ~(Z)] + ~ res [ak; ~f(Z)]}
SIll 7tZ L.J SIll 7tZ
= 0(1)
oQ N n=-N k=l
as N ~ +00. Note that
4.6.8. E.g. (iv). The function J(z) = Z2 /(Z4 +a4 ) satisfies the assumptions of
Exercise 4.6.7. It has 4 simple poles ak = 2- 1/2 a(=j=I=fi), k = I, ... ,4 with
residues (4ak)-1. Hence
4
1 "'., ( .
S = - 4 7t L...J ak Slll7ta k
)-1 = - 21 7t [alslll
( . 7ta1 )-1 + ( .
a2S1117ta2 )-1] ,
k=l
where a1, a2 are situated in the upper half-plane. Now, a l a 2 = -a 2 and therefore
s = (2a2r17t(a2 sin 7ta2 +a1 sin 7ta1)J(sin 7tal sin 7ta2)
and the result follows.
4.6.9. We have:
Isin az/sin 7tZ12 = (sin 2ax+sinh 2ay)(sin 27tx+sinh 27ty)-1,
z = x+iy; therefore Isinaz/sin 7tzl ~ 1 on vertical sides since sin 27tx = 1
~ sin 27ta, sinh27tY ~ sinh 27ta. Moreover, Isinaz/sin 7tzl ~ 0 uniformly as
Iyl ~ +00. Hence ~ J(z)dz ~ 0 as N ~ +00 (f(z) = 7tsinaz(z3sin 7tZ)-1). Now,
iJQN
iJQN
~ = 27ti f
n=-N
res[n;f], res[O;j] = a(7t 2-a 2)J6, res[n;j] = (-I)nn- 3sinna,
4.6.11. If J(z) = z(sinh 7tazsin 7tZ)-l, then for real a "" 0 and z on the vertical
side of RN we have:
IzJ(z) I ~ (N+i-)2(I+a-2)/sinh7tlal(N+i-) --+ 0 as N ~ +00;
for z on the horizontal sides of RN we have:
IzJ(z) I < (N+t)2(l+a-2)/sinh7tlal-1(N+i-) ~ 0 as N ~ +00.
I'his implies IN ~ O.
206 SOLUTIONS
(i) There are following singularities of f inside RN: simple poles -N,
-N+l, ... , -1,0,1, ... , N, with residues (-I)"n/(7tsinh 7tan) , n i= 0, as
well as simple poles -Ni/a, ... , -i/a, i/a, ... , Ni/a with residues (-I)mm X
X [7ta 2sinh(7tm/a)tl; res(O;f) = 1/7t 2a. Hence
IV
FIG. 4
Obviously a E D(h, 0) implies a- 1 E D(h, 0). If b = h-1coS 20, then rez ~ b for
each z E D(h, 0) and therefore
1m/sinh 7tmzl ~ 1m/sinh 7tmbl ~ Am- 2
for all sufficiently large m and all Z E D(h, 0). This implies that both series or
Exercise 4.6.11 (i) are uniformly convergent in D(h,O) and represent analytic
functions of a in the right half-plane. By Exercise 4.6.11 (i) the difference or
both sides vanishes identically for real a E [h-t, h], hence being analytic in the
right half-plane, it vanishes there identically. An analogolls identity for I he
4. SEQUENCES AND SERIES 207
left half-plane is obtained by a change of sign. On the imaginary axis both series
are divergent.
4.6.13. If N+i- > lxi, the sum of integrals over the horizontal sides does not
exceed
"4(N+i-) [I +sinhlal(N+i-)] V2(N+i-) [sinh 7t(N+-iW t [(N+t)2_lxI 2]-t
which tends to 0 as N -+ + 00. The parametrized integral over the vertical right-
d -~ rr/4
hand side (0 = argz E [-i-7t, i-7tJ) has the form ~ + ~ + ~ , where the first
-/j -rr/4 /j
integral can be made arbitrarily small since the integrand is bounde~ independently
of N and in the remaining intervals Isinazl/lsin7tzl-+ 0 uniformly as N -+ +00.
This'implies that the integral over the vertical right-hand side (and also over
the left-hand side) tends to zero. Hence
N
res(x;f)+ I
n=1
res(n;f) -+ o.
Note that
_ n nsinan
res(x;f) = -7tsinax/(2sin 7tX), res(n,J) - (-I) 2 2
X -n
4.6.14. (i) Put a = 7t/2, x = 2z in the formula of Exercise 4.6.13;
(ii) replace Z by iz in (i).
4.6.15. cot7tZ and coth7tz are uniformly bounded on frQN' where QN is the
square of Exercise 4.6.1. Hence
~ f(z)dz -+ 0 as N -+ +00.
iJQN
The integrand has following singularities inside QN: 2N simple poles on the real
axis, 2Nsimple poles on the imaginary axis with res(n;f) = res(ni;f) = n- 7 coth 7tn
and a pole of order 9 at the origin. In order to evaluate res (0 ; f), we find the
Laurent series expansion of the integrand near z = 0 by using the formulas:
7tzcot7tZ = ,1-Bt (27t)2z 2/2!-B2(27t)4z4/4!+ ... ,
7tzcoth7tz = 1+Bt (27t)2z 2/2!-B2(27t)4z4/4!+ ... .
Hence
res(O;f) = 7t-t(27t)8[(B2/4!)2_BtB3/6!-2B4/8!] = 287t7(-19)/(6!7!).
()hserve that
N
4~n-7coth7tn+reS(O;f)-+O as N-++SO.
208 SOLUTIONS
4.7.3. The integral is a.u. convergent in C and can be differentiated under the
sign of integral.
+OC>
4.7.4. Put g(z) = ~ (x-z)-2q;(x)dx and verify that
-OC>
. 7t
as (j ~ 0 (for 0 < a). Here yet) = te'6, 0 ~ 0 ~ T' Now,
+00 +00
~ = 0 = ~ e-xxs-1dx - ~ e-iYexp [(s-l) (Iogy+ i7t/2)] idy
OD(6,R) 0 0
and finally
+00
res) = exp(7tis/2) ~ e-iYyS-ldy.
o
4.7.9. Put s-1 = a in Exercise 4.7.8 and separate real and imaginary parts.
We have: .
+00
Iimr(l-a) cos (7ta/2) = Iimr(s) sin (7ts/2) = 7t/2 = ~ x-1sinxdx.
0<->1 8->0 0
k=1
= n2 1 -". Use
now the formular(z)r(l-z) = 7t/sin7tz with z = 7t/n, 27t/n, ... , (n-l)7t/n.
4.7.14. If f is nonnegative and decreasing in (0, 1] then
1 1-10
1
which implies that the improper integral ~ f(x)dx exists, iff the finite limit
o
lim n- 1 [f(1ln)+f(2In)+ ... +f(n/n)] exists and both are equal. Note that logr(x)
n-+<Xl
is nonnegative and decreasing in (0, 1] and use the equality of Exercise 4.7.13.
4.7.15. We have: I'(a) = logr(a+1)-logr(a) = loga, therefore l(a)
= aloga-a+b; b = 1(0+) = +log27t.
4.8.1. If I is an arc in the z-plane through zo', III its length and 11 is the spherical
image of f(l) , then
p (zo,f) = lim III I / III
as 1 shrinks to Zo.
4.8.2. p(O,f) = 2
2Ial/(1+lbI ) is unbounded.
4.8.3. Note that any normal family in which the case of a.u. dive'rgence to 00
is excluded, is necessarily compact.
4.8.4. Suppose that K(zo; 2r) c: D and M is the common bound of If I in this
disk. Then for z E K(zo; r) by Cauchy's formula:
hence f' are locally uniformly bounded and form a compact family: Marty's
condition shows that n(z2- n2) form a normal family, whereas their derivatives
do not.
4.8.5. If H is a compact subset of D, then If(z) I ~ R for all z E H, f E".
Hence IFof(z) I ~ sup IF(w)1 for all z E H. Hence {Fo!} is a compact family.
Iwl";;R
4.8.6. {az} form in Izi > 1 a normal family by Marty's condition. Consider
+
the sequence f.(z) = F[(2n+ )z]; we have:
fn(7t) = exp[(2n+-})7t] ~ +00, f.(27t) =
which shows that {Fo!} is not a normal family.
4.8.7. By Marty's criterion {llf} is a normal family. Hence llf. is either a.lI.
convergent in D and the limit function 1/g is analytic which makes g(z) = 0
impossible, or 11fn tends a.u. to 00 which gives g = 0.
4.8.8. By Ex. 4.8.7, g(z)-g(a) is either never in D"",a (which means that
is univalent since a is arbitrary), or g(z)-g(a) == 0, i.e. g = const.
~
L z(2n-z)/[n(z-n)2];
00
F(z) = H(z)+
"=1
00
= H(z)+2z 3 L
[n(z2-n 2)r1;
"=1
(vii) F(z) = H(z)+7tcot7tZ (cf. Ex. 4.5.16);
00
212
5. MEROMORPHIC AND ENTIRE FUNCTIONS 213
'2: (-l)n[(z+n)nW\
00
r(z) = H(z)+
n=O
+00
where H(z) = ~ e- t t Z - 1 dt is an entire function.
1
5.2.1. From 2 and 3 it follows that for all n sufficiently large the points 0, z
lie inside en. If ep(t;) = [t;(t;-Z)r1J(t;), then ~ ep(!;)dt; --+ 0 as n --+ +00 which
en
is a consequence of 1,4 and 5. On the other hand, the integral can be evaluated
by means of the theorem of residues. Since res(O; ep) = -J(O)/z, res(z; q;)
=J(z)/z, res(a n; ep) = An[an(an-z)r\ we have
27ti{ -J(O)+J(z)+z = O.
n=1
"=1
(ii), (iii) can be solved in an analogous manner.
5.2.4. By Exercise 5.2.3 (iii) we have
214 SOLUTIONS
and hence
next we put IX = 3, ,B = 1.
5.2.5. Using the results of Exercise 5.2.3, the equality of Exercise 4.5.16 as
well as the identities of Exercise 2.7.15 we obtain:
00
I
00
7tcoth7tZ z-1+2z
(n2+z2rl.
=
n= 1
5.2.6. The function fez) = (sinzsinhz)-I- z-2 has a removable singularity
at the origin and we may assume f(O) = O. On the boundaries of the squares
Qn with vertices 7t(n+ t)(=f1 =Fi) we have If(z) I :s;; 1+4/7t 2 since Izl ~ 7t/2; f
has 4n simple poles m7t, m7ti (m = =F 1, =F2, ... , =Fn) inside Qn with residues:
res(m7t;f) = (_1)m /sinhm7t, res(m7ti;f) = (-I)m- 1 i/sinhm7t. Hence
00
5.2.9. The functions tanz, (COSZ)-l are uniformly bounded on frQ., hence
~ -+ 0 as n -+ + CXJ. The integrand f has the following singularities inside Q.:
oQ.
a simple pole z with res(z;f) = sinzlzcos 2z, as well as double poles (m+i-)7t
with residues
0()
Since 2..: (_I)m (m+i-)-2 = 0, the desired result follows from the theorem of
m=-co
residues.
5.2.10. fez) = eaZ (e"-1)-1_ z-1 -+ a--t as z -+ 0; moreover f is uniformly
bounded on fr Q., where Q. are squares with corners 7t(2n+ 1)( =f 1 =f i) and has
at z = 2m7ti (m = =fl, =f2, ... ) simple poles with residues exp(2am7ti). Hence
by Exercise 5.2.1:
fez) = a- i- +
m=-co
= LCD
m~l
(z2+4m27t2tl(2zcos2am7t-4m7tsin2am7t)
"
since
L(m7t)-lsin2am7t
0()
5.3.1. If
m
then p is analytic in K(O; r) and has.no zeros. Moreover, [pi = [fl on C(O; r).
Since log[p[ is harmonic in K(O; r), we have by the Gauss formula (cf. Ex. 3.2.5):
2n 2n
z = l-rei'P, CPl ~ cP ~ CP2, and E = E(r) = Argzl for its upper end point Zl'
then
2n- P2
~ Log(l-ei6 )dO+ ~ (l-rei'P)-lLog(rei'P)rei'Pdcp = O.
'P.
Since the latter integral tends to 0 as r -t 0, the result follows.
5.3.3. If f(z) = z).F(z), then 10gl!1 = Alogr+loglFl and
2"
(21t')-l ~ log I!(rei6 ) IdO
o
= Alogr+logIF(0)I+log[r m /la l a2 .. am l]-log[r"/lb l b2 .. bol].
I
Iog 3 for
for
r E (0, I],
r E [I, V3],
if>(r) = 110g3+log r
310gr for r ~ }i3;
(ii) by Exercise 5.3.3 we have:
if>(r) = (2n+I)logr-2nlog1t'-210gn!
for n1t' ~ r ~ (n+I)1t';
(iii) we have for cosz:
if>(r) = 2nlogr-2nlog1t'-210g[t f .. (n-t)],
(n- t)1t' ~ r ~ (n+ t) 1t'; now subtract both expressions for if> for cosine and
sine.
5.3.5. Obviously logx = log+x-Iog+(llx). Since the zeros of f are poles
of 1If, we have only to show that
r
10g[r Ilb l b2
O ... bol] = ~ t-ln(t.!)dt.
o
~ t-lnk(t)dt = log[rllbkl].
o
00
5.3.6. f is analytic and 1= 0 at the origin and moreover n(r,!) = nCr, llf).
5.3.7. n(r,f) = 2[r/7t+1/2]; nCr, 1If) = 2[r/7t].
5.3.8. Since n(r,f) == 0, we have
1</2.
T(r,f) = m(r,f) = (27t)-1 ~ rcos()d() = r/7t.
-1</2
O<r<1.
5.3.11. If fez) = CAZ A + ... , ICAI > 0, then
r
(ii) iloglanll/(I-Ianl) --+ 1 because lanl --+ 1. Now; the series 2)ogla nl is abso-
lutely convergent by (i) and this implies the convergence of L (I-Ian I).
5.3.14. The function F = (f_g)Z-A is analytic and bounded in K(O; 1) and
I
does not vanish at the origin. Ityanishes at z = ail and if we hadf-g 1= 0, then
the series L (1-la nl) would be convergent by Exercise 5.3.13 (ii).
5.4.1. We have 0 < A ~ Iz- 2[Log(1 +z)-z]1 ~ B for z E K(O; r) and suffi-
ciently small r > O. Therefore
Alunl2+un ~ Log(1+un) ~ Blunl2+un for all n ~ no.
5.4.2. The series L Un is convergent as an alternating series, whereas L u~
= L I/n is divergent (cf. Ex. 5.4.1).
5.4.3. (i) P n = PIP2 ... Pn = (n+I)/2n;
+
(ii) P n = -;-[1 I/n(n+ 1)];
(iii) P 2k = 1, P 2k + 1 = (2k+2)/(2k+ 1).
m
544
.. D. (1 +z2n) = 1+Z+Z 2 + '" +Z 2 m + 1 - l ~
n=O '
5.4.5. (i) The finite plane; (ii) K(O; 1/e); (iii) the finite plane; (iv) E"'--.N1 ,
Nl is the set of all negative integers.
5.4.6. Put un(z) = (z-a n)/(z-a;l)-1. If 0 < r < 1, and z E K(O; r), we
have lun(z)1 ~ (1-la nI2)/(1-r) = A.n. Since. LAn < + 00, the product
n (1 + Un (z)) represents a function F analytic in K(O; 1). If z 1= an, then all the
factors are different from 0 and consequently 'F(z) 1= 0 which follows from the
definition of convergence for infinite products. Moreover,
l(z-an)/(z-a;l)1 = la nIICz-a n)/(1-anz)1 < lanl < 1
for Z EK(O; 1) and this implies W(z) I < 1 in K(O; I).
5.4.7. We have:
1(1-z)e -11 = IzI 21(1-1/2!)+(1/2!-1/3!)z+(1/3!-]/4!)z2+ ... 1
Z
k=1
5. MEROMORPHIC AND ENTIRE FUNCTIONS 219
n E(z/log(l+n), n),
co
(ii) zexpg(z) mn = n;
n=l
(vi) zexpg(z) n [E(z/n, 2)]n.
co
"=1
5.5.3. If F is an entire function with zeros a1 , a 2 , , an, ... (0 < Iall
~ la21 ~ ... ) written as many times as their order shows, then F'!Fis a mero-
morphic function which has at an simple poles with principal parts (z-a n)-1
(for a zero of order k, we have k terms of this kind). Now, according to Mittag-
Leffler formula,
-~=
F'( )
F(z)
<Xl
L...J
{I
z-a
1[
~ - - + - I+~+ ... + ~)mn-1]} +h'(z)
an an
(an
n
n=1
where h is an entire function. If G is a simply connected domain such that 0, z E G
and all an belong to C,"", G and y c G joins 0 to z, then
f F'(t;) F(z)
J F(Cr dt; = log F(O)
o
Choose qn so that 2- qn M n :s;; 2- n. If N > n, then the Nth term of (A) is dominated
by 2-N in Kn and this implies a.u. convergence of (A). If Z ~ an, then the only
term with a removable singularity at an tends to 'Y}n' while all the remaining ternis
tend to zero because they contain the factor w(z).
5.5.6. We can take sinz instead of w in Exercise 5.5.5. We have Isin 7tZI
< exp(n7t/2) inK(O; n/2) hence e.g.
IT (l-z/n)e
00 00
making z --+ 0 we obtain I = (4/7':) n (n 2+n) (n+i-)-2 which gives the desired
n
00
1
result.
5.6.9. Taking ~he logarithmic derivative of the right-hand side we obtain:
~,[(
~
3
n7':+3z
-~)-2(---~-
n7': n7':+z
__I
n7':
)+(~I
z-n7':
+_1)]
n7':
= 3cot3z-cotz
n=-oo
which is the logarithmic derivative of the left-hand side. The two expressions
differ from each other only by a constant factor which shows to be equal 1 (put
z = 7':(2).
5.6.10. Integrate both sides of the equation of Exercise 5.2.1:
F'(z)
F(zf =
F'(O)
F(O) +~
~
00
(1 1)
z-a + a::
(An = 1).
n
n=1
5.6.11. The function F(z) = sin 7':(z+a)/sin 7':a vanishes at z = -a-n, n being
an integer, moreover its logarithmic derivative F'(z)/F(z) = 7': cot 7':(z+a) is
uniformly bounded on squares with corners (n+t)(=f1 =fi)-a. Hence by Exer-
cise 5.6.10:
X Jl(l+ a_tn)exp(-z/n).
5.6.14.
,
(i) [r(-t)t1 = -te-y/2 n (I-1/2n)e 1/
00
n=1
2 "; now, r(-t) (-t)
"=1
2 ",
00
(Hi) putting z = 1/2 in (ii) and using the equality - {- r( -{-) = r(~) we
obtain:
(l+t)(I-{-)(I+~) ... = y;[r(tW 2
5.7.1. M(r) = expr\ hence loglogM(r)/logr = k.
5.7.2. M(r) = expe r , hence loglogM(r)/logr = r/logr -+ +00.
5.7.3. (i) M(r) = coshyr, hence
logM(r) = v'r+o(I), or loglogM(r)/logr = {-+o(l);
5. MEROMORPHIC AND ENTIRE FUNCTIONS 223
(8 > 0 is arbitrary, K depends on 8 only) since loglf(re i9 ) I < 10gM(r) < Kr P+'
2r
for r sufficiently large. Moreover, ~ t- 1m(t)dt < 2 P+'r P +' K and consequently
2r 2r
2r
m(r)log2 = mer) ~ t- 1dt < ~ t- 1 m(t)dt < ~ t- 1m(t)dt < 2P +'r P+ KB
r r 0
an integer m such that m < p < m+ I. Then by Exercise 5.7.8 the series L lanl-m- 1
n=l
00
5.7.10. (i) -nlogn/loglcnl = 1 for all n;:?: 2, hence p = 1 (cf. 5.7A); simi-
larly: (ii) p .c a; (iii) p = 0; (iv) p = I.
CHAPTER 6
00
6.1.1. If III has a local maximum at a ED and I(z) = 2.: An(z-a)n, then
o
I/(a) I = IAol and I/(a+re i6 12 :0:;; IAol2 for all real () and all r sufficiently small.
Hence
2~
224
6. THE MAXIMUM PRINCIPLI! 225
6.1.12.
Iq;(z) I < expJ.IY[lexps(x 2-y2+2ixY)1 ~ exp(sa 2+J.IYI-ey2) < C,
if Iy[ is large enough. Making e ~ 0 for a fixed z, the result folldws.
6.2.7. The function [w(z)- e<][I- e<w(zW l satisfies the conditions of Exer-
cise 6.2.1, hence !(w(z)-e<)/(I-e<w(z)! ,:::;; Izl or l(w-e<)/(W-e<-l)1 ,:::;; re<, where
r = Izl and W = w(z) (cf. now Ex. 1.1.25).
6.2.8. If w(z) satisfies [w(z)- e<]f[1- e<w(z)] = ze iP with real fl, then its values
taken on C(O; r) cover C(zo; p). Suppose now that WI' W2 E C(zo; p) and WI
= Wl(Z) , W2 = W2(Z). If 0 < A < 1, then Q(z) = AWl(Z)+(1-A)W2(Z) takes
for suitably chosen WI, W2' A each value from K(zo; p), for some z E C(O; r).
6.2.9. The set Q r is a bounded, convex domain whose boundary is of circles
C(zo; p) of Exercise 6.2.8 with r fixed and e< ranging over [0, 1]. The envelope
consists of the left half of C(O; r) and two circular arcs emanating from z = 1
and symmetric with respect to the real axis which intersect at a right angle the
imaginary axis at =Fir.
6.2.10. Put P(z) = zQ(z); K(O; 1) c H, where H is an ellipse with semiaxes
a V2, b = 1 and foci =F1. It follows from Exercise 6.1.10 that IP(z)1 ,:::;; M(1 +
=
+V2)n+l in H and also in K(O; 1) and by Schwarz's lemma
IP(z)1 = IzQ(z) I ,:::;; IzIM(I+V2)n+l in K(O; 1).
6.2.11.
P(z) = (z-1']) Q(z) = (z-1']) (aO+alz+ ... +anz")
= -ao1']+(ao-1']al)z+(al-1']a2)z2+ ... +(an_l-1']an )z"+anz"+I.
6.3.8. We have
(l-lzj)/(l+lzj) ~ Ip(z) I ~ (1+lzj)/(I-lzj),
-2arctanlzl ~ Argp(z) ~ 2arctanlzl,
which are precise estimates of w and Argw in K" r = Izl (cf. Ex. 6.3.7).
6.3.13. cp -< F, hence Icp' (0) I :( IF'(O)I = 1 and using the equality f'(a) = 1'( -a)
we obtain (1-laI 2)1f'(a)1 :( 1.
6.3.14. Put w = CIZ+C2Z2+ ... ; from Exercise 6.2.5 as applied to w(z)jz
we obtain Ic 21:( 1-lclI2. From the identity /= Foro we obtain: al = A1Cl,
a2 = A2ci+A1c2' which implies
h(z) = A(rl)(IOgB):(IOg~)+A(r2)(10
r 2 '2
B):(log!..2..)-u{Z)
g r1 rl
is harmonic in the annulu~ rl < Izl < r 2 (R 1 < r 1 < r 2 < R 2 ) and nonnegative
on its boundary hence it is nonnegative on C(O; r) and
nonnegative on C(O; r) and positive in K(O; r). This implies :0 argf(pei8) > 0
for any p < r.
CHAPTER 7
Analytic Continuation.
Elliptic Functions
129
230 SOLUTIONS
must be convergent in K(h; r), where 0 < h < 1 and h+r> 1. Obvicusly
Ipn>(he iO ) I ~ pn>(h) and this implies that also the series
L (z-heioypn>(heiO)/n!
00
n=O
as y -+ 0+
which is a contradiction.
00
7.1.9. E.g. L 2-nz2n ; the derivative cannot be continued beyond the unit disk
n=l
and the same necessarily holds for the function itself.
7.2.1. After reflections w.r.t. the real axis we obtain fez) = fez) and after
reflections w.r.t. the imaginary axis we obtain f(Z) = -f(-z) which gives
f(z)+f(-z) = o.
7.2.2. After reflections we obtain a function meromorphic in the extended plane,
i.e. a rational function.
00
7.2.3. If fez) = L
n:::::-oo
An (z-ay, then
00
feZ) = L
n:::::-oo
An (z-a)n.
7.2.5. Take f1 =
1
2
-
[f(z)+f(z)] , f2 = zi1 [f(z)-/(z)].
-
and moreover,
(F" JF') 2 =(f" J/)2 +4c2f' 2 (Cf+d)-2_4cj"(cf+ d)-1
Hence
n
~ = L ~ = FnCzn) = F(Z).
m=lY m
lytic in K" r being a branch of ./l-1, and moreover the corresponding elements
(rog, K,) are identical for C sufficiently close to each other. This procedure
defines a single-valued entire function G(z) with reG(z) > 0, which evidently
implies G = const.
7.3.S. If fez) = a, b, then g = (f-a)/(f-b) is an entire function which omits
the values 0, 1 and therefore g = const.
7.3.9, 10. It follows from the definition of ./l and from the reflection principle
that ).(r+2) = ./l(r); moreover, im(Iogw/ni) > 0 in Iwl < 1. Hence Q is single-
valued and analytic in K(O; 1). An open segment (-!5, (5), 0 < () < 1, is mapped
under Q onto another segment (-n, n) of the real axis, hence Q(w) = A 1 w+
+A2w2+ ... and all Ak must be real. Ai > 0 since the angle of local rotation at
w = 0 is equal to O. An element of the inverse function w = Q-l(W), 0 = @-1(0),
can be continued on IWI < 1, and its values cover a part of K(O; 1), hence
Id~/dWlw=o < 1, which implies Ai > 1.
7.3.11. The function element (Q-l 0/, K(O; (5), where !5 is sufficiently small,
can be continued along any arc situated inside K(O; 1) and determines a single-
valued analytic function ()) with 1())~z)1 < 1. Hence / = Q 0 ro, i.e. / -< Q.
7.3.12. A consequence of Exercises 7.3.11, 6.3.2 and the remark given in Exer-
cise 7.3.10.
n (r-b,,)fJk-
t n
7.4.1. If !(t) = A~ 1 dr+B maps {t: imt > O} onto the inside
Ok=l
of D and z = (b n -t)-1, then
t-bk = (bn-bk)z-l(Z-XIc), k = 1,2, ... , n-l, t-bn = -z-1,
n-l
dw/dz = dw/dt dt/dz = CIT (z-X")',,.-l.
k_1
234 SOLUTIONS
z
7.4.2. w = \ C- 2/3 (1-0- 2/3 dC; a = (27t)-13 1/ 2 [r(+W; Xl = 0, X2 = 1,
o
X3 = co; IXI = 1X2 = 1X3 = +.
z
7.4.3. w = ~ C,,-l(1-C 2r"dC; a = i-[r(IX)COS(IX7t/2)r1 r2(-tlX).
o
7.4.4. We have dw = z-l[z/(I-z 2 )]"dz, hence argdw = const on the circle
z = ei8 , as weII as on the line z = iy, Y > 0; z = i corresponds to the center
of the rhombus.
7.4.5. The image domain is bounded by the polygonal line with interior angles
~7t, f7t, f7t, -}7t, hence
z
W= ~ [(C 2- r')2)/(C 2-a2)]1/2dC,
a
a
h = ~ [(t 2- r')2)/(a 2_ t 2)]1/2dt,
<I
<I
k = 2 ~ [(r')2_ t 2)/(a 2_t 2)]l/2dt.
o
7.4.9. The mapping of H+ onto a polygonal domain with interior angles rr/n,
2rr(l-I/n), rr/n has the following form:
S
\ (C_a)1-2 /n r
z
C-a
fn(z) = A J (C2-1)1 lIn dC+B= A J C2-1 dC+B
o 0
-1t12. The distance between the rays is equal to 1tlb Va. Putting Z = z-b,
we obtain:
"
w = ~ [1J(1J+b)J/ 1J+b-ar1d1J
"0
and a similar reasoning shows that the images of (a, b), (b, +(0) are infinite
rays parallel to the negative real axis, the distance between them being 1tlb Vb-a.
_ _ _ _ _ _ _--,H (aJ
H(b)=OO-
H{oo)
~
H(O) = 00
FIG. 5
7.4.16. The mapping obtained in Exercise 7.4.15 after a reflection w.r.t. thc
positive real axis in the z-plane whose image is the whole real axis in the IV-planc
gives the desired image domain. Put now z = Z2.
7.4.17. The mapping z = i(l-t)/(1+t) carries H+ into the unit disk in the
t-plane; if (t = ck) ~ (z = Xk), then
Z-Xk = 2i(t-c,,)[(1-Ck)(1-t)r1;
7. ANALYTIC CONTINUATION. ELLIPTIC FUNCTIONS 237
moreover,
n
= Al IT (t- Ck)"r 1.
k=1
since 1X1 +1X 2 + ... +lX n = n+2.
7.4.18. If Ck = exp(27tik/n) and F carries the sector 0, Co, C1 into the triangle
0, ao, a1 (ak being the vertices of a regular n-angle)' then after reflections F can
be continued on the whole disk, which implies that the preimages of vertices ak
also form a regular n-angle (if F(O) = 0). We have:
t n
F(t) = A~ IT (T-Ck)lXk-ldT+B
o k=1
= 27tr(I-2/n) [r(I-1/n)t2.
7.4.19. The alternate interior angles of the n-pointed star are equal: 7t(I+A),
7t(I- A-2/n) and a symmetry reasoning shows that the preimages on It I = 1
form a regular 2n-angle. Hence
t
W = F(t) = ~ (1 + Tn)J.(I_ T n)-J.-2/ndT, 0 < A < 1- 2/n.
o
7.4.20. Particular cases of Exercise 7.4.19: (i) take A = 2/5, n = 5; (ii) take
A. 1/3, n - 6.
238 SOLUTIONS
7.4.21. 1 If () = argz then dw/d() = const on both arcs (f{Jk' "Pk), ("Pk> f{Jk+1) of
C(O; 1); in fact,
l-zk Z = -2iexp [i- i()-f{Jk)] sint ()-f{Jk) '
1- CkZ = -2iexp[i-i()-"Pk)] sini- ()-"Pk) '
hence
n
if there are no Zb Ck on the arc considered; hence the image of any arc (f{Jk> "Pk),
("Pb f{Jk+ 1) is a half-line (note that z -+ Ck implies w -+ 00);
2 11 arg (dw /dz) = -7t when z describes a small semicircle with center at Zk
which means that the rays lk corresponding to circular arcs with a common
end point Zk coincide (note the continuity of w(z) at Z = Zk);
3 11 arg(dw/dz) = (1 + {3k)7t when z describes a small semicircle with center at
Ck which means that the angle between lk and Ik+1 is equal to (3k.
If the rays lk do not intersect each other, the mapping is 1: 1 which may be
verified by the argument principle. The univalence may be proved either by argu-
ment principle, or by using the remark given in Exercise 7.4.24.
z
7.4.22. The mapping IP(z) = ~ (1 +t 4 )-1/2dt carries K(O; 1) into a square
o
which is a convex domain; we have: IP'(z)Jw'(z) = l-z4 which has a positive
real part in K(O; 1). Hence the mapping is univalent (cf. Ex. 7.4.24). The images
of arcs (k7tJ4, (k+l)7tJ4) of C(O; 1) can be found similarly as in Exercise 7.4.23.
The points i" correspond to w = 00, whereas the points (1 +i)2- 1 / 2 i" correspond
to the vertices of right angles. Hence
1
o
7.4.23. Cf. Exercises 7.4.1, 7.4.17. The domain being convex, we have 0 < rY.k < 1
for the finite vertices; if 1 < rY.k < 2, then the image of z = e- i6k is the point
w = 00;
r
re IT
k=
(l-zkz)!(1-Ckz) = re IT (Z-Zk)!(Z-Ck)'
1 k=l
Now, arg[(z-zk)!(Z-Ck)] = --}(V'k-Pk) if Z is situated outside the arc (Zk; Ck),
hence for Z on an arc (Ck; Zk+l) we have
n n
L
k=l
arg[(z-zk)!(Z-Ck)] = --} L (V'k-Pk) = -7t/2.
k=l
Moreover, for Z situated on the arc (Zk; Ck) we have
arg[(Z-Zk)!(Z-Ck)] = 7t--}(V'k-Pk),
whereas for the remaining arcs arg[(z-z,)!(z-C,)] = --}(V'.-p,), hence
n n
L
k=l
arg[(z-zk)!(Z-Ck)] = 7t--} L (V'k-Pk) = 7t!2.
k=l
k=l
are situated on the negative imaginary axis, whereas the images of arcs (Zk; Ck)
are situated on the positive real axis, moreover, P(Zk) = 0, P(Ck) = 00. In view
of the maximum principle and the relation p(O) = 1 we have rep(z) > 0 in
K(O; 1).
7.4.25. The integrand has in K(O; 1)",-0 the Laurent expansion: Z-2_
n
_Z-l L ct kCk+ ... , hence it does not depend on the line of integration joining
k=l
n n
in K(O; 1)"'-0 the point 1 to z, iff L ctkCk = 0, i.e. iff L ctkCk =0. Then W(z)
k=l k=l
is meromorphic in K(O; 1) and has a simple pole at the origin. Moreover, W(z)
is continuous in K(O; 1)",-0 since all ctk > -1. Hence W(e i9 ) is a closed curve.
If ()k = arg Ck> 0 ~ ()1 < ()2 < ... < ()k < 27t and Z = e;9, then
n
k=l
3 3
(t-'f/k)l%k- l dt; L OCk = 5, L (ock-l)1Jk = O.
k=l k=l
7.4.27. Cf. Exercises 7.4.26, 1.1.10.
z
7.4.28. w = A~ t- 2(t n _l)21 dt, where
1
n
A = 2- 2nnsin(7t/n) [~(sinlP)2/ndlPrl.
o
7.5.1. Put x = ty'2.
7.5.2. Put t = ~ and verify that y'1-z 2 = sn V2(u-K).
7.5.3. Put t = -Vl-k2u2/k' in the integral
11k '
K'(k') = ~ [(t 2-1) (l-k,2 t2w 1/2 dt
1
which gives K(k) = K'(k').
7.5.4. (i) If w = sn u, then
u = u(w) = w+t(l+k2)w3 + 4~ (3+2k 2+30)w5 + ...
which can be found from the definition of u(w) by expanding the integrand into
a power series and term by term integration; hence (i), (ii), (iii) can be obtained
by the method of undetermined coefficients; R = K' since iK' is a singularity
nearest the origin.
nl2
7.5.5. From the equality K(k) = ~ (l-k2sin20)-1/2dO we obtain after ex-
o
panding the integrand according to the binomial formula and term by term
integration:
7. ANALYTIC CONTINUATION. ELLIPTIC FUNCTIONS 241
and hence
K(k) ./ +00, K(k') = K(V1-P) \. 7t/2 as k ~ 1. .
.
7.5.6. The product snusn(u+iK') is an analytic, doubly periodic function,
hence it is a constant k- 1 (make u ~ K). Consequently
sn(u+iK') = k- 1[u- 1+f(1+k 2)u+ ... ].
7.5.7. Periods: 2K(k), 4K'(k)i; zeros 2mK(k)+2niK'(k); poles: (2m+l)K(k)
+2niK'(k)(m, n are integers).
7.5.8. The l.h.s. has periods 2K(k), 2iK'(k) and possibly poles 2mK+2inK';
in view of Exercise 7.5.4:
sn- 2(u, k) = u- 2 [1+i-(1+k 2)u2+ ... ]
and hence the l.h.s. is equal to 1+ (higher powers of u), near the origin; hence it
is identically 1.
7.5.9. Put k = 1/-V-l so that K(k) = K'(k) = K;
feu) = snKusnK(u+l+i)
is a solution which is unique up to a constant factor.
7.5.10. If z describes COAB, then v describes the boundary of (+; +) and
(l-v)/(1+v) describes the boundary of the lower half of K(O; 1); note that
w = [(1-v)/(1 +V)]1/2.
7.6.1. Grouping the factors corresponding to the pairs (m; n), (-m; -n),
we obtain
a(z) = zIT (l-z2/Qi)exp(z2/Q;);
observe that every factor has the form l-z4/Qt+ ...
7.6.2. If z = x, group the factors mW 1 =fnw2; if z = iy, group the factors
=fmw l+ nw 2'
7.6.3. A consequence of Exercise 7.6.3 and the reflection principle ..
7.6.4. C'(U+Wk) = C'(u) since f.J is periodic; hence C(U+Wk) = C(u)+2C(fwk)
(put u = -fWk and use the fact that C is odd). Thus
a'(u+wk)/a (U+Wk) = a'(u)/a (u)+2C (fWk)
and the result follows by integration since a is odd.
7.6.5. (i) By Exercise 7.6.4 a(2u)/a 4(u) is doubly-periodic and has poles of
order three at mWl +nw 2 Moreover it is equal to 2u- 3 +Au+ ... near the origin,
242 SOLUTIONS
hence fp'(u)+a(2u)/a 4 (u) = 0 since the l.h.s. has only removable singularities;
(ii) take logarithmic derivatives of both sides.
L
m=-oo
OCJ
n=-oo
2 2
sides a, b.
After reflections we obtain a function w = w(u) meromorphic and doubly
periodic with periods 2a, 2ib which can be identified as fp because it has double
poles at 2ma, 2nib and the principal part at the origin is u- 2.
7.6.10. If one factor has a pole (which is double) then another one has a double
zero, hence the l.h.s. is analytic in C and must be constant. Now put u = w'.
7.6.11.
2K(e1 -e 2 )-1/2 ,
since fp is homogeneous of degree - 2. Hence both sides have periods 2K,
2iK'. Moreover, principal parts of both sides at u = 0 are equal to
(e1-e2)u-2, hence their difference reduces to a constant which can be found
by putting u = iK' which gives e2
7.6.12. If z is replaced by z+wk> t;(z) being an odd function increases by
2t;(-}w k ); after integration we obtain 2'1}lW2-2r12w1 = =[=27ti because res(O; t)
= 1; the sign depends on the orientation of parallelogram of integration.
7. ANALYTIC CONTINUATION. ELLIPTIC FUNCTIONS 243
7.7.1. The angles (on the sphere) at u = 0 are doubled, hence u = 0 is a double
pole, the only singularity in: Ireul < 2a, limul < b; fis an even function, hence
after a suitable choice of A, f-Ap is analytic and hence it reduces to a constant
B. Putting u = 2a, ib, 2a+ib we obtain for f(u) the values 0, -h, _h- 1 and
this enables us to find A, B, h.
7.7.2. Put z = 10gC/Q, a = 10gQ, b = 1t in Exercise 7.7.1.
7.7.3. Put w = ei6 , 0 < () < 1t, and verify that du/d() = ie i9du/dw is real and
# O.
7.7.4. Use Exercise 7.7.3; note that the image of [K, K+-}iK'] is the segment
[Vk, 1]; horizontal sides of the rectangle are mapped onto the upper and lower
half of C(O; 1), whereas vertical sides correspond to the slits [-1, -y'k], [y'k, 1].
7.7.5. Under the mapping w = Vksn(u, k) the rectangle R: Ireul < K,
limul < -}K' is mapped onto K(O; 1)",,[(-1, - y'k] u hlk, 1)]. On the other
hand; z = csn 1tu/2K maps R conformally onto an ellipse with foci =fc slit along
[-a,-c] and [c,a]; if (u=-}iK')--(z=ib), i.e. b=y'a 2 -b 2 sinh1tK'/4K,
or 1tK'/2K = log a + bb -, we obtain the given ellipse H. The slits can be removed
a-
by reflection principle.
7.7.6. w = y'ksn(u, k) maps 1: 1 conformally the rectangle Q: Ireul < K,
0< imu < -}K', onto K(O; 1)"'-{[-yk, y'k] u [0, i)}; u = 2Ki1t- 1 Logz maps
A"'-( - R, -1] onto Q; the slits can be removed by reflection principle.
7.7.7. Consider W = [w(Y~)r2, where w(z) is the mapping obtained in Exer-
cise 7.7.6.
244 SOLUTIONS
8.1.1. The inverse mapping would be a bounded, entire function, thus a con-
stant by Liouville's theorem.
8.1.2. The sets of values taken by g on (- 00, -1), (-1,0) coincide.
Moreover, if u = -vcotv and vcosecv = exp(vcotv) which holds for. some
vE(21tn+1tt4, 21tn+1t/2) and all n large enough, then g(ll+iv)=g(-I).
Thus we need to verify that g takes every finite value in C. Suppose that
weW - a 1= 0 for Some a and all w. Then also (w +21ti)ew - a 1= 0 and the
quotient I+21tie w /(we W -a) which is an entire function 1= 0, 1 must be a
constant. This is an obvious contradiction. If h(z) = 4z(I-z)-2, then h[K(O; 1)]
= G and 1= {- g 0 h has the desired properties.
8.1.8. If the function f/J mapping D onto K(O; 1) is such that 0 = f/J(a), then
all the functions with this property have the form eilXf/J(w); hence
q?(w) = eilXf/J(w)/f/J'(a) and r(a; D) = 1/1f/J'(a)l.
8.1.9. In view of Exercise 8..I.8.
r(a; G) = Idw/dCJ~=o, where w = J[(C+zo)/(l+zoC)].
8.1.10. (i) R- 1(R 2_laI 2); (ii) 2h; (iii) 4d.
8.1.11. If Do = J[K(O; 1)], ao = J(zo) , then
r(ao; Do) = (l-l zoI2)1f'(zo)1 and r(a; D) = (l-lzoI2)1f'(zo)IIq?'(ao)l.
8.1.12. Suppose that z = f/J(w) maps Do onto K(O; r). Then q? 0 f/J-l maps
conformally K(O; r) onto D and
2n:
8.2.2. J(z) = (21t)-1 ~ U()) (Rei6 +z)/(Rei6 -z)d()+iv(O) , where v(O) is an ar-
o
bitrary real number.
8.2.3. This is a consequence of (8.2A), the mean-value property:
2n:
8.2.5. 21t'u(z) = ~ (1-lzI2) IC-zl- 2dO = ll(Cl-Z)/(C-z)ldO because IC1 -zliC -zl
~ ~
FIG. 6
(cf. Fig. 6) we have dO/IC-zl = dOdIC1 -zl, hence 21t'u(z) = ~dO = length
1
of y.
8.2.6. If KeD, where D is the domain where the functions Un are defined,
then the formula (8.2A) may be applied, hence the limit function is harmonic,
in K and also in D.
8.2.7. In view of Exercise 8.2.6 the function
ao
u(z) = u(re i"') = -}a o + L (r/R)n(ancosrtq;+bnsinnq;)
n= 1
and hence
2,... co
2,...
8.2.8. u(z) = u(rei'P) = (2rc)-1 ~ re[(z+O/(z-C)]U(O)dO, where C = Re w,
o
co
8.2.9. u(rei'P) = C(rc-1+2~-1 L n- (r/R)nsinnr1..cosnp.
1
n=1
8.3.1. A function harmonic in 0 < Izl < 1 and continuous in K(O;I) is har-
monicinextensiontoK(O; 1) and hence it is determined by its values on ceO; 1).
2,...
If U(O) =1= (2rc)-1 ~ U(e i8 ) dO , the Dirichlet problem has no solution.
o
8.3.2. (i) u(z) = A(1og(lzl/R2:(log(R1/R2+B(log(lzl/R1: (log(R2/R1;
(ii) the coefficients an, bn, Cn, dn may be evaluated from Euler-Fourier for-
mulas:
2,...
+00
8.3.8. The integralf(z) = 7t- 1 ) (z-t)- l U(t)dt is a.u. convergent for imz > 0,
-00
hencefis analytic and u(z) = imf(z) is harmonic in the upper half-plane. Suppose
that B is an arbitrarily chosen positive number and () is such that
IU(t)-U(to)1 < B for It-tol < ().
Put
~-8 +00
'0+ 6
+7t- 1y ~ Iz-tl- 2U(t o)dt.
10- 8
If z --. to, the two initial terms tend to 0 and the third tends to U(t o) by Exercise
8.3.5. Moreover,
'0+ 8
8.3.9. The mapping z = -}(w+w- l ) gives the annulus 1 < Iwl < 2+y3,
hence u(z) = loglz+y'z2-1//log (2+y3) by Exercise 8.3.2 (i).
8.3.10. The mapping z = -}(w+w-,l) gives the upper half-plane imw > 0
with the negative and positive real half-lines being the image lines of the slits.
Hence
u(z) = 2h[-}-7t-1Arg(z+vz2-1)], im(z+Jlz2-1) > O.
8.3.11. After the transformation z = }c(w+w- 1) the problem is reduced to
250 SOLUTIONS
v'
an analogous problem for the outside of K(O; R) (c = a 2-b2 , a = -}c(R+K1),
b = -}c(R-R- 1), R = (a+b)lc > 1). The solution of the latter problem is:
10g(JwIIR)+A. Hence
u(z) = loglz+ yz2- c2 1-log(a+b)+A;
if A = log [(a+b)/2] , then u(z)-loglzl = 0(1) as z --. +00. The uniqueness
follows from the maximum principle.
8.3.12. The mapping w = 2(Z2+-}) carries the given domain into that consid-
ered in Exercise 8.3.10. Hence
u(z) = 1t'-limLog(2z2+1+2zyz2+1) = 1t'- l imLogF(z).
We have Ux =0 on the real axis, hence
u, = aulan = 1t'- l IF'(z)1 = 21t'-1(x 2+1r 1/2.
n=l
[(anrn+bnr-n)cosnO+(cnrn+dnr-n)sinnO] ,
where
an = [1t'n(l-R 2n)r 1sin21t'nA, bn = [1t'n(1-R- 2n)rlsin21t'nA,
Cn = [7tn(1-R 2n)r 1(1-cos27tnA), dn = [1t'n(1-K2n)rl(I_cos21t'nl).
8. THE DIRICHLET PROBLEM 251
8.5.1. If h(z, zo) is the solution of the Dirichlet problem with boundary values
10gIC-zol, then
g(z, Zo; G) = h(z, zo)-loglz-zol.
8.5.2. Suppose t =f(z) maps 1:1 conformally G onto K(O; 1). Then
g(z, zo; G) = 10g[ll-f(zo)f(z)lIlf(z)-f(zo)l].
8.5.3. If dist(w, frG w) ~ 0, then dist(z(w), Gz ) ~ 0, hence g(w, wo; G) ~ 0;
if w ~ wo, then
g(z(w), z(wo); G2 ) = -loglz(w)-z(wo)I+O(I)
= -loglw-wo/-log[jz(w)-z(wo)l//w-wol]+O(I)
= -loglw-wol+O(1).
8.5.4. u+iv = 10g<P(z) is analytic in .any sufficiently small neighborhood
of a boundary point, moreover u = g(z; Zo; G). By Cauchy-Riemann equations:
ogfon = au/an = -ov/os = loO/osl because v = 0 = arg<P for z E The r.
image of r
under <P is C(O; 1), where 0 and the arc length (] coincide; hence
252 SOLUTIONS
og/on = da/ds = IP' (z) I, because the ratio of arc length elements da on ceO; 1)
and ds on r
is equal to IP'I.
8.5.5. g(z, zo; K(O; R) = log[IR2- zzoIlIR(z-zo)l] , hence by Exercise 8.5.4:
og/on, = R-l(R2_lzoI2)IC-zol-2
= R-l(R2_r2) (R2 +r2-2Rr cos (O-/f)t 1 ,
8.5.11. We may assume that G = K(O; 1) since both p and g are invariant
under conformal mapping. Moreover, we can take Zo = O. Then p(z, 0)
= i-Iog[(1+lzJ)/(I-lzJ)], g(z,O) = -loglzl, hence g = -logtanhp.
8.5.12. The function 10g1C-Zll is harmonic w.r.t. Zl' hence g(z, Zl) is har-
monic in Zl by (8.5A); therefore g(Zl, Z2)- g(Z2' Zl) = h(Zl) is also harmonic
in Zl and for Zl ~ frG we obtain limh(zl) :::;;; 0 which means that h(Zl) :::;;; 0 for
a fixed Z2 E G and all Zl E G. Similarly H(Z2) = g(zt. Z2)- g(Z2' Zl) ?: 0 for
a fixed Zl and all Z2 E G. Hence g(zt. Z2)-g(Z2, Zl) == o. We used the fact that
a bounded harmonic function necessarily has a harmonic extension to isolated
singularities.
8.5.13. A consequence of the extremum principle for g(z, Zl; G)-g(z, Zl; Go),
Z,Zl EG O
8.5.14. We have
Wk(ZO) = (27t)-1 ~ og(C, Zo; G)/ oncds
rk
= log ::~!\ . If the points a, b are rotated round the origin, la-bl remains
unchanged and la+bl :::;;; lal + Ibl with the sign of equality in case a, 0, -b are
collinear.
Hence supg(a, b; D) = 10g[(lal+lbJ)/la-bl] in case c = 0; in the general case:
D
la-cl + Ib-cl
s~pg(a, b; D) = log la-bl .
254 SOLUTIONS
The uniqueness follows from the maximum principle in the usual manner.
(cf. Ex. 8.1.12) is finite. Now, G c c"'-.r and hence q;' E L2(G).
8.6.4. If dist(z, C"'-.G) = p, then II(z) I :0::;; (M/7tp2)1/2.
8.6.5. I/(a) I :0::;; (M/7t)1/2(1-lal)-1.
8.6.6. The family of functions IE L2 (G) such that I( C) = 1 and 11I1 t :0::;; y~R,
where R is defined as in the solution of Exercise 6.8.3, is compact and non-
empty.
8.6.7. If e > 0, 0:0::;; () :0::;; 27t, then f* = fo+ee i9 g E L 2(G) for any g E L2(G).
We have Ilfoll :0::;; Ilf*ll, hence
(fo,Jo) :0::;; (fo,Jo)+2ere[e i9 (g,Jo)]+e 2(g, g),
i.e. 0:0::;; 2re[ei9 (g,!0)]+e(g, g) for any e > 0 and any () E [0,27t] which implies
(g,!o) = O.
8.6.8. Any function analytic in G has a primitive, hence we need to find q; ana-
lytic in G and such that q;(C) = 0, q;'(C) = 1 and ~ ~ 1q;'12 has a minimum. In view
. G
of Exercise 8.1.12 the extremal function fo = q;' is equal to w'(z)/w'(C); if R
= r(C; G), then IlfoW = ~ ~ 1q;'l2 = 7tR2 = 7tlw'(nl-2 by Exercise 8.1.8 'and hence
G
8.6.15. From Exercise 8.6.11 it follows that k(C, rJ) = (kq, k,), where k,
= k(z, C), kq = k(z, rJ); moreover, an = (k" f/Jn) and hence by Exercise 8.6.11:
an = (f/Jn, k,) = f/JiC); similarly bn = (kq, f/Jn) = f/Jn(rJ). Using Exercise 8.6.14
we obtain:
00
(kq, k,) =
n=O
2:
f/Jn(rJ) f/JnW = k (C, rJ)
8.6.16. Using polar coordinates we easily verify that {f/Jn} form an orthonormal
system; the completeness can be proved by verifying Parseval's identity, the inte-
H
gral /112 being expressed by Laurent's coefficients.
+00
8.6.17. k(z, C) = (27tlog(1/h)t 1 (zC)-1+7t- 1 L (l-h 2n )-ln(zC)n-l.
"=-00
00 00
and due to uniqueness of kwe obtain: kl (t, T) = k(z, C) Idz/dt/ 2. Hence ykl (t, t) Idtl
= v'k(z, z) Idzl.
CHAPTER 9
256
9. TWODIMENSIONAL VECTOR FIELDS 257
9.1.8. The points -=t=(1 =Fi)/J/2: are sources of intensity 21t, the points 0, 00 are
sinks of intensity 41t.
9.1.9. Equipotential lines: equilateral hyperbolas through =Fa with center 0;
lines of flow: lemniscates with foci =Fa, r = -41t.
9.1.10. Q = 61t, I'_= O.
9.1.11. J(z) = Qi1t- 1Arcsinz; according to Bernoulli law the pressure
hence the (real) electrostatic potential "P(z) = -2qloglzl and the complex po-
tential J(z) = - 2qilogz . #
9.2.4. J(z) = 2Miz- 1 if the positive charge is placed at h > 0;. equipotential
lines: X2+y2-C1x = 0, lines offorce; X2+y2-C2y = 0; W = -if'(z) = 2Mz- 2.
9.2.5. Consider a portion .1 of the surface of the conductor corresponding to
the arc ds on its intersection with the plane of reference and let S be the closed
surface being the boundary of a solid formed by shifting .1 both sides along the
normal. According to Gauss theorem:
hence
c = [41t("Pl-"PO)tl ~ ("Pl-"PO) (-ow/on)ds = -(41tt1 ~ w(ow/on)ds
r, ~+~
9. TWO.DIMENSIONAL VECTOR FIELDS 259
since 0) = jon rj,j = 0, 1. The application of Green's formula gives the result
(O)xx+O)yy = 0).
9.2.9. After a change of variables:
0);+0); = (O)~+O);)a(x, y)/a(u, v).
9.2.10. If 1Jlo = 0, 1Jll = 1, thenf(z) = (ilog(z/R)): log(r/R); introduce polar
coordinates and apply Exercise 9.2.8.
9.2.11. Suppose that the cross-sections of wires are disks K(=fi-b; a); after
the linear transformation w = (z-d)(z+drl, where =fd = =fVb 2-4a2/2 (=fd
are symmetric w.r.t. either circle) the problem is reduced (cf. Ex. 9.2.9) to Exercise
9.2.10.
9.2.12. If d = 7-4 v'3
and w = (z+d)(1+zd)-l, we obtain the concentric
cylinder 1 ~ Iwl ~ 2+y3; hence
fez) = -(ilog(w/(2+y3))): log(2+r3)-1), c = --}[log(2+V3)tl.
9.2.13. The complex potential can be evaluated similarly as in Exercise 9.2.12.;
10'1 = (47t)_11f'(z)l, hence .
(967tlog2)-1 ~ 10'1 ~ 3(327tlog2)-1.
9.2.14. fez) = 2iAlog[(z+ih)/(z-ih)] , 0' = 7t- l Ah(x2+h2)-1 (z-plane is in-
tersected by both wires at a right angle, the intersection points being =fih).
n
9.2.15. If the density of charge per unit length of r = U r k is equal to 0'( 'z),
k=l
then the real potential
1Jl(z) = 2 ~ 0'( .)log Iz- .I-lds.
r
Univalent Func.tions
b b
10.1.1. If ~ f dg = 0, the inequality is obvious. If ~ f dg 1= 0, take real oc such
a a
b b b b
that e'cz ~ f dg = I~ f dgl. It is easy to verify that c ~ f dg = ~ cfdg for any com-
a a II II
plex c, hence
b b b
!~ (fn-f)dgn! ~ maxlfn-fl' K -+ 0
a
t
10.1.3. ftn(t) = (27t)-1 ~ u(Rnei6)dO is a continuously differentiable function
o
of t E [0, 27t], hence for any Z E K(O; Rn)
Since ft~ > 0, ftn is strictly increasing for any fixed n, moreover ftn(O) = 0,
ftn(27t) = u(O) = 1. By Helly's selection principle (cf. [23], p. 241), we may choose
a subsequence {ftnk} convergent in [0, 27t] to ft which satisfies ft(O) = 0, ft(27t) = 1.
260
to. UNIVALENT FUNCTIONS 261
10.1.9. We have:
hence
lim If(re i6 ) I(I-r) (l+r)-l = t lim (l-r)lf(re i6)1
r--+l- r--+l-
hence
lim (1-r)J(r) = 2[v(0+)-v(0-)] = 2(J-t(0+)+1-f-l(27t-)].
r--+l-
10.1.14. The function f-l(t) is increasing and hence it has at most a countable
to. UNIVALENT FUNCTIONS 263
number of discontinuities (h (=f. 0, 27t) with jumps hk ; we have rx(Ok) = 2hk , where-
as for 00 = 0, 27t we have
Hence
L rx(Ok) [2:
00 00
a Iog If I+17fO
. i8'!'/,'! -- 7fO
Ire . a arg f',
of Schwarz's lemma for any 0 < t < 1. Hence lro(z) I ~ Izl. If Wl Ef[K(O; r)]
and Wl =f(Zl)' IZll < r, then lro (Zl) I = Irl(twl)1 ~ IZll < r. Therefore
tWl = f(Z2) willi Z2 E K(O; r) which means that f[K(O; r)] is starshaped. Hence
f[c(O; r)] is a curve starlike w.r.t. the origin and so argf(reiIJ ) increases with ()
which yields re[zf'(z)lf(z)] ~ 0 as in Exercise 10.2.1. The case re[zf'(z)lf(z)] = 0
in K(O; 1) is excluded by the maximum principle.
2"
10.2.5. !,(z)lf(Z)-Z-l = Z-l [P(z)-I] = 2 ~ (e!IJ-zrldft() and the integra-
o
tion gives
2"
fez) = zexp{-2 ~ Log (I-ze-i9)dft()}.
o
10.2.6. If(z)/zl ~ exp{210g(I-lzJ)-l} = (I-lzJ)-2, hence If(z) I ~ Izl(I-lzJ)-2
and similarly (1+ IzJ)- 2Izl ~ If(z)l. Hence using the estimates
(I-lzJ)(I + IZJ)-l ~ Izf' (z)lt(z) I ~ (1 + IzJ)(1-lzJ)-l,
cf. Exercise 10.1.7, the estimates of!' easily f(jIlow:
(1-lzJ)(I+lzJ)-3 ~ 1f'(z)1 ~ (1+lzJ)(I-lzJ)-3.
2"
10.2.7. Log[zlf(z)]l/2 = ~ Log(I-ze-ilJ)dft() by Exercise 10.2.5. Using Exer-
o
cise 10.1.5 and Exercise 2.6.8 we see that Log[zlf(z)]l/2 ranges over a convex
domain being the image of K(1; r). under Log. Hence [Zlf(Z)]l/2 ranges over
K(I; r) for varying f E S* and fixed z, Izl = r. .
10.2.S. If f, z range over S* and K(O; 1) resp., then [z/f(zW/ 2 ranges over
U K(I; r) = K(1; 1), i.e. ff(z)/Z]l/2 ranges over {w: rew > t}.
rE(O.l)
10.2.9. Suppose that IZll ~ IZ21 < rand Wk = f(Zk) , k = 1,2; by Schwarz's
lemma I1J'(z) I ~ Izl and for z = Z2 we have
Ir l [twl +(1-t)W2] I ~ IZ21 < r;
if Zo =f- l [tw+(1-t)W2], then IZol < r andf(zo) = tWl+(I-t)w2 which means
tlaat Br is convex since t E (0, 1) can be arbitrary.
10.2.10. If z!' E S*, then the tangent vector of f[c(O; r)] turns monotonically
and its argument increases by 2" as z descril}es C(O; r). Hencef[C(O; r)] is a con-
vex curve whose interior domain is convex. A converse can be ,proved in an analo-
gous manner.
10.2.11. !' = F/z with FE S* (cf. Ex. 10.2.8).
10. UNIVALENT FUNCTIONS 265
10.2.12. We have reF(z) > 0 for z EK(O; 1) and also for z E [Zl' Z2], hence
1 ~
10.3.1. Consider any partition of [0, 27t] containing all the end points of mono-
toneity intervals of e])() and consider a corresponding integral sum for the Stieltjes
2"
integral ~ h(R(j)de])(). Any ray e]) = Pk situated inside an angle obtained
o
by the partition intersects r
at an 9dd number of points: R~k) > R~k) > ...
> R~r:.>k+l and if LIe]) is the measure of the corresponding angle, then the inte-
gral sum is equal to L Lle])k[h(R~k-h(R~k+ .,. +h(R~~+l)] > 0 because the
k
266 SOLUTIONS
orientation is positive. Take now the limit for a normal sequence of parti-
tions.
10.3.2. We have:
2" 2" 2"
2" 2"
o
FIG. 7
and finally
00
and therefore
00
for any r E (0,1), if m = m(e) is large enough. Choose now ro, m being fixed
m m
as before, such that (1-r) 2..: nlanl < +8 for all r E(r o, 1). Then (1-r) L nlanlr n- 1
n=1 n=1
< +8 and also
00
after interchanging Zo, Z1 we obtain Ih(z, zo)-h(z, z1)1 < IZ1-zollb which gives
(i).
The inequality logll +zl ~ Izl = loge izi is equivalent to another, quite obvious
inequality:
10. UNIVALENT FUNCTIONS 271
(ii) the inner radius r(zo; G) satisfies the equality: logr(zo; G) = h(zo, zo),
hence
Ilogr(zo; G)-logr(zl; G)I = Ih(zo, zo)-h(zo, zl)+h(Zl' zO)-h(Zl' zt)1
which proves continuity of r(z; G). We have proved even more: r(z; G) is Lip-
schitzian on compact subsets of G.
10.4.8. r(z; H) attains a finite maximum at some point CE H in view of Exer-
cise 10.4.5. Consider now Steiner symmetrization w.r.t. a line through Cparallel
to the major axis. This gives r(C l ; H) ~ r(C; H), Cl being the projection of C
on the major axis. Another Steiner symmetrization w.r.t. a line through Cl parallel
to the minor axis shows that reO; H) ~ r(C; H), 0 being the center of H.
10.4.9. If G E < and the positive, real axis is the -half-line of P61ya
,
symmetrization, then the symmetrized domain G* E <. Moreover, if
Go = K(O; R)",(-R, -r], then G* c Go. Hence
reO; G) Z reo; G*) Z r(O; Go) = 4rR2(R+r)-2
(cf. Ex. 2.9.19, 8.1.9). The l.u.b. is actually attained because GoE<.
10.4.10. r5 is the root of the equation 4R 2r5(R+ r5)-2 = 1, i.e. r5 = R[2R-1-
-2VR(R-1)1. For suppose, contrary to this, that there exists Go E<(R) such
that dist(O; r) = r5 0 < r5, r being the component of C", G containing 00.
If we symmetrize Go w.r.t. the positive real axis and replace G~ by
G1 = K(R)~ (- R, - r5 01 which contains G~, then
reO; Go) = 1Z reo; G~) Z reo; G1 )
which is a contradiction because bo < b implies reO; G1) < 1.
272 SOLUTIONS
10.4.15. f takes real values on the real axis which follows from the uniqueness
and symmetry considerations. Suppose that w = f(zo) , Zo =F 0, and IWol
= M(lzol,n. If we symmetrize G w.r.t. the ray OWo, we obtain th.e domain Go
which arises from G after rotation by the angle arg Wo. In view of Exercise 10.4.14:
g(O, wo; G) = -loglzol :::;; g(O, Wo; Go) = g(O, Iwol; G) = -logr,
wheref(r) = IWol (I(x) takes on (0,1) all values between 0 and sup/f(z)/, hence
Izl<l
it takes the value /woD. This means that /f(zo)/ = fer) = /wo/, while /zo/ ~ r.
Now, f strictly increases on the real axis, hence
f(lzo/) ~.f(r) = /f(zo)/ = M(lzol,j).
10.4.16. Suppose that Zo =F 0, If(zo)1 = M/(zo/, nand Wo = f(zo). The symme-
trized domain G~ obtained from G by symmetrizing w.r.t. the ray OWo becomes G*
after a rotation hence Wo = ei '1*(r*). Now, g(O, wo; G~) = -logr*, g(O, wo; G)
= -logr, hence by the result of Exercise 10.4.14: r* :::;; r. Thus
M(r,J*) ~ M(r*,J*) =f(r) = IWol = /f(zo) I = M(r,f).
10.4.17. Suppose that fE Sand D = f[K(O; 1)]. If he'f% E C""-D for some
h E (0, +), then C"", D being connected, any circle C(O; r), r ~ h, meets C",,- D
and this implies that C""-D* contains the ray (-00, -h]. For Do = C""-(- 00,
-h] we have reO; Do) = 4h < 1. On the other hand 1 = reo; D) ~ reo; D*)
:::;; reo; Do) = 4h < 1 which is a contradiction.
10.5.1. h is harmonic in K(O; 1) except for the points z such that fez) = 00.
If Izl -+ 1, then limh(z) ~ 0; if z -+ Z' (z' =F O,j(z') = ao), then h(z) -+ + 00
and finally if z -+ 0, then
h(z) = -loglf(z)-aol+logr(ao ; G)+loglzl+o(l)
= --loglall+logr(ao ; G)+o(l)
which implies that z = 0 is a removable singularity.
The maximum principle yields now h(z) ~ 0 and consequently
-logla 1 1+logr(ao; G) ~ 0, i.e. lall = 11'(0)1:::;; r(ao ; G).
In case G is a simply connected domain the result follows by subordination.
10.5.2. We may assume that r(a o ; G) is finite. Choose p such that f'(pe i6) =F 0
for all () E [0, 27t] and consider the domain G(p) = f[K(O; p)] whose boundary
consists of a finite number of arcs on rep) f[e(o; p)]. We can add at possible
"C"
singular points of (1G(p) small disks so Ihat Ihe domain G(I') so obtained possesses
274 SOLUTIONS
the classical Green function and G(p) c G(p) c G. The result of Exercise 10.5.1
as applied to f(pz) and the domain G(p) gives
maps 1: 1 conformally K(O; 1) onto Do with f(O) = a o r(a o ; Do) being equal
to 2lXao. Now apply Exercise 10.5.3.
10.5.5. We may assume that ao > O. We symmetrize D, w.r.t. the positive
real axis and obtain a domain D contained in Do"'-(- 00, - R]. Now, fo maps
K(O; 1) onto Do so that fo(O) = ao, hence
r(a o ; Do) = f~(O) = 4(a o+R).
Use now Exercise 10.5.3.
10.5.6. By Exercise 10.5.5 we have 1 = la 1 1 ~ 4R,.
10.5.7. Iff E S, then D, is connected, hen~e C(O; p) cD, implies K(O; p)
C",-
cD,. Use now the result of Exercise 10.5.6.
10.5.S. g omits the values exp[27th- 1 (u+iv)], hence on each circle C(O; p)
there exists a value omitted by g and therefore Rg = 0 (Ex. 10.5.5.). Now
z ~I
and this implies the right-hand inequality; the left-hand one is obtained by
applying the right inequality to [f(Z)]-1.
10.5.11. We may assume that ao = flO) > O. On symmetrizing Drp = tp[K(O; 1)]
w.r.t. the positive real axis we obtain a set D* contained in the right half-
plane. Write now the inequality 1/,(0)1 ~ r(a o ; Do) of Exercise 10.5.3 for
/(1;) = tp[(zo+1;)(I+zo1;)-1] and note that r(ao ; Do) = 21ao l = 21/(0)1.
10.5.12. (i) Suppose that / is not identically O. Then
fez) = anz"+an+1z"+1+ ... with an:l= O.
By the local mapping theorem (cf. [1], p. 131) there exists ~ > 0 such that K(O; b)
~ /[K(O; 1)]. Suppose now that there exists Z1 E K(O; 1) such that /(Z1) = Re i
with R > ~-1. Then for some Z2 E K(O; 1) we have /(Z2) = R-1e- i E K(O; b),
i.e. /(Z1)f(Z2) = 1 which is a contradiction.
(ii) From [1+/(z1)][I-/(z1)]"'1 = -[1+/(z2)][I-/(Z2W 1 (Z1 :1= Z2) it follows
that 1 = /(Z1)f(Z2) , which is a contradiction.
10.5.13. (i) Write the inequality obtained in Exercise 10.5.11 for
cp(z) = [1+f(z)][I-/(z)]-1.
(ii) Put z = 0 in (il.
10.5.14. The transformation W = W(Z), where W = pz(z+p)(I+pzrl,
t = t(Z+Z-l+ p+ p -l) = 2(P_1)2p- 1Z(I+Z)-2, maps 1:1 conformally {Z: IZI
< I} onto the W-plane slit along the ray [p, + 00) and the circular arc: IWI = p,
larg WI :(; 2arcsinp-l, (cf. Ex. 2.9.22). We have: W = W(Z) = 4p3(1+p)-2Z
+ ... , hence w = tp-3(1+p)2W(Z) = Z+ ... =/0(Z) is a function which
belongs to S and maps K(O; 1) onto the domain G(p) such that C""-G(p) consists
of the ray (r, +00) and the circular arc w = r = (1 +p)2 14p2, largwl :(; 2arcsinp-1.
We have reO; G(p = 1. Suppose now that L(r,f) > L(r,/o) for some / E S.
We symmetrize/[K(O; 1)] w.r.t. the negative real axis and obtain a domain D*
such that /o[K(O; 1)] c D* and D*""-/o[K(O; 1)] :1= 0. Thus we have reO; D*)
> r(O'/o[K(O; 1)]) = 1 which contradicts the inequality r(O;/[K(O; 1)]) = 1
:::.;; reO; D*).
10.5.15. Obviously fez) = F[(t-toz)!(I-z)], where y~ = to+iYl-f(P.
Similarly as in Exercise 10.5.14 we can show that the extremal domain is
the image domain of K(O; I) under the mapping g(z) = /(z)//'(O) and arises
276 SOLUTIONS
from H()) by a similarity with the ratio r = 1/'(0)1-1 , The set of values not
taken by g and situated' on C(O; r) is a circular arc subtending the angle
(2-())1t = mp(r), where mp(r) is the maximal value to be evaluated.
We have: 11'(0)1 = t[(2+())2+B(2_())2-0]1/2, hence rp(r) = 2-() satisfies the
equation:
Bibliography
1. BASIC TEXTBOOKS
2. COLLATERAL READING
12. S. Bergman, The Kernel Function and Conformal Mapping. Amer. Math. Soc., New York
1950.
13. R. P. Boas, Entire Functions. Academic Press, New York, 1954.
14. R. Courant, Dirichlet's Principle, Conformal Mapping and Minimal Surfaces. Interscience
Pub!., New York, 1950.
15. W. H. J. Fuchs, Topics in the Theory of Functions of One Complex Variable. Van Nostrand,
Princeton, 1967.
16. G. M. Golusin, Geometrische Funktionentheorie. VEB Deutscher Verlag der Wissen-
schaften, Berlin, 1957.
17. W. K. Hayman, Multivalent Functions. Cambridge University Press, 1958.
18. W. K. Hayman, Meromorphic Functions. Oxford University Press, 1964.
19. M. Heins, Selected Topics in the Classical Theory of Functions of a Complex Variable.
Holt, Rinehart and Winston, New York, 1962.
20. J. A. Jenkins, Univalent Functions and Conformal Mapping. Springer, Berlin~Gottingen
Heidelberg, 1958.
21. G. Julia, Exercices d'analyse, Vol. II. Gauthier-Villars, Paris, 1969.
22. J. E. Littlewood, LecflIres Ofl 'he Theory of Functions. Oxford University Press, 1944.
278 BIBLIOGRAPHY
23. l. P. Natanson, Theorie der Funktionen einer reel/en Veriinderlichen. VEB Deutscher Verlag
der Wissenschaften, Berlin, 1954.
24. Z. Nehari, Conformal Mapping. McGraw-Hill, New York, 1952.
25. R. Nevanlinna, Eindeutige analytische Funktionen. Springer, Berlin-Gottingen-Heidel-
berg, 1953.
26. I. I. Priwalow, Randeigenschaften analytischer Funktionen. VEB Deutscher Verlag der
Wissenschaften, Berlin, 1956.
27. M. Tsuji, Potential Theory in Modern Function Theory. Maruzen, Tokyo, 1959.