MTH3020: Complex Analysis
Lecture Notes (2010)
Todd A. Oliynyk School of Mathematical Sciences Monash University
Lecture Schedule
Week 1 L1 Revision of complex numbers L2 Analytic functions L3 CauchyRiemann equations Week 2 L4 Elementary functions I L5 Elementary functions II L6 Elementary functions III Week 3 L7 Line Integrals L8 Cauchy’s Integral Theorem I L9 Cauchy’s Integral Theorem II Week 4 L10 Cauchy’s Integral Formula L11 Applications of Cauchy’s Integral Formula L12 Harmonic functions Week 5 L13 Series: convergence tests L14 Power series L15 Taylor series Week 6 L16 Laurent series L17 Zeros and singularities L18 The extended complex plane Week 7 L19 The point at inﬁnity L20 Residue Theorem I L21 Residue Theorem II Week 8 L22 Applications L23 Applications L24 Applications
1. REVIEW OF COMPLEX NUMBERS
3
1. Review of Complex Numbers
Fundamentals of Complex Analysis: Sections 1.1  1.5
1.1. What are the complex number? First consider the plane
R ^{2} = { (x, y)  x, y ∈ R}.
Expand a vector (x, y) ∈ R ^{2} in terms of the standard basis as follows
(x, y) = x(1, 0) + y(0, 1).
Rename the standard basis as
1 = (1, 0)
and
i = (0, 1)
so that
(x, y) = x1 + iy = x + iy.
In this notation, it is not diﬃcult to see that the addition and scalar multiplication laws for vectors become
(1.1)
for all c, x, y, u, v ∈ R.
c(x + iy) + (u + iv) = (cx + u) + i(cy + v)
Note 1.1. Given a vector z = x + iy ∈ R ^{2} , x is known as the real part while y is known as the imaginary part . We also deﬁne the projections
Re(z) = x
and
Im(z) = y.
So far we only introduced a new notation for vectors in the plane. Here comes the amazing part:On R ^{2} there exists a multiplication that extends the standard multiplication on R. This multiplication is deﬁned as follows
(1.2)
(x + iy)(u + iv) = (xu − yv) + i(xv + yu)
for all x, y, u, v ∈ R. We are now ready to deﬁne the complex numbers
Definition 1.2. The plane R ^{2} together with the multiplication (1.2) is denoted by C, and called the set of complex numbers . We will call a complex z ∈ C in standard form when it is written as
z = x + iy for some x, y ∈
R.
1.2. A laundry list useful of concepts.
1.2.1. Conjugate.
Definition 1.3. The conjugate of a complex number z = x + iy ∈ C is deﬁned by
z¯ = x + iy := x − iy.
Notice that geometrically conjugation is just reﬂection about the xaxis.
4
1.2.2. Modulus.
Definition 1.4. The modulus of a complex number z = x + iy ∈ C is just the length of the vector z, i.e.
z = x + iy := ^{} x ^{2} + y ^{2} . Alternate terminology for the modulus z is the absolute value or norm of z.
(1.3)
Proposition 1.5. The modulus satisﬁes the following properties for all z, w ∈ C:
(i) 
w + z ≤ w + z, 

(ii) 
z − w ≥ z − w, 

(iii) 
Re(z) ≤ z, 
Im(z) ≤ z, 
(iv) 
z¯ = z, and 

