LectureNotesCA1 RHS
LectureNotesCA1 RHS
MAST31006
Ritva Hurri-Syrjänen
University of Helsinki
Contents
Contents 1
2019 Foreword 4
2018 Foreword 5
1 Background 6
1.1 The vector space ℝ2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2 The complex plane ℂ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
4 Analytic functions 27
4.1 Definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
4.2 Elementary properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
Theorem 4.2.10: Chain rule . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
Theorem 4.2.11: Derivative of inverse function . . . . . . . . . . . . . . . . . . 30
4.3 The relationship between the complex and real derivatives . . . . . . . . . . . . 30
4.3.18 On harmonic functions . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
4.3.32 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
5 Complex Series 41
5.1 Series of complex terms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
Proposition 5.1.4: Linear combinations of series . . . . . . . . . . . . . . . . . . 41
Proposition 5.1.8: Absolute convergence vs. convergence . . . . . . . . . . . . . 42
5.1.10 The comparison test . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
5.1.11 d’Alembert’s ratio test . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
5.1.12 The 𝑛th root test . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
5.2 Power series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
Theorem 5.2.7: Hadamard’s theorem . . . . . . . . . . . . . . . . . . . . . . . . 46
7 Complex mappings 57
7.1 Some properties of the complex mappings . . . . . . . . . . . . . . . . . . . . . 57
8 Complex logarithms 60
8.0.1 Argument . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
8.0.2 Complex logarithms: the inverse of the exponential function . . . . . . . 60
8.0.4 Branches of the argument . . . . . . . . . . . . . . . . . . . . . . . . . 61
8.0.5 Branches of the complex logarithm . . . . . . . . . . . . . . . . . . . . 61
8.0.12 General power function . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
9 Integrals 66
9.1 Complex-valued functions of real variables . . . . . . . . . . . . . . . . . . . . 66
9.2 Curves and contours . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
9.3 Integration along curves/contours . . . . . . . . . . . . . . . . . . . . . . . . . . 70
9.3.3 Basic properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
Proposition 9.3.4: Invariance . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
Proposition 9.3.6: The integral of the negative . . . . . . . . . . . . . . . . . . . 72
Proposition 9.3.7: Joining . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
9.3.11 Integrals along curves with respect to the arclength . . . . . . . . . . . . 73
Lemma 9.3.12: Estimation lemma . . . . . . . . . . . . . . . . . . . . . . . . . 73
11 Integral theorems 79
Theorem 11.0.1: Goursat’s theorem . . . . . . . . . . . . . . . . . . . . . . . . 79
Theorem 11.0.5: The Cauchy–Goursat theorem . . . . . . . . . . . . . . . . . . 86
14.7 The proof for the Cauchy global integral formula . . . . . . . . . . . . . . . . . 105
References 124
2019 Foreword
These lecture notes form the material to the elementary course on Complex Analysis which I have
taught at the University of Helsinki in 2018-2019. The purpose has been to introduce the founda-
tion of the analysis of complex valued functions defined on the complex plane: Differentiability,
power series expansions, and integration of functions along suitable curves. As an application of
Cauchy’s global integral theorem we have studied integration of rational functions on the real line
as well as integration of trigonometric-rational forms on the real line. For mapping properties we
have considered especially Möbius transformations and their invariance properties.
These notes are based on my lecture notes in Finnish which were based on Kari Astala’s Lecture
Notes and Terry Tao’s Lecture Notes. But I have benefitted also from H. A. Priestley’s book
Introduction to Complex Analysis as well as Elias Stein’s and Rami Shakarchi’s book on Complex
Analysis and also some other sources which are mentioned in the reference list.
I wish to thank my students for attending the lectures and homework class. I wish to express my
gratitude especially to those students who were very dedicated to the course the whole semester.
So thank you- Alicia, Aleksis, Eetu, Elli, Fatima, Henri, Janne, Jose, Joonas, Khalid, Laura,
Lauri, Matti, Miika, Mikael, Miko, Outi, Paul, Pekka, Riku, Risto, Robert, Sara, Sauli, Simo,
Toivo, Tuomas, Ville and Ville. I wish to thank Outi Boman for being an excellent scribe and
organizer and supervisor to the homework writing groups. Also, I am extremely grateful to Ilmari
Lehmusoksa for drawing excellent pictures.
May 2019
Ritva Hurri-Syrjänen
2018 Foreword
These lecture notes form the material to the elementary course on Complex Analysis which I
taught at the University of Helsinki in winter and spring 2018. The purpose has been to introduce
the foundation of the analysis of complex valued functions defined on the complex plane: Dif-
ferentiability, power series expansions, and integration of functions along suitable curves. As an
application of Cauchy’s global integral theorem we have studied integration of rational functions
on the real line. For mapping properties we have considered especially Möbius transformations
and their invariance properties.
These notes are based on my lecture notes in Finnish which were based on Kari Astala’s Lecture
Notes and Terry Tao’s Lecture Notes. But I have benefitted also from H. A. Priestley’s book
Introduction to Complex Analysis as well as Elias Stein’s and Rami Shakarchi’s book on Complex
Analysis and also some other sources which are mentioned in the reference list.
I wish to thank my students for attending the lectures and homework class, and especially for their
encouragement and help for preparing these lecture notes using LATEX. So thank you- Antti J.,
Antti M., Atte, Dennis, Eloy, Emil, Francisco, Heli, Ilmari, Jaakko, Joni, Joonas, Luukas, Mats,
Miika, Mirjeta, Olli, Osku, Tapio, Tomi, Tommi, and Tuuli. I wish to express my gratitude to
Ilmari Lehmusoksa for being an excellent organizer and supervisor for those who typed my lecture
notes using LATEX. I am also extremely grateful to Ilmari Lehmusoksa for drawing excellent
pictures to these lecture notes.
May 2018
Ritva Hurri-Syrjänen
1 Background
1.1 The vector space ℝ2
We have studied the 2-dimensional vector space,
{ }
ℝ2 = (𝑥1 , 𝑥2 ) ∣ 𝑥1 ∈ ℝ, 𝑥2 ∈ ℝ ,
where ℝ is the set of real numbers. The vector space ℝ2 is equipped with two operations: addition
between elements of ℝ2 and scalar multiplication between an element of ℝ2 and an element of
ℝ. That is, for every 𝑎 = (𝑎1 , 𝑎2 ) and 𝑏 = (𝑏1 , 𝑏2 ),
and for 𝜆 ∈ ℝ,
𝜆𝑎 = 𝜆(𝑎1 , 𝑎2 ) = (𝜆𝑎1 , 𝜆𝑎2 ).
Proof.
(A1) For all 𝑎, 𝑏 ∈ ℝ2 we have 𝑎 + 𝑏 ∈ ℝ2 .
(A2) For all 𝑎, 𝑏, 𝑐 ∈ ℝ2 , (𝑎 + 𝑏) + 𝑐 = 𝑎 + (𝑏 + 𝑐).
(A3) There exists a unique 0 ∈ ℝ2 , 0 = (0, 0), such that 𝑎 + 0 = 0 + 𝑎 = 𝑎 for every 𝑎 ∈ ℝ2 .
(A4) For every 𝑎 = (𝑎1 , 𝑎2 ) ∈ ℝ2 there exists exactly one −𝑎 ∈ ℝ2 ,
−𝑎 = −(𝑎1 , 𝑎2 ) = −1(𝑎1 , 𝑎2 ) = (−𝑎1 , −𝑎2 ), such that 𝑎 + (−𝑎) = −𝑎 + 𝑎 = 0.
(A5) For all 𝑎, 𝑏 ∈ ℝ2 : 𝑎 + 𝑏 = 𝑏 + 𝑎.
Remarks 1.1.2.
(A2) the operation + is associative.
(A3) the element 0 is called zero element.
(A4) the element −𝑎 is called the additive inverse of 𝑎
(A5) since the operator is commutative, (ℝ2 , +) is an Abelian group.
𝑦
𝑎+𝑏=𝑏+𝑎
𝑏
𝑏−𝑎
1
𝑎
0 1 𝑥
𝑎−𝑏
Figure 1.1: Addition and subtraction in the vector space (ℝ2 , +) can be interpreted geometrically
via the parallelogram law.
Remark 1.1.4. Recall that (ℝ2 , +) is a real vector space, since (ℝ2 , +) is an Abelian group and
the following statements hold:
(V1) for all 𝜆 ∈ ℝ, 𝑣 ∈ ℝ2 ∶ 𝜆𝑣 ∈ ℝ2 .
Definition 1.1.5. Recall that we have introduced the inner product between 𝑎 = (𝑎1 , 𝑎2 ) ∈ ℝ2
and 𝑏 = (𝑏1 , 𝑏2 ) ∈ ℝ2 such that ( )
𝑎|𝑏 = 𝑎1 𝑏1 + 𝑎2 𝑏2 .
This is a mapping ℝ2 × ℝ2 → ℝ. Another notation is ⟨𝑎|𝑏⟩.
Remark 1.1.6. The notation 𝑎 ⋅ 𝑏 is not used in this Complex Analysis course, since it is reserved
for the multiplication which makes (ℝ2 , +, ⋅) a field.
Remark 1.2.1. Here lies the difference between our vector calculus (Vektorianalyysi II) course
and this first complex analysis course.
Remark 1.2.2. Multiplication is a little bit messy in Cartesian co-ordinates, but it becomes nicer
in polar form, which we introduce later. This polar form gives a geometric meaning for multipli-
cation of two vectors.
In the vector calculus course we studied functions 𝑓 ∶ ℝ2 → ℝ2 , where ℝ2 is the Euclidean plane.
We looked at their differentiability and the properties of their integrals.
Now we study functions 𝑓 ∶ ℂ → ℂ, where ℂ = (ℝ2 , +, ⋅) is the complex plane.
It turns out that for a function 𝑓 ∶ ℝ2 → ℝ2 to have a derivative at every point in an open ball in
ℝ2 , that is, to be real differentiable in an open ball, is a weaker property than to have a complex
derivative in every point of an open ball, that is, to be complex differentiable in an open ball.
In summary: to be real differentiable in an open ball is easier than to be complex differentiable
in the corresponding ball.
Example 1.2.3. Let 𝑓 ∶ ℝ2 → ℝ2 , (𝑥, 𝑦) ↦ (𝑥, −𝑦). The mapping 𝑓 is real differentiable on the
whole plane ℝ2 , since its partial derivatives exist and are continuous.
However, it turns out that
𝑓 ∶ ℂ → ℂ, (𝑥, 𝑦) ↦ (𝑥, −𝑦),
is not complex differentiable.
Before studying the complex differentiability and analyticity of functions, it will be useful to go
through the elementary properties of the elements of ℂ.
𝑎 ⋅ (1, 0) = 𝑎 = (1, 0) ⋅ 𝑎.
(B4) For each 𝑎 ∈ ℝ2 ⧵ {0}, 𝑎 = (𝑎1 , 𝑎2 ), there exists a unique inverse element of 𝑎,
( )
𝑎1 −𝑎2
, =∶ 𝑎−1 ∈ ℝ2
2 2 2
𝑎1 + 𝑎2 𝑎1 + 𝑎2 2
( )
such that 𝑎 ⋅ 𝑎−1 = 𝑎−1 ⋅ 𝑎 = 1, 0 =∶ 1.
(B5) For all 𝑎, 𝑏 ∈ ℝ2 : 𝑎 ⋅ 𝑏 = 𝑏 ⋅ 𝑎.
(F3) For all 𝑎, 𝑏, 𝑐 ∈ ℝ2 :
(𝑎 + 𝑏) ⋅ 𝑐 = 𝑎 ⋅ 𝑐 + 𝑏 ⋅ 𝑐.
This is called the 1st distributional law.
Remarks 1.2.5.
(B2) The operation ⋅ is associative.
(B3) The element (1, 0) is called the unit element.
Note: (𝑎1 , 𝑎2 ) ⋅ (1, 0) = (𝑎1 ⋅ 1 − 𝑎2 ⋅ 0, 𝑎1 ⋅ 0 + 𝑎2 ⋅ 1) = (𝑎1 , 𝑎2 ) and (B5) yields
𝑥 ⋅ 𝑎 = 𝑎 ⋅ 𝑥 = (1, 0),
that is,
𝑥 ⋅ 𝑎 = (𝑥1 , 𝑥2 ) ⋅ (𝑎1 , 𝑎2 ) = (𝑥1 𝑎1 − 𝑥2 𝑎2 , 𝑥1 𝑎2 + 𝑥2 𝑎1 ) = (1, 0).
here 𝑎21 + 𝑎22 > 0. There exists exactly one such (𝑥1 , 𝑥2 ); since the determinant
|𝑎 −𝑎2 ||
| 1
| | = 𝑎21 + 𝑎22 ≠ 0;
|𝑎2 𝑎1 |
| |
the corresponding linear system has a unique solution:
( )
𝑎1 −𝑎2
(𝑥1 , 𝑥2 ) = , .
𝑎21 + 𝑎22 𝑎21 + 𝑎22
Remarks 1.2.6.
1. We sometimes write 𝑧1 ⋅ 𝑧2 = 𝑧1 𝑧2 , where 𝑧1 ∈ ℂ and 𝑧2 ∈ ℂ.
2. Let 𝑧 ∈ ℂ. We define 𝑧0 = (1, 0) and for each 𝑛 ∈ ℕ: 𝑧𝑛 = 𝑧 ⋅ 𝑧𝑛−1 .
Definition 1.2.9. The complex number (0, 1) ∈ ℂ is called the imaginary unit and we write
(0, 1) =∶ 𝑖.
but we cannot take any roots, yet. We have not defined what the square root of 𝑧 ∈ ℂ is.
Definition 2.1.2. Let 𝑧 = 𝑥 + 𝑖𝑦, where 𝑥, 𝑦 ∈ ℝ are fixed. The real part of 𝑧 is
𝑥 =∶ Re(𝑧) ∈ ℝ
and the imaginary part of 𝑧 is
𝑦 =∶ Im(𝑧) ∈ ℝ.
The set {𝑧 ∈ ℂ ∣ Im(𝑧) = 0} is the real axis and the set {𝑧 ∈ ℂ ∣ Re(𝑧) = 0} is the imaginary
axis.
The complex conjugate of 𝑧 is defined by
𝑧 = 𝑥 − 𝑖𝑦,
and the magnitude of 𝑧 is √
|𝑧| = 𝑥2 + 𝑦2 .
Imaginary axis
𝑧
𝑖 |𝑧|
0 1 Real axis
𝑧̄
Figure 2.1: Complex number 𝑧, its magnitude|𝑧| and its complex conjugate 𝑧.
Remark 2.1.3. Two complex numbers are equal if and only if they have the same real part and
the same imaginary part.
Example 2.1.4.
√
𝑧= 3 + 𝑖,
√
𝑧 = 3 − 𝑖,
√
(√ ) 2
|𝑧| = 3 + 12 = 2,
√
Re(𝑧) = 3,
Im(𝑧) = 1
Imaginary axis
√
𝑖 || 3+𝑖
√ 𝑖|
|| 3 + |
||
0 1 Real axis
√
3−𝑖
√ |√ |
Figure 2.2: Complex number 3 + 𝑖 from example 2.1.4, its magnitude || 3 + 𝑖|| = 2 and its
√ | |
complex conjugate 3 − 𝑖.
(𝑖) 𝑧1 + 𝑧2 = 𝑧1 + 𝑧2 ,
(𝑖𝑖) 𝑧1 ⋅ 𝑧2 = 𝑧1 ⋅ 𝑧2 ,
(𝑖𝑖𝑖) 𝑧 = 𝑧.
|𝑧| = |−𝑧| ,
|𝑧| = |𝑧| ,
| |
𝑧 ⋅ 𝑧 = |𝑧|2 .
1 𝑧 𝑧
𝑧−1 = = = .
𝑧 𝑧 ⋅ 𝑧 |𝑧|2
The magnitude|𝑧| behaves well with respect to the multiplication and division operations:
Proposition 2.1.9.
|𝑧 ⋅ 𝑧 | = |𝑧 ||𝑧 | , for all 𝑧1 , 𝑧2 ∈ ℂ,
| 1 2 | | 1 || 2 |
| 𝑧 | |𝑧 |
| 1 | | 1|
| |= , for all 𝑧1 ∈ ℂ and 𝑧2 ∈ ℂ ⧵ {0},
| 𝑧2 | |𝑧2 |
| | | |
|𝑧|𝑛 = ||𝑧𝑛 || , for all 𝑧 ∈ ℂ.
1 (𝑥, 𝑦)
2 =𝑟
√ 𝑥2 +𝑦
𝛼
0 1 x
where 𝑟 = |𝑧| > 0 is called the magnitude, modulus or absolute value of 𝑧 and 𝛼 ∈ ℝ is called the
argument or phase of 𝑧. The argument 𝛼 is, however, only determined up to an integer multiple
of 2𝜋.
Example 2.2.3.
√
𝑧= 3+𝑖
(√ )
𝜋
arg 3 + 𝑖 = + 𝑛2𝜋, 𝑛∈ℤ
6
Im
√
𝑖 𝑧= 3+𝑖
2 2
√
3
𝜋
𝛼= 6 𝜋 𝜋
0 1 Re 3 3
1 1
(a) The complex number 𝑧 and its argument. (b) An equilateral triangle.
Figure 2.4: The complex number 𝑧 from example 2.2.3 and an equilateral triangle, which can be
used to find the argument of 𝑧.
is called Euler’s formula. We take it now as a notation, but we will prove it later.
2.2.5. The relationship between the Cartesian and the polar form is given by Euler’s formula:
2.2.7. There are infinitely many choices for the argument of any given complex number. To get
a unique argument we restrict the argument to lie in an interval (𝛼, 𝛽], where 𝛽 − 𝛼 = 2𝜋. The
standard argument Arg(−𝜋,𝜋] is defined as the unique argument, of a complex number 𝑧, that lies
in the interval (−𝜋, 𝜋]. For the general interval (𝛼, 𝛽], where 𝛽 − 𝛼 = 2𝜋, the argument Arg(𝛼,𝛽]
is defined as the unique argument of 𝑧 that lies in the interval (𝛼, 𝛽].
2.2.8. Recall the formulas for the functions sine and cosine when 𝛼, 𝛽 ∈ ℝ:
Notice the geometric meaning: when we multiply two complex numbers, the output is a complex
number whose magnitude we obtain by multiplying the magnitudes of the input complex numbers.
Likewise, the argument of the output complex number is obtained by summing the arguments of
the input complex numbers.
If 𝑧0 ∈ ℂ ⧵ {0} is a fixed complex number, then in the mapping 𝑧 ↦ 𝑧0 𝑧, the point 𝑧 is the input
and the output is
𝑧0 𝑧 = ||𝑧0 𝑧|| 𝑒𝑖(Arg 𝑧0 +Arg 𝑧) .
This means stretching and rotating in the complex plane ℂ.
Hence,
( )
𝜋 𝜋
Arg(−𝜋,𝜋] (𝑧1 𝑧2 ) = 𝜋 ≠ − + − = −𝜋 = Arg(−𝜋,𝜋] (𝑧1 ) + Arg(−𝜋,𝜋] (𝑧2 ).
2 2
Im
𝑖
𝜋
−1
0 1 Re
− 𝜋2
−𝑖
Figure 2.5: About Remark 2.2.12: 𝑧1 = −𝑖 = 𝑧2 and Arg(−𝜋,𝜋] (𝑧1 ) = Arg(−𝜋,𝜋] (𝑧2 ) = − 𝜋2 .
( )
𝑧1 𝑧2 = (−𝑖)(−𝑖) = −1 but Arg(−𝜋,𝜋] (𝑧1 𝑧2 ) = 𝜋 ≠ Arg(−𝜋,𝜋] (𝑧1 )+Arg(−𝜋,𝜋] (𝑧2 ) = − 𝜋2 + − 𝜋2 =
−𝜋.
Proof. Since
| | | |
|𝑧 | = || 𝑧1 𝑧 || = || 𝑧1 |||𝑧 | ,
| 1 | | 𝑧 2 | | 𝑧 || 2 |
| 2 | | 2|
we obtain
| 𝑧 | |𝑧 |
| 1 | | 1|
| |= .
| 𝑧2 | |𝑧2 |
| | | |
Also, ( ) ( )
𝑧1 𝑧1
arg(𝑧1 ) = arg 𝑧 = arg + arg(𝑧2 ).
𝑧2 2 𝑧2
Im
𝜋
−2
0 1 Re
Figure 2.6: About Remark 2.2.14: 𝑧1 = 1 and 𝑧2 = −2, so Arg(−𝜋,𝜋] (𝑧1 ) = 0 and Arg(−𝜋,𝜋] (𝑧2 ) =
( )
𝑧
𝜋. So 𝑧1 = − 12 , but Arg(−𝜋,𝜋] − 12 = 𝜋 ≠ 0 − 𝜋 = Arg(−𝜋,𝜋] (𝑧1 ) − Arg(−𝜋,𝜋] (𝑧2 ).
2
Example.
cos 2𝛽 = 2 cos2 𝛽 − 1, 𝛽 ∈ ℝ.
Proof.
( )
cos 2𝛽 = Re cos 2𝛽 + 𝑖 sin 2𝛽
(( )2 )
= Re cos 𝛽 + 𝑖 sin 𝛽
( )
= Re cos2 𝛽 − sin2 𝛽 + 𝑖2 cos 𝛽 sin 𝛽
= cos2 𝛽 − sin2 𝛽
( )
= cos2 𝛽 − 1 − cos2 𝛽
= 2 cos2 𝛽 − 1.
Remarks.
1
1. Each of the 𝑛th roots of 𝑎 has modulus |𝑎| 𝑛 . Hence, all the 𝑛th roots of 𝑎 lie on a circle of
1
radius|𝑎| 𝑛 in the complex plane.
2. Since the argument of each successive 𝑛th root exceeds the argument of the previous root
by 2𝜋
𝑛
, the 𝑛th roots are equally spaced on this circle.
Proof. Let ( )
𝑎 = |𝑎| cos 𝜃 + 𝑖 sin 𝜃 ≠ 0.
Our goal is to find all complex numbers
( )
𝑧 = |𝑧| cos 𝜑 + 𝑖 sin 𝜑
such that
𝑧𝑛 = 𝑎.
De Moivre’s theorem implies that
( ) ( )𝑛 ( )
|𝑎| cos 𝜃 + 𝑖 sin 𝜃 = |𝑧|𝑛 cos 𝜑 + 𝑖 sin 𝜑 = |𝑧|𝑛 cos 𝑛𝜑 + 𝑖 sin 𝑛𝜑 .
Hence,
⎧|𝑧|𝑛 =𝑎
⎪
⎨cos 𝑛𝜑 = cos 𝜃
⎪sin 𝑛𝜑 = sin 𝜃
⎩
and we obtain
⎧ 1
⎪|𝑧| = |𝑎| 𝑛
⎨
⎪𝑛𝜑 = 𝜃 + 𝑘2𝜋, 𝑘 ∈ ℤ.
⎩
that is
⎧ 1
⎪|𝑧| = |𝑎| 𝑛
⎨ 𝜃+𝑘2𝜋
⎪𝜑 = 𝑛 , 𝑘 ∈ ℤ.
⎩
Since by choosing 𝑘 = 0, 1, … , 𝑛 − 1, we obtain different values for 𝑧, we have
( )
1 𝜃 + 𝑘2𝜋 𝜃 + 𝑘2𝜋
𝑧𝑘 = |𝑎| 𝑛 cos + 𝑖 sin , where 𝑘 = 0, 1, … , 𝑛 − 1.
𝑛 𝑛
Example 2.3.2. Find the fourth roots of 𝑎 = −1. That is, solve the equation
𝑧4 = −1,
𝑧4 + 1 = 0.
Solution. Since
𝑎 = −1 = cos 𝜋 + 𝑖 sin 𝜋,
𝜋 + 𝑘2𝜋 𝜋 + 𝑘2𝜋
𝑧𝑘 = cos + 𝑖 sin , where 𝑘 = 0, 1, 2, 3.
4 4
𝜋 𝜋 1+𝑖 3𝜋 3𝜋 −1 + 𝑖
𝑧0 = cos + 𝑖 sin = √ , 𝑧1 = cos + 𝑖 sin = √ ,
4 4 2 4 4 2
5𝜋 5𝜋 −1 − 𝑖 7𝜋 7𝜋 1−𝑖
𝑧2 = cos + 𝑖 sin = √ and 𝑧3 = cos + 𝑖 sin = √ .
4 4 2 4 4 2
Im
𝑖
𝑧1 𝑧0
0 1 Re
𝑧2 𝑧3
Solution.
𝑧4 = 1 ⇔ 𝑧4 − 1 = 0.
We notice that
( )( ) ( )( )( )( )
𝑧4 − 1 = 𝑧2 − 1 𝑧2 + 1 = 𝑧 − 1 𝑧 + 1 𝑧 − 𝑖 𝑧 + 𝑖 .
And the four fourth roots of unity, shown in Figure 2.8, are 1, 𝑖, −1 and −𝑖.
Im
𝑖 𝑧1
𝑧2 𝑧0
0 1 Re
𝑧3
𝔻(𝑎, 𝑟) = {𝑧 ∈ ℂ ∶ |𝑧 − 𝑎| ≤ 𝑟}.
𝐶𝑟 (𝑎) = {𝑧 ∈ ℂ ∶ |𝑧 − 𝑎| = 𝑟}.
( )
The unit disc is the disc 𝔻 0, 1 .
𝑟 𝑟
𝑎 𝑎
(a) The open disc 𝔻(𝑎, 𝑟). (b) The closed disc 𝔻(𝑎, 𝑟).
Definition 3.1.1. Let 𝑆 be( a set)in ℂ. A point 𝑧0 is an interior point of 𝑆 if there exists a real
number 𝑟 > 0, such that 𝔻 𝑧0 , 𝑟 ⊂ 𝑆. The interior of 𝑆, denoted by int 𝑆, consists of all of its
interior points. That is,
Definition 3.1.2. A set 𝑆 is open, if every point contained in 𝑆 is an interior point of 𝑆. A set 𝑆
is closed, if its complement, ℂ ⧵ 𝑆, is open.
𝑟
𝑧0
Figure
( 3.2:
) Let 𝑆 be a set in ℂ. A point 𝑧0 is an interior point of 𝑆 if there exists 𝑟 > 0 such that
𝔻 𝑧0 , 𝑟 ⊂ 𝑆.
Definitions 3.1.5.
( )
• A point 𝑧0 ∈ ℂ is a boundary point of 𝑆 if every disc 𝔻 𝑧0 , 𝑟 contains points belonging
to both 𝑆 and its complement, ℂ ⧵ 𝑆.
• The boundary of 𝑆 is defined by
( )
• A point 𝑧0 ∈ ℂ is an accumulation point of 𝑆, if each punctured disc 𝔻 𝑧0 , 𝑟 ⧵ {𝑧0 }
contains at least one point of 𝑆.
• A point which is not an accumulation point is called an isolated point of 𝑆.
• The closure of 𝑆, denoted by 𝑆, is the union of 𝑆 and its accumulation points.
( )
• The open set 𝑈 ⊂ ℂ is a neighbourhood of 𝑧0 , if 𝑧0 ∈ 𝑈 . For example, 𝔻 𝑧0 , 𝑟 is a
neighbourhood of 𝑧0 .
Definition 3.1.6. A set 𝑆 is called bounded if there exist a real constant 𝑀 > 0, such that|𝑧| < 𝑀
whenever 𝑧 ∈ 𝑆. In other words, the set 𝑆 is contained in some large disc. If 𝑆 is bounded, we
define its diameter by
diam(𝑆) = sup||𝑧1 − 𝑧2 || , 𝑧1 , 𝑧2 ∈ 𝑆.
Conversely, a set is called unbounded, if it’s not bounded.
( )
𝔻 0, 𝑀
Figure 3.3: A compact set 𝑆 in ℂ.
3.1.7 Connectedness
Recall that a continuous map,
𝛾 ∶ [𝑎, 𝑏] → 𝑆, 𝑎 < 𝑏,
is a path in 𝑆. We write
Definition. Let 𝑧1 , 𝑧2 be given. The image of the path 𝛾(𝑡) = 𝑧1 + 𝑡(𝑧2 − 𝑧1 ), where 𝑡 ∈ [0, 1],
is a straight line segment:
𝛾([0, 1]) = [𝛾(0), 𝛾(1)] = [𝑧1 , 𝑧2 ].
Definition. A finite number of line segments joined end-to-end forms a polygonal line or a
polygonal route. So if we have points 𝑧0 , … , 𝑧𝑛 ∈ ℂ, we call the union
𝑎 𝑏
𝑧2 𝑧1
𝑧0
𝑧4
𝑧2
𝑧3
𝑧1
(b) A line segment in ℂ. (c) A polygonal route in ℂ.
𝑆 𝑧2
𝑧1
Definition (Domains). Open sets which are connected are called domains.
Definitions.
• A sequence (𝑧𝑛 ) is bounded if there exists a constant 𝑀 ∈ ℝ, such that ||𝑧𝑛 || ≤ 𝑀 for all 𝑛.
• The sequence (𝑧𝑛 ) converges to a limit 𝑎 ∈ ℂ, written as 𝑧𝑛 → 𝑎 or lim𝑛→∞ 𝑧𝑛 = 𝑎, if,
given 𝜖 > 0, there exists a number 𝑁𝜀 ∈ ℕ, such that ||𝑧𝑛 − 𝑎|| < 𝜀 whenever 𝑛 ≥ 𝑁𝜀 .
• The sequence (𝜔𝑘 ) is a subsequence of the sequence (𝑧𝑛 ), if there exist natural numbers
𝑛1 < 𝑛2 < … , such that
𝜔𝑘 = 𝑧𝑛𝑘 , for 𝑘 = 1, 2, … .
lim 𝑓 (𝑧) = 𝜔
𝑧→𝑎
or
lim
𝑧→𝑎
𝑓 (𝑧) = 𝜔,
𝑧∈𝑆
that is, 𝑓 (𝑧) → 𝜔 as 𝑧 → 𝑎, if, given 𝜀 > 0, there exists 𝛿 = 𝛿𝑎,𝜀 > 0 such that
|𝑓 (𝑧) − 𝜔| < 𝜀,
| |
whenever 𝑧 ∈ 𝑆 and 0 < |𝑧 − 𝑎| < 𝛿.
Remark. The limit, if it exists, is determined by the behaviour of 𝑓 (𝑧) as 𝑧 approaches 𝑎. The
value of 𝑓 (𝑎) is irrelevant and it may not even be defined if 𝑎 ∉ 𝑆.
Im(𝑧)
Example. Let 𝑓 (𝑧) = , 𝑧 ≠ 0.
Re(𝑧)
Now we have
3.2.3 Continuity
Let 𝑓 ∶ 𝑆 → ℂ be a function. Then 𝑓 is continuous at 𝑎 ∈ 𝑆 if, given 𝜀 > 0, there exists
𝛿 = 𝛿𝑎,𝜀 > 0, such that
|𝑓 (𝑧) − 𝑓 (𝑎)| < 𝜀
| |
whenever 𝑎 ∈ 𝑆 and |𝑧 − 𝑎| < 𝛿. The function 𝑓 is continuous on 𝑆 if it is continuous at each
𝑎 ∈ 𝑆.
𝛿
𝑓 (𝑧) 𝑎
𝜀
𝑓 (𝑎)
𝑧
Figure 3.6: A function 𝑓 ∶ 𝑆 → ℂ is continuous at 𝑎 ∈ 𝑆 if, given 𝜀 > 0, there exists 𝛿 > 0,
such that ||𝑓 (𝑧) − 𝑓 (𝑎)|| < 𝜀 whenever 𝑎 ∈ 𝑆 and|𝑧 − 𝑎| < 𝛿.
Remarks.
• Sums and products of continuous functions are also continuous.
• Since the notions of convergence for complex numbers and points in ℝ2 are the same, the
function 𝑓 of a complex variable 𝑧 = 𝑥 + 𝑖𝑦 is continuous if and only if it is also continuous
when viewed as a function of two real variables, 𝑥 and 𝑦.
• If 𝑓 is continuous, then the real-valued function
is continuous.
Lemma 3.2.4. Let (𝑧𝑛 ) be a complex sequence. Then (𝑧𝑛 ) converges, if and only if the real-valued
sequences (Re(𝑧𝑛 )) and (Im(𝑧𝑛 )) both converge.
If 𝑧𝑛 → 𝑎, then ||𝑧𝑛 || → |𝑎| and 𝑧𝑛 → 𝑎.
( ) ( )
Example. Let 𝑧𝑛 = 1 + 𝑚1 + 𝑖 1 − 𝑚1 , 𝑚 ∈ ℕ.
Then 𝑧𝑛 → 1 + 𝑖.
Re 𝑓 (𝑧) → Re 𝜔
Im 𝑓 (𝑧) → Im 𝜔.
Proposition 3.2.6. Let 𝑓 ∶ 𝑆 → ℂ. Then 𝑓 is continuous at 𝑎 ∈ 𝑆 (or on 𝑆), if and only if both
Re 𝑓 and Im 𝑓 are continuous at 𝑎 ∈ 𝑆 (or on 𝑆).
Recall that ℝ is complete: every Cauchy sequence of real numbers converges to a real number.
Since the complex sequence (𝑧𝑛 ) is Cauchy if and only if (Re(𝑧𝑛 )) and (Im(𝑧𝑛 )) are, then we can
conclude that every Cauchy sequence in ℂ has a limit in ℂ.
Theorem. ℂ is complete.
4 Analytic functions
4.1 Definitions
Let Ω be an open set in ℂ and 𝑓 a complex-valued function on Ω (we assume that 𝑓 is a complex-
valued function of one complex variable and Ω ≠ ∅).
The limit of 4.1.1, when it exists, is denoted by 𝑓 ′ (𝑧0 ) and is called the complex derivative of 𝑓
at 𝑧0 :
𝑓 (𝑧0 + ℎ) − 𝑓 (𝑧0 )
𝑓 ′ (𝑧0 ) = lim . (4.1.2)
ℎ→0 ℎ
Note that ℎ ∈ ℂ ⧵ {0} must approach 0 from any direction.
Remark. Complex differentiability which is defined only at one point or two points is not enough
to build an interesting,
( meaningful
) theory, so we need complex differentiability to be defined also
on a small disc 𝔻 𝑧0 , 𝜀 , 𝜀 > 0.
( )
Definition 4.1.3. The function 𝑓 is said to be analytic at 𝑧0 if there exists a disc 𝔻 𝑧0 , 𝑟 such
that 𝑓 is complex differentiable at every point in the disc.
𝑟
𝑧0
( )
Figure 4.1: Open disc 𝔻 𝑧0 , 𝑟 .
Remark. In order for 𝑓 to be analytic at 𝑧0 , 𝑓 should have a complex derivative at every point in
a small neighbourhood of 𝑧0 .
Definition 4.1.4. Let Ω be an open set in ℂ and 𝑓 a complex-valued function on Ω. The function
𝑓 is analytic on Ω if it is analytic at every point of Ω.
Remark. Thus, analyticity is a stronger condition than differentiability. Now, we give some ex-
amples.
Examples 4.1.5.
1. Any constant function is analytic on the whole complex plane. Let 𝑓 (𝑧) = 𝑐 ∈ ℂ for all
𝑧 ∈ ℂ. Then 𝑓 ′ (𝑧) = 0:
𝑓 (𝑧 + ℎ) − 𝑓 (𝑧) 𝑐 − 𝑐
= = 0.
ℎ ℎ
3. The function 𝑓 (𝑧) = 𝑧2 is analytic on any open set Ω in ℂ and 𝑓 ′ (𝑧) = 2𝑧:
Remark. The adjectives “regular” and “holomorphic” are sometimes used instead of “analytic”.
Definition 4.1.7. If a function is analytic on the entire complex plane, it is said to be entire.
Entire functions are the very best class of complex functions. (T. Tao)
Remark. Note that, if 𝐷 is a domain, then 𝑓 is analytic if and only if 𝑓 is complex differentiable
at every point in 𝐷.
where 𝜑 is a function defined for all ℎ, when |ℎ| is very small and limℎ→0 𝜑(ℎ) = 0.
Here, 𝑎 = 𝑓 ′ (𝑧0 ).
Proof.
𝑓 (𝑧0 +ℎ)−𝑓 (𝑧0 )
“⇒”: Let us define 𝜑(0) = 0, and 𝜑(ℎ) = ℎ
− 𝑓 ′ (𝑧0 ), ℎ ≠ 0.
𝑓 (𝑧0 +ℎ)−𝑓 (𝑧0 )
“⇐”: From (4.2.2), ℎ
= 𝑎 + 𝜑(ℎ) → 𝑎 as ℎ → 0.
Proof. From (4.2.2), limℎ→0 𝑓 (𝑧0 + ℎ) − 𝑓 (𝑧0 ) = 0, and this is enough since 𝑧0 ∈ Ω is an
accumulation point of the open set Ω.
𝑓 ( )
3. when 𝑔(𝑧0 ) ≠ 0, then the function 𝑔
is well defined in some disc 𝔻 𝑧0 , 𝑟 , 𝑟 > 0 and
( )′
𝑓 𝑓 ′ (𝑧0 )𝑔(𝑧0 ) − 𝑓 (𝑧0 )𝑔 ′ (𝑧0 )
(𝑧0 ) = .
𝑔 𝑔(𝑧0 )2
Proof. The proof is left as homework to the reader. Use lemma 4.2.1 or the definition.
𝑝(𝑧) = 𝑎0 + 𝑎1 𝑧 + … + 𝑎𝑛 𝑧𝑛 ,
𝑝(𝑧)
Corollary 4.2.7. A rational function 𝑞(𝑧) , where 𝑝(𝑧) and 𝑞(𝑧) are polynomials, is analytic on
any open set in which 𝑞(𝑧) is never zero.
Examples 4.2.8.
1
1. The function 𝑓 (𝑧) = 𝑧
is analytic on any open set in ℂ that does not contain the origin and
𝑓 ′ (𝑧) = − 𝑧12 .
1
2. The rational function 𝑓 (𝑧) = 𝑧2 +1
is analytic on any open set in ℂ that does not contain ±𝑖.
Example 4.2.9. When is the function 𝑔(𝑧) = |𝑧|2 analytic? Since 𝑓 (𝑧) = 𝑧 is not analytic in any
2
open set and 𝑧 = |𝑧𝑧 | when 𝑧 ≠ 0, the function 𝑔 is not analytic anywhere.
Remark. Note that the corresponding map 𝑘 ∶ (𝑥, 𝑦) ↦ 𝑥2 + 𝑦2 is differentiable in the real sense
on the whole ℝ2 .
Theorem 4.2.10: Chain rule. Let Ω and 𝑈 be open sets in ℂ. Let 𝑓 be analytic on Ω and let 𝑔
be analytic on 𝑈 and 𝑓 (Ω) ⊆ 𝑈 . The composite function 𝑔◦𝑓 , given by (𝑔◦𝑓 )(𝑧) = 𝑔(𝑓 (𝑧)), is
analytic on Ω and for all 𝑧 ∈ Ω,
( )
𝑓 Ω 𝑈
𝑓 𝑔
ℂ
Ω
𝑔◦𝑓
Figure 4.2: Chain rule (Theorem 4.2.10): the composite function (𝑔◦𝑓 )(𝑧) = 𝑔(𝑓 (𝑧)) is analytic
on Ω if functions 𝑔 and 𝑓 are analytic on their respective domains.
Theorem 4.2.11: Derivative of inverse function. Let Ω be an open set in ℂ and let 𝑓 ∶ Ω → ℂ
be differentiable at 𝑧 ∈ Ω, with 𝑓 ′ (𝑧) ≠ 0. If there is a neighbourhood 𝑈 of the point 𝑤 ∶= 𝑓 (𝑧)
such that 𝑓 has a continuous inverse function 𝑓 −1 on 𝑈 , then 𝑓 −1 is differentiable at 𝑤 and
( )′
1 1
𝑓 −1 (𝑤) = = ( ).
𝑓 ′ (𝑧) 𝑓 ′ 𝑓 −1 (𝑤)
so ℎ → 0 when 𝑘 → 0. Hence
𝑓 −1 (𝑤 + 𝑘) − 𝑓 −1 (𝑤) 𝑧+ℎ−𝑧 ℎ
= =
𝑘 𝑤 + 𝑘 − 𝑤 𝑓 (𝑧 + ℎ) − 𝑓 (𝑧)
ℎ 1
= ′ = ′
𝑓 (𝑧)ℎ + ℎ𝜀(ℎ) 𝑓 (𝑧) + 𝜀(ℎ)
1
→ ′ ,
𝑓 (𝑧)
when 𝑘 → 0.
Recall from the vector calculus course that the function 𝑔 is differentiable at a point (𝑥0 , 𝑦0 ), if
there exists an ℝ-linear transformation 𝐿 ∶ ℝ2 → ℝ2 such that
( )
𝑔 (𝑥0 , 𝑦0 ) + ℎ − 𝑔(𝑥0 , 𝑦0 ) = 𝐿ℎ +‖ℎ‖ 𝜀(ℎ),
with ‖ ‖
‖𝜀(ℎ)‖ → 0 as‖ℎ‖ → 0.
Remark. For a complex number 𝑧 = 𝑥+𝑖𝑦, we write 𝑓 (𝑧) = 𝑢(𝑥, 𝑦)+𝑖𝑣(𝑥, 𝑦), where 𝑢 ∶ ℝ2 → ℝ
and 𝑣 ∶ ℝ2 → ℝ.
The ℝ-linear transformation 𝐿 is unique and is called the derivative of 𝑔 at (𝑥0 , 𝑦0 ). If 𝑔 is differ-
entiable in the real sense, the partial derivatives of 𝑢 and 𝑣 exist, and the ℝ-linear transformation
is described in the standard basis {𝑒1 , 𝑒2 } = {(1, 0), (0, 1)} of ℝ2 by the Jacobian matrix of 𝑔:
⎡ 𝜕𝑢 𝜕𝑢 ⎤
⎢ 𝜕𝑥 𝜕𝑦 ⎥
𝑔 (𝑥, 𝑦) = ⎢ ⎥ ∽ 𝐿.
⎢ 𝜕𝑣 𝜕𝑣 ⎥
⎣ 𝜕𝑥 𝜕𝑦 ⎦
The derivative in the real case is a matrix, while the complex derivative is a complex number
𝑓 ′ (𝑧0 ).
Our goal is to find the relationship between these two notions.
4.3.1. Let us assume that 𝑓 has a complex derivative at the point 𝑧0 . We consider the limit in
(4.1.2), where ℎ ∈ ℝ, i.e. ℎ = ℎ1 + 𝑖ℎ2 with ℎ2 = 0. Let us write 𝑧 = 𝑥 + 𝑖𝑦, 𝑧0 = 𝑥0 + 𝑖𝑦0 , and
𝑓 (𝑧) = 𝑓 (𝑥, 𝑦). Then,
(( ) ) ( )
( )4.1.2
𝑓 𝑥 0 , 𝑦0 + ℎ − 𝑓 𝑥0 , 𝑦0
𝑓 ′ 𝑧0 = lim
ℎ→0 ℎ
( ) ( )
𝑓 𝑥0 + ℎ1 , 𝑦0 − 𝑓 𝑥0 , 𝑦0
= lim
ℎ1 →0 ℎ1
𝜕𝑓 ( )
= 𝜕𝑥 𝑥0 , 𝑦0 ,
𝜕
where 𝜕𝑥 denotes the usual partial derivative in the first variable by the definition of the partial
derivatives.
Next we consider the limit (4.1.2) when ℎ = 𝑖ℎ2 , so ℎ1 = 0. We obtain
(( ) ) ( )
( ) 𝑓 𝑥0 , 𝑦0 + ℎ − 𝑓 𝑥0 , 𝑦0
𝑓 ′ 𝑧0 = lim
ℎ→0 ℎ
( ) ( )
𝑓 𝑥0 , 𝑦0 + ℎ2 − 𝑓 𝑥0 , 𝑦0
= lim
ℎ2 →0 𝑖ℎ2
1 ( )
= 𝜕𝜕𝑦𝑓 𝑥0 , 𝑦0 ,
𝑖
where 𝜕
𝜕𝑦
is the partial derivative in the 2nd variable. Recall that 𝑖 = (0, 1) and so 𝑖ℎ2 = (0, ℎ2 ).
1
Writing 𝑓 = 𝑢 + 𝑖𝑣, we find, after separating the real and imaginary parts and writing 𝑖
= −𝑖,
that the partial derivatives of 𝑢 and 𝑣 exist. Moreover, they satisfy the equations
⎧ 𝜕 𝑓 = 𝜕 (𝑢 + 𝑖𝑣) = 𝜕 𝑢 + 𝑖 𝜕 𝑣
⎪ 𝜕𝑥 𝜕𝑥 𝜕𝑥 𝜕𝑥
⎨
⎪ 1 𝜕 𝑓 = −𝑖 𝜕 (𝑢 + 𝑖𝑣) = −𝑖 𝜕 𝑢 + 𝜕𝑣
= 𝜕𝑣 𝜕𝑢
− 𝑖 𝜕𝑦 ,
⎩ 𝑖 𝜕𝑦 𝜕𝑦 𝜕𝑦 𝜕𝑦 𝜕𝑦
These are called the Cauchy–Riemann (C–R) equations. The Cauchy–Riemann equations link
together real and complex analysis.
𝜕𝑓
(𝑧0 ) = 0, (4.3.6)
𝜕𝑧
and
𝜕𝑓 𝜕𝑢
𝑓 ′ (𝑧0 ) = (𝑧 ) = 2 (𝑧0 ). (4.3.7)
𝜕𝑧 0 𝜕𝑧
If we write 𝑔(𝑥, 𝑦) = 𝑓 (𝑧), then 𝑔 is differentiable in the sense of real variables and
| |2
det 𝑔 (𝑥0 , 𝑦0 ) = |𝑓 ′ (𝑧0 )| . (4.3.8)
| |
Proof. For (4.3.6): Taking the real and imaginary parts, we see that the Cauchy–Riemann equa-
tions are equivalent to
𝜕𝑓
(𝑧0 ) = 0.
𝜕𝑧
The C–R equations imply:
( ) ( )
𝜕𝑓 1 𝜕𝑓 𝜕𝑓 1 𝜕𝑢 𝜕𝑣 𝜕𝑢 2 𝜕𝑣
𝜕𝑧
= + 𝑖 = + 𝑖 + 𝑖 + 𝑖
2 (𝜕𝑥 𝜕𝑦 2 𝜕𝑥 )𝜕𝑥 𝜕𝑦 𝜕𝑦
( ) (C–R)
1 𝜕𝑢 𝜕𝑣 𝜕𝑣 𝜕𝑢
= − + 𝑖 𝜕𝑥 + 𝜕𝑦 = 0.
2 𝜕𝑥 𝜕𝑦
Conversely, if (
𝜕𝑓 ( ))
1 𝜕𝑢 𝜕𝑣 𝜕𝑣 𝜕𝑢
0= = 𝜕𝑥
− 𝜕𝑦
+𝑖 𝜕𝑥
+ 𝜕𝑦
,
𝜕𝑧 2
then
𝜕𝑢 𝜕𝑣 𝜕𝑣 𝜕𝑢
= and =− .
𝜕𝑥 𝜕𝑦 𝜕𝑥 𝜕𝑦
For (4.3.7):
1 ′ 1
𝑓 ′ (𝑧0 ) = 𝑓 (𝑧0 ) + 𝑓 ′ (𝑧0 )
2 2 ( )
(4.3.1) 1 𝜕 𝑓 1 1 𝜕𝑓
= (𝑧 ) + (𝑧 )
2 𝜕𝑥 0 2 𝑖 𝜕𝑦 0
(4.3.4) 𝜕 𝑓
= 𝜕𝑧 (𝑧0 ).
Furthermore, we have
( )
𝜕 𝑓 (4.3.4) 1 𝜕𝑓
𝜕𝑧
= 𝜕𝑥
− 𝑖 𝜕𝜕𝑦𝑓
2
( ( ))
1 𝜕𝑢 𝜕𝑣 𝜕𝑢
= 𝜕𝑥
+ 𝑖 𝜕𝑥 −𝑖 𝜕𝑦
+ 𝑖 𝜕𝜕𝑦𝑣
2
(C-R)
( )
1 𝜕𝑢 𝜕𝑢 𝜕𝑢 𝜕𝑢
= − 𝑖 − 𝑖 +
2 𝜕𝑥 𝜕𝑦 𝜕𝑦 𝜕𝑥
( )
1 𝜕𝑢 𝜕𝑢 𝜕𝑢
=2 − 𝑖 𝜕𝑦 = 2 𝜕𝑧 .
2 𝜕𝑥
Let us write 𝑧0 = (𝑥0 , 𝑦0 ). Now, our goal is to show that 𝑔 is differentiable in the real sense. We
have to show that there exists an ℝ-linear transformation
𝐿𝑔 ∶ ℝ → ℝ
such that
𝑔((𝑥0 , 𝑦0 ) + 𝐻) − 𝑔(𝑥0 , 𝑦0 ) = 𝐿𝑔 𝐻 +‖𝐻‖ 𝜀(𝐻), (4.3.9)
where ‖ ‖
‖𝜀(𝐻)‖ → 0 as‖𝐻‖ → 0, 𝐻 = (ℎ1 , ℎ2 ) ∈ ℝ and ℎ1 + 𝑖ℎ2 ∈ ℂ.
2
Recall from the vector calculus course that the ℝ-linear transformation 𝐿𝑔 is unique and is called
the derivative of 𝑔 at (𝑥0 , 𝑦0 ).
Since 𝑓 is complex differentiable at 𝑧0 and the C–R equations are satisfied, we know that
𝜕𝑓 𝜕𝑢 𝜕𝑣 𝜕𝑣 𝜕𝑢
𝑓 ′ (𝑧0 ) = (𝑧 ) = +𝑖 = −𝑖 .
𝜕𝑥 0 𝜕𝑥 𝜕𝑥 𝜕𝑦 𝜕𝑦
By the definition of complex differentiability,
= 𝑓 (𝑧0 + ℎ) − 𝑓 (𝑧0 )
( )
𝜕𝑢 𝜕𝑢
= 𝜕𝑥 − 𝑖 𝜕𝑦 (ℎ1 + 𝑖ℎ2 ) + ℎ𝜀(ℎ)
⎡ 𝜕𝑢 𝜕𝑢 ⎤
⎢ 𝜕𝑥 𝜕𝑦 ⎥ ⎡ℎ1 ⎤
=⎢ ⎥⎢ ⎥ + ℎ𝜀(ℎ)
⎢ 𝜕𝑣 𝜕 𝑣 ⎥ ⎢ℎ ⎥
⎣ 𝜕𝑥 𝜕𝑦 ⎦
⎣ 2⎦
= 𝐿𝑔 ℎ + ℎ𝜀(ℎ) = 𝐿𝑔 𝐻 +‖𝐻‖ 𝜀(𝐻),
where 𝜀(ℎ) = (𝜀1 (ℎ), 𝜀(ℎ2 )) and 𝐻 ≠ (0, 0).
Note that
(ℎ1 𝜀1 (ℎ) − ℎ2 𝜀2 (ℎ), ℎ2 𝜀2 (ℎ) + ℎ2 𝜀1 (ℎ))
ℎ ⋅ 𝜀(ℎ) = ‖𝐻‖ ,
‖𝐻‖
⏟⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏟⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏟
=∶𝜀(𝐻)
where ‖ ‖
‖𝜀(𝐻)‖ → 0 as‖𝐻‖ → 0.
So 𝑔 is differentiable in the sense of two real variables.
We obtain
𝜕𝑢 𝜕𝑣 𝜕𝑣 𝜕𝑢
det 𝑔 (𝑥0 , 𝑦0 ) = 𝜕𝑥 𝜕𝑦
− 𝜕𝑥 𝜕𝑦
( )2 ( )2
𝜕𝑢 𝜕𝑢
= 𝜕𝑥
+ 𝜕𝑦
| 𝜕𝑢 |2
| 𝜕 𝑢 |2 | ′ |2
= || 𝜕𝑥 𝜕𝑢 |
− 𝑖 𝜕𝑦 | = ||2 𝜕𝑧 || = ||𝑓 (𝑧0 )|| .
| |
Proof. Let 𝑧0 = (𝑥0 , 𝑦0 ) ∈ Ω and ℎ = ℎ1 + 𝑖ℎ2 = (ℎ1 , ℎ2 ). Since 𝑢 and 𝑣 are differentiable at 𝑧0 ,
we have
( ) ( ) ( )
𝑢 𝑧0 + ℎ − 𝑢 𝑧0 = D𝑢 𝑧0 ℎ +‖ℎ‖ 𝜀1 (ℎ)
( )
= (∇𝑢 𝑧0 |ℎ) +‖ℎ‖ 𝜀1 (ℎ)
𝜕𝑢 𝜕𝑢
= (𝑧 )ℎ
𝜕𝑥 0 1
+ (𝑧 )ℎ
𝜕𝑦 0 2
+‖ℎ‖ 𝜀1 (ℎ)
and
( )
𝑣(𝑧0 + ℎ) − 𝑣(𝑧0 ) = D𝑣 𝑧0 ℎ +‖ℎ‖ 𝜀2 (ℎ)
( )
= (∇𝑣 𝑧0 |ℎ) +‖ℎ‖ 𝜀2 (ℎ)
𝜕𝑣 𝜕𝑣
= (𝑧 )ℎ
𝜕𝑥 0 1
+ (𝑧 )ℎ
𝜕𝑦 0 2
+‖ℎ‖ 𝜀2 (ℎ),
where 𝜀𝑘 (ℎ) → 0 as ℎ → 0, 𝑘 = 1, 2.
Let us write 𝜀(ℎ) = 𝜀1 (ℎ) + 𝑖𝜀2 (ℎ). We obtain using the complex functions
𝑓 (𝑧0 + ℎ) − 𝑓 (𝑧0 ) = (𝑢(𝑧0 + ℎ) − 𝑢(𝑧0 )) + 𝑖(𝑣(𝑧0 + ℎ) − 𝑣(𝑧0 ))
( ) ( )
𝜕𝑢 𝜕𝑢 𝜕𝑣
= 𝜕𝑥 (𝑧0 )ℎ1 + 𝜕𝑦 (𝑧0 )ℎ2 + 𝑖 𝜕𝑥 (𝑧0 )ℎ1 + 𝜕𝜕𝑦𝑣 (𝑧0 )ℎ2 +‖ℎ‖ 𝜀(ℎ).
( )
𝜕𝑢 𝜕𝑣
= 𝜕𝑥
+ 𝑖 𝜕𝑥 (ℎ1 + 𝑖ℎ2 ) +‖ℎ‖ 𝜀(ℎ)
( ) ‖ℎ‖ 𝜀(ℎ)
𝜕𝑢 𝜕𝑣
= 𝜕𝑥
+ 𝑖 𝜕𝑥 ⋅ℎ+ℎ ,
ℎ
‖ℎ‖ 𝜀(ℎ)
where 𝜀0 = , if ℎ ≠ 0, 𝜀0 (0) = 0 and 𝜀0 (ℎ) → 0 as ℎ → 0.
ℎ
Hence 𝑓 is complex differentiable at 𝑧0 and
𝜕𝑢 𝜕𝑣
𝑓 ′ (𝑧0 ) = (𝑧 ) + 𝑖 (𝑧0 ).
𝜕𝑥 0 𝜕𝑥
Proof. One implication is Theorem 4.3.10. The other implication follows from the proof of The-
orem 4.3.5.
Examples 4.3.14.
1. Let 𝑓 (𝑧) = 2𝑥𝑦 + 𝑖(𝑥2 + 𝑦2 ). Now, let 𝑢 ∶ ℝ2 → ℝ and 𝑣 ∶ ℝ2 → ℝ be such that 𝑢(𝑥, 𝑦) =
2𝑥𝑦 and 𝑣(𝑥, 𝑦) = 𝑥2 + 𝑦2 . The partial derivatives of 𝑢 and 𝑣 are
𝜕𝑢 𝜕𝑢
𝑢𝑥 = 𝜕𝑥
= 2𝑦, 𝑢𝑦 = 𝜕𝑦
= 2𝑥 and
𝜕𝑣 𝜕𝑣
𝑣𝑥 = 𝜕𝑥
= 2𝑥, 𝑣𝑦 = 𝜕𝑦
= 2𝑦.
Now 𝑢𝑥 , 𝑢𝑦 , 𝑣𝑥 , 𝑣𝑦 exists and are continuous, thus we know that 𝑓 is differentiable in the
real sense of two variables. C–R equations are
{
𝑢𝑥 = 𝑣𝑦 and
𝑢𝑦 = −𝑣𝑥 .
The only points where the C–R equations are satisfied are the points where 𝑥 = 0, i.e., the
points on the imaginary axis. Hence, 𝑓 is complex differentiable at these points and
Therefore 𝑓 fails to be analytic (there does not exist an open disk where the function has
complex derivatives, see Figure 4.3).
2. Let 𝑓 (𝑧) = (𝑧)2 . Is 𝑓 analytic?
Now, let 𝑢 ∶ ℝ2 → ℝ, 𝑢(𝑥, 𝑦) = Re 𝑓 (𝑥, 𝑦) = 𝑥3 − 3𝑥𝑦2 and 𝑣 ∶ ℝ2 → ℝ, 𝑣(𝑥, 𝑦) =
Im 𝑓 (𝑥, 𝑦) = 𝑦3 − 3𝑥2 𝑦. Homework.
Im
Re
Figure 4.3: Function 𝑓 in example 4.3.14.1 is complex differentiable at the imaginary axis, but
it is not analytic anywhere as there does not exist an open disk where the function has complex
derivatives.
√
Remark 4.3.15. Let 𝑓 (𝑥 + 𝑖𝑦) = |𝑥| |𝑦|, where 𝑥, 𝑦 ∈ ℝ. Show that 𝑓 satisfies the C–R
equations at the origin, but 𝑓 is not complex differentiable at the origin.
Remark 4.3.16. Let 𝑓 (𝑥 + 𝑖𝑦) = (𝑥2 + 𝑦2 ) + 𝑖2𝑦𝑥. Now the partial derivatives
⎧ 𝜕𝑓 = 2𝑥 + 𝑖2𝑦 and
⎪ 𝜕𝑥
⎨
⎪ 𝜕𝑓 = −2𝑦 + 𝑖2𝑥
⎩ 𝜕𝑦
satisfy the C–R equations. Do as in example 4.3.14.
⎧ 𝜕𝑢 𝜕𝑣
⎪ 𝜕𝑥 = 𝜕𝑦
⎨ 𝜕𝑣 𝜕𝑢
⎪ 𝜕𝑥 = − 𝜕𝑦
⎩
have an interesting consequence:
If we only know the real part of an analytic function, we can deduce the imaginary part 𝑣 (up to
a constant), by integrating the C–R equations.
Theorem 4.3.19. If 𝑓1 = 𝑢 + 𝑖𝑣1 and 𝑓2 = 𝑢 + 𝑖𝑣2 are two analytic functions which are defined
on the same domain and which have the same real part 𝑢, then we know that 𝑣1 = 𝑣2 + 𝐶 for
some constant 𝐶.
We need following Lemma 4.3.20 from the vector calculus course:
Proof. (of the theorem) From the C–R equations we have that
𝜕𝑢 𝜕𝑣 𝜕𝑣 𝜕𝑢 𝜕𝑣 𝜕𝑣
= 1 = 2 and = − 1 = − 2,
𝜕𝑥 𝜕𝑦 𝜕𝑦 𝜕𝑦 𝜕𝑥 𝜕𝑥
thus
𝜕(𝑣1 − 𝑣2 ) 𝜕(𝑣1 − 𝑣2 )
=0= .
𝜕𝑦 𝜕𝑥
Then by the above Lemma 4.3.20 𝑣1 − 𝑣2 = 𝐶.
The previous Theorem 4.3.19 tells us that up to a constant, every function 𝑢 has only one harmonic
conjugate. Note that not every function has a harmonic conjugate.
Let us take the C–R equations:
𝜕𝑢 𝜕𝑣 𝜕𝑢 𝜕𝑣
(1) = and (2) =− ,
𝜕𝑥 𝜕𝑦 𝜕𝑦 𝜕𝑥
and differentiate (1) with respect to 𝑥 and (2) with respect to 𝑦.
Remark 4.3.22. We have just shown that in order for 𝑢 to be the real part of an analytic function,
then 𝑢 must be harmonic.
Proposition 4.3.24. The real part and the imaginary part of an analytic function are harmonic.
Warning: We will use the fact that an analytic function is twice continuously differentiable (in
fact, it is 𝑓 ∈ 𝐶 ∞ (Ω)), but we will prove this property later.
Let Ω be an open set. Let 𝑓 ∶ Ω → ℂ be analytic, and the real part of 𝑓 , Re 𝑓 ∶ Ω → ℂ,
(Re 𝑓 )(𝑧) = Re 𝑓 (𝑧). By the C–R equations, we have:
𝜕 2 Re 𝑓 𝜕 2 Re 𝑓
Δ Re 𝑓 = 𝜕𝑥 2 + 𝜕𝑦2
𝜕 𝜕 𝜕 𝜕
= 𝜕𝑥 𝜕𝑥
Re 𝑓 + 𝜕𝑦 𝜕𝑦
Re 𝑓
𝜕 𝜕 𝜕 𝜕
= 𝜕𝑥 𝜕𝑦
Im 𝑓 − 𝜕𝑦 𝜕𝑥
Im 𝑓 = 0.
Now
⎧ 𝜕𝑢 𝜕𝑣
⎪ 𝜕𝑥 = 2𝑥 = 𝜕𝑦
⎨ 𝜕𝑣 𝜕𝑢
⎪ 𝜕𝑦 = −2𝑌 = − 𝜕𝑥
⎩
so 𝑧2 satisfies C–R equations. By the product formula 𝑓 ′ (𝑧0 ) = 2𝑧0 and
( ) ( ) 𝜕𝑢 ( ) 𝜕𝑣 ( )
𝑓 ′ 𝑥0 + 𝑖𝑦0 = 2 𝑥0 + 𝑖𝑦0 = 𝑧0 + 𝑖 𝑧 .
𝜕𝑥 𝜕𝑥 0
Remark 4.3.31. (Important!) If the partial derivatives 𝜕𝜕𝑥𝑓 and 𝜕𝜕𝑦𝑓 exist and are continuous at 𝑧0 ,
then the following is true:
𝑓 (𝑧) is complex differentiable at 𝑧0 if and only if the C–R equations
𝜕𝑓 ( ) 1 𝜕𝑓 ( )
𝑧 = 𝑧
𝜕𝑥 0 𝑖 𝜕𝑦 0
hold.
4.3.32
Let Ω ⊂ ℝ2 be an open set. Consider 𝑓 ∶ Ω → ℝ2 , a function of two variables. Recall that 𝑓 is
differentiable at the point 𝑧0 if there exists an ℝ-linear mapping from ℝ2 to ℝ2 – the derivative,
or differential 𝑓 (𝑧0 ) – such that
The plane ℝ2 (ℂ) is an ℝ-vector space. Hence, we can consider the mappings 𝐿 ∶ ℂ → ℂ, which
are ℝ-linear:
There is a corresponding matrix of 𝐿 with respect to the basis {(1, 0) = 1, (0, 1) = 𝑖}:
( )
𝑎11 𝑎12
𝐿= , 𝑎𝑘𝑗 ∈ ℝ.
𝑎21 𝑎22
So that
We note from the previous calculations that 𝛽 = 0 if and only if 𝑎11 = 𝑎22 and 𝑎12 = −𝑎21 .
Hence, in the Jabocian matrix [ ]
𝑢𝑥 𝑢𝑦
,
𝑣𝑥 𝑣𝑦
𝑢𝑥 = 𝑣𝑦 and 𝑢𝑦 = −𝑣𝑥 , which means that the C–R equations are satisfied.
Example. As a first approximation the surface of soap films (or any elastic surface) is the graph
of harmonic function.
5 Complex Series
5.1 Series of complex terms
Let (𝑧𝑛 ) be a complex sequence. An expression
∑
∞
𝑧𝑛 = 𝑧1 + 𝑧2 + … (5.1.1)
𝑛=1
is an infinite series. The numbers
∑
𝑁
𝑧𝑛 =∶ 𝑆𝑁 , 𝑁 = 1, 2, … (5.1.2)
𝑛=1
Definition 5.1.3. If the sequence of partial sums converges to some number 𝑆 ∈ ℂ, that is,
lim𝑁→∞ 𝑆𝑁 = 𝑆, then we define
∑∞
𝑧𝑛 = 𝑆,
𝑛=1
∑∞
and we say that the series 𝑛=1 𝑧𝑛 converges to (the sum) 𝑆. We call 𝑆 the sum of the series
∑∞
𝑛=1 𝑧𝑛 . A series which converges to some number 𝑆 ∈ ℂ is called a convergent series. If a
series does not converge, we say that it diverges or that it is divergent.
Remark. It follows from the definition that questions of the convergence of series are questions
of the convergence of sequences.
∑
∞ ∑
∞
𝑧𝑛 = 𝑠 and 𝑤𝑛 = 𝑡,
𝑛=1 𝑛=1
then
∑
∞
( ) ∑
∞
𝑧𝑛 + 𝑤𝑛 = 𝑠 + 𝑡 and 𝜆𝑧𝑛 = 𝜆𝑠, 𝜆 ∈ ℂ.
𝑛=1 𝑛=1
∑∞
Proposition 5.1.5. The complex series 𝑛=1 𝑧𝑛 converges if and only if the real series
∑
∞
( ) ∑
∞
( )
Re 𝑧𝑛 and Im 𝑧𝑛
𝑛=1 𝑛=1
both converge.
∑
∞ ∑
∞
( ) ∑
∞
( )
𝑧𝑛 = Re 𝑧𝑛 + 𝑖 Im 𝑧𝑛 ,
𝑛=1 𝑛=1 𝑛=1
whenever the two series on the right-hand side converge, or the series on the left-hand side con-
verges.
Remarks 5.1.6.
1. If a series of complex numbers converges, then the 𝑛th term converges to zero as 𝑛 tends to
∑
infinity. Note that the converse is generally not true: ∞ 1 1
𝑛=1 𝑛 diverges, but lim𝑛→∞ 𝑛 = 0.
∑
2. The terms of a convergent series are bounded. That is, when the series ∞ 𝑛=1 𝑧𝑛 converges,
then there exists a positive constant 𝑀 such that ||𝑧𝑛 || ≤ 𝑀 for all positive integers 𝑛.
∑∞
Definition 5.1.7. The series 𝑛=1 𝑧𝑛 is said to be absolutely convergent if the series
∑
∞
|𝑧 |
| 𝑛|
𝑛=1
√
( )2 ( )2
of real numbers ||𝑧𝑛 || = Re 𝑧𝑛 + Im 𝑧𝑛 converges.
In establishing the fact that the sum of a given series is a given number 𝑆, it is often convenient
to define the remainder 𝜚𝑁 after 𝑁 terms:
∑
Definition 5.1.9. Let 𝑆 ∈ ℂ be given. Let 𝑆𝑁 = 𝑁 𝑗=1 𝑧𝑗 be the partial sum of the series
∑∞
𝑧
𝑗=1 𝑗 . The remainder 𝜚 𝑁 after 𝑁 terms is 𝜚 𝑁 = 𝑆 − 𝑆𝑁 . Thus 𝑆 = 𝑆𝑁 + 𝜚𝑁 , and since
|𝑆 − 𝑆𝑁 | = |𝜚𝑁 |, we see that a series ∑∞ 𝑧𝑛 converges to a number 𝑆 ∈ ℂ if and only if the
| | | | 𝑛=1
sequence of remainders tends to zero.
Remark (for further reading). There exists a useful test called Raabe’s test.
Examples 5.1.13.
1. The series
∑
∞
(−𝑖)𝑛
𝑛=1 𝑛2
converges, since it is absolutely convergent:
∑∞| 𝑛|
| (−𝑖) | ∑ 1
∞
| 2 |= .
| | 2
𝑛=1| 𝑛 | 𝑛=1 𝑛
∑∞ 1
Recall from real analysis that a series 𝑛=1 𝑛𝑝 converges if 𝑝 > 1 and diverges otherwise.
2. The series
∞ (
∑
)𝑛
−1
𝑖
𝑛=0
𝑛!
(−1)𝑛 ∑∞
is convergent. Let 𝑥𝑛 = 0 and 𝑦𝑛 = . Evidently, the series 𝑛=1 𝑥𝑛 is convergent.
∑ 𝑛!
Likewise, ∞ 𝑛=1 𝑦𝑛 is convergent:
∞ (
∑
)𝑛
−1
= 𝑒−1 .
𝑛=1
𝑛!
And so
∞ (
∑
)𝑛
−1 𝑖
𝑖= .
𝑛=1
𝑛! 𝑒
3. The series ( )
∑
∞
1 1
+𝑖
𝑛2 𝑛
𝑛=1
∑∞ 1
diverges, since the harmonic series 𝑛=1 𝑛 is divergent.
4. The series
∑∞ ( )𝑛−1 ( )2𝑛−1
−1 2𝑖
( )
𝑛=1 2𝑛 − 1 !
converges.
Let ( )𝑛−1 ( )2𝑛−1 ( )𝑛−1 ( )2𝑛
−1 2𝑖 1 −1 2𝑖
𝑧𝑛 = ( ) = ( ) ,
2𝑛 − 1 ! 2𝑖 2𝑛 − 1 !
then
| ( ) ( )𝑛 ( )2𝑛+2 |
| 𝑧 | || 2𝑛 − 1 ! −1 2𝑖
|
|
| 𝑛+1 | | |= 4
| | =|( ) ( ) ( ( ) ) | ( ) ⟶ 0.
| 𝑧𝑛 | | 𝑛−1 2𝑛 | 2𝑛 2𝑛 + 1 𝑛→∞
| | | −1 2𝑖 2 𝑛 + 1 − 1 !|
| |
Hence, the series converges by d’Alembert’s ratio test.
5. Let us prove that
∑
∞
1
𝑧𝑛 = , whenever |𝑧| < 1.
𝑛=0
1−𝑧
( )( )
We achieve this with the help of remainders. Recall that 1 − 𝑧 1 + 𝑧 + ⋯ + 𝑧𝑛 = 1 −
𝑧𝑛+1 , so
1 − 𝑧𝑛+1
1 + 𝑧 + ⋯ + 𝑧𝑛 = , 𝑧 ≠ 1.
1−𝑧
∑
𝑁
𝑆𝑁 (𝑧) = 𝑧𝑛 = 1 + 𝑧 + ⋯ + 𝑧𝑁 , 𝑧 ≠ 1,
𝑛=0
as
1 − 𝑧𝑁+1
𝑆𝑁 (𝑧) = , 𝑧 ≠ 1.
1−𝑧
1
If 𝑆(𝑧) = 1−𝑧
, then
𝑧𝑁+1
𝜚𝑁 (𝑧) = 𝑆(𝑧) − 𝑆𝑁 (𝑧) = , 𝑧 ≠ 1.
1−𝑧
Thus
𝑁+1
|𝜚𝑁 (𝑧)| = |𝑧|
| | |1 − 𝑧|
| |
and the remainders 𝜚𝑁 (𝑧) tend to zero when|𝑧| < 1, but not when|𝑧| ≥ 1. Hence
∑
∞
1
𝑧𝑛 = , whenever |𝑧| ≤ 1.
𝑛=0
1−𝑧
where 𝑧0 and the coefficients 𝑎𝑛 are complex constants and 𝑧 may be any point in a stated domain
containing 𝑧0 . In such a series involving a variable 𝑧, we shall denote sums, partial sums and
remainders by 𝑆(𝑧), 𝑆𝑁 (𝑧) and 𝜚𝑁 (𝑧), respectively. Our last example 5.1.13(5) gives an example
of a power series.
In the power series expansion we shall often assume, without loss of generality, that 𝑧0 = 0.
∑
Theorem 5.2.1. (Theorem of Abel) If ∞ 𝑎 𝑧𝑛 converges at some 𝑧1 ∈ ℂ, then the series
( )𝑛=0 𝑛
| |
converges absolutely at each 𝑧 ∈ 𝔻 0,|𝑧1 | .
𝑧1
0
𝑧
Figure 5.1: Theorem( 5.2.1:)If a power series converges at some 𝑧1 ∈ ℂ, then it converges abso-
lutely at each 𝑧 ∈ 𝔻 0,||𝑧1 || .
∑ | |
Proof. Since 𝑎𝑛 𝑧𝑛 converges at 𝑧1 ≠ 0, it follows that lim𝑘→∞ |𝑎𝑘 𝑧𝑘1 | = 0. So there exists a
| |
| |
real constant 𝑀 such that |𝑎𝑘 𝑧𝑘1 | ≤ 𝑀 for all 𝑘 ∈ ℕ. Hence for each 𝑘
| |
| |𝑘
| 𝑘 | | 𝑘 || 𝑧 |
|𝑎𝑘 𝑧 | = |𝑎𝑘 𝑧1 || | ≤ 𝑀𝑞 𝑘 ,
| | | || 𝑧1 |
| |
|𝑧| ( ) ∑
where 𝑞 = < 1, when |𝑧| < ||𝑧1 ||, that is, 𝑧 ∈ 𝔻 0,||𝑧1 || . The series 𝑞 𝑘 converges as a
|𝑧1 |
( ) ∑ ∑| |
geometric series in 𝔻 0,||𝑧1 || . Hence 𝑀𝑞 𝑘 converges and by the comparison test |𝑎𝑘 𝑧𝑘 |
∑ | |
converges, when |𝑧| < ||𝑧1 || and the original series 𝑎𝑘 𝑧𝑘 converges absolutely when |𝑧| < ||𝑧1 ||.
∑ ∑
Corollary 5.2.2. If 𝑎𝑘 𝑧𝑘 fails to converge at some 𝑧2 ∈ ℂ, then 𝑎𝑘 𝑧𝑘 diverges for all|𝑧| >
|𝑧2 |.
| |
𝑧2
Figure 5.2: Corollary 5.2.2: If a power series fails to converge at some 𝑧2 ∈ ℂ, then it diverges
for all|𝑧| > ||𝑧2 ||.
∑
Definition 5.2.3. The radius of convergence of the power series 𝑎𝑛 (𝑧 − 𝑧0 )𝑛 is defined to be
{ ∑ }
𝑅 ∶= sup ||𝑧 − 𝑧0 || ∶ |𝑎𝑛 (𝑧 − 𝑧0 )𝑛 | converges at 𝑧 .
| |
∑| |𝑛
Here we write 𝑅 = ∞, if |𝑎𝑛 (𝑧 − 𝑧0 )| converges for arbitrarily large 𝑧 − 𝑧0 .
∑
Lemma 5.2.4. (Radius of convergence) Let 𝑎𝑘 (𝑧 − 𝑧0 )𝑘 be a power series with radius of con-
vergence 𝑅. Then there are three possibilities:
∑
1. 𝑅 = 0 ∶ the series 𝑎𝑘 (𝑧 − 𝑧0 )𝑘 converges only at the point 𝑧0 .
∑
2. 0 < 𝑅 < ∞ ∶ the series 𝑎𝑘 (𝑧 − 𝑧0 )𝑘 converges absolutely for all 𝑧 with ||𝑧 − 𝑧0 || < 𝑅
∑
and the series 𝑎𝑘 (𝑧 − 𝑧0 )𝑘 fails to converge for any 𝑧 with ||𝑧 − 𝑧0 || > 𝑅
∑
3. 𝑅 = ∞ ∶ the series 𝑎𝑘 (𝑧 − 𝑧0 )𝑘 converges absolutely for all 𝑧 ∈ ℂ.
( )
Definition 5.2.5. If 0 < 𝑅 < ∞ then the disc 𝔻 𝑧0 , 𝑅 is called the disc of convergence. If
𝑅 = 0 the disc of convergence is ∅. If 𝑅 = ∞ then the disc of convergence is ℂ.
𝑅
𝑧0
( )
Figure 5.3: Definition 5.2.5: The disc of convergence 𝔻 𝑧0 , 𝑅 .
Remark. On the boundary of the disc of convergence, ||𝑧 − 𝑧0 || = 𝑅, the situation is delicate, as
one can have either convergence or divergence.
Examples 5.2.6. For each of the following power series, calculate the radius of convergence:
∑
∞ 𝑛
𝑧 ∑
∞ 𝑛
𝑧 ∑
∞
(1) , (2) , (3) 𝑛!𝑧𝑛 .
𝑛=1
𝑛 𝑛=1
𝑛! 𝑛=1
∑| 1 𝑛 |
(1) We apply the Ratio test to | 𝑛 𝑧 |. For 𝑧 ≠ 0,
| |
| 𝑧𝑛+1 𝑛 |
| | 𝑛
| |= |𝑧| → |𝑧| ,
| 𝑛 + 1 𝑧𝑛 | 𝑛 + 1
| |
∑| 1 𝑛 |
as 𝑛 → ∞. Hence | 𝑛 𝑧 | converges if|𝑧| < 1 and fails to converge if|𝑧| > 1. We conclude
| |
that 𝑅 = 1.
∑| 𝑧𝑛 |
(2) We apply the Ratio test to | 𝑛! |. For 𝑧 ≠ 0,
| |
| 𝑧𝑛+1 𝑛! | |𝑧|
| |
| |= → 0,
| (𝑛 + 1)! 𝑧𝑛 | 𝑛 + 1
| |
∑| 𝑧 𝑛 |
as 𝑛 → ∞. Hence | 𝑛! | converges for all 𝑧 ∈ ℂ. We deduce that 𝑅 = ∞.
| |
∑
(3) We apply the Ratio test to ||𝑛!𝑧𝑛 ||. For 𝑧 ≠ 0,
| (𝑛 + 1)!𝑧𝑛+1 | ( )
| |
| | = 𝑛 + 1 |𝑧| → ∞,
| 𝑛!𝑧𝑛 |
| |
∑| 𝑛 |
as 𝑛 → ∞. Hence |𝑛!𝑧 | converges only if 𝑧 = 0. So 𝑅 = 0.
For calculating the radius of convergence we may apply the Ratio test and the n𝑡ℎ root test. But we
need the limits and sometimes they do not exist. The formula of Hadamard solves the problem!
1 1
= ∞ and = 0.
0 ∞
Remark. Recall the definition of limes superior. Let (𝑥𝑘 ) be a sequence of real numbers. Then
{ }
lim 𝑥𝑘 = lim sup 𝑥𝑘 = inf sup 𝑥𝑘 , 𝑥𝑘+1 , … .
𝑘→∞ 𝑘→∞ 𝑘≥1
Example. Let (𝑥𝑘 ) be a sequence where 𝑥𝑘 = (−1)𝑘 , 𝑘 ≥ 1. Note that the sequence
Examples 5.2.9. Find the radius of convergence for the following series:
1.
∑
∞ 𝑛2
𝑧 𝑧4 𝑧9 𝑧16 ∑ ∞
=𝑧+ + + +⋯= 𝑎𝑗 𝑧𝑗 ,
𝑛=1 𝑛2 4 9 16 𝑗=1
where {1
𝑗
, when 𝑗 = 𝑛2 for some 𝑛 ∈ ℕ
𝑎𝑗 =
0, otherwise.
The Hadamard formula 5.2.8 gives
1
1 | |
1
| 1 | 𝑛2 1
= lim sup|𝑎𝑗 | 𝑗 = lim sup|| || = sup 1 = 1,
𝑅 𝑗→∞ | | 𝑛→∞ | 𝑛2 | 𝑘→∞ 𝑘 𝑘
since
1 1 1
𝑘 𝑘 = 𝑒log 𝑘 𝑘 = 𝑒 𝑘 log 𝑘 → 1.
2.
∑
∞
2
𝑎𝑛 𝑧𝑛 , 𝑎 ∈ ℂ.
𝑛=1
The Hadamard formula 5.2.8 gives
1 1 𝑛2
= lim ||𝑎𝑛 || 𝑛 = lim |𝑎| 𝑛 = lim |𝑎|𝑛 .
𝑅 𝑛→∞ 𝑛→∞ 𝑛→∞
Hence,
⎧0, if |𝑎| > 1
⎪
𝑅 = ⎨1, if |𝑎| = 1
⎪∞, if |𝑎| < 1.
⎩
Proof of Hadamard’s theorem. Let 𝐿 = 𝑅1 where 𝑅 is defined by the Hadamard’s formula 5.2.8.
Suppose that 𝐿 ≠ 0, ∞. If|𝑧| < 𝑅, choose 𝜀 > 0 such that
(𝐿 + 𝜀)|𝑧| = 𝑟 < 1.
1
By the definition of L, we have ||𝑎𝑛 || 𝑛 ≤ 𝐿 + 𝜀 for all large 𝑛. Hence,
|𝑎𝑛 ||𝑧|𝑛 ≤ (𝐿 + 𝜀)𝑛 |𝑧|𝑛 = 𝑟𝑛 .
| |
∑ ∑
By the Comparison test with the geometric series 𝑟𝑛 we can show that 𝑎𝑛 𝑧𝑛 converges.
If|𝑧| > 𝑅, then a similar argument proves that there exists a sequence of terms in the series whose
absolute values go to infinity, and hence the sequence, and also the series diverges.
Power series provide a very important class of analytic functions that are easy to manipulate.
The following theorem is very important.
∑
∞
𝑓 (𝑧) = 𝑎𝑛 𝑧𝑛
𝑛=0
defines an analytic function in its disc of convergence. The derivative of 𝑓 is also a power series
obtained by differentiating the series for 𝑓 term by term, that is,
∑
∞
′
𝑓 (𝑧) = 𝑛𝑎𝑛 𝑧𝑛−1 .
𝑛=0
But this assumes that we differentiate the series ’term-by-term’. Note that
∑ ∑ d
𝑛𝑎𝑛 𝑧𝑛−1 = 𝑎 𝑧𝑛
d𝑧 𝑛
whereas ( )
d ∑
𝑓 ′ (𝑧) =
𝑎𝑛 𝑧𝑛 ,
d𝑧
the differentiation and summation are performed in different orders here. Both operations are
performed by taking a limit. But recall that limiting processes need not commute with one another.
So, the validity of term-by-term differentiation of a power series needs a proof.
∑
Example 5.2.11. The geometric series 𝑧𝑛 has radius of convergence 1, and provides a power
1
series expansion of 1−𝑧 for|𝑧| < 1. By Theorem 5.2.10,
( )
1 d 1
= = 1 + 2𝑧 + 3𝑧2 + … , when |𝑧| < 1.
(1 − 𝑧)2 d𝑧 1−𝑧
∑ ∑
Lemma 5.2.12. The power series 𝑎𝑛 𝑧𝑛 and 𝑛𝑎𝑛 𝑧𝑛−1 have the same radius of convergence.
∑ ∑
Proof. Let 𝑅 be the radius of convergence of 𝑎𝑛 𝑧𝑛 . We will show that |𝑎𝑛 𝑧𝑛 | converges for
|𝑧| < 𝑅. We choose 𝜌 so that |𝑧| < 𝜌 < 𝑅 and assume 𝑧 ≠ 0.
𝑅
𝜌
𝑧
Figure 5.4: In the proof of Lemma 5.2.12 the disc of convergence is 𝔻(𝑧, 𝑅).
Then ( )𝑛
𝑛 |𝑧|
|𝑛𝑎𝑛 𝑧𝑛−1 | = |𝑎𝑛 𝜌|𝑛 .
|𝑧| 𝜌
( )𝑛 ∑ ( |𝑧| )𝑛
|𝑧|
As 𝜌
< 1, the series 𝑛 𝜌 converges by the ratio test.
⎛ ( )𝑛+1 ⎞
⎜ (𝑛 + 1) |𝑧| ⎟
⎜ 𝜌 𝑛 + 1 |𝑧| |𝑧|
( )𝑛 = → < 1, as 𝑛 → ∞⎟
⎜ |𝑧| 𝑛 𝜌 𝜌 ⎟
⎜ 𝑛 𝜌 ⎟
⎝ ⎠
Thus,
| | 𝑀 | 𝑛|
|𝑛𝑎𝑛 𝑧𝑛−1 | ≤ 𝑎 𝜌 .
| | |𝑧| | 𝑛 |
The result follows from the Comparison test.
Conversely, suppose that ∑| |
|𝑛𝑎𝑛 𝑧𝑛−1 |
| |
converges. Then,
|𝑎𝑛 𝑧𝑛 | ≤ |𝑧|||𝑛𝑎𝑛 𝑧𝑛−1 || , 𝑛 ≥ 1,
| | | |
so ∑
|𝑎 𝑧𝑛 |
| 𝑛 |
converges by the Comparison test.
𝑟 𝑅
0
ℎ
𝑧0
( ) ( ) ( )
Figure 5.5: The disc of convergence is 𝔻 0, 𝑅 , the disc 𝔻 0, 𝑟 ⊂ 𝔻 0, 𝑅 and the chosen point
( ) ( ) ( )
𝑧0 ∈ 𝔻 0, 𝑟 with disc 𝔻 𝑧0 , ℎ ⊂ 𝔻 0, 𝑟 in the proof of Theorem 5.2.10.
For that, let 𝑅 be the radius of convergence of 𝑓 . Suppose that |𝑧0 | < 𝑟 < 𝑅. We write
𝑓 (𝑧) = 𝑆𝑁 (𝑧) + 𝜌𝑁 (𝑧)
where
∑
𝑁 ∑
∞
𝑆𝑁 (𝑧) = 𝑎𝑛 𝑧𝑛 and 𝜌𝑁 (𝑧) = 𝑎𝑛 𝑧𝑛 .
𝑛0 𝑁+1
The expression
∑
∞
|𝑎𝑛 |𝑛𝑟𝑛
𝑛=𝑁+1
is the tail of a convergent series, since 𝑔 converges absolutely on |𝑧| < 𝑅. Therefore, given 𝜀 > 0,
we can find 𝑁1 such that 𝑁 > 𝑁1 implies
| 𝜌 (𝑧 + ℎ) − 𝜌 (𝑧 ) |
| 𝑁 0 𝑁 0 |
| | < 𝜀.
| ℎ |
| |
Also, as
′
lim 𝑆𝑁 (𝑧0 ) = 𝑔(𝑧0 ),
𝑁→∞
we can find 𝑁2 such that 𝑁 > 𝑁2 implies
′
|𝑆𝑁 (𝑧0 ) − 𝑔(𝑧0 )| < 𝜀.
If 𝑁 > 𝑚𝑎𝑥{𝑁1 , 𝑁2 }, then we can find 𝛿 > 0 such that |ℎ| < 𝛿 implies
| 𝑆 (𝑧 + ℎ) − 𝑆 (𝑧 ) |
| 𝑁 0 𝑁 0 |
| − 𝑆 ′ 𝑁(𝑧0 )| < 𝜀,
| ℎ |
| |
because the derivative of a polynomial is obtained by differentiating it term by term. Therefore,
| 𝑓 (𝑧 + ℎ) − 𝑓 (𝑧 ) |
| 0 0 |
| − 𝑔(𝑧0 )| < 3𝜀,
| ℎ |
| |
whenever |ℎ| < 𝛿, thereby concluding the proof of the theorem.
Corollary 5.2.13. (Important!) A power series is infinitely complex differentiable in its disc of
convergence, and the higher derivatives are also power series obtained by termwise differentia-
tion.
∑
∞
Remark 5.2.14. In fact, if 𝑘(𝑧) = 𝑎𝑛 𝑧𝑛 , then 𝑓 is obtained by translating 𝑘 namely
𝑛=0
As a consequence everything about 𝑘 also holds for 𝑓 after we made the appropriate translation.
By the chain rule
∑
∞
( )𝑛−1
′ ′
𝑓 (𝑧) = 𝑘 (𝑤) = 𝑛𝑎𝑛 𝑧 − 𝑧0 .
𝑛=0
A function 𝑓 defined on a open set Ω is said to have a power series expansion at a point 𝑧0 ∈ Ω,
∑ ( )𝑛
if there exists series 𝑎𝑛 𝑧 − 𝑧0 centered at 𝑧0 with a positive radius of convergence such that
∑
∞
( )𝑛
𝑓 (𝑧) = 𝑎𝑛 𝑧 − 𝑧0
𝑛=0
∑
∞
𝑥𝑛
𝑒𝑥 = , for all 𝑥 ∈ ℝ.
𝑛=0
𝑛!
∑ 𝑧𝑛
(2) Recall the radius of convergence of the series ∞ 𝑛=0 𝑛! is 𝑅 = ∞. Thus, this series con-
verges absolutely on the whole complex plane ℂ. Hence, by Theorem 5.2.10, the series
∑∞ 𝑧𝑛
𝑛=0 𝑛! defines an analytic function ℂ → ℂ (in fact, ℂ → ℂ ⧵ {0}.)
𝑦
0 1 𝑥
∑
∞ 𝑛
𝑧
exp(𝑧) ∶= .
𝑛=0
𝑛!
∑
∞
𝑥𝑛
𝑒𝑥 = , for all 𝑥 ∈ ℝ,
𝑛=0
𝑛!
we have exp(𝑥) = 𝑒𝑥 if 𝑥 ∈ ℝ.
d
exp(𝑧) = exp′ (𝑧) = exp(𝑧), for all 𝑧 ∈ ℂ.
d𝑧
Proof. By example 5.2.6 and Theorem 5.2.10,
( )
∑∞
d 𝑧𝑛 ∑∞
𝑛𝑧𝑛−1 ∑ 𝑧𝑛−1
∞ ∑∞ 𝑛
𝑧
exp′ (𝑧) = = = = = exp(𝑧),
𝑛=0
d𝑧 𝑛! 𝑛=1
𝑛! 𝑛=1
(𝑛 − 1)! 𝑛=0
𝑛!
for all 𝑧 ∈ ℂ.
(2) exp(𝑧 + 𝜔) = exp(𝑧) exp(𝜔), for all 𝑧, 𝜔 ∈ ℂ.
Proof. By Mertens’s theorem, the Cauchy product rule and the binomial formula give:
(∞ )( ∞ )
∑ 𝑧𝑛 ∑ 𝜔𝑘 ∑ ∞ ∑ 𝑛
1 𝑝 1
exp(𝑧) exp(𝜔) = = 𝑧 𝜔𝑛−𝑝
𝑛=0
𝑛! 𝑘=0
𝑘! 𝑛=0 𝑝=0
𝑝! (𝑛 − 𝑝)!
∑ 1 ∑ ∑ 𝑛 ( )
1 ∑ 𝑛 𝑝 𝑛−𝑝
∞ 𝑛 ∞
𝑛!
= 𝑧𝑝 𝜔𝑛−𝑝 = 𝑧 𝜔
𝑛=0
𝑛! 𝑝=0 𝑝!(𝑛 − 𝑝)! 𝑛=0
𝑛! 𝑝=0 𝑝
∑∞
1
= (𝑧 + 𝜔)𝑛 = exp(𝑧 + 𝜔).
𝑛=0
𝑛!
( )
(3) exp 0 = 1.
Proof. It follows immediately from the definition.
(4) exp(𝑧) ≠ 0, for all 𝑧 ∈ ℂ.
( )
Proof. By (1) and (2), 1 = exp 0 = exp(𝑧 − 𝑧) = exp(𝑧) exp(−𝑧).
1
(5) exp(−𝑧) = exp(𝑧)
, for all 𝑧 ∈ ℂ.
1
Proof. By (1) and (2), exp(𝑧) exp(−𝑧) = 1, so exp(−𝑧) = exp(𝑧)
.
6.1.3 The complex conjugate and the modulus of the exponential function
( )
(1) exp 𝑧 = exp(𝑧), for all 𝑧 ∈ ℂ.
Proof. By our previous results,
( ) ∑𝑛
𝑧𝑘 ∑
𝑛
𝑧𝑘 ∑
𝑛
𝑧𝑘
exp 𝑧 = lim = lim = lim = exp(𝑧).
𝑛→∞
𝑘=0
𝑘! 𝑛→∞ 𝑘=0 𝑘! 𝑛→∞ 𝑘=0 𝑘!
( ) ∑
(2) ||exp(𝑧)|| ≤ exp |𝑧| , for all 𝑧 ∈ ℂ, since the series ∞𝑛=0
𝑧𝑛
𝑛!
converges absolutely on the
whole complex plane.
(3) ||exp(𝑧)|| = exp(Re 𝑧) = 𝑒Re 𝑧 , for all 𝑧 ∈ ℂ.
Proof. By our previous results, we obtain:
( ) 6.1.2 ( )
|exp(𝑧)|2 = exp(𝑧)exp(𝑧) (1)
= exp(𝑧) exp 𝑧 = exp 𝑧 + 𝑧
| |
( ) ( )2
= exp 2 Re 𝑧 = exp(Re 𝑧 + Re 𝑧) = exp(Re 𝑧) exp(Re 𝑧) = exp(Re 𝑧) .
Since the numbers ||exp(𝑧)|| and exp(Re 𝑧) are both positive real numbers, so the claim
follows.
(4) ||exp(𝑖𝑦)|| = 1, for all 𝑦 ∈ ℝ.
2
Proof. By (3), we have ||exp(𝑧)|| = exp(Re 𝑧). But Re(𝑖𝑦) = 0, hence ||exp(𝑖𝑦)|| = 1, from
which the result follows.
Im Im
( )
𝜕𝔻 0, 1
exp(𝑖𝑦)
Re Re
𝑧-plane 𝜔-plane
Figure 6.2: The complex exponential function maps a point 𝑖𝑦, where 𝑦 ∈ ℝ, to a point on the
unit circle.
∑
∞
(𝑖𝛼)𝑘 ∑∞ 𝑘
𝑖 𝑘 ∑ (−1)𝑘 2𝑘
∞ ∑∞
(−1)𝑘 2𝑘+1
exp(𝑖𝛼) = = 𝛼 = 𝛼 +𝑖 𝛼 = cos 𝛼 + 𝑖 sin 𝛼.
𝑘=0
𝑘! 𝑘=0
𝑘! 𝑘=0
(2𝑘)! 𝑘=0
(2𝑘 + 1)!
Hence,
that is,
1 ( ) 1( )
sin 𝑥 = exp(𝑖𝑥) − exp(−𝑖𝑥) and cos 𝑥 = exp(𝑖𝑥) + exp(−𝑖𝑥) .
2𝑖 2
It is, therefore, natural to define the sine and cosine functions of a complex variable as follows:
1 ( )
sin ∶ ℂ → ℂ sin 𝑧 = exp(𝑖𝑧) − exp(−𝑖𝑧) and
2𝑖 (6.2.2)
1( )
cos ∶ ℂ → ℂ cos 𝑧 = exp(𝑖𝑧) + exp(−𝑖𝑧) .
2
Proposition 6.2.5. The functions sin ∶ ℂ → ℂ and cos ∶ ℂ → ℂ are entire and
𝜕 𝜕
sin 𝑧 = cos 𝑧 and cos 𝑧 = − sin 𝑧.
𝜕𝑧 𝜕𝑧
Remark 6.2.7.
∑∞
( )𝑛 𝑧2𝑛 ∑
∞
( )𝑛 𝑧2𝑛+1
cos 𝑧 = −1 ( ) and sin 𝑧 = −1 ( ) .
𝑛=0 2𝑛 ! 𝑛=0 2𝑛 + 1 !
cos(𝑥 + 𝑖𝑦) = cos 𝑥 cos 𝑖𝑦 − sin 𝑥 sin 𝑖𝑦 = cos 𝑥 cosh 𝑦 − 𝑖 sin 𝑥 sinh 𝑦
and
sin(𝑥 + 𝑖𝑦) = sin 𝑥 cos 𝑖𝑦 + cos 𝑥 sin 𝑖𝑦 = sin 𝑥 cosh 𝑦 + 𝑖 cos 𝑥 sinh 𝑦.
𝑦 = cosh(𝑥)
1
0 1 𝑥
𝑦 = sinh(𝑥)
Figure 6.3: The graphs of the real hyperbolic functions cosh and sinh.
6.3.4 Unboundedness
Osborn’s rules and the known behaviour of the real cosh ∶ ℝ → [1, ∞) and sinh ∶ ℝ → ℝ imply
and
|sin 𝑖𝑦| = |𝑖 sinh 𝑦| → ∞, as 𝑦 → ∞.
| | | |
Recall that the real sine and cosine functions are bounded:
6.4 Zeros
Recall that if 𝑓 is analytic in some domain 𝐷, then 𝑓1 is analytic in 𝐷 provided 𝑓 (𝑧) ≠ 0 for all
𝑧 ∈ 𝐷. Thus we are often interested in finding out the zeroes of a particular analytic function.
In the case of complex trigonometrical functions, which are defined by the exponential function,
the fundamental equation is ( )
exp 2𝜋𝑖 = 1. (6.4.1)
This equation comes from Euler’s formula
Proposition 6.4.2.
Remark 6.4.3. We have already proved that exp(𝑧) ≠ 0 for any 𝑧 ∈ ℂ. On the other hand,
Proposition 6.4.2 tells us that
both take value zero at infinitely many points. Contrast this with the real case:
𝑒𝑥 − 1 = 0 if and only if 𝑥 = 0
and
𝑒𝑥 + 1 ≠ 0, for all 𝑥 ∈ ℝ.
Proposition 6.4.4.
We say that the exponential function is periodic with a pure imaginary number 2𝜋𝑖.
sin 𝑧 𝜋
tan 𝑧 ∶= in the set Ω = {𝑧 ∈ ℂ ∶ 𝑧 ≠ 𝑛𝜋 + , 𝑛 ∈ ℤ}.
cos 𝑧 2
The tangent function is analytic in Ω. Similarly,
cos 𝑧
cot 𝑧 ∶= is analytic in ℂ ⧵ {𝑛𝜋 ∶ 𝑛 ∈ ℤ}.
sin 𝑧
Remark 6.4.7. The exponential, sine and cosine and the hyperbolic functions are periodic:
7 Complex mappings
Recall that the properties of a real-valued function of a real variable are often expressed by the
graph of the function. But complex functions 𝜔 = 𝑓 (𝑧) are difficult to graph directly, since 𝜔 ∈ ℂ
and 𝑧 ∈ ℂ. Because of this difficulty, it is common to display the 𝑧-plane and the 𝜔-plane side by
side and describe how the points on the 𝑧-plane map to the points in the 𝜔-plane. When a function
𝑓 is considered in this way, it is often referred to as a mapping, a map or a transformation.
More information is usually obtained by sketching the images of curves and domains than by
simply indicating images of individual points.
𝑦
0 1 𝑥
Figure 7.1: Example: the graph of the real exponential function 𝑒𝑥 ∶ ℝ → (0, ∞), 𝑥 ↦ 𝑒𝑥 .
{𝜔 ∈ ℂ ∶ |𝜔| = 𝑒𝑥0 },
{𝜔 ∈ ℂ ∶ arg 𝜔 = 𝑦0 }
Proof.
(1) Let 𝑧 = 𝑥0 + 𝑖𝑦, where 𝑥0 ∈ ℝ is fixed and 𝑦 ∈ ℝ is a variable. Then
( ) ( )
exp(𝑧) = exp 𝑥0 + 𝑖𝑦 = 𝑒𝑥0 cos 𝑦 + 𝑖 sin 𝑦 .
That is, the radius stays constant, while the argument cos 𝑦 + 𝑖 sin 𝑦 varies with 𝑦.
(2) Let 𝑧 = 𝑥 + 𝑖𝑦0 , where 𝑦0 ∈ ℝ is fixed and 𝑥 ∈ ℝ varies. Then
( ) ( )
exp 𝑥 + 𝑖𝑦0 = 𝑒𝑥 cos 𝑦0 + 𝑖 sin 𝑦0 .
That is, the argument stays constant, while the radius 𝑒𝑥 varies with 𝑥.
Im Im
𝑒𝑥0
exp(𝑧)
𝑥0 Re Re
𝑧-plane 𝜔-plane
Figure 7.2: The mapping 𝜔 = exp(𝑧) in the proposition 7.1.1(1) maps lines
{𝑧 ∈ ℂ ∶ Re 𝑧 = 𝑥0 }, which are paraller to the imaginary axis in the 𝑧-plane, into origin centered
cirles with radius 𝑒𝑥0 in the 𝜔-plane.
Im Im
𝑦0
exp(𝑧) 𝑦0
Re Re
𝑧-plane 𝜔-plane
Figure 7.3: The mapping 𝜔 = exp(𝑧) in the proposition 7.1.1(2) maps lines
{𝑧 ∈ ℂ ∶ Im 𝑧 = 𝑦0 }, which are paraller to the real axis in the 𝑧-plane, into rays
{𝜔 ∈ ℂ ∶ arg 𝜔 = 𝑦0 } emanating from the origin in the 𝜔-plane.
Im Im
2𝜋
exp(𝑧)
Re Re
𝑧-plane 𝜔-plane
Figure 7.4: The mapping 𝜔 = exp(𝑧) in the proposition 7.1.2 maps the strip
{𝑧 ∈ ℂ ∶ 0 ≤ Im(𝑧) < 2𝜋}, into set ℂ ⧵ {0} in the 𝜔-plane.
8 Complex logarithms
8.0.1 Argument
The identity ( )
𝑧 = |𝑧| exp(𝑖𝛼) = |𝑧| cos 𝛼 + 𝑖 sin 𝛼
is not uniquely determined. This is the fundamental cause of many-valuedness in complex func-
tion theory.
Recall that for any 𝑧 ≠ 0 we defined the argument of 𝑧 to be arg(𝑧) = 𝛼 + 2𝜋𝑘, where 𝑘 ∈ ℤ and
𝛼 is any fixed real number such that
𝑧
= cos 𝛼 + 𝑖 sin 𝛼.
|𝑧|
So, arg(𝑧) is not a single number, but all numbers of the form 𝛼 + 2𝜋𝑘, 𝑘 ∈ ℤ.
𝑦 = 𝑒𝑥
1
0 1 𝑥
𝑦 = ln(𝑥)
Figure 8.1: The exponential function 𝑒𝑥 ∶ ℝ → (0, ∞) and its inverse, the natural logarithm
ln ∶ (0, ∞) → ℝ.
In the complex plane we seek solutions to the equation exp(𝑧) = 𝜔. We write log 𝑧 for the complex
logarithm. Recall, however, that the exponential of a complex variable exp(𝑧) ∶ ℂ → ℂ ⧵ {0} is
not bijective. We seek all possible values of log(𝑧).
Suppose that 𝜔 ∈ ℂ ⧵ {0}. Let us write
Note that arg(𝜔) is the collection of all the numbers of the form 𝛼 + 2𝜋𝑘, 𝑘 ∈ ℤ.
For 𝑧 ≠ 0, we define the complex logarithm
where arg(𝑧) is one of the values of the argument. Alternatively, we may say the multi-valued
complex logarithm is given by
log(𝑧) = ln|𝑧| + 𝑖 arg(𝑧),
where arg(𝑧) is the multi-valued argument function.
Examples.
(1) log 1 = ln||1|| + 𝑖2𝜋𝑘 = 𝑖2𝜋𝑘, 𝑘 ∈ ℤ.
( ) (√ ) ( )
(2) log 1 + 𝑖 = ln 2 + 𝑖 𝜋4 + 2𝜋𝑘 , 𝑘 ∈ ℤ.
(√ )
Im ln 2 + 𝑖 9𝜋
Im 2𝜋𝑖 4
1+𝑖
(√ )
log(𝑧) ln 2 + 𝑖 𝜋4
1 0
Re Re
(√ )
−2𝜋𝑖 ln 2 − 𝑖 7𝜋
4
𝑧-plane 𝜔-plane
( )
Figure 8.2: Some values of the multi-valued complex logarithms log 1 and log 1 + 𝑖 .
8.0.3. In order to get a single value for 𝜔 = log(𝑧) we need to make restrictions on 𝜔; for example,
we can restrict the imaginary part of 𝜔 to the interval (−𝜋, 𝜋] or [0, 2𝜋). Such a restriction is called
a branch of the complex logarithm function.
Im Im
Re 0 Re
0
Figure 8.3: The standard branch of the argument of complex numbers (left) and another branch
of the argument.
Example. (√ )
( ) 9𝜋
Log( 𝜋 ] 1 + 𝑖 = ln 2 +𝑖 .
, 5𝜋
2 2 4
8.0.6. The analyticity of a function has been defined in an open set. So we are interested in the
branch of the logarithm Log(𝛼,𝛼+2𝜋 ] when it is defined in an open set
ℂ ⧵ {𝑧 = 𝑟 exp(𝑖𝛼) ∶ 𝑟 ≥ 0},
Im (𝛼 + 2𝜋)𝑖 Im
𝛼
Log(𝛼,𝛼+2𝜋 ] (𝑧) 𝛼𝑖
Re Re
𝑧-plane 𝜔-plane
Figure 8.4: The branch Log(𝛼,𝛼+2𝜋 ] of the complex logarithm maps the complex plane, minus a
ray {𝑧 = 𝑟 exp(𝑖𝛼) ∶ 𝑟 ≥ 0}, to a strip {𝜔 ∈ ℂ ∶ 𝛼 < Im(𝜔) < 𝛼 + 2𝜋}.
We define
Log(𝛼,𝛼+2𝜋 ] (𝑧) = ln 𝑟 + 𝑖𝛽,
where (𝑟, 𝛽) is a unique solution of the equation 𝑧 = 𝑟 exp(𝑖𝛽) such that 𝑟 > 0 and 𝛼 < 𝛽 < 𝛼 +2𝜋.
Remark. In the literature one might bump into the following definitions:
(1) Given 𝛼 ∈ ℝ, the half-open strip/belt {𝜔 ∈ ℂ ∶ 𝛼 < Im(𝜔) ≤ 𝛼 + 2𝜋} is called a
fundamental domain of the exponential function with respect to 𝛼, because the exponential
function is invertible on this set.
(2) The principal branch of the complex logarithm is used when 𝛼 is taken from the interval
[−2𝜋, 0] and then fixed. Depending on the book or the lectures, 𝛼 has been chosen, for
example, as 𝛼 = −𝜋 or 𝛼 = 0.
Some remarks
Remark. Note that
( )
exp log (𝑧) = 𝑧, but
( )
log exp (𝑧) = 𝑧 + 2𝑘𝜋𝑖, 𝑘 ∈ ℝ.
Example 8.0.7. ( )
0 = log(𝜋,𝜋] −1 ⋅ −1 = 2𝜋.
and
( )
𝑖𝑖 = exp 𝑖 log (𝑖)
( ( ))
1
= exp −𝜋 + 2𝑛 , 𝑛 ∈ ℤ.
2
Now
(1) The function Log(𝛼,𝛼+2𝜋 ] ∶ Ω𝛼 → ℂ is analytic.
(5) If 𝑧1 , 𝑧2 ∈ Ω𝛼 , then
( ) ( ) ( )
Log(𝛼,𝛼+2𝜋 ] 𝑧1 𝑧2 = Log(𝛼,𝛼+2𝜋 ] 𝑧1 + Log(𝛼,𝛼+2𝜋 ] 𝑧2 + 𝑖2𝜋𝑘, for some 𝑘 ∈ ℤ.
Proof.
(1) Homework.
( )
(2) Let us write Log(𝑧) ∶= Log(0,2𝜋 ] (𝑧). Start with exp Log(𝑧) = 𝑧, 𝑧 ≠ 0. Using the chain
rule, we get
( )𝜕
exp Log(𝑧) Log(𝑧) = 1,
𝜕𝑧
and so
𝜕 𝜕 1
𝑧 Log(𝑧) = 1, hence Log(𝑧) = .
𝜕𝑧 𝜕𝑧 𝑧
(3) Ok.
(4) Ok.
(5) Ok.
Im ( ) ( )
Log(0,2𝜋 ] 𝑧1 + Log(0,2𝜋 ] 𝑧2
( )
Log(0,2𝜋 ] 𝑧2
( )
Log(0,2𝜋 ] 𝑧1
( )
Log(0,2𝜋 ] 𝑧1 𝑧2
𝑧1 𝑧2 0 1 Re
𝑧1 𝑧2
Figure 8.5: As shown in the example 8.0.10, the complex logarithm has the property 8.0.9(5).
Here 𝑧1 = −1 − 𝑖 and 𝑧2 = 1 − 𝑖 so the product 𝑧1 𝑧2 = (−1 − 𝑖)(1 − 𝑖) = −2. Values of the
corresponding logarithms are also shown.
Example 8.0.10 (To emphasize (5)). Let 𝑧1 = −1 − 𝑖, 𝑧2 = 1 − 𝑖, thus 𝑧1 𝑧2 = −2. Now we have
( ) ( ) ( )
Log(0,2𝜋 ] 𝑧1 𝑧2 = Log(0,2𝜋 ] −2 = ln 2 + 𝑖𝜋,
( ) √ 5𝜋
Log(0,2𝜋 ] 𝑧1 = ln 2 + 𝑖 ,
4
( ) √ 7𝜋
Log(0,2𝜋 ] 𝑧2 = ln 2 + 𝑖 .
4
Hence,
( ) ( ) √ ( ) ( )
Log(0,2𝜋 ] 𝑧1 + Log(0,2𝜋 ] 𝑧2 = 2 ln 2 + 𝑖3𝜋 = ln 2 + 𝑖𝜋 + 𝑖2𝜋 = Log(0,2𝜋 ] 𝑧1 𝑧2 + 𝑖2𝜋.
Examples 8.0.11.
(1) Solve the equation exp(𝑧) = 1 + 𝑖.
( ) √ ( )
Solution. 𝑧 = log 1 + 𝑖 = ln 2 + 𝑖 𝜋4 + 2𝜋𝑘 , 𝑘 ∈ ℤ.
1
𝜔−4+ = 0,
𝜔
⇔ 𝜔2 − 4𝜔 + 1 = 0,
( )2
⇔ 𝜔 − 2 = 3,
√
⇔ 𝜔 = 2 ± 3.
Hence,
√
exp(𝑖𝑧) = 2 ± 3,
( √ ) ( √ )
⇔ 𝑖𝑧 = log 2 ± 3 = ln 2 ± 3 + 𝑖2𝜋𝑘,
( √ ) ( √ )
⇔ 𝑧 = −𝑖 ln 2 ± 3 + 2𝜋𝑘 = 2𝜋𝑘 − 𝑖 ln 2 ± 3 , 𝑘 ∈ ℤ.
( ( ))
= |𝑧|𝑎 exp 𝑖𝑎 arg 𝑧 + 2𝜋𝑘 , 𝑘 ∈ ℤ.
9 Integrals
9.1 Complex-valued functions of real variables
If 𝑓 (𝑡) = 𝑢(𝑡) + 𝑖𝑣(𝑡) is a complex-valued function of a real variable 𝑡, where 𝑢 and 𝑣 are real-
valued, the definite integral of 𝑓 (𝑡) over an interval 𝑎 ≤ 𝑡 ≤ 𝑏 is defined as
𝑏 𝑏 𝑏
𝑓 (𝑡) d𝑡 = 𝑢(𝑡) d𝑡 + 𝑖 𝑣(𝑡) d𝑡, (9.1.1)
∫𝑎 ∫𝑎 ∫𝑎
provided that the individual integrals on the right-hand side exist. Thus
𝑏 𝑏 ( )
Re 𝑓 (𝑡) d𝑡 = Re 𝑓 (𝑡) d𝑡
∫𝑎 ∫𝑎
(9.1.2)
𝑏 𝑏 ( )
Im 𝑓 (𝑡) d𝑡 = Im 𝑓 (𝑡) d𝑡.
∫𝑎 ∫𝑎
[ ]
Recall that if 𝑢 and 𝑣 are piecewise continuous on the interval 𝑎, 𝑏 , then the corresponding
integrals exist.
The fundamental theorem of calculus can be extended to apply to the integrals of 9.1.2. Suppose
that the functions
𝑓 (𝑡) = 𝑢(𝑡) + 𝑖𝑣(𝑡) and 𝐹 (𝑡) = 𝑈 (𝑡) + 𝑖𝑉 (𝑡)
] [ [ ]
are continuous on 𝑎, 𝑏 . If 𝑓 is differentiable, and 𝐹 ′ (𝑡) = 𝑓 (𝑡) when 𝑡 ∈ 𝑎, 𝑏 , then
𝑈 ′ (𝑡) = 𝑢(𝑡) and 𝑉 ′ (𝑡) = 𝑣(𝑡).
Hence
𝑏
𝑓 (𝑡) d𝑡 = 𝐹 (𝑏) − 𝐹 (𝑎).
∫𝑎
Example 9.1.3.
𝜋
𝜋 /
4
( ) ( )
4 1 1 𝜋 𝜋 1 1
exp(𝑖𝑡) d𝑡 = exp(𝑖𝑡) = cos + 𝑖 sin − 1 = √ +𝑖 1− √ .
∫0 𝑖 𝑖 4 4 2 2
0
ℂ
𝑓
𝑎 𝑏
Figure 9.1: Function 𝑓 ∶ [𝑎, 𝑏] ⊂ ℝ → ℂ.
𝛾
𝑎 𝑏
0 1
𝛾(𝑡) = exp(𝑖𝑡) ( ) ( )
𝛾 0 = 𝛾 2𝜋
0 2𝜋
Remark. At the points 𝑡 = 𝛼 and 𝑡 = 𝛽, the quantities 𝛾 ′ (𝛼) and 𝛾 ′ (𝛽) are the one-sided limits
𝛾(𝛼 + ℎ) − 𝛾(𝛼) 𝛾(𝛽 − ℎ) − 𝛾(𝛽)
𝛾 ′ (𝛼) = lim+ and 𝛾 ′ (𝛽) = lim− , ℎ > 0.
ℎ→0 ℎ ℎ→0 ℎ
These quantities are called the right-hand derivative of 𝛾(𝑡) at 𝛼 and the left-hand derivative of
𝛾(𝑡) at 𝛽, respectively.
([ ]) [ ]
The image 𝛾 𝛼, 𝛽 ∶= {𝛾(𝑡) ∶ 𝑡 ∈ 𝛼, 𝛽 } is denoted by |𝛾|. The curve is said to lie in a set
[ ]
𝐴 ∈ ℂ, if |𝛾| ⊂ 𝐴. A parametrized curve is piecewise smooth, if 𝛾 is continuous on 𝛼, 𝛽 and if
there exist points
𝛼 = 𝛼0 < 𝛼1 < ⋯ < 𝛼𝑛 = 𝛽,
[ ]
where 𝛾(𝑡) is smooth on the intervals 𝛼𝑘 , 𝛼𝑘+1 . Here, the right-hand derivative at 𝛼𝑘 may differ
from the left-hand derivative at 𝛼𝑘 , 𝑘 = 1, 2, … , 𝑛 − 1.
Examples 9.2.1.
(1) The piecewise smooth curve in figure 9.4.
(2) Let
( ) [ ]
𝛾1 (𝑡) = exp 2𝜋𝑖𝑡 , 𝑡 ∈ 0, 1
and [ ]
𝛾2 (𝑡) = exp(𝑖𝑡), 𝑡 ∈ 0, 2𝜋 .
These two curves are two different parametrizations of the same curve.
Im
1+𝑖
𝑖 2+𝑖
|𝛾|
0 1 Re
𝑡 𝛾
𝑐 𝑑 𝑎 𝑏
𝛾◦𝑡
[ ] [ ]
Figure 9.5: Two parametrizations 𝛾 ∶ 𝑎, 𝑏 → ℂ and 𝜇 ∶ 𝑐, 𝑑 → ℂ are equivalent if there
[ ] [ ]
exists a continuously differentiable bijection 𝑡 ∶ 𝑐, 𝑑 → 𝑎, 𝑏 so that 𝑡′ (𝑠) > 0 and 𝜇(𝑠) =
( )
𝛾 𝑡(𝑠) = (𝛾 ◦ 𝑡) (𝑠).
9.2.3. The curve 𝛾 carries a built-in orientation determined by the direction in which 𝛾(𝑡) traces
out the image |𝛾| as 𝑡 increases from 𝛼 to 𝛽. The positive orientation (counterclockwise) is the
one that is given by the standard parametrization
[ ]
𝛾(𝑡) = 𝑧0 + 𝑟 exp(𝑖𝑡), 𝑡 ∈ 0, 2𝜋 .
Figure 9.6: The positive or counterclockwise orientation and the negative or clockwise orientation
of a curve.
[ ]
Example 9.2.4. Let 𝑓 ∶ 0, 2 → ℂ, 𝑓 (𝑡) = 2𝑡 + 𝑖𝑡3 . Now
/2 /2
2 2 2
1 2 1 4 𝑖
𝑓 (𝑡) d𝑡 = 2𝑡 d𝑡 + 𝑖 𝑡3 d𝑡 = 2 𝑡 +𝑖 𝑡 = 4 + ⋅ 36 = 4 + 𝑖4.
∫0 ∫0 ∫0 2 4 4
0 0
[ ]
Example 9.2.5. 1. Let 𝑓 (𝑧) = 𝑧, 𝛾(𝑡) = 1 + 𝑖 − 𝑡, when 𝑡 ∈ 0, 1 . Now
1( )( )
𝑧 d𝑧 = 1+𝑖−𝑡 −1 d𝑡
∫𝛾 ∫0
1( ) 1( )
= 1 + 𝑖 − 𝑡 d𝑡 + 𝑖 −1 d𝑡
∫0 ∫0
/1 /1
( )
1 2 1
= 2
𝑡 − 𝑡 +𝑖 (−𝑡) = 2
− 1 − 𝑖 = − 21 − 𝑖.
0 0
(√ )2
2 [ ] 𝑡4
2. Let 𝑓 (𝑧) = |𝑧|2 , 𝛾(𝑡) = 𝑡 + 𝑖 𝑡2 , when 𝑡 ∈ 0, 1 . Notice that |𝛾(𝑡)|2 = 𝑡2 + 4
and
1( ) 1( )
𝑡4 𝑡5
= 𝑡2 + d𝑡 + 𝑖 𝑡3 + d𝑡
∫0 4 ∫0 4
/1 /1
( ) ( )
1 3 1 5 1 4 1 6
= 3
𝑡 + 20
𝑡 +𝑖 4
𝑡 + 24
𝑡
0 0
( )
1 1 1 1 23 7
= + +𝑖 + = +𝑖 .
3 20 4 24 60 24
1 ( )
Example 9.2.6. 1. Let 𝑓 ∶ ℂ → ℂ, 𝑓 (𝑧) = cosh 𝑧 = 2
exp(𝑧) + exp(−𝑧) . Then
1( )
𝐹 ∶ ℂ → ℂ, 𝐹 (𝑧) = exp(𝑧) − exp(−𝑧) = sinh 𝑧.
2
𝑞
2. Let 𝑓 ∶ ℂ → ℂ, 𝑓 (𝑧) = . Then
sin2 𝑧
cos 𝑧
𝐹 ∶ ℂ ⧵ {𝑛𝜋 ∶ 𝑛 ∈ ℤ} → ℂ), 𝐹 (𝑧) = + 𝐶, 𝐶 ∈ ℤ.
sin 𝑧
9.2.7. Given 𝛾, there exists a curve −𝛾 (or 𝛾 − ) with the same image set |𝛾|, but the opposite
orientation: [ ]
−𝛾(𝑡) = 𝛾(𝛼 + 𝛽 − 𝑡), 𝑡 ∈ 𝛼, 𝛽 .
The curve −𝛾 is called the negative of 𝛾.
9.2.8. In the literature, one might bump into the term “an arc”. A set of points 𝑧 = (𝑥, 𝑦) in the
complex plane is said to be an arc if 𝑥 = 𝑥(𝑡) and 𝑦 = 𝑦(𝑡), where 𝛼 ≤ 𝑡(≤ 𝛽 and 𝑥(𝑡)
) and 𝑦(𝑡) are
continuous functions of the real variable 𝑡. In this case we have 𝛾(𝑡) = 𝑥(𝑡), 𝑦(𝑡) .
[ ]
9.2.9. Let 0 ≤ 𝛼 ≤ 𝛼1 ≤ 𝛽1 ≤ 𝛽 and let 𝛾 ∶ 𝛼, 𝛽 → ℂ be a curve. By restricting the curve 𝛾
[ ]
to 𝛼1 , 𝛽1 , we obtain a new parametrized curve, namely 𝛾|[𝛼1 ,𝛽1 ] . Suppose that 𝛼 < 𝑠 < 𝛽 and
𝛾1 = 𝛾|[𝛼,𝑠] and 𝛾2 = 𝛾|[𝑠,𝛽 ] . The final point of 𝛾1 coincides with the initial point of 𝛾2 and |𝛾| is
traced by first tracing ||𝛾1 || and then tracing ||𝛾2 ||.
[ ] [ ] ( ) ( )
Let 𝛾1 ∶ 𝛼1 , 𝛽1 → ℂ and 𝛾2 ∶ 𝛼2 , 𝛽2 → ℂ be curves. As long as 𝛾1 𝛽1 = 𝛾2 𝛼2 we can
form a join 𝛾1 + 𝛾2 (or 𝛾1 ∪ 𝛾2 ):
{ [ ]
( ) 𝛾1 (𝑡), 𝑡 ∈ 𝛼1 , 𝛽1
𝛾1 + 𝛾2 (𝑡) = ( ) [ ]
𝛾2 𝑡 + 𝛼2 − 𝛽1 , 𝑡 ∈ 𝛽1 , 𝛽1 + 𝛽2 − 𝛼2 .
A path is the join of finitely many smooth parametrized curves (H. A. Priestley). We, however,
use the term contour.
( ) ( )
𝛾1 𝛽 1 = 𝛾2 𝛼 2
𝛾2
𝛾1
𝛼1 𝛽1 𝛼2 𝛽2
Figure 9.7: A contour (or a path) is the join of finitely many smooth parametrized curves.
1+𝑖
𝑖
0 1 Re
𝜑 𝛾
𝑐 𝑑 𝑎 𝑏
𝛾◦𝜑
[ ]
Figure 9.9: Reminder for the proof of theorem 9.3.4. Two parametrizations 𝛾 ∶ 𝑎, 𝑏 → ℂ and
[ ] [ ]
𝜈 ∶ 𝑐, 𝑑 → ℂ are equivalent if there exists a continuously differentiable bijection 𝜑 ∶ 𝑐, 𝑑 →
[ ] ( )
𝑎, 𝑏 so that 𝜑′ (𝑠) > 0 and 𝜈(𝑠) = 𝛾 𝜑(𝑠) = (𝛾 ◦ 𝜑) (𝑠).
[ ] [ ]
Proof. Let 𝜈 ∶ 𝑐, 𝑑 → ℂ be a reparametrization of 𝛾. Then, there exists a function 𝜑 ∶ 𝑐, 𝑑 →
[ ] [ ]
𝑎, 𝑏 such that 𝜑 is continuously differentiable and 𝜑′ (𝑡) > 0 for all 𝑡 ∈ 𝑐, 𝑑 . The change of
variables theorem and the chain rule imply that
𝑑 ( )
𝑓 (𝑧) d𝑧 = 𝑓 𝜈(𝑠) 𝜈 ′ (𝑠) d𝑠
∫𝜈 ∫𝑐
𝜈=𝛾◦𝜑
𝑑 ( )
= 𝑓 (𝛾◦𝜑) (𝑠) (𝛾◦𝜑)′ (𝑠) d𝑠
∫𝑐
𝑑 ( ( )) ( )
= 𝑓 𝛾 𝜑(𝑠) 𝛾 ′ 𝜑(𝑠) 𝜑′ (𝑠) d𝑠
∫𝑐
𝜑(𝑠)=𝑡
𝑏 ( )
= 𝑓 𝛾(𝑡) 𝛾 ′ (𝑡) d𝑡 = 𝑓 (𝑧) d𝑧.
∫𝑎 ∫𝛾
Proposition 9.3.5. Integration of continuous functions along smooth curves is linear, that is, if
𝜆, 𝜇 ∈ ℂ and 𝑓 , 𝑔 are continuous functions on a smooth curve 𝛾, then
[ ]
(𝜆𝑓 )(𝑧) + (𝜇𝑔)(𝑧) d𝑧 = 𝜆 𝑓 (𝑧) d𝑧 + 𝜇 𝑔(𝑧) d𝑧.
∫𝛾 ∫𝛾 ∫𝛾
Proof. The claim follows from the definition and the linearity of the Riemann integral. We refer
to (9.1).
Proposition 9.3.6: The integral of the negative. If 𝛾 − is 𝛾 with the reverse orientation, then
Proof. By the invariance proposition, we may choose the parameter interval for 𝛾 as [0, 1]. Then,
by the definition of the negative,
[ ] ( )
𝛾 − ∶ 0, 1 → ℂ, 𝛾 − (𝑡) = 𝛾 1 − 𝑡 .
[ ]
Proposition 9.3.7: Joining. Let 𝛾 ∶ 𝛼, 𝛽 → ℂ be a smooth curve. Let 𝛼 < 𝑠 < 𝛽 and 𝛾1 =
𝛾|[𝛼,𝑠] and 𝛾2 = 𝛾|[𝑠,𝛽 ] . If 𝑓 is a continuous function on 𝛾, then
Definition 9.3.8. If 𝛾 is a piecewise smooth curve, then the integral of 𝑓 over 𝛾 is the sum of the
integrals of 𝑓 over smooth parts of 𝛾; so if 𝛾(𝑡) is a piecewise smooth parametrization, then
∑
𝑛−1 𝛼𝑘+1 ( )
𝑓 (𝑧) d𝑧 = 𝑓 𝛾(𝑡) 𝛾 ′ (𝑡) d𝑡.
∫𝛾 ∫𝛼𝑘
𝑘=0
[ ]
Definition 9.3.9. The length of a smooth curve 𝛾 ∶ 𝛼, 𝛽 → ℂ is
𝛽
| ′ |
length(𝛾) = |𝛾 (𝑡)| d𝑡.
∫𝛼 | |
This definition is independent of the parametrization chosen for 𝛾 (arguing as in the invariance
proposition). If 𝛾 is only piecewise smooth, then its length is the sum of the lengths of its smooth
parts.
[ ]
Example 9.3.10. Let 𝛾0 ∶ 0, 2𝜋 → ℂ, 𝛾0 (𝑡) = exp(𝑖𝑡). The length of 𝛾0 is
( ) 2𝜋 2𝜋
length 𝛾0 = |𝑖 exp(𝑖𝑡)| d𝑡 = d𝑡 = 2𝜋.
∫0 | | ∫ 0
[ ] ( )
Let 𝛾1 ∶ 0, 𝜋 → ℂ, 𝛾1 (𝑡) = exp 4𝑖𝑡 . The length of 𝛾1 is
( ) 𝜋
| ( )| 𝜋
length 𝛾1 = |4𝑖 exp 4𝑖𝑡 | d𝑡 = 4 d𝑡 = 4𝜋.
∫0 | | ∫0
Remark. Invariance, linearity and joining property of this integral are as the properties of the
integral (9.3.1). The difference is in determining the integral along the negative:
𝑓 (𝑧)||d𝑧|| = 𝑓 (𝑧)||d𝑧|| .
∫𝛾 − ∫𝛾
𝛾(𝛽) = 𝜔2
𝛾
𝛾(𝛼) = 𝜔1
𝛼 𝛽
∑
𝑛−1 𝛼𝑘+1 ( )
𝑓 (𝑧) d𝑧 = 𝑓 𝛾(𝑡) 𝛾 ′ (𝑡) d𝑡
∫𝛾 ∫𝛼𝑘
𝑘=0
( ( ( ( )))
∑
𝑛−1
( ))
= 𝐹 𝛾 𝛼𝑘+1 − 𝐹 𝛾 𝛼𝑘
𝑘=0
( ( )) ( ( )) ( ) ( )
= 𝐹 𝛾 𝛼𝑛 − 𝐹 𝛾 𝛼0 = 𝐹 𝛾(𝛽) − 𝐹 𝛾(𝛼) .
[ ] 2
Example 10.0.5. Let 𝛾 ∶ 0, 𝜋 → ℂ, 𝛾(𝑡) = 𝑡 + 𝑖 𝑡𝜋 , and 𝑓 ∶ ℂ → ℂ ⧵ {0}, 𝑓 (𝑧) = exp(𝑧). An
antiderivative of 𝑓 is 𝐹 (𝑧) = exp(𝑧) and hence
( )
𝜋2 ( )
exp(𝑧) d𝑧 = exp 𝜋 + 𝑖 − exp 0 = 𝑒𝜋 exp(𝑖𝜋) − 1
∫𝛾 𝜋
= 𝑒𝜋 (cos(𝜋) + 𝑖 sin(𝜋)) − 1 = −𝑒𝜋 − 1.
Corollary 10.0.6. If 𝛾 is a closed smooth curve in an open set Ω and the function 𝑓 is continuous
and has an antiderivative, then
𝑓 (𝑧) d𝑧 = 0.
∫𝛾
Remark. Since 𝛾 is closed, the initial point and the end point coincide.
1
Example 10.0.7 (Important example). The function 𝑓 (𝑧) = 𝑧
does not have an antiderivative in
the open set ℂ ⧵ {0}.
Namely, if 𝛾(𝑡) = exp(𝑖𝑡), 𝑡 ∈ [0, 2𝜋], we calculated that
𝑓 (𝑧) d𝑧 = 2𝜋𝑖 ≠ 0.
∫𝛾
Im
Re
Figure 10.2: Curve 𝛾(𝑡) = exp(𝑖𝑡), 𝑡 ∈ [0, 2𝜋] in the open set ℂ ⧵ {0} as in Example 10.0.7. This
means that the function 𝑓 (𝑧) = 1𝑧 does not have an antiderivative in this set.
Theorem 10.0.8: Fundamental theorem of Calculus II. Suppose that 𝑓 is a continuous func-
tion on a domain 𝐷 in ℂ. If
𝑓 (𝑧) d𝑧 = 0,
∫Γ
for all closed contours Γ lying entirely in 𝐷, then 𝑓 (𝑧) has a primitive 𝐹 (𝑧) throughout 𝐷.
𝛾2
𝛾𝑧0 𝑧 ≕ 𝛾1 𝑧
𝑧0
Figure 10.3: Two piecewise smooth curves 𝛾1 and 𝛾2 joining points 𝑧0 and 𝑧 in a domain 𝐷.
As shown in the first part of the proof of the theorem 10.0.8, the integration is independent of a
chosen piecewise smooth curve.
Since 𝐷 is a domain, 𝐷 is open and connected, and in fact 𝐷 is polygonally connected. Hence,
there exists a polygonal curve in 𝐷 from 𝑧0 to 𝑧, that is
[ ] [ ]
𝑧0 , 𝑧1 ∪ ⋯ ∪ 𝑧𝑛−1 , 𝑧𝑛 = 𝑧 ⊂ 𝐷.
[ ]
So we have 𝛾𝑧0 𝑧 ∶ 𝛼, 𝛽 → 𝐷, which is a piecewise smooth curve whose initial point is 𝛾𝑧0 𝑧 (𝛼) =
𝑧0 and end point is 𝛾𝑧0 𝑧 (𝛽) = 𝑧. Write 𝛾𝑧0 𝑧 = 𝛾1 .
If there exists another piecewise smooth curve 𝛾2 joining 𝑧0 to 𝑧, we have
Thus ∫𝛾 𝑓 (𝑧) d𝑧 = ∫𝛾 𝑓 (𝑧) d𝑧 and therefore the integration is independent of the piecewise
1 2
smooth curve in 𝐷 under the assumptions of this theorem.
𝑟
𝛾2
𝑧1
𝛾1
𝛾[𝑧1 ,𝑧1 +ℎ]
𝑧1 + ℎ
𝑧0 ( )
𝔻 𝑧1 , 𝑟
Figure 10.4: The second part of the proof of the theorem 10.0.8. Two piecewise smooth curves
𝛾1 and 𝛾2 joining fixed points 𝑧0 and 𝑧1 in a domain 𝐷 and a smooth curve 𝛾[𝑧1 ,𝑧1 +ℎ] joining point
( )
𝑧1 to any other point ℎ ∈ 𝔻 𝑧1 , 𝑟 .
1
( ( ) ( )) ( ) 1⎛ ⎞ ( )
𝐹 𝑧1 + ℎ − 𝐹 𝑧1 − 𝑓 𝑧1 = ⎜ 𝑓 (𝜔) d𝜔 − 𝑓 (𝜔) d𝜔⎟ − 𝑓 𝑧1 .
ℎ ℎ ⎜∫𝛾𝑧 𝑧 ∗𝛾 ∫𝛾𝑧 𝑧1 ⎟
⎝ 0 1 [𝑧1 ,𝑧1 +ℎ] 0 ⎠
1
( ( ) ( )) ( ) 1⎛ ⎞ ( )
𝐹 𝑧1 + ℎ − 𝐹 𝑧1 − 𝑓 𝑧1 = ⎜ 𝑓 (𝜔) d𝜔⎟ − 𝑓 𝑧1 .
ℎ ℎ ⎜∫𝛾 ⎟
⎝ [𝑧1 ,𝑧1 +ℎ] ⎠
Recall that
1
d𝜔 =
ℎ d𝑠 = ℎ,
∫𝛾 ∫0
[𝑧1 ,𝑧1 +ℎ]
( ) ( )
and hence ∫𝛾 𝑓 𝑧1 d𝜔 = 𝑓 𝑧1 ℎ. With this, we have
[𝑧1 ,𝑧1 +ℎ]
1
( ( ) ( )) ( ) 1⎛ ( ) ⎞
𝐹 𝑧1 + ℎ − 𝐹 𝑧1 − 𝑓 𝑧1 = ⎜ 𝑓 (𝜔) − 𝑓 𝑧1 d𝜔⎟ .
ℎ ℎ ⎜∫𝛾 ⎟
⎝ [𝑧1 ,𝑧1 +ℎ] ⎠
| ( ) ( ) | | |
| 𝐹 𝑧1 + ℎ − 𝐹 𝑧1 ( )| | 1 ||| ( ) ||
| | | |
− 𝑓 𝑧1 | = | || (𝑓 (𝜔) − 𝑓 𝑧1 d𝜔|
|
| ℎ | | ℎ |||∫𝛾[𝑧 ,𝑧 +ℎ] |
|
| | | 1 1 |
( ) ( )
1 | |
≤ sup |𝑓 (𝜔) − 𝑓 𝑧1 | length 𝛾[𝑧1 ,𝑧1 +ℎ] .
|ℎ| 𝜔∈[𝑧1 ,𝑧1 +ℎ]| |
⏟⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏟⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏟
=|ℎ|
| ( )|
Since 𝑓 is continuous, we have |𝑓 (𝜔) − 𝑓 𝑧1 | → 0 as 𝜔 → 𝑧1 , that is ℎ → 0.
| |
( ) ( )
This means that 𝐹 ′ 𝑧1 = 𝑓 𝑧1 .
𝑓 (𝑧) d𝑧 = 0
∫Γ
Hence, the function 𝑧 ↦ 𝑧 does not have a primitive on any domain which contains the
unit circle.
2. Since the function 𝑓 (𝑧) = 𝑧2 has a primitive, namely 𝐹 (𝑧) = 13 𝑧3 , we know that
𝑧2 d𝑧 = 0
∫Γ
Remarks.
• The notation ∮ is often used instead of ∫ when integrating over a closed contour.
• By convention, if an orientation of a closed contour is not specified, it is assumed to be
counterclockwise.
• It is not always easy to check whether a function has a primitive or not.
( )
Example. Let 𝑓 (𝑧) = exp 𝑧2 .
11 Integral theorems
Theorem 11.0.1: Goursat’s theorem. Let( 𝑅 be) a closed rectangle whose sides are parallel to
the coordinate axes. Suppose that 𝑅 ⊂ 𝔻 0, 𝑟 = {𝑧 ∈ ℂ ∶ |𝑧| < 𝑟} and that 𝑓 is analytic in
( )
𝔻 0, 𝑟 . Then
𝑓 (𝑧) d𝑧 = 0.
∫𝜕𝑅
𝜕𝑅
( )
𝔻 0, 𝑟
( )
Figure 11.1: The Goursat’s theorem 11.0.1 states that given a closed rectangle 𝑅 ⊂ 𝔻 0, 𝑟 ⊂ ℂ,
( )
with sides parallel to coordinate axes, and an analytic function 𝑓 in 𝔻 0, 𝑟 then ∫𝜕𝑅 𝑓 (𝑧) d𝑧 = 0.
Remark. This is one of the key results in this Complex Analysis I course.
Figure 11.2: Bisections of the rectangle 𝑅 and bisections of the bisected parts of the 𝑅.
Let us write ∶= ∫𝜕𝑅 𝑓 (𝑧) d𝑧. Let us divide 𝑅 into four congruent rectangles 𝑅𝑘 , 𝑘 = 1, 2, 3, 4.
Suppose that the boundary of 𝑅 and the boundaries of 𝑅𝑘 are all oriented counterclockwise.
Hence
∑
4
𝑓 (𝑧) d𝑧 = 𝑓 (𝑧) d𝑧.
∫𝜕𝑅 ∫𝜕𝑅𝑘
𝑘=1
1 = 𝑓 (𝑧) d𝑧.
∫𝜕𝑅1
𝑅2 𝑅1
𝑅3 𝑅4
Now we divide 𝑅1 into four congruent rectangles 𝑅1𝑘 . Again, for some 𝑘 = 1, 2, 3, 4, we denote
𝑅1𝑘 = 𝑅2 and get
| |
|1 | ≤ 4|| |
𝑓 (𝑧) d𝑧| .
| | |∫𝜕𝑅2 |
| |
This process can be repeated indefinitely and we obtain a sequence of nested rectangles
𝑅 ⊃ 𝑅1 ⊃ 𝑅2 ⊃ ⋯ ⊃ 𝑅𝑛 ⊃ ⋯ .
If we write 𝑗 = ∫𝜕𝑅𝑗 𝑓 (𝑧) d𝑧, we have the following property for these rectangles
| | | |
|𝑗 | ≤ 4|𝑗+1 | .
| | | |
| |
Hence|| ≤ 4𝑗 |𝑗 |.
| |
If the sidelengths
⋂∞ of𝑗 𝑅 are 𝐿1 and 𝐿2 , then the sidelengths of 𝑅 are 2 𝐿1 and 2 𝐿2 . We show
𝑗 −𝑗 −𝑗
𝑧∗ = lim 𝑧𝑘 .
𝑘→∞
⋂∞
Since each 𝑅𝑘 is closed and 𝑧∗ is in each 𝑅𝑘 , we have 𝑧∗ ∈ 𝑘=1 𝑅
𝑘.
𝑅𝑗
Figure 11.4: The integral 𝑗 = ∫𝜕𝑅𝑗 𝑓 (𝑧) d𝑧 is the integration of the function 𝑓 over the boundary
of the rectangle 𝑅𝑗 counterclockwise.
| ( ) ( )( )|
|𝑓 (𝑧) − 𝑓 𝑧∗ − 𝑓 ′ 𝑧∗ 𝑧 − 𝑧∗ | < 𝜀||𝑧 − 𝑧∗ || (11.0.2)
| |
since 𝑧, 𝑧∗ ∈ 𝑅𝑗 . Hence,
( √ )(
| | ( )) | | ( )3
|𝑗 | ≤ 𝜀 2−𝑗 𝐿21 + 𝐿22 2−𝑗+1 𝐿1 + 𝐿2 and || ≤ 4𝑗 |𝑗 | ≤ 2𝜀 𝐿1 + 𝐿2 2 .
| | | |
| |
Since 𝜀 > 0 was arbitrarily chosen, we have shown that|| = |∫𝜕𝑅 𝑓 (𝑧) d𝑧| = 0.
| |
As the following, very important theorem shows, the assumption in Goursat’s theorem can be
weakened.
( )
Theorem 11.0.3. Let 𝜔0 ∈ ℂ. Let 𝑟 > 0 be given. If 𝑓 is analytic in 𝔻 0, 𝑟 ⧵ {𝜔0 } and 𝑅 is a
( ) ( )
closed rectangle in 𝔻 0, 𝑟 such that 𝜔0 ∈ 𝑅 and 𝑓 is continuous in 𝔻 0, 𝑟 , then
𝑓 = 0.
∫𝜕𝑅
𝜕𝑅
𝑅0
𝜔0
( )
𝔻 0, 𝑟
Figure 11.5: For the proof of the theorem 11.0.3 we divide the rectangle 𝑅 into nine parts.
Proof. Suppose that 𝜔0 ∈ int𝑅. We divide 𝑅 into nine rectangles as shown in figure 11.5 and
apply Goursat’s theorem to all but the rectangle 𝑅0 . If the corresponding equations
𝑓 = 0, 𝑗 = 1, 2, … , 8
∫𝜕𝑅
| | | |
| | | |
| 𝑓| =| 𝑓 | ≤ 𝑀𝜀, for some 𝑀 ∈ ℝ.
|∫𝜕𝑅 | |∫𝜕𝑅0 |
| | | |
Since 𝜀 > 0 was arbitrarily chosen, the claim of the theorem follows.
In the case that 𝜔0 ∈ 𝜕𝑅, a similar procedure gives the claim.
( )
Remark. Later on we will find that, in fact, the assumptions that 𝑓 is analytic in 𝔻 0, 𝑟 ⧵ {𝜔0 }
( ) ( )
and continuous on 𝔻 0, 𝑟 imply that 𝑓 is analytic in 𝔻 0, 𝑟 .
First we will prove the existence of antiderivatives in a disc as a consequence of Goursat’s theo-
rem.
Theorem 11.0.4. An analytic function in an open disc has an antiderivative in that disc.
Proof. Fix 𝑧0 ∈ ℂ. Our goal is to show that there exists an analytic function 𝐹 such that
( )
𝐹 ′ (𝑧) = 𝑓 (𝑧), for all 𝑧 ∈ 𝔻 𝑧0 , 𝑅 ,
i.e. an antiderivative of 𝑓 .
( )
Denote 𝑧0 = 𝑥0 + 𝑖𝑦0 and, for each 𝑧 = 𝑥 + 𝑦𝑖 ∈ 𝔻 𝑧0 , 𝑅 , let
i.e. the join of the line segments connecting the points 𝑧0 , 𝑥 + 𝑖𝑦0 and 𝑧 (as demonstrated
( ) in
Figure 11.6). Note that the point 𝑥 + 𝑖𝑦0 and the contour 𝛾𝑧 are included in 𝔻 𝑧0 , 𝑅 for any
( )
𝑧 ∈ 𝔻 𝑧0 , 𝑅 ; this can be seen by drawing the line segment between 𝑧0 and 𝑧 and noticing that it
is the hypotenuse of a right-angled triangle whose catheti form the contour 𝛾𝑧 . The hypotenuse
( )is
always longer than either cathetus, and here its length is also less than 𝑅 because 𝑧 ∈ 𝔻 𝑧0 , 𝑅 .
𝑧 = 𝑥 + 𝑖𝑦
𝛾𝑧
𝑧0 = 𝑥0 + 𝑖𝑦0 𝑥 + 𝑖𝑦0
( )
Figure 11.6: The contour 𝛾𝑧 is a path between two points 𝑧0 and 𝑧 in the open disc 𝔻 𝑧0 , 𝑅 .
( )
Let us then define a function 𝐹 ∶ 𝔻 𝑧0 , 𝑅 → ℂ such that
𝑖ℎ = d𝑢.
∫𝛾[𝑧,𝑧+𝑖ℎ]
𝑧 + 𝑖ℎ = 𝑥 + 𝑖(ℎ + 𝑦)
𝛾𝑧+𝑖ℎ
𝑧 = 𝑥 + 𝑖𝑦
𝛾𝑧
𝑧0 = 𝑥0 + 𝑖𝑦0 𝑥 + 𝑖𝑦0
( )
Figure 11.7: Extension of the path 𝛾𝑧 to the path 𝛾𝑧+𝑖ℎ in the open disc 𝔻 𝑧0 , 𝑅 . The path is
now between points 𝑧0 and 𝑧 + 𝑖ℎ.
| |
|1 1 |
= || 𝑓 (𝑢) d𝑢 − 𝑓 (𝑧) d𝑢||
| ℎ ∫𝛾[𝑧,𝑧+𝑖ℎ] ℎ ∫𝛾[𝑧,𝑧+𝑖ℎ] |
| |
| |
| 1 || |
= || |||| (𝑓 (𝑢) − 𝑓 (𝑧)) d𝑢|| .
| ℎ ||∫𝛾[𝑧,𝑧+𝑖ℎ] |
| |
Noting that length(𝛾[𝑧,𝑧+𝑖ℎ] ) = |ℎ| and using the estimation lemma 9.3.12, we get that
| |
1 || |
|≤ 1 | |
|
|ℎ| |∫𝛾[𝑧,𝑧+𝑖ℎ]
(𝑓 (𝑢) − 𝑓 (𝑧)) d𝑢| |ℎ| sup |𝑓 (𝑢) − 𝑓 (𝑧)| ⋅ length(𝛾[𝑧,𝑧+𝑖ℎ] )
| 𝑢∈𝛾[𝑧,𝑧+𝑖ℎ]
| |
1
= sup |𝑓 (𝑢) − 𝑓 (𝑧)|||ℎ|
|ℎ| 𝑢∈𝛾[𝑧,𝑧+𝑖ℎ] |
= sup ||𝑓 (𝑢) − 𝑓 (𝑧)|| .
𝑢∈𝛾[𝑧,𝑧+𝑖ℎ]
Since 𝑓 is continuous, there exists 𝛿 > 0 such that whenever|𝑢 − 𝑧| < 𝛿, we have |𝑓 (𝑢) −
𝑓 (𝑧)| < 𝜀. Thus if we let |ℎ| < 𝛿, we get that |𝑢 − 𝑧| ≤ |ℎ| < 𝛿 for all 𝑢 ∈ ℂ such that
𝑢 − 𝑧 ∈ 𝛾[𝑧,𝑧+𝑖ℎ] and hence sup𝑢∈𝛾[𝑧,𝑧+𝑖ℎ] ||𝑓 (𝑢) − 𝑓 (𝑧)|| < 𝜀.
To conclude the proof so far, we have found a 𝛿 such that for our fixed 𝜀, we have
< 𝜀,
𝜕
whenever|ℎ| < 𝛿. Hence 𝜕𝑦
𝐹 (𝑧) = 𝑖𝑓 (𝑧).
⎞ |
|
⎟ |
− 𝑓 (𝑢) d𝑢 − 𝑓 (𝑢) d𝑢 − 𝑓 (𝑧)|
∫𝛾[𝑧 ,𝑥+𝑖𝑦 ] ∫𝛾[𝑥+𝑖𝑦 ,𝑧] ⎟ |
⎠ |
0 0 0
|
| ⎛ ⎞ |
|1 |
| ⎜ |
=| 𝑓 (𝑢) d𝑢 + 𝑓 (𝑢) d𝑢 − 𝑓 (𝑢) d𝑢⎟ − 𝑓 (𝑧)|
| ℎ ⎜∫𝛾 ∫ ∫ ⎟ |
| ⎝ [𝑥+𝑖𝑦0 ,𝑧+ℎ+𝑖𝑦0 ] 𝛾[𝑥+ℎ+𝑖𝑦 ,𝑧+ℎ] 𝛾[𝑥+𝑖𝑦 ,𝑧]
⎠ |
| 0 0
|
| ⎛ ⎞ |
|1 |
| ⎜ ⎟ |
=| 𝑓 (𝑢) d𝑢 + 𝑓 (𝑢) d𝑢 + 𝑓 (𝑢) d𝑢 − 𝑓 (𝑧)| .
| ℎ ⎜∫𝛾 ∫ ∫ ⎟ |
| ⎝ [𝑥+𝑖𝑦0 ,𝑧+ℎ+𝑖𝑦0 ] 𝛾[𝑥+ℎ+𝑖𝑦 ,𝑧+ℎ] 𝛾[𝑧,𝑥+𝑖𝑦 ]
⎠ |
| 0 0
|
Goursat’s theorem gives us (see Figure 11.8) the identity
d𝑢 = ℎ,
∫𝛾[𝑧,𝑧+ℎ]
we can continue:
| ⎛ ⎞ |
|1 |
| ⎜ ⎟ |
| 𝑓 (𝑢) d𝑢 + 𝑓 (𝑢) d𝑢 + 𝑓 (𝑢) d𝑢 − 𝑓 (𝑧)|
| ℎ ⎜∫𝛾 ∫ ∫ ⎟ |
| ⎝ [𝑥+𝑖𝑦0 ,𝑧+ℎ+𝑖𝑦0 ] 𝛾[𝑥+ℎ+𝑖𝑦0 ,𝑧+ℎ] 𝛾[𝑧,𝑥+𝑖𝑦0 ] ⎠ |
| |
| |
| 1 ℎ|
= ||− 𝑓 (𝑢) d𝑢 − 𝑓 (𝑧) ||
∫
| ℎ 𝛾[𝑧+ℎ,𝑧] ℎ|
| |
| |
|1 1 |
= || 𝑓 (𝑢) d𝑢 − 𝑓 (𝑧) d𝑢||
| ℎ ∫𝛾[𝑧,𝑧+ℎ] ℎ ∫𝛾[𝑧,𝑧+ℎ] |
| |
| ( )|
|1 |
= || 𝑓 (𝑢) d𝑢 − 𝑓 (𝑧) d𝑢 ||
| ℎ ∫𝛾[𝑧,𝑧+ℎ] ∫𝛾[𝑧,𝑧+ℎ] |
| |
| |
| 1 || |
= || |||| (𝑓 (𝑢) − 𝑓 (𝑧)) d𝑢|| .
ℎ ∫
| || 𝛾[𝑧,𝑧+ℎ] |
| |
𝑧 = 𝑥 + 𝑖𝑦 𝑧+ℎ
𝛾𝑧+ℎ
𝛾𝑧
𝑧0 = 𝑥0 + 𝑖𝑦0 𝑥 + 𝑖𝑦0 𝑥 + 𝑖𝑦0 + ℎ = (𝑥 + ℎ)𝑖𝑦0
( )
Figure 11.8: Extension of the path 𝛾𝑧 to the path 𝛾𝑧+ℎ in the open disc 𝔻 𝑧0 , 𝑅 . The path is now
between points 𝑧0 and 𝑧 + ℎ.
Now exactly the same way as in (I), we can estimate the above to be at most
which can be made sufficiently small whenever|ℎ| is small enough. This shows that
𝜕
𝐹 (𝑧) = 𝑓 (𝑧).
𝜕𝑥
Now we have shown that (∗) holds, finishing the proof of the theorem.
𝑓 (𝑧) d𝑧 = 0,
∫𝛾
|𝛾|
Proof. By 11.0.4, since 𝑓 has an antiderivative, we can apply corollary 10.0.6 of the Fundamental
Theorem of Calculus.
Theorem 12.0.1: Cauchy’s local integral formula. Suppose that 𝑓 is analytic in a domain Ω
( )
and that 𝔻 = 𝔻 𝑧0 , 𝑟 is a disc such that 𝔻 ⊂ Ω. If 𝜕𝔻 denotes the boundary of 𝔻 with positive
orientation, then
1 𝑓 (𝑢)
𝑓 (𝑧) = d𝑢, for any 𝑧 ∈ 𝔻.
2𝜋𝑖 ∫𝜕𝔻 𝑢 − 𝑧
𝜕𝔻
𝑟
𝑧0
( )
Figure 12.1: The domain Ω, a disc 𝔻 = 𝔻 𝑧0 , 𝑟 such that the closure 𝔻 ⊂ Ω and the boundary
𝜕𝔻 with positive orientation. The value of an analytical function 𝑓 in this disc can be found by
the Theorem 12.0.1.
Remark.
(1) Now we have an integral formula expressing the value of 𝑓 inside a disc in terms of the
values of 𝑓 on the boundary of the disc.
(2) Any analytic function in a small disc can be expressed as an integral.
( )
Examples 12.0.2. Let 𝜕𝔻 denote the boundary of the unit disc 𝔻 0, 1 with positive orientation.
Evaluate the following integrals:
(1)
exp(𝑧) exp(𝑧) ( )
d𝑧 = d𝑧 = 2𝜋𝑖 exp 0 = 2𝜋𝑖.
∮𝜕𝔻 𝑧 ∮𝜕𝔻 𝑧 − 0
(2)
exp(𝑧) ( )
exp(𝑧) 𝑧−2 exp 0
( ) d𝑧 = d𝑧 = 2𝜋𝑖 = −𝜋𝑖,
∮𝜕𝔻 𝑧 𝑧 − 2 ∮𝜕𝔻 𝑧 − 0 0−2
( )
exp(𝑧)
since 𝑧 ↦ 𝑧−2
is analytic in 𝔻 0, 32 .
Im
𝑖
0 1 Re
( )
Figure 12.2: The boundary (with a positive orientation) of the unit disc 𝔻 0, 1 .
Before we prove the Cauchy local integral formula, we give its corollary. We have a second
remarkable fact about analytic functions, namely their regularity:
Theorem 12.0.3: Cauchy’s second formula. If 𝑓 is analytic in a domain Ω, then 𝑓 has infinitely
many complex derivatives in Ω. Moreover, if 𝔻 ⊂ Ω is a disc so that the boundary 𝜕𝔻 is positively
oriented, then
𝑛! 𝑓 (𝑢)
𝑓 (𝑛) (𝑧) = d𝑢, for all 𝑧 ∈ int 𝔻.
2𝜋𝑖 ∫𝜕𝔻 (𝑢 − 𝑧)𝑛+1
𝜕𝔻
Figure 12.3: The positively oriented boundary 𝜕𝔻 of the disc 𝔻 and 𝔻 ⊂ Ω, where Ω is a domain.
( )
Proof of the Cauchy local integral formula 12.0.1. Let 𝑧 ∈ 𝔻 𝑧0 , 𝑟 be fixed. Let us define the
function {
𝑓 (𝑢)−𝑓 (𝑧)
𝑢−𝑧
, when 𝑢 ∈ Ω ⧵ {𝑧},
𝐹 (𝑢) = ′
𝑓 (𝑧), when 𝑢 = 𝑧.
Then 𝐹 is analytic in Ω ⧵ {𝑧} and continuous in Ω.
𝑧 𝑟
𝑧0
( ) ( )
Since 𝔻 𝑧0 , 𝑟 ⊂ Ω and Ω is a domain, there exists an open disc 𝔻1 such that 𝔻 𝑧0 , 𝑟 ⊂ 𝔻1 ⊂ Ω.
By the weakened form of Goursat’s theorem we know that
𝑓 (𝑢) 𝑓 (𝑧)
0= 𝐹 (𝑢) d𝑢 = d𝑢 − d𝑢
∫𝜕𝔻(𝑧0 ,𝑟) ∫𝜕𝔻(𝑧0 ,𝑟) 𝑢 − 𝑧 ∫𝜕𝔻(𝑧0 ,𝑟) 𝑢 − 𝑧
𝑓 (𝑢) d𝑢
= d𝑢 − 𝑓 (𝑧) ,
∫𝜕𝔻(𝑧0 ,𝑟) 𝑢 − 𝑧 ∫𝜕𝔻(𝑧0 ,𝑟) 𝑢 − 𝑧
( )
since 𝐹 is analytic in 𝔻1 ⧵ {𝑧} and continuous in 𝔻1 and 𝜕𝔻 𝑧0 , 𝑟 is a closed contour in 𝔻1 .
It remains to show that
𝑓 (𝑧) d𝑢
d𝑢 = = 2𝜋𝑖,
∫𝜕𝔻(𝑧0 ,𝑟) 𝑢 − 𝑧 ∫𝜕𝔻(𝑧0 ,𝑟) 𝑢 − 𝑧
( ) ( )
Since ||𝑧0 − 𝑧|| < 𝑟, we have ||𝛾1 || ⊂ 𝔻 0, 1 . Since 𝑔(𝑢) = 1
1+𝑢
is analytic in 𝔻 0, 1 , we obtain by
Theorem 11.0.5 that
d𝑢
= 0.
∫𝛾1 1 + 𝑢
Thus
𝑓 (𝑢) ( )
0= d𝑢 − 𝑓 (𝑧) 2𝜋𝑖 + 0 ,
∫𝜕𝔻(𝑧0 ,𝑟) 𝑢 − 𝑧
and the claim follows.
Proof of the Cauchy’s second formula 12.0.3. We assume that the boundary 𝜕𝔻 has positive ori-
entation. The proof is by induction on 𝑛. The case 𝑛 = 1 is the Cauchy integral formula.
Suppose that 𝑓 has up to 𝑛 − 1 complex derivatives and
( )
𝑛−1 ! 𝑓 (𝑢)
𝑓 (𝑛−1)
(𝑧) = d𝑢.
2𝜋𝑖 ∫𝜕𝔻 (𝑢 − 𝑧)𝑛
Now, for ℎ small, the difference quotient for 𝑓 (𝑛−1) takes the form:
( ) ( )
𝑓 (𝑛−1) (𝑧 + ℎ) − 𝑓 (𝑛−1) (𝑧) 𝑛−1 ! 1 1 1
= 𝑓 (𝑢) − d𝑢.
ℎ 2𝜋𝑖 ∫𝜕𝔻 ℎ (𝑢 − 𝑧 − ℎ)𝑛 (𝑢 − 𝑧)𝑛
( )
Recall that 𝑎𝑛 − 𝑏𝑛 = (𝑎 − 𝑏) 𝑎𝑛−1 + 𝑎𝑛−2 𝑏 + … + 𝑎𝑏𝑛−2 + 𝑏𝑛−1 .
1 1
With 𝑎 = 𝑢−𝑧−ℎ
and 𝑏 = 𝑢−𝑧
, we have
( )
1 1 1
𝑛 − 𝑛 = 𝑎𝑛−1 + 𝑎𝑛−2 𝑏 + … + 𝑎𝑏𝑛−2 + 𝑏𝑛−1 .
(𝑢 − 𝑧 − ℎ) (𝑢 − 𝑧) (𝑢 − 𝑧 − ℎ) (𝑢 − 𝑧)
Since ℎ is small enough, the points 𝑧 + ℎ and 𝑧 stay at a finite distance from the boundary. Hence,
as ℎ → 0, the quotient converges to
( )
𝑛−1 ! 1 𝑛 𝑛! 𝑓 (𝑢)
𝑓 (𝑢) d𝑢 = d𝑢,
2𝜋𝑖 ∫𝜕𝔻 2
(𝑢 − 𝑧) (𝑢 − 𝑧) 𝑛−1 2𝜋𝑖 ∫ 𝜕𝔻 (𝑢 − 𝑧)
𝑛+1
sin 𝑧
( ) d𝑧.
∫ 𝑧 − 2 exp (𝑧)
1. The case 𝑟 = 1:
sin 𝑧
𝑓 (𝑧) = ( )
𝑧 − 2 exp (𝑧)
( )
is analytic in 𝔻 0, 32 . So the C-G theorem implies that ∫ 𝑓 (𝑧) d𝑧 = 0.
2. The case 𝑟 = 3:
sin 𝜔
𝑓 (𝜔) =
exp (𝜔)
( ) ( ) ( ) ( )
is analytic in 𝔻 0, 4 21 and 2 ∈ 𝔻 0, 3 and 𝔻 0, 3 ⊂ 𝔻 0, 4 21 . The Cauchy local
integral formula gives
sin(𝜔) ( )
exp(𝜔) sin 2
d𝜔 = 2𝜋𝑖 .
∫𝜕𝔻(0,3) 𝜔 − 2 𝑒2
| (𝑛) ( )| 𝑛!
|𝑓 𝑧0 | ≤ 𝑛 ‖𝑓 ‖𝜕𝔻(𝑧0 ,𝑅) ,
| | 𝑅
| | | ( ) |
| | 𝑛! || |
| (𝑛) ( )| | 𝑛!
2𝜋 𝑓 𝑧 + 𝑅 exp(𝑖𝜙) 𝑖𝑅 exp(𝑖𝜙)
𝑓 (𝑢) | 0 |
|𝑓 𝑧0 | = | d𝑢 | = | d𝜙 |
| | | 2𝜋𝑖 ∫𝜕𝔻(𝑧 ,𝑅) ( )𝑛+1 | 2𝜋𝑖 |∫ ( )𝑛+1 |
| 0 𝑢 − 𝑧0 | | 0 𝑅 exp(𝑖𝜙) |
| | | |
| 2𝜋 ( ) |
𝑛! || 𝑓 𝑧0 + 𝑅 exp(𝑖𝜙) |
= | ( )𝑛 d𝜙||
2𝜋 | 0∫ 𝑅 exp(𝑖𝜙) |
| |
𝑛! ‖𝑓 ‖𝜕𝔻(𝑧0 ,𝑅) 𝑛!
≤ 2𝜋 = 𝑛 ‖𝑓 ‖𝜕𝔻(𝑧0 ,𝑅) .
2𝜋 𝑅𝑛 𝑅
( )
Theorem 13.0.4. Suppose that 𝑓 is analytic in an open set Ω and 𝔻 𝑧0 , 𝑅 ⊂ Ω. Then 𝑓 has a
power series expansion at 𝑧0
∑
∞
( )𝑛
𝑓 (𝑧) = 𝑎𝑛 𝑧 − 𝑧0 ,
𝑛=0
( )
for all 𝑧 ∈ 𝔻 𝑧0 , 𝑅 and the coefficients are given by
( )
𝑓 (𝑛) 𝑧0
𝑎𝑛 = , for all 𝑛 = 0, 1, 2 …
𝑛!
1 𝑓 (𝑢) ( )
𝑓 (𝑧) = d𝑢, 𝑧 ∈ 𝔻 𝑧0 , 𝑅 .
∫
2𝜋𝑖 𝜕𝔻(𝑧0 ,𝑅) 𝑢 − 𝑧
( )
For each 𝑢 ∈ 𝜕𝔻 𝑧0 , 𝑟 we can write
1 1 1 1
= =
𝑢 − 𝑧 𝑢 − 𝑧0 − (𝑧 − 𝑧0 ) 𝑢 − 𝑧0 1 − 𝑧−𝑧0
𝑢−𝑧0
( )𝑘
1 ∑
∞
𝑧 − 𝑧0
= ,
𝑢 − 𝑧0 𝑘=0
𝑢 − 𝑧0
since
| 𝑧 − 𝑧 | |𝑧 − 𝑧 |
| 0| | 0|
| |= < 1.
| 𝑢 − 𝑧0 | 𝑟
| |
Hence,
( )𝑘
1 ∑∞
𝑓 (𝑢) 𝑧 − 𝑧0
𝑓 (𝑧) = d𝑢.
2𝜋𝑖 ∫ 𝑢 − 𝑧0 𝑢 − 𝑧0
𝑘=0
𝜕𝔻(𝑧0 ,𝑟)
( )
Since 𝑓 is continuous on the compact set 𝜕𝔻 𝑧0 , 𝑟 , 𝑓 is bounded there and |𝑓 (𝑢)| ≤ 𝑀 ≤ ∞
( )
for all 𝑢 ∈ 𝜕𝔻 𝑧0 , 𝑟 . Thus
| ( ) |
𝑧 − 𝑧0 𝑘 || 𝑀 ||𝑧 − 𝑧0 ||
𝑘
| 𝑓 (𝑢)
| ⋅ ≤ .
|𝑢 − 𝑧 𝑢 − 𝑧0 ||
| 0 𝑟 𝑟𝑘
| |
( )𝑘
∑
∞
𝑀 |𝑧−𝑧0 |
Here 𝑟 𝑟
converges as a geometric series (with 𝑞 < 1). By the Weiestrass criteria
𝑘=0
( )𝑘
∑∞
𝑓 (𝑢) 𝑧 − 𝑧0
𝑘=0
𝑢 − 𝑧0 𝑢 − 𝑧0
( )
converges uniformly on 𝜕𝔻 𝑧0 , 𝑟 . Hence, the order of the summation and integration can me
changed. By changing the order of summation and integration, we get
( )
1 ∑
∞
𝑓 (𝑢) ( )𝑘
𝑓 (𝑧) = d𝑢 𝑧 − 𝑧0 .
2𝜋𝑖 𝑘=0 ∫𝜕𝔻(𝑧0 ,𝑟) (𝑢 − 𝑧) 𝑘+1
Thus ( ) ( )
∑
∞
𝑓 (𝑘) 𝑧0 ( )𝑘 𝑓 (𝑘) 𝑧0
𝑓 (𝑧) = 𝑧 − 𝑧0 , where 𝑎𝑘 = .
𝑘=0
𝑘! 𝑘!
Note that 𝑟 can be chosen as close as we like near 𝑅 and since the coefficients are unique, we get
always the same series. Hence
∑
∞
( )𝑘 1 𝑓 (𝑢)
𝑓 (𝑧) = 𝑎𝑘 𝑧 − 𝑧0 , with 𝑎𝑘 = ( )𝑘+1 d𝑢, 0 < 𝑟 < 𝑅,
2𝜋𝑖 ∫ 𝑢 − 𝑧0
𝑘=0
𝜕𝔻(𝑧0 ,𝑟)
( )
is valid in the whole 𝔻 𝑧0 , 𝑅 .
Remark. This theorem gives another proof that an analytic function is automatically indefinitely
differentiable.
Remark. In particular, if 𝑓 is entire (that is, 𝑓 is analytic on whole ℂ), the theorem implies that
∑
𝑓 has a power series expansion around 0, 𝑓 (𝑧) = ∞ 𝑛=0 𝑎𝑛 𝑧 , that converges in all of ℂ.
𝑛
Remark 13.0.7. In the proof, we use the following lemma: If 𝑓 is analytic in a domain Ω and
𝑓 ′ = 0, then 𝑓 is constant.
Proof of remark 13.0.7. Fix 𝜔0 ∈ Ω. It suffices to show that 𝑓 (𝜔) = 𝑓 (𝜔0 ) for all 𝜔 ∈ Ω. Since
Ω is connected, for any 𝜔 ∈ Ω, there exists a suitable curve 𝛾𝜔 which joins 𝜔0 to 𝜔. Since 𝑓 is
an antiderivative of 𝑓 ′ , we have, by Fundamental Theorem of Calculus,
By assumption, 𝑓 ′ = 0, so the integral on the left hand side is 0, and we obtain 𝑓 (𝜔) = 𝑓 (𝜔0 ).
Proof of Liouville’s theorem 13.0.6. It suffices, because of Remark 13.0.7, to prove that 𝑓 ′ = 0,
since ℂ connected. For each 𝑧0 ∈ ℂ and 𝑅 > 0, the Cauchy inequality yields
| ′ | 𝑀
|𝑓 (𝑧0 )| ≤
| | 𝑅
where 𝑀 is a bound for 𝑓 .
Letting 𝑅 → ∞, gives that ||𝑓 ′ || = 0. This implies (a small lemma is needed) that 𝑓 ′ = 0.
Corollary 13.0.8. Every non-constant polynomial 𝑝(𝑧) = 𝑎𝑛 𝑧𝑛 +𝑎𝑛−1 𝑧𝑛−1 +…+𝑎0 with complex
coefficients has a root in ℂ.
1
Proof. If 𝑝 has no root, then 𝑝
is a bounded analytic function. To see this, let us assume that
𝑎𝑛 ≠ 0 and write ( )
𝑝(𝑧) 𝑎𝑛−1 𝑎
= 𝑎𝑛 + + … + 𝑛0 ,
𝑧𝑛 𝑧 𝑧
whenever 𝑧 ≠ 0. Since every term in the brackets goes to 0 as |𝑧| → ∞, there exists 𝑅 > 0 so
|𝑎 |
that ||𝑝(𝑧)|| ≥ 2𝑛 |𝑧|𝑛 whenever|𝑧| > 𝑅. Hence 𝑝 is bounded from below when|𝑧| > 𝑅.
Since 𝑝( is continuous
) and has no roots in the disc |𝑧| ≤ 𝑅, it is bounded from below in the
disc 𝔻 0, 𝑅 as well. So 1𝑝 is indeed a bounded analytic function. By Liouville’s theorem, 1𝑝 is
constant. But this contradicts our assumption that 𝑝 is non-constant and proves this corollary.
𝑝(𝑧) = 𝑎𝑛 (𝑧 − 𝜔1 )(𝑧 − 𝜔2 ) … (𝑧 − 𝜔𝑛 ).
Remark 13.0.10. The following claims are essentially equivalent in an open disk 𝔻:
1. 𝑓 is analytic,
2. 𝑓 has a primitive and
3. for all closed 𝔻
𝑓 (𝑢) d𝑢 = 0.
∫
𝛾
The link from the 1. to 2. comes from Cauchy-Goursat theorem. The link from the 2. to
3. comes from The fundamental theorem of calculus. The link from the 2. to 1. comes
from Cauchy’s 2nd theorem. The link from the 3. to 2. comes from The 2nd fundamental
theorem of calculus.
Theorem 13.0.12: Identity theorem. Suppose that 𝑓 is an analytic function in a domain Ω that
vanishes on a sequence of distinct points with a limit point in Ω. Then 𝑓 is identically 0.
Proof. Suppose that 𝑧0 ∈ Ω is a limit point for the sequence (𝜔𝑘 )∞ 𝑘=1
and 𝑓 (𝜔𝑘 ) = 0.
( )
First, we show that 𝑓 ≡ 0 in a small disc containing 𝑧0 . For that, we choose a disc 𝔻 𝑧0 , 𝑟 ⊂ Ω
∑
with 𝑟 > 0 fixed. We consider the power series expansion of 𝑓 in this disc, 𝑓 (𝑧) = ∞ 𝑛=0 𝑎𝑛 (𝑧 −
𝑧0 ) .
𝑛
( )
If we assume that 𝑓 is not identically 0 in 𝔻 𝑧0 , 𝑟 , then there exists a smallest integer 𝑚 such
that 𝑎𝑚 ≠ 0. But then
𝑓 (𝑧) = 𝑎𝑚 (𝑧 − 𝑧0 )𝑚 (1 + 𝑔(𝑧 − 𝑧0 )),
where 𝑔(𝑧−𝑧0 ) converges to 0 as 𝑧 → 𝑧0 . Taking 𝑧 = 𝜔𝑘 ≠ 𝑧0 for a sequence of points converging
to 𝑧0 , we get
𝑎𝑚 (𝜔𝑘 − 𝑧0 ) ≠ 0 and (1 + 𝑔(𝑧 − 𝑧0 )) ≠ 0,
which is a contradiction, since 𝑓 (𝜔𝑘 ) = 0.
Now, we apply the fact that Ω is connected. Let
Then Ω1 is open by definition and Ω is non-empty by the first part. However, Ω1 is also closed:
if 𝑧𝑛 ∈ Ω1 and 𝑧𝑛 → 𝑧, then 𝑓 (𝑧) = 0, since 𝑓 is continuous and 𝑓 ≡ 0 in a small open disc
containing 𝑧 by the first part. Hence 𝑧 ∈ Ω1 .
Since Ω is connected and 𝑧0 ∈ Ω1 , and hence Ω1 ≠ ∅, we have Ω1 = Ω.
Remark 13.0.13. In other words, if the zeros of an analytical function 𝑓 in a domain Ω accumu-
lates in Ω, then 𝑓 = 0.
Remark 13.0.14. Note that in this theorem the points should accumulate in Ω.
1 𝑖 { }
𝑔(𝑧) = 0 ⇔ 𝑧𝑛 = =− , when 𝑛 ∈ ℤ ⧵ 0 .
2𝜋𝑖𝑛 2𝜋𝑛
{ }
Here the points 𝑧𝑛 accumulate to the origin, but 0 ∉ ℂ ⧵ 0 . And 𝑔 is not identically zero.
Corollary 13.0.17. Suppose that 𝑓 and 𝑔 are analytic in a domain Ω and 𝑓 (𝑧) = 𝑔(𝑧) for all 𝑧
in some sequence of distinct points with a limit point in Ω. Then 𝑓 (𝑧) = 𝑔(𝑧) throughout Ω.
Corollary 13.0.18: Corollary of the Identity theorem. The Uniqueness theorem. Suppose that
𝑓 and 𝑔 are analytic in a domain Ω and 𝑓 (𝑧) = 𝑔(𝑧) for all 𝑓 in some non-empty open subset of
Ω. Then
𝑓 (𝑧) = 𝑔(𝑧), throughout Ω.
Remark 13.0.19. Suppose that we are given a pair of functions 𝑓 and 𝑔 which are analytic in
domains Ω and Ω, ̃ respectively with Ω ⊂ Ω ̃ (Figure 13.1.) If 𝑓 and 𝑔 agree on the smaller set Ω,
we say that 𝑔 is an analytic continuation of 𝑓 into domain Ω.̃ The corollary 13.0.18 guarantees
that there can be only one such continuation, since 𝑔 is uniquely determined by 𝑓 .
𝑓 analytic
𝑔 analytic
̃
Ω
Figure 13.1: If analytic functions 𝑓 and 𝑔 agree on domain Ω ⊂ Ω,̃ then 𝑔 is an analytic continua-
tion of 𝑓 and as 𝑔 is uniquely determined by 𝑓 there can be only one such continuation. (Remark
13.0.19.)
( )
𝜕𝔻 𝑧0 , 𝑟
𝑅
𝑟
𝑧0
Figure
( 13.2:
) In the proof of Theorem
[ ]13.0.21, the integration path around the point 𝑧0 is 𝛾(𝑡) =
𝜕𝔻 𝑧0 , 𝑟 = 𝑧0 + 𝑟 exp(𝑖𝑡), 𝑡 ∈ 0, 2𝜋 .
Proof. Fix 𝑟 such that 0 < 𝑟 < 𝑅. (Figure 13.2.) By the Cauchy integral formula, we can write
1 𝑓 (𝑢)
𝑓 (𝑧0 ) = d𝑢
2𝜋𝑖 ∫𝜕𝔻(𝑧0 ,𝑟) 𝑢 − 𝑧0
2𝜋 𝑓 (𝑧0 + 𝑟 exp(𝑖𝑡))𝑖𝑟 exp(𝑖𝑡)
1
= d𝑡
2𝜋𝑖 ∫0 𝑟 exp(𝑖𝑡)
2𝜋
1
= 𝑓 (𝑧0 + 𝑟 exp(𝑖𝑡)) d𝑡.
2𝜋 ∫0
Hence
2𝜋
|𝑓 (𝑧0 )| ≤ 1 |𝑓 (𝑧 + 𝑟 exp(𝑖𝑡))| d𝑡 ≤ |𝑓 (𝑧 )| ,
| | 2𝜋 ∫ | 0 | | 0 |
0
and therefore
2𝜋
|𝑓 (𝑧0 )| = 1 |𝑓 (𝑧0 + 𝑟 exp(𝑖𝑡))| d𝑡.
| | 2𝜋 ∫ | |
0
We now have
2𝜋
|𝑓 (𝑧0 )| − |𝑓 (𝑧0 + 𝑟 exp(𝑖𝑡))| d𝑡 = 0,
∫0 | | | |
where ||𝑓 (𝑧0 )|| − ||𝑓 (𝑧0 + 𝑟 exp(𝑖𝑡))|| ≥ 0 by our assumption and the continuity of 𝑓 .
Hence
|𝑓 (𝑧 )| − |𝑓 (𝑧 + 𝑟 exp(𝑖𝑡))| ≡ 0
| 0 | | 0 |
( )
for all 𝑡. This is true for all 𝑟 < 𝑅. Thus,|𝑓 | is constant in 𝔻 𝑧0 , 𝑅 , meaning that 𝑓 is constant
there as well.
Corollary 13.0.23. Suppose that 𝑓 is analytic in a domain Ω. If |𝑓 | has a local maximum point
in Ω, then 𝑓 is constant.
Theorem 13.0.24: Maximum modulus theorem. Suppose that Ω is a domain with a compact
closure Ω. If 𝑓 is analytic in Ω and continuous on Ω, then
Proof. Since Ω is bounded and closed, and 𝑓 is continuous on Ω, |𝑓 | attains its supremum, 𝑀,
at some point of Ω.
Now, assume that|𝑓 | does not attain the value 𝑀( on Ω)⧵ Ω. Then ||𝑓 (𝑧𝑚 )|| = 𝑀 for some 𝑧𝑚 ∈ Ω.
Since Ω is open, there exists 𝑅 > 0 such that 𝔻 𝑧𝑚 , 𝑅 ⊂ Ω and
( )
|𝑓 (𝑧)| ≤ |𝑓 (𝑧𝑚 )| for all 𝑧 ∈ 𝔻 𝑧𝑚 , 𝑅 .
| | | |
( )
Thus, by the local maximum modulus theorem 13.0.21, 𝑓 is constant on 𝔻 𝑧𝑚 , 𝑅 . Using the
identity theorem 13.0.12 gives us that 𝑓 is constant on Ω. Finally, by the continuity of 𝑓 , 𝑓 is
also constant on Ω.
So 𝑓 attains its supremum, 𝑀 at every point of Ω = Ω ∪ 𝜕Ω, contrary to hypothesis.
Example 13.0.25. Let Ω be the open 1st quadrant bounded by the positive half-line 𝑥 ≥ 0 and
the corresponding imaginary line 𝑦 ≥ 0. Let us consider the function
( )
𝐹 (𝑧) = exp −𝑖𝑧2 .
Then 𝐹 is entire and 𝐹 is continuous on Ω, and|𝐹 (𝑥)| = 1 on the two boundary lines 𝑧 = 𝑥 and
𝑧 = 𝑖𝑦. However, 𝐹 (𝑧) is unbounded in Ω, since for example when we pick up
( ) √
𝜋 ( ) 2
𝑧 = 𝑟 exp 𝑖 =𝑟 1+𝑖 , 𝑟 > 0,
4 2
( )
then 𝐹 (𝑧) = exp 𝑟2 .
( )
Lemma 13.0.26: The Schwarz lemma. Suppose that 𝑓 is analytic in 𝔻 0, 𝑅 , 𝑓 (0) = 0 and
( )
|𝑓 (𝑧)| ≤ 𝑀 for all 𝑧 ∈ 𝔻 0, 𝑅 .
| |
Then
|𝑓 (𝑧)| ≤ 𝑀 |𝑧| for all |𝑧| ≤ 𝑅.
| | 𝑅
( )
Proof. Since 𝑓 (0) = 0, there exists an analytic function 𝑔 on 𝔻 0, 𝑅 such that
( )
𝑓 (𝑧) = 𝑧𝑔(𝑧) for all 𝑧 ∈ 𝔻 0, 𝑅 .
|𝑔(𝑧)| ≤ 𝑓 (𝑧) ≤ 𝑀 .
| | |𝑧| 𝑟
By the maximum modulus theorem 13.0.24 for 𝑔, we get
𝑅
𝑟
𝑧0
Figure 13.3: In the proof of Schwarz Lemma (13.0.26), choose 𝑟 such that 0 < 𝑟 < 𝑅.
Proof. If 𝑓 (𝑧0 ) = 0 for some 𝑧0 ∈ 𝜕Ω, the claim is true. Therefore, we can assume that 𝑓 (𝑧0 ) ≠ 0
for all 𝑧0 ∈ 𝜕Ω.
1 1
Now 𝑓 (𝑧)
is analytic, because 𝑓 (𝑧) ≠ 0 for all 𝑧 ∈ Ω and 𝑓 is analytic. In addition, 𝑓 (𝑧)
is non-
1
constant, because 𝑓 was non-constant. Also, 𝑓 (𝑧)
is continuous on Ω, because 𝑓 was continuous
and non-zero on Ω.
Because Ω is a bounded domain, by the maximum modulus theorem 13.0.24, we have
1 1
>
𝑓 (𝑧0 ) 𝑓 (𝑧)
for some 𝑧0 ∈ 𝜕Ω and all 𝑧 ∈ Ω. Therefore ||𝑓 (𝑧)|| > 𝑓 (𝑧0 ) for all 𝑧 ∈ Ω.
A cycle in 14.1.1 is a collection of curves where the parametrized curve 𝛾𝑗 appears 𝑚𝑗 times if
𝑚𝑗 > 0, and the negative of 𝛾𝑗 , denoted by
𝛾𝑗− = −𝛾𝑗 ,
∑
𝑘
𝑓 (𝑧) d𝑧 = 𝑚𝑗 𝑓 (𝑧) d𝑧.
∫𝜎 ∫𝛾𝑗
𝑗=1
∑
𝑘
| |
length(𝜎) = |𝑚𝑗 | length(𝛾𝑗 ).
| |
𝑗=1
Remarks.
1. For a curve 𝛾,
𝑓 (𝑧) d𝑧 = − 𝑓 (𝑧) d𝑧,
∫𝛾 − ∫𝛾
where 𝛾 − = −𝛾 is the negative of 𝛾.
2. The negative of a cycle 𝜎 is
−𝜎 = −𝑚1 𝛾1 − 𝑚2 𝛾2 − ⋯ − 𝑚𝑘 𝛾𝑘
Definition 14.1.2: Winding number. Suppose Ω is an open set in ℂ and 𝛾 is a closed piecewise
smooth curve in Ω and 𝑎 ∈ Ω ⧵ |𝛾|. Then
1 d𝑢
𝑛(𝛾; 𝑎) ∶=
2𝜋𝑖 ∫𝛾 𝑢 − 𝑎
Lemma 14.1.3: Winding number lemma. For any closed piecewise smooth curve 𝛾 and 𝑎 ∉ |𝛾|,
the number 𝑛(𝛾, 𝑎) is an integer.
Then
1
𝛾 ′ (𝑡) d𝑧
ℎ(1) = d𝑡 = = 2𝜋𝑖 𝑛(𝛾; 𝑎). (∗)
∫0 𝛾(𝑡) − 𝑎 ∫𝛾 𝑧 − 𝑎
Since 𝛾 is piecewise smooth, there are only a finite number of points where 𝛾 ′ is not continuous.
Thus, for any 𝑥 such that 𝛾 ′ is continuous at 𝑥,
𝛾 ′ (𝑥)
ℎ′ (𝑥) = ,
𝛾(𝑥) − 𝑎
d ( )
𝜑′ (𝑥) = (𝛾(𝑥) − 𝑎) exp(−ℎ(𝑥))
d𝑥
= 𝛾 ′ (𝑥) exp(−ℎ(𝑥)) + (𝛾(𝑥) − 𝑎)(−ℎ′ (𝑥)) exp(−ℎ(𝑥))
= exp(−ℎ(𝑥))(𝛾 ′ (𝑥) − ℎ′ (𝑥)(𝛾(𝑥) − 𝑎))
= exp(−ℎ(𝑥)) ⋅ 0
=0
𝛾(0) − 𝑎
exp(−ℎ(1)) = 1.
𝛾(1) − 𝑎
Because 𝛾 is a closed curve, 𝛾(0) = 𝛾(1) and so exp(−ℎ(1)) = 1. This means that −ℎ(1) = 2𝜋𝑖𝑚
for some 𝑚 ∈ ℤ. But then by (∗),
( )
ℎ 1
𝑛(𝛾; 𝑎) = = −𝑚 ∈ ℤ,
2𝜋𝑖
which completes the proof.
1 d𝑢
𝑛(𝜎; 𝑎) =
2𝜋𝑖 ∫𝜎 𝑢 − 𝑎
where 𝑎 ∉ |𝜎|.
Examples 14.1.4.
( )
1. If 𝛾 represents the boundary of the disc 𝔻 𝑧0 , 𝑅 (traversed counter clockwise), then
{ ( )
1 if 𝑎 ∈ 𝔻 𝑧0 , 𝑅
𝑛(𝛾; 𝑎) = ( )
0 if 𝑎 ∈ ℂ ⧵ 𝔻 𝑧0 , 𝑅
( )
2. Let 𝛾𝑚 (𝑡) = exp 𝑖2𝜋𝑚𝑡 , 𝑡 ∈ [0, 1], 𝑚 ∈ ℤ ⧵ {0}. Then,
( )
1 2𝜋𝑚 exp 𝑖2𝜋𝑚𝑡
1 d𝑧 1
𝑛(𝛾𝑚 ; 0) = = ( ) d𝑡 = 𝑚.
2𝜋𝑖 ∫𝛾𝑚 𝑧 2𝜋 ∫0 exp 𝑖2𝜋𝑚𝑡
Remarks 14.1.5.
( )
1. 𝜎𝑚 = 𝑚𝛾1 is a cycle where 𝛾1 (𝑡) = exp 𝑖2𝜋𝑡 , 𝑡 ∈ [0, 1]; 𝑛(𝜎𝑚 ; 0) = 𝑚 ∈ ℤ ⧵ {0}.
2. 𝜎 = 𝛾𝑚 is a cycle.
14.1.6. Notice that an open set Ω ⧵ |𝜎| in the complex plane is the disjoint union of domains.
These distinct components are the maximal connected open sets.
Remark 14.1.7. Since |𝜎| is bounded, there exists 𝑅 > 0 such that
This means that we have one unbounded component and the other components are in the disc
( )
𝔻 0, 𝑅 .
Lemma 14.1.8: The component lemma. Suppose that 𝜎 is a cycle in the complex plane. The
mapping 𝑎 ↦ 𝑛(𝜎; 𝑎) is a constant on each connected component of ℂ⧵|𝜎|. Moreover the number
𝑛(𝜎; 𝑎) = 0 in the unbounded component of ℂ ⧵ |𝜎|.
Proof. Homework.
1 𝑓 (𝑢)
𝑛(𝜎; 𝑧)𝑓 (𝑧) = d𝑢 for all 𝑧 ∈ Ω ⧵ |𝜎| (14.2.2)
2𝜋𝑖 ∫𝜎 𝑢 − 𝑧
and
𝑓 (𝑧) d𝑧 = 0. (14.2.3)
∫𝜎
Remark. It is not difficult to see that the first equation 14.2.2 implies the second. Let 𝑧0 ∈ Ω ⧵|𝜎|
be arbitrary. Since 𝑓 is analytic in Ω, also the function 𝐺 ∶ Ω → ℂ, 𝐺(𝑧) = (𝑧 − 𝑧0 )𝑓 (𝑧) is
analytic in Ω. Thus we may apply equation 14.2.2 to it to get that
1 1 (𝑧 − 𝑧0 )𝑓 (𝑧)
𝑓 (𝑧) d𝑧 = d𝑧 = 𝑛(𝜎; 𝑧0 )𝐺(𝑧0 ) = 𝑛(𝜎; 𝑧0 )(𝑧0 − 𝑧0 )𝑓 (𝑧0 ) = 0.
2𝜋𝑖 ∫𝜎 2𝜋𝑖 ∫𝜎 𝑧 − 𝑧0
Note that because the integration variable 𝑧 ∈ |𝜎| is never equal to the point 𝑧0 ∈ Ω ⧵ |𝜎|,
multiplying and dividing by 𝑧 − 𝑧0 in the integral is justified.
Definition 14.2.4. A domain Ω in ℂ is simply connected if 𝑛(𝛾; 𝜔) = 0 for each closed curve 𝛾
in Ω and each 𝜔 ∈ ℂ ⧵ Ω. This means there are no holes in Ω.
14.4 Examples
sin 𝑧
1. An important example. Let 𝛾(𝑡) = 3 exp(−𝑖𝑡), 𝑡 ∈ [0, 4𝜋]. Evaluate the integral ∫𝛾 4𝑧−𝜋
d𝑧.
(a) By Cauchy global integral formula, since 𝑓 (𝑧) = sin 𝑧 is entire, that is 𝑧 ↦ sin 𝑧 is
analytic in the whole ℂ and 𝛾 winds the point 𝜋4 twice clockwise.
(b) Also ℂ is simply connected, we have with 𝜎 = −2𝛾0 , where 𝛾0 (𝑡) = 3 exp(𝑖𝑡), 𝑡 ∈
[0, 2𝜋],
Now
√ √
sin 𝑧 1 sin 𝑧 1 𝜋 𝜋 1 2 𝜋 2
d𝑧 = d𝑧 = ⋅ 2𝜋𝑖 ⋅ 𝑛(𝜎; ) sin = ⋅ 2𝜋𝑖(−2) =− 𝑖.
∫𝛾 4𝑧 − 𝜋 4 ∫𝜎 𝑧 − 𝜋 4 4 4 4 2 2
4
Another way to solve the problem. By the definition of the integral along a cycle 𝜎 = −2𝛾0 ,
which equals to 𝛾, and where 𝛾0 (𝑡) = 3 exp(𝑖𝑡), 𝑡 ∈ [0, 2𝜋], and Cauchy local integral
formula,
√
sin 𝑧 1 sin 𝑧 ∗ 1 sin 𝑧 ∗∗ 1 2
d𝑧 = 𝜋 d𝑧 = (−2) 𝜋 d𝑧 = − ⋅ 2 sin 𝜋4 = − 𝜋𝑖.
∫𝜎 4𝑧 − 𝜋 4 ∫𝜎 𝑧 − 4 ∫𝛾0 𝑧 − 2 2
4 4
*The definition of the integral along the cycle 𝛾. **Cauchy local formula, 𝛾0 (𝑡) = exp(𝑖𝑡),
𝑡 ∈ [0, 2𝜋].
( ) ( )
2. Let Ω be a domain and let 𝔻 𝑧0 , 𝑅 ⊆ Ω. If 𝜎 = 8𝜕𝔻 𝑧0 , 𝑅 , where 𝛾0 (𝑡) = 𝑧0 +𝑅 exp(𝑖𝑡),
𝑡 ∈ [0, 2𝜋], then by the definition of the integral along 𝜎 and by the Cauchy local integration
formula,
1 𝑓 (𝑢) ∗ 1 𝑓 (𝑢) 1 𝑓 (𝑢)
d𝑢 = 8 d𝑢 = 8 d𝑢
∫
2𝜋𝑖 𝜎 𝑢 − 𝑧 ∫
2𝜋𝑖 𝜕𝔻(𝑧0 ,𝑅) 𝑢 − 𝑧 ∫
2𝜋𝑖 𝜕𝔻(𝑧0 ,𝑅) 𝑢 − 𝑧
∗∗ ( )
= 8𝑓 (𝑧), 𝑧 ∈ 𝔻 𝑧0 , 𝑅 .
*The definition of the integral along the cycle 𝛾. **Cauchy local formula.
Hence, in Cauchy global integral formula,
1 𝑓 (𝑢)
d𝑢 = 𝑛(𝜎; 𝑧)𝑓 (𝑧),
2𝜋𝑖 ∫𝜎 𝑢 − 𝑧
the winding number is needed!
Remark. Let Ω = ℂ ⧵ {0}. The condition 𝑛(𝜎; 0) = 0 is necessary. Let 𝛾(𝑡) = exp(𝑖𝑡), 𝑡 ∈ [0, 2𝜋].
Then 𝑛(𝛾; 0) = 1 and ∫𝛾 d𝑧
𝑧
= 2𝜋 ≠ 0, although 𝑓 is analytic in ℂ ⧵ {0}.
then
𝑓 (𝑢) d𝑢 = 𝑓 (𝑢) d𝑢. (14.5.3)
∫𝜎1 ∫𝜎2
Proof. Let
∑
𝑘 ∑
𝑙
𝜎1 = 𝜂 𝑗 𝛾𝑗 and 𝜎2 = 𝜇𝑗 𝜂𝑗 .
𝑗=1 𝑗=1
cos 𝑧
Example 14.5.4. Evaluate the integral ∫Γ 𝑧2 −2𝑧
d𝑧, where
Then: cos 𝑧
cos 𝑧 ∗ cos 𝑧 𝑧−2 ∗∗
d𝑧 = d𝑧 = d𝑧 = 2𝜋𝑖𝑔(0) = −𝜋𝑖.
∫Γ 𝑧(𝑧 − 2) ∫𝛾 𝑧(𝑧 − 2) ∫𝛾 𝑧
cos 𝑧 { }
*Deformation theorem. **Cauchy local formula, as 𝑔(𝑧) = 𝑧−2
is analytic in ℂ ⧵ 2 .
Example 14.5.5. Let 𝑧1 , 𝑧2 ∈ ℂ and 𝑟 > 0, such that ||𝑧1 || < 𝑟 < ||𝑧2 ||. Let 𝜕 = 7𝛾 be a cycle
where 𝛾 ∶ [0, 2𝜋] ↦ ℂ and 𝛾(𝑡) = 𝑟 exp(𝑖𝑡). Show that
d𝑧 14𝜋𝑖
= .
∫𝜕 (𝑧 − 𝑧1 )(𝑧 − 𝑧2 ) 𝑧1 − 𝑧2
1
Let us define 𝑓 ∶ ℂ ⧵ 𝑧2 ↦ ℂ, 𝑓 (𝑧) = 𝑧−𝑧2
. Then 𝑓 is analytic in ℂ ⧵ 𝑧2 . Now 𝑛(𝜕; 𝑧2 ) = 0. Then
1
d𝑧 𝑧−𝑧2
= d = 2𝜋𝑖𝑛(𝜕; 𝑧1 )𝑓 (𝑧1 )
∫𝜕 (𝑧 − 𝑧1 )(𝑧 − 𝑧2 ) ∫𝜕 𝑧 − 𝑧1
1 14𝜋𝑖
= 2𝜋𝑖 ⋅ 7 ⋅ = .
𝑧1 − 𝑧2 𝑧1 − 𝑧2
exist, then
∞ 0 𝑎
𝑓 (𝑥) d𝑥 = lim 𝑓 (𝑥) d𝑥 + lim 𝑓 (𝑥) d𝑥, (14.6.1)
∫−∞ 𝑏→−∞ ∫𝑏 𝑎→∞ ∫0
exists and is equal to 14.6.1. On the other hand, the existence of 14.6.2 does not imply the exis-
tence of 14.6.1.
/
𝑅
𝑅
1
𝑥 d𝑥 = 𝑥2 = 0.
∫−𝑅 2
−𝑅
∞
But the integral ∫−∞ 𝑥 d𝑥 does not exist:
𝑎 0
lim 𝑥 d𝑥 + lim 𝑥 d𝑥 = ∞ − ∞.
𝑎→∞ ∫0 𝑏→∞ ∫𝑏
𝑃 (𝑧)
Remark. Let 𝑓 (𝑧) = 𝑄(𝑧)
, where 𝑃 and 𝑄 are polynomials such that deg 𝑄 ≥ 2 + deg 𝑃 and 𝑄
∞
does not have real roots. Then ∫−∞ 𝑓 (𝑥) d𝑥 exists and we can integrate
∞
𝑃 (𝑧)
d𝑥
∫−∞ 𝑄(𝑧)
*Definition of integration and using the Deformation theorem and the Estimation lemma for ∫𝐶 .
𝑅
( )
Let 𝛾(𝑡) = 1 + 2𝑖 + exp 𝑖2𝜋𝑡 , 𝑡 ∈ [0, 1]. By the Deformation theorem
because 𝑓 is analytic in ℂ ⧵ {1 + 2𝑖, 1 − 2𝑖} = Ω and 𝛾[−𝑅,𝑅] and 𝛾 are cycles in Ω and
( ) ( )
𝑛 𝛾[−𝑅,𝑅] ∗ 𝐶𝑅 ; 1 + 2𝑖 = 1 = 𝑛 𝛾; 1 + 2𝑖 and
( ) ( )
𝑛 𝛾[−𝑅,𝑅] ∗ 𝐶𝑅 ; 1 − 2𝑖 = 0 = 𝑛 𝛾; 1 − 2𝑖 .
3. Define 𝑔 ∶ ℂ ⧵ |𝜎| → ℂ by
1 𝑓 (𝑢)
𝑔(𝑧) = d𝑢. (14.7.4)
∫
2𝜋𝑖 𝜎 𝑢 − 𝑧
We will show that 𝑔 is analytic in ℂ ⧵|𝜎|.
4. Putting ℎ and 𝑔 together, define 𝐻 ∶ ℂ → ℂ by
{
ℎ(𝑧), 𝑧 ∈ Ω,
𝐻(𝑧) = (14.7.5)
𝑔(𝑧), 𝑧 ∈ ℂ ⧵ |𝜎|, 𝑛(𝜎; 𝑧) = 0.
We show that that 𝐻 is well-defined and analytic in all of ℂ, so it is our desired extension
of ℎ.
5. Lastly, we see that 𝐻 is bounded, so it is constant by Liouville’s theorem. The constant
value is seen to be 0, and so the claim follows.
To properly begin the proof, define 𝐹 as in equation (14.7.1). Outside of the diagonal
{ }
(𝜔, 𝜔) ∶ 𝜔 ∈ Ω ⊆ Ω × Ω,
the function 𝐹 is clearly continuous. Thus it remains to verify continuity on the diagonal: let
𝜔 ∈ Ω and 𝜀 > 0 be fixed.
Since the function 𝑓 is analytic in Ω, it is infinitely differentiable in Ω by Cauchy’s second formula
12.0.3. In particular, 𝑓 ′ is continuous in Ω, so there exists a 𝛿 > 0 so that |𝑓 ′ (𝑢) − 𝑓 ′ (𝑣)| < 𝜀
whenever 𝑢, 𝑣 ∈ 𝔻(𝜔, 𝛿).
Take any two points 𝑧, 𝜉 ∈ 𝔻(𝜔, 𝛿). If 𝜉 = 𝑧 we immediately have
where we use the fact that 𝜔, 𝜉 + 𝑡(𝑧 − 𝜉) ∈ 𝔻(𝜔, 𝛿) for all 0 ≤ 𝑡 ≤ 1. Thus 𝐹 is continuous.
For the second step, define ℎ as in equation (14.7.2). Since 𝐹 is continuous, the integral exists
and ℎ is well defined. To see that ℎ is continuous, let 𝜔 ∈ Ω and let 𝜔𝑛 → 𝜔 be a sequence such
that 𝜔𝑛 ∈ Ω for all 𝑛.
Since the set 𝔻(𝜔, 𝛿) ×|𝜎| is compact (as it is closed and bounded), the restriction of 𝐹 to that
set is uniformly continuous. Given any 𝜉 ∈ |𝜎|, we have that (𝜔𝑛 , 𝜉) → (𝜔, 𝜉), so by uniform
continuity of 𝐹 we have that 𝐹 (𝜔𝑛 , 𝜉) → 𝐹 (𝜔, 𝜉) uniformly with respect to 𝜉 ∈ |𝜎|. To be more
specific, this means that the sequence of functions 𝜉 ↦ 𝐹 (𝜔𝑛 , 𝜉) converges uniformly to the
function 𝜉 ↦ 𝐹 (𝜔, 𝜉).
Since integration commutes with uniform convergence, we get that
1 1
ℎ(𝜔𝑛 ) = 𝐹 (𝜔𝑛 , 𝑢) d𝑢 → 𝐹 (𝜔, 𝑢) d𝑢 = ℎ(𝜔),
∫
2𝜋𝑖 𝜎 2𝜋𝑖 ∫𝜎
so ℎ is indeed continuous. Verifying equation (14.7.3) takes just a calculation: given a 𝑧 ∈ ℂ⧵|𝜎|,
𝑧 is never equal to the integration variable 𝑢 ∈ |𝜎|, so
1
ℎ(𝑧) = 𝐹 (𝑧, 𝑢) d𝑢
2𝜋𝑖 ∫𝜎
1 𝑓 (𝑧) − 𝑓 (𝑢)
= d𝑢
2𝜋𝑖 ∫𝜎 𝑧−𝑢
1 𝑓 (𝑧) 1 𝑓 (𝑢)
= d𝑢 − d𝑢
2𝜋𝑖 ∫𝜎 𝑧 − 𝑢 2𝜋𝑖 ∫𝜎 𝑧 − 𝑢
1 d𝑢 1 𝑓 (𝑢)
= −𝑓 (𝑧) + d𝑢
2𝜋𝑖 ∫𝜎 𝑢 − 𝑧 2𝜋𝑖 ∫𝜎 𝑢 − 𝑧
𝑓 (𝑢)
= −𝑓 (𝑧) 𝑛(𝜎; 𝑧) + d𝑢,
∫𝜎 𝑢 − 𝑧
Next, we wish to show that ℎ is analytic, not just continuous. For this, fix 𝜔 ∈ Ω and fix a 𝛿 > 0
so that 𝔻(𝜔, 𝛿) ⊆ Ω. We will show that 𝑓 is analytic in 𝔻(𝜔, 𝛿) by Morera’s theorem 13.0.2.
Let 𝛾 be a closed contour in 𝔻(𝜔, 𝛿). Now, since 𝑧 ↦ 𝐹 (𝑧, 𝜉) is analytic in 𝔻(𝛾, 𝜔) ⧵ {𝜉} and
continuous in the whole disc for any 𝜉 ∈ Ω, we have that
𝐹 (𝑧, 𝜉) d𝑥 = 0
∫𝛾
by (a slightly strengthened version of) the Cauchy–Goursat Theorem 11.0.5. For the function ℎ,
we then get that
( ) ( )
ℎ(𝑧) d𝑧 = 𝐹 (𝑧, 𝜉) d𝜉 d𝑧 = 𝐹 (𝑧, 𝜉) d𝑧 d𝜉 = 0 d𝜉 = 0.
∫𝛾 ∫𝛾 ∫𝜎 ∫𝜎 ∫𝛾 ∫𝜎
Since the integral of ℎ over any closed contour in 𝔻(𝜔, 𝛿) is 0, ℎ is analytic in the disc (and
especially at 𝜔) by Morera’s theorem 13.0.2. Since 𝜔 ∈ Ω was arbitrary, ℎ is analytic in Ω.
(Note: it is true in general that if 𝜎 and 𝛾 are continuously differentiable parametrized curves
from closed, bounded intervals to ℝ2 and 𝐹 is a continuous function of two real variables, then
the order of integration over the paths can be exchanged, i.e.
This follows from the theory of iterated integrals, by expanding both path integrals into usual
integrals over closed intervals.)
The next step is to define 𝑔 as in equation (14.7.4) and to show it is analytic. Notice that since
𝑧 ∈ ℂ ⧵|𝜎| and 𝜉 ∈ |𝜎|, the denominator in the integrand never vanishes and so 𝑔 is well defined.
We are going to show that 𝑔 is analytic by finding a power series representation for it.
( )
Fix a 𝑧0 ∈ ℂ ⧵|𝜎| to serve as the center, and let 𝛿 > 0 be such that 𝔻 𝑧0 , 2𝛿 ⊆ ℂ ⧵|𝜎|. Also, for
( )
the time being, fix a 𝑧 ∈ 𝔻 𝑧0 , 𝛿 .
Consider then a 𝜉 ∈ |𝜎|. By the above, we have ||𝜉 − 𝑧0 || ≥ 2𝛿 > 2||𝑧 − 𝑧0 ||. We can expand 1
𝜉−𝑧
into a geometric sum as follows:
1 1 1 1 ∑ (𝑧 − 𝑧0 )𝑛
∞
= = = ,
𝜉 − 𝑧 𝜉 − 𝑧0 − (𝑧 − 𝑧0 ) 𝜉 − 𝑧0 1 − 𝑧−𝑧0 𝑛=0 (𝜉 − 𝑧0 )
𝑛+1
𝜉−𝑧0
| 𝑧−𝑧 | |𝑧−𝑧 |
and the sum converges uniformly regardless of 𝜉 ∈ |𝜎|, since || 𝜉−𝑧0 || ≤ 2 𝑧−𝑧0 = 1
which holds
| 0 | | 0| 2
because of how we chose 𝑧. Now we can write the function 𝑔 as
1 𝑓 (𝜉)
𝑔(𝑧) = d𝜉
2𝜋𝑖 ∫𝜎 𝜉 − 𝑧
1 ∑∞
(𝑧 − 𝑧0 )𝑛
= 𝑓 (𝜉) d𝜉
2𝜋𝑖 ∫𝜎 𝑛=0 (𝜉 − 𝑧0 )
𝑛+1
( )
∑∞
1 𝑓 (𝜉)
= d𝜉 (𝑧 − 𝑧0 )𝑛 .
𝑛=0
2𝜋𝑖 ∫𝜎 (𝜉 − 𝑧0 )𝑛+1
Exchanging the order of integration and summation is justified, since the sum converges uniformly
with respect to 𝜉. Since the power series for 𝑔 above converges, ( as is) seen by reading the above
chain of equations backwards, we have that 𝑔 is analytic in 𝔻 𝑧0 , 𝛿 , and as 𝑧0 ∈ ℂ ⧵ |𝜎| was
arbitrary, 𝑔 is analytic in all of ℂ ⧵|𝜎|.
{ }
The fourth step is to define 𝐻 as in equation (14.7.5). Let Υ = 𝑧 ∈ ℂ ⧵|𝜎| ∶ 𝑛(𝜎; 𝑧) = 0 , that
is, Υ is the set in the lower condition in the definition of 𝐻.
Suppose thus that 𝑧 ∈ Ω ∩ Υ, so 𝑧 ∈ Ω, 𝑧 ∈ ℂ ⧵ |𝜎| and 𝑛(𝜎; 𝑧) = 0. It is convenient to use
equation (14.7.3) for the value of ℎ: we get that
1 𝑓 (𝑢) 𝑓 (𝑢)
ℎ(𝑧) = −𝑓 (𝑧)𝑛(𝜎; 𝑧) + d𝑢 = 0 + d𝑢 = 𝑔(𝑧),
2𝜋𝑖 ∫𝜎 𝑢 − 𝑧 ∫𝜎 𝑢 − 𝑧
so 𝐻 is indeed well defined. We see that the domain of 𝐻 is all of ℂ by virtue of the assumption
that 𝑛(𝜎; 𝑏) = 0 for all 𝑏 ∈ ℂ ⧵ Ω. Since both 𝑔 and ℎ are analytic on their domains of definition,
which are both open, also the function 𝐻 is analytic.
𝑧 ℝ3
𝑆 𝑁 = (0, 0, 1)
𝑃′
ℂ
(0, 0, 0)
𝑃 = 𝑥 + 𝑦𝑖
𝑦
Figure 15.1: The Riemann sphere 𝑆 and the complex plane ℂ embedded in the Euclidean 3-space
ℝ3 . A line segment between points 𝑁 ∈ 𝑆 and 𝑃 ∈ ℂ intersects the set 𝑆 ⧵ {𝑁} at exactly one
point 𝑃 ′ . This way a one-to-one correspondence between the complex plane and the Riemann
sphere (the extended complex plane ℂ) can be constructed.
Remark. If we let 𝑃 = 𝑟 exp(𝑖𝜙) with 𝜙 fixed, and allow 𝑟 to become arbitrarily large, then 𝑃 ′
will approach 𝑁 regardless of the value of 𝜙.
𝑎 ± ∞ = ±∞ + 𝑎 = ∞, for all 𝑎 ∈ ℂ,
𝑎
= 0, for all 𝑎 ∈ ℂ,
∞
𝑎 ⋅ ∞ = ∞ ⋅ 𝑎 = ∞, for all 𝑎 ∈ ℂ ⧵ {0},
𝑎
= ∞, for all 𝑎 ∈ ℂ ⧵ {0},
0
∞ + ∞ = ∞ ⋅ ∞ = ∞ = ∞.
∞
Remark. The operations ∞ − ∞, 0 ⋅ ∞ and ∞
are not defined.
15.2 Circlines
The benefits of moving to ℂ become clear when we consider lines and circles. Now we can treat
lines and circles in a unified way.
Remark. Let (𝑧𝑛 ) be a sequence in ℂ. Then 𝑧𝑛 → ∞, if and only if, for each 𝑟 > 0, there exists
𝑁𝑟 such that
𝑧𝑛 ∈ 𝔻(∞, 𝑟) as soon as 𝑛 > 𝑁𝑟 .
This means ||𝑧𝑛 || > 𝑟 or 𝑧𝑛 = ∞.
if and only if for each 𝑟 > 0, there exists 𝑠 > 0 such that 𝑓 (𝑧) ∈ 𝔻(𝑏, 𝑟) when 𝑧 ∈ 𝔻(𝑎, 𝑠) ⧵ {𝑎}.
1
We use the inverse map 𝑧 ↦ 𝑧
to analyze what happens at ∞ or near ∞. We extend this mapping
1 1
to ℂ → ℂ by recalling that ∞
= 0 and 0
= ∞.
we have
( )
1
lim 𝑓 (𝑧) = 𝑏 if and only if lim 𝑓 =𝑏
𝑧→∞ 𝑧→0 𝑧
1
lim 𝑓 (𝑧) = ∞ if and only if lim =0
𝑧→𝑎 𝑧→𝑎 𝑓 (𝑧)
1
lim 𝑓 (𝑧) = ∞ if and only if lim ( ) = 0.
𝑧→∞ 𝑧→∞
𝑓 1𝑧
Proof. “⇒”: Let 𝜀 > 0 be given. There exists 𝑅 > 0 such that
| |
If|𝑧| = ||𝑧 − 0|| < 1
, then | 1𝑧 | > 𝑅 and therefore
𝑅 | |
| |
| |
| 1 |
| ( ) | = (1 ) ≤ 1 = 𝜀.
| |
| 𝑓 1 | || | 1
| | |𝑓 1 || 𝜀
| 𝑧 | | 𝑧 ||
|
⏟⏞⏟⏞⏟
≥ 1𝜀
1 1
If|𝑧| > 𝛿𝑟
, then 𝛿𝑟 > |𝑧| . Then we have
|𝑓 (𝑧)| = 1 > 1 = 𝑅.
| | | | 1
| 1 |
| ( )| 𝑅
|𝑓 1 |
| 𝑧 |
| |
( ) Suppose that 𝑓 is defined in 𝔻(∞, 𝑟) and its values are in ℂ. Then 𝑓 is analytic
Definition 15.4.2.
at ∞ if 𝑧 ↦ 𝑓 1𝑧 is analytic at the origin.
( )
Definition 15.4.3. The case 𝑓 (𝑧) = ∞ for some 𝑧 ∈ ℂ. Suppose that 𝑓 is defined in 𝔻 𝑧0 , 𝑟
and 𝑓 (𝑧0 ) = ∞.
1
1. If 𝑧0 ∈ ℂ, then 𝑓 is meromorphic at 𝑧0 , if the function 𝑧 ↦ 𝑓 (𝑧)
is analytic at 𝑧0 .
1
2. If 𝑧0 = ∞, then 𝑓 is meromorphic at 𝑧0 = ∞, if the function 𝑧 ↦ ( ) is analytic at 0.
𝑓 1𝑧
Remarks.
1. When we consider analytic functions, we assume that their values are in ℂ. It might happen
that ∞ is in the domain/set where the function is defined.
2. When we consider meromorphic functions, we allow the functions to have poles. The
values of the functions are in ℂ.
Examples.
𝑧
1. Let 𝑓 (𝑧) = 𝑧2 −4
.
The function 𝑔(𝑧) is analytic at 0. Thus, 𝑓 is also analytic at ∞. What about +2 and −2?
Now
1 𝑧2 − 4
= =∶ ℎ(𝑧),
𝑓 (𝑧) 𝑧
which is analytic at +2 and −2. These points are poles and thus 𝑓 is meromorphic at them.
2. Let 𝑓 (𝑧) = 𝑧2 + 𝑧 and 𝑓 (∞) = ∞. Now
1 1 𝑧2
( ) = ( )2 = =∶ 𝑔(𝑧).
𝑓 1 1 1 1+𝑧
𝑧 𝑧
+ 𝑧
16 Möbius transformations
The extended complex plane is the right setting for studying Möbius transformations.
𝑎𝑧+𝑏
Definition. Let 𝑓 ∶ ℂ → ℂ, 𝑓 (𝑧) = 𝑐𝑧+𝑑 , 𝑎, 𝑏, 𝑐, 𝑑 ∈ ℂ, 𝑎𝑑 − 𝑏𝑐 ≠ 0.
( )
If 𝑐 ≠ 0, then 𝑓 −𝑑
𝑐
= ∞ and 𝑓 (∞) = 𝑎𝑐 .
If 𝑐 = 0, then 𝑓 (∞) = ∞.
Then, 𝑓 is continuous, ℂ → ℂ, and meromorphic. 𝑓 is called a Möbius transformation of the
complex plane.
Examples 16.0.1. Let 𝛼, 𝛽 be given complex numbers and 𝑘 and 𝑡0 real-valued constants. The
following are Möbius transformations:
1. Translation by 𝛽: 𝜔 = 𝑧 + 𝛽.
2. Rotation through 𝑡0 : 𝜔 = 𝑧(exp(𝑖𝑡0 )). If 𝑡0 > 0, the rotation is counterclockwise. If 𝑡0 < 0,
the rotation is clockwise.
( )
(a) 𝑧 ↦ exp −𝑖 𝜋2 𝑧 = −𝑖𝑧 is a rotation clockwise by 𝜋2 .
3. Dilation by a factor 𝑘 > 0: 𝜔 = 𝑘𝑧. If 𝑘 > 1, it is said to be stretching, and if 0 < 𝑘 < 1, it
is said to be shrinking.
( ( ))
(a) 𝑓 (𝑧) = 2𝑖𝑧 = 2 exp 𝑖 𝜋2 𝑧. Now 𝑓 is a stretching by 2 and a counterclockwise
rotation by 𝜋2 .
√ ( ( 𝜋 )) √
(b) 𝑓 (𝑧) = (1 + 𝑖)𝑧 − 𝑖 = 2 exp 𝑖 4 𝑧 − 𝑖. Now 𝑓 is a stretching by 2, a
𝜋
counterclockwise rotation by 4
and a translation by −𝑖.
4. Inversion: 𝜔 = 1𝑧 .
Remarks.
1 𝑧
1. = , 𝑧 ≠ 0.
𝑧 |𝑧|2
1 1
2. In polar coordinates: 𝑧 = 𝑟 exp(𝑖𝜃). Now 𝑧
= 𝑟 exp(𝑖𝜃)
= 𝑟−1 exp(−𝑖𝜃). Also, remember
| |
that | 1𝑧 | = |𝑧|
1
.
| |
Proposition 16.0.3. Möbius transformations form a group, (𝑀, ◦), under the operation of com-
position of maps.
Remarks.
1. August Möbius (1790-1868). Möbius transformations are also known as the fractional
linear transformations, the linear fractional transformations, and the bilinear transforma-
tions.
2. These mappings are useful for converting bounded domains into unbounded domains and
vice versa.
3. Translations, rotations, dilations and inversions are all special cases of Möbius transforma-
tions.
𝑎
𝑓1 (𝑧) = 𝑧,
𝑑
𝑏
𝑓2 (𝑧) = 𝑧 + .
𝑑
If 𝑐 ≠ 0, we choose
𝑑
𝑓1 (𝑧) = 𝑧 + ,
𝑐
1
𝑓2 (𝑧) = ,
𝑧
𝑏𝑐 − 𝑎𝑑
𝑓3 (𝑧) = 𝑧,
𝑐2
𝑎
𝑓4 (𝑧) = 𝑧 + .
𝑐
Then 𝑓 = 𝑓4 ◦𝑓3 ◦𝑓2 ◦𝑓1 and
𝑏𝑐 − 𝑎𝑑 1 𝑎
𝑓 (𝑧) = + .
𝑐2 𝑧 + 𝑑 𝑐
𝑐
𝐴𝑧𝑧 + 𝐵𝑧 + 𝐵𝑧 + 𝐶 = 0,
𝐶 𝜔𝜔 +𝐵𝜔 + 𝐵𝜔 + 𝐴 = 0,
⏟⏟⏟
=|𝜔|2
Also, under the transformation of translation, circlines are transformed into circlines.
Since a Möbius transformation can be obtained as a combination of translations, rotations, stretch-
ings, and inversions, the claim follows.
Example 16.2.1. The real axis is the unique circline through 0, 1 and ∞, so its image under
1
𝑧 ↦ 𝑧−1 is a unique circline through -1, ∞ and 0, that is, the real axis.
𝑧+𝑖 ( )
Example 16.2.2. Let 𝑓 (𝑧) = 𝑧−𝑖
. Find the image of the boundary of the unit circle 𝜕𝔻 0, 1 .
Solution. We choose three points from the boundary. Let us pick −𝑖, 1 and 𝑖. The images of these
three points are
𝑓 (−𝑖) = 0, 𝑓 (𝑖) = ∞, 𝑓 (1) = 𝑖.
( ( ))
Möbius transformations map circlines onto circlines. Since ∞ ∈ 𝑓 𝜕𝔻 0, 1 , the image of
( ) ( ( )) ( ( ))
𝜕𝔻 0, 1 is a line. Since 𝑖 ∈ 𝑓 𝜕𝔻 0, 1 and 0 ∈ 𝑓 𝜕𝔻 0, 1 , the image of the boundary is
the imaginary axis.
𝑧+𝑖
Example 16.3.2. Let 𝑓 (𝑧) = 𝑖𝑧+1
. Find the image of the unit disc.
( ( )) ( )
Solution. First we find 𝑓 𝜕𝔻 0, 1 : We pick three points from 𝜕𝔻 0, 1 and then their image
points.
𝑓 (1) = 1, 𝑓 (−1) = −1, 𝑓 (𝑖) = ∞.
Since one of the image points is ∞, we know that the image is a line. Since −1 and 1 are in the
line, the image is the real line with ∞ point.
( ( )) ( ( ))
Because of remark 16.3.1, either 𝑓 𝔻 0, 1 = ℍ+ or 𝑓 𝔻 0, 1 = ℍ− . Since 𝑓 (0) = 𝑖 ∈ ℍ+ ,
( ( ))
we know by 16.3.1 that 𝑓 𝔻 0, 1 = ℍ+ .
Remark 16.3.3.
1. When 𝑓 (𝑧) = 𝑧 + 𝑏, 𝑏 ∈ ℂ, 𝑓 is a translation, then for 𝑤0 = 𝑧0 + 𝑏 and 𝑤1 = 𝑧1 + 𝑏 is the
equation 𝑤0 − 𝑤1 = 𝑧0 − 𝑧1 . The distance between two input points is invariant under a
translation.
2. When 𝑓 (𝑧) = 𝑎𝑧 + 𝑏, 𝑎, 𝑏 ∈ ℂ, 𝑓 is a rigid motion, then the distance between two input
points is not invariant under 𝑓 . But if 𝑤𝑗 = 𝑎𝑧𝑗 + 𝑏, when 𝑗 = 0, 1, 2, then
𝑤0 − 𝑤1 𝑧 − 𝑧1
= 0 .
𝑤0 − 𝑤2 𝑧0 − 𝑧1
The ratio of the distances of these input points is invariant under on rigid motion.
3. What about Möbius maps?
(𝜔 − 𝜔1 )(𝜔2 − 𝜔3 )
ℎ∶ 𝜔 ↦
(𝜔 − 𝜔2 )(𝜔1 − 𝜔3 )
(𝜔 − 𝜔1 )(𝜔2 − 𝜔3 ) (𝑧 − 𝑧1 )(𝑧2 − 𝑧3 )
= .
(𝜔 − 𝜔2 )(𝜔1 − 𝜔3 ) (𝑧 − 𝑧2 )(𝑧1 − 𝑧3 )
(𝑧0 − 𝑧1 )(𝑧2 − 𝑧3 )
[𝑧0 , 𝑧1 , 𝑧2 , 𝑧3 ] = .
(𝑧0 − 𝑧2 )(𝑧1 − 𝑧3 )
→0
⏞⏞⏞
𝑧3
1−
(𝑧0 − 𝑧1 )(𝑎𝑗 − 𝑧3 ) 𝑧 − 𝑧1 𝑎𝑗 𝑧 − 𝑧1
lim = lim 0 𝑧0 = 0 .
𝑗→∞ (𝑧0 − 𝑎𝑗 )(𝑧1 − 𝑧3 ) 𝑗→∞ 𝑧1 − 𝑧3 𝑧3 − 𝑧1
−1
𝑎𝑗
⏟⏟⏟
→0
Remark. The importance of this cross ratio is, that it is preserved by Möbius transformations,
that is [( ) ( ) ( ) ( )]
[𝑧0 , 𝑧1 , 𝑧2 , 𝑧3 ] = 𝑧0 , 𝑓 𝑧1 , 𝑓 𝑧2 , 𝑓 𝑧3
Remark 16.4.4. One consequence of this formula is that Mobius transformations cannot map any
four given points to any other four given points, unless their cross ratios are equal.
Remark 16.4.6. However, one can use this cross ratio formula to find a Mobius transformation
that maps three given points 𝑧1 , 𝑧2 , 𝑧3 to any other three given points 𝑤1 , 𝑤2 , 𝑤3 , 𝑤, that is
( )
𝑓 𝑧1 = 𝑤1 ,
( )
𝑓 𝑧2 = 𝑤2 ,
( )
𝑓 𝑧2 = 𝑤3 ,
𝑓 (𝑧) = 𝑤,
[ ] [ ]
The identity should be valid 𝑧1 , 𝑧2 , 𝑧3 , 𝑧 = 𝑤1 , 𝑤2 , 𝑤3 , 𝑤 and one can use this identity to
solve for 𝑓 (𝑧) in terms of 𝑧.
Example 16.4.7. Let the points −1, 0, 1 be given and we like to map them to −1, 𝑖, 1, respectively.
By solving the equation
[ ] [ ]
−1, 0, 1, 𝑧 = −1, 𝑖, 1, 𝑤
( )( ) ( )( )
−1 − 0 1 − 𝑧 1 − 𝑖 1 − 𝑓 (𝑧)
( )( )=( )( )
−1 − 1 0 − 𝑧 −1 − 1 𝑖 − 𝑓 (𝑧)
( )( )
𝑧−1 1 + 𝑖 𝑓 (𝑧)
= ( )
2𝑧 2 𝑓 (𝑧) − 𝑖
𝑧+𝑖
𝑓 (𝑧) =
𝑖𝑧 + 1
we found the mapping 𝑓 .
Example 16.4.9.
1. Find the Möbius transformation 𝑓 such that:
Solution.
1. By using definition 16.4.2 and Theorem 16.4.1, we get
Remark 16.4.10. If a half-plane ℍ is given and we need to find a Möbius transformation which
maps ℍ onto some disc 𝔻, then we pick three points 𝑧1 , 𝑧2 and 𝑧3 from 𝜕ℍ and three points
𝜔1 , 𝜔2 and 𝜔3 from 𝜕𝔻 to find 𝑓 such that 𝑓 (𝑧𝑘 ) = 𝜔𝑘 , 𝑘 = 1, 2, 3. Then we get a Möbius
transformation such that 𝑓 (ℍ) = 𝔻 or 𝑓 (ℍ) = ℂ ⧵ 𝔻. If 𝑓 (ℍ) = 𝔻 we are done. If 𝑓 (ℍ) = ℂ ⧵ 𝔻,
we use a rotation
( 𝑔 which
) gives 𝑔(ℍ) = ℂ ⧵ ℍ. Then, we combine them to get 𝑓 ◦𝑔 and obtain
𝑓 (𝑔(ℍ)) = 𝑓 ℂ ⧵ ℍ = 𝔻.
Theorem 16.5.1. Let 𝛾1 and 𝛾2 be two smooth 𝐶 1 -curves that intersect at 𝑧0 = 𝛾1 (𝑡0 ) = 𝛾2 (𝑡0 ),
suppose that 𝛾𝑘′ (𝑡0 ) ≠ 0 so that the curves aren’t stationary at the intersection, and suppose that
𝑓 is a Möbius transformation. Then the angle 𝛼 at which the smooth curves intersect each other
at 𝑡0 is simply the difference in the arguments of their tangents at time 𝑡0 :
( ) ( )
𝛼 = Arg 𝛾2′ (𝑡0 ) − Arg 𝛾1′ (𝑡0 ) .
Proof. The transformed curves 𝑓 ◦𝛾𝑘 , 𝑘 = 1, 2 are still smooth (at least when ignoring the pos-
sible pole of the Möbius transformation), and they intersect each other at 𝑓 (𝑧0 ) = 𝑓 (𝛾1 (𝑡0 )) =
𝑓 (𝛾2 (𝑡0 )). Their tangents at time 𝑡0 are given by the chain rule as
( ) ( )
= Arg 𝛾2′ (𝑡0 ) − Arg 𝛾1′ (𝑡0 )
= 𝛼.
Thus if two (smooth) curves intersect at an angle 𝛼, when we transform them using a Möbius
transformation, their images also intersect at an angle 𝛼. So angles are not distorted, only distances
are.
( )
The assumption that 𝑓 ′ 𝑧0 ≠ 0 is important!
Example 16.5.2. The real and imaginary axis meet at right angles, but they map under 𝑓 (𝑧) = 𝑧2
to the positive real axis and negative real axis, respectively, which are 180◦ apart!
𝑧−1
Example 16.5.3. Let 𝑓 (𝑧) = 𝑧−3
.
( )
1. What is the image of 𝜕𝔻 0, 1 under 𝑓 ? Now
1 ↦ 0,
2 𝑖
𝑖↦ − ,
5 5
1
−1 ↦ .
2
2
The image is a circle which goes through the points 0, 5
− 𝑖
5
and 21 .
2. What is the image of the real axis? Now
−1 ↦ 1∕2,
0 ↦ 1∕3,
1 ↦ 0.
17 Conformal mappings
17.1 On conformal mappings
Definition 17.1.1. Let Ω be open set in ℂ. Suppose that 𝑓 ∶ Ω → ℂ analytic in Ω. The function
𝑓 is conformal at 𝑧 ∈ Ω if 𝑓 ′ (𝑧) ≠ 0. The function 𝑓 is conformal in Ω if 𝑓 is conformal at every
point in Ω, i.e. 𝑓 ′ (𝑧) ≠ 0 for all 𝑧 ∈ Ω. If 𝑓 is conformal at every 𝑧 ∈ Ω and 𝑓 is bijective, 𝑓 is
called a conformal mapping.
Remark 17.1.2.
1. The geometric property where angles are preserved under the analytic mappings is confor-
mality.
2. Mappings which preserve angles of objects are conformal.
{ }
Example 17.1.5. Let 𝑓 (𝑧) = 𝑧2𝑧−4 , 𝑓 is analytic in ℂ ⧵ −2, 2 . We have to set 𝑓 (∞) = 0 and
( )
𝑓 ±2 = ∞ in order to get a continuous 𝑓 ∶ ℂ ↦ ℂ. Now
( ) 1 𝑧2 − 4 4
𝑓 ±2 = ∞ ∶ = = 𝑧 − is analytic at ± 2 and conformal at ± 2.
𝑓 (𝑧) 𝑧 𝑧
⎧ ( )
1∕𝑧
⎪ 𝑓 1𝑧 = 1∕𝑧2 −4 = 1−4𝑧
𝑧
4, 0 < |𝑧| < 𝑟,
𝑓 (∞) = 0 ∶ 𝑔(𝑧) = ⎨
⎪ 0, when 𝑧 = 0.
⎩
( ) 𝑔 (0+ℎ)−𝑔 (0)
Then in the latter case 𝑔 ′ 0 = limℎ→0 𝑓
= 1 ≠ 0, and 𝑔 is conformal at 0 and 𝑓 is
conformal at 0.
Example 17.1.6.
𝑧+𝑖
1. Find the image of the real axis under the mapping 𝑓 ∶ 𝑧 ↦ 𝑧+1 .
( ) 𝑧+𝑖
2. Find the image of the boundary of 𝔻 0, 1 under the mapping 𝑓 ∶ 𝑧 ↦ 𝑧+1
.
Solution.
1
1. We pick 1, 0, −1 ∈ ℝ and calculate that 𝑓 (−1) = ∞, 𝑓 (0) = 𝑖, and 𝑓 (1) = 2
+ 2𝑖 .
{(𝑥, 𝑦) ∶ 𝑦 = −𝑥 + 1} = {𝑧 ∶ Im 𝑧 = − Re 𝑧 + 1}.
2. Now
𝑖+1
𝑓 (−1) = ∞ (i.e. the image is a line), 𝑓 (−𝑖) = 0, 𝑓 (1) =
2
( )
𝜕𝔻 0, 1 ⊥ {𝑧 ∶ Im 𝑧 = 0}
⏟⏞⏞⏞⏞⏞⏞⏞⏟⏞⏞⏞⏞⏞⏞⏞⏟
The real axis
𝜋
The angle at (0, 1) is 2
. By conformality,
( ( )) ( ) ( ) 1 𝑖
𝑓 𝜕𝔻 0, 1 ⊥𝑓 {𝑧 ∶ Im 𝑧 = 0} at 𝑓 1 = + .
2 2
( ( ))
Hence 𝑓 𝜕𝔻 0, 1 = {(𝑥, 𝑦) ∶ 𝑥 = 𝑦}, or we could calculate
( ) ( ) 1+𝑖
𝑓 −1 = ∞, 𝑓 (−𝑖) = 0 and 𝑓 1 = .
2
Examples 17.1.7.
1. Möbius transformations are conformal. We refer to 16.5 (𝑓 ′ (𝑧0 ) ≠ 0).
2. 𝑓 (𝑧) = 𝑧2 is not conformal at 0 but is at other points.
Now
( )( ) ( ) ( )
𝑧 − 1 −1 − 𝑖 𝑤 − 0 (∞ − 𝑖) 𝑤−0 ( ) 𝑤
( ( )) ( ) = (𝑤 − ∞) (0 − 𝑖) = (0 − 𝑖) −1 = −1 (−𝑖) .
𝑧 − −1 1−𝑖
17.1.9. We refer to 16.5. Any analytic mapping 𝑓 when 𝑓 ′ (𝑧0 ) ≠ 0 preserves angles between
smooth curves.
Example 17.2.1. Find a bijective conformal map 𝑓 which maps the sector
𝜋
{𝑧 ∶ 0 < Arg 𝑧 < , 0 < |𝑧| < 1}
2
( )
onto 𝔻 0, 1 . See Figure 17.1.
Im Im
𝛿?
Re Re
𝑧-plane 𝜔-plane
Solution. The asked mapping 𝛿 can constructed by composing suitable bijective conformal map-
pings 𝜔1 , 𝜔2 , 𝜔3 and 𝜔4 . Now we need to
1. map the real axis to the real axis using the cross ratio formula,
2. the image if the unit circle is the imaginary axis.
Let (as shown in Figure 17.2)
1+𝑧 𝑧−𝑖
𝜔1 = 𝑧2 , 𝜔2 = , 𝜔3 = 𝜔1 = 𝑧2 , and 𝜔4 = .
1−𝑧 𝑧+𝑖
Now
( )2
( )2 1+𝑧2
−𝑖
1 + 𝑧2 1 + 𝑧2 1−𝑧2
𝜔2 ◦𝜔1 = , 𝜔3 ◦𝜔2 ◦𝜔1 = , 𝜔4 ◦𝜔3 ◦𝜔2 ◦𝜔1 = ( )2 ;
1 − 𝑧2 1 − 𝑧2 1+𝑧2
1−𝑧2
+𝑖
(1 + 𝑧2 )2 − 𝑖(1 − 𝑧2 )2
𝜔 = 𝛿(𝑧) = 𝜔4 ◦𝜔3 ◦𝜔2 ◦𝜔1 (𝑧) =
(1 + 𝑧2 )2 + 𝑖(1 − 𝑧2 )2
And the asked bijective conformal mapping 𝛿 has been constructed.
Im Im
𝜔1 = 𝑧2
Re Re
𝑧-plane 𝜔1 -plane
(a) The mapping 𝜔1 , 𝑧 ↦ 𝑧2 maps the quadrant to a half-circle.
Im Im
1+𝑧
𝜔2 = 1−𝑧
Re Re
𝑧-plane 𝜔2 -plane
(b) The mapping 𝜔2 , 𝑧 ↦ 1+𝑧
1−𝑧
maps the half-circle to a quarter-plane.
Im Im
𝜔3 = 𝑧2
Re Re
𝑧-plane 𝜔3 -plane
(c) The mapping 𝜔3 = 𝜔1 , 𝑧 ↦ 𝑧2 maps the quarter-plane to a half-plane.
Im Im
𝑧−𝑖
𝜔4 = 𝑧+𝑖
Re Re
𝑧-plane 𝜔4 -plane
(d) The mapping 𝜔4 , 𝑧 ↦ 𝑧−𝑖
𝑧+𝑖
maps the half-plane to a disc.
Figure 17.2: Construction of the bijective conformal mapping 𝛿 = 𝜔4 ◦𝜔3 ◦𝜔2 ◦𝜔1 in the solution
to the example 17.2.1.
References
[1] Kari Astala, Kompleksianalyysi I, University of Helsinki, 2016.
[2] Joaquim Bruna and Julia Cufi, Complex Analysis, EMS Textbooks in Mathematics, Euro-
pean Mathematical Society, 2013.
[3] James Ward Brown and Ruel V. Churchill, Complex Variables and Applications. Eighth
Edition, McGraw-Hill Higher Education, 2009.
[4] Ritva Hurri-Syrjänen, Kompleksianalyysi I kurssi, (Mainly based on Kari Astala’s notes
from 2005 and Terry Tao’s notes from the web), University of Helsinki, 2012.
[5] Serge Lang, Complex Analysis, Addison Wesley.
[6] H. A. Priestley, Introduction to Complex Analysis, second edition, Oxford University Press,
2003.
[7] Murray R. Spiegel, Complex Variables with an Introduction to Conformal Mapping and
Its Applications, Schaum’s Outline Series, McGraw Hill, 1999.
[8] Elias M. Stein and Rami Shakarchi, Complex Analysis, Princeton Lectures in Analysis II,
Princeton University Press, Princeton, New Jersey, 2003.
[9] Terence Tao, Math 132, Lecture notes in the web
[10] J. D. Dixon, A brief proof of Cauchy’s integral theorem, Proc. Amer. Math. Soc., 29 (1971),
pp. 625–626.
Alphabetical Index
A Complex plane 7
Accumulation point of a set 21, 24 Complex sequence 24, 41
Addition formulas for sine and cosine Cauchy sequence 26
functions 54 convergence 24, 25
Analytic function 27, 32 Complex series 41
as an integral 87 absolute convergence 42
harmonic real and imaginary part 37 convergence 41
polynomials 29 remainder 42
through antiderivative 91 Component lemma 101
using C-R 35 Conformal mapping 120
using power series 47, 50, 91 Connected set 23
Antiderivative 74, 75 Connection between complex and real
analytic function in an open disc 82 derivatives 32, 39
Continuity of a function 24, 25, 28, 35
B Contour 69
Boundary of a disc 20 Cosine function 53
Boundary point of a set 21 derivative 54
Bounded set 21 Cross ratio 116
Cycle 99
C length 99
Cauchy global integral theorem 101
proof 105 D
Cauchy's inequalities 91 d'Alembert's ratio test 42
Cauchy's local integral formula 87 De Moivre's theorem 16, 17
proof 88 Deformation theorem 103
Cauchy's second formula 88 Domain 23, 28, 55, 75
proof 90 simply connected 101
Cauchy-Goursat theorem 86
Cauchy-Riemann equations 32, 34, 83 E
Chain rule 29 Entire function 28, 92
Closed curve 66 Estimation lemma 73
Closed disc 20 Euclidean plane 6
Closed set 20 Euler's formula 13, 53, 55
Closure of a set 21 Extended complex plane 109
Compact set 21 limits 110
Comparison test 42 open set 110
Complex dierentiable function 28
complex derivative
derivative of the inverse
27, 34
30
F
Fundamental equation 55
dierence quotient 27 Fundamental Theorem of Algebra 93
dierentiation formulas 28
Complex exponential function
one-to-one and onto
51, 55
58 G
properties 51 General power function 65
Complex hyperbolic functions 54 Geometric series 42, 48
Complex logarithm proof of convergence 43
branches 61 Goursat's theorem 79
denition 60
properties 63 H
Complex number Hadamard's
argument 13, 14, 60 formula 46
Cartesian form 10 proof of theorem 47
complex conjugate 10, 52 theorem 46
geometric meaning of the multiplication Harmonic function 37
14
imaginary part 10, 11, 25 I
inverse element 8 Identity theorem 94
modulus 10, 13, 52 Imaginary unit 9
polar form 13 Integrals along closed contours 77
real part 10, 11, 25, 52 Integrals along cycles 99
roots 16 Integrals along piecewise smooth curves 72
O W
Open disc 20 Winding number 99
Open set 20 for a cycle 100
Osborn's rules 54 Winding number lemma 99