Complexorth
Complexorth
Complex Analysis
Version 1.54
Binghamton, ny 13902
[email protected]
A First Course in Complex Analysis
Copyright 2002–2018 by the authors. All rights reserved. The most current version of this
book is available at the website
http://math.sfsu.edu/beck/complex.html.
This book may be freely reproduced and distributed, provided that it is reproduced in its
entirety from the most recent version. This book may not be altered in any way, except for
changes in format required for printing or other distribution, without the permission of the
authors.
About the cover: The cover illustration, Square Squared by Robert Chaffer, shows two
superimposed images. The foreground image represents the result of applying a transformation,
z 7→ z 2 (see Exercises 3.53 and 3.54), to the background image. The locally-conformable
property of this mapping can be observed through matching the line segments, angles, and
Sierpinski triangle features of the background image with their respective images in the
foreground figure. (The foreground figure is scaled down to about 40% and repositioned to
accommodate artistic and visibility considerations.)
The background image fills the square with vertices at 0, 1, 1 + i , and i (the positive
direction along the imaginary axis is chosen as downward.) It was prepared by using Michael
Barnsley’s chaos game, capitalizing on the fact that a square is self-tiling, and by using a
fractal-coloring method. A subset of the image is seen as a standard Sierpinski triangle. The
chaos game was also re-purposed to create the foreground image.
Robert Chaffer is Professor Emeritus at Central Michigan University. His academic interests
are in abstract algebra, combinatorics, geometry, and computer applications. Since retirement
from teaching he has devoted much of his time to applying those interests to creation of art
images.
http://people.cst.cmich.edu/chaff1ra/Art_From_Mathematics/
“And what is the use of a book,” thought Alice, “without pictures or conversations?”
Lewis Carroll (Alice in Wonderland)
About this book. A First Course in Complex Analysis was written for a one-semester
undergraduate course developed at Binghamton University (SUNY) and San Fran-
cisco State University, and has been adopted at several other institutions. For many
of our students, Complex Analysis is their first rigorous analysis (if not mathematics)
class they take, and this book reflects this very much. We tried to rely on as few
concepts from real analysis as possible. In particular, series and sequences are treated
from scratch, which has the consequence that power series are introduced late in the
course. The goal our book works toward is the Residue Theorem, including some
nontraditional applications from both continuous and discrete mathematics.
A printed paperback version of this open textbook is available from Orthogonal
Publishing (www.orthogonalpublishing.com) or your favorite online bookseller.
A Note to Instructors. The material in this book should be more than enough
for a typical semester-long undergraduate course in complex analysis; our experi-
ence taught us that there is more content in this book than fits into one semester.
Depending on the nature of your course and its place in your department’s overall
curriculum, some sections can be either partially omitted or their definitions and
theorems can be assumed true without delving into proofs. Chapter 10 contains
optional longer homework problems that could also be used as group projects at the
end of a course.
We would be happy to hear from anyone who has adopted our book for their
course, as well as suggestions, corrections, or other comments.
1 Complex Numbers 1
1.1 Definitions and Algebraic Properties . . . . . . . . . . . . . . . . . . . 2
1.2 From Algebra to Geometry and Back . . . . . . . . . . . . . . . . . . . 5
1.3 Geometric Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.4 Elementary Topology of the Plane . . . . . . . . . . . . . . . . . . . . 12
Optional Lab . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2 Differentiation 23
2.1 Limits and Continuity . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.2 Differentiability and Holomorphicity . . . . . . . . . . . . . . . . . . 28
2.3 The Cauchy –Riemann Equations . . . . . . . . . . . . . . . . . . . . . 32
2.4 Constant Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3 Examples of Functions 43
3.1 Möbius Transformations . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.2 Infinity and the Cross Ratio . . . . . . . . . . . . . . . . . . . . . . . . 46
3.3 Stereographic Projection . . . . . . . . . . . . . . . . . . . . . . . . . . 50
3.4 Exponential and Trigonometric Functions . . . . . . . . . . . . . . . . 55
3.5 Logarithms and Complex Exponentials . . . . . . . . . . . . . . . . . 59
4 Integration 71
4.1 Definition and Basic Properties . . . . . . . . . . . . . . . . . . . . . . 71
4.2 Antiderivatives . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
4.3 Cauchy’s Theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
4.4 Cauchy’s Integral Formula . . . . . . . . . . . . . . . . . . . . . . . . . 85
Index 202
Chapter 1
Complex Numbers
Die ganzen Zahlen hat der liebe Gott geschaffen, alles andere ist Menschenwerk.
(God created the integers, everything else is made by humans.)
Leopold Kronecker (1823–1891)
The real numbers have many useful properties. There are operations such as addition,
subtraction, and multiplication, as well as division by any nonzero number. There
are useful laws that govern these operations, such as the commutative and distributive
laws. We can take limits and do calculus, differentiating and integrating functions.
But you cannot take a square root of −1; that is, you cannot find a real root of the
equation
x2 + 1 = 0. (1.1)
Most of you have heard that there is a “new” number i that is a root of (1.1); that
is, i 2 + 1 = 0 or i 2 = −1. We will show that when the real numbers are enlarged
to a new system called the complex numbers, which includes i , not only do we gain
numbers with interesting properties, but we do not lose many of the nice properties
that we had before.
The complex numbers, like the real numbers, will have the operations of addition,
subtraction, multiplication, as well as division by any complex number except zero.
These operations will follow all the laws that we are used to, such as the commutative
and distributive laws. We will also be able to take limits and do calculus. And, there
will be a root of (1.1).
As a brief historical aside, complex numbers did not originate with the search for
a square root of −1; rather, they were introduced in the context of cubic equations.
Scipione del Ferro (1465–1526) and Niccolò Tartaglia (1500–1557) discovered
a way to find a root of any cubic polynomial, which was publicized by Gerolamo
Cardano (1501 –1576) and is often referred to as Cardano’s formula.qFor the cubic
q2 p3
polynomial x 3 + p x + q, Cardano’s formula involves the quantity 4 + 27 . It is
2 co m p l e x n u m b e r s
not hard to come up with examples for p and q for which the argument of this
square root becomes negative and thus not computable within the real numbers.
On the other hand (e.g., by arguing through the graph of a cubic polynomial),
every cubic polynomial has at least one real root. This seeming contradiction can be
solved using complex numbers, as was probably first exemplified by Rafael Bombelli
(1526 –1572).
In the next section we show exactly how the complex numbers are set up, and
in the rest of this chapter we will explore the properties of the complex numbers.
These properties will be of both algebraic (such as the commutative and distributive
properties mentioned already) and geometric nature. You will see, for example, that
multiplication can be described geometrically. In the rest of the book, the calculus
of complex numbers will be built on the properties that we develop in this chapter.
There are many equivalent ways to think about a complex number, each of which
is useful in its own right. In this section, we begin with a formal definition of a
complex number. We then interpret this formal definition in more useful and easier-
to-work-with algebraic language. Later we will see several more ways of thinking
about complex numbers.
C := {(x , y) : x , y ∈ R} ,
(x , y) + (a, b ) := (x + a, y + b ) (1.2)
One reason to believe that the definitions of these binary operations are acceptable
is that C is an extension of R, in the sense that the complex numbers of the form
(x , 0) behave just like real numbers:
(x , 0) + ( y, 0) = (x + y, 0) and (x , 0) · (y, 0) = (x y, 0) .
d e f i n i t i o n s a n d a lg e b r a i c p ro pe rt i e s 3
So we can think of the real numbers being embedded in C as those complex numbers
whose second coordinate is zero.
The following result states the algebraic structure that we established with our
definitions.
(x , y) + (a, b ) ∈ C (1.4)
(x , y) + (a, b ) + (c , d ) = (x , y) + (a, b ) + (c , d )
(1.5)
(x , y) + (a, b ) = (a, b ) + (x , y) (1.6)
(x , y) + (0, 0) = (x , y) (1.7)
(x , y) + (−x , −y) = (0, 0) (1.8)
(x , y) · (a, b ) + (c , d ) = (x , y) · (a, b ) + (x , y) · (c , d )
(1.9)
(x , y) · (a, b ) ∈ C (1.10)
(x , y) · (a, b ) · (c , d ) = (x , y) · (a, b ) · (c , d )
(1.11)
(x , y) · (a, b ) = (a, b ) · (x , y) (1.12)
(x , y) · (1, 0) = (x , y) (1.13)
−y
for all (x , y) ∈ C \ {(0, 0)} : (x , y) · x
x 2 +y 2 , x 2 +y 2 = (1, 0) (1.14)
What we are stating here can be compressed in the language of algebra: equations
(1.4) –(1.8) say that (C, +) is an Abelian group with identity (0, 0); equations (1.10) –
(1.14) say that (C \ {(0, 0)}, ·) is an Abelian group with identity (1, 0).
The proof of Proposition 1.1 is straightforward but nevertheless makes for good
practice (Exercise 1.14). We give one sample:
Proof of (1.8). By our definition for complex addition and properties of additive
inverses in R,
(a, 0) · (x , y) = (a x , a y)
allows an alternative notation for complex numbers. The latter implies that we can
write
(x , y) = (x , 0) + (0, y) = (x , 0) · (1, 0) + ( y, 0) · (0, 1) .
If we think —in the spirit of our remark about embedding R into C —of (x , 0) and
(y, 0) as the real numbers x and y, then this means that we can write any complex
number (x , y) as a linear combination of (1, 0) and (0, 1), with the real coefficients
x and y. Now (1, 0), in turn, can be thought of as the real number 1. So if we give
(0, 1) a special name, say i , then the complex number that we used to call (x , y) can
be written as x · 1 + y · i or
x +iy.
Definition. The number x is called the real part and y the imaginary part1 of the
complex number x + i y, often denoted as Re(x + i y) = x and Im(x + i y) = y.
i 2 = −1 .
In fact, much more can now be said with the introduction of the square root of
−1. It is not just that (1.1) has a root, but every nonconstant polynomial has roots
in C:
The proof of this theorem requires some (important) machinery, so we defer its
proof and an extended discussion of it to Chapter 5.
We invite you to check that the definitions of our binary operations and Propo-
sition 1.1 are coherent with the usual real arithmetic rules if we think of complex
numbers as given in the form x + i y.
1 The name has historical reasons: people thought of complex numbers as unreal, imagined.
f ro m a lg e b r a to g e o m et ry a n d b ac k 5
Although we just introduced a new way of writing complex numbers, let’s for a
moment return to the (x , y)-notation. It suggests that we can think of a complex
number as a two-dimensional real vector. When plotting these vectors in the plane
R2 , we will call the x -axis the real axis and the y-axis the imaginary axis. The addi-
tion that we defined for complex numbers resembles vector addition; see Figure 1.1.
The analogy stops at multiplication: there is no “usual” multiplication of two vectors
in R2 that gives another vector, and certainly not one that agrees with our definition
of the product of two complex numbers.
z1 + z2
W
z1
D
z2 k
Any vector in R2 is defined by its two coordinates. On the other hand, it is also
determined by its length and the angle it encloses with, say, the positive real axis;
let’s define these concepts thoroughly.
Aside from the exceptional case of 0, for any complex number z , the arguments of
z all differ by a multiple of 2π , just as we saw for the example z = 1.
The absolute value of the difference of two vectors has a nice geometric interpre-
tation:
z1
z1 − z2 4D
z2 k
Figure 1.2: Geometry behind the distance between two complex numbers.
That |z1 − z2 | = |z2 − z1 | simply says that the vector from z1 to z2 has the same
length as the vector from z2 to z1 .
It is very useful to keep this geometric interpretation in mind when thinking
about the absolute value of the difference of two complex numbers.
One reason to introduce the absolute value and argument of a complex number
is that they allow us to give a geometric interpretation for the multiplication of two
complex numbers. Let’s say we have two complex numbers: x1 + i y1 , with absolute
value r1 and argument φ1 , and x2 + i y2 , with absolute value r2 and argument
f ro m a lg e b r a to g e o m et ry a n d b ac k 7
= r1 r2 cos(φ1 + φ2 ) + i sin(φ1 + φ2 ) .
φ1 + φ2 .. . . . .
. . . . . . . . . . . ....
. ..
.. .. ...
. φ ...
... 2
.................... ..
.. . ..... ..
.. zF 1 .......
... z2 f ...... ..
..
... .... φ ... ...
.. .. 1 ... ..
.. . .
..
..
..
..
z1 z2 x
In view of the above calculation, it should come as no surprise that we will have
to deal with quantities of the form cos φ + i sin φ (where φ is some real number)
quite a bit. To save space, bytes, ink, etc., (and because “Mathematics is for lazy
people”3 ) we introduce a shortcut notation and define
e i φ := cos φ + i sin φ .
2 You should convince yourself that there is no problem with the fact that there are many possible
arguments for complex numbers, as both cosine and sine are periodic functions with period 2π .
3 Peter Hilton (Invited address, Hudson River Undergraduate Mathematics Conference 2000).
8 co m p l e x n u m b e r s
Figure 1.4 shows three examples. At this point, this exponential notation is indeed
πi
e 4 = p1
2
+ i p12
7π i
e 8
πi
e − 2 = −i
purely a notation.4 We will later see in Chapter 3 that it has an intimate connection
to the complex exponential function. For now, we motivate this maybe strange
seeming definition by collecting some of its properties:
(b) e i 0 = 1 (e) |e i φ | = 1
(c) 1
e iφ = e −i φ (f ) d
dφ e iφ = i e iφ .
You are encouraged to prove them (Exercise 1.16); again we give a sample.
Proof of (f ). By definition of e i φ ,
d iφ d
e = (cos φ + i sin φ ) = − sin φ + i cos φ = i (cos φ + i sin φ ) = i e i φ .
dφ dφ
4 In particular, while our notation “proves” Euler’s formula e 2π i = 1, this simply follows from the facts
sin(2π ) = 0 and cos(2π ) = 1. The connection between the numbers π , i , 1, and the complex exponential
function (and thus the number e ) is somewhat deeper. We’ll explore this in Section 3.5.
g e o m e t r i c p ro pe rt i e s 9
m
Proposition 1.3 implies that (e 2π i n )n = 1 for any integers m and n > 0. Thus
numbers of the form e 2π i q with q ∈ Q play a pivotal role in solving equations of the
form z n = 1 —plenty of reason to give them a special name.
m
Definition. A root of unity is a number of the form e 2π i n for some integers m and
n > 0. Equivalently (by Exercise 1.17), a root of unity is a complex number ζ such
that ζ n = 1 for some positive integer n. In this case, we call ζ an n th root of unity.
If n is the smallest positive integer with the property ζ n = 1 then ζ is a primitive
n th root of unity.
πi
Example 1.4. The 4th roots of unity are ±1 and ±i = e ± 2 . The latter two are
primitive 4th roots of unity.
With our new notation, the sentence the complex number x + i y has absolute
value r and argument φ now becomes the identity
x + i y = r e iφ .
The left-hand side is often called the rectangular form, the right-hand side the polar
form of this complex number.
We now have five different ways of thinking about a complex number: the formal
definition, in rectangular form, in polar form, and geometrically, using Cartesian
coordinates or polar coordinates. Each of these five ways is useful in different
situations, and translating between them is an essential ingredient in complex analysis.
The five ways and their corresponding notation are listed in Figure 1.5. This list is
not exhaustive; see, e.g., Exercise 1.21.
|x + i y|2 = x 2 + y 2 = (x + i y)(x − i y) .
10 co m p l e x n u m b e r s
rectangular exponential
Algebraic:
x +iy r e iθ
(a) z1 ± z2 = z1 ± z2 (f ) |z |2 = z z
(d) z = z (i) e i φ = e −i φ .
(e) |z | = |z |
The proofs of these properties are easy (Exercise 1.22); once more we give a sample.
We note that (f ) yields a neat formula for the inverse of a nonzero complex
number, which is implicit already in (1.14):
1 z
z −1 = = .
z |z |2
By drawing a picture in the complex plane, you should be able to come up with a
geometric proof of the triangle inequality. Here we proceed algebraically:
where the inequality follows from (1.16). Taking square roots on the left- and
right-hand side proves our claim.
For future reference we list several useful variants of the triangle inequality:
Inequality (a) is just a rewrite of the original triangle inequality, using the fact
that |±z | = |z |, and (c) follows by induction. The proof of the reverse triangle
inequality (b) is left as Exercise 1.25.
12 co m p l e x n u m b e r s
In Section 1.2 we saw that the complex numbers C, which were initially defined
algebraically, can be identified with the points in the Euclidean plane R2 . In this
section we collect some definitions and results concerning the topology of the plane.
C [2 + i , 2]
D[−2, 13 ] 1
1
C [a, r ] := {z ∈ C : |z − a| = r } .
The inside of this circle is called the open disk with center a and radius r ; we use
the notation
D[a, r ] := {z ∈ C : |z − a| < r } .
Note that D[a, r ] does not include the points on C [a, r ]. Figure 1.6 illustrates these
definitions.
Next we need some terminology for talking about subsets of C.
D[a, r ] := {z ∈ C : |z − a| ≤ r }
Definition. Two sets X , Y ⊆ C are separated if there are disjoint open sets A, B ⊂ C
so that X ⊆ A and Y ⊆ B . A set G ⊆ C is connected if it is impossible to find two
separated nonempty sets whose union is G . A region is a connected open set.
The idea of separation is that the two open sets A and B ensure that X and Y
cannot just “stick together.” It is usually easy to check that a set is not connected. On
the other hand, it is hard to use the above definition to show that a set is connected,
since we have to rule out any possible separation.
Example 1.10. The intervals X = [0, 1) and Y = (1, 2] on the real axis are separated:
There are infinitely many choices for A and B that work; one choice is A = D[0, 1]
and B = D[2, 1], depicted in Figure 1.7. Hence X ∪ Y = [0, 2] \ {1} is not
connected.
we demand both that γ 0 (t ) exists for all a < t < b , and that lim t →a + γ 0 (t ) and lim t →b − γ 0 (t ) exist.
e l e m e n ta ry to p o lo g y o f t h e p l a n e 15
This definition uses the calculus notions of continuity and differentiability; that
is, γ : [a, b ] → C being continuous means that for all t0 ∈ [a, b ]
lim γ (t ) = γ (t0 ) ,
t →t0
0 γ (t ) − γ (t0 )
γ (t0 ) = lim .
t →t0 t − t0
3 + i (t − 2)
¨
if 0 ≤ t ≤ 3
γ1 (t ) = −2 + 2 e i t , π2 ≤ t ≤ 2π γ2 (t ) =
6 − t + 2 (t − 1) if 3 ≤ t ≤ 5
i
1
1
Figure 1.8: Two paths and their parametrizations; γ1 is smooth and γ2 is continuous
and piecewise smooth.
Figure 1.8 shows two examples. We remark that each path comes with an
orientation, i.e., a sense of direction. For example, the path γ1 in Figure 1.8 is
different from
−i t
γ3 (t ) = −2 + 2 e , 0 ≤ t ≤ 32π ,
even though both γ1 and γ3 yield the same picture: γ1 features a counter-clockwise
orientation, where as that of γ3 is clockwise.
It is a customary and practical abuse of notation to use the same letter for the path
and its parametrization. We emphasize that a path must have a parametrization, and
that the parametrization must be defined and continuous on a closed and bounded
interval [a, b ]. Since topologically we may identify C with R2 , a path can be specified
16 co m p l e x n u m b e r s
by giving two continuous real-valued functions of a real variable, x (t ) and y(t ), and
setting γ (t ) = x (t ) + i y(t ).
As seems intuitively clear, any path is connected; however, a proof of this fact
requires a bit more preparation in topology. The same goes for the following result,
which gives a useful property of open connected sets.
Example 1.13. Consider the open unit disk D[0, 1]. Any two points in D[0, 1]
can be connected by a chain of at most two segments in D[0, 1], and so D[0, 1]
is connected. Now let G = D[0, 1] \ {0}; this is the punctured disk obtained by
removing the center from D[0, 1]. Then G is open and it is connected, but now
you may need more than two segments to connect points. For example, you need
three segments to connect − 12 to 21 since we cannot go through 0.
We remark that the second part of Theorem 1.12 is not generally true if G is
not open. For example, circles are connected but there is no way to connect two
distinct points of a circle by a chain of segments that are subsets of the circle. A more
extreme example, discussed in topology texts, is the “topologist’s sine curve,” which
is a connected set S ⊂ C that contains points that cannot be connected by a path of
any sort within S .
e l e m e n ta ry to p o lo g y o f t h e p l a n e 17
Exercises
1.2. Find the real and imaginary parts of each of the following:
p 3
−a
(a) zz +a (d) i n for any n ∈ Z
for any a ∈ R (c) −1+i 3 2
3+5i
(b) 7i +1
1.3. Find the absolute value and conjugate of each of the following:
(a) −2 + i (c) p3−i
2+3i
1.7. Show that the quadratic formula works. That is, for a, b, c ∈ R with a 6= 0,
prove that the roots of the equation a z 2 + b z + c = 0 are
p
−b ± b 2 − 4ac
.
2a
p p
Here we define b 2 − 4ac = i −b 2 + 4ac if the discriminant b 2 − 4ac is
negative.
(b) 2z 2 + 2z + 5 = 0 (d) z 2 − z = 1
1.17. Fix a positive integer n. Prove that the solutions to the equation z n = 1 are
m
precisely z = e 2π i n where m ∈ Z. (Hint: To show that every solution of z n = 1 is
a
of this form, first prove that it must be of the form z = e 2π i n for some a ∈ R, then
write a = m + b for some integer m and some real number 0 ≤ b < 1, and then
argue that b has to be zero.)
and deduce from this closed formulas for cos π5 and cos 25π .
1.19. Fix a positive integer n and a complex number w. Find all solutions to z n = w.
(Hint: Write w in terms of polar coordinates.)
x −y
1.21. Given x , y ∈ R, define the matrix M (x , y) := . Show that
y x
M (x , y) + M (a, b ) = M (x + a, y + b )
and
M (x , y) M (a, b ) = M (x a − y b, x b + ya) .
(This means that the set {M (x , y) : x , y ∈ R}, equipped with the usual addition
and multiplication of matrices, behaves exactly like C = {(x , y) : x , y ∈ R}.)
(b) {z ∈ C : |z − 1 + i | ≤ 2} (f ) {z ∈ C : |z − 1| = 2 |z + 1|}
(h) z ∈ C : Im(z 2 ) = 1
(d) {z ∈ C : |z − i | + |z + i | = 3}
1.25. Prove the reverse triangle inequality (Proposition 1.7(b)) |z1 − z2 | ≥ |z1 |−|z2 | .
1 1
z2 − 1 ≤ 3
1.27. Sketch the sets defined by the following constraints and determine whether
they are open, closed, or neither; bounded; connected.
(a) |z + 3| < 2 (d) |z − 1| + |z + 1| = 2
1.28. What are the boundaries of the sets in the previous exercise?
1.29. Let G be the set of points z ∈ C satisfying either z is real and −2 < z < −1,
or |z | < 1, or z = 1 or z = 2.
(a) Sketch the set G , being careful to indicate exactly the points that are in G .
1.30. The set G in the previous exercise can be written in three different ways as the
union of two disjoint nonempty separated subsets. Describe them, and in each case
say briefly why the subsets are separated.
1.31. Show that the union of two regions with nonempty intersection is itself a
region.
(c) the top half of the circle C [0, 34], oriented clockwise
1.35. Let G be the annulus determined by the inequalities 2 < |z | < 3. This is a
connected open set. Find the maximum number of horizontal and vertical segments
in G needed to connect two points of G .
Optional Lab
Open your favorite web browser and search for the complex function grapher for the
open-source software geogebra.
22 co m p l e x n u m b e r s
1. Convert the following complex numbers into their polar representation, i.e.,
give the absolute value and the argument of the number.
1 p
34 = i= −π = 2 + 2i = 3+i =
−
2
After you have finished computing these numbers, check your answers with
the program.
After you have finished computing these numbers, check your answers with
the program.
3. Pick your favorite five numbers from the ones that you’ve played around with
and put them in the tables below, in both rectangular and polar form. Apply
the functions listed to your numbers. Think about which representation is
more helpful in each instance.
rectangular
polar
z +1
z +2−i
2z
−z
z
2
iz
z
z2
Re(z )
Im(z )
i Im(z )
|z |
1
z
4. Play with other examples until you get a feel for these functions.
Chapter 2
Differentiation
Mathematical study and research are very suggestive of mountaineering. Whymper
made several efforts before he climbed the Matterhorn in the 1860’s and even then
it cost the life of four of his party. Now, however, any tourist can be hauled up for
a small cost, and perhaps does not appreciate the difficulty of the original ascent.
So in mathematics, it may be found hard to realise the great initial difficulty of
making a little step which now seems so natural and obvious, and it may not be
surprising if such a step has been found and lost again.
Louis Joel Mordell (1888–1972)
We will now start our study of complex functions. The fundamental concept on
which all of calculus is based is that of a limit —it allows us to develop the central
properties of continuity and differentiability of functions. Our goal in this chapter
is to do the same for complex functions.
So far there is nothing that makes complex functions any more special than,
say, functions from R m to Rn . In fact, we can construct many familiar looking
functions from the standard calculus repertoire, such as f (z ) = z (the identity
map), f (z ) = 2z + i , f (z ) = z 3 , or f (z ) = 1z . The former three could be defined
on all of C, whereas for the latter we have to exclude the origin z = 0 from the
domain. On the other hand, we could construct some functions that make use of a
certain representation of z , for example, f (x , y) = x − 2i y, f (x , y) = y 2 − i x , or
f (r, φ ) = 2r e i (φ +π) .
24 d i f f e re n t i at i o n
This definition is the same as is found in most calculus texts. The reason we
require that z0 is an accumulation point of the domain is just that we need to be
sure that there are points z of the domain that are arbitrarily close to z0 . Just as in
the real case, our definition (i.e., the part that says 0 < |z − z0 |) does not require that
z0 is in the domain of f and, if z0 is in the domain of f , the definition explicitly
ignores the value of f (z0 ).
If we choose δ , say, smaller than 1 then the factor |z + i | on the right can be bounded
by 3 (draw a picture!). This means that any δ < min{ 3ε , 1} should do the trick: in
this case, 0 < |z − i | < δ implies
2
z + 1 < 3δ < ε .
This was a proof written out in a way one might come up with it. Here’s a short,
neat version:
Given ε > 0, choose 0 < δ < min{ 3ε , 1}. Then 0 < |z − i | < δ implies
|z + i | = |z − i + 2i | ≤ |z − i | + |2i | < 3 , so
2 2
z − (−1) = z + 1 = |z − i | |z + i | < 3δ < ε .
Just as in the real case, the limit w0 is unique if it exists (Exercise 2.3). It is often
useful to investigate limits by restricting the way the point z approaches z0 . The
following result is a direct consequence of the definition.
The definition of limit in the complex domain has to be treated with a little
more care than its real companion; this is illustrated by the following example.
z x x
lim = lim = lim = 1 .
z →0 z x →0 x x →0 x
z iy −i y
lim = lim = lim = −1 .
z →0 z y→0 i y y→0 i y
On the other hand, the following usual limit rules are valid for complex func-
tions; the proofs of these rules are everything but trivial and make for nice practice
(Exercise 2.4); as usual, we give a sample proof.
f (z ) lim z →z0 f (z )
(c) lim =
z →z0 g (z ) lim z →z0 g (z )
where in the last identity we also require that lim z →z0 g (z ) 6= 0.
26 d i f f e re n t i at i o n
Proof of (a). Assume that c = 6 0 (otherwise there is nothing to prove), and let L =
lim z →z0 f (z ) and M = lim z →z0 g (z ). Then we know that, given ε > 0, we can find
δ1 , δ2 > 0 such that
ε
0 < |z − z0 | < δ1 implies | f (z ) − L| <
2
and
ε
0 < |z − z0 | < δ2 implies | g (z ) − M | < .
2|c |
Thus, choosing δ = min{δ1 , δ2 }, we infer that 0 < |z − z0 | < δ implies
|( f (z ) + c g (z )) − (L + c M )| ≤ | f (z ) − L| + |c | | g (z ) − M | < ε .
Here we used the triangle inequality (Proposition 1.6). This proves that
lim ( f (z ) + c g (z )) = L + c M ,
z →z0
Because the definition of the limit is somewhat elaborate, the following funda-
mental definition looks almost trivial.
See Exercise 2.11 for a proof that these definitions are equivalent.
l i m i ts a n d co n t i n u i t y 27
Example 2.5. We already proved (in Example 2.1) that the function f : C → C
given by f (z ) = z 2 is continuous at z = i . You’re invited (Exercise 2.8) to extend
our proof to show that, in fact, this function is continuous on C.
On the other hand, let g : C → C be given by
z if z 6= 0 ,
g (z ) := z
1 if z = 0 .
Just as in the real case, we can “take the limit inside” a continuous function, by
considering composition of functions.
( f ◦ g )(z ) := f ( g (z )) .
The fact that simple functions such as zz do not have limits at certain points illustrates
something special about complex numbers that has no parallel in the reals —we can
express a function in a very compact way in one variable, yet it shows some peculiar
behavior in the limit. We will repeatedly notice this kind of behavior; one reason
is that when trying to compute a limit of a function f (z ) as, say, z → 0, we have
to allow z to approach the point 0 in any way. On the real line there are only two
directions to approach 0 —from the left or from the right (or some combination of
those two). In the complex plane, we have an additional dimension to play with.
This means that the statement A complex function has a limit . . . is in many senses
stronger than the statement A real function has a limit . . . This difference becomes
apparent most baldly when studying derivatives.
f (z ) − f (z0 )
f 0 (z0 ) := lim , (2.1)
z →z0 z − z0
1 Some sources use the term analytic instead of holomorphic. As we will see in Chapter 8, in our context,
these two terms are synonymous. Technically, though, these two terms have different definitions. Since
we will be using the above definition, we will stick with using the term holomorphic instead of the term
analytic.
d i f f e re n t i a b i l i t y a n d h o lo m o r ph i c i t y 29
f (z0 + h) − f (z0 )
f 0 (z0 ) = lim .
h→0 h
This equivalent definition is sometimes easier to handle. Note that h need not be a
real number but can rather approach zero from anywhere in the complex plane.
The notions of differentiability and holomorphicity are not interchangeable:
z 2 − z0 2 z2
lim = lim = 0.
z →z0 z − z0 z →0 z
z − z0 z − z0 z
lim = lim = lim ,
z →z0 z − z0 z →z0 z − z
0
z →0 z
The basic properties for derivatives are similar to those we know from real
calculus. In fact, the following rules follow mostly from properties of the limit.
f (z ) 0 f 0 (z ) g (z ) − f (z ) g 0 (z )
(c) = provided that g (z )2 6= 0
g (z ) g (z )2
0
(d) z n = n z n−1 for any nonzero integer n
(e) g is continuous at z
0
(f ) h( g (z )) = h 0 ( g (z )) g 0 (z ) .
Proof of (b).
0 f (z + h) g (z + h) − f (z ) g (z )
f (z ) g (z ) = lim
h→0 h
f (z + h) ( g (z + h) − g (z )) + ( f (z + h) − f (z )) g (z )
= lim
h→0 h
g (z + h) − g (z ) f (z + h) − f (z )
= lim f (z + h) + lim g (z )
h→0 h h→0 h
= f (z ) g 0 (z ) + f 0 (z ) g (z ) .
Note that we have used the definition of the derivative and Proposition 2.4((a)) &
((b)) (the addition and multiplication rules for limits).
Proof. Let γ1 (t ) and γ2 (t ) be parametrizations of the two paths such that γ1 (0) =
γ2 (0) = a. Then γ10 (0) (considered as a vector) is the tangent vector of γ1 at the point
a, and γ20 (0) is the tangent vector of γ2 at a. Moving to the image of γ1 and γ2 under
f , the tangent vector of f (γ1 ) at the point f (a) is
d
f (γ1 (t )) = f 0 (γ1 (0)) γ10 (0) = f 0 (a) γ10 (0) ,
dt t =0
and similarly, the tangent vector of f (γ2 ) at the point f (a) is f 0 (a) γ20 (0). This
means that the action of f multiplies the two tangent vectors γ10 (0) and γ20 (0) by the
same nonzero complex number f 0 (a), and so the two tangent vectors got dilated
by | f 0 (a)| (which does not affect their direction) and rotated by the same angle (an
argument of f 0 (a)).
We end this section with yet another differentiation rule, that for inverse func-
tions. As in the real case, this rule is only defined for functions that are bijections.
1
g 0 (z0 ) = 0 ( g (z
.
f 0 ))
g (z ) − g (z0 ) g (z ) − g (z0 )
g 0 (z0 ) = lim = lim
z →z0 z − z0 z →z 0 f ( g (z )) − f ( g (z0 ))
1
= lim .
z →z0 f ( g (z )) − f ( g (z0 ))
g (z ) − g (z0 )
32 d i f f e re n t i at i o n
f (w) − f (w0 )
if w 6= w0
φ (w) := w − w0
f 0 (w )
if w = w0 .
0
1 1 1 1
g 0 (z0 ) = lim = = = 0 .
z →z0 φ ( g (z )) f (w0 ) f ( g (z0 )
0
φ lim g (z )
z →z0
∂f f (x , y0 ) − f (x0 , y0 )
(z0 ) := lim
∂x x →x0 x − x0
and
∂f f (x0 , y) − f (x0 , y0 )
(z ) := lim
∂y 0 y→ y0 y − y0
(so this definition is exactly as in the real-valued case). This relationship between
the complex derivative and partial derivatives is very strong, and it is a powerful
computational tool. It is described by the Cauchy –Riemann equations, named after
Augustin Louis Cauchy (1789–1857) and Georg Friedrich Bernhard Riemann
(1826 –1866), even though the equations appeared already in the works of Jean le
Rond d’Alembert (1717 –1783) and Leonhard Euler (1707 –1783).
t h e c au c h y – r i e m a n n e quat i o n s 33
∂f ∂f
(z0 ) = −i (z ) . (2.2)
∂x ∂y 0
∂f ∂f
(b) Suppose f is a complex function such that the partial derivatives ∂ x and ∂ y exist
in an open disk centered at z0 and are continuous at z0 . If these partial derivatives
satisfy (2.2) then f is differentiable at z0 .
∂f
f 0 (z0 ) = (z ) .
∂x 0
Before proving Theorem 2.13, we note several comments and give two appli-
cations. It is traditional, and often convenient, to write the function f in terms of
its real and imaginary parts. That is, we write f (z ) = f (x , y) = u(x , y) + i v(x , y)
where u is the real part of f and v is the imaginary part. Then, using the usual
∂f ∂f
shorthand f x = ∂ x and f y = ∂ y ,
fx = ux + i vx and − i f y = −i (u y + i v y ) = v y − i u y .
u x (x0 , y0 ) = v y (x0 , y0 )
(2.3)
u y (x0 , y0 ) = −v x (x0 , y0 ) .
As stated, parts (a) and (b) in Theorem 2.13 are not quite converse statements.
However, we will show in Corollary 5.5 that if f is holomorphic at z0 = x0 + i y0
then u and v have continuous partials (of any order) at z0 . That is, in Chapter 5
we will see that f = u + i v is holomorphic in an open set G if and only if u and v
have continuous partials that satisfy (2.3) in G .
If u and v satisfy (2.3) and their second partials are also continuous, then
that is,
u x x (x0 , y0 ) + u y y (x0 , y0 ) = 0
34 d i f f e re n t i at i o n
(and an analogous identity for v). Functions with continuous second partials satis-
fying this partial differential equation on a region G ⊂ C (though not necessarily
(2.3)) are called harmonic on G ; we will study such functions in Chapter 6. Again,
as we will see later, if f is holomorphic in an open set G then the partials of any
order of u and v exist; hence we will show that the real and imaginary parts of a
function that is holomorphic in an open set are harmonic on that set.
Example 2.14. We revisit Example 2.7 and again consider f : C → C given by
f (z ) = z 3 = (x + i y)3 = x 3 − 3x y 2 + i 3x 2 y − y 3 .
Thus
f x (z ) = 3x 2 − 3 y 2 + 6i x y and f y (z ) = −6x y + 3i x 2 − 3i y 2
f (z ) = (z )2 = (x − i y)2 = x 2 − y 2 − 2i x y .
Now
f x (z ) = 2x − 2i y and f y (z ) = −2 y − 2i x ,
f (z0 + ∆ z ) − f (z0 )
f 0 (z0 ) = lim .
∆ z →0 ∆z
As we know by now, we must get the same result if we restrict ∆ z to be on the real
axis and if we restrict it to be on the imaginary axis. In the first case, ∆ z = ∆ x and
f (z0 + ∆ x ) − f (z0 )
f 0 (z0 ) = lim
∆ x →0 ∆x
f (x0 + ∆ x , y0 ) − f (x0 , y0 ) ∂f
= lim = (x , y ) .
∆ x →0 ∆x ∂x 0 0
t h e c au c h y – r i e m a n n e quat i o n s 35
f (z0 + i ∆ y) − f (z0 )
f 0 (z0 ) = lim
i ∆ y→0 i ∆y
1 f (x0 , y0 + ∆ y) − f (x0 , y0 ) ∂f
= lim = −i (x , y ) .
∆ y→0 i ∆y ∂y 0 0
(b) Suppose the Cauchy –Riemann equation (2.2) holds and the partial derivatives
f x and f y are continuous in an open disk centered at z0 . Our goal is to prove that
f 0 (z0 ) = f x (z0 ). By (2.2),
∆x + i ∆ y ∆x ∆y ∆x ∆y
f x (z0 ) = f x (z0 ) = f x (z0 ) + i f x (z0 ) = f x (z0 ) + f y (z0 ) .
∆z ∆z ∆z ∆z ∆z
On the other hand, we can rewrite the difference quotient for f 0 (z0 ) as
Thus
f (z0 + ∆ z ) − f (z0 )
lim − f x (z0 )
∆ z →0 ∆z
∆ y f (z0 + ∆ x + i ∆ y) − f (z0 + ∆ x )
= lim − f y (z0 )
∆ z →0 ∆ z ∆y
∆ x f (z0 + ∆ x ) − f (z0 )
+ lim − f x (z0 ) . (2.5)
∆ z →0 ∆ z ∆x
We claim that both limits on the right-hand side are 0, so we have achieved our set
∆y
goal. The fractions ∆∆ xz and ∆ z are bounded in absolute value by 1, so we just need
to see that the limits of the expressions in parentheses are 0. The second term on the
right-hand side of (2.5) has a limit of 0 since, by definition,
f (z0 + ∆ x ) − f (z0 )
f x (z0 ) = lim
∆ x →0 ∆x
and taking the limit here as ∆ z → 0 is the same as taking the limit as ∆ x → 0.
36 d i f f e re n t i at i o n
We cannot do something equivalent for the first term in (2.5), since now both ∆ x
and ∆ y are involved, and both change as ∆ z → 0. Instead we apply the Mean-Value
Theorem A.2 for real functions,2 to the real and imaginary parts u(z ) and v(z ) of
f (z ). Theorem A.2 gives real numbers 0 < a, b < 1 such that
u(x0 + ∆ x , y0 + ∆ y) − u(x0 + ∆ x , y0 )
= u y (x0 + ∆ x , y0 + a ∆ y)
∆y
v(x0 + ∆ x , y0 + ∆ y) − v(x0 + ∆ x , y0 )
= v y (x0 + ∆ x , y0 + b ∆ y) .
∆y
Thus
f (z0 + ∆ x + i ∆ y) − f (z0 + ∆ x )
− f y (z0 )
∆y
u(x0 + ∆ x , y0 + ∆ y) − u(x0 + ∆ x , y0 )
= − u y (z0 )
∆y
v(x0 + ∆ x , y0 + ∆ y) − v(x0 + ∆ x , y0 )
+i − v y (z0 )
∆y
= u y (x0 + ∆ x , y0 + a ∆ y) − u y (x0 , y0 )
+ i v y (x0 + ∆ x , y0 + b ∆ y) − v y (x0 , y0 ) .
(2.6)
and
lim v y (x0 + ∆ x , y0 + b ∆ y) = v y (x0 , y0 ) ,
∆ z →0
in the Appendix.
co n s ta n t f u n c t i o n s 37
A.2) is to show that if a function has zero derivative everywhere on an interval then
it must be constant.
f (y) − f (x ) = f 0 x + a(y − x ) (y − x )
for some 0 < a < 1. Now f 0 (x + a(y − x )) = 0, so the above equation yields
f (y) = f (x ). Since this is true for any x , y ∈ I , the function f must be constant
on I .
then f 0 (z ) = 0 for all z in the domain of f , but f is not constant. This may seem
like a silly example, but it illustrates a pitfall to proving a function is constant that
we must be careful of. Recall that a region of C is an open connected subset.
Proof. We will first show that f is constant along horizontal segments and along
vertical segments in G .
38 d i f f e re n t i at i o n
There are a number of surprising applications of Theorem 2.17; see, e.g., Exer-
cises 2.20 and 2.21.
Exercises
2.1. Use the definition of limit to show for any zo ∈ C that lim z →z0 (a z +b ) = a z0 +b .
2.2. Evaluate the following limits or explain why they don’t exist.
i z 3 −1
(a) lim (b) lim (x + i (2x + y))
z →i z +i z →1−i
2.6. Proposition 2.2 is useful for showing that limits do not exist, but it is not at all
useful for showing that a limit does exist. For example, define
x2y
f (z ) = where z = x + i y 6= 0 .
x4 + y2
Show that the limits of f at 0 along all straight lines through the origin exist and
are equal, but lim f (z ) does not exist. (Hint: Consider the limit along the parabola
z →0
y = x 2 .)
lim f (z ) = u0 + i v0
z →z0
if and only if
is continuous on C \ {0}.
2.11. Show that the two definitions of continuity in Section 2.1 are equivalent.
Consider separately the cases where z0 is an accumulation point of G and where z0
is an isolated point of G .
a z +b
2.15. Find the derivative of the function T (z ) := c z +d , where a, b, c , d ∈ C with
ad − b c 6= 0. When is T 0 (z ) = 0?
2.17. Prove or find a counterexample: If u and v are real valued and continuous,
then f (z ) = u(x , y) + i v(x , y) is continuous; if u and v are (real) differentiable
then f is (complex) differentiable.
2.18. Where are the following functions differentiable? Where are they holomorphic?
Determine their derivatives at points where they are differentiable.
(a) f (z ) = e −x e −i y (g) f (z ) = |z |2 = x 2 + y 2
(b) f (z ) = 2x + i x y 2 (h) f (z ) = z Im z
i x +1
(c) f (z ) = x 2 + i y 2 (i) f (z ) = y
(f ) f (z ) = Im z (l) f (z ) = z 2 − z 2
co n s ta n t f u n c t i o n s 41
2.20. Prove: If f is holomorphic in the region G ⊆ C and always real valued, then
f is constant in G . (Hint: Use the Cauchy–Riemann equations (2.3) to show that
f 0 = 0.)
2.22. Suppose f is entire and can be written as f (z ) = u(x ) + i v(y), that is, the
real part of f depends only on x = Re(z ) and the imaginary part of f depends only
on y = Im(z ). Prove that f (z ) = a z + b for some a ∈ R and b ∈ C.
2.23. Suppose f is entire, with real and imaginary parts u and v satisfying
u(x , y) v(x , y) = 3
2.24. Prove that the Cauchy–Riemann equations take on the following form in
polar coordinates:
∂u 1 ∂v 1 ∂u ∂v
= and = − .
∂r r ∂φ r ∂φ ∂r
2.25. For each of the following functions u, find a function v such that u + i v is
holomorphic in some region. Maximize that region.
(a) u(x , y) = x 2 − y 2 (c) u(x , y) = 2x 2 + x + 1 − 2y 2
x2
2.26. Is u(x , y) = x
x 2 +y 2 harmonic on C? What about u(x , y) = x 2 +y 2 ?
42 d i f f e re n t i at i o n
(b) If u is harmonic then show that it is the real part of a function of the form
f (z ) = Az 2 for some A ∈ C. Give a formula for A in terms of a, b and c .
2.28. Re-prove Proposition 2.10 by using the formula for f 0 given in Theorem 2.13.
Examples of Functions
To many, mathematics is a collection of theorems. For me, mathematics is a collection
of examples; a theorem is a statement about a collection of examples and the purpose
of proving theorems is to classify and explain the examples...
John B. Conway
In this chapter we develop a toolkit of complex functions. Our ingredients are familiar
from calculus: linear functions, exponentials and logarithms, and trigonometric
functions. Yet, when we move these functions into the complex world, they take
on —at times drastically different —new features.
The first class of functions that we will discuss in some detail are built from linear
polynomials.
Exercise 2.16 said that any polynomial in z is an entire function, and so the
+b
linear fractional transformation f (z ) = ac zz +d is holomorphic in C \ {− dc }, unless
+b
c = 0 (in which case f is entire). If c =
6 0 then ac zz +d = ac implies ad − b c = 0, which
a z +b
means that a Möbius transformation f (z ) = c z +d will never take on the value ac .
Our first proposition in this chapter says that with these small observations about
the domain and image of a Möbius transformation, we obtain a class of bijections,
which are quite special among complex functions.
1 Named after August Ferdinand Möbius (1790 –1868).
44 examples of functions
−1 dz −b
f (z ) = .
−c z + a
We remark that the same formula for f −1 (z ) works when c = 0, except that in this
case both domain and image of f are C; see Exercise 3.2. In either case, we note
that the inverse of a Möbius transformation is another Möbius transformation.
z −1 iw +1
= w ⇐⇒ z = ,
iz +i −i w + 1
Proof of Proposition 3.1. We first prove that f is one-to-one. If f (z1 ) = f (z2 ), that
is,
a z1 + b a z2 + b
= ,
c z1 + d c z2 + d
then (a z1 + b )(c z2 + d ) = (a z2 + b )(c z1 + d ), which can be rearranged to
(ad − b c )(z1 − z2 ) = 0 .
a(c z + d ) − c (a z + b ) ad − b c
f 0 (z ) = =
(c z + d )2 (c z + d )2
and thus never zero. Proposition 2.11 implies that Möbius transformations are
conformal, that is, they preserve angles.
m ö b i u s t r a n s f o r m at i o n s 45
Proof. Simplify.
Theorem 3.4. Möbius transformations map circles and lines into circles and lines.
e iφ − 1 (e i φ − 1) (e −i φ + 1)
f (e i φ ) = =
i e iφ + i i |e i φ + 1|2
e i φ − e −i φ 2 Im (e i φ ) 2 sin φ
= = = ,
i |e + 1|
i φ 2
|e + 1|
i φ 2
|e i φ + 1|2
which is a real number. Thus Theorem 3.4 implies that f maps the unit circle to
the real line.
Proof of Theorem 3.4. Translations and dilations certainly map circles and lines into
circles and lines, so by Proposition 3.3, we only have to prove the statement of the
theorem for the inversion f (z ) = 1z .
The equation for a circle centered at x0 +i y0 with radius r is (x −x0 )2 +( y − y0 )2 =
2
r , which we can transform to
2 2
α(x + y ) + β x + γ y + δ = 0 (3.1)
46 examples of functions
for some real numbers α, β , γ , and δ that satisfy β 2 + γ 2 > 4 αδ (Exercise 3.3). The
form (3.1) is more convenient for us, because it includes the possibility that the
equation describes a line (precisely when α = 0).
Suppose z = x + i y satisfies (3.1); we need to prove that u + i v := 1z satisfies a
similar equation. Since
x −iy
u + iv = 2 ,
x + y2
we can rewrite (3.1) as
x y δ
0 = α+β +γ 2 +
x2 + y2 x + y2 x2 + y2
= α + β u − γ v + δ (u 2 + v 2 ) . (3.2)
But this equation, in conjunction with Exercise 3.3, says that u + i v lies on a circle
or line.
Definition. Suppose f : G → C.
(a) lim z →z0 f (z ) = ∞ means that for every M > 0 we can find δ > 0 so that, for
all z ∈ G satisfying 0 < |z − z0 | < δ , we have | f (z )| > M .
(b) lim z →∞ f (z ) = L means that for every ε > 0 we can find N > 0 so that, for
all z ∈ G satisfying |z | > N , we have | f (z ) − L| < ε .
(c) lim z →∞ f (z ) = ∞ means that for every M > 0 we can find N > 0 so that,
for all z ∈ G satisfying |z | > N , we have | f (z )| > M .
L
|c z + d | ≥ |c ||z | − |d | ≥ |c ||z | − |d | >
|c |ε
and so
a
c (a z + b ) − a(c z + d ) L
f (z ) − = = < ε.
c c (c z + d ) |c | |c z + d |
Definition. The extended complex plane is the set Cˆ := C ∪ {∞}, together with
the following algebraic properties: For any a ∈ C,
(c) ∞·∞=∞
The extended complex plane is also called the Riemann sphere or the complex
projective line, denoted CP1 .
is not defined, but if we take the limit of z + (−z ) = 0 as z → ∞ we will get 0, even
though the individual limits of z and −z are both ∞.
Now we reconsider Möbius transformations with ∞ in mind. For example,
f (z ) = 1z is now defined for z = 0 and z = ∞, with f (0) = ∞ and f (∞) = 0,
and so we might argue the proper domain for f (z ) is actually C. ˆ Let’s consider
the other basic types of Möbius transformations. A translation f (z ) = z + b is
now defined for z = ∞, with f (∞) = ∞ + b = ∞, and a dilation f (z ) = a z
(with a 6= 0) is also defined for z = ∞, with f (∞) = a · ∞ = ∞. Since every
Möbius transformation can be expressed as a composition of translations, dilations
and inversions (Proposition 3.3), we see that every Möbius transformation may be
interpreted as a transformation of C ˆ onto C.ˆ This general case is summarized in the
following extension of Proposition 3.1.
Then f is a bijection.
Example 3.9. Continuing Examples 3.2 and 3.5, consider once more the Möbius
transformation f (z ) = izz−1
+i . With the definitions f (−1) = ∞ and f (∞) = −i , we
can extend f to a function C ˆ → C.
ˆ
With ∞ on our mind we can also add some insight to Theorem 3.4. We recall
that in Example 3.5, we proved that f (z ) = izz−1
+i maps the unit circle to the real line.
Essentially the same proof shows that, more generally, any circle passing through −1
gets mapped to a line (see Exercise 3.4). The original domain of f was C \ {−1},
so the point z = −1 must be excluded from these circles. However, by thinking
of f as function from C ˆ to C,
ˆ we can put z = −1 back into the picture, and so f
transforms circles that pass through −1 to straight lines plus ∞. If we remember that
∞ corresponds to being arbitrarily far away from any point in C, we can visualize
a line plus ∞ as a circle passing through ∞. If we make this a definition, then
Theorem 3.4 can be expressed as: any Möbius transformation of C ˆ transforms circles to
circles.
i n f i n i t y a n d t h e c ro s s r at i o 49
We can take this remark a step further, based on the idea that three distinct
ˆ determine a unique circle passing through them: If the three points are
points in C
in C and nonlinear, this fact comes straight from Euclidean geometry; if the three
points are on a straight line or if one of the points is ∞, then the circle is a straight
line plus ∞.
ˆ →C
Example 3.10. The Möbius transformation f : C ˆ given by f (z ) = z −1
maps
i z +i
1 7→ 0 , i 7→ 1 , and − 1 7→ ∞ .
The points 1, i , and −1 uniquely determine the unit circle and the points 0, 1, and ∞
ˆ Thus Corollary 3.8 implies
uniquely determine the real line, viewed as a circle in C.
that f maps the unit circle to R, which we already concluded in Example 3.5.
ˆ are transformed by a
Conversely, if we know where three distinct points in C
Möbius transformation then we should be able to figure out everything about the
transformation. There is a computational device that makes this easier to see.
ˆ with z , z , and z distinct,
Definition. If z , z1 , z2 , and z3 are any four points in C 1 2 3
then their cross ratio is defined as
(z − z1 )(z2 − z3 )
[z , z1 , z2 , z3 ] := .
(z − z3 )(z2 − z1 )
Proof. Most of this follows from our definition of ∞, but we need to prove the
uniqueness statement. By Proposition 3.1, the inverse f −1 is a Möbius transfor-
mation and, by Exercise 3.10, the composition h := g ◦ f −1 is again a Möbius
50 examples of functions
b
0 = h(0) = =⇒ b =0
d
a
∞ = h(∞) = =⇒ c =0
c
a+b a +0 a
1 = h(1) = = = =⇒ a=d
c +d 0+d d
and so
az + b az + 0 a
h(z ) = = = z = z,
cz +d 0+d d
the identity function. But since h = g ◦ f −1 , this means that f and g are identical.
This theorem gives an explicit way to determine h from the points z j and w j but,
in practice, it is often easier to determine h directly from the conditions f (z j ) = w j
(by solving for a, b , c and d ).
The addition of ∞ to the complex plane C gives the plane a useful structure. This
structure is revealed by a famous function called stereographic projection, which gives
us a way of visualizing the extended complex plane —that is, with the point at
infinity —in R3 , as the unit sphere. It also provides a way of seeing that a line in the
extended complex plane really is a circle, and of visualizing Möbius functions.
s t e re o g r a ph i c p ro j e c t i o n 51
The sphere and the complex plane intersect in the set {(x , y, 0) : x 2 + y 2 = 1},
which corresponds to the equator on the sphere and the unit circle on the complex
plane, as depicted in Figure 3.1. Let N := (0, 0, 1), the north pole of S2 , and let
S := (0, 0, −1), the south pole.
....
..
..
...
...
.. . . . . . . . . . . . . . . . ..........
.. .. ......
...... .. ...
.. .. ..
..
..
.
..
..
.
..
....
...
...
.
....
p2 + q2 − 1
−1 2p 2q
φ ( p, q, 0) = , ,
p2 + q2 + 1 p2 + q2 + 1 p2 + q2 + 1
x2 + y2 1 − z2 1+z
p2 + q2 = = = .
(1 − z )2 (1 − z )2 1−z
Solving p 2 + q 2 = 1+z
1−z for z and then plugging this into the identities x = p(1 − z )
and y = q(1 − z ) proves the desired formula. It is easy to check that φ ◦ φ −1 and
φ −1 ◦ φ are both the identity map; see Exercise 3.25.
Theorem 3.15. The stereographic projection φ takes the set of circles in S2 bijectively
ˆ where for a circle γ ⊂ S2 we have ∞ ∈ φ (γ ) (that is, φ (γ )
to the set of circles in C,
is a line in C) if and only if N ∈ γ .
H = (x , y, z ) ∈ R3 : (x , y, z ) · (x0 , y0 , z0 ) = k
= (x , y, z ) ∈ R3 : x x0 + y y0 + z z0 = k .
s t e re o g r a ph i c p ro j e c t i o n 53
Depending on whether the right hand side of this equation is positive, 0, or negative,
this is the equation of a circle, point, or the empty set in the ( p, q)-plane, respectively.
These three cases happen when k < 1, k = 1, and k > 1, respectively. Only the
first case corresponds to a circle in S2 . Exercise 3.28 verifies that every circle in the
( p, q)-plane arises in this manner.
We can now think of the extended complex plane as a sphere in R3 , the afore-
mentioned Riemann sphere.
It is particularly nice to think about the basic Möbius transformations via their
effect on the Riemann sphere. We will describe inversion. It is worth thinking about,
though beyond the scope of this book, how other Möbius functions behave. For
instance, a rotation f (z ) = e i θ z , composed with φ −1 , can be seen to be a rotation of
S2 . We encourage you to verify this and consider the harder problems of visualizing
a real dilation, f (z ) = r z , or a translation, f (z ) = z + b . We give the hint that
a real dilation is in some sense dual to a rotation, in that each moves points along
perpendicular sets of circles. Translations can also be visualized via how they move
points along sets of circles.
We now use stereographic projection to take another look at f (z ) = 1z . We want
to know what this function does to the sphere S2 . We will take a point (x , y, z ) ∈ S2 ,
54 examples of functions
project it to the plane by the stereographic projection φ , apply f to the point that
results, and then pull this point back to S2 by φ −1 .
y
We know φ (x , y, z ) = ( 1−z
x
, 1−z , 0) which we now regard as the complex number
x y
p + iq = +i .
1−z 1−z
x y 1−z (1 − z )(x − i y) x y
f +i = = = −i .
1−z 1−z x +iy x2 + y2 1+z 1+z
Rather than plug this result into the formulas for φ −1 , we can just ask what triple
of numbers will be mapped to this particular pair using the formulas φ (x , y, z ) =
y
( 1−z
x
, 1−z , 0). The answer is (x , −y, −z ).
Thus we have shown that the effect of f (z ) = 1z on S2 is to take (x , y, z ) to
(x , −y, −z ). This is a rotation around the x -axis by 180 degrees.
We now have a second argument that f (z ) = 1z takes circles and lines to circles
and lines. A circle or line in C is taken to a circle on S2 by φ −1 . Then f (z ) = 1z
rotates the sphere which certainly takes circles to circles. Now φ takes circles back
to circles and lines. We can also say that the circles that go to lines under f (z ) = 1z
are the circles through 0, because 0 is mapped to (0, 0, −1) under φ −1 , and so a
circle through 0 in C goes to a circle through the south pole in S2 . Now 180-degree
rotation about the x -axis takes the south pole to the north pole, and our circle is
now passing through N . But we know that φ will take this circle to a line in C.
We end by mentioning that there is, in fact, a way of putting the complex metric
on S2 . It is certainly not the (finite) distance function induced by R3 . Indeed, the
origin in the complex plane corresponds to the south pole of S2 . We have to be able
to get arbitrarily far away from the origin in C, so the complex distance function
has to increase greatly with the z coordinate. The closer points are to the north pole
N (corresponding to ∞ in C), ˆ the larger their distance to the origin, and to each
other! In this light, a ‘line’ in the Riemann sphere S2 corresponds to a circle in S2
through N . In the regular sphere, the circle has finite length, but as a line on the
Riemann sphere with the complex metric, it has infinite length.
exponential and trigonometric functions 55
To define the complex exponential function, we once more borrow concepts from
calculus, namely the real exponential function2 and the real sine and cosine, and we
finally make sense of the notation e i t = cos t + i sin t .
This definition seems a bit arbitrary. Our first justification is that all exponential
rules that we are used to from real numbers carry over to the complex case. They
mainly follow from Proposition 1.3 and are collected in the following.
(a) exp (z1 ) exp (z2 ) = exp (z1 + z2 ) (d) |exp (z )| = exp (Re z )
(b) 1
exp(z ) = exp (−z ) (e) exp(z ) 6= 0
Identity (c) is very special and has no counterpart for the real exponential function.
It says that the complex exponential function is periodic with period 2π i . This has
many interesting consequences; one that may not seem too pleasant at first sight is
the fact that the complex exponential function is not one-to-one.
Identity (f ) is not only remarkable, but we invite you to meditate on its proof
below; it gives a strong indication that our definition of exp is reasonable. We also
note that (f ) implies that exp is entire.
We leave the proof of Proposition 3.16 as Exercise 3.34 but give one sample.
∂f ∂f
= e x (cos y + i sin y) and = e x (− sin y + i cos y) .
∂x ∂y
2 How to define the real exponential function is a nontrivial question. Our preferred way to do this is
through a power series: e x = k≥0 k!1 x k . In light of this definition, you might think we should have
P
simply defined the complex exponential function through a complex power series. In fact, this is possible
(and an elegant definition); however, one of the promises of this book is to introduce complex power
series as late as possible. We agree with those readers who think that we are cheating at this point, as we
borrow the concept of a (real) power series to define the real exponential function.
56 examples of functions
They are continuous in C and satisfy the Cauchy –Riemann equation (2.2):
∂f ∂f
(z ) = −i (z )
∂x ∂y
for all z ∈ C. Thus Theorem 2.13 says that f (z ) = exp(z ) is entire with derivative
∂f
f 0 (z ) = (z ) = exp(z ) .
∂x
We should make sure that the complex exponential function specializes to the
real exponential function for real arguments: indeed, if z = x ∈ R then
The trigonometric functions —sine, cosine, tangent, cotangent, etc. —also have
complex analogues; however, they do not play the same prominent role as in the
real case. In fact, we can define them as merely being special combinations of the
exponential function.
sin z := 1
2i (exp(i z ) − exp(−i z )) and cos z := 1
2 (exp(i z ) + exp(−i z )) ,
sin z exp(2i z ) − 1
tan z := = −i
cos z exp(2i z ) + 1
and
cos z exp(2i z ) + 1
cot z := = i ,
sin z exp(2i z ) − 1
respectively.
Note that to write tangent and cotangent in terms of the exponential function,
we used the fact that exp(z ) exp(−z ) = exp(0) = 1. Because exp is entire, so are sin
and cos.
exponential and trigonometric functions 57
/
exp
− 56π
− π3
5π
0
π
6
2
1
0
−1
As with the exponential function, we should make sure that we’re not redefining
the real sine and cosine: if z = x ∈ R then
sin z = 1
2i (exp(i x ) − exp(−i x ))
= 1
2i (cos x + i sin x − cos(−x ) − i sin(−x )) = sin x .
58 examples of functions
A similar calculation holds for the cosine. Not too surprisingly, the following
properties follow mostly from Proposition 3.16.
Finally, one word of caution: unlike in the real case, the complex sine and cosine
are not bounded —consider, for example, sin(i y) as y → ±∞.
We end this section with a remark on hyperbolic trig functions. The hyperbolic
sine, cosine, tangent, and cotangent are defined as in the real case:
Definition.
sinh z = 1
2 (exp(z ) − exp(−z )) cosh z = 1
2 (exp(z ) + exp(−z ))
sinh z exp(2z ) − 1 cosh z exp(2z ) + 1
tanh z = = coth z = = .
cosh z exp(2z ) + 1 sinh z exp(2z ) − 1
As such, they are yet more special combinations of the exponential function.
They still satisfy the identities you already know, e.g.,
d d
sinh z = cosh z and cosh z = sinh z .
dz dz
The complex logarithm is the first function we’ll encounter that is of a somewhat
tricky nature. It is motivated as an inverse to the exponential function, that is, we’re
looking for a function Log such that
But because exp is not one-to-one, this is too much to hope for. In fact, given a
function Log that satisfies the first equation in (3.3), the function f (z ) = Log(z ) +
2π i does as well, and so there cannot be an inverse of exp (which would have to
be unique). On the other hand, exp becomes one-to-one if we restrict its domain,
so there is hope for a logarithm if we’re careful about its construction and about its
domain.
To make sure this definition is not vacuous, let’s write, as usual, z = r e i φ , and
suppose that Log z = u(z ) + i v(z ). Then for the first equation in (3.3) to hold, we
need
exp(Log z ) = e u e i v = r e i φ = z ,
Definition. Let Arg z denote the unique argument of z 6= 0 that lies in (−π , π ]
(the principal argument of z ). Then the principal logarithm is the function Log :
C \ {0} → C defined through
Log(z ) := ln |z | + i Arg(z ) .
60 examples of functions
Example 3.18. Here are a few evaluations of Log to illustrate this function:
The principal logarithm is not continuous on the negative part of the real line,
and so Log is a branch of the logarithm on C \ R≤0 . Any branch of the logarithm on
a region G can be similarly extended to a function defined on G \ {0}. Furthermore,
the evaluation of any branch of the logarithm at a specific z0 can differ from Log(z0 )
only by a multiple of 2π i ; the reason for this is once more the periodicity of the
exponential function.
So what about the second equation in (3.3), namely, Log(exp z ) = z ? Let’s try
the principal logarithm: if z = x + i y then
π
p
Log(i ) + Log(i − 1) = i 2 + ln 2 + 3π4 i = 1
2 ln 2 + 5π4 i
but
Log(i (i − 1)) = Log(−1 − i ) = 1
2 ln 2 − 3π4 i .
log z := ln |z | + i arg z .
Neither arg nor log is a function, yet exp(log z ) = z . We invite you to check this
thoroughly; in particular, you should note how the periodicity of the exponential
function takes care of the multi-valuedness of log.
To end our discussion of complex logarithms on a happy note, we prove that
any branch of the logarithm has the same derivative; one just has to be cautious with
regions of holomorphicity.
1 1 1
Log0 (z ) = = = .
exp0 (Log z ) exp(Log z ) z
a b := exp(b Log(a)) .
Naturally, we can just as well define a b through a different branch of the log-
arithm; our convention is that we use the principal value unless otherwise stated.
Exercise 3.51 explores what happens when we use the multi-valued log in the defini-
tion of a b .
One last remark: it now makes sense to talk about the function f (z ) = e z , where
n
e is Euler’s3 number and can be defined, for example, as e = limn→∞ 1 + n1 . In
calculus we can prove the equivalence of the real exponential function (as given, for
3 Named after Leonard Euler (1707 –1783). Continuing our footnote on p. 8, we have now honestly
example, through a power series) and the function f (x ) = e x . With our definition
of a z , we can now make a similar remark about the complex exponential function.
Because e is a positive real number and hence Arg e = 0,
A word of caution: this only works out this nicely because we have carefully defined
a b for complex numbers. Using a different branch of logarithm in the definition of
a b can easily lead to e z 6= exp(z ).
Exercises
a z +b
3.1. Show that if f (z ) = c z +d is a Möbius transformation then f −1 (z ) = d z −b .
−c z +a
3.2. Complete the picture painted by Proposition 3.1 by considering Möbius trans-
formations with c = 0. That is, show that f : C → C given by f (z ) = a zd+b is a
bijection, with f −1 (z ) given by the formula in Proposition 3.1.
3.3. Show that (3.1) is the equation for a circle or line if and only if β 2 + γ 2 > 4 αδ .
Conclude that x + i y is a solution to (3.1) if and only if u + i v is a solution to (3.2).
3.5. Prove that any Möbius transformation different from the identity map can have
at most two fixed points. (A fixed point of a function f is a number z such that
f (z ) = z .)
3.8. Suppose that f is holomorphic in the region G and f (G ) is a subset of the unit
circle. Show that f is constant.
lo g a r i t h m s a n d co m p l e x e x p o n e n t i a l s 63
(c) Prove that fa (z ) maps the unit disk D[0, 1] to itself in a bijective fashion.
3.10. Suppose
a b
A=
c d
is a 2 × 2 matrix of complex numbers whose determinant ad − b c is nonzero. Then
we can define a corresponding Möbius transformation on C ˆ by T (z ) = a z +b .
A c z +d
Show that T A ◦ TB = T A·B , where ◦ denotes composition and · denotes matrix
multiplication.
3.13. Let f (z ) = z2z+2 . Draw two graphs, one showing the following six sets in the
z -plane and the other showing their images in the w-plane. Label the sets. (You
should only need to calculate the images of 0, ±2, ±(1 + i ), and ∞; remember that
Möbius transformations preserve angles.)
(a) the x -axis plus ∞
3.14. Find Möbius transformations satisfying each of the following. Write your
+b
answers in standard form, as ac zz +d .
(a) 1 → 0, 2 → 1, 3 → ∞
(b) 1 → 0, 1 + i → 1, 2 → ∞
(c) 0 → i , 1 → 1, ∞ → −i .
3.15. Using the cross ratio, with different choices of zk , find two different Möbius
transformations that transform C [1 + i , 1] onto the real axis plus ∞. In each case,
find the image of the center of the circle.
3.16. Let γ be the unit circle. Find a Möbius transformation that transforms γ onto
γ and transforms 0 to 21 .
3.18. Find a Möbius transformation that maps the unit disk to {x + i y ∈ C : x + y >
0}.
ˆ of f (z ) =
3.20. Find the fixed points in C z 2 −1
2z +1 .
(c) f maps the x -axis to y = x , the y-axis to y = −x , and the unit circle to itself.
3.22.
(a) Find a Möbius transformation that maps the unit circle to {x + i y ∈ C :
x + y = 0}.
(b) Find two Möbius transformations that map the unit disk
{x + i y ∈ C : x + y > 0} and
{z ∈ C : |z | < 1} to
{x + i y ∈ C : x + y < 0} ,
respectively.
3.23. Given a ∈ R \ {0}, show that the image of the line y = a under inversion is
the circle with center −i 1
2a and radius 2a .
3.24. Suppose z1 , z2 and z3 are distinct points in C. ˆ Show that z is on the circle
passing through z1 , z2 and z3 if and only if [z , z1 , z2 , z3 ] is real or ∞.
66 examples of functions
3.26. Find the image of the following points under the stereographic projection φ :
(0, 0, −1), (0, 0, 1), (1, 0, 0), (0, 1, 0), (1, 1, 0).
3.29. Describe the effect of the basic Möbius transformations rotation, real dilation,
and translation on the Riemann sphere. (Hint: For the first two, consider all circles
in S2 centered on the N S axis, and all circles through both N and S . For translation,
consider two families of circles through N , orthogonal to and perpendicular to the
translation.)
3.32. Prove that the zeros of sin z are all real valued. Conclude that they are precisely
the integer multiples of π .
3.33. Describe the images of the following sets under the exponential function
exp(z ):
(a) the line segment defined by z = i y, 0 ≤ y ≤ 2π
(d) If | y| ≥ 1 then
sinh2 y + 1 1 1
|cot z |2 ≤ = 1+ ≤ 1+ ≤ 2.
sinh2 y sinh2 y sinh2 1
3.38. Draw a picture of the images of vertical lines under the sine function. Do the
same for the tangent function.
3.39. Determine the image of the strip {z ∈ C : − π2 < Re z < π2 } under the sine
function. (Hint: Exercise 3.31 makes it easy to convert parametric equations for
horizontal or vertical lines to parametric equations for their images. Note that
the equations x = A sin t and y = B cos t represent an ellipse and the equations
x = A cosh t and y = B sinh t represent a hyperbola. Start by finding the images of
the boundary lines of the strip, and then find the images of a few horizontal segments
and vertical lines in the strip.)
(b) (−1)i
68 examples of functions
3.42. Is arg(z ) = − arg(z ) true for the multiple-valued argument? What about
Arg(z ) = − Arg(z ) for the principal branch?
3.43. For the multiple-valued logarithm, is there a difference between the set of all
values of log(z 2 ) and the set of all values of 2 log z ? (Hint: Try some fixed numbers
for z .)
3.44. For each of the following functions, determine all complex numbers for which
the function is holomorphic. If you run into a logarithm, use the principal value
unless otherwise stated.
(a) z 2
sin z
(b) z 3 +1
(d) exp(z )
(e) (z − 3)i
(f ) i z −3 .
3.46. Find the image of the annulus 1 < |z | < e under the principal value of the
logarithm.
3.47. Use Exercise 2.24 to give an alternative proof that Log is holomorphic in
C \ R≤0 .
3.51. Prove that exp(b log a) is single valued if and only if b is an integer. (Note that
this means that complex exponentials do not clash with monomials z n , no matter
which branch of the logarithm is used.) What can you say if b is rational?
3.52. Describe the image under exp of the line with equation y = x . To do this you
should find an equation (at least parametrically) for the image (you can start with
the parametric form x = t , y = t ), plot it reasonably carefully, and explain what
happens in the limits as t → ∞ and t → −∞.
(b) Show that the image under f of a ray starting at the origin is a ray starting at
the origin.
(c) Let T be the figure formed by the horizontal segment from 0 to 2, the circular
arc from 2 to 2i , and then the vertical segment from 2i to 0. Draw T and
f (T ).
(d) Is the right angle at the origin in part (c) preserved? Is something wrong here?
(Hint: Use polar coordinates.)
70 examples of functions
3.54. As in the previous problem, let f (z ) = z 2 . Let Q be the square with vertices at
0, 2, 2+2i and 2i . Draw f (Q ) and identify the types of image curves corresponding
to the segments from 2 to 2 + 2i and from 2 + 2i to 2i . They are not parts of either
straight lines or circles. (Hint: You can write the vertical segment parametrically as
z (t ) = 2 + i t . Eliminate the parameter in u + i v = f (z (t )) to get a (u, v) equation
for the image curve.) Exercises 3.53 and 3.54 are related to the cover picture of this
book.
Chapter 4
Integration
If things are nice there is probably a good reason why they are nice: and if you do
not know at least one reason for this good fortune, then you still have work to do.
Richard Askey
We are now ready to start integrating complex functions —and we will not stop
doing so for the remainder of this book: it turns out that complex integration is
much richer than real integration (in one variable). The initial reason for this is that
Rb
we have an extra dimension to play with: the calculus integral a f (x ) dx has a fixed
integration path, from a to b along the real line. For complex functions, there are
many different ways to go from a to b ...
At first sight, complex integration is not really different from real integration. Let
a, b ∈ R and let g : [a, b ] → C be continuous. Then we define
Z b Z b Z b
g (t ) dt := Re g (t ) dt + i Im g (t ) d t . (4.1)
a a a
This definition immediately extends to paths that are piecewise smooth: Sup-
pose γ is parametrized by γ (t ), a ≤ t ≤ b , which is smooth on the intervals
[a, c1 ], [c1 , c2 ], . . . , [cn−1 , cn ], [cn , b ].1 Then, assuming again that f is continuous on
γ , we define
Z Z c1 Z c2 Z b
f := f (γ (t ))γ 0 (t ) d t + f (γ (t ))γ 0 (t ) d t + · · · + f (γ (t ))γ 0 (t ) d t .
γ a c1 cn
Example 4.1. To see this definition in action, we compute the integral of the function
f : C → C given by f (z ) = z 2 over several paths from 0 to 1 + i .
1 1
2
Z Z Z
2
f = (t − i t ) (1 + i ) d t = 2(1 − i ) t 2 dt = (1 − i ) .
γ 0 0 3
whence
1 1
14 i
Z Z Z
f = (t 2 −t 4 −2i t 3 ) (1 + 2i t ) d t = (t 2 +3t 4 −2i t 5 ) d t = − .
γ 0 0 15 3
(c) Let γ be the union of the two line segments γ1 from 0 to 1 and γ2 from 1 to
1+i . Parametrizations are γ1 (t ) = t , 0 ≤ t ≤ 1, and γ2 (t ) = 1+i t , 0 ≤ t ≤ 1.
Hence
Z Z Z Z 1 Z 1
f = f + f = t 2 dt + (1 − i t )2 i dt
γ γ1 γ2 0 0
1
1 1 1 1 4 2
Z
= +i (1 − 2i t − t 2 ) dt = + i 1 − 2i − = + i.
3 0 3 2 3 3 3
1 Our footnote on p. 14 about the subtlety of the definition of a smooth path applies also here, at the
subdivision points ci . Note that we do not require that the left and right derivatives match at these points.
d e f i n i t i o n a n d b a s i c p ro pe rt i e s 73
it 2π i sin(t )
γ (t ) = e , 0 ≤ t ≤ 2π , and σ (t ) = e , 0 ≤ t ≤ π2 ,
R
of the unit circle. Then we could write γ
f in the two ways
Z Z 2π
f = i f e i t e i t dt
γ 0
and Z Z π
2
f e 2π i sin(t ) e 2π i sin(t ) cos(t ) d t .
f = 2π i
γ 0
A quick substitution shows that the two integrals on the respective right-hand sides
are indeed equal.
Proposition 4.2 says that a similar equality will hold for any integral and any
parametrization. Its proof is left as Exercise 4.9, which also shows that the following
definition is unchanged under reparametrization.
Example 4.5. Let γ be the unit circle, which can be parametrized by γ (t ) = e i t for
0 ≤ t ≤ 2π . Then γ 0 (t ) = i e i t and
Z 2π Z 2π
length(γ ) = |i e i t | dt = d t = 2π .
0 0
Now we observe some basic facts about how the line integral behaves with
respect to function addition, scalar multiplication, inverse parametrization, and path
concatenation; we also give an upper bound for the absolute value of an integral,
which we will make use of time and again.
Proposition 4.6. Suppose γ is a piecewise smooth path, f and g are complex
functions which are continuous on γ , and c ∈ C.
Z Z Z
(a) (f +c g) = f +c g.
γ γ γ
(c) If γ1 and γ2 are piecewise smooth paths so that γ2 starts where γ1 ends, we
define the path γ1 γ2 by following γ1 to its end and then continuing on γ2 to
its end. Then Z Z Z
f = f + f .
γ1 γ2 γ1 γ2
Z
(d) f ≤ max | f (z )| · length(γ ) .
γ z ∈γ
The path −γ defined in (b) is the path that we obtain by traveling through γ in the
opposite direction.
d e f i n i t i o n a n d b a s i c p ro pe rt i e s 75
Proof. (a) follows directly from the definition of the integral and Theorem A.4, the
analogous theorem from calculus.
with domain [a1 , b1 + b2 − a2 ]. Now we break the integral over γ1 γ2 into two pieces
and apply the change of variables s = t − b1 + a2 :
Z Z b1 +b2 −a2
f = f (γ (t ))γ 0 (t ) dt
γ1 γ2 a1
Z b1 Z b1 +b2 −a2
= f (γ (t ))γ 0 (t ) d t + f (γ (t ))γ 0 (t ) d t
a1 b1
Z Z
= f + f .
γ1 γ2
The last step follows since γ restricted to [a1 , b1 ] is γ1 and γ restricted to [b1 , b1 +
b2 − a2 ] is a reparametrization of γ2 .
76 i n t e g r at i o n
R R R
(d) Let φ = Arg γ f . Then γ f = γ f e i φ and thus, since γ f ∈ R,
R
Z Z Zb
−i φ −i φ 0
f = e f = Re e f (γ (t ))γ (t ) d t
γ γ a
Zb
= Re f (γ (t ))e −i φ γ 0 (t ) dt
a
Z b Zb
−i φ 0
≤ f (γ (t ))e γ (t ) d t = | f (γ (t ))| γ 0 (t ) dt
a a
Z b
0
≤ max | f (γ (t ))| γ (t ) d t = max | f (z )| · length(γ ) .
a≤t ≤b a z ∈γ
dz
Z
= 2π i ,
γ z −w
4.2 Antiderivatives
The central result about integration of a real function is the Fundamental Theorem
of Calculus (Theorem A.3), and our next goal is to discuss complex versions of this
theorem. The Fundamental Theorem of Calculus makes a number of important
claims: that continuous functions are integrable, their antiderivatives are continuous
and differentiable, and that antiderivatives provide easy ways to compute values of
definite integrals. The difference between the real case and the complex case is that
in the latter, we need to think about integrals over arbitrary paths in C.
Example 4.8. We have already seen that F (z ) = z 2 is entire and has derivative
f (z ) = 2z . Thus, F is an antiderivative of f on any region G ⊆ C. The same goes
for F (z ) = z 2 + c , where c ∈ C is any constant.
d 1 1
(exp(i z ) − exp(−i z )) = (exp(i z ) + exp(−i z )) ,
dz 2i 2
Proof. This follows immediately from the definition of a complex integral and
Theorem A.3(b), since ddt F (γ (t )) = f (γ (t )) γ 0 (t ):
Z Z b
f = f (γ (t )) γ 0 (t ) dt = F (γ (b )) − F (γ (a)) .
γ a
1 1
Z
f = (1 + i )2 − 02 = i
γ 2 2
for the unit circle γ ⊂ C \ {0}, by Exercise 4.4. Since this integral is nonzero, f
cannot have an antiderivative in C \ {0}.
Proof. There are two statements that we have to prove: first, that our definition of
F is sound —that is, the integral defining F does not depend on which path we take
from z0 to z —and second, that F 0 (z ) = f (z ) for all z ∈ G .
Suppose G ⊆ C is a region, z0 ∈ G , and f : G → C is a continuous function
such that γ f = 0 for any closed piecewise smooth path γ ⊂ G . Then σ f evaluates
R R
to the same number for any piecewise smooth path σ ⊂ G from z0 to z ∈ G , because
any two such paths σ1 and σ2 can be concatenated to a closed path first tracing
through σ1 and then through σ2 backwards, which by assumption yields a zero
integral: Z Z Z
f − f = f = 0.
σ1 σ2 σ1 −σ2
for any path γ ⊂ G from z to z + h. The constant function 1 has the antiderivative
z on C, and so γ 1 = h, by Theorem 4.11. Thus
R
F (z + h) − F (z ) 1 f (z )
Z Z
− f (z ) = f (w) dw − dw
h h γ h γ
1
Z
= ( f (w) − f (z )) dw .
h γ
If |h| is sufficiently small then the line segment λ from z to z + h will be contained
in G , and so, by applying the assumptions of our theorem for the third time,
F (z + h) − F (z ) 1
Z
− f (z ) = ( f (w) − f (z )) dw
h h γ
1
Z
= ( f (w) − f (z )) dw . (4.2)
h λ
We will show that the right-hand side goes to zero as h → 0, which will conclude
the theorem. Given ε > 0, we can choose δ > 0 such that
because f is continuous at z . (We also choose δ small enough so that (4.2) holds.)
Thus if |h| < δ , we can estimate with Proposition 4.6(d)
1
≤ 1 max | f (w) − f (z )| length(λ )
Z
( (w) (z ))
f − f dw
h
λ
|h| w∈λ
= max | f (w) − f (z )| < ε .
w∈λ
There are several variations of Theorem 4.15, as we can play with the assumptions
about paths in the statement of the theorem. We give one such variation, namely,
for polygonal paths, i.e., paths that are composed as unions of line segments. You
should convince yourself that the proof of the following result is identical to that of
Theorem 4.15.
80 i n t e g r at i o n
If you compare our proof of Theorem 4.15 to its analogue in R, you will see
similarities, as well as some complications due to the fact that we now have to
operate in the plane as opposed to the real line. Still, so far we have essentially been
“doing calculus” when computing integrals. We will now take a radical departure
from this philosophy by studying complex integrals that stay invariant under certain
transformations of the paths we are integrating over.
h(t , 0) = γ0 (t ) ,
h(t , 1) = γ1 (t ) , (4.3)
h(0, s ) = h(1, s ) .
The function h(t , s ) is called a homotopy. For each fixed s , a homotopy h(t , s )
is a path parametrized by t , and as s goes from 0 to 1, these paths continuously
transform from γ0 to γ1 . The last condition in (4.3) simply says that each of these
paths is also closed.
Example 4.17. Figure 4.1 attempts to illustrate that the unit circle is (C \ {0})-
homotopic to the square with vertices ±3 ± 3i . Indeed, you should check (Exer-
c au c h y’s t h e ore m 81
gives a homotopy. Note that h(t , s ) 6= 0 for any 0 ≤ t , s ≤ 1 (hence “(C \ {0})-
homotopic”).
dz
Z
= 2π i (4.5)
γ z
Proof of Theorem 4.18. The full proof of Cauchy’s Theorem is beyond the scope of
this book. However, there are several proofs under more restrictive hypotheses than
Theorem 4.18. We shall present a proof under the following extra assumptions:
where each h j (t , s ) has continuous second partials2 . (Example 4.17 gives one in-
stance.) Now we turn to the proof under these extra assumptions.
2 As we have seen with other “piecewise” definitions, the behavior of h at the subdivision lines t = t
i
needs to be understood in terms of limits.
c au c h y’s t h e ore m 83
d 1
Z1
d ∂h ∂ ∂h
Z
I (s ) = f (h(t , s )) dt = f (h(t , s )) dt
ds ds 0 ∂t 0 ∂s ∂t
Z 1
∂2h
∂h ∂h
= f 0 (h(t , s )) + f (h(t , s )) dt
0 ∂s ∂t ∂s ∂t
Z 1
∂2h
∂h ∂h
= f 0 (h(t , s )) + f (h(t , s )) dt
0 ∂t ∂s ∂t ∂s
Z1
∂ ∂h
= f (h(t , s )) dt .
0 ∂t ∂s
Note that we used Theorem A.7 to switch the order of the second partials in the
penultimate step —here is where we need our assumption that h has continuous
second partials. Also, we needed continuity of f 0 in order to apply Leibniz’s rule. If
h is piecewise defined, we split up the integral accordingly.
Finally, by the Fundamental Theorem of Calculus (Theorem A.3), applied
separately to the real and imaginary parts of the above integrand,
1
d ∂ ∂h
Z
I (s ) = f (h(t , s )) dt
ds 0 ∂t ∂s
∂h ∂h
= f (h(1, s )) (1, s ) − f (h(0, s )) (0, s ) = 0 ,
∂s ∂s
where the last step follows from h(0, s ) = h(1, s ) for all s .
The fact that an integral over a point is zero has the following immediate conse-
quence.
84 i n t e g r at i o n
This corollary is worth meditating over. For example, you should compare it
with Corollary 4.13: both results give a zero integral, yet they make truly opposite
assumptions (one about the existence of an antiderivative, the other about the
existence of a derivative).
Naturally, Corollary 4.20 gives many evaluations of integrals, such as this:
Example 4.21. Since Log is holomorphic in G = C\R≤0 and the ellipse γ in Figure
4.2 is G -contractible, Corollary 4.20 gives
Z
Log(z ) d z = 0 .
γ
Exercise 4.25(a) says that any closed path is C-contractible, which yields the
following special case of Corollary 4.20.
Corollary 4.22. If f is entire and γ is any piecewise smooth closed path, then
Z
f = 0.
γ
The theorems and corollaries in this section are useful not just for showing that
certain integrals are zero:
c au c h y’s i n t e g r a l f o r m u l a 85
dz
Z
γ z 2 − 2z
where γ is the unit circle, oriented counter-clockwise. (Try computing it from first
principles.) We use a partial fractions expansion to write
dz 1 dz 1 dz
Z Z Z
2
= − .
γ z − 2z 2 γ z −2 2 γ z
The first integral on the right-hand side is zero by Corollary 4.20 applied to the
function f (z ) = z −2
1
(note that f is holomorphic in C \ {2} and γ is (C \ {2})-
contractible). The second integral is 2π i by Exercise 4.4, and so
dz
Z
= −π i .
γ z2 − 2z
Sometimes Corollary 4.20 itself is known as Cauchy’s Theorem. See Exercise 4.26
for a related formulation of Corollary 4.20, with a proof based on Green’s Theorem.
C [a, r ] = {z ∈ C : |z − a| = r }
D[a, r ] = {z ∈ C : |z − a| < r }
D[a, r ] = {z ∈ C : |z − a| ≤ r }
for the circle, open disk, and closed disk, respectively, with center a ∈ C and radius
r > 0. Unless stated otherwise, we orient C [a, r ] counter-clockwise.
1 f (z )
Z
f (w) = dz .
2π i C [w,R] z −w
This is Cauchy’s Integral Formula for the case that the integration path is a circle;
we will prove the general statement at the end of this chapter. However, already this
special case is worth meditating over: the data on the right-hand side of Theorem 4.24
86 i n t e g r at i o n
is entirely given by the values that f (z ) takes on for z on the circle C [w, R]. Thus
Cauchy’s Integral Formula says that this data determines f (w). This has the flavor
of mean-value theorems, which the following corollary makes even more apparent.
f (z ) f (z )
Z Z
d z
Z
d z − 2π i f (w) = d z − f (w)
C [w,R] z − w C [w,r ] z − w C [w,r ] z − w
f (z ) − f (w)
Z
= dz
C [w,r ] z −w
f (z ) − f (w)
≤ max length (C [w, r ]) (4.6)
z ∈C [w,r ] z −w
| f (z ) − f (w)|
= max 2π r
z ∈C [w,r ] r
= 2π max | f (z ) − f (w)| .
z ∈C [w,r ]
In particular, this will hold for z ∈ C [w, δ2 ], and so (4.6) implies, with r = δ2 ,
f (z )
Z
d z − 2π i f (w) < ε .
C [w,R] z − w
Since we can choose ε as small as we’d like, the left-hand side must be zero, which
proves Theorem 4.24.
Corollary 4.25 now follows by definition of the complex integral:
1 2π
f (w + R e i t ) 1 2π
Z Z
f (w) = i R e i t dt = f w + R e i t dt ,
2π i 0 w + R eit − w 2π 0
2π
1 1 2π
Z Z
u(w) + i v(w) = u w + R eit dt + i v w + R eit dt .
2π 0 2π 0
dz
Z
.
C [i ,1] z2 + 1
The function f (z ) = z 1+i is holomorphic in C \ {−i }, which contains D[i , 1]. Thus
we can apply Theorem 4.24:
1
dz 1
Z Z
z +i
= dz = 2π i f (i ) = 2π i = π.
C [i ,1] z2 + 1 C [i ,1] z −i 2i
Now we would like to extend Theorem 4.24 by replacing C [w, R] with any
simple closed piecewise smooth path γ around w. Intuitively, Cauchy’s Theorem 4.18
should supply such an extension: assuming that f is holomorphic in a region G
that includes γ and its inside, we can find a small R such that D[w, R] ⊆ G , and
f (z )
since z −w is holomorphic in H := G \ {w} and γ ∼H C [w, R], Theorems 4.18 and
4.24 yield
1 f (z )
Z
f (w) = dz .
2π i γ z − w
88 i n t e g r at i o n
This all smells like good coffee, except ... we might be just dreaming. The argument
may be intuitively clear, but intuition doesn’t prove anything. We’ll look at it carefully,
fill in the gaps, and then we’ll see what we have proved.
First, we need a notion of the inside of a simple closed path. The fact that
any such path γ divides the complex plane into two connected open sets of γ
(the bounded one of which we call the inside or interior of γ ) is one of the first
substantial theorems ever proved in topology, the Jordan Curve Theorem, due to
Camille Jordan (1838–1922).3 In this book we shall assume the validity of the
Jordan Curve Theorem.
Second, we need to specify the orientation of γ , since if the formula gives f (w)
for one orientation then it will give − f (w) for the other orientation.
1 f (z )
Z
f (w) = dz .
2π i γ z −w
3 This is the Jordan of Jordan normal form fame, but not the one of Gauß –Jordan elimination.
c au c h y’s i n t e g r a l f o r m u l a 89
So all that we need to finish the proof of Theorem 4.27 is one more fact from
topology. But we can prove this one:
Proof. One direction is easy: If G contains the interior of γ and D[w, R] is any
closed disk in the interior of γ then there is a G -homotopy from γ to C [w, R], and
C [w, R] ∼G 0.
In the other direction we argue by contradiction: Assume γ ∼G 0 but G does
not contain the interior of γ . So we can find a point w in the interior of γ which is
not in G .
Define g (z ) = z −w
1
for z 6= w. Now g is holomorphic on G and γ ∼G 0, so
Corollary 4.20 applies, and we have γ g (z ) d z = 0. On the other hand, choose
R
R > 0 so that D[w, R] is inside γ . There is a homotopy in C\{ w } from γ to C [w, R],
so Cauchy’s Theorem 4.18, plus Exercise 4.4, shows that γ g (z ) d z = 2π i .
R
dz
Z
= π
γ z2 + 1
for any positively oriented, simple, closed, piecewise smooth path γ that contains i
on its inside and that is (C \ {−i })-contractible.
exp(z )
Z
dz
C [0,3] z 2 − 2z
For the two integrals on the right-hand side, we can use Theorem 4.24 with the
function f (z ) = exp(z ), which is entire, and so (note that both 2 and 0 are inside γ )
exp(z ) 1 1
Z
dz = 2π i · exp(2) − 2π i · exp(0) = π i e 2 − 1 .
2
z − 2z 2 2
C [0,3]
Exercises
(b) γ (t ) = i + e i π t , 0 ≤ t ≤ 1 (d) γ (t ) = t − i e −i t , 0 ≤ t ≤ 2π
Draw pictures of each path and convince yourself that the lengths you computed
are sensible. (The last path is a cycloid, the trace of a fixed point on a wheel as it
makes one rotation.)
4.3. Integrate the function f (z ) = z over the three paths given in Example 4.1.
4.4. Compute γ dzz where γ is the unit circle, oriented counterclockwise. More
R
dz
Z
= 2π i .
C [w,r ] z −w
4.5. Integrate the following functions over the circle C [0, 2]:
(a) f (z ) = z + z (c) f (z ) = 1
z4
(b) f (z ) = z 2 − 2z + 3 (d) f (z ) = x y
c au c h y’s i n t e g r a l f o r m u l a 91
R R R R
4.6. Evaluate the integrals γ x d z , γ y d z , γ z d z and γ z d z along each of the
following paths. (Hint: You can get the second two integrals after you calculate the
first two by writing z and z as x ± i y.)
(a) γ is the line segment from 0 to 1 − i
(b) γ = C [0, 1]
(b) γ = C [0, 3]
(a) f (z ) = z 2 and γ (t ) = t + i t 2 , 0 ≤ t ≤ 1.
4.9. Prove Proposition 4.2 and the fact that the length of γ does not change under
reparametrization. (Hint: Assume γ , σ , and τ are smooth. Start with the definition
of σ f , apply the chain rule to σ = γ ◦ τ , and then use the change of variables
R
4.10. Prove the following integration by parts statement: Let f and g be holomorphic
in G , and suppose γ ⊂ G is a piecewise smooth path from γ (a) to γ (b ). Then
Z Z
f g 0 = f (γ (b )) g (γ (b )) − f (γ (a)) g (γ (a)) − f 0g .
γ γ
R 2π
4.11. Let I (k) := 1
2π 0
e i k t dt .
(a) Show that I (0) = 1.
(c) What is I ( 21 )?
R 1
4.12. Compute C [0,2]
z 2 dz .
4.13. Show that γ z n dz = 0 for any closed piecewise smooth γ and any integer
R
n 6= −1. (If n is negative, assume that γ does not pass through the origin, since
otherwise the integral is not defined.)
4.14. Exercise 4.13 excluded n = −1 for a good reason: Exercise 4.4 gives a coun-
terexample. Generalizing these, if m is any integer, find a closed path γ so that
z dz = 2m π i .
R −1
γ
4.15. Taking the previous two exercises one step further, fix z0 ∈ C and let γ be a
simple, closed, positively oriented, piecewise smooth path such that z0 is inside γ .
Show that, for any integer n,
2π i if n = −1 ,
Z
(z − z0 )n d z =
γ 0 otherwise.
4.18. Compute the following integrals, where γ is the line segment from 4 to 4i .
z +1
Z Z
1
(a) dz (c) z−2 dz
γ z γ
dz
Z Z
(b) (d) sin2 (z ) d z
z 2+z
γ γ
4.19. Compute the following integrals. (Hint: One of these integrals is considerably
easier than the other.)
Z
(a) z i d z where γ1 (t ) = e i t , − π2 ≤ t ≤ π2 .
γ1
Z
(b) z i d z where γ2 (t ) = e i t , π
2 ≤t ≤ 3π
2 .
γ2
4.20. Show that (4.4) gives a homotopy between the unit circle and the square with
vertices ±3 ± 3i .
4.21. Use Exercise 1.34 give a homotopy that is an alternative to (4.4) and does not
need a piecewise definition.
4.25.
(a) Prove that any closed path is C-contractible.
4.26. This exercise gives an alternative proof of Corollary 4.20 via Green’s Theo-
rem A.10. Suppose G ⊆ C is a region, f is holomorphic in G , f 0 is continuous, γ
is a simple piecewise smooth closed curve, and γ ∼G 0. Explain that we may write
Z Z Z Z
f (z ) dz = (u + i v)(dx + i d y) = u dx − v d y + i v dx + u d y
γ γ γ γ
and show that these integrals vanish, by using Green’s Theorem A.10 together with
Proposition 4.28, and then the Cauchy –Riemann equations (2.2).
dz
Z
I (r ) := .
C [0,r ] z −a
You should get different answers for r < |a| and r > |a|. (Hint: In one case γ r is
contractible in C \ {a}. In the other you can combine Exercises 4.4 and 4.22.)
2π
dφ
Z
0 2 + sin φ
by writing the sine function in terms of the exponential function and making the
substitution z = e i φ to turn the real integral into a complex integral.
c au c h y’s i n t e g r a l f o r m u l a 95
4.32. Suppose f and g are holomorphic in the region G and γ is a simple piecewise
smooth G -contractible path. Prove that if f (z ) = g (z ) for all z ∈ γ , then f (z ) =
g (z ) for all z inside γ .
4.33. Show that Corollary 4.20, for simple paths, is also a corollary of Theorem 4.27.
4.34. Compute
dz
Z
I (r ) :=
C [−2i ,r ] z2+1
for r 6= 1, 3.
4.35. Find
dz
Z
C [0,r ] z2 − 2z − 8
for r = 1, r = 3 and r = 5. (Hint: Compute a partial-fractions expansion of the
integrand.)
4.36. Use the Cauchy Integral Formula (Theorem 4.24) to evaluate the integral in
Exercise 4.35 when r = 3.
4.38. Let f (z ) = z 21−1 and define the two paths γ = C [1, 1] oriented counter-
clockwise and σ = C [−1, 1] oriented clockwise. Show that γ f = σ f even
R R
4.39. This exercise gives an alternative proof of Cauchy’s Integral Formula (Theo-
rem 4.27) that does not depend on Cauchy’s Theorem (Theorem 4.18). Suppose the
region G is convex; this means that, whenever z and w are in G , the line segment
between them is also in G . Suppose f is holomorphic in G , f 0 is continuous, and γ
is a positively oriented, simple, closed, piecewise smooth path, such that w is inside
γ and γ ∼G 0.
f (w + t (z − w))
Z
g (t ) := dz .
γ z −w
Show that g 0 = 0. (Hint: Use Theorem A.9 (Leibniz’s rule) and then find an
∂f
antiderivative for ∂ t (w + t (z − w)).)
Cauchy’s Theorem and Integral Formula (Theorems 4.18 and 4.27), which we now
have at our fingertips, are not just beautiful results but also incredibly practical. In a
quite concrete sense, the rest of this book will reap the fruits that these two theorems
provide us with. This chapter starts with a few highlights.
We now derive formulas for f 0 and f 00 which resemble Cauchy’s Integral Formula
(Theorem 4.27).
1 f (z )
Z
00
f (w) = dz .
πi γ (z − w)3
Proof. The idea of our proof is very similar to that of Cauchy’s Integral Formula
(Theorems 4.24 and 4.27). We will study the following difference quotient, which
98 co n s e qu e n c e s o f c au c h y’s t h e o re m
f (w + ∆w) − f (w) f (z ) f (z )
1 1 1
Z Z
= dz − dz
∆w ∆w 2π i γ z − (w + ∆w) 2π i γ z − w
1 f (z )
Z
= dz .
2π i γ (z − w − ∆w)(z − w)
Theorem 5.1 will follow if we can show that the following expression gets arbitrarily
small as ∆w → 0:
f (w + ∆w) − f (w) 1 f (z )
Z
− dz
∆w 2π i γ (z − w)2
f (z ) f (z )
Z
1
= − dz
2π i γ (z − w − ∆w)(z − w) (z − w)2
∆w f (z )
Z
= dz . (5.1)
2π i γ (z − w − ∆w)(z − w)2
This can be made arbitrarily small if we can show that the integral on the right-hand
side stays bounded as ∆w → 0. In fact, by Proposition 4.6(d), it suffices to show that
the integrand stays bounded as ∆w → 0 (because γ and hence length(γ ) are fixed).
Let M := max z ∈γ | f (z )| (whose existence is guaranteed by Theorem A.1).
Choose δ > 0 such that D[w, δ ] ∩ γ = ∅; that is, |z − w| ≥ δ for all z on γ .
By the reverse triangle inequality (Corollary 1.7(b)), for all z ∈ γ ,
f (z ) | f (z )|
M
≤ ≤ ,
(z − w − ∆w)(z − w)2 (|z − w| − |∆w|)|z − w|2 (δ − |∆w|)δ 2
which certainly stays bounded as ∆w → 0. This proves (5.1) and thus the Cauchy
Integral Formula for f 0 .
The proof of the formula for f 00 is very similar and will be left to Exercise 5.2.
Theorem 5.1 suggests that there are similar formulas for the higher derivatives
of f . This is in fact true, and theoretically we could obtain them one by one with
the methods of the proof of Theorem 5.1. However, once we start studying power
series for holomorphic functions, we will obtain such a result much more easily;
so we save the derivation of integral formulas for higher derivatives of f for later
(Corollary 8.11).
va r i at i o n s o f a t h e m e 99
Theorem 5.1 has several important consequences. For starters, it can be used to
compute certain integrals.
Example 5.2.
sin(z ) d
Z
d z = 2π i sin(z ) = 2π i cos(0) = 2π i .
z 2 dz
C [0,1] z =0
γ2
0 1
γ1
dz
Z
,
C [0,2] z 2 (z
− 1)
we could employ a partial fractions expansion similar to the one in Example 4.23,
or moving the integration path similar to the one in Exercise 4.29. To exhibit an
alternative, we split up the integration path as illustrated in Figure 5.1: we introduce
an additional path that separates 0 and 1. If we integrate on these two new closed
paths (γ1 and γ2 ) counterclockwise, the two contributions along the new path will
cancel each other. The effect is that we transformed an integral for which two
singularities were inside the integration path into a sum of two integrals, each of
which has only one singularity inside the integration path; these new integrals we
100 co n s e qu e n c e s o f c au c h y’s t h e o re m
Example 5.4.
cos(z ) d2
Z
d z = πi cos(z ) = π i (− cos(0)) = −π i .
3 2
C [0,1] z dz
z =0
Theorem 5.1 has another powerful consequence: just from knowing that f is
holomorphic in G , we know of the existence of f 00 , that is, f 0 is also holomorphic in
G . Repeating this argument for f 0 , then for f 00 , f 000 , etc., shows that all derivatives
f (n) exist and are holomorphic. We can translate this into the language of partial
derivatives, since the Cauchy–Riemann equations (Theorem 2.13) show that any
sequence of n partial differentiations of f results in a constant times f (n) .
So we have the following statement, which has no analogue whatsoever in the
reals (see, e.g., Exercise 5.6).
Theorem 4.15 gave us an antiderivative for a function that has zero integrals over
closed paths in a given region. Now that we have Corollary 5.5, meditating just a
bit more over Theorem 4.15 gives a converse of sorts to Corollary 4.20.
Just like there are several variations of Theorem 4.15, we have variations of
Corollary 5.6. For example, by Corollary 4.16, we can replace the condition for all
piecewise smooth closed paths γ ⊂ G in the statement of Corollary 5.6 by the condition
for all closed polygonal paths γ ⊂ G (which, in fact, gives a stronger version of this
result).
A special case of Theorem 4.15 applies to regions in which every closed path is
contractible.
Example 5.7. Any disk D[a, r ] is simply connected, as is C \ R≤0 . (You should
draw a few closed paths in C\R≤0 to convince yourself that they are all contractible.)
The region C \ {0} is not simply connected as, e.g., the unit circle is not (C \ {0})-
contractible.
R
Corollary 5.9. If f is holomorphic in a simply-connected region G then γ
f is
independent of the piecewise smooth path γ ⊂ G between γ (a) and γ (b ).
When an integral depends only on the endpoints of the path, the integral is
called path independent. Example 4.1 shows that this situation is quite special; it
also says that the function z 2 does not have an antiderivative in, for example, the
region {z ∈ C : |z | < 2}. (Actually, the function z 2 does not have an antiderivative
in any nonempty region —see Exercise 5.7.)
1
2 |ad | |z |d ≤ | p(z )| ≤ 2 |ad | |z |d
Proof. Since p(z ) has degree d , its leading coefficient ad is not zero, and we can
factor out ad z d :
| p(z )| = ad z d + ad −1 z d −1 + ad −2 z d −2 + · · · + a1 z + a0
d ad −1 ad −2 a1 a0
= |ad | |z | 1 + + + ··· + + .
ad z ad z 2 ad z d −1 ad z d
Then the sum inside the last factor has limit 1 as z → ∞ (by Exercise 3.12), and so
its modulus is between 12 and 2 as long as |z | is large enough.
which had a flaw —later, he provided three rigorous proofs), although its statement had been assumed to
ta k i n g c au c h y’s f o r m u l a s to t h e l i m i t 103
Proof. Suppose (by way of contradiction) that p does not have any roots, that is,
p(z ) 6= 0 for all z ∈ C. Then p(z
1
) is entire, and so Cauchy’s Integral Formula
(Theorem 4.24) gives
1
1 1
Z
p(z )
= dz ,
p(0) 2π i C [0,R] z
for any R > 0. Let d be the degree of p(z ) and ad its leading coefficient. Propositions
4.6(d) and 5.10 allow us to estimate, for sufficiently large R,
Z
1 1 d z 1 1 2
= ≤ max 2π R ≤ .
2π C [0,R] z p(z ) 2π z ∈C [0,R] z p(z )
p(0) |ad |R d
The left-hand side is independent of R, while the right-hand side can be made
1
arbitrarily small (by choosing R sufficiently large), and so we conclude that p(0) = 0,
which is impossible.
Theorem 5.11 implies that any polynomial p can be factored into linear terms
of the form z − a where a is a root of p, as we can apply the corollary, after getting a
p(z )
root a, to z −a (which is again a polynomial by the division algorithm), etc. (see also
Exercise 5.11).
A compact reformulation of the Fundamental Theorem of Algebra (Theo-
rem 5.11) is to say that C is algebraically closed. In contrast, R is not algebraically
closed.
be correct long before Gauß’s time. It is amusing that such an important algebraic result can be proved
purely analytically. There are proofs of the Fundamental Theorem of Algebra that do not use complex
analysis. On the other hand, all proofs use some analysis (such as the Intermediate Value Theorem). The
Fundamental Theorem of Algebra refers to algebra in the sense that it existed in 1799, not to modern
algebra. Thus one might say that the Fundamental Theorem of Algebra is neither fundamental to algebra
nor even a theorem of algebra. The proof we give here is due to Anton R. Schep and appeared in the
American Mathematical Monthly (January 2009).
104 co n s e qu e n c e s o f c au c h y’s t h e o re m
f (z ) f (z )
1 Z 1
0
f (w) = dz ≤ max 2π R
2π i C [w,R] (z − w)2 2π z ∈C [w,R] (z − w)2
max z ∈C [w,R] | f (z )| M
= ≤ .
R R
The right-hand side can be made arbitrarily small, as we are allowed to choose R
as large as we want. This implies that f 0 = 0, and hence, by Theorem 2.17, f is
constant.
Second proof of Theorem 5.11 (Fundamental Theorem of Algebra). Suppose (by way
of contradiction), that p does not have any roots, that is, p(z ) 6= 0 for all z ∈ C. Thus
the function f (z ) = p(z1
) is entire. But f → 0 as |z | → ∞, by Proposition 5.10;
consequently, by Exercise 5.10, f is bounded. Now we apply Corollary 5.13 to
deduce that f is constant. Hence p is constant, which contradicts our assumptions.
As one more example of the theme of getting results from Cauchy’s Integral
Formulas by taking the limit as a path “goes to infinity,” we compute an improper
integral.
Example 5.14. We will compute the (real) integral
∞
dx
Z
= π.
−∞ x2 + 1
was published earlier by Cauchy; in fact, Gauß may well have known about it before Cauchy.
ta k i n g c au c h y’s f o r m u l a s to t h e l i m i t 105
γR
−R R
dz
Z
= π.
σR z2 + 1
This holds for any R > 1, and so we can take the limit as R → ∞. By Proposi-
tion 4.6(d) and the reverse triangle inequality (Corollary 1.7(b)),
Z
πR
d z 1 1
≤ max 2 π R ≤ max πR =
γ z2 + 1 z ∈γR z + 1
z ∈γR |z |2 − 1 R 2 −1
R
Of course this integral can be evaluated almost as easily using standard formulas
from calculus. However, just slight modifications of this example lead to improper
integrals that are beyond the scope of basic calculus; see Exercises 5.18 and 5.19.
106 co n s e qu e n c e s o f c au c h y’s t h e o re m
Exercises
5.1. Compute the following integrals, where is the boundary of the square with
vertices at ±4 ± 4i , positively oriented:
exp(z 2 ) sin(2z )
Z Z
(a) dz (c) dz
(z − π )
z 3 2
(b) Subtract the desired integral formula for f 00 (w) from your integral for the
difference quotient, and simplify to get the analogue of (5.1).
(c) Find a bound as in the proof of Theorem 5.1 for the integrand, and conclude
that the limit of the difference quotient is the desired integral formula.
5.3. Integrate the following functions over the circle C [0, 3]:
exp z sin z
(a) Log(z − 4i ) (d) (g)
z3 (z 2 + 12 )2
1 cos z 2
(b) 1
z − 12 (e) (h)
z (z + 4)(z 2 + 1)
1 (f ) i z −3
(c) 2 exp(2z )
z −4 (i)
(z − 1)2 (z − 2)
exp z
Z
5.4. Compute dz where w is any fixed complex number with |w| 6=
C [0,2] (z − w)2
2.
ta k i n g c au c h y’s f o r m u l a s to t h e l i m i t 107
dw
Z
f (z ) :=
[0,1] 1 − wz
(the integration path is from 0 to 1 along the real line). Prove that f is holomorphic
in the unit disk D[0, 1].
5.7. Prove that f (z ) = z 2 does not have an antiderivative in any nonempty region.
5.11. Let p be a polynomial of degree n > 0. Prove that there exist complex numbers
c , z1 , z2 , . . . , zk and positive integers j1 , . . . , jk such that
p(z ) = c (z − z1 ) j1 (z − z2 ) j2 · · · (z − zk ) jk ,
where j1 + · · · + jk = n.
108 co n s e qu e n c e s o f c au c h y’s t h e o re m
5.12. Show that a polynomial of odd degree with real coefficients must have a real
zero. (Hint: Use Exercise 1.24.)
5.14. Suppose f is entire and there exists M > 0 such that | f (z )| ≥ M for all z ∈ C.
Prove that f is constant.
5.15. Suppose f is entire with bounded real part, i.e., writing f (z ) = u(z ) + i v(z ),
there exists M > 0 such that |u(z )| ≤ M for all z ∈ C. Prove that f is constant.
(Hint: Consider the function exp( f (z )).)
5.16. Suppose f is entire and there exist constants a and b such that | f (z )| ≤ a|z |+b
for all z ∈ C. Prove that f is a polynomial of degree at most 1. (Hint: Use
Theorem 5.1 and Exercise 2.29.)
∞
dx
Z
5.18. Compute .
−∞ x4+1
z)
5.19. In this problem f (z ) = exp(i
z 2 +1 and R > 1. Modify our computations in
Example 5.14 as follows.
(a) Show that σ f = πe where σR is again (as in Figure 5.2) the counterclockwise
R
R
semicircle formed by the segment [−R, R] on the real axis, followed by the
circular arc γR of radius R in the upper half plane from R to −R.
(b) Show that |exp(i z )| ≤ 1 for z in the upper half plane, and conclude that
| f (z )| ≤ |z2|2 for sufficiently large |z |.
∞
cos(x )
Z
5.20. Compute dx .
−∞ x4 + 1
5.21. This exercise outlines how to extend some of the results of this chapter to the
Riemann sphere as defined in Section 3.2. Suppose G ⊆ C is a region that contains
0, let f be a continuous function on G , and let γ ⊂ G \ {0} be a piecewise smooth
path in G avoiding the origin, parametrized as γ (t ), a ≤ t ≤ b .
(a) Show that
1 1
Z Z
f (z ) dz = f dz
γ σ z z2
where σ (t ) := 1
a ≤ t ≤ b.
γ (t )
,
Now suppose lim z →0 f 1z z12 = L is finite. Let H := 1z : z ∈ G \ {0} and define
In particular, we can transfer certain properties between these two integrals. For
R R
example, if σ g is path independent, so is γ f . Here is but one application:
(a) Show that γ z n dz is path independent for any integer n 6= −1.
R
Harmonic Functions
The shortest route between two truths in the real domain passes through the complex
domain.
Jacques Hadamard (1865–1963)
We will now spend a short while on certain functions defined on subsets of the
complex plane that are real valued, namely those functions that are harmonic in
some region. The main motivation for studying harmonic functions is that the
partial differential equation they satisfy is very common in the physical sciences.
Their definition briefly showed its face in Chapter 2, but we study them only now in
more detail, since we have more machinery at our disposal. This machinery comes
from complex-valued functions, which are, nevertheless, intimately connected to
harmonic functions.
ux x + u y y = 0 .
u x x + u y y = e x cos(y) − e x cos(y) = 0 .
1 Named after Pierre-Simon Laplace (1749 –1827).
d e f i n i t i o n a n d b a s i c p ro pe rt i e s 111
There are (at least) two reasons why harmonic functions are part of the study of
complex analysis, and they can be found in the next two theorems.
Proof. First, by Corollary 5.5, u and v have continuous second partials. By Theo-
rem 2.13, u and v satisfy the Cauchy –Riemann equations (2.3)
ux = v y and u y = −v x
u x x + u y y = (u x ) x + u y = vy + (−v x ) y = v y x − v x y = 0 .
y x
Note that in the last step we used the fact that v has continuous second partials. The
proof that v satisfies the Laplace equation is practically identical.
Proposition 6.3 gives us an effective way to show that certain functions are
harmonic in G by way of constructing an accompanying holomorphic function
on G .
Example 6.4. Revisiting Example 6.1, we can see that u(x , y) = x y is harmonic in
C also by noticing that
f (z ) = 1
z2 = 1
x2 − y2 + i x y
2 2
Example 6.5. A second reason that the function u(x , y) = e x cos(y) from Exam-
ple 6.2 is harmonic in C is that
Proposition 6.3 practically shouts for a converse. There are, however, functions
that are harmonic in a region G but not the real part (say) of a holomorphic function
in G (Exercise 6.5). We do obtain a converse of Proposition 6.3 if we restrict ourselves
to simply-connected regions.
112 harmonic functions
(Re g ) x = u x x = −u y y = (Im g ) y
and
(Re g ) y = u x y = u y x = − (Im g ) x .
Theorem 2.13 implies that g is holomorphic in G , and so we can use Corollary 5.8
to obtain an antiderivative h of g on G (here is where we use the fact that G is simply
connected). Now we decompose h into its real and imaginary parts as h = a + i b .
Then, again using Theorem 2.13,
g = h 0 = ax + i bx = ax − i a y .
(The second equation follows from the Cauchy –Riemann equations (2.3).) But the
real part of g is u x , so we obtain u x = a x and thus u(x , y) = a(x , y) + c (y) for some
function c that depends only on y. On the other hand, comparing the imaginary
parts of g and h 0 yields −u y = −a y and so u(x , y) = a(x , y) + c (x ) where c depends
only on x . Hence c has to be constant, and u(x , y) = a(x , y) + c . But then
f (z ) := h(z ) + c
As a side remark, with hindsight it should not be surprising that the function g
that we first constructed in our proof is the derivative of the sought-after function
d e f i n i t i o n a n d b a s i c p ro pe rt i e s 113
0
f = ux + i vx = ux − i u y .
(The second equation follows from the Cauchy–Riemann equations (2.3).) It is also
worth mentioning that our proof of Theorem 6.6 shows that if u is harmonic in G ,
then u x is the real part of the function g = u x − i u y , which is holomorphic in G
regardless of whether G is simply connected or not.
As our proof of Theorem 6.6 is constructive, we can use it to produce harmonic
conjugates.
Example 6.7. Revisiting Example 6.1 for the second time, we can construct a
harmonic conjugate of u(x , y) = x y along the lines of our proof of Theorem 6.6:
first let
g := u x − i u y = y − i x = −i z
h(z ) = − 2i z 2 = x y − 2i x 2 − y 2
v(x , y) := − 12 x 2 − y 2
Theory.
114 harmonic functions
As you might imagine, Proposition 6.3 and Theorem 6.6 allow for a powerful
interplay between harmonic and holomorphic functions. In that spirit, the following
theorem appears not too surprising. You might appreciate its depth better when
looking back at the simple definition of a harmonic function.
Proof. Suppose u is harmonic in G and z0 ∈ G . We will show that u (n) (z0 ) exists for
all positive integers n. Let r > 0 such that the disk D[z0 , r ] is contained in G . Since
D[z0 , r ] is simply connected, Theorem 6.6 asserts the existence of a holomorphic
function f in D[z0 , r ] such that u = Re f on D[z0 , r ]. By Corollary 5.5, f is
infinitely differentiable on D[z0 , r ], and hence so is its real part u.
This proof is the first in a series of proofs that uses the fact that the property of
being harmonic is local —it is a property at each point of a certain region. Note that
in our proof of Corollary 6.9 we did not construct a function f that is holomorphic
in G ; we only constructed such a function on the disk D[z0 , r ]. This f might very
well differ from one disk to the next.
2π
1
Z
u(w) = u w + r eit dt .
2π 0
Proof. Exercise 6.14 provides R so that D[w, r ] ⊂ D[w, R] ⊂ G . The open disk
D[w, R] is simply connected, so by Theorem 6.6 there is a function f holomorphic
in D[w, R] such that u = Re f on D[w, R]. Now we apply Corollary 4.25 to f :
2π
1
Z
f (w) = f w + r e i t dt .
2π 0
Corollary 4.25 and Theorem 6.10 say that holomorphic and harmonic functions
have the mean-value property. Our next result is an important consequence of this
property to extreme values of a function.
Theorem 6.11. If u is harmonic in the region G , then it does not have a strong
relative maximum or minimum in G .
2π
1
Z
u(w) = u w + r eit dt .
2π 0
Intuitively, this cannot hold, because some of the function values we’re integrating
are smaller than u(w), contradicting the mean-value property. To make this into a
thorough argument, suppose that z0 = w + r e i t0 for 0 ≤ t0 < 2π . Because u(z0 ) <
u(w) and u is continuous, there is a whole interval of parameters [t0 , t1 ] ⊆ [0, 2π ]
such that u(w + r e i t ) < u(w) for t0 ≤ t ≤ t1 . Now we split up the mean-value
116 harmonic functions
integral:
1 2π
Z
u(w) = u w + r eit dt
2π 0
Z t Z t1 Z 2π
1 0
it it it
= u w + r e dt + u w + r e dt + u w + r e dt
2π 0 t0 t1
All the integrands can be bounded by u(w); for the middle integral we get a strict
inequality. Hence
2π
Z t0 t1
1
Z Z
u(w) < u(w) d t + u(w) dt + u(w) d t = u(w) ,
2π 0 t0 t1
a contradiction.
The same argument works if we assume that u has a relative minimum. But
in this case there’s a shortcut argument: if u has a strong relative minimum then
the harmonic function −u has a strong relative maximum, which we just showed
cannot exist.
We finish our excursion about harmonic functions with a preview and its con-
sequences. We say a real valued function u on a region G has a weak relative
maximum at w if there exists a disk D[w, r ] ⊆ G such that all z ∈ D[w, r ] satisfy
u(z ) ≤ u(w). We define weak relative minimum similarly. In Chapter 8 we will
strengthen Theorem 6.11 and Corollary 6.12 to Theorem 8.17 and Corollary 8.20
by replacing strong relative extremum in the hypotheses with weak relative extremum.3
A special but important case of the maximum/minimum principle for harmonic
3 In particular, we will show that one does not have to assume that f is nonzero in a region G to have
sup u(z ) = max u(z ) and inf u(z ) = min u(z ) (6.1)
z ∈G z ∈∂G z ∈G z ∈∂G
where, as usual, ∂G denotes the boundary of G . We’ll exploit this in the next two
corollaries.
Proof. By (6.1),
u(z ) ≤ sup u(z ) = max u(z ) = 0
z ∈G z ∈∂G
and
u(z ) ≥ inf u(z ) = min u(z ) = 0 ,
z ∈G z ∈∂G
so u must be zero in G .
Corollary 6.14. Suppose u and v are harmonic in the bounded region G and
continuous on its closure. If u(z ) = v(z ) for all z ∈ ∂G then u(z ) = v(z ) for all
z ∈ G.
1 2π
Z
û e i φ := u e i φ û r e i φ := u e i t P r (φ − t ) d t for r < 1 ,
and
2π 0
4 Named after Johann Peter Gustav Dirichlet (1805 –1859).
118 harmonic functions
Exercises
6.1. Show that all partial derivatives of a harmonic function are harmonic.
6.2. Suppose u(x , y) and v(x , y) are harmonic in G , and c ∈ R. Prove that u(x , y)+
c v(x , y) is also harmonic in G .
6.3. Give an example that shows that the product of two harmonic functions is not
necessarily harmonic.
(b) Prove that u is not the real part of a function that is holomorphic in C \ {0}.
1 1
u + u r r + 2 uφφ = 0 .
r r r
6.12. Suppose u(x , y) is a harmonic polynomial in x and y. Prove that the harmonic
conjugate of u is also a polynomial in x and y.
1− r2
P r (φ ) = ,
1 − 2r cos(φ ) + r 2
where 0 < r < 1. In this exercise, we will prove the Poisson Integral Formula: if u is
harmonic on an open set containing the closed unit disk D[0, 1] then for any r < 1
1 2π
Z
u r e iφ = u e i t P r (φ − t ) d t .
(6.2)
2π 0
for some fixed a ∈ C with |a| < 1, from Exercise 3.9. Show that u( f−a (z )) is
harmonic on an open disk D[0, R1 ] containing D[0, 1].
1 u( f−a (z ))
Z
u(a) = dz . (6.3)
2π i C [0,1] z
(c) Recalling, again from Exercise 3.9, that fa (z ) maps the unit circle to itself,
apply a change of variables to (6.3) to prove
2π 1 − |a|2
1
Z
u(a) = u eit dt .
2π 0 |e i t − a|2
6.14. Suppose G is open and D[a, r ] ⊂ G . Show that there is R > r so that
D[a, r ] ⊂ D[a, R] ⊂ G . (Hint: If G = C just take R = r + 1. Otherwise choose
some w ∈ C \ G , let M = |w − a|, and let K = D[a, M ] \ G . Show that K is
nonempty, closed and bounded, and apply Theorem A.1 to find a point z0 ∈ K that
minimizes f (z ) = |z − a| on K . Show that R = |z0 − a| works.)
Chapter 7
Power Series
It is a pain to think about convergence but sometimes you really have to.
Sinai Robins
Looking back to what machinery we have established so far for integrating complex
functions, there are several useful theorems we developed in Chapters 4 and 5. But
there are some simple-looking integrals, such as
exp(z )
Z
dz , (7.1)
C [2,3] sin(z )
that we cannot compute with this machinery. The problems, naturally, comes from
0 π
the singularities at 0 and π inside the integration path, which in turn stem from the
roots of the sine function. We might try to simplify this problem a bit by writing the
integral as the sum of integrals over the two “D” shaped paths shown in Figure 5.1
122 p owe r s e r i e s
(the integrals along the common straight line segments cancel). Furthermore, by
Cauchy’s Theorem 4.18, we may replace these integrals with integrals over small
circles around 0 and π . This transforms (7.1) into a sum of two integrals, which we
are no closer to being able to compute; however, we have localized the problem, in
the sense that we now “only” have to compute integrals around one of the singularities
of our integrand.
This motivates developing techniques to approximate complex functions locally,
in analogy with the development of Taylor series in calculus. It is clear that we need
to go further here, as we’d like to have such approximations near a singularity of a
function. At any rate, to get any of this started, we need to talk about sequences and
series of complex numbers and functions, and this chapter develops them.
As in the real case,1 a (complex) sequence is a function from the positive (sometimes
the nonnegative) integers to the complex numbers. Its values are usually written as
an (as opposed to a(n)) and we commonly denote the sequence by (an )∞ n=1 , (an )n≥1 ,
or simply (an ). Considering such a sequence as a function of n, the notion of
convergence is merely a repeat of the definition we gave in Section 3.2, adjusted to
the fact that n is an integer.
Definition. Suppose (an ) is a sequence and L ∈ C such that for all ε > 0 there is an
integer N such that for all n ≥ N , we have |an − L| < ε . Then the sequence (an ) is
convergent and L is its limit; in symbols we write
lim a = L.
n→∞ n
To prove that a sequence (an ) is divergent, we have to show the negation of the
statement that defines convergence, that is: given any L ∈ C, there exists ε > 0 such
that, given any integer N , there exists an integer n such that |an − L| ≥ ε . (If you
have not negated many mathematical statements, this is worth meditating about.)
1
|an − L| = |1 + L| ≥ 1 > .
2
If Re(L) < 0, then for any N , choose n ≥ N such that an = 1. (This is always
possible since a4k = i 4k = 1 for any k > 0.) Then
1
|an − L| = |1 − L| > 1 > .
2
The following limit laws are the cousins of the identities in Propositions 2.4
and 2.6, with one little twist.
Proposition 7.3. Let (an ) and (bn ) be convergent sequences and c ∈ C. Then
There are many equivalent ways of formulating the completeness property for
the reals. Here is what we’ll go by:
This axiom (or one of its many equivalent statements) gives arguably the most
important property of the real number system; namely, that we can, in many cases,
determine that a given sequence converges without knowing the value of the limit. In
this sense we can use the sequence to define a real number.
1 1 1
an := 1 + + + ··· + .
2 6 n!
This sequence is increasing (by definition) and each an ≤ 3 by Exercise 7.9. By the
Monotone Sequence Property, (an ) converges, which allows us to define one of the
most famous numbers in all of mathematics,
e := 1 + lim an .
n→∞
Example 7.5. Fix 0 ≤ r < 1. We claim that limn→∞ r n = 0: First, the sequence
(an = r n ) converges because it is decreasing and bounded below by 0. Let L :=
limn→∞ r n . By Proposition 7.3,
We remark that the Monotone Sequence Property implies the Least Upper Bound
Property: every nonempty set of real numbers with an upper bound has a least upper
bound. The Least Upper Bound Property, in turn, implies the following theorem,
which is often listed as a separate axiom.2
2 Both the Archimedean Property and the Least Upper Bound Property can be used in (different)
axiomatic developments of R.
series 125
For a proof see Exercise 7.10. Theorem 7.6 essentially says that infinity is not part
of the real numbers. Note that we already used Theorem 7.6 in Example 7.1. The
Archimedean Property underlies the construction of an infinite decimal expansion
for any real number, while the Monotone Sequence Property shows that any such
infinite decimal expansion actually converges to a real number.
We close this discussion of limits with a pair of standard limits. The first of these
can be established by calculus methods (such as L’Hôspital’s rule (Theorem A.11),
by treating n as the variable); both of them can be proved by more elementary
considerations. Either way, we leave the proof of the following to Exercise 7.11.
Proposition 7.7. (a) Exponentials beat polynomials: for any polynomial p(n) (with
complex coefficients) and any c ∈ C with |c | > 1,
p(n)
lim = 0.
n→∞ cn
cn
lim = 0.
n→∞ n!
7.2 Series
Definition. A series is a sequence (an ) whose members are of the form an = nk=1 bk
P
(or an = k=0 bk ); we call (bk ) the sequence of terms of the series. The an =
Pn
k=1 bk (or an =
Pn Pn
k=0 bk ) are the partial sums of the series.
bce).
126 p owe r s e r i e s
To prove that a series converges we use the definition of limit of a sequence: for any
ε > 0 we have to find an N such that for all n ≥ N ,
X n
bk − L < ε .
k=1
∞
In the case of a convergent series, we usually write its limit as L = bk or L =
X
X k=1
bk .
k≥1
Example 7.8. Fix z ∈ C with |z | < 1. We claim that the geometric series zk
P
k≥1
converges with limit
X k z
z = .
k≥1 1−z
In this case, we can compute the partial sums explicitly:
n
z − z n+1
zk = z + z2 + ··· + zn =
X
,
k=1 1−z
Example 7.9. Another series whose limit we can compute by manipulating the
partial sums is
n
1 1 1
=
X X
lim −
k≥1 k2 + k n→∞
k=1 k k +1
1 1 1 1 1 1 1
= lim 1 − + − + − + · · · + −
n→∞ 2 2 3 3 4 n n +1
1
= lim 1 − = 1.
n→∞ n +1
A series where most of the terms cancel like this is called telescoping.
Most of the time we can use the completeness property to check convergence of
a series, and it is fortunate that the Monotone Sequence Property has a convenient
translation into the language of series of real numbers. The partial sums of a series
series 127
form a nondecreasing sequence if the terms of the series are nonnegative, and this
observation immediately yields the following:
X
Corollary 7.10. If bk ∈ R≥0 then bk converges if and only if the partial sums
k≥1
are bounded.
Example 7.11. With this new terminology, we can revisit Example 7.4: Let bk = 1
k! .
In Example 7.4 we showed that the partial sums
n n
1
bk =
X X
k=1 k=1 k!
X1
are bounded, and = e − 1.
k≥1 k!
The contrapositive of this proposition is often used, sometimes called the Test
for Divergence:
A common mistake is to try to use the converse of Proposition 7.13, but the
converse is false:
Example 7.16. The harmonic series k≥1 k1 diverges (even though the terms go to
P
1 1 1 1 1
L = 1+ + + + + + ···
2 3 4 5 6
1 1 1 1 1 1
> + + + + + + ···
2 2 4 4 6 6
1 1
= 1 + + + ···
2 3
= L,
a contradiction.
f (x ) f (x )
f (1) f (1)
f (2) f (2)
f (3) f (4) f (5) f (3) f (4)
1 x 1 x
The Integral Test literally comes with a proof by picture —see Figure 7.2: the
integral of f on the interval [k, k + 1] is bounded between f (k) and f (k + 1).
Adding the pieces gives the inequalities above for the nth partial sum versus the
integrals from 1 to n and from 1 to n + 1, and the inequality persists in the limit.
R∞
Proof. Suppose 1 f (t ) dt = ∞. Then the first inequality in Proposition 7.17
implies that the partial sums nk=1 f (k) are unbounded, and so Corollary 7.10 says
P
Example 7.19. The series k≥1 k1p converges for p > 1 and diverges for p < 1 (and
P
By now you might be amused that we have collected several results on series
whose terms are nonnegative real numbers. One reason is that such series are a bit
easier to handle, another one is that there is a notion of convergence special to series
that relates any series to one with only nonnegative terms:
X X
Definition. The series bk converges absolutely if |bk | converges.
k≥1 k≥1
This seems like an obvious statement, but its proof is, nevertheless, nontrivial.
130 p owe r s e r i e s
P
Proof. Suppose k≥1 |bk | converges. We first consider the case that each bk is real.
Let
b if b ≥ 0, b if bk < 0,
bk+ := k k
and bk− := k
0 otherwise 0 otherwise.
Then 0 ≤ bk+ ≤ |bk | and 0 ≤ −bk− ≤ |bk | for all k ≥ 1, and so by Corollary 7.12,
both
X + X −
bk and − bk
k≥1 k≥1
bk = bk+ + bk− .
X X X
k≥1 k≥1 k≥1
bk = ck + i
X X X
dk .
k≥1 k≥1 k≥1
X 1
ζ (z ) :=
z
k≥1 k
the Riemann hypothesis. It turns out that ζ (z ) can be extended to a function that is holomorphic on C\{1},
and the Riemann hypothesis asserts that the roots of this extended function in the strip 0 < Re(z ) < 1 are
all on the critical line Re(z ) = 12 .
s e qu e n c e s a n d s e r i e s o f f u n c t i o n s 131
Another common mistake is to try to use the converse of Theorem 7.20, which
is also false:
P (−1)k+1
Example 7.22. The alternating harmonic series k≥1 k converges:
X (−1)k+1 1 1 1 1 1
= 1− + − + − + ···
k≥1 k 2 3 4 5 6
1 1 1 1 1
= 1− + − + − + ···
2 3 4 5 6
(There is a small technical detail to be checked here, since we are effectively ignoring
half the partial sums of the original series; see Exercise 7.16.) Since
1 1 1 1 1
− = ≤ ≤ 2,
2k − 1 2k 2k(2k − 1) (2k − 1)2 k
P (−1)k+1
k≥1 kconverges by Corollary 7.12 and Example 7.19.
However, according to Example 7.16, k≥1 (−1)k does not converge absolutely.
P k+1
lim f (z ) = f (z ) .
n→∞ n
| fn (z ) − f (z )| < ε .
∀ ε > 0 ∀ z ∈ G ∃ N ∀ n ≥ N | fn (z ) − f (z )| < ε ,
∀ ε > 0 ∃ N ∀ z ∈ G ∀ n ≥ N | fn (z ) − f (z )| < ε .
No big deal — we only exchanged two of the quantifiers. In the first case, N may
well depend on z , in the second case we need to find an N that works for all z ∈ G .
And this can make all the difference . . .
| fn (z ) − f (z )| = |z n − 0| = |z |n ≤ |z |N < ε .
(You ought to check carefully that all of our inequalities work the way we claim they
do.)
1 N
| fn (z ) − f (z )| = |z |n ≤ |z |N < < ε.
2
The differences between Example 7.23 and Example 7.24 are subtle, and we
suggest you meditate over them for a while with a good cup of coffee. You might
already suspect that the function sequence in Example 7.23 does not converge
uniformly, as we will see in a moment.
The first application illustrating the difference between pointwise and uniform
convergence says, in essence, that if we have a sequence of functions ( fn ) that
s e qu e n c e s a n d s e r i e s o f f u n c t i o n s 133
Now we make use of the continuity of the fn ’s. This means that given (the same)
ε > 0, there is a δ > 0 such that whenever |z − z0 | < δ ,
ε
| fn (z ) − fn (z0 )| < .
3
All that’s left is putting those two inequalities together: by the triangle inequality
(Corollary 1.7(c)),
Proposition 7.25 can sometimes give a hint that a function sequence does not
converge uniformly.
Example 7.26. We modify Example 7.23 and consider the real function sequence
fn : [0, 1] → R given by fn (x ) = x n . It converges pointwise to f : [0, 1] → R given
by
0 if 0 ≤ x < 1 ,
f (x ) =
1 if x = 1 .
As this limiting function is not continuous, the above convergence cannot be uni-
form. This gives a strong indication that the convergence in Example 7.23 is not
134 p owe r s e r i e s
uniform either, though this needs a separate proof, as the domain of the functions
in Example 7.23 is the unit disk (Exercise 7.20(b)).
Now that we have established Proposition 7.25 about continuity, we can ask
about integration of sequences or series of functions. The next theorem should
come as no surprise; however, its consequences (which we will see shortly) are wide
ranging.
Proposition 7.27. Suppose fn : G → C is continuous, for n ≥ 1, ( fn ) converges
uniformly to f : G → C, and γ ⊆ G is a piecewise smooth path. Then
Z Z
lim fn = f .
n→∞ γ γ
Proof. We may assume that γ is not just a point, in which case the proposition holds
trivially. Given ε > 0, there exists N such that for all z ∈ G and all n ≥ N ,
ε
| fn (z ) − f (z )| < .
length(γ )
All of these notions for sequences of functions hold verbatim for series of func-
tions. For example, if k≥1 fk (z ) converges uniformly on G and γ ⊆ G is a piecewise
P
In some sense, the above identity is the reason we care about uniform convergence.
There are several criteria for uniform convergence; see, e.g., Exercises 7.19 and
7.20, and the following result, sometimes called the Weierstraß M -test.
Proposition 7.28. Suppose fk : G → C for k ≥ 1, and | fk (z )| ≤ M k for all z ∈ G ,
where k≥1 M k converges. Then k≥1 | fk | and k≥1 fk converge uniformly in G .
P P P
P
(We say the series k≥1 fk converges absolutely and uniformly.)
Proof. For each fixed z , the series k≥1 fk (z ) converges absolutely by Corollary 7.12.
P
To show that the convergence is uniform, let ε > 0. Then there exists N such that
re g i o n s o f co n ve rg e n c e 135
for all n ≥ N ,
n
Mk = Mk < ε .
X X X
Mk −
k≥1 k=1 k>n
which proves uniform convergence. Replace fk with | fk | in this argument to see that
P
k≥1 | fk | also converges uniformly.
Example 7.29. We revisit Example 7.8 and consider the geometric series k≥1 z k
P
as a series of functions in z . We know from Example 7.8 that this function series
converges pointwise for |z | < 1:
z
zk =
X
.
k≥1 1−z
and k≥1 r k converges by Example 7.8. Thus, Proposition 7.28 says that k≥1 z k
P P
need to shrink the domain to |z | ≤ r for some (arbitrary but fixed) r < 1.
For the remainder of this chapter (indeed, this book) we concentrate on some very
special series of functions.
ck (z − z0 )k
X
k≥0
where c0 , c1 , c2 , . . . ∈ C.
136 p owe r s e r i e s
1
zk =
X
.
k≥0 1−z
So here z0 = 0 and ck = 1 for all k ≥ 0. We note that, as in Example 7.29, this power
series converges absolutely for |z | < 1 and uniformly for |z | ≤ r , for any fixed r < 1.
Finally, as in Example 7.15, the geometric series k≥0 z k diverges for |z | ≥ 1.
P
A general power series has a very similar convergence behavior which, in fact,
comes from comparing it to a geometric series.
In preparation for the proof of Theorem 7.31, we start with the following
observation.
|z − z0 | k X |z − z0 | k
X
k
ck (z − z0 ) = |ck | r k
X
≤ M .
k≥0 k≥0 r k≥0 r
The sum on the right-hand side is a convergent geometric sequence, since |z −z0 | < r ,
and so k≥0 ck (z − z0 )k converges absolutely by Corollary 7.12.
P
|z − z0 | ≤ r , for any r (and so this gives the R = ∞ case of Theorem 7.31): choose
x ∈ S with x > r ,then Proposition 7.32 says that k≥0 ck r k converges absolutely.
P
|z − z0 | < r ≤ R .
R ≤ r < |z − z0 | .
But k≥0 ck r k diverges, so (by the contrapositive of Theorem 7.20) k≥0 |ck | r k
P P
diverges, and so (by the contrapositive of Proposition 7.32) k≥0 ck (z −z0 )k diverges,
P
Æ
∞ if limk→∞ k
|ck | = 0 ,
R= 1p
otherwise.
limk→∞ k |ck |
Proof. We treat the case that R is finite and leave the case R = ∞ to Exercise 7.31.
Given R as in the statement of the corollary, it suffices (by Theorem 7.31) to
show that k≥0 ck (z − z0 )k converges for |z − z0 | < R and diverges for |z − z0 | > R.
P
Æ
Suppose r := |z − z0 | < R. Since limk→∞ k |ck | = R1 and R+r2
> R1 , there exists
Æ
N such that k |ck | < R+r
2
for k ≥ N . For those k we then have
k 2r k
Æ
k k
ck (z − z0 ) = |ck ||z − z0 | = k |ck | r <
R+r
k 2r k
Æ
k
ck (z − z0 ) = k |ck | r > > 1,
R+r
You might remember this corollary from calculus, where it goes by the name
root test. Its twin sister, the ratio test, is the subject of Exercise 7.32.
X k
Example 7.34. For the power series k z we compute
k≥0
Æ p
k 1 ln(k)
lim k
|ck | = lim k = lim e k ln(k) = e limk→∞ k = e0 = 1,
k→∞ k→∞ k→∞
and Corollary 7.33 gives the radius of convergence 1. (Alternatively, we can argue
by differentiating the geometric series.)
re g i o n s o f co n ve rg e n c e 139
X1 k
Example 7.35. Consider the power series z . Since
k≥0 k!
c k! 1
= lim = lim = 0,
k+1
lim
k→∞ ck k→∞ (k + 1)! k→∞ k + 1
1
z k is
P
the ratio test (Exercise 7.32) implies that the radius of convergence of k≥0 k!
∞, and so the power series converges absolutely in C.5
Corollary 7.36. Suppose the power series k≥0 ck (z −z0 )k has radius of convergence
P
R > 0. Then the series represents a function that is continuous on D[z0 , R].
Proof. Given any point w ∈ D[z0 , R], we can find r < R such that w ∈ D[z0 , r ]
|w−z0 |+R
(e.g., if R 6= ∞ then r = 2 will do the trick). Theorem 7.31 says that
k≥0 ck (z − z0 ) converges uniformly in D[z0 , r ], and so Proposition 7.25 implies
P k
Corollary 7.37. Suppose the power series k≥0 ck (z −z0 )k has radius of convergence
P
Z X
In particular, if γ is closed then ck (z − z0 )k d z = 0 .
γ k≥0
Exercises
7.1. For each of the sequences, prove convergence or divergence. If the sequence
converges, find the limit.
πi n
(a) an = e 4 (c) an = cos(n) (e) an = sin( n1 )
(−1)n 2
(b) an = n (d) an = 2 − 2ni 2n+1
X 1
7.3. Compute .
n≥1 n2 + 2n
7.6. Show that a convergent sequence is bounded, i.e.: if limn→∞ an exists, then
there is an M such that |an | ≤ M for all n ≥ 1.
7.9.
1 3
(a) Show that k! ≤ k(k+1) for any positive integer k.
(b) Conclude with Example 7.9 that for any positive integer n,
1 1 1
1+ + + ··· + ≤ 3.
2 6 n!
7.10. Derive the Archimedean Property from the Monotone Sequence Property.
7.12. Prove that (cn ) converges if and only if (Re cn ) and (Im cn ) converge.
7.16.
(a) Suppose that the sequence (cn ) converges to zero. Show that n≥0 cn converges
P
if and only if k≥0 (c2k +c2k+1 ) converges. Moreover, if the two series converge
P
(b) Give an example where (cn ) does not converge to 0 and one of the series in
(a) diverges while the other converges.
bk = 0 .
X X
7.17. Prove that the series bk converges if and only if lim
n→∞
k≥1 k≥n
142 p owe r s e r i e s
7.18.
X k
(a) Show that diverges.
k≥1 k2 +1
X k
(b) Show that converges.
k≥1 k3 + 1
7.19.
(a) Suppose G ⊆ C and fn : G → C for n ≥ 1. Suppose (an ) is a sequence in R
with limn→∞ an = 0 and, for each n ≥ 1,
| fn (z )| ≤ an for all z ∈ G .
7.20.
(a) Suppose G ⊆ C, fn : G → C for n ≥ 1, and ( fn ) converges uniformly to the
zero function in G . Show that, if (zn ) is any sequence in G , then
lim f (z ) = 0.
n→∞ n n
(b) Apply (a) to the function sequence given in Example 7.23, together with the
1
sequence (zn = e − n ), to prove that the convergence given in Example 7.23 is
not uniform.
re g i o n s o f co n ve rg e n c e 143
7.23. Let fn (x ) = n 2 x e −n x .
(a) Show that limn→∞ fn (x ) = 0 for all x ≥ 0. (Hint: Treat x = 0 as a special case;
for x > 0 you can use L’Hôspital’s rule (Theorem A.11) — but remember
that n is the variable, not x .)
R1
(b) Find limn→∞ 0 fn (x ) d x . (Hint: The answer is not 0.)
(c) Why doesn’t your answer to part (b) violate Proposition 7.27?
7.24. The product of two power series centered at z0 is another power series centered
at z0 . Derive a formula for its coefficients in terms of the coefficients of the original
two power series.
7.25. Find a power series (and determine its radius of convergence) for the following
functions.
1 1 z2
(a) (b) (c)
1 + 4z z
3− 2 (4 − z )2
7.26. Find a power series representation about the origin of each of the following
functions.
(a) cos z (b) cos(z 2 ) (c) z 2 sin z (d) (sin z )2
144 p owe r s e r i e s
7.27.
(a) Suppose that the sequence (ck ) is bounded. Show that the radius of conver-
gence of k≥0 ck (z − z0 )k is at least 1.
P
(b) Suppose that the sequence (ck ) does not converge to 0. Show that the radius
of convergence of k≥0 ck (z − z0 )k is at most 1.
P
7.28. Find the power series centered at 1 and compute its radius of convergence for
each of the following functions:
(a) f (z ) = 1
z (b) f (z ) = Log(z )
7.29. Use the Weierstraß M -test to show that each of the following series converges
uniformly on the given domain:
X zk X zk
(a) on D[0, 1] (c) on D[0, r ] where 0 ≤
k≥0 z + 1
2 k
k≥1 k
X 1 r <1
(b) k
on {z ∈ C : |z | ≥ 2}
k≥0 z
X z k
7.30. Fix z ∈ C and r > |z |. Prove that converges uniformly in the
k≥0 w
variable w for |w| ≥ r .
c
7.32. Prove that, if limk→∞ k+1
ck exists then the radius of convergence of the series
(z ) k equals
P
c
k≥0 k − z 0
c
c = 0,
∞ if limk→∞ k+1
R=
ck
k
lim otherwise.
k→∞ c
k+1
7.33. Find the radius of convergence for each of the following series.
X k2 k
(a) a z where a ∈ C
k≥0
k n z k where n ∈ Z
X
(b)
k≥0
re g i o n s o f co n ve rg e n c e 145
z k!
X
(c)
k≥0
X (−1)k
(d) z k(k+1)
k≥1 k
X zk
(e)
k≥1 kk
cos(k) z k
X
(f )
k≥0
4k (z − 2)k
X
(g)
k≥0
dw
Z
f (z ) := .
[0,1] 1 − wz
t
7.36. Define the functions fn : R≥0 → R via fn (t ) = 1
n e − n , for n ≥ 1.
(a) Show that the maximum of fn (t ) is n1 .
Now that we have developed some machinery for power series, we are ready to
connect them to the earlier chapters. Our first big goal in this chapter is to prove
that every power series represents a holomorphic function in its disk of convergence
and, vice versa, that every holomorphic function can be locally represented by a
power series.
Our second goal returns to our motivation to start Chapter 7: we’d still like to
compute (7.1),
exp(z )
Z
dz .
C [2,3] sin(z )
)
Looking back at Figure 7.1 suggests that we expand the function exp(z sin(z ) locally into
something like power series centered at 0 and π , and with any luck we can then use
)
Proposition 7.27 to integrate. Of course, exp(z
sin(z ) has singularities at 0 and π , so there
is no hope of computing power series at these points. We will develop an analogue
of a power series centered at a singularity.
Here is the first (and easier) half of the first goal we just announced.
Proof. Corollary 7.36 says that f is continuous in D[z0 , R]. Given any closed
piecewise smooth path γ ⊂ D[z0 , R], Corollary 7.37 gives γ f = 0. Now apply
R
A special case of this result concerns power series with infinite radius of conver-
gence: those represent entire functions.
Now that we know that power series are differentiable in their regions of con-
vergence, we can ask how to find their derivatives. The next result says that we can
simply differentiate the series term by term.
Then
f 0 (z ) = k ck (z − z0 )k−1 for any z ∈ D[z0 , R] ,
X
k≥1
1 f (w) 1 1
Z Z
f 0 (z ) = = c (w − z0 )k dw
X
dw
2π i γ (w − z )2 2π i γ (w − z )2 k≥0 k
1 (w − z0 )k d
Z
k
= = (w )
X X
ck dw c k − z 0
k≥0 2π i γ (w − z )2 k≥0 dw w=z
k−1
= k ck (z − z0 ) .
X
k≥1
Note that we used Theorem 5.1 again in the penultimate step, but now applied to
the function (z − z0 )k .
The last statement of the theorem is easy to show: the radius of convergence of
f 0 (z ) is at least R (since we have shown that the series for f 0 converges whenever
|z − z0 | < R), and it cannot be larger than R by comparison to the series for f (z ),
since the coefficients for (z −z0 ) f 0 (z ) are larger than the corresponding ones for f (z ).
d X zk X z k−1 X zk
f 0 (z ) = = = = f (z ) .
d z k≥0 k! k≥1 (k − 1)! k≥0 k!
Thus
d f (z ) d
= ( f (z ) exp(−z )) = f 0 (z ) exp(−z ) − f (z ) exp(−z ) = 0 ,
dz exp(z ) dz
f (z )
and so, by Theorem 2.17, exp(z ) is constant. Evaluating at z = 0 gives that this
constant is 1, and so f (z ) = exp(z ).
Example 8.4. We can use the power series expansion for exp(z ) to find power series
for the trigonometric functions. For instance,
1 X (i z )k X (−i z )k
1
sin z = (exp(i z ) − exp(−i z )) = −
2i 2i k≥0 k! k≥0 k!
1 X1 1 X 2(i z )k
= (i z )k − (−1)k (i z )k =
2i k≥0 k! 2i k≥0 odd k!
(i z )2 j +1 2 j 2 j +1 X (−1) j
1 i z
= = = z 2 j +1
X X
i j ≥0 (2 j + 1)! j ≥0 (2 j + 1)! j ≥0 (2 j + 1)!
z3 z5 z7
= z− + − + ··· .
3! 5! 7!
Note that we are allowed to rearrange the terms of the two added sums because the
corresponding series have infinite radii of convergence.
Proof. For starters, f (z0 ) = c0 . Theorem 8.2 gives f 0 (z0 ) = c1 . Applying the same
theorem to f 0 gives
f 00 (z ) = k(k − 1) ck (z − z0 )k−2
X
k≥2
Taylor’s formula shows that the coefficients of any power series converging to f
on some open disk D can be determined from the function f restricted to D. It
follows immediately that the coefficients of a power series are unique:
Corollary 8.6. If k≥0 ck (z − z0 )k and k≥0 dk (z − z0 )k are two power series that
P P
both converge to the same function on an open disk centered at z0 , then ck = dk for
all k ≥ 0.
Example 8.7. We’d like to compute a power series expansion for f (z ) = exp(z )
centered at z0 = π . Since
(k)
(z0 ) = exp(z ) = e π,
f
z =π
We now turn to the second cornerstone result of this section, that a holomorphic
function can be locally represented by a power series.
1 f (w)
Z
f (z ) = ck (z − z0 )k ck =
X
with dw ,
k≥0 2π i γ (w − z0 )k+1
where γ is any positively oriented, simple, closed, piecewise smooth path in D[z0 , R]
for which z0 is inside γ .
150 tay lo r a n d l au re n t s e r i e s
1 g (w)
Z
g (z ) = dw .
2π i C [0,r ] w−z
1
The factor w−z in this integral can be expanded into a geometric series (note that
w ∈ C [0, r ] and so | wz | < 1):
1 1 1 1 X z k
= z =
w−z w 1− w w k≥0 w
1 g (w) 1 1 X z k
Z Z
g (z ) = dw = g (w) dw
2π i C [0,r ] w − z 2π i C [0,r ] w k≥0 w
g (w)
X 1 Z
= dw z k .
k≥0 2 π i C [0,r ] w k+1
f (w)
1
Z
f (z ) = (z − z0 )k .
X
dw
k≥0 2π i C [z0 ,r ] (w − z0 )k+1
The only differences of this right-hand side to the statement of the theorem are the
paths we’re integrating over. However, by Cauchy’s Theorem 4.18,
f (w) f (w)
Z Z
dw = dw .
C [z0 ,r ] (w − z0 ) (w − z0 )k+1
k+1
γ
1 k
f (z ) = = −z 2 = (−1)k z 2k ,
X X
z2 +1 k≥0 k≥0
Corollary 8.9 is yet another example of a result that is plainly false when translated
into R; see Exercise 8.6.
Comparing the coefficients of the power series obtained in Theorem 8.8 with
those in Corollary 8.5, we arrive at the long-promised extension of Theorems 4.27
and 5.1.
f (z )
k! Z
(k)
f (w) = dz
2π i C [w,r ] (z − w)k+1
f (z )
k!
≤ max length(C [w, r ])
2π z ∈C [w,r ] (z − w)k+1
k! M k! M
≤ 2π r = .
2π r k+1 rk
Theorem 8.13. For any region G , the class of all analytic functions in G coincides
with the class of all holomorphic functions in G .
While the terms holomorphic and analytic do not always mean the same thing,
in the study of complex analysis they do and are frequently used interchangeably.
When we proved the Fundamental Theorem of Algebra (Theorem 5.11; see also
Exercise 5.11), we remarked that, if a polynomial p(z ) of degree d > 0 has a zero
at a (that is, p(a) = 0), then p(z ) has z − a as a factor. That is, we can write
p(z ) = (z − a) q(z ) where q(z ) is a polynomial of degree d − 1. We can then ask
whether q(z ) itself has a zero at a and, if so, we can factor out another (z − a).
c l a s s i f i c at i o n o f ze ro s a n d t h e i d e n t i t y p r i n c i p l e 153
p(z ) = (z − a) m g (z )
where m is a positive integer ≤ d and g (z ) is a polynomial that does not have a zero
at a. The integer m is called the multiplicity of the zero a of p(z ). Almost exactly
the same thing happens for holomorphic functions.
(a) f is identically zero on some open disk D centered at a (that is, f (z ) = 0 for
all z ∈ D); or
f (z ) = (z − a) m g (z ) for all z ∈ G .
In this case the zero a is isolated: there is a disk D[a, r ] which contains no
other zero of f .
The integer m in the second case is uniquely determined by f and a and is called
the multiplicity of the zero at a.
Proof. By Theorem 8.8, there exists R > 0 such that we can expand
f (z ) = ck (z − a)k
X
for z ∈ D[a, R] ,
k≥0
(b) there is some positive integer m so that ck = 0 for all k < m but c m 6= 0.
The first case gives f (z ) = 0 for all z ∈ D[a, R]. So now consider the second case.
We note that for z ∈ D[a, R],
ck+m (z − a)k
X
if z ∈ D[a, R] ,
k≥0
g (z ) :=
f (z )
if z ∈ G \ {a} .
(z − a) m
(According to our calculations above, the two definitions give the same value when
z ∈ D[a, R]\{a}.) The function g is holomorphic in D[a, R] by the first definition,
and g is holomorphic in G \ {a} by the second definition. Note that g (a) = c m 6= 0
and, by construction,
f (z ) = (z − a) m g (z ) for all z ∈ G .
Since g (a) 6= 0 there is, by continuity, r > 0 so that g (z ) 6= 0 for all z ∈ D[a, r ], so
D[a, r ] contains no other zero of f . The integer m is unique, since it is defined in
terms of the power series expansion of f at a, which is unique by Corollary 8.6.
Theorem 8.14 gives rise to the following result, which is sometimes called the
identity principle or the uniqueness theorem.
Applying this theorem to the difference of two functions immediately gives the
following variant.
Corollary 8.16. Suppose f and g are holomorphic in a region G and f (ak ) = g (ak )
at a sequence that converges to w ∈ G with ak =
6 w for all k. Then f (z ) = g (z ) for
all z in G .
The identity principle yields the strengthenings of Theorem 6.11 and Corol-
lary 6.12 promised in Chapter 6. We recall that that we say the function u : G → R
has a weak relative maximum w if there exists a disk D[w, r ] ⊆ G such that all
z ∈ D[w, r ] satisfy u(z ) ≤ u(w).
Theorem 8.17 has other important consequences; we give two here, whose proofs
we leave for Exercises 8.12 and 8.13.
Note that Equation (6.1) in Chapter 6 follows from Corollary 8.20 using essen-
tially the same argument as in the proof of Corollary 8.18.
156 tay lo r a n d l au re n t s e r i e s
Proof of Theorem 8.17. Suppose there exist a ∈ G and R > 0 such that | f (a)| ≥
| f (z )| for all z ∈ D[a, R]. We will show that then f is constant.
If f (a) = 0 then f (z ) = 0 for all z ∈ D[a, R], so f is identically zero by
Theorem 8.15.
Now assume f (a) 6= 0, which allows us to define the holomorphic function
f (z )
g : G → C via g (z ) := f (a) . This function satisfies
Also g (a) = 1, so, by continuity of g , we can find r ≤ R such that Re( g (z )) > 0
for z ∈ D[a, r ]. This allows us, in turn, to define the holomorphic function
h : D[a, r ] → C through h(z ) := Log( g (z )), which satisfies
and
Re(h(z )) = Re(Log( g (z ))) = ln(| g (z )|) ≤ ln(1) = 0 .
Exercise 8.35 now implies that h must be identically zero in D[a, r ]. Hence g (z ) =
exp(h(z )) must be equal to exp(0) = 1 for all z ∈ D[a, r ], and so f (z ) = f (a) g (z )
must have the constant value f (a) for all z ∈ D[a, r ]. Corollary 8.16 then implies
that f is constant in G .
1
X 1 1 k X 1 −k
exp = = z ,
z k≥0 k! z k≥0 k!
a “power series” with negative exponents. To make sense of expressions like the
above, we introduce the concept of a double series
ak +
X X X
ak := a−k .
k∈Z k≥0 k≥1
l au re n t s e r i e s 157
Here ak ∈ C are terms indexed by the integers. The double series above converges
if and only if the two series on the right-hand side do. Absolute and uniform
convergence are defined analogously. Equipped with this, we can now introduce the
following central concept.
ck (z − z0 )k .
X
k∈Z
Example 8.21. The series that started this section is the Laurent series of exp( 1z )
centered at 0.
Example 8.22. Any power series is a Laurent series (with ck = 0 for k < 0).
We should pause for a minute and ask for which z a general Laurent series can
possibly converge. By definition
ck (z − z0 )k = ck (z − z0 )k + c−k (z − z0 )−k .
X X X
k∈Z k≥0 k≥1
The first series on the right-hand side is a power series with some radius of conver-
gence R2 , that is, with Theorem 7.31, it converges in {z ∈ C : |z − z0 | < R2 }, and
the convergence is uniform in {z ∈ C : |z − z0 | ≤ r2 }, for any fixed r2 < R2 . For the
second series, we invite you (in Exercise 8.30) to revise our proof of Theorem 7.31
to show that this series converges for
1 1
<
|z − z0 | R1
A := {z ∈ C : R1 < |z − z0 | < R2 }
(assuming this set is not empty, i.e., R1 < R2 ), and the convergence is uniform on
any set of the form
1
Example 8.23. We’d like to compute the start of a Laurent series for sin(z ) centered
at z0 = 0. We start by considering the function g : D[0, π ] → C defined by
1
sin(z ) − 1
if z 6= 0 ,
g (z ) := z
0 if z = 0 .
1 1
sin(z ) − z 1
lim = .
z →0 z 6
1 7 3 31
g (z ) = z+ z + z5 + ···
6 360 15120
and it converges, by Corollary 8.9, for |z | < π . But this gives our sought-after
Laurent series
1 1 7 3 31
= z −1 + z + z + z5 + ···
sin(z ) 6 360 15120
Theorem 8.1 implies that a Laurent series represents a function that is holomor-
phic in its annulus of convergence. The fact that we can conversely represent any
function holomorphic in such an annulus by a Laurent series is the substance of the
next result.
3 This is a (simple) example of analytic continuation: the function g is holomorphic in D[0, π ] and
1
agrees with sin(z )
− 1z in D[0, π ] \ {0}, the domain in which the latter function is holomorphic. When
we said, in the footnote on p. 130, that the Riemann zeta function ζ (z ) = k≥1 k1z can be extended to a
P
function that is holomorphic on C \ {1}, we were also talking about analytic continuation.
l au re n t s e r i e s 159
A := {z ∈ C : R1 < |z − z0 | < R2 } .
1 f (w)
Z
k
f (z ) = ck (z − z0 ) ck =
X
with dw ,
k∈Z 2π i C [z0 ,r ] (w − z0 )k+1
By Cauchy’s Theorem 4.18 we can replace the circle C [z0 , r ] in the formula for
the Laurent coefficients by any path γ ∼ A C [z0 , r ].
γ2
γ1
{z ∈ C : R1 < |z | < R2 } .
Fix R1 < r1 < |z | < r2 < R2 , and let γ be the path in Figure 8.1, where γ1 := C [0, r1 ]
and γ2 := C [0, r2 ]. By Cauchy’s Integral Formula (Theorem 4.27),
For the integral over γ2 we play exactly the same game as in our proof of Theorem 8.8.
1
The factor w−z in this integral can be expanded into a geometric series (note that
w ∈ γ2 and so | wz | < 1)
1 1 1 1 X z k
= z = ,
w−z w 1− w w k≥0 w
g (w) X Z g (w)
1 X z k
Z Z
dw = g (w) dw = k+1
dw z k .
γ2 w−z γ2 w k≥0 w k≥0 γ2 w
1
The integral over γ1 is computed in a similar fashion; now we expand the factor w−z
into the following geometric series (note that w ∈ γ1 and so | wz | < 1)
1 1 1 1 X w k
= − = − ,
w−z z 1 − wz z k≥0 z
g (w)
1 X w k
Z Z X Z
dw = − g (w) dw = − g (w)w dw z −k−1
k
γ1 w−z γ1 z k≥0 z k≥0 γ1
X Z g (w)
= − k+1
dw z k .
k≤−1 γ1 w
g (w) X Z g (w)
Z
1 k
g (z ) = + zk .
X
dw z dw
2π i k≥0 γ2 w k+1 k≤−1 γ1 w k+1
By Cauchy’s Theorem 4.18, we can now change both γ1 and γ2 to C [0, r ], as long
as R1 < r < R2 , which finally gives
g (w)
Z
1 X
g (z ) = dw zk.
2π i k∈Z C [0,r ] w k+1
This theorem, naturally, has several corollaries that have analogues in the world
of Taylor series. Here are two samples:
that both converge, for R1 < |z − z0 | < R2 , to the same function, then ck = dk for
all k ∈ Z.
Finally, we come to the analogue of Corollary 7.37 for Laurent series. We could
revisit its proof, but the statement that would follow is actually the special case
k = −1 of Theorem 8.24, read from right to left:
A := {z ∈ C : R1 < |z − z0 | < R2 } ,
If γ is any simple, closed, piecewise smooth path in A, such that z0 is inside γ , then
Z
f (z ) d z = 2π i c−1 .
γ
This result is profound: it says that we can integrate (at least over closed curves)
by computing Laurent series —in fact, we “only” need to compute one coefficient of a
Laurent series. We will have more to say about this in the next chapter; for now, we
give just one application, which might have been bugging you since the beginning
of Chapter 7.
)
Example 8.28. We will (finally!) compute (7.1), the integral C [2,3] exp(z
R
sin(z ) d z . Our
plan is to split up the integration path C [2, 3] as in Figure 7.1, which gives, say,
To compute the two integrals on the right-hand side, we can use Corollary 8.27, for
)
which we need the Laurent expansions of exp(z
sin(z ) centered at 0 and π .
162 tay lo r a n d l au re n t s e r i e s
exp(z ) 1 1 1 7 3 31
= 1 + z + z 2 + z 3 + · · · z −1 + z + z + z5 + ···
sin(z ) 2 6 6 360 15120
2
= z −1 + 1 + z + · · ·
3
)
and Corollary 8.27 gives C [0,1] exp(z
sin(z ) d z = 2π i .
R
For the integral around π , we use the fact that sin(z ) = sin(π − z ), and so we
1
can compute the Laurent expansion of sin(z ) at π also via Example 8.23:
1 1 1 7
= − = −(z − π )−1 − (z − π ) − (z − π )3 − · · ·
sin(z ) sin(z − π ) 6 360
exp(z ) eπ 1
= e π + e π (z − π ) +(z − π )2 + · · · −(z − π )−1 − (z − π ) − · · ·
sin(z ) 2 6
2
= − e π (z − π )−1 − e π − e π (z − π ) + · · ·
3
)
and now Corollary 8.27 gives C [π,1] exp(zsin(z ) dz = −2π i e . Putting it all together
π
R
exp(z )
Z
dz = 2π i (1 − e π ) .
C [2,3] sin(z )
Exercises
8.1. For each of the following series, determine where the series converges absolutely
and where it converges uniformly:
1 X 1 k
z 2k+1
X
(a) (b)
k≥0 (2k + 1)! z −3
k≥0
8.2. What functions are represented by the series in the previous exercise?
l au re n t s e r i e s 163
8.4. Re-prove Proposition 3.16 using the power series of exp(z ) centered at 0.
8.5. Find the terms through third order and the radius of convergence of the power
series for each of the following functions, centered at z0 . (Do not find the general
form for the coefficients.)
1 1
(c) f (z ) = (1 + z ) 2 , z0 = 0
(a) f (z ) = , z0 = 1
1+z 2
1 (d) f (z ) = exp(z 2 ), z0 = i
(b) f (z ) = , z0 = 0
exp(z ) + 1
8.8. Use the previous exercise and Corollary 8.12 to prove the following: Suppose
( fn ) is a sequence of functions that are holomorphic in a region G and that ( fn )
(k) uniformly to f on G . Then for any k ∈ N, the sequence of kth derivatives
converges
fn converges (pointwise) to f (k) .
8.9. Suppose |ck | ≥ 2k for all k. What can you say about the radius of convergence
of k≥0 ck z k ?
P
4 Incidentally, the same example shows, once more, that Liouville’s theorem (Corollary 5.13) has no
analogue in R.
164 tay lo r a n d l au re n t s e r i e s
8.13. Prove Corollary 8.20: Assume that u is harmonic in a region G and has a
weak local maximum at a ∈ G .
(a) If G is simply connected then apply Theorem 8.17 to exp(u(z ) + i v(z ))),
where v is a harmonic conjugate of u. Conclude that u is constant on G .
(b) If G is not simply connected, then the above argument applies to u on any
disk D[a, R] ⊂ G . Conclude that the partials u x and u y are zero on G , and
adapt the argument of Theorem 2.17 to show that u is constant.
8.15. Give another proof of the Fundamental Theorem of Algebra (Theorem 5.11),
using the Minimum-Modulus Theorem (Corollary 8.19). (Hint: Use Proposi-
tion 5.10 to show that a polynomial does not achieve its minimum modulus on a
large circle; then use the Minimum-Modulus Theorem to deduce that the polynomial
has a zero.)
z −2
8.19. Find a Laurent series for centered at z = −1 and the region in which it
z +1
converges.
1
8.20. Find the terms cn z n in the Laurent series for centered at z = 0, for
sin2 (z )
−4 ≤ n ≤ 4.
8.21. Find the first four nonzero terms in the power series expansion of tan(z )
centered at the origin. What is the radius of convergence?
8.22.
(a) Find the power series representation for exp(a z ) centered at 0, where a ∈ C is
any constant.
1
exp(z ) cos(z ) = (exp((1 + i )z ) + exp((1 − i )z )) .
2
(c) Find the power series expansion for exp(z ) cos(z ) centered at 0.
8.24. Prove: If f is entire and Im( f ) is constant on the closed unit disk then f is
constant.
8.25.
(a) Find the Laurent series for cos z
z2 centered at z = 0.
cos z −1
if z =
¨
6 0,
f (z ) = z2
− 21 if z = 0
8.26. Find the Laurent series for sec(z ) centered at the origin.
8.28. Find the multiplicities of the zeros of each of the following functions:
(a) f (z ) = exp(z ) − 1, z0 = 2k π i , where k is any integer.
8.29. Find the zeros of the following functions and determine their multiplicities:
(a) (1 + z 2 )4 (c) 1 + exp(z )
8.30. Prove that the series of the negative-index terms of a Laurent series
c−k (z − z0 )−k
X
k≥1
converges for
1 1
<
|z − z0 | R1
for some R1 , and that the convergence is uniform in {z ∈ C : |z − z0 | ≥ r1 }, for any
fixed r1 > R1 .
l au re n t s e r i e s 167
centered at 0, defined on the three regions |z | < 1, 1 < |z | < 2, and 2 < |z |,
respectively. (Hint: Use a partial fraction decomposition.)
8.33. Suppose that f (z ) has exactly one zero, at a, inside the circle γ , and that it
has multiplicity 1. Show that
1 z f 0 (z )
Z
a = dz .
2π i γ f (z )
8.35. Suppose f is holomorphic and not identically zero on an open disk D centered
at a, and suppose f (a) = 0. Use the following outline to show that Re f (z ) > 0 for
some z in D.
(a) Why can you write f (z ) = (z − a) m g (z ) where m > 0, g is holomorphic,
and g (a) 6= 0?
(c) Why is there a positive constant δ so that Re G (z ) > 0 for all z ∈ D[a, δ ]?
8.36.
(a) Find a Laurent series for
1
(z 2 − 4)(z − 2)
centered at z = 2 and specify the region in which it converges.
dz
Z
(b) Compute .
C [2,1] (z − 4)(z − 2)
2
8.37.
(a) Find the power series of exp(z ) centered at z = −1.
exp(z )
Z
(b) Compute dz .
C [−2,2] (z + 1)
34
exp(z )
Z
8.38. Compute d z where γ is a closed curve not passing through integer
γ sin(z )
multiples of π .
Chapter 9
We return one last time to the starting point of Chapters 7 and 8: the quest for
exp(z )
Z
dz .
C [2,3] sin(z )
We computed this integral in Example 8.28 crawling on hands and knees (but we
finally computed it!), by considering various Taylor and Laurent expansions of exp(z )
1
and sin(z ) . In this chapter, we develop a calculus for similar integral computations.
What are the differences among the functions exp(zz )−1 , z14 , and exp( 1z ) at z = 0?
None of them are defined at 0, but each singularity is of a different nature. We will
frequently consider functions in this chapter that are holomorphic in a disk except
at its center (usually because that’s where a singularity lies), and it will be handy to
define the punctured disk with center z0 and radius R,
Definition. If f is holomorphic in the punctured disk D[z · 0 , R] for some R > 0 but
not at z = z0 , then z0 is an isolated singularity of f . The singularity z0 is called
X1 k
exp(z ) − 1 = z ,
k≥1 k!
1
g (z ) := zk,
X
k≥0 (k + 1)!
which is entire (because this power series converges in C), agrees with f in C \ {0}.
Thus f has a removable singularity at 0.
1
lim = ∞ .
z →0 z 4
1 1
lim+ exp = ∞ and lim− exp = 0
x →0 x x →0 x
c l a s s i f i c at i o n o f s i n g u l a r i t i e s 171
To get a feel for the different types of singularities, we start with the following
criteria.
(b) z0 is a pole if and only if it is not removable and lim z →z0 (z − z0 )n+1 f (z ) = 0
for some positive integer n.
· 0 , R] and
Then g is holomorphic in D[z
g (z ) − g (z0 ) (z − z0 )2 f (z )
g 0 (z0 ) = lim = lim = lim (z − z0 ) f (z ) = 0 ,
z →z0 z − z0 z →z0 z − z0 z →z0
g (z ) = ck (z − z0 )k
X
k≥0
whose first two terms are zero: c0 = g (z0 ) = 0 and c1 = g 0 (z0 ) = 0. But then we can
write
g (z ) = (z − z0 )2 ck+2 (z − z0 )k
X
k≥0
and so
f (z ) = ck+2 (z − z0 )k
X
for all z ∈ D[z
· 0 , R] .
k≥0
172 i s o l at e d s i n g u l a r i t i e s a n d t h e re s i d u e t h e o re m
so part (a) implies that 1f has a removable singularity at z0 . More precisely, the
function g : D[z0 , R] → C defined by
1
f (z ) if z ∈ D[z
· 0 , R] ,
g (z ) :=
0 if z = z0 ,
(z − z0 )n+1
lim (z − z0 )n+1 f (z ) = lim
z →z0 z →z0 g (z )
z − z0 1
= lim = lim (z − z0 ) = 0 .
z →z0 h(z ) h(z0 ) z →z0
Note that 1
h is holomorphic and non-zero on D[z0 , R], n > 0, and
1 1 1
f (z ) = = · for all z ∈ D[z
· 0 , R] .
g (z ) (z − z0 )n h(z )
lim (z − z0 )n+1 f (z ) = 0
z →z0
for some non-negative integer n. We choose the smallest such n. By part (a),
h(z ) := (z − z0 )n f (z ) has a removable singularity at z0 , so there is a holomorphic
function g on D[z0 , R] that agrees with h on D[z · 0 , R]. Now if n = 0 this just says
that f has a removable singularity at z0 , which we have excluded. Hence n > 0.
Since n was chosen as small as possible and n −1 is a non-negative integer less than n,
we must have g (z0 ) = lim z →z0 (z − z0 )n f (z ) 6= 0. Summarizing, g is holomorphic
c l a s s i f i c at i o n o f s i n g u l a r i t i e s 173
g (z )
f (z ) = for all z ∈ D[z
· 0 , R] .
(z − z0 )n
g (z )
h(z )
lim | f (z )| = lim = lim
z →z0 (z − z )n z →z0 (z − z )n
z →z0
0 0
1
= | g (z0 )| lim = ∞.
z →z0 |z − z |n
0
Corollary 9.6. Suppose f is holomorphic in D[z · 0 , R]. Then f has a pole at z0 if and
only if there exist a positive integer m and a holomorphic function g : D[z0 , R] → C,
such that g (z0 ) 6= 0 and
g (z )
f (z ) = for all z ∈ D[z
· 0 , R] .
(z − z0 ) m
Proof. The only part not covered in the proof of Theorem 9.5 is uniqueness of
m. Suppose f (z ) = (z − z0 )−m1 g1 (z ) and f (z ) = (z − z0 )−m2 g2 (z ) both work,
with m2 > m1 . Then g2 (z ) = (z − z0 ) m2 −m1 g1 (z ), and plugging in z = z0 yields
g2 (z0 ) = 0, violating g2 (z0 ) 6= 0.
This definition, naturally coming out of Corollary 9.6, parallels that of the
multiplicity of a zero, which naturally came out of Theorem 8.14. The two results
also show that f has a zero at z0 of multiplicity m if and only if 1f has a pole of
order m. We will make use of the notions of zeros and poles quite extensively in this
chapter.
You might have noticed that the Proposition 9.5 did not include any result on
essential singularities. Not only does the next theorem make up for this but it also
nicely illustrates the strangeness of essential singularities. To appreciate the following
result, we suggest meditating about its statement over a good cup of coffee.
174 i s o l at e d s i n g u l a r i t i e s a n d t h e re s i d u e t h e o re m
In the language of topology, Theorem 9.7 says that the image of any punctured
disk centered at an essential singularity is dense in C.
There is a stronger theorem, beyond the scope of this book, which implies the
Casorati–Weierstraß Theorem 9.7. It is due to Charles Emile Picard (1856 –1941)
and says that the image of any punctured disk centered at an essential singularity
misses at most one point of C. (It is worth coming up with examples of functions
that do not miss any point in C and functions that miss exactly one point. Try it!)
Proof. Suppose (by way of contradiction) that there exist w ∈ C and ε > 0 such that
· 0, r ]
for all z ∈ D[z
|w − f (z )| ≥ ε .
z − z0
lim = lim (z − z0 ) g (z ) = 0 .
z →z0 f (z ) − w z →z0
f (z ) − w
lim = ∞
z →z0 z − z
0
f (z )−w
and so the function z −z0 has a pole at z0 . By Proposition 9.5(b), there is a positive
integer n so that
f (z ) − w
lim (z − z0 )n+1 = lim (z − z0 )n ( f (z ) − w) = 0 .
z →z0 z − z0 z →z0
Invoking Proposition 9.5 again, we conclude that the function f (z )−w has a pole or
removable singularity at z0 , which implies the same holds for f (z ), a contradiction.
The following classifies singularities according to their Laurent series, and is very
often useful in calculations.
f (z ) = ck (z − z0 )k ,
X
k∈Z
(a) z0 is removable if and only if there are no negative exponents (that is, the
Laurent series is a power series);
(b) z0 is a pole if and only if there are finitely many negative exponents, and the
order of the pole is the largest k such that c−k 6= 0;
(c) z0 is essential if and only if there are infinitely many negative exponents.
f (z ) = (z − z0 )−n ck (z − z0 )k = ck+n (z − z0 )k ,
X X
k≥0 k≥−n
f (z ) = ck (z − z0 )k = (z − z0 )−n ck (z − z0 )k+n
X X
k≥−n k≥−n
= (z − z0 )−n ck−n (z − z0 )k ,
X
k≥0
z3 z5
sin(z ) z− 3! + 5! − ··· 1 1 z2
f (z ) = 3
= = − + − ···
z z3 z 2 3! 5!
and the smallest power of z with nonzero coefficient in this series is −2.
9.2 Residues
We now pick up the thread from Corollary 8.27 and apply it to the Laurent series
f (z ) = ck (z − z0 )k
X
k∈Z
ck (z − z0 )k .
X
k∈Z
Proof. First, let S be the set of singularities inside γ . S is closed (since the set of
points in G where f is holomorphic is open) and bounded (since the inside of
γ is bounded), and the points of S are isolated in S (by Theorem 8.14(b)). An
application of Exercise 9.23 shows that S is finite.
Now we follow the approach started in Figure 7.1: as with that integration path,
we “subdivide” γ so that we can replace it by closed curves around the singularities
inside γ . These curves, in turn, can then be transformed to circles around the
R
singularities, as suggested by Figure 9.1. By Cauchy’s Theorem 4.18, γ f equals
the sum of the integrals of f over these circles. Now use Corollary 8.27.
1 d n−1
Res ( f (z )) = (z − z0 )n f (z ) .
lim
z =z0 (n − 1)! z →z0 dz
n−1
(b) We know by Proposition 9.8(b) that the Laurent series at z0 looks like
f (z ) = ck (z − z0 )k .
X
k≥−n
But then
(z − z0 )n f (z ) = ck (z − z0 )k+n
X
k≥−n
is a power series, and we can use Taylor’s formula (Corollary 8.5) to compute c−1 .
It is worth noting that we are really coming full circle here: compare this propo-
sition to Cauchy’s Integral Formulas (Theorems 4.27 & 5.1 and Corollary 8.11).
exp(z )
Example 9.12. The integrand sin(z ) in Example 8.28 has poles of order 1 at 0 and
π . We thus compute
exp(z ) exp(z )
z
Res = lim z = exp(0) lim = 1
z =0 sin(z ) z →0 sin(z ) z →0 sin(z )
and
exp(z ) exp(z ) z −π
Res = lim (z − π ) = exp(π ) lim = −e π ,
z =π sin(z ) z →π sin(z ) z → π sin(z )
after a few iterations of L’Hôspital’s Rule. (In this case, it is simpler to read the
residue off the Laurent series in Example 9.9.)
f (z ) f (z0 )
Res = .
z =z0 g (z ) g 0 (z0 )
re s i d u e s 179
Proof. The functions f and g have power series centered at z0 ; the one for g has
by assumption no constant term:
f (z ) = ak (z − z0 )k
X
k≥0
g (z ) = bk (z − z0 )k = (z − z0 ) bk (z − z0 )k−1 .
X X
k≥1 k≥1
f (z ) f (z )
= ,
g (z ) (z − z0 ) h(z )
f
and the function h is holomorphic at z0 . By Prop 9.11 and Taylor’s formula
(Corollary 8.5),
f (z ) f (z ) f (z0 ) f (z )
a
Res = lim (z − z0 ) = = 0 = 0 0 .
z =z0 g (z ) z →z0 (z − z0 )h(z ) h(z0 ) b1 g (z0 )
Example 9.15. Revisiting once more Example 8.28, we note that f (z ) = exp(z )
and g (z ) = sin(z ) fit the bill. Thus
exp(z )
exp(0)
Res = = 1
z =0 sin(z ) cos(0)
and
exp(z ) exp(π )
Res = = −e π ,
z =π sin(z ) cos(π )
confirming once more our computations in Examples 8.28 and 9.12.
z 2 +2
Example 9.16. We compute the residue of (exp(z )−1) cos(z ) at z0 = 2π i , by applying
z 2 +2
Proposition 9.14 with f (z ) = cos(z ) and g (z ) = exp(z ) − 1. Thus
(2π i )2 +2
z2 + 2 −4π 2 + 2
cos(2π i )
Res = = .
z =2π i (exp(z ) − 1) cos(z ) exp(2π i ) cosh(2π )
In the previous section we saw how to compute integrals via residues, but in many
applications we actually do not have an explicit expression for a function that we
need to integrate (or this expression is very complicated). However, it may still be
possible to compute the value of a function at any given point. In this situation we
cannot immediately apply the Residue Theorem because we don’t know where the
singularities are. Of course, we could use numerical integration to compute integrals
over any path, but computationally this task could be very resource intensive. But if
we do know the singularities, we can compute the residues numerically by computing
a finite number of the integrals over small circles around these singularities. And
after that we can apply the residue theorem to compute the integral over any closed
path very effectively: we just sum up the residues inside this path. The argument
principle that we study below, in particular, addresses this question. We start by
introducing the logarithmic derivative.
Suppose we have a differentiable function f . Differentiating Log f (where
f0
Log is some branch of the logarithm) gives f , which is one good reason to call this
quotient the logarithmic derivative of f . It has some remarkable properties, one of
which we would like to discuss here.
Now let’s say we have two functions f and g holomorphic in some region. Then
the logarithmic derivative of their product behaves very nicely:
( f g )0 f 0g + f g0 f 0 g0
= = + .
f g f g f g
We can apply this fact to the following situation: Suppose that f is holomorphic
in a region G and f has (finitely many) zeros z1 , . . . , z j of multiplicities n1 , . . . , n j ,
respectively. By Theorem 8.14, we can express f as
f (z ) = (z − z1 )n1 · · · (z − z j )n j g (z ) ,
arg u m e n t p r i n c i p l e a n d ro u c h é’s t h e o re m 181
where g is also holomorphic in G and never zero. Let’s compute the logarithmic
derivative of f and play the same remarkable cancellation game as above:
f 0 (z )
=
f (z )
n1 (z − z1 )n1 −1 (z − z2 )n2 · · · (z − z j )n j g (z ) + · · · + (z − z1 )n1 · · · (z − z j )n j g 0 (z )
(z − z1 )n1 · · · (z − z j )n j g (z )
n1 n2 nj g 0 (z )
= + + ··· + + . (9.1)
z − z1 z − z2 z − zj g (z )
f 0 (z ) m1 m2 mk g 0 (z )
= − − − ··· − + , (9.2)
f (z ) z − p1 z − p2 z − pk g (z )
1 f0
Z
= Z ( f , γ) − P ( f , γ) .
2π i γ f
2 The
R f0
name Argument Principle stems from interpreting the integral γ f as the change in the
f 0 (z )
argument of f (z ) as z traverses γ , since Log( f (z ))0 = f (z )
.
182 i s o l at e d s i n g u l a r i t i e s a n d t h e re s i d u e t h e o re m
f 0 (z ) n1 nj m1 mk g 0 (z )
= + ··· + − − ··· − + ,
f (z ) z − z1 z − z j z − p1 z − pk g (z )
f0
Z
=
γ f
Z 0
dz dz dz dz g
Z Z Z Z
n1 + · · · + nj − m1 − · · · − mk +
γ z − z 1 γ z − z j γ z − p 1 γ z − p k γ g
g0
Z
= 2π i n1 + · · · + n j − m1 − · · · − mk +
.
γ g
g0
Finally, g is holomorphic in G (because g is never zero in G ), so that Corollary 4.20
gives
g0
Z
= 0.
γ g
As mentioned above, this beautiful theorem helps to locate poles and zeroes of
f0
a function f . The idea is simple: we can first numerically integrate f over a big
circle γ that includes all possible paths over which we potentially will be integrating
R f0
f . Then the numerical value of 2π1 i γ f will be close to an integer that, according
f 0
to the Argument Principle, equals Z ( f , γ ) − P ( f , γ ). Then we can integrate f
over a smaller closed path γ1 that encompasses half of the interior of γ and find
Z ( f , γ1 ) − P ( f , γ1 ). Continuing this process for smaller and smaller regions will
(after certain verification) produce small regions where f has exactly one zero or
exactly one pole. Integrating f over the boundaries of those small regions that
contain poles and dividing by 2π i gives all residues of f .
Another nice related application of the Argument Principle is a famous theorem
due to Eugene Rouché (1832 –1910).
Z ( f + g , γ) = Z ( f , γ) .
arg u m e n t p r i n c i p l e a n d ro u c h é’s t h e o re m 183
So g and f satisfy the condition of the Theorem 9.18. But f has just one root, of
multiplicity 5 at the origin, whence
Proof of Theorem 9.18. By (9.1) and the Argument Principle (Theorem 9.17)
Z f 1+ g 0
1 ( f + g )0 1
Z
f
Z ( f + g , γ) = =
2π i γ f + g 2π i γ f 1 + g
f
g 0
0 1+ f
1 f +
Z
= g
2π i γ f 1+ f
Z 1+ g 0
1 f
= Z ( f , γ) + g .
2π i γ 1 + f
g g
We are assuming that | f | < 1 on γ , which means that the function 1 + f evaluated
g
on γ stays away from R≤0 . But then Log(1 + f ) is a well-defined holomorphic
function on γ . Its derivative is
g 0
1+ f
g
1+ f
3 The Fundamental Theorem of Algebra (Theorem 5.11) asserts that p has five roots in C. What’s
special about the statement of Example 9.19 is that they all have modulus < 2. Note also that there is no
general formula for computing roots of a polynomial of degree 5. (Although for this p it’s not hard to
find one root —and therefore all of them.)
184 i s o l at e d s i n g u l a r i t i e s a n d t h e re s i d u e t h e o re m
g 0
1
Z 1+ f
g = 0.
2π i γ 1+ f
Exercises
1
9.1. Suppose that f has a zero of multiplicity m at a. Explain why f has a pole of
order m at a.
9.2. Find the poles or removable singularities of the following functions and deter-
mine their orders:
z
(a) (z 2 + 1)−3 (z − 1)−4 (c) z −5 sin(z ) (e)
1 − exp(z )
1
(b) z cot(z ) (d)
1 − exp(z )
1
9.3. Show that if f has an essential singularity at z0 then f also has an essential
singularity at z0 .
9.4. Suppose f is a nonconstant entire function. Prove that any complex number
is arbitrarily close to a number in f (C). (Hint: If f is not a polynomial, use
Theorem 9.7 for f ( 1z ).)
exp(z )
Z Z
(b) z 3 cos( 3z ) dz (e) dz
γ γ sinh(z )
dz i z +4
Z Z
(c) (f ) dz
γ (z + 4)(z 2 + 1) γ (z 2+ 16)2
arg u m e n t p r i n c i p l e a n d ro u c h é’s t h e o re m 185
9.6. Suppose f has a simple pole (i.e., a pole of order 1) at z0 and g is holomorphic
at z0 . Prove that
Res f (z ) g (z ) = g (z0 ) Res f (z ) .
z =z0 z =z0
exp(z ) exp(z )
Z Z
(c) dz (f ) dz
C [0,2] z + z C [π ,1] sin(z ) cos(z )
3
9.9. Use the Residue Theorem 9.10 to re-prove Cauchy’s Integral Formulas (Theo-
rems 4.27 & 5.1 and Corollary 8.11).
cos(z )
Z
9.13. Compute dz .
C [2,3] sin (z )
2
9.14. Generalize Example 5.14 and Exercise 5.18 as follows: Let p(x ) and q(x ) be
polynomials such that q(x ) 6= 0 for x ∈ R and the degree of q(x ) is at least two
R ∞ p(x )
larger than the degree of p(x ). Prove that −∞ q(x ) dx equals 2π i times the sum of
p(z )
the residues of q(z ) at all poles in the upper half plane.
∞
dx
Z
9.15. Compute .
−∞ (1 + x 2 )2
9.16. Generalize Exercise 5.19 by deriving conditions under which we can compute
R ∞ p(x ) cos(x )
−∞ q(x ) dx for polynomials p(x ) and q(x ), and give a formula for this integral
along the lines of Exercise 9.14.
∞
cos(x )
Z
9.17. Compute dx .
−∞ 1 + x
4
f (z )
Z
dz
C [0,R] (z − a)(z − b )
and use this to give an alternate proof of Liouville’s Theorem 5.13. (Hint: Show
that if f is bounded then the above integral goes to zero as R increases.)
(b) 1
3 exp(z ) − z in D[0, 1]
(c) z 4 − 5z + 1 in {z ∈ C : 1 ≤ |z | ≤ 2}
9.22. Give another proof of the Fundamental Theorem of Algebra (Theorem 5.11),
using Rouché’s Theorem 9.18. (Hint: If p(z ) = an z n + an−1 z n−1 + · · · + a1 z + 1,
let f (z ) = an z n and g (z ) = an−1 z n−1 + an−2 z n−2 + · · · + a1 z + 1, and choose as γ a
circle that is large enough to make the condition of Rouché’s theorem work. You
might want to first apply Proposition 5.10 to g (z ).)
9.23. Suppose S ⊂ C is closed and bounded and all points of S are isolated points
of S . Show that S is finite, as follows:
(a) For each z ∈ S we can choose φ (z ) > 0 so that D[z , φ (z )] contains no points
of S except z . Show that φ is continuous. (Hint: This is really easy if you use
the first definition of continuity in Section 2.1.)
(b) Assume S is non-empty. By the Extreme Value Theorem A.1, φ has a min-
imum value, r0 > 0. Let r = r0 /2. Since S is bounded, it lies in a disk
D[0, M ] for some M . Show that the small disks D[z , r ], for z ∈ S , are
disjoint and lie in D[0, M + r ].
(c) Find a bound on the number of such small disks. (Hint: Compare the areas
of D[z , r ] and D[0, M + r ].)
Chapter 10
On the surface, this chapter is just a collection of exercises. They are more involved
than any of the ones we’ve given so far at the end of each chapter, which is one reason
why we will lead you through each of the following ones step by step. On the other
hand, these sections should really be thought of as a continuation of the book, just
in a different format. All of the following problems are of a discrete mathematical
nature, and we invite you to solve them using continuous methods —namely, complex
integration. There are very few results in mathematics that so intimately combine
discrete and continuous mathematics as does the Residue Theorem 9.10.
In this exercise, we evaluate the sums k≥1 k12 and k≥1 (−1)
P P k
(a) Show that | cot(π z )| < 2 for z ∈ γN . (Hint: Use Exercise 3.36.)
(b) Show that limN →∞ γ f = 0.
R
N
P 1
(3) Use the Residue Theorem 9.10 to arrive at an identity for k∈Z\{0} k 2 .
b i n o m i a l co e f f i c i e n ts 189
P 1
(4) Evaluate k≥1 k 2 .
π
(5) Repeat the exercise with the function f (z ) = z 2 sin(πz)
to arrive at an evaluation
of
X (−1)k
2
.
k≥1 k
(Hint: To bound this function, you may use the fact that 1
sin2 (z )
= 1 + cot2 (z ).)
P 1 P (−1)k
(6) Evaluate k≥1 k 4 and k≥1 k4
.
We remark that, in the language of Example 7.21, you have computed the
evaluations ζ (2) and ζ (4) of the Riemann zeta function. The function ζ ∗ (z ) :=
P (−1)k
k≥1 k z is called the alternating zeta function.
n
The binomial coefficient k is a natural candidate for being explored analytically, as
the binomial theorem n
n k n−k
(x + y)n =
X
x y
k=0 k
will derive two sample identities in the course of the exercises below.
(z + 1)n
n 1
Z
= dz
k 2π i γ z k+1
where γ is any simple closed piecewise smooth path such that 0 is inside γ .
(2) Derive a recurrence relation for binomial coefficients from the fact that 1z +1 =
z +1 (z +1)n
z . (Hint: Multiply both sides by z k .)
(3) Now suppose x ∈ R with |x | < 1/4. Find a simple closed path γ surrounding
the origin such that
X (z + 1)2 k
x
k≥0 z
converges uniformly on γ as a function of z . Evaluate this sum.
190 d i s c ret e a p p l i c at i o n s o f t h e re s i d u e t h e o re m
1 X (z + 1)2k k
X 2k k Z
x = x dz ,
k≥0 k 2π i k≥0 γ z k+1
use (3) to interchange summation and integral, and use the Residue Theo-
rem 9.10 to evaluate the integral, giving an identity for k≥0 2kk x k .
P
f0 = 0
f1 = 1
fn = fn−1 + fn−2 for n ≥ 2.
Let F (z ) = zk.
P
k≥0 fk
(2) Show that the recurrence relation among the fn implies that F (z ) = 1−zz−z 2 .
(Hint: Write down the power series of z F (z ) and z 2 F (z ) and rearrange both
so that you can easily add.)
(4) Use the Residue Theorem 9.10 to derive an identity for fn . (Hint: Integrate
1
z n (1 − z − z 2 )
(5) Generalize to other sequences defined by recurrence relations, e.g., the Tri-
bonacci numbers
t0 = 0
t1 = 0
t2 = 1
tn = tn−1 + tn−2 + tn−3 for n ≥ 3.
In this exercise, we will solve and extend a classical problem of Ferdinand Georg
Frobenius (1849–1917). Suppose a and b are relatively prime2 positive integers,
and suppose t is a positive integer. Consider the function
1
f (z ) = .
(1 − z a ) (1 − z b ) z t +1
N (t ) = |{(m, n) ∈ Z : m, n ≥ 0, ma + n b = t }| .
(3) Use the Residue Theorem, Theorem 9.10, to derive an identity for N (t ).
(Hint: Integrate f around C [0, R] and show that this integral vanishes as
R → ∞.)
b −1 t
−1
t a t
N (t ) = − − + 1.
ab a b
2 This means that the integers do not have any common factor.
192 d i s c ret e a p p l i c at i o n s o f t h e re s i d u e t h e o re m
N (t ) = |{(m, n) ∈ Z : m, n ≥ 0, ma + n = t }|
= |{m ∈ Z : m ≥ 0, ma ≤ t }|
ti t nt o
h
= 0, ∩ Z = − + 1.
a a a
(b) Use this together with the identity found in (3) to obtain
a−1
1X 1 nt o 1 1
= − + − .
a k=1 (1 − e 2π i k/a ) e 2π i k t /a a 2 2a
a−1 a−1
1 1
=
X X
.
k=1 (1 − e 2π i k b /a ) e 2π i k t /a k=1 (1 − e 2π i k/a ) e 2π i k b −1 t /a
t = m1 a1 + m2 a2 + · · · + mn an .
(There are many scenarios in which you may ask whether or not t is representable,
given fixed a1 , a2 , . . . , an ; for example, if the a j ’s are coin denomination, this question
asks whether you can give exact change for t .) In the late 19th century, Frobenius
raised the problem of finding the largest integer that is not representable. We call
this largest integer the Frobenius number g (a1 , . . . , an ). It is well known (probably
at least since the 1880’s, when James Joseph Sylvester (1814–1897) studied the
Frobenius problem) that g (a1 , a2 ) = a1 a2 − a1 − a2 . You verified this result in (5).
For n > 2, there is no nice closed formula for g (a1 , . . . , an ). The formula in (4)
3 The fractional part of a real number x is, loosely speaking, the part after the decimal point. More
thoroughly, the greatest integer function of x , denoted by bx c, is the greatest integer not exceeding x .
The fractional part is then {x } = x − bx c.
4 This means that a −1 is an integer such that a −1 a = 1 + k b for some k ∈ Z.
dedekind sums 193
This exercise outlines one more nontraditional application of the Residue Theo-
rem 9.10. Given two positive, relatively prime integers a and b , let
(a) Compute the residues for the poles of f inside γR . Hint: Use the
periodicity of the cotangent and the fact that
1 1
cot z = − z + higher-order terms .
z 3
Z
f = −2i .
γR
(2) Define
b −1
π ka πk
1 X
s (a, b ) := cot cot . (10.1)
4b k=1 b b
Use the Residue Theorem 9.10 to show that
1 1 a 1 b
s (a, b ) + s (b, a) = − + + + . (10.2)
4 12 b a b a
Historical remark. The sum in (10.1) is called a Dedekind5 sum. It first appeared in
the study of the Dedekind η-function
in the 1870’s and has since intrigued mathematicians from such different areas
as topology, number theory, and discrete geometry. The reciprocity law (10.2) is
the most important and famous identity of the Dedekind sum. The proof that is
outlined here is due to Hans Rademacher (1892 –1969).
Here we collect a few theorems from real calculus that we make use of in the course
of the text.
exist in R.
f (x + ∆ x ) − f (x )
= f 0 (x + a ∆ x ) .
∆x
d d
d ∂f
Z Z
f (x , y) d y = (x , y) d y .
dx c c ∂x
f 0 (x )
lim f (x ) = 0, lim g (x ) = 0, lim = L.
x →c x →c x →c g 0 (x )
Then
f (x )
lim = L.
x →c g (x )
There are many extensions of L’Hôspital’s rule. In particular, the rule remains
true if any of the following changes are made:
• L is infinite.
19 8
1.2 (b) 25 − 25 i (c) 1
p p
1.3 (a) 5, −2 − i (b) 5 5, 5 − 10i
Æ p p
11 , 11 ( 2 − 1) + 11 ( 2 + 9)
(c) 10 3 i
(d) 8, 8i
π p iπ p 5π 3π
1.4 (a) 2 e i 2 (b) 2e 4 (c) 2 3i e i 6 (d) e i 2
holomorphic
(d) nowhere differentiable or holomorphic
(e) differentiable and holomorphic in C with derivative
− sin x cosh y − i cos x sinh y
(f ) nowhere differentiable or holomorphic
(g) differentiable only at 0 with derivative 0, nowhere holomorphic
(h) differentiable only at 0 with derivative 0, nowhere holomorphic
(i) differentiable only at i with derivative i , nowhere holomorphic
(j) differentiable and holomorphic in C with derivative 2 y − 2x i = −2i z
(k) differentiable only at 0 with derivative 0, nowhere holomorphic
(l) differentiable only at 0 with derivative 0, nowhere holomorphic
2.26 Neither is defined at the origin, nor continuously extendable to the origin, so
neither is harmonic on all of C. Away from the origin, the first is harmonic,
while the second is not.
−z + 1 (i − 1)z + 1 − i iz −1
3.14 (a) (b) (c)
z −3 i z − 2i −z + i
3.40 (a) ln(2) + π2i (b) e −π (c) 12 ln(2) + 3π4 i
3.50 f 0 (z ) = c z c −1
200 s o lu t i o n s to s e l e c t e d e xe rc i s e s
p
4.1 (a) 6 (b) π (c) 4 (d) 17 + 14 sinh−1 (4)
2π
4.30 p
3
4.34 0
5.4 2π i exp(w)
5.18 pπ
2
π π
1
5.20 p sin p +
e 1/ 2 2 4
7.1 (a) divergent (b) convergent (limit 0) (c) divergent
i
(d) convergent (limit 2 − 2) (e) convergent (limit 0)
2
7.3 3
1 X k +1
(−4)k z k zk z k+2
X X
7.25 (a) (b) (c)
k≥0 k≥0 3 · 6k k≥0 2 · 4k
201
X (−1)k X (−1)k
7.26 (a) z 2k (b) z 4k
k≥0 (2k)! k≥0 (2k)!
k≥0 (−2)
8.17 One Laurent series is
P k (z − 1)−k−2 , converging for |z − 1| > 2.
k≥0 (−2)
8.18 One Laurent series is
P k (z − 2)−k−3 , converging for |z − 2| > 2.
i, 4 infinity, 46
identity, 3 of a function, 24
identity map, 23 of a sequence, 122
identity principle, 154 of a series, 126
image linear fractional transformation, 43
of a function, 27 Liouville’s theorem, 104
of a point, 23 Log, 59
imaginary axis, 5 log, 61
imaginary part, 4 logarithm, 59
improper integral, 104, 186 logarithmic derivative, 180
infinity, 46
max/min property for harmonic
inside, 88
functions, 115, 155
integral, 71
maximum
path independent, 102
strong relative, 115
integral test, 129
weak relative, 116, 155
integration by parts, 92
maximum-modulus theorem, 155
interior point, 13
mean-value theorem
inverse function, 31
for harmonic functions, 114
of a Möbius transformation, 43
for holomorphic functions, 86
inverse parametrization, 74
for real functions, 195
inversion, 45
meromorphic, 181
isolated point, 13
minimum
isolated singularity, 170
strong relative, 115
Jacobian, 65 weak relative, 155
Jordan curve theorem, 88 minimum-modulus theorem, 155
Möbius transformation, 43
L’Hôspital’s rule, 197 modulus, 5
Laplace equation, 110 monotone, 124
Laurent series, 157 monotone sequence property, 124
least upper bound, 124, 137 Morera’s theorem, 100
Leibniz’s rule, 83, 196 multiplication, 2
length, 73
limit north pole, 51
205