(v) 
wz = zw. 
Proof. Properties (i)(iv) follow directly from treating w and z as vectors in the plane while property
We also note the following useful formula which can be established by straight forward multiplication (Hw: verify this):
z 2 = zz.¯
1.2.3. Division. As remarked above, the complex multiplication extends the real multiplication and
therefore complex numbers can be divided. The formula for doing this is given by
(1.4)
(v) follows easily from the formulas (1.2) and (1.3) (Hw: verify this).
z zw¯
_{w} :=
_{}_{w}_{} _{2}
for all z, w ∈ C with w
= 0.
Note that using w ^{2} = ww¯, this can also be written as
z
zw¯
_{=}
w
ww¯ ^{.}
We formalize the properties of addition, multiplication, and division in the following Proposition.
Proposition 1.6. Suppose v, w, z ∈ C. Then
(i) z + w = w + z and zw = wz (commutativity of addition and multiplication),
(ii) 
v + (w + z) = (v + w) + z and v(wz) = (vw)z (associativity of addition and multiplication), 
(iii) 
0 + z = z and 1z = z (additive and multiplicative identity), 
(iv) 
v(w + z) = vw + vz (distributive law), 
(v) 
−z + z = 0 (additive inverse), and 
(vi) 
if z = 0 then z ^{−}^{1} = z¯z ^{2} satisﬁes zz ^{−}^{1} = 1 (multiplicative inverse). 
Proof. Follows by direct computation using the formulas (1.1), (1.2), and (1.4).
1.2.4. Polar Form. We can introduce standard polar coordinates by setting
x = r cos(θ),
y = r sin(θ),
or equivalently ^{1}
r
= ^{} x ^{2} + y ^{2} ,
θ = arctan
y
x ^{.}
Then any complex number z ∈ C can be written as
z = r(cos(θ) + i sin(θ)).
^{1} The formula θ = arctan(y/x) is actually not true for complex numbers in the third or fourth quadrants due to the range of arctan lying in (−π, π). However, by adding or subtracting π as appropriate, the correct answer can be recovered.
1. REVIEW OF COMPLEX NUMBERS
5
For the moment, we deﬁne the symbol e ^{i}^{θ} by
e ^{i}^{θ} := cos(θ) + i sin(θ)
θ ∈ R.
This deﬁnition is known as the Euler Identity. Using the Euler Identity, we can write z in the more compact polar form
As above,
z
= re ^{i}^{θ} .
z = r
is called the modulus of z, while
is called the argument of z.
arg(z) := θ mod 2π
Example 1.7. Write 1 + i and 2 + 2 ^{√} 3i in polar form. Solution:
1 + i = ^{√} 2(cos(π/4) + i sin(π/4)) = ^{√} 2e ^{i}^{π}^{/}^{4}
and
2 + 2 ^{√} 3i = 4(cos(π/3) + i sin(π/3)) = 4e ^{i}^{π}^{/}^{3} .
Next, we state two other useful formulas:
(1.5)
and
(1.6)
Note that the second formula follows directly from complex multiplication and standard trigonometric identities (Hw: prove the identities (1.5) and (1.6)). Using (1.6), multiplication and division of complex numbers take the particularly simple form
(1.7)
and
z _{1} z _{2} = (r _{1} e ^{i}^{θ} ^{1} r _{2} e ^{i}^{θ} ^{2} ) = r _{1} r _{2} e ^{i}^{(}^{θ} ^{1} ^{+}^{θ} ^{2} ^{)} ,
e ^{i}^{θ}  = ^{} cos(θ) ^{2} + sin(θ) ^{2} = 1,
e ^{i}^{(}^{θ}^{+}^{φ}^{)} = e ^{i}^{θ} e ^{i}^{φ}
for all θ, φ ∈ R.
z
1
r _{2} e ^{i}^{θ} 2 ^{=} r 1
r
2
^{r} _{1} e ^{i}^{θ} ^{1}
z
2
=
_{e} i(θ _{1} −θ _{2} ) _{.}
Equation (1.7) coupled with induction can be used to establish De Moivre’s Theorem :
z ^{n} = (re ^{i}^{θ} ) ^{n} = r ^{n} e ^{i}^{n}^{θ}
n ∈ N,
and also to deﬁne the n ^{t}^{h} root of a complex number:
z ^{1}^{/}^{n} = (re ^{i}^{θ} ) ^{1}^{/}^{n} = r ^{1}^{/}^{n} e ^{i}^{(}^{θ}^{+}^{2}^{k}^{π}^{)}^{/}^{n}
k = 0, 1, 2,
, n − 1.
Example 
1.8. Calculate 

(1 + i) _{1}_{0} 

2 + 2 ^{√} 3i ^{.} 

Solution: 

