Complex Analysis
Complex Analysis
2022-2023
Contents
2 Metric Spaces 14
2.1 Metric spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.2 Open and closed sets . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.3 Convergence and continuity . . . . . . . . . . . . . . . . . . . . . 22
2.4 Compactness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3 Complex Differentiation 33
3.1 Complex differentiability . . . . . . . . . . . . . . . . . . . . . . . 33
3.2 Cauchy-Riemann equations . . . . . . . . . . . . . . . . . . . . . . 34
3.3 Connected sets and zero derivatives . . . . . . . . . . . . . . . . . 38
3.4 The angle-preserving properties of holomorphic functions . . . . . 40
3.5 Biholomorphic maps . . . . . . . . . . . . . . . . . . . . . . . . . 43
4 Möbius transformations 46
4.1 Definition and first properties of Möbius transformations . . . . . 46
4.2 Fixed points, the cross-ratio, and the three points Theorem . . . . 49
4.3 Circles and lines . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
4.4 The Riemann sphere, revisited . . . . . . . . . . . . . . . . . . . . 55
4.5 Möbius transformations preserving the upper half plane or unit disc 56
4.6 Finding biholomorphic maps between domains . . . . . . . . . . . 60
2
CONTENTS 3
1
These notes are essentially the notes of Sabine Bögli & Stephen Harrap from 2021–2022,
which in turn were essentially those of Michael Magee from 2018-2019, in which it says: Chapters
1-5 are an evolution of notes of Stephen Harrap, which were in turn based on original notes of
Jens Funke. Chapters 6 onwards have gone though a similar evolution through Jens, Thanasis
Bouganis, Michael & Stephen.
Chapter 1
Algebra
We can add, subtract and multiply complex numbers: If z1 = x1 + iy1 and z2 = x2 + iy2
then
z1 ± z2 := (x1 ± x2 ) + i(y1 ± y2 ),
z1 z2 := (x1 x2 − y1 y2 ) + i(x1 y2 + x2 y1 ).
Notice that addition simply corresponds to adding the individual components. In gen-
eral we denote by Re(z) = x the real part of z, and by Im(z) = y the imaginary part
of z. By the definition of multiplication we have i2 = −1, and using this we see that
multiplication corresponds to ‘multiplying out the brackets’: (x1 + iy1 )(x2 + iy2 ) =
(x1 x2 + i2 y1 y2 ) + i(x1 y2 + x2 y1 ).
We can also divide complex numbers. For z2 6= 0 (here we use the shorthand
0 = 0 + 0i) we have
The quantity we used to make the denominator real is important. In general, for
z = x + iy we call z̄ := x − iy the complex conjugate of z.
1
CHAPTER 1. THE COMPLEX PLANE AND RIEMANN SPHERE 2
So, a copy of R2 with a way of multiplying1 (and dividing) vectors! Indeed there is an
obvious bijection f : R2 → C given by f ((x, y)) = x + iy. As a result, we often draw
complex numbers on the usual (x, y)-plane: such a picture is called an Argand diagram
(see Figure 1.1).
OnpR2 there is a natural notion of size, and we use it in C: we call the quantity
|z| := x2 + y 2 the modulus or absolute value of z (= x + iy).
Lemma 1.1 (Important Properties of Complex numbers).
1. z1 z2 = 0 ⇐⇒ z1 = 0 or z2 = 0,
√
2. |z| = z z̄,
z+z̄ z−z̄
3. Re(z) = 2 and Im(z) = 2i ,
1
The multiplication of complex numbers is commutative and associative. The fact that such a
multiplication exists in 2 dimensions is truly remarkable: there is no such multiplication on R3 , not
even if we relax the condition that it is commutative! The search for an associative multiplication on
R3 lead Hamilton to discover (a non-commutative) one on R4 instead which was his famous discovery
of the quaternions.
CHAPTER 1. THE COMPLEX PLANE AND RIEMANN SPHERE 3
4. z −1 = z̄
|z|2
.
Remark 1.2. Property 1. is very important, and makes C an integral domain (see Algebra
II).
Note that arg(z) is only defined up to multiples of 2π; for example i = eiπ/2 = ei5π/2 =
e−i3π/2 . Strictly speaking arg(i) = π/2+2πk, for any k ∈ Z (and so arg is a one-to-many
function!). As a result, we need to be careful; we choose a fixed interval in which to
express the argument: the principal value of arg(z) is the value in the interval (−π, π]
and will be denoted Arg(z). So Arg(i) = π/2 and Arg(−1) = π for example.
Lemma 1.3 (Properties of argument). We have the following properties of the argu-
ment:
1. arg(z1 z2 ) = arg(z1 ) + arg(z2 ) mod 2π
When we say two real numbers are equal mod2π we mean they differ by an integer
multiple of 2π.
It is nice to have a geometric picture of what the algebraic operations on complex
numbers mean.
Lemma 1.4. Geometrically, multiplication in C is given by a dilated rotation; i.e., if
z1 = r1 eiθ1 and z2 = r2 eiθ2 then
Figure 1.3: Geometric interpretation of conjugation and taking real and imaginary
parts.
Remark 1.6. The first two properties above along with Corollary 1.5 make the modulus
a norm on C (see later, Definition 2.2).
Proposition 1.9. We have the following properties of the complex exponential function:
1. ez 6= 0 for all z ∈ C,
4. e−z = 1/ez ,
5. |ez | = eRe(z) .
Corollary 1.10. We have exp(2πi) = 1 and exp(πi) = −1. The latter is Euler’s
formula.
Corollary 1.11. The complex exponential function is 2πi-periodic; that is, exp(z +
2kπi) = exp(z) for any k ∈ Z.
Remark 1.12. The above implies exp is determined entirely by the values it takes in any
horizontal strip of width 2π in the complex plane. Note also that exp is ‘unbounded’,
since by 5. the modulus | exp(z)| gets arbitrarily large as Re(z) increases.
Remark 1.14. All the usual double angle formulae and equations relating the functions
hold: e.g., cos2 (z)+sin2 (z) = 1. Additionally, notice that we have cosh(iz) = cos(z) and
cos(iz) = cosh(z), while sinh(iz) = i sin(z) and sin(iz) = i sinh(z). All four functions
are unbounded.
Lemma 1.15. [Inverting the exponential function] For every w ∈ C∗ , the equation
ez = w (1.1)
Here, log |w| is the usual natural logarithm of the real number |w|. Note that there are
infinitely many solutions.
Rθ = {reiθ : r ∈ R, r ≥ 0} ⊂ C
then it is possible to define a continuous function log(z) on C \ Rθ . (One can think of
cutting out this ray as cutting out the points where log will have a jump discontinuity).
Definition 1.16 (Complex logarithm functions). For any two real numbers θ1 < θ2
with θ2 − θ1 = 2π, let arg be the choice of argument function with values in (θ1 , θ2 ].
Then the function
Definition 1.19 (Complex powers). For w ∈ C fixed, by choosing any branch of log
we can define a branch of the function z 7→ z w by the expression
Warning: different branches of log can give different power functions! So we must
always specify which branch of log we are using.
Remark 1.20. Now that we have defined complex powers, we should check that our
exponential function matches up with the concept of ‘raising e to the power z’ for a
suitable choice of log e. The natural choice of log e is 1. Then, e raised to the power z
should agree with computing exp(z log e) = exp(z) as we expected.
Figure 1.4: Geometric picture of how f (z) = z 2 transforms the right half-plane.
Infinite rays emanating from 0 map to horizontal lines, and circles centred at zero,
minus their interection with Rθ1 , map to vertical line segments (see Figure 1.5).
Figure 1.5: Geometric picture of how f (z) = log(z) transforms rays and circles.
Ĉ := C ∪ {∞}.
At the moment, we have accomplished nothing really. What will be useful later is that
we can think of the point ∞ as being glued ‘nicely’ onto C. The correct way to do this
is by introducing the Riemann sphere.
Let N = (0, 0, 1) ∈ S 2 denote the ‘north pole’. For any point v ∈ S 2 \{N }, there is a
unique straight line LN,v passing through N and v. Since v 6= N , this line is not parallel
to the (x, y)-plane. Hence it intersects the (x, y)-plane in a unique point (x, y, 0). This
corresponds to the point x + iy ∈ C. We have defined a map P : S 2 \ {N } → C by
P (v) = x + iy in the notation of the preceding discussion. The map P is called the
stereographic projection (from the north pole).
What is the formula for stereographic projection? Let (x, y, s) ∈ S 2 \ {N }. Note
that s 6= 1. The equation of the line passing through the point (x, y, s) ∈ S 2 and the
North Pole N = (0, 0, 1) ∈ S 2 is given by
x 0 x
γ(t) = N + y − N t = 0 + y t, (t ∈ R).
s 1 s−1
1
This clearly intersects the plane when t = 1−s . Thus
x iy
P : (x, y, s) 7→ + .
1−s 1−s
It is possible to find an inverse to P : given any point z ∈ C, draw the straight line
passing through N and z (thinking of C as the (x, y)-plane as before). This straight line
passes through S 2 in exactly one point. Hence P is a bijection that identifies S 2 \ {N }
with C.
Now we have identified C with S 2 \ {N } via the map P , it gives us a natural way
to view the added point ∞ of Ĉ. It should correspond to adding back in the north pole
to S 2 \ {N }. In other words, we should think of Ĉ simply as the entire sphere S 2 !
In fact, one can show that we have the following correspondences/mappings:
In S 2 In Ĉ (1.3)
N ←→ ∞
S ←→ 0
Equator ←→ Unit circle {z ∈ C : |z| = 1}
(open) Southern hemisphere ←→ D := {z ∈ C : |z| < 1}
(open) Northern hemisphere ←→ Ĉ \ B 1 (0) = Ĉ \ {z ∈ C : |z| ≤ 1}
Algebraically:
x + iy
(x, y, s) ←→ (Stereo. Proj.)
1−s
1
2Re(z), 2Im(z), |z|2 − 1
←→ z (Inverse Stereo. Proj.)
|z|2+1
Remark 1.22. Note that we could have used the south pole S = (0, 0, −1), rather than N ,
to define the projection. In that case we would have the correspondence (x, y, s) 7→ x+iy
1+s
(and you can check that the map f (z) = 1/z̄ takes x+iy
1−s to x+iy
1+s ).
CHAPTER 1. THE COMPLEX PLANE AND RIEMANN SPHERE 13
Definition 1.23. The Riemann sphere is the unit sphere S 2 ⊂ R3 along with the
stereographic projections from the north and south pole.
Remark 1.24. Later in your studies you might learn that the Riemann sphere is a
special example of a Riemann surface. The purpose of considering the two stereographic
projection maps as part of the definition is that any point in S 2 is in the domain of one
of the projections, so informally speaking, the maps allow us to think of a region nearby
to any point in S 2 as a region inside C.
Chapter 2
Metric Spaces
In both cases, the set is the same, but there is a different notion of distance. A metric
space is a set together with a ‘distance’ function that satisfies certain axioms.
Definition 2.1 (Metric spaces). A metric space is a set X together with a function
d : X × X → R≥0 such that for all x, y, z ∈ X
The function d is called a metric and we will often denote a metric space by (X, d).
Examples of Metrics
1. The metric induced by the modulus function | . | on R or C. We can define a
distance function d on R × R or C × C by the formula d(x, y) = |x − y|. This
metric satisfies (D1)-(D3) by the properties 1. and 2. of the modulus we gave just
after Corollary 1.5.
14
CHAPTER 2. METRIC SPACES 15
is a metric. It is easy to check properties (D1) − (D3). Note that this norm comes
from an inner-product. For example, for n = 2, the real Euclidean norm on R2
√
comes from the usual dot product kxk2 = x · x and the complex Euclidean p norm
2
on C comes from the inner product hz, wi = z1 w̄1 + z2 w̄2 ; that is kzk2 = hz, zi.
is a metric. Properties (D1) and (D2) are obvious, property (D3) follows
from Cauchy-Schwarz: | hv, wi | ≤ kvk · kwk - see sheet 2.
• (b) Metrics induced from norms in vector spaces
Even more generally, so long as a vector space has a ‘nice’ notion of the ‘size’
of each vector, we can define a metric in the obvious way. Such a notion is
in generality referred to as a norm:
Definition 2.2. [Norms and normed vector spaces] Given any real or com-
plex vector space V , a function k . k : V → R≥0 is a norm if it satisfies (for
v, w ∈ V )
– (N1) kvk ≥ 0 and kvk = 0 ⇐⇒ v = 0;
– (N2) kλvk = |λ| · kvk for λ ∈ R or C;
– (N3) kv + wk ≤ kvk + kwk (the triangle inequality).
Note that (N3) implies kv − wk ≥ | kvk − kwk | (the reverse triangle inequal-
ity). A vector space equipped with a norm is called a normed vector space.
The metric given by d(v, w) := kv − wk then always defines a metric (it is
easy to check properties (D1)-(D3)). In particular, since the modulus func-
tion on C is a norm, the metric we get from the modulus function comes
from a norm.
4. `p -norm on Rn or Cn (p ≥ 1)
The above suggests that a vector space could be home to many different norms
(so many different metrics). But, not all norms arise from an inner product as in
CHAPTER 2. METRIC SPACES 16
defines a norm for every p ≥ 1, called the `p -norm. But, for p 6= 2 (the Euclidean
norm) it does not arise from an inner product. When p P= 1, the `1 -norm is simply
given by the sum of the size of the components kxk1 = ni=1 |xi | and is sometimes
referred to as the Taxicab norm.
5. `∞ -norm on Rn (or Cn )
The function
kxk∞ := max |xi |
i=1,...,n
also defines a norm, called the `∞ -norm (or the sup-norm), thus it also defines
a metric. It is in some sense the ‘limiting notion’ of the `p norms.
defines a norm, and thus a metric (see Analysis III for more examples).
CHAPTER 2. METRIC SPACES 17
9. Subspace metric
Any non-zero subset Y ⊂ X of a metric space X is itself a metric space with
respect to the same metric (this is easy to check). The metric restricted to the set
Y is then called the subspace metric [There is actually much more than meets
the eye with this metric - see sheets 2 and 3.]
Definition 2.3 (Balls in a metric space). Let (X, d) be a metric space, x ∈ X and let
r > 0 be a real number. Then:
2. Let us consider the unit ball B1 (0) in R2 with respect to the `p -norms, for p = 1, 2
and ∞.
For p = 2 the unit ball B1 (0) is the usual Euclidean ball - so the inside of the unit
circle centred at the origin. For p = ∞, the equation max{|x|, |y|} < 1 (for (x, y) ∈
R2 ) clearly defines the interior of a square with vertices (1, 1), (−1, 1), (1, −1) and
(−1, −1).
For the `1 -norm a little care is needed. We are interested in the points (x, y) ∈ R2
with |x| + |y| < 1. In the 1st quadrant this means y < 1 − x, in the 2nd it means
y < 1 + x, in the 3rd we have y > −1 − x and in the 4th its y > x − 1. Thus, the
unit ball is the interior of a diamond with vertices (1, 0), (0, 1), (−1, 0) and (0, −1).
CHAPTER 2. METRIC SPACES 18
Definition 2.4. [Open/closed sets in a metric space] Let (X, d) be a metric space.
Then:
• A subset U ⊆ X is open (in X) if for every point x ∈ U there exists > 0 such
that B (x) ⊂ U .
Remark 2.5. Sets in a metric space can be open and closed at the same time! For
example, the empty set ∅ and the whole metric space X are both open and closed. Such
sets are referred to as ‘clopen’.
Lemma 2.6. [Open balls are open] In a metric space, the open ball Br (x) is open!
Proof. Let y ∈ Br (x) with d(x, y) = s (and so s < r). We need to show there exists
> 0 such that B (y) ⊆ Br (x). Simply take = r − s > 0. Then for every z ∈ B (y)
we have
(D3)
d(x, z) ≤ d(x, y) + d(y, z) < s + = r.
Thus, z ∈ Br (x) as required.
Remark 2.7. It can also be shown that in a metric space the closed ball B r (x) is closed
(see Sheet 2).
Therefore, (by Lemma 2.6) every singleton {x} is an open set with respect to the
discrete metric. Moreover, the complement X \ {x} is also open, since for any
y ∈ X \ {x} (that is, any y 6= x in X) and any r < 1 the open ball Br (y) = {y}
is contained in X \ {x}. Thus, all balls are clopen with respect to the discrete
metric! In fact, any subset Y ⊆ X of a discrete metric space is clopen!
CHAPTER 2. METRIC SPACES 19
3. Sets don’t have to be either open or closed. For example, [0, 1) is neither open
nor closed in R (with respect to the standard metric | . |) - simply check the point
x = 0 in [0, 1) and the point x = 1 in the complement (−∞, 0) ∪ [1, ∞). However,
recall that any subset of a metric space is itself a metric space (w.r.t the same
metric) - the subspace metric. Thus the pair ([0, 1), | . |) is a metric space - but
then (by the remark after Definition 2.4) the set [0, 1) is open!
Key: Open and closed sets are really relative notions, depending on the ambient
space (as well as the metric).
Notation: When we say a subset of R or Rn or C are open/closed, we will mean
with respect to the standard norms | . | and k . k2 and | . | respectively. Most sets
we encounter do not simply look like open/closed balls, so it will be useful to have
rules for union and intersection:
Lemma 2.8. [Unions and intersections of open sets] Let (X, d) be a metric space.
Then:
S
Proof. 1. Let x ∈ i∈I Ui . Then, by definition, it must be contained in the set Uj
for some j ∈ I. Since Uj is openSthere must exist a ball B (x) centred at x lying
in Uj . But then B (x) ⊆ Uj ⊆ i∈I Ui as required.
n
\ n
\
B (x) ⊆ Bri (x) ⊆ Ui .
i=1 i=1
CHAPTER 2. METRIC SPACES 20
Corollary 2.9 (Unions and intersections of closed sets). Let (X, d) be a metric space.
Then:
1. Finite unions of closed sets are closed.
• The next generalisation of a metric space you will encounter (see Topology III)
is called a Topological space T . There, the only stipulations are the existence of
open sets such that
We have a hierarchy:
• Why have we been looking at examples in R2 rather than C? It turns out that
both these spaces are ‘topologically equivalent’, that is, they have the same open
sets - this is obvious since the complex modulus is essentially just the Euclidean
norm on R2 .
As we have seen, some sets are neither open nor closed. It will be useful to ask what
the largest possible open set is inside a given set. Similarly, what is the smallest closed
set containing a given set?
Definition 2.10 (Interior points, closure, boundary, exterior). Let A be a subset of a
metric space (X, d).
• The interior A0 of A is defined by
∂A := Ā \ A0 = X \ (A0 ∪ (X \ A)0 ) .
• Don’t confuse closure with conjugation! Closure concerns sets in any metric space,
conjugation concerns points in C.
• Clearly the interior and exterior are open and clearly the boundary is closed. The
closure is also closed (see sheet 2) - in fact, it is often defined more simply as
Ā := X \ (X \ A)0 , from which the closedness is obvious - it is the complement of
an open set.
• The boundary matches our naive notion. Broadly speaking, the interior of a set
consists of all the points that are not on its ‘edge’, and to form the closure of
a set you simply add all the missing edge points. Indeed, we have the following
additional properties of a subset A ⊂ X (see sheet 2):
[
(a) A is open ⇐⇒ ∂A ∩ A = ∅ ⇐⇒ A = A0 ; In fact A0 = U;
U ⊆A
U open
\
(b) A is closed ⇐⇒ ∂A ⊆ A ⇐⇒ A = Ā; In fact Ā = F;
A⊆F
F closed
That is, the interior A0 is the largest open set contained in A and the closure Ā
is the smallest closed set containing A. Convince yourself that all the definitions
reflect your intuitive notions, say, for the plane!
• In Rn or Cn for simple sets we only have to replace strict inequality with equality
(or vice versa) to obtain the closure (or interior). For example, for A = {z ∈ C :
1 < |z| ≤ 3}, we have A0 = {z ∈ C : 1 < |z| < 3}, Ā = {z ∈ C : 1 ≤ |z| ≤ 3}, and
∂A = {z ∈ C : |z| = 1} ∪ {z ∈ C : |z| = 3} (see Figure 2.1).
Similarly
and
{z ∈ C : 1 < Re(z) ≤ 3, |Im(z)| < 1}0 = {z ∈ C : 1 < Re(z) < 3, |Im(z)| < 1}.
CHAPTER 2. METRIC SPACES 22
Definition 2.11. [Limits and convergence in a metric space] We say a sequence {xn }
in a metric space (X, d) converges to x ∈ X if we have
lim d(xn , x) = 0.
n→∞
That is,
for every > 0 there exists N ∈ N such that d(xn , x) < for every n > N.
Show that with respect to this metric the sequence {ki}k∈N in Ĉ converges to ∞ ∈ Ĉ.
Since |ki| = k and f (∞) = (0, 0, 1) we have
k2 − 1
2k
d(ki, ∞) = kf (ki) − f (∞)k2 = 0, 2 , 2 − (0, 0, 1)
k +1 k +1 2
2k 2
= 0, 2 ,− 2
k +1 k +1 2
s 2 2
2k −2
= + −→ 0 as k → ∞.
k2 + 1 k2 + 1
Thus, the sequence indeed converges to ∞. This is quite an odd notion as we are
used to saying sequences ‘diverge’ if they tend to infinity. The key is that convergence
depends on the metric being used.
In other words, the sequence {zn } converges iff the real sequences {Re(zn )} and {Im(zn )}
converge (see Sheet 3).
Let’s return to our general setting of metric spaces and prove some properties of
limits.
Lemma 2.12. [Limits and open sets] Let (X, d) be a metric space. Then:
CHAPTER 2. METRIC SPACES 24
Hence the notion of a limit in a metric space can be stated in terms only of its
open sets.
Proof. 1. Assume lim xn = x and lim xn = y. Then we have for each n, by the
n→∞ n→∞
triangle inequality d(x, y) ≤ d(x, xn ) + d(xn , y), so taking the limit as n → ∞
gives
d(x, y) ≤ lim d(x, xn ) + lim d(xn , y) = 0 + 0 = 0,
n→∞ n→∞
so d(x, y) = 0, hence x = y by property (D1) of metric spaces.
2. (⇒): Assume lim xn = x and that U is open with x ∈ U . By definition there
n→∞
exists r > 0 such that Br (x) ⊆ U and an N ∈ N such that d(xn , x) < r for every
n > N . Thus, xn ∈ Br (x) ⊆ U for every n > N .
(⇐): Let > 0. We wish to find N ∈ N such that d(xn , x) < for n > N . Consider
the ball B (x). It is open and contains x, and so there exists N ∈ N such that
xn ∈ B (x) for every n > N . This is precisely the statement that d(xn , x) < for
n > N.
Remark 2.13. The key to completing proofs of this type is to write down the definitions
in your assumptions and also write precisely what you need to prove. Usually, doing
this leads very quickly to the proof.
We can now define what it means for a function between two metric spaces to be
continuous (this will incorporate many of the functions we have already encountered;
e.g., f : C → C; R → C; or C → R).
Definition 2.14 (Continuity). A map f : (X1 , d1 ) → (X2 , d2 ) between two metric
spaces is called continuous at x0 ∈ X1 if
∀ > 0 ∃δ > 0 such that ∀ x ∈ X1 we have d1 (x, x0 ) < δ ⇒ d2 (f (x), f (x0 )) < .
• All of exp, sin, cos, sinh and cosh are continuous on C, as are all polynomials.
• If arg is the choice of argument function with values in (θ1 , θ2 ] then arg is contin-
uous on C\Rθ1 (recall Rθ1 is the ray with angle θ1 )
As with limits, it will be useful to restate continuity in terms of open sets. First, recall
that for any function f : X1 → X2 and any set U ⊆ X2 we define the preimage f −1 (U )
of U under f by f −1 (U ) := {x ∈ X1 : f (x) ∈ U }.
Theorem 2.17. [Continuity via open sets] Let X1 and X2 be metric spaces. Then:
• (⇐): Let x ∈ X1 and > 0. We need to find a δ > 0 such that y ∈ Bδ (x) ⇒
f (y) ∈ B (f (x)). First notice that (by Lemma 2.6) the ball B (f (x)) is open. By
assumption, the preimage f −1 (B (f (x))) of this ball is also open. The point x
must be in this preimage (because the centre f (x) is certainly in B (f (x))). Then,
since the preimage is open there must exist an open ball Bδ (x) around x contained
in f −1 (B (f (x))). But, this is precisely the statement that y ∈ Bδ (x) ⇒ f (y) ∈
B (f (x)) as required.
Remark 2.18. • From the proof we see that we can be slightly more precise than
the statement of the theorem. We have, for example
• Note that for the (⇐) direction we only actually needed the fact that f −1 (B) was
open for any open ball B in X2 . It turns out that the open balls ‘generate’ all the
open sets (via Lemma 2.8) - see Topology/Analysis III!
Since (2, ∞) is open in R (see sheet 2), the set U is the preimage of an open set
under a continuous map and by Theorem 2.17 it is therefore open.
• We can actually do a little more using the following useful properties of the preim-
age (from Analysis I):
Useful properties of preimage
– f −1 (A ∪ B) = f −1 (A) ∪ f −1 (B).
– f −1 (A ∩ B) = f −1 (A) ∩ f −1 (B).
– f −1 (A \ B) = f −1 (A) \ f −1 (B).
Both
f (x, y) = xy and g(x, y) = x2 + y 2
are continuous as functions R2 → R, and U = f −1 ((1, ∞)) ∩ g −1 ((3, ∞)).
Since f and g are continuous and both (1, ∞) and (3, ∞) are open in R, the
preimages f −1 ((1, ∞)) and g −1 ((3, ∞)) are open (by Theorem 2.17). By Lemma
2.8 we have that U is open, since it is the intersection of two open sets.
isn’t continuous at (0, 0). Why? Consider the preimage f −1 ((−, )). Claim:
This preimage is not open for sufficiently small.
First note that the preimage in question contains (0, 0) since f ((0, 0)) = 0. To
show the preimage is not open it is enough to show that any open ball in R2
centred at (0, 0) is not contained in f −1 ((−, )): Let < 1/4, say, and for any
CHAPTER 2. METRIC SPACES 28
δ > 0 consider the ball Bδ ((0, 0)) centred at (0, q 0). The point (δ/2, δ/2) is in
2 2
Bδ ((0, 0)) since k( 2 , 2 ) − (0, 0)k2 = k( 2 , 2 )k2 = δ4 + δ4 = √δ2 < δ. But
δ δ δ δ
δ δ
·
δ δ 2 2 1
f , = δ2 δ2
= > ,
2 2 2
4 + 4
so (δ/2, δ/2) is not in f −1 ((−, )). Thus, for any δ > 0 the ball Bδ ((0, 0)) is not
contained in f −1 ((−, )) and so this preimage is not open.
Since (−, ) is open in R it follows from Theorem 2.17 that f is not continuous.
Why preimages?
Note that the use of preimages in Theorem 2.17, rather than images, is important.
The same result is not true of images. E.g., the function f (z) = |z| is continuous as a
function C → R, but it maps an open set in the complex plane f : D → [0, 1) to an
interval that is neither open nor closed in R.
Note that this f is actually a bijection from R≥0 to R≥0 , and in R≥0 the interval
[0, 1) is open! So, is the problem that we need the function to be bijective? No. For
example, consider the metric spaces X1 = [0, 1) ∪ [2, 3] and X2 = [0, 2] with the usual
(subspace) metric coming from the absolute value on R. Define
(
x, if x ∈ [0, 1).
f : X1 → X2 : x 7→
x − 1, if x ∈ [2, 3].
as required.) But, the set [2, 3] is open in X1 (see sheet 3) and its image f ([2, 3]) = [1, 2]
is not open in X2 .
Thus, we genuinely do need to use preimages. When can we use images of contin-
uous functions to preserve properties of the sets in question? When can we find the
maximum/minimum value taken by a function on a set? It turns out a key concept is
that of compactness.
CHAPTER 2. METRIC SPACES 29
2.4 Compactness
Definition 2.19 (Compactness). A non-empty subset K of a metric space X is called
(sequentially) compact if for any sequence {xk }k∈N in K there exists a convergent
subsequence {xnk }k∈N with limit in K.
Note that the initial sequence in the definition does not have to converge. But what
if it does? What is the link between a convergent sequence and its subsequences?
Lemma 2.20. If {xk }k∈N is a convergent sequence in a metric space X, then any
subsequence converges to the same limit.
It seems quite daunting to have to check every sequence in a set for convergent sub-
sequences, so it will be useful to re-express compactness in terms of our basic building
blocks; that is, open and closed sets. However, exploring openness doesn’t seem par-
ticularly fruitful; for example, consider the set (0, 1) in R; the sequence {1/n} lies in
(0, 1), but its limit is 0 ∈
/ (0, 1). Moreover, any subsequence must have the same limit
0 by Lemma 2.20, and so (0, 1) is not compact. Let’s try closedness.
Proof.
• (⇒): Assume F is closed and let {xn }n∈N be a sequence with xn ∈ F that converges
to x ∈ X. We wish to show x ∈ F . For a contradiction, assume x ∈ / F ; that is,
assume x ∈ X \ F . We know X \ F is open, so by definition there must exist an
open ball B (x) centred at x and contained in X \ F . But xn → x, so there exists
N ∈ N such that xn ∈ B (x) for n > N . Thus xn ∈ X \ F for n > N (that is,
xn ∈
/ F for n > N ), which is a contradiction.
Proof. 1. If F is compact and {xk }k∈N is a convergent sequence with xk ∈ F and limit
x ∈ X, then by definition there must exist a convergent subsequence {xnk }k∈N
with limit x0 ∈ F . But, by Lemma 2.20, these limits must be the same; i.e.,
x = x0 . Thus x ∈ F and by Proposition 2.21 the set F is closed.
Are all closed sets compact? No: e.g., [0, ∞) is closed in R, but xn = n has no
convergent subsequence. The problem here is that [0, ∞) is unbounded.
Lemma 2.24. [Compact sets are bounded] Let K ⊆ X be a compact subset of a metric
space X. Then K is bounded.
So, we know that compact sets are closed and bounded. Is that enough? Recall, the
theorem of Bolzano-Weierstrass from Analysis I. It states precisely that the closed
and bounded intervals [a, b] in R are compact.
Remark 2.26. Heine-Borel does not hold for arbitrary metric spaces.
CHAPTER 2. METRIC SPACES 31
The proof is simply induction on n, starting from the base ‘n = 1’ case for subsets
of R. For this reason (and since this is a Complex Analysis course), we will prove it for
C and leave the proof in higher dimensions for the enthusiastic reader - the statement
for C corresponds to that of R2 in the statement of Theorem 2.25, since C with its
standard metric can be identified with R2 with its standard metric.
Proof. • (⇒): This has been done via Corollary 2.22 and Lemma 2.24.
Remark 2.28. • The complex plane C is not compact with respect to the standard
metric; e.g., the sequence {ik}k∈N has no convergent subsequence. (Neither is
Rn .)
• The orthogonal group O(n) and the unitary group U(n) are compact; SLn (R) and
GLn (R) are not (the same holds for matrices with entries in C) - see sheet 3.
CHAPTER 2. METRIC SPACES 32
Finally, before stating the connection between continuous functions and compact
sets, we restate continuity in terms of convergent sequences:
lim f (xn ) = f (x) for every convergent sequence {xn }n∈N in X with xn → x.
n→∞
Recall (from Analysis I) that non-empty compact sets in R have a minimal and
maximal element. [This is because f (x) = |x| is continuous - the statement you have
seen says continuous functions on compact sets attain their max/min.]
Proof. Let {yk }k∈N be a sequence in f (K), say with f (xk ) = yk . We wish to show it
has a convergent subsequence with limit in f (K). Since K is compact, there must be
a convergent subsequence {xnk }k∈N (of the sequence {xk }k∈N ) with some limit x in K.
Since f is continuous, we have by Lemma 2.29 that xnk → x implies ynk = f (xnk ) →
f (x). Thus {ynk }k∈N has limit f (x), and because x ∈ K we must have f (x) ∈ f (K).
Remark 2.31. It follows that if K is a compact subset of C, then Re(z), Im(z) and |z|
all attain maximum and minimum values on K. In term 2, we will find out a stronger
statement under the additional assumptions that f is (complex) differentiable and K is
‘nice’; then the maximum modulus of a function occurs on the boundary of K. This is
called the maximum modulus theorem.
Chapter 3
Complex Differentiation
f (z) − f (z0 )
lim exists.
z→z0 z − z0
We call this limit the derivative of f at z0 and write f 0 (z0 ) for the limit, i.e.
f (z0 + h) − f (z0 )
f 0 (z0 ) = lim .
h→0 h
Remark 3.2. • In the second formulation the quantity h is a complex number (not
a real number), so the limit must exist from every direction. The second is often
the more useful expression of the two.
(z + h)2 − z 2 z 2 + 2hz + h2 − z 2
lim = lim = lim (2z + h) = 2z.
h→0 h h→0 h h→0
33
CHAPTER 3. COMPLEX DIFFERENTIATION 34
2. Consider f (z) = z̄. For it to be differentiable we must obtain the same limit from
every direction. But, considering limits from the purely real and purely imaginary
directions, for every z ∈ C we have
z + h − z̄ h
lim = lim = 1,
h→0 h h→0 h
h∈R h∈R
yet
z + ih − z̄ −ih
lim = lim = −1.
h→0 ih h→0 ih
h∈R h∈R
Since z was arbitrary this shows f is not differentiable anywhere.
3. As in the real case, sums/products/quotients of complex differentiable functions
are complex differentiable where defined (e.g., all polynomials/rational functions).
In particular, the product and quotient rules hold for complex derivatives.
4. Composition of differentiable functions are complex differentiable where defined.
In particular, the chain rule holds for complex derivatives. The proofs of 3.
and 4. here are almost identical to those from Analysis I, so are excluded.
5. Generally, non-constant purely real/imaginary functions are not complex differen-
tiable ; e.g., Re(z), Im(z), |z| are nowhere differentiable as functions from C → C.
Proof. Since f is complex differentiable at z0 = x0 + iy0 , the limit in the definition must
exist and agree no matter which way we approach z0 . Choosing the purely real and
purely imaginary directions we have
We may split each limit into real and imaginary parts, by standard properties of complex
limits. Since, when h is real,
Returning to the function f (z) = z 2 , note that the C-R equations indeed hold: We
have u(x, y) = x2 − y 2 and v(x, y) = 2xy and so
Remark 3.4. [Warning] Note that Proposition 3.3 provides a way of showing a function is
not differentiable at a given point. It cannot be used to prove a function is differentiable.
I.e., it is only a necessary condition, not a sufficient one.
CHAPTER 3. COMPLEX DIFFERENTIATION 36
Proof. Omitted. (If you’re interested to see a proof of this theorem, then you can find
one in Section 5.6, page 59, of the book “Introduction to Complex Analysis” by H. A.
Priestley, Second Edition, Oxford University Press, 2009.)
All these functions are continuous as real functions (see Calculus I/AMV II) and
the C-R equations hold. Thus, by Theorem 3.5, exp is differentiable everywhere
in C and by Proposition 3.3
2. By the chain rule, f (z) = eiz is differentiable and f 0 (z) = ieiz . Since they are just
sums of exp, all of the functions sin, cos, sinh, cosh are differentiable everywhere
in C and you can verify
sin0 (z) = cos z, cos0 (z) = − sin z, sinh0 (z) = cosh z, cosh0 (z) = sinh z.
Similarly, all polynomials/rational functions are differentiable with the usual for-
mulae: e.g., for a0 . . . an complex;
For the branch of log corresponding to arguments in (θ1 , θ2 ], the function log(z) is
differentiable in C \ Rθ1 , i.e. at all points outside the branch cut. At these points,
the derivative is given by log0 (z) = 1/z (see Sheet 4 Q7 where this is proved for
the principal branch).
CHAPTER 3. COMPLEX DIFFERENTIATION 37
Thus, the partial derivatives exist and are continuous everywhere. We have uy =
−vx everywhere, but ux = vy if and only if 3x2 − 2x = −3y 2 + 4x + 3; that√is,
when (x − 1)2 + y 2 = 2. So, f is differentiable only on the circle of radius 2
centred at 1 in the complex plane!
Holomorphicity
In example 4. above, the function is only differentiable on a 1-dimensional subset of C.
This is a similar situation to a real function on R being differentiable only at a single
point - not a very interesting function to work with from an analytical perspective. It
will be useful for us to consider functions that are differentiable on genuine 2-dimensional
sets in C, for this will allow us to (later) express the functions using Taylor series. Such
functions will turn out to have some quite remarkable properties.
The set U is open, the function f is clearly holomorphic on U and has zero derivative
on U . However, it takes two different values - it is not constant. The problem is that
f lives on two ‘unconnected’ subsets of the complex plane. We wish to find conditions
on the set U under which we can conclude f is constant (as we are used to for real
functions).
First, we need some terminology:
2. The set C \ R≤0 , on which the principal branches of log and complex powers are
defined, is path-connected: Choose arbitrary a, b ∈ C \ R≤0 . If a lies on the
positive real axis then the line segment again works (since it avoids the negative
real axis). Otherwise, we could try letting
The first path takes a to |a|, avoiding R≤0 by tracing around the circle of radius
|a| centred at the origin. The second joins |a| to b via a straight line. See Figure
3.1. (You can reparametrize to make t run from 0 to 1 on the combined path if
you like.) But the combined path running through γ1 then γ2 is not differentiable
at the point where the paths γ1 and γ2 meet! One possibility for a differentiable
path joining the points a and b would be the arc of the circle through a and b that
does not cross R≤0 .
We know C \ R≤0 is also open, so it is a domain.
Figure 3.1: A depiction of the paths when a is on the real line, and when a is not on
the real line.
Previously we have seen that there is a chain rule for the composition of two complex
differentiable functions. There is also the chain rule for the composition of a complex
differentiable function and a smooth path:
This describes what happens to tangent vectors geometrically: f transforms the tangent
vector γ 0 (t0 ) by multiplying it by the complex number f 0 (z0 ).
But we understand what multiplication by complex numbers means geometrically:
if f 0 (z0 ) 6= 0 then multiplcation by f 0 (z0 ) is dilation (by |f 0 (z0 )|) followed by a rotation
(by Arg(f 0 (z0 ))).
We now notice the following: both dilations and rotations preserve the angles and
orientations between vectors! This completes the proof.
form ab −b
a
and the C-R equations are satisfied at z0 . Since f is real differentiable by
assumption, C-R equations are actually enough to show that f is complex differentiable
at z0 (we have not stated exactly this result before, but it holds). Since det Dz 6= 0 we
have f 0 (z0 ) = ux (x0 , y0 ) + ivx (x0 , y0 ) 6= 0.
Remark 3.17. [Advanced] The idea of this proof, in reverse, can be adapted to give a
more sophisticated proof of the CR equations!
Corollary 3.18. Any conformal map maps orthogonal grids in the (x, y)-plane to or-
thogonal grids.
• For the same example, consider the level curves u(x, y) = a and v(x, y) = b with
b
a, b 6= 0. These trace out the curves y 2 = x2 − a and y = 2x respectively. By
sketching these curves on a graph (for, say, u = ±1, v = ±1) we see that they are
CHAPTER 3. COMPLEX DIFFERENTIATION 43
perpendicular. (They have to be, since f (z) is conformal on C − {0} and they
map to perpendicular straight lines.)
Lemma 3.22 (Automorphism groups). Let D ⊂ C be a domain. The set of all biholo-
∼
morphic maps f : D −→ D from D to itself forms a group under composition. We call
this group the automorphism group of D and denote it by Aut(D).
• Aut(D) is closed: (f ◦ g) is holomorphic (by the chain rule) and its inverse
(f ◦ g)−1 := g −1 ◦ f −1 is also the composition of two holomorphic functions,
so holomorphic.
CHAPTER 3. COMPLEX DIFFERENTIATION 45
Remark 3.23. Note that example 1. shows conformal maps are not necessarily biholo-
morphic. On the other hand, it turns out (see Sheet 5) that all biholomorphic maps are
conformal. [Whilst the converse is not true in general, conformal maps turn out to be
‘locally’ biholomorphic.]
Chapter 4
Möbius transformations
MT : C → Ĉ
by the formula
az + b
MT (z) =
cz + d
if cz + d 6= 0, and if cz + d = 0, then we set MT (z) = ∞. The function MT is called a
Möbius transformation.
Remark 4.2. • [Advanced] The reason for excluding matrices for which det T = 0 is
because if det T = 0 and at least one of c and d is non-zero, so that the definition
makes sense, then T has rank 1, and this implies that (a, b) = λ(c, d) for some
λ ∈ C. But this would give that for z with cz + d 6= 0, we would have MT (z) = λ,
46
CHAPTER 4. MÖBIUS TRANSFORMATIONS 47
• For T ∈ GL2 (C), by taking complex square roots, we can find a number such that
k 2 = det T . Then
az b
az + b k + k
MT (z) = = cz d
= M k1 T (z)
cz + d k + k
and
1 1
det( k T ) = det T = 1.
k2
Thus, we may scale any T ∈ GL2 (C) to obtain T 0 = T
k such that det T 0 = 1, and
M T = MT 0 .
It is slightly annoying that at the moment, the domain of a Möbius transformation
is not the same as its codomain. This would prevent us from composing two Möbius
transformations. However, it is possible to extend the definition to describe where
∞ ∈ Ĉ gets mapped to: we declare that
(
a
if c 6= 0
MT (∞) = c .
∞ if c = 0
z−i 1 −i
2. The Cayley map f (z) = z+i corresponds to the matrix . We have
1 i
f (z) ∈ B1 (0) ⇐⇒ |f (z)| < 1 ⇐⇒ |z+i| > |z−i| ⇐⇒ z ∈ H = {z ∈ C : Im(z) > 0}.
Hence f maps the upper half plane to the open unit ball centered at 0. Moreover,
f (∞) = 1 and f (−i) = ∞.
Lemma 4.4. The set of Möbius transformations form a group under composition. Fur-
thermore,
Remark 4.5. Recall from Linear Algebra that GL2 (C) forms a group under matrix
multiplication. Lemma 4.4 says more than that the Möbius transformations form a
group. It says that the mapping
T 7→ MT
is a group homomorphism between GL2 (C) and the Möbius transformations! In other
words, composing Möbius transformations is basically just multiplying matrices!
a b
Lemma 4.6. Let T = ∈ GL2 (C). If c = 0, the Möbius transformation MT
c d
gives a biholomorphic map
∼
MT : C −→ C.
If c 6= 0, then MT gives a biholomorphic map
−d ∼ nao
MT : C − −
→C− .
c c
CHAPTER 4. MÖBIUS TRANSFORMATIONS 49
(z0 − z2 )(z1 − z3 )
(z0 , z1 ; z2 , z3 ) := .
(z0 − z3 )(z1 − z2 )
We can extend the definition to the case that one of the points is ∞ by removing all
differences involving that point, for example,
(z1 − z3 )
(∞, z1 ; z2 , z3 ) := .
(z1 − z2 )
We can use the cross ratio to prove that a Möbius transformation is uniquely deter-
mined by how it acts upon any three given points in Ĉ.
Theorem 4.11. [Three points Theorem] Let {z1 , z2 , z3 } and {w1 , w2 , w3 } be two sets of
three ordered distinct points in Ĉ. Then there exists a unique Möbius Transformation
f such that f (zi ) = wi for i = 1, 2, 3.
Proof.
Existence: Consider the functions
F (z) := (z, w1 ; w2 , w3 ), G(z) := (z, z1 ; z2 , z3 ).
These are Möbius transformations with the properties that F (w1 ) = 1, F (w2 ) = 0, F (w3 ) =
∞, and G(z1 ) = 1, G(z2 ) = 0, G(z3 ) = ∞. Therefore F −1 ◦ G maps each zi to wi .
Uniqueness: Assume that there are two such maps, say f and f˜. Then the Möbius
transformation H := f −1 ◦ f˜ satisfies H(zi ) = f −1 (f˜(zi )) = f −1 (wi ) = zi . This shows H
has three fixed points, z1 , z2 , z3 , and by Lemma 4.9 it must therefore be trivial. Thus,
f = f˜.
CHAPTER 4. MÖBIUS TRANSFORMATIONS 51
One has the following beautiful and fundamental fact about Möbius transformations:
Proof. Let wi = f (zi ). Let F and G be the functions defined in the proof of Theorem
4.11. Recall that F −1 ◦ G mapped each zi to wi . So does f . Since there is a unique
Möbius transformation with this property, we must have f = F −1 ◦ G. Rearranging,
F ◦ f = G. But this is just the identity stated after applying both functions to z0 :
so (∗) reduces to
w1 −w3 z − z2 z1 − z3
1· f (z)−w3 =
z − z3 z1 − z2
0−1 z − (−1) 1−i
⇐⇒ f (z)−1 =
z−i 1 − (−1)
−2(z − i)
⇐⇒ f (z) − 1 =
(z + 1)(1 − i)
(−1 − i)z + (1 + i)
⇐⇒ f (z) =
(1 − i)z + (1 − i)
−1 − i z−1
⇐⇒ f (z) =
1−i z+1
−iz + i
⇐⇒ f (z) = .
z+1
CHAPTER 4. MÖBIUS TRANSFORMATIONS 52
3. The region D0 bounded by MT (∂D) and containing MT (z0 ) is precisely the image
of D under MT , and
∼
MT : D −→ D0 = MT (D).
Proposition 4.13. Möbius transformations map circles and lines in Ĉ to circles and
lines in Ĉ.
Remark 4.14. [Technical] We consider any line to pass through infinity, so that the
above makes sense. By circles in Ĉ we mean simply circles in C.
In order to talk about what happens to circles and lines under Möbius transforma-
tions we need to know the equations of circles and lines. Of course, we already know
the equation of a circle or line, but it turns out these can both be described by the same
type of equation using complex numbers.
A circle of centre α and radius r is given by the equation
|z − α|2 = r2
z z̄ − αz̄ − ᾱz + β = 0.
CHAPTER 4. MÖBIUS TRANSFORMATIONS 53
This is the general equation of a circle, given by parameters α ∈ C and β ∈ R such that
|α|2 − β = r2 > 0.
What about lines? Well a line can always be written as a bisector:
` = {z ∈ C : |z − w1 | = |z − w2 |}
with w1 6= w2 ∈ C. This means
−αz̄ − ᾱz + β = 0.
This is the general equation of a line in C, given by parameters α ∈ C and β ∈ R such
that α 6= 0.
Therefore we have proved
Proof
of Proposition 4.13. Consider an arbitrary Möbius transformation MT where T =
a b
. We can assume by previous remarks that det T = 1. If c = 0, then MT is
c d
affine linear and is easily seen to preserve circles and lines (since rotations, dilations,
and translations obviously do). So we can assume c 6= 0.
Note that
!
az + b caz + cb a(cz + d) cb − ad a 1 a 1 1
MT (z) = = = + = − = − .
cz + d c(cz + d) c(cz + d) c(cz + d) c c(cz + d) c c2 z + dc
Thus MT is just some linear maps composed with the function f (z) = 1/z, called an
inversion. Since linear maps preserve circles and lines, it is therefore enough to consider
the action of f (z) = 1/z on lines and circles. Moreover, we have f −1 (z) = 1/z = f (z)
so it is enough to consider one direction.
CHAPTER 4. MÖBIUS TRANSFORMATIONS 54
We we use the term circline to refer to an object that is either a circle or line.
Hence the previous Proposition could have been stated ‘Möbius transformations pre-
serve circlines’. The fact that Möbius transformations preserve circles and lines is very
powerful when combined with:
Remark 4.16. Any three distinct non-colinear points z1 , z2 , z3 ∈ C uniquely determine
a circle in C passing through those points. Any two distinct points uniquely determine
a line passing through those points.
So to find out where a circle is mapped under a Möbius transformation, one simply
needs to check where three points on the circle are mapped!
(2+2i)z−(2+6i)
1, i, −1, −i under the map MT (z) = z−(1+2i) . Under MT :
S 2 to S 2 . Even better: the Möbius transformations give all the biholomorphic maps
from S 2 to S 2 .
What do circles and lines in Ĉ correspond to in the Riemann sphere? The answer
is just circles! We can now add some more to our table of correspondences in (1.3):
In S 2 In Ĉ
N ←→ ∞
S ←→ 0
Geometrically:
Circle not through N ←→ Circle
Circle through N ←→ Line
This also justifies our earlier convention that we think of all lines as passing through
infinity.
Remark 4.18. [Advanced] One other nice fact is that stereographic projection itself is
conformal! This means two tangent vectors to the sphere at the same point are mapped
to two tangent vectors in C (at the same point) with the same angle.
z−i
Example 4.19. Consider the map f : Ĉ → Ĉ, f (z) = i z+i . Using stereographic
ˆ
projection, we can think of this as a transformation f of the sphere S 2 . What is it?
We have that fˆ(N ) should correspond to f (∞) = i , fˆ(0, 1, 0) should correspond to
f (i) = 0 and fˆ(0, 0, −1) should correspond to f (0) = 1i = −i. So fˆ maps N, (0, 1, 0), (0, 0, −1)
to (0, 1, 0), (0, 0, −1), (0, −1, 0). We might guess that fˆ is simply a rotation of 90 de-
grees about the x-axis taking the ‘back’ hemisphere to the bottom/south hemisphere,
and this turns out to be correct!
To see why this is true, let’s cheat slightly and assume that the rotation that we’ve
guessed corresponds to a Möbius transformation. Then the Möbius transformation is
determined by what it does to three points, and we’ve already checked that our guess
agrees with the map f at three points ∞, i and 0.
Conversely, every such Möbius transformation maps H to H, and hence gives a biholo-
morphism from H to H.
In more concise terms, we have
Remark 4.21. This gives us a group homomorphism SL2 (R) → Mob(H) mapping T 7→
MT and hence also a group homomorphism SL2 (R) → Aut(H).
T ∈ GL2 (R).
Thus, all coefficients arereal, so
a b
Furthermore, if T = ∈ GL2 (R) and z = x + iy, then
c d
az + b (az + b)(cz̄ + d)
Im (MT (z)) = Im = Im
cz + d |cz + d|2
adz + bcz̄
= Im
|cz + d|2
(ad − bc)y y det T
= 2
= .
|cz + d| |cz + d|2
We have z ∈ H ⇐⇒ y > 0 so
Proposition 4.22. [D2D] Every Möbius transformation from the unit disk D to itself
is of the form MT with T in the set
α β 2 2
SU(1, 1) := T = : α, β ∈ C, det T = |α| − |β| = 1 .
β̄ ᾱ
CHAPTER 4. MÖBIUS TRANSFORMATIONS 58
Conversely, every such Möbius transformation maps D to D and hence gives a biholo-
morphic automorphism of D.
In more concise terms, we have
SU(1, 1) → Mob(D) T 7→ MT
• [Advanced] The group SU(1, 1) is not the Special Unitary Group SU(2). It is
actually the set of matrices T which preserve the quadratic form hz, wi = z1 w1 −
z2 w2 over C; so hT z, T wi = hz, wi for T ∈ SU(1, 1) and z, w ∈ C.
Proof. (⇒): Let MT : D → D be a Mob trans and consider the following picture:
f
H → H
MC MC
↓ ↓
M
D →T D
1 −i
where MC is the Cayley Map, so C = .
1 i
We have that f := MC −1 ◦ MT ◦ MC is a Möbius transformation from H to H. By Prop
−1
4.20 (H2H) f = MS with S ∈ SL2 (R), and by Lemma 4.4 we have S = C T C.
we have
a b
Let S = with ad − bc = 1 and a, b, c, d ∈ R. Then you can calculate that
c d
−1 1 (a + d) + i(b − c) (a − d) − i(c + b)
T = CSC = .
2 (a − d) + i(c + b) (a + d) − i(b − c)
as required.
(⇐): Conversely, if T ∈ SU(1, 1) then the same calculation in reverse shows that the
matrix S := C −1 T C is in SL2 (R). Thus MS : H → H is a Möbius transformation by
Prop 4.20 (H2H), and by Lemma 4.4 the map MT := MC ◦ MS ◦ MC−1 is a Möbius
transformation H → H.
We can actually say much more about what they look like:
CHAPTER 4. MÖBIUS TRANSFORMATIONS 59
2. All Möbius transformations of the unit disk to itself for which f (0) = 0 are rota-
tions about 0.
Remark 4.25. The map g(z) := zz−z 0
0 z−1
in the above swaps 0 and z0 and is an “involution"
(see Sheet 6); that is, g ◦ g = Id. Furthermore, the map z 7→ eiθ z is a rotation. So
all Möbius transformations of the unit disk are given by an involution followed by a
rotation.
so z0 = −b/a. Moreover, since − āa = 1, we must have − aā = eiθ for some
θ ∈ (−π, π]. All that remains is to check that z0 ∈ D. Since |a|2 − |b|2 = 1, we
have
2
2 b |b|2 1
|z0 | − 1 = − −1 = −1 = − < 0,
a |a|2 |a|2
and so |z0 | < 1 as required.
2. We have
iθ −z0
f (0) = 0 ⇐⇒ e =0 ⇐⇒ z0 = 0 ⇐⇒ f (z) = −eiθ z,
−1
and so f is a rotation.
−i + i i+i 0+i
MC −1 (−1) = = 0, MC −1 (1) = = ∞, MC −1 (0) = = i.
1+1 −1 + 1 0+1
Thus, the line segment from −1 to 1 (through 0) is taken to the line
segment from 0 to ∞ (through i); so, the nonnegative imaginary axis.
[You could also have just checked that “−d/c” = −1 is on the line, so it
must be taken to another line.]
– The circular arc from −1 to 1 (through −i). We have
−i2 + i
MC −1 (−i) = = 1.
i+1
Thus, the circular arc from −1 to 1 (through −i) is taken to the line
segment from 0 to ∞ (through 1); so, the real axis. [Instead, we could
just have used conformality to deduce that this was the image - the angle
and its orientation at z = −1 must be preserved, so the positive real axis
had to be the image.]
Combined, this tells us that the image of D under MC −1 is the first quadrant
Ω = {w ∈ C : 0 < Arg(w) < π/2} - by conformality the interior must stay
on the ‘same side’ of each line segment. [You could instead explicitly check
what happens to an element in D, say z = −i/2.]
• Step 2: We now need a biholomorphic map from Ω to H. We already know
∼
of one from earlier: the map g : z 7→ z 2 : Ω −
→ H. Since compositions of
biholomorphic maps are biholomorphic, this gives us the map we want; let
f := g ◦ MC −1 then
∼
f :D − → H.
We can write down the map f explicitly by composing the formulae of the func-
tions:
iz + i 2
iz + i
f (z) = g ◦ MC −1 (z) = g = .
−z + 1 −z + 1
CHAPTER 4. MÖBIUS TRANSFORMATIONS 62
2. Find the image of D\R≤0 := {z ∈ D : −π < Argz < π} under the map h(z) = z 1/2 .
Thus, find a biholomorphic map from D \ R≤0 to the unit disc D.
We have (using the principal branch)
√ √
iθ 1/2 iθ/2 θ π π
z = re (θ ∈ (−π, π), 0 < r < 1) ⇐⇒ z = re ∈ (− , ), 0 < r < 1 .
2 2 2
maps D \ R≤0 biholomorphically to the (open) right half of the unit disc.
We also know rotations are biholomorphic on C and so r(z) = e−π/2 z = −iz maps
the right half of the unit disc biholomorphically to the lower half of the unit disc.
Using the previous example f from 1. we can now write down a biholomorphic
map from D := {z ∈ D : Im(z) < 0} to H, and then map H (via the Cayley Map)
∼ ∼
to D. Namely, since MC (z) = z−i → D we have f˜ : D \ R≤0 −
z+i : H − → D, where
2
i(−iz 1/2 )+i
−(−iz 1/2 )+1
−i (z 1/2 + i)2 − i(iz 1/2 + 1)2
f˜(z) : = (MC ◦ f ◦ r ◦ h)(z) = 2 = ,
i(−iz 1/2 )+i
+i (z 1/2 + i)2 + i(iz 1/2 + 1)2
−(−iz 1/2 )+1
Since
π 1−i ∼
g(z) = e−i 4 z = √ z : {w ∈ C : Im(w) > Re(w)} −
→ H
2
CHAPTER 4. MÖBIUS TRANSFORMATIONS 63
Notions of Convergence in
complex analysis and power series
∞
X
for example, a power series an (z − z0 )n in C. First we need a concrete notion of
n=0
what it means for a sequence of functions between two metric spaces to converge. Our
initial naive idea is the following version:
Definition 5.1 (Pointwise convergence). Let (X, dX ) and (Y, dY ) be two metric spaces.
A sequence of functions {fn }n∈N : X → Y converges pointwise (on X) to f if every
x ∈ X the limit function f (x) := limn→∞ fn (x) exists in Y . In other words, we have
∀ x ∈ X and ∀ > 0, there exists N ∈ N such that ∀ n > N, dY (fn (x), f (x)) < .
64
CHAPTER 5. NOTIONS OF CONVERGENCE AND POWER SERIES 65
Remark 5.2. Note that for any given x ∈ X we have that fn (x) is just a sequence of
points in Y . This definition is precisely what we get by applying Definition 2.11 to the
sequence fn (x) at every point x ∈ X independently.
Key: Pointwise convergence does not preserve continuity. We need a better notion.
Note that N here does not depend on the specific choice of x ∈ X - the same N works
for all of them!
Remark 5.4. Uniform convergence trivially implies pointwise convergence (to the same
limit).
The following is a generalization of a theorem from Analysis I.
Theorem 5.5. [Uniform limits of continuous functions are continuous] Let (X, dX )
and (Y, dY ) be two metric spaces and let {fn }n∈N : X → Y be a sequence of continuous
functions that converges uniformly to f on X. Then f is continuous on X.
1. If |fn (x) − f (x)| ≤ sn for every x ∈ X, where {sn }n∈N is some sequence in R>0
(independent of x) with limn→∞ sn = 0, then fn converge uniformly to f on X.
2. If there exists a sequence xn ∈ X such that |fn (xn ) − f (xn )| ≥ c for some positive
constant c, then fn does not converge uniformly to f on X.
1. Let > 0 and x ∈ X. Since sn → 0 there exists N ∈ N with sn < for n > N .
Thus, for n > N we have |fn (x) − f (x)| ≤ sn < .
2. The statement obviously implies the negation of uniform continuity; it states that
there exists (= c) such that for all sufficiently large n ∈ N there is a point
x (= xn ) ∈ X for which |fn (x) − f (x)| ≥ .
Then
∞
X
fn converges uniformly on X to some limit function f : X → C.
n=1
Proof. Excluded - see similar proof from Analysis I. Instead, we will prove a stronger
result later.
converges uniformly on D and let f (z) be its limit function. Is f (z) continuous on D?
Note that when |z| ≤ 1 we have
n
|2z|3n 23n 8 1 1
2n 2
≤ 2n 2 = 2
< 2.
3 n 3 n 9 n n
We know n∈N 1/n2 converges, so taking Mn = 1/n2 the Weierstrass M-test implies
P
the function converges uniformly to some limit function f . Furthermore, since every fn
was continuous, then so is f (by Theorem 5.5).
Have we found our ideal definition of convergence? Indeed, we record one other
crucial property of uniform convergence from Analysis I:
Remark 5.9. If the convergence is not uniform all bets are off! We will heavily use this
in term 2 for contour integrals.
Everything looks good, but there is a slight issue to think about.
CHAPTER 5. NOTIONS OF CONVERGENCE AND POWER SERIES 69
so simply take zn = c1/n . We need this sequence to be in D so let’s set c = 1/2. Then
with zn = (1/2)1/n ∈ D, by construction we have
1/n !n n/n
1 1 1
|fn (zn ) − f (zn )| = −0 = = .
2 2 2
It follows from Lemma 5.6 part 2. that the convergence is not uniform. BUT, notice
that the limit function f (z) = 0 is trivially continuous on all of D - our notion can’t
even conclude that the constant function is continuous for a very basic example - we
have in some sense been too restrictive!
Theorem 5.11. Let {fn }n∈N be a sequence of continuous functions, which converges
locally uniformly on X to a limit function f . Then f is continuous on X.
Proof. Locally uniform convergence gives for any x ∈ X that the sequence converges
uniformly on some open U containing x. Hence f is continuous on U by Theorem 5.5.
Hence f is continuous at x. Since x was arbitrary, f is continuous.
Remark 5.12. This is in many ways the “right" notion for convergence of a sequence of
functions. It was championed by Weierstrass. In term 2, we will see that the limit of a
locally uniform convergent sequence of holomorphic functions is again holomorphic!!
CHAPTER 5. NOTIONS OF CONVERGENCE AND POWER SERIES 70
Taking the limit as j → ∞, both the LHS and RHS converge, and we get
∞
X
|F (y) − Fk (y)| ≤ Mn .
n=k+1
Now taking the limit as k → ∞ of both sides, the RHS goes to zero (any sequence that
converges must have tails that go to 0) and we obtain
∞
X
• an (z − c)n converges absolutely for |z − c| < R.
n=0
Remark 5.16. [Recap of Ratio and Root tests] The radius of convergence is usually
determined using the ratio test or the root test (see Analysis I) - it is the real number
for which the “limit value in the test is 1”.
We have the following key result:
∞
X
Theorem 5.17. A power series an (z − c)n with radius of convergence 0 < R ≤ ∞
n=0
converges uniformly on any ball Br (c) with 0 < r < R. This implies the power series is
locally uniformly convergent on its disc of convergence.
Proof. The second statement follows from the first since every w ∈ BR (c) is contained
in some Br (c) with r < R.
So we will prove the convergence is uniform on Br (c) given r < R. Consider
the point z0 = c + r. We have |z0 − c| = r < R, so z0 ∈ BR (c) and the se-
∞
X ∞
X
ries an (z0 − c)n = an rn converges absolutely by Theorem 5.15; in other words
n=1 n=1
∞
X
|an | rn < ∞. So, with Mn = |an | rn it follows that |an (z−c)n | ≤ Mn for all z ∈ Br (c)
n=1
∞
X
and Mn < ∞. Thus, the conditions of the M-test (Theorem 5.7) are satisfied and
n=0
∞
X
the series an (z − c)n converges uniformly on Br (c).
n=1
Remark 5.18. Power series do not converge uniformly in the entire disc of convergence
BR (c). The good news is that this is not necessary because we only need locally uniform
convergence to conclude continuity!
CHAPTER 5. NOTIONS OF CONVERGENCE AND POWER SERIES 73
for z ∈ BR (c).
CHAPTER 5. NOTIONS OF CONVERGENCE AND POWER SERIES 74
Proof. For simplicity, assume c = 0 (the case of general c is essentially the same).
f (z) − f (w)
We wish to show for each w ∈ BR (c) that lim exists and agrees with
z→w z−w
the expression in (5.3). Since convergence of f (z) is absolute in the disc of convergence
(meaning we can reorder sums), we have
∞
X ∞
X
f (z) − f (w) = an (z n − wn ) = an (z − w) qn (z),
n=1 n=1
n−1
X
where qn (z) = wk z n−1−k . So, for z 6= w
k=0
∞
f (z) − f (w) X
= an qn (z) =: h(z).
z−w
n=1
Note the series makes sense even at w, so we view h as being defined there too.
We claim that the series defining h(z) converges to a continuous function on BR (0).
We’ll prove this using the local M-test. Given z0 ∈ BR (0), choose r < R such that
w, z0 ∈ Br (0). We need constants Mn for this set Br (0) that control the terms an qn (z)
defining h. We have for z ∈ Br (0)
n−1
X n−1
X
k n−1−k
| an qn (z)| = an w z ≤ |an | |w|k |z|n−1−k
k=0 k=0
n−1
X
< |an | rk rn−1−k = n |an | rn−1 =: Mn .
k=0
P∞ P∞
We have n=1 Mn = n=0 n|an |rn−1 which converges, since by Proposition 5.19 the
∞
X
series nan z n−1 has radius of convergence R, and so converges absolutely on BR (0),
n=1
in particular at the point r. It follows from the Local M-test that the series defining h
converges locally uniformly to a continuous function on BR (0). Hence
∞ ∞ n−1 ∞
f (z) − f (w) X X X X
lim = lim h(z) = h(w) = an qn (w) = an wk wn−1−k = n an wn−1
z→w z−w z→w
n=1 n=1 k=0 n=1
as required.
Corollary 5.23 (Power series can be integrated term by term in their disc of conver-
gence). A power series f as in Theorem 5.21 with positive radius of convergence has
a holomorphic
P∞ antiderivative F : BR (c) → C, that is, F 0 (z) = f (z), and F is given by
an n+1
F (z) := n=0 n+1 (z − c) for z ∈ BR (c).
This limit function is defined and is continuous on all of C \ {1}. So, in some sense
the convergence of the series in the complex plane is limited to the unit disc D
because it can’t pass the ‘pole’ at z = 1.
∞
X
substitution z 7→ z2 we have z 2n converges locally uniformly on D to 1
1−z 2
,
n=1
∞
X
and similarly, by the substitution z 7→ −z 2 we have (−1)n z 2n converges locally
n=1
1
uniformly to 1+z 2
.
These examples give us real insight into the reasons for convergence of the corre-
sponding real power series. Consider the graph of the real function y = 1/(1−x2 ).
It appears obvious why its real interval of convergence is the unit interval - there
are asymptotes at x = ±1 that we can’t ‘get past’ continuously. But on the other
1
hand y = 1+x 2 is a nice smooth looking graph everywhere on the real line - so
why on earth is its interval of convergence also restricted to the unit interval?
We can now see the answer - the interval of convergence of the real power series
is restricted by the disc of convergence of the corresponding complex power se-
ries!!! The issue being the poles in the complex plane at z = ±i that we couldn’t
see when considering only the real version of the function. So hidden inside the
real power series of nice continuous real function is actually some meaningful and
significant complex analysis.
Key: Complex analysis can give us new information about real functions!
Chapter 6
Our first step towards the above is to start by considering complex valued functions
of a real variable. That is,
f : [a, b] → C
where [a, b] ⊂ R. We note that such a function can be written as
77
CHAPTER 6. COMPLEX INTEGRATION OVER CONTOURS 78
Example 6.1. We consider the function f (t) = t + it. That is u(t) = v(t) = t. We
compute
Z 1 Z 1 Z 1 Z 1
f (t) dt = (t + it) dt = t dt + i t dt =
0 0 0 0
1 1
t2 t2
1 1
= +i = +i .
2 0 2 0 2 2
Lemma 6.2.
Rb
1. Let f1 and f2 be continuous functions from [a, b] to C. Then a (f1 (t) + f2 (t))dt =
Rb Rb
a f1 (t)dt + a f2 (t)dt.
Rb
2. For any complex number c ∈ C, and continuous function f : [a, b] → C, a cf (t)dt =
Rb
c a f (t)dt.
Proof. (Simple, included for completeness). For part 1, write fj = uj + ivj where uj
and vj are the real and imaginary parts of fj . Then using the definition, and the known
linearity of real integrals,
Z b Z b
(f1 (t) + f2 (t))dt = (u1 (t) + iv1 (t) + u2 (t) + iv2 (t))dt
a a
Z b
= (u1 (t) + u2 (t) + i(v1 (t) + v2 (t))dt
a
Z b Z b
= (u1 (t) + u2 (t))dt + i (v1 (t) + v2 (t))dt
a a
Z b Z b Z b Z b
= u1 (t)dt + u2 (t)dt + i v1 (t)dt + v2 (t)dt
a a a a
Z b Z b Z b Z b
= u1 (t)dt + i v1 (t)dt + u2 (t)dt + i v2 (t)dt
a a a a
Z b Z b
= f1 (t)dt + f2 (t)dt.
a a
For part 2 we write f = u + iv where u and v are real, and write c = x + iy. Then
using linearity of real integrals as before,
CHAPTER 6. COMPLEX INTEGRATION OVER CONTOURS 79
Z b Z b
cf (t)dt = (x + iy)(u(t) + iv(t))dt
a a
Z b
= (xu(t) − yv(t) + i(yu(t) + xv(t)))dt
a
Z b Z b
= (xu(t) − yv(t))dt + i (yu(t) + xv(t)))dt
a a
Z b Z b Z b Z b
=x u(t)dt − y v(t)dt + i y u(t)dt + x v(t)dt
a a a a
Z b Z b
= (x + iy) u(t)dt + i v(t)dt
a a
Z b
=c f (t)dt.
a
1. An example of a C 1 curve is
where r > 0. (Here we use the letter θ to denote the parameter since it is more
often used to denote angles.) We note that this is nothing else than the circle
with center the origin and radius r. Moreover we note that as the parameter θ
runs from 0 to 2π we run the curve on a anti-clockwise direction. It is easy to see
that this is C 1 since
where r > 0. We note the graph of this curve is exactly the same as above, namely
the circle centred at the origin and radius r. However here we run the curve on
the clockwise direction!
Remark 6.5. Note the function f is of a complex variable z. Moreover f (γ(t)) makes
sense since γ([a, b]) ⊂ U . Furthermore the condition that γ is C 1 guarantees the exis-
tence of γ 0 (t). Finally the function g(t) := f (γ(t))γ 0 (t) is a function of the real variable
Rb
t, so we have already defined a g(t) dt above.
Basic Properties. We now note the following basic properties. Assume f is continu-
ous.
1. We have Z Z Z
(f1 (z) + f2 (z)) dz = f1 (z) dz + f2 (z) dz
γ γ γ
CHAPTER 6. COMPLEX INTEGRATION OVER CONTOURS 81
2. For a c ∈ C we have Z Z
cf (z) dz = c f (z) dz.
γ γ
Indeed,
Z Z b Z b Z
cf (z) dz := cf (γ(t))γ 0 (t) dt = c f (γ(t))γ 0 (t) dt = c f (z) dz
γ a a γ
3. Given γ : [a, b] → C we define the curve (−γ) : [−b, −a] → C, by (−γ)(t) := γ(−t).
Then we have Z Z
f (z) dz = − f (z) dz.
−γ γ
Example 6.6.
In the last example we may parametrise the same curve differently. For example we
may consider δ : [0, 1] → C where δ(t) = 2eπi(t−1/2) . It is easily seen that both γ
and δ parametrise the very same curve, namely the semi-circle joining −2iRand 2i and
lying entirely at the positive part of the x-axis. We may then ask whether γ f (z) dz =
R
δ f (z) dz. It turns out that this is indeed the case, as the following lemma shows.
Lemma 6.7 (Reparametrisation of curves). Let U ⊂ C be an open set, f : U → C be
continuous, and let γ : [a, b] → U be a C 1 curve. If φ : [a0 , b0 ] → [a, b] with φ(a0 ) = a
and φ(b0 ) = b is continuously differentiable and we define
δ : [a0 , b0 ] → C, δ := γ ◦ φ (composition),
then we have Z Z
f (z) dz = f (z) dz.
γ δ
Proof. We have
Z Z b0
f (z) dz = f (δ(t))δ 0 (t) dt
δ a0
Z b0
= f (γ(φ(t)))(γ(φ(t))0 dt
a0
Z b0
= f (γ(φ(t)))γ 0 (φ(t))φ0 (t) dt
a0
We change the variable s := φ(t) and get that ds = φ0 (t)dt, and we use the fact that
φ(a0 ) = a and φ(b0 ) = b. That is, the integral above is equal to
Z b Z
f (γ(s))γ 0 (s) ds = f (z) dz.
a γ
In the last example above we have, with φ(t) = π(t − 21 ) that δ = γ ◦ φ. The next
step is to consider more general curves, and not only C 1 curves.
Definition 6.8 (Contours). Let γ : [a, b] → C be a curve, and suppose that there exist
a = a0 < a1 < a2 < . . . < an−1 < an = b such that the curves γi : [ai−1 , ai ] → C,
i = 1, 2, . . . , n defined by γi (t) := γ(t) for t ∈ [ai−1 , ai ] are C 1 curves. Then we say that
γ is a piecewise C 1 -curve, or contour .
For a contour γ as above, we then define
Z n Z
X
f (z) dz = f (z) dz.
γ i=1 γi
This type of integral is called a contour integral. It is the main object of study of
this chapter and plays a cental role in Complex Analysis.
CHAPTER 6. COMPLEX INTEGRATION OVER CONTOURS 83
Remark 6.9. [Technical] Here one should check that the above is well-defined. That is,
we may find a different a = a00 < a01 < a02 < . . . < a0m−1 < a0m = b, and γj0 to establish
that γ is a contour. But then it is easy to show that
n Z
X m Z
X
f (z) dz = f (z) dz.
i=1 γi j=1 γj0
We will need one more definition regarding curves. We will need to add them. That
is, if γ : [a, b] → C and δ : [c, d] → C are two contours with γ(b) = δ(c) then we define
the contour γ ∪ δ : [a, b + d − c] → C
(
γ(t), a ≤ t ≤ b
(γ ∪ δ)(t) :=
δ(t + c − b), b ≤ t ≤ b + d − c.
Proof. First we consider the case of γ being a C 1 curve. Write F = u + iv. We have
Z Z b
F 0 (z) dz = F 0 (γ(t))γ 0 (t) dt
γ a
CHAPTER 6. COMPLEX INTEGRATION OVER CONTOURS 84
Z b Z b Z b
0 0
= (F (γ(t))) dt = (u(γ(t))) dt + i (v(γ(t)))0 dt
a a a
= [u(γ(t))]ba + i [v(γ(t))]ba = F (γ(b)) − F (γ(a)).
Remark 6.11.
• Note that Theorem 6.10 states that if two curves γ1 : [a, b] → C and γ2 : [a0 , b0 ] → C
have the same endpoints, that is γ1 (a) = γ2 (a0 ) and γ1 (b) = γ2 (b0 ) then
Z Z
f (z) dz = f (z) dz
γ1 γ2
where γ(θ) = reiθ , 0 ≤ θ ≤ 2π. We first consider the case n 6= −1. Then we have
0 r
z n+1 z n+1
Z Z Z
n n
z dz = z dz = dz = = 0,
|z|=r γ γ n+1 n+1 r
n+1
that is we apply the theorem with F (z) = zn+1 and take U = C \ {0}, which clearly
contains the curve γ.
However we cannot do the same with n = −1. Indeed, a natural candidate to
consider as F (z) would be the logarithm. But we have to make sure that the open set
U where this is defined does include the curve γ. For example the principal branch of
CHAPTER 6. COMPLEX INTEGRATION OVER CONTOURS 85
the logarithm will not do, since we remove the negative real axis, and the contour γ
goes through it. Actually if we turn to the actual definition of the integral we see that
Z Z 2π Z 2π
1 −1 −iθ iθ
dz = r e rie dθ = i dθ = 2πi 6= 0.
γ z 0 0
Note that the integral is not zero. That is, we can conclude that there is no open set
U that contains γ such that log(z) is well-defined, since if it were so, by the theorem
above we would get that the integral had to be zero, which is not!
For this we need to be able to estimate the modulus of a contour integral, that is,
R
bound γ f (z) dz from above. We start with a definition.
We now prove
where
sup |f | := sup{|f (z)| : z ∈ γ}.
γ
Z b Z b
−iθ
= Re e g(t) dt = Re e−iθ g(t) dt
a a
Z b Z b
−iθ
≤ e g(t) dt = |g(t)| dt
a a
Using (6.1) we can now conclude the proof of the lemma. Indeed,
Z Z b Z b
f (z) dz = f (γ(t))γ 0 (t) dt ≤ f (γ(t))γ 0 (t) dt,
γ a a
where we used the above observation for g(t) = f (γ(t))γ 0 (t). But then we have that
Z b Z b
0
f (γ(t))γ (t) dt ≤ sup |f | γ 0 (t) dt = sup |f |L(γ).
a γ a γ
Example 6.16. We consider γ : [0, π/2] → C given by γ(θ) = 2eiθ . Then we get an
upper bound for Z
z+4
3
dz
γ z −1
R π/2
We have L(γ) = 0 |(2eiθ )0 | dθ = π, and for z ∈ γ, that is |z| = 2 we have
z+4 |z + 4| |z| + 4 6
3
= 3 ≤ 3
= .
z −1 |z − 1| ||z| − 1| 7
Here we used the triangle inequality for the numerator and the reverse triangle inequality
for the denominator. Then, by Proposition 6.15,
Z
z+4 6π
3
dz ≤ .
γ z −1 7
We are now ready to answer the problem stated above. The next theorem gives a
converse to the second part of the FTC.
Step 1. F (w) doesn’t depend on the contour we use. We first check that F (w) does
not depend on the choice of contour connecting a0 and w. To see this, if γ̃(w) is another
contour from a0 to w, then we can consider the closed contour C = γ(w) ∪ (−γ̃(w))
obtained by following γ(w) then γ̃(w) in the reverse direction. Then
Z Z Z Z
0= f (z) dz = f (z) dz = f (z) dz − f (z) dz
C γ(w)∪(−γ̃(w)) γ(w) γ̃(w)
where the first equality is from the hypothesis that integrals of f over closed contours
are zero. This gives
Z Z
f (z) dz = f (z) dz
γ(w) γ̃(w)
F (w + h) − F (w)
lim = f (w) w ∈ D.
h→0 h
For any given w ∈ D we fix an r > 0 such that Br (w) ⊂ D. This ball exists since D
is open. Then for any h ∈ C with |h| < r we consider the straight line δh that connects
the point w to w + h. A parametrisation of such a line is given by
δh : [0, 1] → D, t 7→ w + th.
or for h 6= 0
F (w + h) − F (w)
Z
1
− f (w) = (f (z) − f (w)) dz.
h h δh
That is,
F (w + h) − F (w)
Z Z
1 1
− f (w) = (f (z) − f (w)) dz = (f (z) − f (w)) dz
h h δh |h| δh
CHAPTER 6. COMPLEX INTEGRATION OVER CONTOURS 88
and by Lemma 6.15 (note here it is essential that f is continuous) we have that the
above quantity is bounded by
1
≤ L(δh ) sup |f (z) − f (w)|.
|h| z∈δh
But a simple calculation shows that L(δh ) = |h| and hence we have that
F (w + h) − F (w)
− f (w) ≤ sup |f (z) − f (w)|.
h z∈δh
Now we take the limit h → 0, and we observe that the curve δh becomes just the point
w. (More rigorously, every z ∈ δh has |z − w| ≤ h.) Since f is continuous, we get that
sup z∈δh |f (z) − f (w)| → 0 as h → 0. Hence we have that F (w+h)−F
h
(w)
− f (w) → 0 as
h → 0. That is,
F (w + h) − F (w)
lim = f (w).
h→0 h
Since w was any point in D we have established the theorem.
Remark 6.18. The above theorem established the existence of a holomorphic anti-
derivative of f . However there may be more than one such F , after all we make quite a
few choices in the construction of F above. For example we could have picked a different
a0 . However if there is another F̃ such that F̃ 0 (w) = f (w) for all w ∈ D, then we would
have that F 0 (w) = F̃ 0 (w) or equivalently (F − F̃ )0 (w) = 0. But we know from Theorem
3.12 that if a function defined over a domain has a zero derivative we have that the
function is just a constant. That is, there is some c ∈ C such that F̃ = F + c.
CHAPTER 6. COMPLEX INTEGRATION OVER CONTOURS 89
No: We’ve also seen in the previous section that despite the function f (z) = z1 being
holomorphic on C∗ = C − {0} the contour integral of f around the unit circle, going
anticlockwise, gives 2πi, which is not 0. As we shall later discover, the problem here is
that C∗ has a hole inside the contour at z = 0, and f does not extend to a holomorphic
function on C (i.e., ‘across the hole’).
The main goal of the current section to prove a version of Cauchy’s Theorem.
Informally, this says
‘If f is a holomorphic
R function on a domain with no holes, and γ is a closed contour
in the domain, then γ f (z) dz = 0’.
This theorem will be stated precisely later and we will not prove it in full generality
here. Instead we will make a compromise and prove it now for a certain nice class of
domain; namely, so-called starlike domains.
Definition 6.19. A domain D is called starlike if there exists a point a0 ∈ D such
that for any other point b ∈ D the straight line connecting a0 to b lies entirely in D.
Examples: An example of a starlike domain is trivially the whole of C, where we could
take as a0 any point, for example the origin. Another one is Br (a), with a0 for example
equal to the centre a of the ball.
Remark 6.21. [Technical] The final part of the statement, concerning the case that f is
holomorphic outside a finite set S, will be needed in certain proofs later on. However,
it is not the main point one should take away.
CHAPTER 6. COMPLEX INTEGRATION OVER CONTOURS 90
Step A. First, we will prove the following result that tells us what happens when we
integrate holomorphic functions over boundaries of triangles:
Lemma 6.23. Let U be an open set, f : U → C a holomorphic function, and let
∆ ⊂ U be any triangle in U . Then
Z
f (z) dz = 0.
∂∆
Step C. The two preceding lemmas are then combined as follows to establish Cauchy’s
Theorem (Theorem 6.20).
Proof of Cauchy’s Theorem. Let f be a continuous on the domain D and assume that
f is holomorphic on D, except at a finite set of points. Then by Lemma 6.23
Z
f (z) dz = 0
∂∆
CHAPTER 6. COMPLEX INTEGRATION OVER CONTOURS 91
for any triangle ∆ ⊂ D. But then by Lemma 6.26 there exists an anti-derivative
F : D → C such that F 0 (z) = f (z). So by the FTC (Theorem 6.10), using that f is
continuous, we have that
Z Z
f (z) dz = F 0 (z) dz = 0,
γ γ
Proof of Lemma 6.23 when S is empty. [Challenging but fun!] Our assumptions are
that we have a holomorphic function f on an open set U , and a triangle ∆ ⊂ U .
We start by dividing the triangle ∆ into 4 smaller triangles ∆(1) , ∆(2) ,∆(3) ,∆(4) by
considering the straight lines that connect the mid points of the sides of the triangle ∆.
Then it is easy to see that we obtain
Z 4 Z
X
f (z) dz = f (z) dz
∂∆ i=1 ∂∆(i)
since the inner sides of the new triangles will be traversed twice in opposite direction and
hence cancel each other. By taking the absolute value and using the triangle inequality
we obtain
Z X 4 Z
f (z) dz ≤ f (z) dz .
∂∆ i=1 ∂∆(i)
∆ ⊃ ∆1 ⊃ ∆2 ⊃ . . . ⊃ ∆n ⊃ . . .
and
1
L(∂∆n ) = L(∂∆).
2n
CHAPTER 6. COMPLEX INTEGRATION OVER CONTOURS 92
since the integral of the terms that are linear in z give zero (because ω, f (ω) and f 0 (ω)
are just constants).
We then consider the function
f (z) − f (w)
g(z) := − f 0 (w), z ∈ U \ {w}
z−w
and we set g(w) = 0. Then we see that g is a continuous function on U (since f is
holomorphic at w). In particular we may rewrite the above equation as
Z Z Z
0
f (z) dz = f (z) − f (w) − (z − w)f (w) dz = (z − w)g(z) .
∂∆n ∂∆n ∂∆n
Therefore, we have
Z Z
n
f (z) dz ≤ 4 (z − w)g(z) dz .
∂∆ ∂∆n
Proof of Lemma 6.23 for general finite sets S. [Non-examinable] Let us first assume that
the set S consists of a single point w. If w 6∈ ∆ there is not much to prove, since we
apply what we proved when S is empty. So we assume that w ∈ ∆. We now consider
any other triangle ∆0 such that w ∈ ∆0 and ∆0 ⊂ ∆. Pick any subdivision of ∆ to
smaller triangles such that ∆0 is one of the triangles of this subdivision, and w is in the
interior of ∆0 . That is [
∆= ∆i
i
where ∆i may intersect only at the edges, and for some i we have ∆i = ∆0 . Then
Z XZ
f (z) dz = f (z) dz
∂∆ i ∂∆i
But since f is continuous on ∆0 we have that | ∂∆0 f (z) dz| ≤ L(∂∆0 ) sup z∈∂∆0 |f (z)|.
R
That is, Z
f (z) dz ≤ L(∂∆0 ) sup z∈∂∆0 |f (z)|
∂∆
But we
R can make ∆0arbitrarily small, that is we may let L(∂∆0 ) → 0. But then we get
that ∂∆ f (z) dz = 0.
If now the set S consists of more than one point, then we can divide the initial triangle
∆ to smaller triangles, where each one contains only one point of the finite set. Then
we can repeat the argument above to obtain the general result.
Proof of Lemma 6.26. [Non-examinable] The proof is nearly identical to the proof of
Theorem 6.17, but we now pick as a0 the defining point in the starlike domain that
has the property that for any b ∈ D the straight line connecting a0 to b lies entirely
in D. In particular, we define F (ω) in the same way but take γw specifically to be the
straight line in D between a0 and ω (skipping Step 1). For Step 2 we start as before,
but note that γw+h ∪ (−δh ) ∪ (−γw ) is a triangle and so the integral around it is zero
by assumption. In particular, in Step 2 we have
Z Z Z Z
F (ω +h) := f (z) dz = f (z) dz + f (z) dz = f (z) dz,
γw+h γw+h ∪(−δh )∪(−γω ) γw ∪δh γw ∪δh
Theorem 6.27. [Cauchy’s Integral Formula (C.I.F.)] Let B := Br (a) for some
a ∈ C and r > 0. Assume that f : B → C is holomorphic. Then for every w ∈ B and ρ
such that |w − a| < ρ < r we have
Z
1 f (z)
f (w) = dz,
2πi |z−a|=ρ z − w
or equivalently Z
f (z)
dz = 2πif (w).
|z−a|=ρ z−w
Proof. We consider the auxiliary function
(
f (z)−f (w)
z−w , z 6= w
g(z) := 0
f (w), z = w
We note that this function is clearly holomorphic on B − {w} since there it is simply
the quotient of a holomorphic function and a non-zero holomorphic function. However,
it is also continuous at the point w because
f (z) − f (w)
lim g(z) = lim = f 0 (w) = g(w),
z→w z→w z−w
using here the fact that f is holomorphic at z = w. Hence by (the technical final
statement in) Cauchy’s Theorem for starlike domains 6.20 we have that
Z
g(z) dz = 0.
|z−a|=ρ
f (z) − f (w)
Z
dz = 0
|z−a|=ρ z−w
or equivalently Z Z
f (z) f (w)
dz = dz.
|z−a|=ρ z−w |z−a|=ρ z−w
CHAPTER 6. COMPLEX INTEGRATION OVER CONTOURS 95
We now observe that by using the geometric series expansion we may write
∞ n ∞
(w − a)n
1 1 1 X w−a X
= w−a = = .
z−w (z − a)(1 − z−a )
(z − a) z−a (z − a)n+1
n=0 n=0
|w−a| |w−a|
Moreover, we notice that the common ratio satisfies w−a
z−a = |z−a| = ρ < 1, since
|w − a| < ρ. In particular we have that the geometric series converges uniformly on
|z − a| = ρ (see Theorem 5.17) and
∞
(w − a)n
Z Z
f (w) X
dz = f (w) dz.
|z−a|=ρ z−w |z−a|=ρ (z − a)n+1
n=0
Because the series converges uniformly, we can exchange summation and integration
(see Theorem 5.8), and so obtain
Z ∞ Z
f (w) X 1
dz = f (w)(w − a)n .
|z−a|=ρ z−w |z−a|=ρ (z − a)n+1
n=0
But we have seen in Important Example 6.12 (at least for a = 0 but the same calculation
holds for any a) that
(
0, n 6= 0,
Z
1
n+1
=
|z−a|=ρ (z − a) 2πi, n = 0.
In particular we have that in the series above all terms are zero, except for n = 0. But
this is just f (w)2πi. Hence putting all together we conclude that
Z Z
f (z) f (w)
dz = dz = 2πif (w).
|z−a|=ρ z − w |z−a|=ρ z − w
Chapter 7
Features of Holomorphic
Functions
with Z
1 f (z)
cn = dz,
2πi |z−a|=ρ (z − a)n+1
for any 0 < ρ < r. The power series is called the Taylor series of f around a.
Proof. First fix ρ. For any w with |w − a| < ρ < r we have by the C.I.F. (Theorem 6.27)
∞
(w − a)n
Z Z
1 f (z) 1 X
f (w) = dz = f (z) dz
2πi |z−a|=ρ z−w 2πi |z−a|=ρ (z − a)n+1
n=0
∞ Z !
X 1 f (z)
= (w − a)n ,
2πi |z−a|=ρ (z − a)n+1
n=0
96
CHAPTER 7. FEATURES OF HOLOMORPHIC FUNCTIONS 97
where for the second equality we used the geometric series expansion, and for the last
equality we can exchange summation and integration thanks to the uniform convergence
of the geometric series on |z − a| = ρ. In particular we have established that for any
w ∈ Bρ (a) we have the following convergent expression:
∞ Z !
X 1 f (z)
f (w) = (w − a)n .
2πi |z−a|=ρ (z − a)n+1
n=0
1
R f (z)
Setting cn := 2πi |z−a|=ρ (z−a)n+1 , we have obtained a power series expansion for f (w)
when w ∈ Bρ (a).
To see that the constants cn we obtained don’t depend on ρ, note we have by
Corollary 5.22
f (n) (a)
cn =
n!
which doesn’t depend on ρ. Hence, since we would have got the same power series
whichever ρ we started with, and they all converge, the power series we obtained con-
verges on any Bρ0 (a) with 0 < ρ0 < r and hence converges on all of Br (a).
Functions that posses a Taylor series expansion in a disc Br (a) with r > 0 are called
analytic at a. Functions are called analytic if they are analytic at a for all points a in
their domain. We knew from Theorem 5.21 that all analytic functions are holomorphic,
but now Theorem 7.1 tells us that all holomorphic functions are analytic! For this rea-
son, some sources use the term ‘holomorphic function’ and ‘analytic function’ inter-
changeably.
We immediately obtain a nice extension of C.I.F. that allows us to compute all
derivatives of a function by performing contour integrals.
Theorem 7.2. [Cauchy’s Integral Formula for derivatives] Let B = Br (a) and
f : B → C holomorphic. Then for any 0 < ρ < r we have
Z
f (z) 2πi (n)
n+1
dz = f (a).
|z−a|=ρ (z − a) n!
Proof. By Theorem 7.1 we know that f has a convergent power series representation
in B given by
∞
X
f (z) = cn (z − a)n ,
n=0
1
R f (z)
where cn = 2πi |z−a|=ρ (z−a)n+1 dz. But on the other hand we also have that cn =
f (n) (a)
n! ,since we know this about power series (Corollary 5.22). Hence equating the two
expressions we obtain the statement of the theorem.
CHAPTER 7. FEATURES OF HOLOMORPHIC FUNCTIONS 98
Remark 7.3. Combining Theorems 7.1 and 7.2 (or alternatively combining Corollary 5.22
and Theorem 7.1) tells us another important fact: If f is holomorphic on a ball
B = Br (a) then for all z in B one has the convergent expression
∞
X f (n) (a)
f (z) = (z − a)n ,
n!
n=0
which is the form of the Taylor expansion that we are used to.
We’ve finally proved that the two definitions of the exponential function are the same!
Remark 7.5. [Difference between real and complex analysis] The Cauchy-Taylor theorem
told us roughly that a function with a complex derivative at every point of a ball has a
Taylor series on the ball. This is far from being true in Real Analysis! Everyone should
know the following example: The real function
(
e−1/x x > 0
f (x) =
0 x≤0
has derivatives of all orders. We also have that f (n) (0) = 0 for all n ∈ N. In particular
the function f does not possess a Taylor series expansion since if it had one about x = 0
then
∞
X
f (x) = cn xn x ∈ (0 − , 0 + )
n=0
(n)
for some > 0, but that would mean cn = f n!(0) = 0 for all n ∈ N (by Remark 7.3).
However, f (x) is not identically zero in a neighbourhood of the origin. So there is no
Taylor series for it at x = 0.
As another direct corollary of the Cauchy-Taylor theorem we obtain
Proof. Indeed for any a ∈ U we take an r > 0 such that Br (a) ⊂ U . Then by the
theorem above we have that
∞
X
f (z) = cn (z − a)n , z ∈ Br (a).
n=0
But then by Corollary 5.22 we have f 0 (z) = ∞ n−1 for z ∈ B (a). That
P
n=1 ncn (z − a) r
is, around any point a of U we have a Taylor series representation and its derivative
exists, and it has again a Taylor series representation. That is, f 0 is holomorphic. We
can repeat now replacing f with f 0 .
Remark 7.7. [Another difference between real and complex analysis] This Corollary
marks another big difference between complex and real analysis. To see this, consider
that the real function f (x) = |x|xn , x ∈ R, is exactly n-times differentiable at x = 0
but the derivative f (n+1) (x) is not defined at x = 0.
Corollary 7.6 allows us to prove the following nice theorem, which can be viewed as
a converse to Cauchy’s Theorem.
Theorem 7.8.Z [Morera’s Theorem] Let D ⊂ C be a domain and f : D → C be
continuous. If f (z) dz = 0 for all closed contours γ in D, then f is holomorphic.
γ
2. We now compute
ez
Z
dz.
|z|=3 z 2 (z − 1)
1
although later we will have a more powerful tool called Cauchy’s Residue Theorem.
CHAPTER 7. FEATURES OF HOLOMORPHIC FUNCTIONS 100
(a + c)z 2 + (b − a)z − b
= .
z 2 (z − 1)
That is, b = −1, a = b = −1 and c = −a = 1. Hence
1 −1 −1 1
= + 2 +
z 2 (z − 1) z z z−1
and we may write
ez ez ez ez
Z Z Z Z
2
dz = dz − 2
dz − dz.
|z|=3 z (z − 1) |z|=3 (z − 1) |z|=3 z |z|=3 z
But the first and the third can be computed using C.I.F. and they are equal to
2πie1 and 2πie0 = 2πi respectively and the second we can use C.I.F. for derivatives
(Theorem 7.2) to conclude it is 2πie0 . Hence the integral is equal to 2πi(e − 2).
We then use the boundedness of f and the reverse triangle inequality respectively to
conclude that the latter quantity is
1 |w|M
≤ |w| ρ M sup ≤ .
|z|=ρ |z||z − w| ρ − |w|
The final term here tends to zero as ρ → ∞ and we picked ρ arbitrarily. Thus we have
f (w) = f (0). This holds for any w ∈ C. Hence f is constant.
Remark 7.10. Note that the assumption on the holomorphicity cannot be dropped in
the statement of Louiville’s theorem. For example, it is easy to find bounded continuous
functions from C to C that are not constant. For example, we could take f (x + iy) =
sin(x) + sin(y), or f (x + iy) = sin(x) + i sin(y) In fact: there are bounded non-constant
functions from C to C that have all real derivatives, are ≡ 1 inside B1 (0) and are ≡ 0
outside B2 (0). These are called ‘bump-functions’ and are often used in real analysis.
Liouville tells us there are no holomorphic bump-functions.
An immediate consequence of Liouville’s theorem is the Fundamental Theorem of Al-
gebra. This is very nice: suddenly Complex Analysis has given us a result in Algebra!
Proof. Clearly, since we are taking d ≥ 1 we have that |P (z)| → ∞ as |z| → ∞ (see
Problem Sheet 12, question 9a). In particular there exists some R > 0 such that
|P (z)| > 1 for all |z| > R. We are going to argue by contradiction. That is, we will
assume that there exists no z0 ∈ C such that P (z0 ) = 0, and derive a contradiction.
1
We define the function f (z) := P (z) . Then under our hypothesis, we have that f (z)
is entire, since P (z) is itself entire and has no roots. We now show that such a function is
also bounded. Indeed, since f (z) is holomorphic it is also continuous, and so in particular
(by Theorem 2.30) it is bounded on the compact set B R (0) = {z ∈ C : |z| ≤ R}; that
is, on the open disc/ball BR (0) and its boundary. Moreover, by the very definition of R
we have that f (z) is bounded also on the complement of the above set (since there
|P (z)| > 1 implies |f (z)| = 1/|P (z)| < 1). Hence f (z) is bounded on C. This means
we can apply Liouville’s Theorem (Theorem 7.9) to f and conclude that f (z) must be
constant. But that means that P (z) has to be a constant polynomial. Contradiction.
CHAPTER 7. FEATURES OF HOLOMORPHIC FUNCTIONS 102
|f (z)| ≤ |f (a)|
then f is constant on B.
Z Z 1 Z 1
1 f (z) 1 f (γ(t)) 0 1 f (γ(t))
|f (a)| = dz = γ (t)dt = 2πiρe2πit dt
2π γ z−a 2π 0 γ(t) − a 2π 0 ρe2πit
Z 1
= f (γ(t)) dt
0
Z 1
≤ |f (γ(t))| dt
0
Z 1
≤ |f (a)| dt = |f (a)|.
0
Since we began and ended at the same thing, all inequalities above are equalities. The
only way the last inequality can be an inequality (since f is continuous) is if |f (z)| =
|f (a)| for all z with |z − a| = ρ, and in particular, |f (w)| = |f (a)|.
Step 2: f is constant.
We know |f (z)| = c for some c ∈ C and all z ∈ B. If c = 0, then we have that
|f (z)| = 0 and hence we should have that f (z) = 0, that is constant. If we assume that
2
c 6= 0 then we may write f (z)f (z) = c2 , and so f (z) = fc(z) . That is both f and f¯ are
holomorphic. By the Cauchy-Riemann (C-R) equations we obtain that such a function
has to be constant. Indeed if we write f (z) = u(x, y) + iv(x, y) with z = x + iy, x, y ∈ R,
then f (z) = u(x, y) − iv(x, y). The C-R equation for the first function read ux = vy
and uy = −vx . And the ones for the second read ux = −vy and uy = vx . From this it
CHAPTER 7. FEATURES OF HOLOMORPHIC FUNCTIONS 103
The next step is to extend the above theorem to any domain. Indeed we have the
following,
Theorem 7.13. [Maximum Modulus Principle] Let D be a domain, and f : D → C
holomorphic. If there exists an a ∈ D such that
|f (z)| ≤ |f (a)|, ∀z ∈ D
then f is constant.
We need to know the following fact from the Topology of metric spaces (see Problem
Sheet 3 Q13(ii)).
Fact 7.14. [Path-connected implies connected] If U ⊂ C is path connected and open,
then it is not possible to write U = U1 ∪ U2 where U1 and U2 are disjoint, open, and
nonempty. In particular, domains are connected.
Proof of Theorem 7.13. Let U1 be the set of points z of D where f (z) = f (a). Then
U1 is nonempty. We wish to show U1 is open. Given z ∈ U1 , there is a disc Br (z) ⊂ D
since D is open. Pick w ∈ Br (z). Then since |f (w)| ≤ |f (a)| = |f (z)| and z is the
centre of Br (z), the Local Maximum Modulus Principle (Theorem 7.12) tells us that f
is constant on Br (z). Hence |f (w)| = |f (a)| and so Br (z) ⊂ U1 . Thus U1 is open.
Let U2 = D − U1 . Then we can write U2 = f −1 (C − {f (a)}), and by Theorem 2.17
this set must be open since f is holomorphic (so continuous) and C − {f (a)} is open.
Since D is path-connected, U2 must be empty by Fact 7.14 (otherwise U1 and U2
would be disjoint, open, and nonempty sets whose union is D). So U1 = D and f (z) =
f (a) for all z ∈ D.
for its Taylor series at a (which exists and converges by Cauchy-Taylor, Theorem 7.1).
If we assume that f is not the zero function, then not all of the cn ’s are zero. Let us set
m := min{n ≥ 0 : cn 6= 0}.
Then we may write
∞
!
X
m n−m
f (z) = (z − a) cn (z − a) ,
n=m
Example 7.18. Let f (z) = z(ez − 1), and take a = 0. Then we have that
∞
! !
X zn X z n−1
2
f (z) = z −1 =z .
n! n!
n=0 n=1
Hence f has a zero of order 2 at a = 0. And indeed f 0 (z) = (ez − 1) + zez and
f (2) (z) = ez + ez + zez . And so f (0) = f 0 (0) = 0 and f (2) (0) = 2 6= 0. Note that f also
has zeros at a = 2πin for integers n 6= 0, and one can check they are order 1.
In particular, this holds when f (a) = 0; that is, all the zeros of a holomorphic function
must be isolated from one another.
Proof. As observed above, the statement holds when f (a) 6= 0 by continuity. The
interesting case is when f (a) = 0; that is, when a is a zero of f . Since f is not
identically zero, we have, by definition, that f (z) = (z − a)m h(z), where m > 0 is the
order of the zero, and h(a) 6= 0. But h is holomorphic, and in particular continuous at
z = a, so as before we have that there exists an ρ > 0 such that h(z) 6= 0 for z ∈ Bρ (a).
But clearly (z − a)m is also non zero in Bρ (a) − {a}, and hence so is f .
and
Actually, even a weaker condition is enough to guarantee the above equality. For
this we introduce the notion of non-isolated point.
Proof. Let w ∈ S be a non-isolated point. Write h(z) := f (z) − g(z). Then h(w) = 0
and we see that w is not an isolated zero for the holomorphic function h. Indeed we
CHAPTER 7. FEATURES OF HOLOMORPHIC FUNCTIONS 107
cannot find a disc around a such that h(z) 6= 0 for all z in that disc, since we can
arbitrary close to w by using point in S, namely zeros of h. By Proposition 7.19, the
function h must then be identically zero on some ball Bρ (w) ⊂ D. But then f (z) = g(z)
for all z ∈ Bρ (w) and so by Corollary 7.21 we have that f = g on D.
1
Example 7.24. Let f : C → C be a holomorphic function, and assume that f n =
sin n1 for all n ∈ Z, n ≥ 1. From this we can show that f (z) = sin(z) for all z ∈ C.
Indeed, note that since both sin and f are holomorphic on C, they are continuous, so
1 1
f (0) = lim f = lim sin = sin(0),
n→∞ n n→∞ n
by Lemma 2.29. Hence
1
S = { z ∈ C : f (z) = sin(z)} ⊃ {0} ∪ { : n ∈ Z, n ≥ 1 }.
n
Since 0 is a non-isolated point of {0} ∪ { n1 : n ∈ Z, n ≥ 1 }, 0 is a non-isolated point
of S. Therefore by the Identity Theorem (Theorem 7.23), f ≡ sin on C.
Proof. We know from Proposition 3.3 that the first partial derivatives of u and v must
exist. Moreover, this Proposition also gives various formulae for the derivative f 0 in
terms of the these partial derivatives, e.g., f 0 = ux − iuy = vy + ivx . However, Corol-
lary 7.6 implies that the nth complex derivative f (n) exists and is holomorphic for all
n ≥ 0. In particular, the derivative f 0 must be continuous and so then must all the 1st
partial derivatives of u and v. Repeating this argument shows that all partial derivatives
of u and v of all orders exist and are continuous. Moreover, by the Schwartz-Clairault
Theorem (from Calculus I) we have symmetry of the second partial derivatives:
Also, by Proposition 3.3, the first partial derivatives of u and v satisfy the C-R equations
ux = vy and uy = −vx . By differentiating the first C-R equation with respect to x and
the second C-R equation with respect to y we get
uxx = vyx = vxy and uyy = −vxy .
Adding these together gives uxx + uyy = vxy − vxy = 0.
Similarly, by differentiating the first C-R equation with respect to y and the second
C-R equation with respect to x we get
vyy = uxy and vxx = −uyx = −uxy .
Adding these together gives vxx + vyy = uxy − uxy = 0.
We will use the following proposition, which is interesting in its own right.
Since u is harmonic, its second partial derivatives are continuous, which means the
first partial derivatives of the real and imaginary parts of g are continuous. Hence by
Theorem 3.5, g is holomorphic.
Step 2. Construct f :
By Proposition 7.28, g has a holomorphic antiderivative F = U + iV . Since F 0 = g, we
have F 0 = Ux − iUy = g = ux − iuy . This implies Ux = ux and Uy = uy , or
(U − u)x = (U − u)y = 0.
This implies the function (U − u) has vanishing first partial derivatives. This means it
is a (real) constant, so U = u + c. Letting v = V we have that f = u + iv = F − c is a
holomorphic function and we have established the existence of the harmonic conjugate v.
Since f is holomorphic, it follows from Proposition 7.26 that the harmonic conjugate
v is harmonic. If ṽ is another harmonic conjugate, then f = u + iv and f˜ = u + iṽ are
both holomorphic, so i(v − ṽ) = f − f˜ is a purely imaginary holomorphic function. An
easy exercise using the Cauchy-Riemann equations shows that the only purely imaginary
holomorphic functions on a domain are constant. Hence v − ṽ is a real constant, proving
the statement that harmonic conjugates are unique up to adding real constants.
Proof. Apply the chain/product rules and use the C-R equations (see Sheet 14).
(examples continued.)
Example 7.32. We modify the previous example and consider the domain D2 formed
by rotating D1 = {x + iy ∈ C : 2 < y < 5} anticlockwise by π/4 √ degrees. We ask for a
harmonic √function µ̃ such that µ̃ = 13 on the line y = x + 5 2 and µ̃ = 4 on the line
y = x + 2 2. Immediately, we have D1 = f (D2 ), where f (z) = e−iπ/4 z. We know that
f is holomorphic and that µ(x, y) = 3y − 2 is harmonic on f (D2 ). By Proposition 7.31
the function µ̃(x, y) := µ(f (x, y)) is harmonic on D1 . It is easy to check that f takes
the boundary lines of the new region to the boundary lines of the region from (i), and
you can check that µ̃ matches the values taken on the new boundary lines.
Note that
1 1 1
f (x, y) = e−iπ/4 (x + iy) = √ (1 − i)(x + iy) = √ (x + y) + i √ (y − x).
2 2 2
So, our solution is
1 1 1 3
µ̃(x, y) = µ √ (x + y), √ (y − x) = 3 √ (y − x) − 2 = √ (y − x) − 2.
2 2 2 2
Chapter 8
112
CHAPTER 8. GENERAL FORM OF CAUCHY’S THEOREM AND C.I.F. 113
Actually it is not hard to see that r(t) is unique, and is given as |γ(t) − w|, that is,
measures the distance of the point γ(t) from the point w. The function θ is unique
up to an additive constant, but this does not affect the definition of I(γ; w) since we
measure differences.
So now we see that we can define the winding number for any contour γ and a point
w 6∈ γ. The relationship between winding number and complex integration is given by
the following lemma.
Lemma 8.3. Let γ : [a, b] → C be a closed contour, and w 6∈ γ. Then
Z
1 dz
I(γ; w) = .
2πi γ z − w
γ 0 (t)
Z Z b Z b 0
dz r (t) 0
= dt = + iθ (t) dt =
γ z−w a γ(t) − w a r(t)
Often we will need to establish that I(γ; w) is zero. For this we have the following
proposition.
Proposition 8.4. Let D be a starlike domain. If γ is any closed contour in D and
w∈/ D then I(γ; w) = 0.
1
Proof. The function f (z) = z−w is holomorphic on D since w 6∈ D. And since γ is
closed in this domain, by Cauchy’s Theorem for starlike domains and Lemma 8.3
Z
1 1
I(γ; w) = dz = 0.
2πi γ z − w
I(γ; w) = 0, ∀w 6∈ U.
2. The open set U is called simply connected if every closed contour in U is homolo-
gous to zero in U .
CHAPTER 8. GENERAL FORM OF CAUCHY’S THEOREM AND C.I.F. 114
Example 8.6. Proposition 8.4 tells us that all starlike domains are simply connected.
For example, C is simply connected, and Br (a) is simply connected. This matches our
intuition about these sets not having holes.
for all 0 ≤ α < β ∈ R. Indeed if we take the curve γ(t) = ρe2πit with any ρ ∈ (α, β), then
we have that γ ⊂ A and if we consider the origin 0 6∈ A we have that I(γ; 0) = 1 6= 0
by Cauchy’s Integral Formula. That is, the curve γ is not homologous to zero in A.
Now we have seen how our domains can be generalized, we introduce the notion of
a cycle, which extends that of a closed contour.
Γ := γ1 + γ2 + . . . + γn .
We say that a point w ∈ C does not lie in Γ if w 6∈ γi for all i = 1, 2, . . . , n. For such a
point we define the winding number of a cycle Γ around w by
n
X
I(Γ; w) := I(γi ; w).
i=1
Moreover we define Z n Z
X
f (z) dz := f (z) dz.
Γ i=1 γi
That is, we pick a way to trace the curve γ such as the bounded component Dγint is
always on the left of the curve. We then say that the curve γ is positively oriented. This
is the same as going anticlockwise around the curve.
and
for any closed contour γ in D. In particular, since we know starlike domains are simply
connected by Proposition 8.4, we reobtain the version of Cauchy’s Theorem for starlike
domains (Theorem 6.20) that we proved rigorously as a special case.
Example 8.14. Let us see why the above theorem also gives a generalization of CIF
that we have seen. Indeed if we take D = Br (a), the open disc, and we consider the
closed contour γ(t) = a + ρe2πit , t ∈ [0, 1], with 0 < ρ < r, and w is a point with
|w − a| < ρ then the above theorem gives that
Z
f (z)
dz = 2πiI(γ; w)f (w) = 2πif (w).
γ z−w
CHAPTER 8. GENERAL FORM OF CAUCHY’S THEOREM AND C.I.F. 117
Theorem 8.12 takes a much nicer form when γ is a simple closed curve. Given a
simple closed curve γ, we will say that a function f is holomorphic on Dγint ∪ γ if there
exists a domain D such that Dγint ∪ γ ⊂ D and that f is holomorphic on D. We note
that in particular we have that γ is homologous to zero in D since for every point w 6∈ D
we have that w 6∈ Dγint ∪ γ and so w ∈ Dγext and hence I(γ; w) = 0.
Theorem 8.15. Let γ be a simple closed positively oriented contour, and f a holomor-
phic function on Dγint ∪ γ. Then we have
and
Proof. We just apply Theorem 8.12, by taking Γ equal to γ here. Note that I(γ; w) = 1
since w ∈ Dγint .
Example 8.16. Let γ be the boundary of the square with vertices in 1−i, −1−i, −1+i
and 1 + i, traced anti-clockwise. Consider the integral
Z
cos(z)
2
dz.
γ z(z + 2)
The contour√γ is a simple closed positively oriented contour and the roots of z 2 + 2,
which are ± 2i, lie outside γ. It follows that the function f (z) = cos(z)
z 2 +2
is holomorphic
int
on Dγ ∪ γ. Thus, by the CIF for simple closed contours (with ω = 0) we have
Z Z
cos(z) f (z) cos(0)
dz = dz = 2πi · f (0) = 2πi · 2 = πi.
γ z(z 2 + 2) γ z 0 +2
Chapter 9
Holomorphic functions on
punctured domains
We now have a very good understanding of how holomorphic functions behave on do-
mains with ‘no holes’, and how to integrate them around contours. In this chapter we
will study the behaviour of functions f : D → C on a domain D that we know are
holomorphic on D except for at a finite set of points. The simplest example of this is
when we are given a holomorphic function f on a punctured ball Br∗ (a) = Br (a) − {a}.
How might f behave near a? This problem leads to very interesting mathematics and
also practical applications.
where the cn and a are complex numbers. The point a P is called the centre of the
−1 n
P∞ n=−∞ cn (zn− a) is called
Laurent series. Given a Laurent series as in (9.1), the sum
the principal part of the Laurent series. The sum n=0 cn (z − a) is called the
analytic part of the Laurent series.
A Laurent series converges at a point z ∈ C if and only if its principal and analytic
parts converge at z. Note, a Laurent series is a power series precisely when it has zero
principal part, and it is not defined at z = a unless this is the case. We now ask where
a Laurent series can converge. For this we define for 0 ≤ r < R ≤ ∞ and a ∈ C the set
118
CHAPTER 9. HOLOMORPHIC FUNCTIONS ON PUNCTURED DOMAINS 119
2. there exist 0 ≤ r < R ≤ ∞ such that the series converges absolutely when r <
|z − a| < R and diverges when either |z − a| < r or |z − a| > R. In this case, the
annulus Ar,R (a) is called the annulus of convergence of the Laurent series.
Proof. By definition, the Laurent series converges absolutely if and only if both of
∞
X −1
X
F1 (z) = cn (z − a)n , F2 (z) = cn (z − a)n
n=0 n=−∞
converge absolutely. The analytic part F1 (z) is a power series that we already under-
stand (via Theorem 5.15). If F1 (z) only converges when z = a, then the Laurent series
never converges since F2 is not defined at a. Otherwise, let 0 < R ≤ ∞ be the radius
of convergence of F1 .
For the principal part F2 , introduce a new variable w = (z − a)−1 . Then
−1
X ∞
X
n
F2 (z) = cn (z − a) = c−n wn = F̃ (w)
n=−∞ n=1
is a power series in the variable w with center 0. If this power series converges only at
w = 0 then F2 never converges. So suppose that doesn’t happen and let 0 < R0 ≤ ∞
be the radius of convergence of this power series. Let
(
1/R0 if 0 < R0 < ∞
r= .
0 if R0 = ∞
Corollary 9.4. Assume that a Laurent series has annulus of convergence Ar,R (a). Then
the Laurent series converges uniformly on any annulus Aρ1 ,ρ2 (a) with r < ρ1 < ρ2 < R.
Hence Laurent series converge locally uniformly in their annulus of convergence and so
Laurent series represent holomorphic functions in their annulus of convergence.
CHAPTER 9. HOLOMORPHIC FUNCTIONS ON PUNCTURED DOMAINS 120
Proof. We use the same notation as in the previous proof. By Theorem 5.17 we know
that F1 (z) converges locally uniformly on Bρ2 (a) and F̃ (w) = F2 (z), as a power series
in w with radius of convergence R0 , converges uniformly on |w| < ρ−1 −1
1 , since ρ1 <
0
1/r = R , i.e. it converges uniformly when |z − a| > ρ1 . Hence both halves of the
Laurent series converge uniformly on Aρ1 ,ρ2 (a). A similar argument for holomorphicity
follows via Theorem 5.21.
X∞ Z
= cn (z − a)n−m−1 dz,
n=−∞ |z−a|=ρ
Hence we have that the only sum that is not equal to zero in the last summation is the
one with n = m. That is,
Z
f (z)
m+1
dz = 2πi · cm (m ∈ Z).
|z−a|=ρ (z − a)
This shows two things. Firstly, that the integral in question does not depend on ρ.
Secondly, since the integral is entirely determined by f , if we had started with another
CHAPTER 9. HOLOMORPHIC FUNCTIONS ON PUNCTURED DOMAINS 121
for all z ∈ A, and the annulus of convergence of the Laurent series contains A. The
series above is called the Laurent series of f on A.
Proof. First fix ρ1 , ρ2 with r < ρ1 < ρ2 < R. We will first show that f has a convergent
Laurent series expansion on Aρ1 ,ρ2 (a). To that end, consider the cycle in A given by
Γ = γ1 + γ2 , where
We have seen (see Important Example 8.9 above) that this cycle Γ is homologous to zero
in A. We may therefore apply Theorem 8.12 (General Form of CIF) to get an expression
R f (z)
for f (ω) for any ω ∈ A − Γ; namely 2πi · I(Γ; ω) · f (w) = Γ z−w dz. Moreover for
w ∈ Aρ1 ,ρ2 (a), we have by Lemma 8.3, Cauchy’s Theorem, and the CIF, that
Z Z
1 1 1 1
I(Γ; w) = I(γ1 ; w) + I(γ2 ; w) = dz + dz = 0 + 1 = 1.
2πi γ1 z − w 2πi γ2 z − w
1
R f (z) 1
R f (z)
We set f1 (w) = 2πi γ1 z−w dz and f2 (w) = 2πi γ2 z−w dz. That is, we have proved
f (w) = f1 (w) + f2 (w) for w ∈ Aρ1 ,ρ2 (a). We will show that f1 (ω) gives rise to a con-
vergent principal part of a Laurent series, and f2 (ω) gives rise to a convergent analytic
part of a Laurent series. Together, this will produce a convergent Laurent series for f
on Aρ1 ,ρ2 (a).
CHAPTER 9. HOLOMORPHIC FUNCTIONS ON PUNCTURED DOMAINS 122
We consider first f2 (w). For this we can apply the same argument as we saw to
prove the Cauchy-Taylor theorem. Namely, for any z ∈ γ2 we may write
∞
1 1 X (w − a)n
= w−a = ,
z−w (z − a)(1 − z−a )
(z − a)n+1
n=0
and use the fact that the geometric series is uniformly convergent on |z − a| = ρ2 , since
|w−a|
on this contour we have w−a
z−a = ρ2 < 1. Then
∞
(w − a)n
Z Z
1 f (z) 1 X
f2 (w) = dz = f (z) =
2πi γ2 z−w 2πi γ2 (z − a)n+1
n=0
∞ Z
X 1 f (z)
(w − a)n ,
2πi γ2 (z − a)n+1
n=0
where the interchange of summation andR integration is justified by thePuniform conver-
1
gence of the series. We set cn := 2πi f (z)
γ2 (z−a)n+1 , and hence f2 (w) = ∞ n=0 cn (w − a)
n
z−a
This series converges uniformly on |z − a| = ρ1 since there we have that w−a < 1. In
particular we have that
∞
(z − a)m
Z Z
1 f (z) 1 X
f1 (w) = dz = − f (z) dz
2πi γ1 z−w 2πi γ1 (w − a)m+1
m=0
∞ Z
X 1 f (z)
= − dz (w − a)−m−1 .
2πi γ1 (z − a)−m
m=0
1
R f (z)
where cn = − 2πi γ1 (z−a)n+1 dz. This shows that f2 (ω) can be expressed as the principal
part of a convergent Laurent series on Aρ1 ,ρ2 (a).
Putting the expansions P∞for f1 (ω) and f2n(ω) together proves that we have a convergent
Laurent series f (w) = n=−∞ cn (w − a) valid for all w ∈ Aρ1 ,ρ2 (a). Finally, if had
CHAPTER 9. HOLOMORPHIC FUNCTIONS ON PUNCTURED DOMAINS 123
r < ρ01 < ρ1 < ρ2 < ρ01 < R and we were to exchange ρ1 , ρ2 with ρ01 , ρ02 and repeat the
same argument as above, we would get a Laurent series for f valid on Aρ01 ,ρ02 (a). In
particular, this new Laurent series would give us another Laurent series for f on the
subset Aρ1 ,ρ2 (a). But by Proposition 9.5 this Laurent series would have to be the same
as the original one, and converge on all Aρ01 ,ρ02 (a). Hence the Laurent series for f we
obtained on Aρ1 ,ρ2 (a) actually converges on all of Ar,R (a), and is unique.
That is, there is no principal part (no negative powers of z). In this case, we can
actually say a lot more. We know that power series define holomorphic functions
wherever they converge, and one can check (using the ratio test) that the power
z n−1
series g(z) = ∞
P
n=1 n! converges on all of C. In particular, the function g(z) is
holomorphic on BR (0) and matches the values of f (z) on BR ∗ (0) ⊂ B (0). Hence,
R
by Theorem 7.20 we know g is the analytic continuation of f to BR (0). The
function g(z) has value 1 at z = 0, and so we may extend f (z) to a holomorphic
function on all of BR (0) by declaring f (0) = 1.
2. f has a pole at z = a. If there exists a k > 0 such that c−k 6= 0 and cn = 0 for
all n < −k then we say that f has a pole of order k at z = a. Notice that this
means the principal part is not zero, but contains only finitely many nonzero terms.
CHAPTER 9. HOLOMORPHIC FUNCTIONS ON PUNCTURED DOMAINS 124
z
Example 9.9. As an example we can take f (z) = e z−1 2 on B1∗ (0). Then by
uniqueness the Laurent series is given by
P∞ z n ∞
− 1 X z n−2 1
f (z) = n=0 2n! = = z −1 + + . . . .
z n! 2
n=1
That is, f has a pole of order 1 at 0. We cannot analytically extend this function
by ‘plugging the hole’ as in the previous case.
Hence there are infinitely many negative powers of z in the Laurent series. Sin-
gularities of this final type are extremely hard to deal with.
Next we will study the above three cases in some more detail.
The following proposition gives a useful analytic condition for a function to have a
removable singularity.
Proposition 9.12. Let f be a holomorphic function on BR∗ (a) with R > 0 and a ∈ C.
This tends to zero as ρ → 0 for all n ≤ −1, so by squeezing, cn is zero for negative n.
Hence f has a removable singularity at a.
ez −1 ez − 1
Example 9.13. We consider f (z) = z . Then lim z= lim ez − 1 = 0, so f
z→0 z z→0
has a removable singularity at z = 0 as we have already seen.
9.4 Poles
We now prove the following proposition giving equivalent conditions for f to have a
pole at a.
∗ (a) → C be holomorphic. The following are equivalent:
Proposition 9.15. Let f : BR
(ii)
P∞ implies (i): Since g(z) is holomorphic, by Cauchy-Taylor we may write g(z) =
a (z − a)n with a = g(a) 6= 0. Then for z ∈ B ∗ (a) we have
n=0 n 0 R
∞
X ∞
X ∞
X
−k −k n n−k
f (z) = (z−a) g(z) = (z−a) an (z−a) = an (z−a) = am+k (z−a)m .
n=0 n=0 m=−k
P∞
Writing cm := am+k , we have c−k = a0 6= 0 and we see that f = m=−k cm (z − a)m
has a pole of order k at z = a.
(ii) implies (iii): Since g(z) is holomorphic and g(a) 6= 0, by the Principle of Isolated
Zeros (Proposition 7.19), there exists some 0 < r < R such that g(z) 6= 0 for z ∈ Br (a).
1
Hence h(z) := (z − a)k g(z) is holomorphic in Br (a), and since 1/g(a) 6= 0 we have that h
has a zero of order k at z = a. But then for all z ∈ Br∗ (a) we have that
1
= (z − a)−k g(z) = f (z).
h(z)
(iii) implies (ii): Since h has a zero of order k at a we may write h(z) = (z − a)k h1 (z)
for some holomorphic h1 with h1 (a) 6= 0. Moreover, since 1/h(z) = f (z) is holomorphic
in Br∗ (a) we must have that h(z) 6= 0 on Br∗ (a), and it follows that h1 (z) 6= 0 for
CHAPTER 9. HOLOMORPHIC FUNCTIONS ON PUNCTURED DOMAINS 127
all z ∈ Br (a). Hence, the function g1 (z) := 1/h1 (z) is holomorphic on Br (a) with
k
g1 (a) 6= 0. Moreover, for z ∈ Br∗ (a) we have (z − a)k f (z) = (z−a) 1
h(z) = h1 (z) = g1 (z).
Thus, the function g1 satisfies the required properties on the smaller ball Br (a). Finally,
since g1 (z) is holomorphic on Br∗ (a) ⊂ BR ∗ (a) and matches the function (z − a)k f (z),
essential singularity at a. Then for all w ∈ C and for all 0 < r < R and all > 0 there
exists a z ∈ Br∗ (a) such that
f (z) ∈ B (w).
Proof. We argue by contradiction. Assume not, then there exists w ∈ C, 0 < r < R
and > 0 such that
f (z) 6∈ B (w), ∀z ∈ Br∗ (a).
1
We consider the function g(z) := f (z)−w . Note that this function is holomorphic in Br∗ (a)
and since |f (z) − w| ≥ for every z ∈ Br∗ (a), we have that g(z) is bounded there, since
1 1
f (z)−w ≤ . By the Riemann extension theorem (Theorem 9.14), g has a removable
singularity at z = a and hence extends to a holomorphic function on Br (a). We have for
z ∈ Br∗ (a) that f (z) = w+ g(z)
1
= w g(z)+1
g(z) . If g(a) 6= 0 then f has a removable singularity
at a by Proposition 9.12 (since limz→a (z − a)f (z) = (a − a)(wg(a) + 1)/g(a) = 0). If,
g(z)
on the other hand, g(a) = 0, the function h(z) := wg(z)+1 is holomorphic at z = a and
has a zero at z = a (since h(a) = g(a)/(wg(a) + 1) = 0/(0 + 1) = 0), so f = 1/h has a
pole at z = a by Proposition 9.15(iii). This is a contradiction to f having an essential
singularity at a.
Actually, a stronger result is true, the proof of which is beyond the scope of the course.
essential singularity at z = a. There is some b ∈ C such that for all r with 0 < r < R,
Resz=a (f ) := c−1 .
We now ready to state one of the big theorems of the course. It is very powerful in
its applications.
129
CHAPTER 10. CAUCHY’S RESIDUE THEOREM 130
Theorem 10.4. [Cauchy’s Residue Theorem for simple closed contours] Let γ
be a positively oriented simple closed contour, and let f be meromorphic on Dγint ∪ γ.
Assume that f has no poles on γ, and has a finite number of poles1 inside γ, say
{a1 , a2 , . . . , am }. Then
Z m
X
f (z) dz = 2πi Resz=aj (f ).
γ j=1
z−3 1 1
Resz=3 (f ) = lim = lim = .
z→3 (z − 3)(z + 3) z→3 z+3 6
g(z)
3. (Simple zero on denominator) If f (z) = h(z) , with g, h holomorphic at z = a,
g(a) 6= 0 and h has a zero of order one (i.e. a simple zero), then
g(a)
Resz=a (f ) = .
h0 (a)
Indeed, we know that by Proposition 9.15, f has a pole of order one at z = a. So
we may write
X∞
f (z) = cn (z − a)n .
n=−1
1
Actually, this condition is always satisfied for meromorphic functions - see Remark 10.2.
CHAPTER 10. CAUCHY’S RESIDUE THEOREM 131
or
∞
g(z) X
= cn (z − a)n+1 .
h1 (z)
n=−1
Evaluating at z = a we obtain
g(a)
= c−1 .
h1 (a)
Example 10.6. Consider the function f (z) = sin1 z . We’ll calculate the residue of
f at 0. Indeed, since sin(0) = 0 and sin0 (0) = cos(0) = 1, sin(z) has a simple zero
at 0 by Proposition 9.15. Hence we have Resz=0 (f ) = sin10 (0) = 11 = 1.
g(z)
4. (Poles of higher orders) If f (z) = (z−a) k for some k > 0 and g holomorphic
g (k−1) (a)
Resz=a (f ) = .
(k − 1)!
P∞
Indeed if we write g(z) = n=0 cn (z − a)n we have that
∞
X ∞
X
f (z) = cn (z − a)n−k = cm+k (z − a)m .
n=0 m=−k
We are clearly interested in the constant ck−1 as that corresponds to the expo-
(k−1) (a)
nent −1. But then we have Resz=a (f ) = ck−1 = g (k−1)! , by the derivative formula
for the coefficients of the Taylor series (see Remark 7.3 or Corollary 5.22).
be the principal part of f in the Laurent series expansion around z = aj . Since each
fj (z) is just a finite sum of powers of reciprocals of (z −aj ), it follows from Theorem 7.20
that each fj (z) extends to a unique holomorphic function f˜j on C − {aj }. In particular,
the contour integral of f˜j (z) around the contour γ exists and is well-defined.
We calculate that for n ≤ −1
(
2πi; n = −1 (by CIF for Simple Closed Contours)
Z
(z−aj )n dz =
γ 0; n < −1 (by FTC, as (z − a)−n has an antiderivative on Dγint ∪ γ).
So we get
Z −1
X Z
f˜j (z)dz = cn,j (z − aj )n dz = 2πic−1,j = 2πiResz=aj (f ).
γ n=−kj γ
At each point z = aj , the corresponding principal part f˜j cancels. Moreover, the other
functions f˜i (for i 6= j) are holomorphic at z = aj . It follows that the Laurent series of
g at z = aj has no principal part and g therefore has a removable singularity at each aj .
By Lemma 9.11, g therefore extends to a holomorphic function g̃ on Dγint ∪ γ. Therefore
by Cauchy’s Theorem for Simple Closed Contours (Theorem 8.15),
Z Xm Z Z
f − ˜
fj dz = g(z)dz = g̃(z)dz = 0.
γ j=1 γ γ
where γ is any positively oriented simple closed contour with 0 ∈ Dγint and −1 ∈ Dγext .
z ez
We write f (z) = z 2e+z 3 = z 2 (z+1) . That is, f is meromorphic on C with poles at
z = 0 and z = −1. By Theorem 10.4 (Residue theorem for simple closed contours),
ez
Z
2 3
dz = 2πiResz=0 (f ).
γ z +z
ez
But Resz=0 (f ) is equal (by Rule 4 above) to g 0 (0) where g(z) = z+1 . So we calculate
ez (z+1)−ez
g 0 (z) = (z+1)2
and hence g 0 (0) = 0. Hence the integral is equal to zero.
Example 10.9 (Integrals of rational functions of sin and cos). Show that
Z 2π
dθ 2π
=√ , −1 < a < 1.
0 1 + a sin(θ) 1 − a2
Solution. The equality is clear if a = 0, so we may now assume that a 6= 0. We
write
eiθ − e−iθ
sin(θ) = ,
2i
CHAPTER 10. CAUCHY’S RESIDUE THEOREM 134
and hence Z 2π Z 2π
dθ dθ
= iθ −e−iθ
0 1 + a sin(θ) 0 1 + ae 2i
Now we claim that the last integral is equal to the complex integral
Z
1 dz
z−z −1 iz
, γ(θ) = eiθ , θ ∈ [0, 2π].
γ 1+a 2i
2
We set f (z) = a(z 2 + 2i z−1)
. The poles of f (z) are at the zeros of the quadratic polynomial
a
on the denominator. In particular we may write
2
f (z) = ,
a(z − z1 )(z − z2 )
√ √
2 2
where z1 = −1+ a1−a i and z2 = −1− a1−a i. Since |a| < 1, we have that
√
1+ 1 − a2
|z2 | = > 1,
|a|
and since z1 z2 = −1 we have |z1 ||z2 | = 1 and so |z1 | < 1. By applying the residue
theorem we obtain Z
f (z) dz = 2πiResz=z1 (f ).
|z|=1
But Resz=z1 (f ) = Resz=z1 a(z−z12)(z−z2 ) = a(z12−z2 ) , where we applied Rule 2 (cover
up rule) for computing residues. Hence
Z 2π Z
dθ 2 1 2π
= f (z) dz = 2πi = 2πi √ =√ .
0 1 + a sin(θ) |z|=1 a(z1 − z2 ) i 1 − a2 1 − a2
CHAPTER 10. CAUCHY’S RESIDUE THEOREM 135
Remark 10.10. This method can be used to compute real integrals that involve sin and
cos. Indeed if we want to compute an integral of the form
Z 2π
F (sin(θ), cos(θ)) dθ,
0
P (x,y)
where F (x, y) = Q(x,y) is some rational function on x and y (i.e. P and Q are polyno-
mials in two variables), then we can perform the “change of variable” z = eiθ to obtain
(the explanation is as in the example) dθ = dz
iz and
z − z −1 z + z −1
sin(θ) = , cos(θ) = ,
2i 2
to obtain
2π
z − z −1 z + z −1
Z Z
dz
F (sin(θ), cos(θ)) dθ = F , .
0 |z|=1 2i 2 iz
Then we proceed by computing the complex integral using the Residue Theorem.
Note that they are distinct, so f has simple poles there. Moreover note that none of
them are real. Let now R > 1 (anything larger than the (largest) absolute value of the
poles will do), and consider the D-shaped simple closed contour defined as
γR = LR ∪ CR ,
where LR is the straight line running from the point −R to R, and CR is the contour
defined as CR (θ) = Reiθ with θ ∈ [0, π]. Note that the D-shaped contour γR (for any
R > 1) includes the three roots z0 , z1 , z2 , and none of the poles of f (z) are on this
contour. By the residue theorem we have that
Z 2
X
f (z) dz = 2πi Resz=zk (f ).
γR k=0
CHAPTER 10. CAUCHY’S RESIDUE THEOREM 136
We can compute the residues by applying the third rule, since the function z 2 does not
vanish at zk and z 6 + 1 has a zero of order one there. Hence
zk2 1
Resz=zk (f ) = 5 = 3.
6zk 6zk
We conclude that,
Z 2
X 2πi 1 1 1 πi 1 1 1
f (z) dz = 2πi Resz=zk (f ) = ( + + ) = ( − + ) = π/3.
γR 6 z03 z13 z23 3 i i i
k=0
z2 |z|2 R2
|f (z)| = = ≤ ,
z6 + 1 |z 6 + 1| R6 − 1
where we used the reverse triangle inequality to get |z 6 − 1| ≥ ||z|6 − 1| ≥ |R6 − 1|.
Hence
R3
Z
f (z) dz ≤ π 6 ,
CR R −1
which clearly tends to zero as R → ∞. Hence after taking the limit in (10.1) we have
Z R Z
lim f (x) dx + lim f (z) dz = π/3,
R→∞ −R R→∞ CR
R
and since limR→∞ CR f (z) dz = 0,
Z R
lim f (x) dx = π/3.
R→∞ −R
CHAPTER 10. CAUCHY’S RESIDUE THEOREM 137
RR RR
Now we note that f (−x) = f (x), i.e. f is even. Hence −R f (x) dx = 2 0 f (x) dx, and
hence Z R
lim f (x) dx = π/6.
R→∞ 0
where deg(q) ≥ deg(p) + 2 and q(x) has no real roots. Indeed we just set f (z) := p(z)
q(z)
and consider as above the D-shaped contour γR = LR ∪ CR ., with R larger than the
absolute value of all complex rootsR of q(z). The condition on the degrees of p and q
allow us to establish that limR→∞ CR f (z) dz = 0.
We say that the limit exists in R, that is the integral converges, if both limits exist in R.
We note that this is not always equal to
Z r
lim f (x) dx.
r→∞ −r
R∞
Indeed if we compute −∞ x dx we see that this is
r 0 r 0
x2 x2 r2 s2
Z Z
= lim x dx + lim x dx = lim + lim = lim + lim − ,
r→∞ 0 s→∞ −s r→∞ 2 0
s→∞ 2 −s
r→∞ 2 s→∞ 2
but neither of the final two limits exist, so the improper integral is undefined. On the
other hand Z r
lim x dx = lim [x2 /2]r−r = lim 0 = 0
r→∞ −r r→∞ r→∞
Rr
exists, and it is zero. In general the limit limr→∞ −r f (x) dx is called the Cauchy
R∞ R∞
Principal Value of −∞ f (x) dx and it is denoted by P.V. −∞ f (x) dx. Clearly if
CHAPTER 10. CAUCHY’S RESIDUE THEOREM 138
R∞ R∞
−∞ f (x) dx exists, then so exists P.V. −∞ f (x) dx and they are equal (by COLT). In
the case of f (x) = f (−x), that is f is even, then we have that
Z ∞ Z r Z r
P.V. f (x) dx = lim f (x) dx = 2 lim f (x) dx
−∞ r→∞ −r r→∞ 0
Z r Z 0
= lim f (x) dx + lim f (x) dx
r→∞ 0 s→∞ −s
Z ∞
= f (x) dx,
−∞
so (when f is even) if the Cauchy Principal Value exists then so exists also the improper
integral, and they are equal.
The following lemma is useful to know for some examples. We will often use it in
place of the Estimation Lemma for evaluating the contour integral around the curved
part CR of a D-shaped contour.
Lemma 10.13. [Jordan’s Lemma] If for some r > 0 f is holomorphic in D := {z :
|z| > r} and zf (z) is bounded in D, then for any α > 0 we have that
Z
lim f (z)eiαz dz = 0,
R→∞ CR
We note that
2θ
sin(θ) ≥ , θ ∈ [0, π/2].
π
Indeed, if we consider the curve of sin(θ) we see that the line y = 2θ
π goes through the
points (0, 0) and (π/2, 1). But the function y = sin(θ) is convex in the interval [0, π/2]
hence the line must be always under the graph of sin(θ). We now can establish the
following, Z π
π
e−αR sin(θ) dθ < ,
0 αR
for any R > 0.
First we note that since sin(π − θ) = sin(θ) we have that
Z π Z π/2
−αR sin(θ)
e dθ = 2 e−αR sin(θ) dθ.
0 0
CHAPTER 10. CAUCHY’S RESIDUE THEOREM 139
But then
Z π/2 Z π/2 2αRθ π π
2 e−αR sin(θ) dθ ≤ 2 e− π dθ = 2 (1 − e−αR ) < .
0 0 2Rα αR
Example 10.14 (Principal value integrals, use of Jordan’s Lemma). Compute the
integral Z ∞
x sin(x)
2
dx
−∞ x + 1
Solution. Note that the integrand is even, hence the value of this integral is equal to
Z ∞ Z R
x sin(x) x sin(x)
P.V. dx = lim dx.
−∞ x2 + 1 R→∞ −R x2 + 1
To calculate the latter integral, we first have by Cauchy’s Residue Theorem that
Z
f (z)eiz dz = 2πiResz=i eiz f (z) ,
γR
since the only pole of f (z)eiz that lies inside the curve γR is for z = i. By Rule 2
(cover-up rule) for calculating residues we have that
2
iei e−1
Resz=i eiz f (z) = lim (z − i)f (z)eiz =
= ,
z→i 2i 2
and so
e−1
Z
f (z)eiz dz = 2πi · = πie−1 .
γR 2
In particular (by splitting the contour into its two parts) we obtain
Z Z Z
iz
f (z)e dz + iz
f (z)e dz = f (z)eiz dz = πie−1
LR CR γR
Z
iz
lim Im f (z)e dz = 0.
R→∞ CR
This will follow from Jordan’s Lemma (Lemma 10.13) with α = 1. Let us check that
the function f (z) = z 2z+1 meets the requirements. Indeed, with any fixed r > 1 we have
that for any z with |z| = R > r,
z2 R2 1
|zf (z)| = ≤ = .
2
z +1 2
R −1 1 − R12
√ √
In particular if we pick r = 2 thenR we have that |zf (z)| ≤ 2 for all |z| > 2.
Hence indeed we have that limR→∞ CR f (z)eiz dz = 0 in the example above, and
R ∞ x sin(x) −1
−∞ x2 +1 dx = πe . This finishes the current example.
CHAPTER 10. CAUCHY’S RESIDUE THEOREM 141
R∞ x sin(x)
Remark 10.15. The same method that we used to compute the integral −∞ x2 +1 dx
can be used to calculate integrals of the form
Z ∞ Z ∞
P.V. f (x) sin(αx) dx, P.V. f (x) cos(αx) dx,
−∞ −∞
when f is meromorphic in C with finitely many poles, none of which is real, and f
satisfies the requirements of Jordan’s Lemma. Examples of such functions are f (x) =
p(x)
q(x) , where p and q are polynomials with deg(q) ≥ deg(p) + 1 and q(x) has no real roots.
Note that, we can take R sufficiently large (larger than the absolute value of any of the
finitely many poles) and consider the integral
Z
f (z)eiαz dz,
γR
where γR = LR ∪ CR the usual D-shaped contour. This can be calculated using the
Residue Theorem. Then we proceed as in the example using the fact that
Z Z R Z R
iαz
f (z)e dz = f (x) cos(αx) dx + i f (x) sin(αx) dx,
LR −R −R
and using Jordan’s Lemma to show that limR→∞ CR f (z)eiαz dz = 0. Then we equate
R
Proof. We consider the Laurent expansion of g(z) around the isolated singularity z = 0,
∗ (0). We have
which is valid on some punctured ball BR
∞
X
g(z) = an z n
n=−1
where h(z) is holomorphic. Moreover, so long as < R (so that the contour is contained
in the annulus of convergence of the Laurent series) we have
Z Z Z Z
a−1 1
g(z) dz = + h(z) dz = a−1 dz + h(z) dz.
C C z C z C
γρ,R = L2 ∪ C
fρ ∪ L1 ∪ CR ,
where
1. L2 is the straight line running from −R to −ρ,
CHAPTER 10. CAUCHY’S RESIDUE THEOREM 143
Contours of this form as usually called indented. For simplicity we write just γ for
iz
γρ,R . Note, that since the only pole of g(z) = ez is at z = 0, and this does not lie inside
or on the curve, we have by Cauchy’s Theorem for simple closed contours that
Z
g(z) dz = 0.
γ
And hence Z Z Z Z
g(z) dz + g(z) dz = g(z) dz − g(z) dz. (∗)
L1 L2 Cρ CR
1
Indeed this follows directly by Jordan’s Lemma for the function f (z) = z (and α = 1).
Clearly |zf (z)| = 1 is bounded. Hence we obtain that the limit is zero.
We now compute the limit Z
lim g(z) dz.
ρ→0 Cρ
For this we use the Indentation Lemma (Lemma 10.16). Indeed g(z) has a simple pole
iz
at 0, and the residue is, by the cover up rule, Resz=0 (g) = limz→0 z ez = limz→0 eiz = 1.
Hence the Indentation Lemma gives
Z
lim g(z) dz = πi.
ρ→0 Cρ
CHAPTER 10. CAUCHY’S RESIDUE THEOREM 144
and hence Z ∞
sin(x) π
dx = .
0 x 2
This finishes the current example.
Example 10.18 (Indented contours and branch cuts). We now consider another ex-
ample, that can be handled by using similar ideas as above. We show that
Z ∞
log(x) π
2 2
dx = (log(2) − 1).
0 (x + 4) 32
Solution. Note that the principle branch of log is not defined/not holomorphic
on the negative real axis. This is a problem with regards to our D-shaped contours
(whether they are indented or not). To alleviate this, we consider the function
log(z)
f (z) = ,
(z 2 + 4)2
with |z| > 0 and −π/2 < arg(z) < 3π/2. That is, the domain of definition is the complex
plane with the negative imaginary axis removed, i.e. D = C − iR≤0 . The function f
is then meromorphic on D, with a single pole z = 2i (the other −2i lies outside the
domain D). We choose 0 < ρ < 2 < R and can now consider the same indented contour
γ := γρ,R as in the previous example. Note the only pole in D is included within the
simple closed contour γ, and hence by the Residue Theorem we have
Z
f (z) dz = 2πiResz=2i (f ),
γ
where
log(z)
log(z) (z+2i)2
Resz=2i (f ) = Resz=2i = Resz=2i =
(z 2 + 4)2 (z − 2i)2
0
log(z) π 1 − log(2)
= +i ,
(z + 2i)2 z=2i 64 32
CHAPTER 10. CAUCHY’S RESIDUE THEOREM 145
where we have used the 4th rule to compute the residue. Hence we obtain
π2
Z
π
f (z) dz = (log(2) − 1) + i ,
γ 16 32
and so,
π2
Z Z Z Z
π
f (z) dz + f (z) dz = (log(2) − 1) + i + f (z) dz − f (z) dz. (∗∗)
L2 L1 16 32 Cρ CR
But we have Z Z R
log(x)
f (z) dz = dx,
L1 ρ (x2 + 4)2
and Z Z −ρ
log(x)
f (z) dz = dx.
L2 −R (x2 + 4)2
Observe now that for x < 0 we have x = |x|eiπ , and hence the above integral can be
rewritten as, Z −ρ Z R
log(|x|) + iπ log(x) + iπ
2 2
dx = dx,
−R (x + 4) ρ (x2 + 4)2
Putting together we have
Z Z Z R Z R
log(x) dx
f (z) dz + f (z) dz = 2 + iπ .
L1 L2 ρ (x2 + 4)2 ρ (x2 + 4)2
and hence so also the real part of it. Indeed since | arg(z)| ≤ π for all z ∈ Cρ , we have
by the Estimation Lemma that for any ρ sufficiently small (i.e. ρ < 1 will do so that
log ρ < 0)
π(πρ−ρ log(ρ))
But limρ→0 (4−ρ2 )2
= 0. Indeed by (real) l’Hôpital’s rule we have that
log(ρ) 1/ρ
lim ρ log(ρ) = lim = lim = − lim ρ = 0.
ρ→0 ρ→0 1/ρ ρ→0 −1/ρ2 ρ→0
and hence so also the real part of it. Indeed for R large enough, by a similar argument
as the one above, the Estimation Lemma gives
Z
log(R) + π
f (z) dz ≤ πR
CR (R2 − 4)2
log(R) 1/R
and observe via l’Hôpital (or “powers beat logs”) we have lim = lim = 0.
R→∞ R R→∞ 1
Hence putting this all together, equation (∗ ∗ ∗) gives
Z ∞ Z R Z
log(x) log(x) 1 log(z) π
dx = lim lim dx = dz = (log(2) − 1).
0 (x2 + 4)2 R→∞ ρ→0 ρ (x2 + 4)2 2 γ (z 2 + 4)2 32
This finishes the current example, which is our final example of Complex Analysis
solving real integrals.
Observation: Note that in general when f is a meromorphic function, then the function
0 (z)
h(z) := ff (z) is also meromorphic, and its poles are at
• the poles of the function f 0 (z). But these are precisely the poles of f (z).
Indeed if z = a isPa pole of f 0 (z), then it has to be also
P∞a pole for f (z), since
otherwise f (z) = ∞ n=0 n c (z − a)n , and hence f 0 (z) =
n=1 ncn (z − a) n−1 , and
hence z = a could not be a pole for f 0 (z). Conversely, we have seen that poles of
f are always poles of f 0 on (see Problem Sheet 16 Q7).
0
So we summarize: The poles of h(z) = ff (z)
(z)
are precisely the zeros and poles of f (z),
and by Lemma 10.19 they are all simple. We now prove the following theorem, which
is also known as the argument principle.
CHAPTER 10. CAUCHY’S RESIDUE THEOREM 148
Theorem 10.21. [The Argument Principle] Let γ be a simple closed contour, pos-
itively oriented, and f meromorphic on Dγint ∪ γ. Assume f has no zeros or poles on γ,
and write Zf for the number of zeros of f in Dγint (counted with multiplicities), and Pf
for the number of poles of f in Dγint (counted with multiplicities). Then
Z 0
1 f (z)
dz = Zf − Pf .
2πi γ f (z)
Remark 10.22. When we say ‘counted with multiplicities’ we mean that when we have
a zero of order k, we count k towards Zf . Similarly for a pole of order k we count k
towards Pf .
0
Proof. We set h(z) := ff (z)(z)
. Then h is a meromorphic function. By the previous
observation, the poles of h are precisely the zeros and poles of f , and since by assumption
none of these zeros or poles lie on γ we can apply the residue theorem to h to obtain
m
f 0 (z)
Z Z X
dz = h(z) dz = 2πi Resz=ai (h),
γ f (z) γ i=1
where ai are the poles of h inside γ. Again, these are precisely the zeros and poles of f ,
so by Lemma 10.19 we have that
(
ki if ai is a zero of order ki of f ;
Resz=ai (h) =
−ki . if ai is a pole of order ki of f .
(z − 3)3 (z − 1)7 z 3
f (z) =
(z − i)4 (z + 4)5 (z − 3i)7
and we take γ(θ) = 27 eiθ ; θ ∈ [0, 2π]. Then clearly we have that the number of ze-
ros inside γ (counted with multiplicity) is Zf = 3 + 7 + 3 = 13 and the number of
poles inside γ (counted with multiplicity) is Pf = 4 + 7 = 11. So Zf − Pf = 2 and
1
R f 0 (z)
2πi γ f (z) dz = 13 − 11 = 2. Indeed, one can check that
f 0 (z) 3 7 3 4 5 7
= + + − − − ,
f (z) z − 3 z − 1 z z − i z + 4 z − 3i
CHAPTER 10. CAUCHY’S RESIDUE THEOREM 149
and so by the Residue Theorem (and linearity, Rule 1, for residues) we get that indeed
Z 0
1 f (z)
dz = 3 + 7 + 3 − 4 − 7 = 2.
2πi γ f (z)
Observation: Let us now explain why Theorem 10.21 is called the argument principle.
Given a simple closed contour γ : [a, b] → C and a meromorphic function f such that
none of the zeros or poles of f are on γ, we define the closed contour (perhaps not
simple) Γf by
Γf := f ◦ γ ⊂ C − {0};
that is, the contour Γf is the composition of the contour γ followed by the function f .
Note that this is well-defined since none of the zeros or poles of f are on γ. Let’s say
we wish to know how many times this contour circles around a point in the plane, say,
the point z = 0. Then we see that
Z Z b Z 0
dw 1 f (z)
= f 0 (γ(t))γ 0 (t) dt = dz.
Γf w a f (γ(t)) γ f (z)
I(Γf ; 0) = Zf − Pf .
So, if we now recall that I(Γf ; 0) measures the number of times the contour Γf circum-
navigates the point z = 0, we see that quite remarkably the statement of the Argument
Principle is equivalent to saying that this number is obtained simply by summing the
number of zeros of f and taking away the number of poles of f (all counted with
multiplicities) that lie inside the curve γ.
Clearly, knowing the location of the zeros of a function is therefore very useful. To
aid us in this we can now prove the following important theorem.
Theorem 10.24. [Rouché’s theorem] Let γ be a simple closed contour, and let f, g
be holomorphic functions on Dγint ∪ γ. Suppose that
Then f (z) and g(z) have the same number of zeros (counted with multiplicities) inside γ.
Proof. Since both f and g are holomorphic on Dγint , they have no poles on γ. We set
h(z) := fg(z)
(z)
. We observe that we also have that h has no poles on γ. Indeed the poles
would have to be at zeros of g, but g has no zeros on γ: if g(z0 ) = 0 for some z0 ∈ γ, then
we have that |f (z0 )| < 0, which is not possible. Similarly, h has no zeros on γ, since
CHAPTER 10. CAUCHY’S RESIDUE THEOREM 150
these would precisely be the zeros of f on γ, but f has no zeros on γ: if f (z0 ) = 0, then
we have that |g(z0 )| < |g(z0 )|. Moreover, h is the quotient of two holomorphic functions,
and any poles of h must be isolated (since they are zeros of the denominator g, and any
zeros of g are isolated by the Principle of Isolated Zeros, Proposition 7.19), and so h is
meromorphic on Dγint ∪ γ. Thus, we can apply the Argument Principle to all three of
the functions h, f and g.
Next, we notice that
f 0 (z) f (z)g 0 (z)
1
Z
h0 (z) 1
Z
g(z) − g 2 (z) 1
Z
f 0 (z)
Z
g 0 (z)
dz = f (z)
dz = dz − dz .
2πi γ h(z) 2πi γ 2πi γ f (z) γ g(z)
g(z)
Thus
h0 (z)
Z
1
dz = Zf − Zg .
2πi γ h(z)
On the other hand, by the observation preceding the statement of this theorem, we also
have by the Argument Principle applied to h that
Z 0
1 h (z)
dz = I(Γh ; 0),
2πi γ h(z)
where Γh = h ◦ γ. The proof will therefore be complete upon establishing that we have
I(Γh ; 0) = 0. To that end, note that the premise
implies
That is, we have Γh ⊂ B1 (1). Finally, since 0 6∈ B1 (1) and B1 (1) is starlike, it follows
from Proposition 8.4 that we indeed have I(Γh ; 0) = 0. We conclude Zf = Zg .
Example 10.25. Let us see how one can use Rouché’s Theorem to obtain information
on the location of zeros of functions. Consider the polynomial P (z) = z 4 + 6z + 3.
We know that this polynomial has 4 zeros in C (by a consequence of the Fundamental
Theorem of Algebra, Theorem 7.11). We are now able to say something more about
CHAPTER 10. CAUCHY’S RESIDUE THEOREM 151
the location of these zeros. We consider the curve γ : |z| = 2. Then we note that if we
set g(z) = z 4 we have for all z ∈ γ,
In particular by Rouché’s Theorem P and g have the same number of zeros within the
curve γ. But g(z) = z 4 clearly has only one zero, occurring at z = 0, and this zero
appears with multiplicity four (i.e., it is a zero of order 4). Hence we conclude that
the number of zeros of P inside γ, counted with multiplicity, is 4. Now we consider the
curve γ : |z| = 1, and set g(z) = 6z. Then for any z ∈ γ we have
And again by the theorem above we have that P (z) and 6z have the same number of
zeros inside the curve γ. But clearly 6z has only one zero inside γ, namely at z = 0
again. Hence we conclude that P (z) has one zero of modulus less than 1, and has three
zeros (counted with multiplicity) of modulus between 1 and 2.
We will show that this function has m zeros (counted with multiplicities) in the unit
disc. We start by setting g(z) := −αz m , and we consider the curve γ : |z| = 1. Then,
for all z ∈ γ we have |g(z)| = α > eπ . On the other hand, for all z ∈ γ we have
and
|e−iπz | = |e−iπ(x+iy) | = eπy ≤ eπ .
Hence we have that for all z ∈ γ,
Lastly, we use Rouché’s Theorem to derive one further important (and remarkable)
result regarding holomorphic functions. Recall the most powerful result from metric
spaces that we have seen, Theorem 2.30, which stated that the image of a compact set
under a continuous function is compact. We can do better for holomorphic functions.
Remark 10.28. The analogue of Theorem 10.27 is not true in Real Analysis. Indeed if
we consider the function f (x) = x2 , then, f (R) = [0, ∞), which is not open (see also,
the discussion on page 28).
Proof of Theorem 10.27. Note that f is not constant on U ; otherwise it would be con-
stant on some open ball in U (by the definition of openness) and then by analytic
continuation it would be constant on D (see Corollary 7.21).
We want to show f (U ) is open. This means given any b ∈ f (U ), we need to find a
δ > 0 such that Bδ (b) ⊂ f (U ). Unravelling this, for the δ we find we need to show that
for any b̃ ∈ Bδ (b) there is some ã in U with f (ã) = b̃.
|g(z)| ≥ δ ∀ z ∈ γ.
Step 2: Showing this δ works (Finding ã from b̃): Now, given b̃ ∈ Bδ (b), we note that
Therefore by Rouché’s Theorem (Theorem 10.24) the function h(z) := g(z) − (b̃ − b) has
the same number of zeros (counted with multiplicities) inside B/2 (a) as the function g.
CHAPTER 10. CAUCHY’S RESIDUE THEOREM 153
Since g has precisely one zero inside this ball (at z = a) we know that h does too. So
there is some ã ∈ B/2 (a) with
So f (ã) = b̃ as required.