Functions of A Complex Variable
Functions of A Complex Variable
Functions of a
Complex Variable
z1 x1 iy1
Division:
z2 x2 iy2
z1 z2 z1 z2 .
Moreover, we have the additional three properties
z1 z1
z1 2 z2 z1 2 z2 , z1z2 z1z2 , a b .
z2 z2
The definitions of addition and multiplication show that the sum and pro
number z and its conjugate z are also real numbers:
z z (x iy) (x iy) 2x
zz (x iy)(x iy) x2 i2y2 x2 y2.
The difference between a complex number z and its conjugate z is a pure im
z z (x iy) (x iy) 2iy.
Since x Re(z) and y Im(z), (1) and (3) yield two useful formulas:
zz z2z
Re(z) and Im(z) .
2 2i
10 2 24i 5 6
2 i.
52 26 13
1 1 2 3i 2 3i 2 3
(b) i.
2 2 3i 2 2 3i 2 3i 49 13 13
y
z = x + iy
Geometric Interpretation A complex number z x iy is uniquely determ
ordered pair of real numbers (x, y). The first and second entries of the ordered pairs c
in turn, with the real and imaginary parts of the complex number. For example, the o
(2, 3) corresponds to the complex number z 2 3i. Conversely, z 2 3i dete
ordered pair (2, 3). In this manner we are able to associate a complex number z x
x
a point (x, y) in a coordinate plane. But, as we saw in Section 7.1, an ordered pair of rea
can be interpreted as the components of a vector. Thus, a complex number z x
be viewed as a vector whose initial point is the origin and whose terminal point is
FIGURE 17.1.1 z as a position vector coordinate plane illustrated in FIGURE 17.1.1 is called the complex plane or simply the z-
horizontal or x-axis is called the real axis and the vertical or y-axis is called the imagi
The length of a vector z, or the distance from the origin to the point (x, y), is clearly "
This real number is given a special name.
y
z1 + z2 As FIGURE 17.1.2 shows, the sum of the vectors z1 and z2 is the vector z1 z2. For t
given in the figure, we know that the length of the side of the triangle corresponding to
z1 z1 z2 cannot be longer than the sum of the remaining two sides. In symbols this is
z1
z1
and arg(z1z2) arg z1 arg z2, arga b arg z1 arg z2.
z2
z1 i "3 1
z1z2 i(1 2 "3i ) "3 i and
z2 1 2 "3i 4 4
p p
(1 2 "3i)3 23 c cos a3a b b i sin a3a b b d
3 3
u 2kp u 2kp
wk r 1>n c cos a b i sin a bd,
n n
where k 0, 1, 2, . . ., n 1.
25p 25p
k 3, w3 ( "2)1>4 ccos i sin d 0.2127 2 1.0
16 16
|z – z0| = ρ Zz z0 Z r,
FIGURE 17.3.1 Circle of radius r r 0, lie on a circle of radius r centered at the point z0. See FIGURE 17.3.1.
EXAMPLE 1 Circles
(a) ZzZ 1 is the equation of a unit circle centered at the origin.
(b) Zz 1 2i Z 5 is the equation of a circle of radius 5 centered at 1 2i.
The points z satisfying the inequality Zz z0 Z r, r 0, lie within, but not on,
radius r centered at the point z0. This set is called a neighborhood of z0 or an ope
z0
point z0 is said to be an interior point of a set S of the complex plane if there exists so
borhood of z0 that lies entirely within S. If every point z of a set S is an interior poin
said to be an open set. See FIGURE 17.3.2. For example, the inequality Re(z) 1 defi
FIGURE 17.3.2 Open set half-plane, which is an open set. All complex numbers z x iy for which x 1
set. If we choose, for example, z0 1.1 2i, then a neighborhood of z0 lying entirel
is defined by Zz (1.1 2i)Z 0.05. See FIGURE 17.3.3. On the other hand, the set S o
the complex plane defined by Re(z) 1 is not open, since every neighborhood of a p
line x 1 must contain points in S and points not in S. See FIGURE 17.3.4.
y y
in S
not in S
z = 1.1 + 2i
x
x=1 x=1
FIGURE 17.3.3 Open set magnified view FIGURE 17.3.4 Set S is not open
of a point near x 1
r1 Zz z0 Z r 2,
such as illustrated in Figure 17.3.5(d), is called an open annulus.
If every neighborhood of a point z0 contains at least one point that is in
one point that is not in S, then z0 is said to be a boundary point of S. The b
z2
is the set of all boundary points of S. For the set of points defined by Re(z)
the line x 1 are boundary points. The points on the circle Z z i Z 2 are
the disk Z z i Z 2.
z1
If any pair of points z1 and z2 in an open set S can be connected by a pol
entirely in the set, then the open set S is said to be connected. See FIGURE 17.3.6
set is called a domain. All the open sets in Figure 17.3.5 are connected and
set of numbers satisfying Re(z) 4 is an open set but is not connected, sin
to join points on either side of the vertical line x 4 by a polygonal line wit
FIGURE 17.3.6 Connected set (bear in mind that the points on x 4 are not in the set).
A region is a domain in the complex plane with all, some, or none of i
Since an open connected set does not contain any boundary points, it is auto
A region containing all its boundary points is said to be closed. The disk de
is an example of a closed region and is referred to as a closed disk. A region m
nor closed; the annular region defined by 1 Zz 5 Z 3 contains only so
points and so is neither open nor closed.
REMARKS
Often in mathematics the same word is used in entirely different contexts. D
concept of “domain” defined in this section with the concept of the “doma
FIGURE 17.4.2 Image of x ⫽ 1 is a We shall pursue the idea of f (z) as a mapping in greater detail in Chapter
parabola It should be noted that a complex function is completely determined
functions u and v. This means a complex function w ⫽ f (z) can be defined by a
y u(x, y) and v(x, y), even though u ⫹ iv may not be obtainable through the famil
symbol z alone. For example, if u(x, y) ⫽ xy2 and v(x, y) ⫽ x2 ⫺ 4y3, then f (z)
is a function of a complex variable. To compute, say, f (3 ⫹ 2i), we substitu
into u and v to obtain f (3 ⫹ 2i) ⫽ 12 ⫺ 23i.
EXAMPLE 2 Streamlines
Find the streamlines of the flows associated with the complex function
(b) f2(z) ⫽ z2.
SOLUTION (a) The streamlines corresponding to f1(z) ⫽ x ⫺ iy satisfy
dx
FIGURE 17.4.4 f2(z) ⫽ z 2 (normalized) ⫽x
dt
dy
⫽ ⫺y
dt
and so x(t) ⫽ c1et and y(t) ⫽ c2e⫺t. By multiplying these two parametri
that the point x(t) ⫹ iy(t) lies on the hyperbola xy ⫽ c1c2.
(b) To find the streamlines corresponding to f2(z) ⫽ (x2 ⫺ y2) ⫹ i 2xy, note
dy/dt ⫽ 2xy, and so
dy 2xy
⫽ 2 .
dx x 2 y2
This homogeneous differential equation has the solution x2 ⫹ y2 ⫽ c2 y,
family of circles that have centers on the y-axis and pass through the orig
f (z) L1
(iii) lim , L2 0.
zSz0 g(z) L2
Moreover, the rules of differentiation are the same as in the calculus of real
are differentiable at a point z, and c is a complex constant, then
d d
Constant Rules: c 0, cf (z) c f 9(z)
dz dz
d
Sum Rule: f f (z) g(z)g f 9(z) g9(z)
dz
d
Product Rule: f f (z)g(z)g f (z)g9(z) g(z) f 9(z)
dz
d f (z) g(z) f 9(z) 2 f (z)g9(z)
Quotient Rule: c d
dz g(z) fg(z)g 2
d
Chain Rule: f (g(z)) f 9(g(z))g9(z).
dz
The usual Power Rule for differentiation of powers of z is also valid:
d n
z nz n 2 1 , n an integer.
dz
f
In order for a complex function f to be differentiable at a point z0, lim
DzS0
must approach the same complex number from any direction. Thus in th
variables, to require the differentiability of a function is a greater demand th
If a complex function is made up, such as f (z) x 4iy, there is a good
differentiable.
REMARKS
Recall from algebra that a number c is a zero of a polynomial function if and only
is a factor of f (x). The same result holds in complex analysis. For examp
f (z) z4 5z2 4 (z2 1)(z2 4), the zeros of f are i, i, 2i, and 2i
f (z) (z i)(z i)(z 2i)(z 2i). Moreover, the quadratic formula is also v
example, using this formula, we can write
f (z) z2 2z 2 (z (1 i))(z (1 i))
(z 1 i)(z 1 i).
See Problems 21 and 22 in Exercises 17.4.
Since this limit exists, z can approach zero from any convenient direction. In pa
z S 0 horizontally, then z x and so (3) becomes
Since f (z) exists, the two limits in (4) exist. But by definition the limits in (4) are the f
derivatives of u and v with respect to x. Thus, we have shown that
0u 0v
f 9(z) i .
0x 0x
0u 0v 0u 0v
2x 1 and 2y .
0x 0y 0y 0x
we see that 0u/0y 0v/0x but that the equality 0u/0x 0v/0y is satisfied only o
y 2x. However, for any point z on the line, there is no neighborhood or open disk
which f is differentiable. We conclude that f is nowhere analytic.
The results in (5) and (7) were obtained under the basic assumption that
at the point z. In other words, (5) and (7) give us a formula for computing f
0u 0v 0v 0u
f 9(z) i 2i .
0x 0x 0y 0y
For example, we know that f (z) z2 is differentiable for all z. With u(x, y)
v(x, y) 2xy, and 0v/0x 2y, we see that
f (z) 2x i2y 2(x iy) 2z.
Recall that analyticity implies differentiability but not vice versa. Theorem 17
that gives sufficient conditions for differentiability:
If the real-valued functions u(x, y) and v(x, y) are continuous and have
order partial derivatives in a neighborhood of z, and if u and v satisfy the C
equations at the point z, then the complex function f (z) u(x, y) iv(x, y)
at z and f (z) is given by (8).
INTRODUCTION In this and the next section, we shall examine the expon
trigonometric, and hyperbolic functions of a complex variable z. Althoug
these complex functions are motivated by their real variable analogues, the
complex functions will yield some surprises.
e iy a
q (iy)k (iy)2 (iy)3 (iy)4
1 iy p
k 0 k! 2! 3! 4!
cos y i sin y.
For z x iy, it is natural to expect that
e xiy e xe iy
The exponential function ez is also denoted by the symbol exp z. Note that (3) reduces
y 0.
The real and imaginary parts of e z, u(x, y) e x cos y and v(x, y) e x sin y, are c
and have continuous first partial derivatives at every point z of the complex plane. Mo
Cauchy–Riemann equations are satisfied at all points of the complex plane:
0u 0v 0u 0v
e x cos y and e x sin y .
0x 0y 0y 0x
It follows from Theorem 17.5.2 that f (z) e z is analytic for all z; in other words, f i
function.
Properties We shall now demonstrate that e z possesses the two desired prope
in (1). First, the derivative of f is given by (5) of Section 17.5:
f (z) e x cos y i(e x sin y) e x (cos y i sin y) f (z).
–3π i e z1
⫽ e z1 2 z2.
e z2
FIGURE 17.6.1 Values of f (z) ⫽ e z at the
four points are the same Periodicity Unlike the real function ex, the complex function f (z) ⫽
the complex period 2pi. Since e2pi ⫽ cos 2p ⫹ i sin 2p ⫽ 1 and, in view of (4)
for all z, it follows that f (z ⫹ 2pi) ⫽ f (z). Because of this complex perio
y
functional values of f (z) ⫽ ez are assumed in any infinite horizontal strip
πi if we divide the complex plane into horizontal strips defined by (2n ⫺ 1)p
n ⫽ 0, ⫾1, ⫾2, . . ., then, as shown in FIGURE 17.6.1, for any point z in the stri
values f (z), f (z ⫹ 2pi), f (z ⫺ 2pi), f (z ⫹ 4pi), and so on, are the same. The
is called the fundamental region for the exponential function f (z) ⫽ ez. The
x over the fundamental region is shown in FIGURE 17.6.2.
FIGURE 17.6.2 Flow over the fundamental For example, in polar form z ⫽ 1 ⫹ i is z ⫽ "2e pi>4 .
region
Circuits In applying mathematics, mathematicians and engineers often
problem in completely different ways. Consider, for example, the solutio
Section 3.8. In this example we used strictly real analysis to find the steady-
an LRC-series circuit described by the differential equation
d 2q dq 1
L 2
⫹R ⫹ q ⫽ E0 sin gt.
dt dt C
Electrical engineers often solve circuit problems such as this using com
illustrate, let us first denote the imaginary unit !⫺1 by the symbol j to av
the current i. Since current i is related to charge q by i ⫽ dq/dt, the differen
same as
di 1
L ⫹ Ri ⫹ q ⫽ E0 sin gt.
dt C
1 E0
a jLg ⫹ R ⫹ b A ⫽ E0 gives A ⫽
jCg 1
R ⫹ j aLg 2
Cg
E0 ju jgt
ip(t) Im e e .
ZZZ
The reader is encouraged to verify that this last expression is the same as (35) in Sec
w ln z if z ew.
In (5) we note that ln z is not defined for z 0, since there is no value of w for which
find the real and imaginary parts of ln z , we write w u iv and use (3) and (5):
The last equality implies x eu cos v and y eu sin v. We can solve these two equa
and v. First, by squaring and adding the equations, we find
where loge ZzZ denotes the real natural logarithm of the modulus of z. Second, to solv
divide the two equations to obtain
y
tan v .
x
This last equation means that v is an argument of z; that is, v u arg z. But sin
no unique argument of a given complex number z x iy, if u is an argument of z
u 2np, n 0, 1, 2, . . . .
As is clearly indicated in (6), there are infinitely many values of the loga
complex number z. This should not be any great surprise since the exponentia
is periodic.
In real calculus, logarithms of negative numbers are not defined. As the next ex
show, this is not the case in complex calculus.
p p
z log e2 ia 2npb or z 0.6931 ia 2np
6 6
z1
ln a b ⫽ ln(⫺1) ⫽ ln z1 ⫺ ln z2 ⫽ 2pi ⫺ pi ⫽ pi.
z2
Just as (7) of Section 17.2 was not valid when arg z was replaced with Arg z , so
not true, in general, when ln z is replaced by Ln z. See Problems 45 and 46 in Exerci
y
Analyticity The logarithmic function f (z) ⫽ Ln z is not continuous at z ⫽ 0 si
branch not defined. Moreover, f (z) ⫽ Ln z is discontinuous at all points of the negative real
cut is because the imaginary part of the function, v ⫽ Arg z, is discontinuous only at th
To see this, suppose x0 is a point on the negative real axis. As z S x0 from the upper
x
Arg z S p, whereas if z S x0 from the lower half-plane, then Arg z S ⫺p. This m
f (z) ⫽ Ln z is not analytic on the nonpositive real axis. However, f (z) ⫽ Ln z is analytic
the domain D consisting of all the points in the complex plane except those on the n
real axis. It is convenient to think of D as the complex plane from which the nonpo
axis has been cut out. Since f (z) ⫽ Ln z is the principal branch of ln z, the nonpositiv
FIGURE 17.6.3 Branch cut for Ln z is referred to as a branch cut for the function. See FIGURE 17.6.3. It is left as exercis
that the Cauchy–Riemann equations are satisfied throughout this cut plane and that
y tive of Ln z is given by
d 1
Ln z ⫽
dz z
for all z in D.
i FIGURE 17.6.4 shows w ⫽ Ln z as a flow. Note that the vector field is not continuou
x branch cut.
e2 ln z ⫽ e 2 (loger ⫹ iu) ⫽ e 2 loger ⫹ 2iu ⫽ e 2 loger e2iu ⫽ r 2 eiueiu ⫽ (reiu )(reiu ) ⫽ z2.
If we use Ln z in place of ln z, then (10) gives the principal value of z a.
Derivatives Since (d/dz)ez ez, it follows from the Chain Rule that (d/dz)eiz
(d /dz)eiz ieiz. Hence,
d d e iz 2 eiz e iz eiz
sin z cos z.
dz dz 2i 2
In fact, it is readily shown that the forms of the derivatives of the complex trigonom
tions are the same as the real functions. We summarize the results:
d d
sin z cos z cos z sin z
dz dz
d d
tan z sec 2z cot z csc 2z
dz dz
d d
sec z sec z tan z csc z csc z cot z.
dz dz
Identities The familiar trigonometric identities are also the same in the comp
sin(z) sin z cos(z) cos z
cos2z sin2z 1
sin(z1 z2) sin z1 cos z2 cos z1 sin z2
cos(z1 z2) cos z1 cos z2 sin z1 sin z2
sin 2z 2 sin z cos z cos 2z cos2z sin2z.
Zeros To find the zeros of sin z and cos z we need to express both functions i
u iv. Before proceeding, recall from calculus that if y is real, then the hyperboli
hyperbolic cosine are defined in terms of the real exponential functions ey and ey:
e y 2 ey e y ey
sinh y and cosh y .
2 2
Now from Definition 17.7.1 and Euler’s formula we find, after simplifying,
e i(x iy) 2 ei(x iy) e y ey e y 2 ey
sin z sin x a b i cos x a b.
2i 2 2
e2iz 20e iz 1 0.
From the quadratic formula we find eiz 10 3 !11. Thus, for n
have iz loge(10 3 !11) 2npi. Dividing by i and utilizing lo
loge(10 3 "11), we can express the solutions of the given equa
i loge(10 3 "11).
Answer Problems 1–16 without referring back to the text. Fill in 26. Let z and w be complex numbers such tha
the blank or answer true/false. Prove that
10 10
1. Re(1 i ) _____ and Im(1 i ) _____. z2w
2 2 1.
2. If z is a point in the third quadrant, then iz is in the _____ 1 2 zw
quadrant.
z In Problems 27 and 28, find all solutions of th
3. If z 3 4i, then Re a b _____.
z
27. z4 1 i 28. z 3>2
4. i127 5i 9 2i1 _____ 2
4i
5. If z , then |z| _____. 29. If f (z) z24 3z20 4z12 5z6, find f
3 2 4i
6. Describe the region defined by 1 |z 2| 3. _____ 30. Write f (z) Im(z 3z) z Re(z 2 )
7. Arg(z z) 0 _____ f (z) u(x, y) iv(x, y).
5
8. If z , then Arg z _____. In Problems 31 and 32, find the image of the
"3 i w-plane under the given mapping.
9. If ez 2i, then z _____.
10. If |ez| 1, then z is a pure imaginary number. _____ 31. f (z) x2 y i ( y2 x)
11. The principal value of (1 i)(2i) is _____. 1
32. f (z)
12. If f (z) x 2 3xy 5y 3 i(4x 2y 4x 7y), then z
f (1 2i) _____.
13. If the Cauchy–Riemann equations are satisfied at a point, then In Problems 33–36, find all complex numbers
the function is necessarily analytic there. _____ given statement is true.
14. f (z) e z is periodic with period _____. 1
15. Ln(ie3) _____ 33. z z1 34. z
z
16. f (z) sin(x iy) is nowhere analytic. _____
35. z z 36. z ( z )2
2
In Problems 17–20, write the given number in the form a ib. 37. Show that the function f (z) (2xy 5
32i 2 2 2i is analytic for all z. Find f (z).
17. i (2 3i)2 (4 2i) 18. 38. Determine whether the function
2 3i 1 5i
(1 2 i)10
19. 20. 4epi/3 epi/4 f (z) x3 xy2 4x i(4y
(1 i)3
In Problems 21–24, sketch the set of points in the complex plane is differentiable. Is it analytic?
satisfying the given inequality. In Problems 39 and 40, verify the given equal
2
21. Im(z ) 2 22. Im(z 5i) 3 39. Ln[(1 i)(1 i)] Ln(1 i) Ln(1
1
23. 1 24. Im(z) Re(z) 1i
ZzZ 40. Lna b Ln(1 i) Ln(1 i)
12i
25. Look up the definitions of conic sections in a calculus text.
Now describe the set of points in the complex plane that sat-
isfy the equation |z 2i| |z 2i| 5.
CHAPTER 17 in Re