(1 + i) ^{1}^{0} 
_{(} ^{√} _{2}_{e} iπ/4 _{)} 10 
_{2} 5 _{e} i5π/4 

= 
^{=} 

2 + 2 ^{√} 3i 
_{4}_{e} iπ/3 
_{4}_{e} iπ/3 
Example 1.9. Calculate (1 + i) ^{1}^{/}^{5} . Solution:
_{=} _{8}_{e} iπ(5/4−1/3) _{=} _{8}_{e} i11π/12 _{.}
_{(}_{1} _{+} _{i}_{)} 1/5 _{=} _{(} ^{√} _{2}_{e} iπ/4 _{)} 1/5 _{=} _{2} 1/10 _{e} i(π/4+2kπ)/5
_{k} _{=} _{0}_{,} _{1}_{,} _{2}_{,} _{3}_{,} _{4}_{.}
6
2. Analytic Functions
Fundamentals of Complex Analysis: Sections 1.6, 2.12.5
2.1. 
Sets in the complex plane. 
2.1.1. 
Disks. We use the following notation for an open disk of radius ρ centered at z _{0} : 
Bρ(z _{o} ) := { z ∈ C  z − z _{o}  < ρ}
We will often refer to an open disk centered at z _{0} , i.e. B _{ρ} (z _{0} ), as a neighborhood of z _{0} . In addition to open disks, we will also need punctured open disks :
B
× (z _{o} ) := { z ∈ C  0 < z − z _{o}  < ρ}.
ρ
2.1.2. Topology.
Definition 2.1. A point z ∈ S ⊂ C is an interior point interior point of S if there exists a ρ > 0
o
such that B _{ρ} (z) ⊂ S. The collection of interior points is called the interior of S and denoted by S.
o
Definition 2.2. A set S ⊂ C is called open if S = S. The collection of all open subset of C is called its topology.
Definition 2.3. A set S ⊂ C is called closed if the complement S ^{c} := C \ S is open.
Definition 2.4. A point z ∈ S ⊂ C is called a boundary point of S if every disc B _{ρ} (z) ∩ S
= ∅
and B _{ρ} (z) ∩ S ^{c} = ∅. The collection of boundary point is called the boundary of S and denoted by ∂S.
Definition 2.5. A set S ⊂ C is bounded if there exists a ρ > 0 such that S ⊂ B _{ρ} (0).
Definition 2.6. A set S ⊂ C is called compact if it is closed and bounded.
Proposition 2.7.
(i) 
A set S ⊂ C is open if and only if ∂S ∩ S = ∅. 
(ii) 
A set S ⊂ C is closed if and only if ∂S ⊂ S. 
Proof. (Hw: provide a proof.)
¯
In light of this Proposition, it makes sense to deﬁne the closure of a set S by S = S ∪ ∂S.
2.1.3. Domains. Given
, z _{n}_{+}_{1} ∈ C, we let l _{j} denote the line segment that
connects z _{j} to z _{j} + 1. The union ∪ _{j}_{=}_{1} l _{j} form a continuous chain called a polygonal path from z _{1} to
n
+ 1 points z _{1} , z _{2} ,
n
z n+1 .
Definition 2.8. A set S ⊂ C is connected if every pair of points z _{1} , z _{2} ∈ S in S can be connected by by a polygonal path that lies entirely in S.
Definition 2.9. A set D ⊂ C is called a domain if it is open and connected.
2.2. Complex functions.
Definition 2.10. A complex function is a map
f : S ⊂ C −→ C
from a subset S of the complex numbers to the complex numbers. The set of S is called the domain of f and is denoted by Dom(f ). The image set f (S) = { f (z)  z ∈ S } is call the range of f and is denoted by Ran(f ).
2. ANALYTIC FUNCTIONS
7
It is important to realize that a complex function f (z) can always be written as
f(z) = u(z) + iv(z)
where u, v : S ⊂ C −→ R are two real valued maps. Indeed, we can deﬁne
u(z) := Re(f (z))
and
v(z) := Im(f (z))
for all z ∈ C.
We will refer to u and v as the real and imaginary part of f .
Note 2.11. We may sometimes
f = Ref + iImf to denote the decomposition of f into real and imaginary parts. We will use all of the following notations interchangeably:
and
f (z) = f (x + iy),
u(z) = u(x + iy) = u(x, y),
v(z) = (x + iy) = v(x, y).
Example 2.12. (i) Find the domain and the real and imaginary parts of
(ii)
f(z) = z ^{2} .
What is the range of f restricted to the quarter closed disk Q = {re ^{i}^{θ} 0 ≤ r ≤ ^{√} 2, 0 ≤ θ ≤ π/2 }?
Solution:
(i) Since,
f (x + iy) = (x + iy)(x + iy) = (x ^{2} − y ^{2} ) + i2xy,
we see that 

Ref (x + iy) = x ^{2} − y ^{2} , 
Imf (x + iy) = 2xy 

and 
Dom(f ) = C. (ii) It follows immediately from the formula f (re ^{i}^{θ} ) = r ^{2} e ^{i}^{2}^{θ} that
f(Q) = {re ^{i}^{θ} 0 ≤ r ≤ ^{√} 2, 0 ≤ θ ≤ π }.
Example 2.13. Find the domain and the real and imaginary parts of ^{z}
f(z) =
zz¯− 1 ^{.}
Solution:
Since
we see that
f(x + iy) =
_{=}
=
^{x} ^{+} ^{i}^{y}
(x + iy)(x − iy) − 1
x + iy
(x ^{2} + y ^{2} ) − 1
x
(x ^{2} + y ^{2} ) − 1 ^{+} ^{i} (x ^{2} + y ^{2} ) − 1 ^{,}
y
Ref (x + iy) =
^{x}
(x ^{2} + _{y} ^{2} _{)} _{−} _{1} ^{,}
Imf (x + iy) =
^{y}
(x ^{2} + y ^{2} ) − 1 ^{,}
8
and
Dom(f ) = {z ∈ Czz¯
= 1}.
2.3. Limits and continuity.
Definition 2.14. Let f (z) be a complex function that is deﬁned on the punctured disc B
Then f (z) has a limit w as z goes
to z _{0} if for every > 0 there exists a 0 < δ < ρ such that
f(z) − w <
whenever 0 < z − z _{0}  < ρ. It is conventional to write
w
= lim 0 f(z).
z→z
ρ × (z _{0} ).
With limits of functions deﬁned, we can now introduce the notion of a continuity.
Definition 2.15. Let f (z) be a complex function that is deﬁned in a neighborhood of z _{0} . Then f (z) is continous at z _{0} if
f(z _{0} ) = lim 0 f(z).
z→z
Example 2.16. Show that the function f (z) = z ^{2} is continuous at z = 0. Solution:
Since
f (z) − f (0) = z ^{2} ,
we see that
f(z) − f(z _{0} ) <
whenever z < δ = ^{√} . Therefore f (z) = z ^{2} is continuous at z = 0. (Hw: Show that f (z) is continuous at any z _{0} ∈ C.)
Example 2.17. Show that f (z) = 1/z is continuous for all z
= 0. (Hw: Verify this statement.)
There is another method for verifying continuity of functions that is base on limits of functions applied to convergent sequences.
Definition 2.18. A sequence {z _{n} } _{n}_{=}_{1} ⊂ C is said to have a limit z or converge to z if for any > 0 there exists a N ∈ N such that
z _{n} − z <
for all n > N . When a limit z exists for a sequence {z _{n} } _{n}_{=}_{0} , we write
∞
∞
lim
n→∞ ^{z} ^{n} ^{=} ^{z}
On the other hand, if the sequence {z _{n} } _{n}_{=}_{0} does not have a limit then it is said to diverge.
∞
Example 2.19.
(i) 
The sequence z _{n} = 1 + 1/n, n = 1, 2, 
., is convergent, and 
lim _{n}_{→}_{∞} z _{n} = 1. 

(Verify this!) 

(ii) 
The sequence z _{n} = (−1) ^{n} , n = 0, 1, 2, 
., is divergent. (Why?) 
We recall the Cauchy criterion which is often very useful to establish the convergence of a series.
2. ANALYTIC FUNCTIONS
9
Theorem 2.20. [Cauchy criterion for convergence] A sequence {z _{n} } _{n}_{=}_{0} converges if and only if for every > 0 there exists a N ∈ N such that
z _{n} − z _{m}  <
whenever n, m ≥ N .
Proposition 2.21. The limit lim _{z}_{→}_{z} _{0} f (z) exists if and only if the limit lim _{n}_{→}_{∞} f(z _{n} ) exists for every sequence convergent sequence {z _{n} } _{n}_{=}_{1} with limit z _{0} . Moreover, if f (z) is continuous at z _{0} (i.e. f(z _{0} ) = lim _{z}_{→}_{z} _{0} f (z)) and {z _{n} } _{n}_{=}_{1} converges to z _{0} , then
∞
∞
∞
_{n}_{→}_{∞} f(z _{n} ) = f lim
lim
n→∞ ^{z} ^{n} ^{.}
A useful property of continuous functions is that composition of continuous functions are again
continuous:
Theorem 2.22. If g(z) is continuous at z _{0} and f (z) is continuous at w _{0} = g(z _{0} ), then the composition f ◦ g(z) = f (g(z)) is continuous at z _{0} .
In practice we use composition to build new continuous functions out of known ones. An example of
this procedure is the following:
Proof. (Hw: Provide a proof of this proposition.)
Proof. (Hw: provide a proof of this Theorem.)
Example 2.23. We know from the above Example that f (z ) = 1/z is continuous for all z
= 0. This
if g(z) is continuous at z _{0} and g(z _{0} )
= 0 then
f (g(z)) =
^{1}
g(z)
is continuous at z = z _{0} by Theorem 2.22.
2.4. Derivatives and analytic functions. In exactly the same way as for real variable functions, we can deﬁne the derivative of a complex function.
Definition 2.24. A complex function f (z) is diﬀerentiable at z _{0} if it is deﬁned in a neighborhood of z _{0} and the limit
f
^{} (z _{0} ) = lim
w→0
f(z _{0} + w) − f(z _{0} )
w
exits. The limit f ^{} (z _{0} ) is
called the derivative of f (z) at z _{0} .
We will also use the notation
_{d}_{z} df (z _{0} ) = f ^{} (z _{0} )
for a derivative.
Example 2.25. Let
f (z)
= z. Find f ^{} (z) for all z ∈ C.
Solution:
Example 2.26. Let Solution:
Example 2.27. Show that f (z) = z¯ is not diﬀerentiable for any z ∈ C.
f (z) = 1/z. Find f ^{} (z) for all z
= 0.
Solution:
10
Complex diﬀerentiation satisﬁes all of the standard properties that you are familiar with from real variable calculus:
Proposition 2.28. Suppose f (z) and g(z) are diﬀerentiable at z _{0} . Then
(i) (linearity)
(ii) (product rule)
(iii) (quotient rule)
(cf + g) ^{} (z _{0} ) = cf ^{} (z _{0} ) + g ^{} (z _{0} )
(c ∈ C),
(fg) ^{} (z _{0} )
= f ^{} (z _{0} )g(z _{0} ) + f(z _{0} )g ^{} (z _{0} ),
^{} f ^{} ^{} _{(}_{z} 0 _{)} _{=} f ^{} (z _{0} )g(z _{0} ) − f(z _{0} )g ^{} (z _{0} )
g
g(z _{0} ) ^{2}
(g(z _{0} )
= 0),
(v)
and
f (z) and g(z) are continuous at z _{0} .
Moreover, if f (z) is diﬀerentiable at g(z _{0} ), then
(vi) (chain rule)
(f ◦ g) ^{} (z _{0} ) = f ^{} (g(z _{0} ))g ^{} (z _{0} )
(f ◦ g(z) := f (g(z))).
Proof. (Hw: Show that the same proofs of these diﬀerentiation rules from single variable calculus
carry over to the complex setting.)
Example 2.29. Show that
(z ^{n} ) ^{} = nz ^{n}^{−}^{1}
for all n ∈ N.
Solution:
We already showed that z ^{} = 1. So proceeding by induction, assume that the formula (z ^{k} ) = kz ^{k}^{−}^{1}
holds for k = 1, 2,
n. Then by the product rule
(z ^{n}^{+}^{1} ) ^{} = (zz ^{n} ) ^{} = z ^{} z ^{n} + z(z ^{n} ) ^{} = z ^{n} + nz ^{n} = (n + 1)z ^{n}
which completes the induction step.
Example 2.30. Let
Find f ^{} (z).
f(z) =
^{2} ^{+} ^{z}
3
_{+} _{z} _{2} + (1 + 10z) ^{2}^{0} .
1 − z
Solution:
We are now ready to deﬁne analytic functions. properties of analytic functions.
The rest of this course will be about studying
Definition 2.31. Let U ⊂ C be an open set an f a complex function with U ⊂ Dom(f ). Then f
if f is diﬀerentiable at every point in U. If U = C, then f is said to be an entire
is analytic in U function.
In the mathematics literature, the term holomorphic is often used instead of analytic.
2. ANALYTIC FUNCTIONS
11
Example 2.32. The function
is entire since the derivative
is well deﬁned for all z ∈ C.
Example
2.33. The function
is analytic on the open set
f(z) = z ^{n}
(n ∈ N)
f ^{} (z) = nz ^{n}^{−}^{1}
f(z) = 1
z
U = C \ {0} = { z ∈ Cz > 0}
since the derivative
f (z) = − 1
z ^{2}
is well deﬁned for all z ∈ U .
2.5. CauchyRiemann equations. Determining if a complex function is diﬀerentiable directly from the deﬁnition can be diﬃcult. In this section, we introduce an alternative procedure that is quite simple to use.
Theorem 2.34. Suppose f (x + iy) = u(x, y) + iv(x, y) is a complex function that is diﬀerentiable at the point z _{0} = x _{0} + iy _{0} . Then the partial derivatives
∂u _{,}
∂x
∂u
∂y ^{,}
∂v
∂x ^{,}
∂v
∂y ^{,}
all exist at the point (x _{0} , y _{0} ) and satisfy
∂u
^{} (x _{0} ,y _{0} )
_{=} ∂v
∂y
∂x
∂v
∂y
∂x ^{} (x _{0} ,y _{0} ) ^{=} ^{−} ∂u
^{} (x _{0} ,y _{0} )
_{} _{(}_{x} 0 _{,}_{y} 0 _{)} .
^{(}^{2}^{.}^{1}^{)}
(2.2)
Remark 2.35. Equations (2.1)(2.2) are known as the CauchyRiemann equations, or CR equations for short.
Proof. Since f is diﬀerentiable at z _{0} = x _{0} + iy _{0} , setting w = h (h ∈ R) in the deﬁnition of the derivative yields
f ^{} (z _{0} ) = lim
h→0
f ((x _{0} + h) + iy _{0} ) − f(x _{0} + iy _{0} )
h
^{.}
Separating into real an imaginary parts gives
u(x _{0} + h, y _{0} ) − u(x _{0} , y _{0} )
^{} (x _{0} ,y _{0} ) ^{+}^{i}
∂v
∂x
h
^{} _{(}_{x} _{0} _{,}_{y} _{0} _{)} ^{.}
^{+}
_{i} v(x _{0} + h, y _{0} ) − v(x _{0} , y _{0} )
h
f ^{} (z _{0} ) = lim
h→0
_{=} ∂u
∂x
(2.3) 

(2.4) 

✷ 

Also, a similar calculation using w = ih (h ∈ R) shows that
f
^{} (z _{0} ) = ^{∂}^{v}
∂y
∂y ^{} (x _{0} ,y _{0} ) ^{−}^{i} ∂u
^{} _{(}_{x} _{0} _{,}_{y} _{0} _{)} ^{.}
From (2.3) and (2.4), it is then clear that the CRequations (2.1)(2.2) hold.
The real importance of the CauchyRiemann equations is that they imply a partial converse of the previous theorem.
12
Theorem 2.36. Let z _{0} = x _{0} +iy _{0} and suppose that f (x+iy) = u(x, y)+iv(x, y) is a complex function such that
(i) f is deﬁned in a neighborhood of z _{0} , (ii) the partial derivatives
∂u _{,}
∂x
∂u
∂y ^{,}
∂v
∂x ^{,}
∂v
∂y ^{,}
exist in a neighborhood of (x _{0} , y _{0} ) and are continuous at (x _{0} , y _{0} ), and (iii) the CauchyRiemann equations
are
satisﬁed at (x _{0} , y _{0} ).
Then f is diﬀerentiable at z _{0} .
∂u
∂x
_{=} ∂v
∂y ^{,}
∂v
∂x ^{=} ^{−} ∂u
∂y ^{,}
Proof. By the Mean Value Theorem, there exists points z,ˆ zˇ on the line connecting z _{0} = x _{0} + iy _{0} to z _{0} + w, where w = l + ik, such that
u(z _{0} + w) − u(z _{0} ) = ∇u(ˆz) · w
and v(z _{0} + w) − v(z _{0} )
= ∇v(ˇz) · w.
So
where
f(z _{0} + w) − f(z _{0} ) _{=} ∇u(ˆz) · w + i∇v(ˇz) · w
w
w
∇u(z _{0} ) · w + i∇u(z _{0} ) · w
_{=}
w
+ R(w)
_{R}_{(}_{w}_{)} _{=} ^{} ∇u(ˆz) − ∇u(z _{0} ) ^{} · w + i ^{}^{} ∇v(ˇz) − ∇v(z _{0} ) ^{} · w ^{} w
^{.}
Using the CRequations, we can write (2.5) as
Since
f(z _{0} + w) − f(z _{0} )
w
=
u _{x} (z _{0} ) + iv _{x} (z _{0} ) + R(w).
(2.5)
(2.6)
R(w) ≤ ∇u(ˆz) − ∇u(z _{0} ) + ∇v(ˇz) − ∇v(z _{0} ),
it follows from the continuity of the partial derivatives that
_{w}_{→}_{0} R(w) = 0.
lim
Using this, we see from (2.6) that
f
^{} (z _{0} ) = lim
w→0
f(z _{0} + w) − f(z _{0} )
w
= u _{x} (z _{0} ) + iv _{x} (z _{0} ),
which shows that f (z) is diﬀerentiable at z _{0} .
2.5.1. Derivative formulas. A recap of useful derivative formulas:
(a)
f
^{} (z) = lim
w→0
f(z + w) − f(z)
w
2. ANALYTIC FUNCTIONS
13
(b)
where
f ^{} = u _{x} + iv _{x} = v _{y} − iu _{y}
u _{x} = v _{y}
and
= u _{x} − iu _{y} = v _{y} + iv _{x}
u _{y} = −v _{x}
Note: here we are using the notation
u _{x} = ^{∂}^{u} ∂x ,
u _{y} = ^{∂}^{u}
_{∂}_{y} ,
v _{x} =
∂v
_{∂}_{x} ,
v _{y} = ^{∂}^{v}
∂y ^{,}
Example 2.37. Use the CRequations to show that
is an entire function and that
f(z) = 2z + z ^{2}
f ^{} (z) = 2(1 + z).
Solution:
Example 2.38. Determine where the function
f(x + iy) = x ^{2} + y ^{2} + i2xy
is analytic.
Solution:
As a ﬁnal application of the CRequations, we prove the following proposition.
Proposition 2.39. Suppose f (z) is analytic on a domain D and that f ^{} (z) = 0 for all z ∈ D. Then f (z) is constant on D.
2.5.2. CRequations: polar form. It is often useful for calculational purposes to express to Cauchy Riemann equations in polar form. Writing
f(re ^{i}^{θ} ) = u(r, θ) + iv(r, θ),
the CRequations are given by (Hw: verify this)
Proof.
u _{r} =
1
_{r}
v _{θ} ,
1
v _{r} = − _{r} u _{θ} ,
where
u r = ∂u ∂r Also the derivative can be calculated using
,
u _{θ} = ^{∂}^{u} ∂θ ,
v _{r} = ^{∂}^{v} ∂r ,
f ^{} (re ^{i}^{θ} ) = e ^{−}^{i}^{θ} (u _{r} + iv _{r} ) =
_{e} −iθ
_{r}
v _{θ} = ^{∂}^{v} ∂θ ^{.}
(v _{θ} − iu _{θ} ).
Example 2.40. Use the polar form of the CauchyRiemann equations to show that
is an entire function and that
Solution:
f(z) = z ^{1}^{0}
f ^{} (z) = 10z ^{9} .
14
3. Elementary Functions
Fundamentals of Complex Analysis: Sections 3.2  3.3, 3.5
3.1. Exponential Function. The complex exponential function e ^{z} is deﬁned by
e ^{x} (cos(y) + i sin(y))
e ^{x}^{+}^{i}^{y} =
for all x, y ∈ R.
(3.1)
The following properties satisﬁed the function (3.1) justify calling it the complex exponential function.
Proposition 3.1.
(i)
(ii)
On the real axis, the complex exponential e ^{z} reduces to the standard exponential function, i.e.
_{e} x+iy ^{} ^{} _{y}_{=}_{0} = e ^{x}
for all x ∈ R.
On the imaginary axis, the complex exponential reduces to the Euler Identity, i.e.
_{e} x+iy ^{}
^{} _{x}_{=}_{0} = cos(y) + i sin(y)
for all y ∈ R.
(iii) The complex exponential is an entire function and its derivative is given by
(iv)
(v)
(e ^{z} ) ^{} = e ^{z}
e ^{w}^{+}^{z} = e ^{w} e ^{z}
e ^{x}^{+}^{i}^{y}  = e ^{x}
for all z ∈ C.
for all w, z
∈ C.
for all x, y ∈ R.
Proof. Statements (i) and (ii) are obvious, and we will only (iii). The proof of statements (iv)
and (v) are for homework.
The next example will give some practice in manipulating the complex exponential.
Example 3.2. Find all solutions of e ^{z} = 1.
Solution:
Example 3.3. Show that e ^{z} = e ^{w} if and only if z = w + 2ikπ for k ∈ Z.
Solution:
3.2. Trigonometric Functions. The complex sine and cosine functions are deﬁned by the
following formulas
Proposition 3.4.
1
sin(z) = _{2}_{i} ^{} e ^{i}^{z} − e ^{−}^{i}^{z} ^{} ,
and
cos(z) =
1
2 ^{} _{e} iz _{+} _{e} −iz ^{} _{.}
(i) 
The complex trigonometric functions cos(z) and sin(z) are entire, and 

cos ^{} (z) = − sin(z) 
and 
sin ^{} (z) = cos(z). 

(ii) 
For all w, z ∈ C, the following identities are satisﬁed: 
cos(z ± w) = cos(z) cos(w) ∓ sin(z) sin(w)
sin(z ± w) = sin(z) cos(w) ± sin(w) cos(z)
and
cos ^{2} (z) + sin ^{2} (z) = 1.
Proof. (Hw: Prove statements (i) and (ii)).
3. ELEMENTARY FUNCTIONS
15
The next example will give us practice with manipulating the complex trigonometric functions.
Example 3.5. Show that sin(z) = 0 if and only if z = kπ for k ∈ Z.(Hw: Show that cos(z) = 0 if and only if z = (k + 1/2)π for k ∈ Z.
Solution:
We also deﬁne the other complex trigonometric functions in exactly the same way as in the real case:
tan(z
Molto più che documenti.
Scopri tutto ciò che Scribd ha da offrire, inclusi libri e audiolibri dei maggiori editori.
Annulla in qualsiasi momento.