Complex Functions
Complex Functions
Dr. T. Phaneendra
Contents
1
Differentiability
Analytic Functions
School
10
The set C of all complex numbers consists of all ordered pairs z = (x, y) of real
numbers, where x and y are called the real and imaginary parts of z.
Given two complex numbers z1 = (x1 , y1 ) and z2 = (x2 , y2 ), we have
sum
z1 + z2 = (x1 + x2 , y1 + y2 ),
product z1 z2 = (x1 x2 y1 y2 , x1 y2 + x2 y1 ).
We identify R with a subset of C through the one-to-one correspondence x
(x, 0). This preserves sums and products. Thus for any real x, we write x =
(x, 0). Set i = (0, 1). Then z = (x, y) =
(x, 0) + (0, 1)(y, 0) = x + iy, and
i2 = (0, 1)(0, 1) = (1, 0) = 1 so that i = 1, which is called the imaginary
unit.
If z = (x, y) 6= (0, 0), its inverse is
y
x
,
w=
.
x2 + y 2
x2 + y 2
The modulus or magnitude of a complex number z = (x, y) is given by |z| =
1
x2 + y 2 2 .
Given z = (x, y) = x + iy C, its conjugate is z = x iy.
Properties of Modulus:
z z = |z|2
z
1
z
z
|z|2
=1
z
|z|2
for all z 6= 0
and
= tan1
y
.
x
Note that r is the usual magnitude of z and is called an argument or phase of z
and is denoted by the symbol arg(z). If
z = r cos + ir sin ,
then r cos( + 2n) + r sin( + 2n) = r cos + ir sin = z. Therefore arg is a
many-valued relation but not a function. The value of (, ] is called the
principal argument Arg(z) of z.
Note that arg(z1 z2 ) = arg(z1 )+arg(z2 for any two complex numbers z1 and z2 .
Each complex number z is represented as a point P (x, y) in the XY-plane and
vice versa. The X-axis representing the points of the form (x, 0) is called the
real axis, and the Y-axis representing the points of the form (0, y) is called the
imaginary axis. The distance OP of P from the orogin O = (0, 0) is the modulus
|z| of z and arg(z) is the angle made by the radius vector OP at O with the
positive real axis OX in the positive (anticlockwise) direction. The XY-plane is
called the Argand plane or complex plane.
Addition and Subtraction of complex numbers are easier in the Cartesian form,
while multiplication, division, powers and roots are easier to handle in polar
form.
f (z)
g(z)
A
B,
if B 6= 0.
Theorem 3.2. If f (z) and g(z) are continuous at z0 , then so are f (z) g(z) and
(z)
f (z)g(z). The quotient fg(z)
is also continuous at z0 provided g(z0 ) 6= 0.
Definition 3.3. A path is a continuous function : [a, b] C. Here, a, b R
with a b. A closed path is one that ends on its starting point ((b) = (a)). A
path in a subset S of C is a continuous function : [a, b] S (that is, a path
whose range is a subset of C). A set S Cis path-connected if for any z1 , z2 S,
there exists a path in S such that (a) = z1 and (b) = z2 .
4
Differentiability
First, we have
Definition 4.1. Let S C be a path-connected open set and z0 S. We say
that f : S C is differentiable at z0 ) if
f 0 (z0 ) = lim
zz0
f (z0 + z) f (z0 )
f (z) f (z0 )
= lim
,
z0
z z0
z
d n
dz z
Solution. We have
nz n1 z +
(z + z)n z n
=
z
n(n1) n2
z
(z)2
2
+ + (z)n
Thus
d n
n(n 1) n2
z = lim nz n1 +
z
z + + (z)n1 = nz n1 .
z0
dz
2
Theorem 4.1. If f and g are differentiable at z, then
(a) (f g)0 (z) = f 0 (z) g 0 (z)
(b) (cf )0 (z) = cf 0 (z) for any constant c
(c) (f g)0 (z) = f (z)g 0 (z) + f 0 (z)g(z)
0
0
(z)g 0 (z)
if g(z) 6= 0
(d) fg (z) = g(z)f (z)f
g(z)2
(e) If g is differentiable at z and f is differentiable at g(z), then
d
f (g(z)) = f 0 (g(z))g 0 (z)
dz
Theorem 4.2. If f (z) is differentiable at z0 , then f will be continuous at that point.
Converse of this theorem is not true.
Cauchy-Riemann Equations
Suppose that f (z) = u(x, y) + iv(x, y) is differentiable at a point z0 = (x0 , y0 ).
u u v v
Then all the four partial derivatives
,
,
,
exist at (x0 , y0 ), and satisfy
x y x y
the Cauchy-Riemann equations
u
v u
v
=
,
=
at z0 .
x
y y
x
5
(4.1)
f 0 (z0 ) =
(4.2)
(4.3)
Proof. Let z = z0 + h, h R.
f (z) f (z0 )
u(z) u(z0 ) + iv(z) v(z0 )
=
z z0
h
u(x0 + h + iy0 ) u(x0 + iy0 )
=
h
v(x0 + h + iy0 ) v(x0 + iy0 )
+i
.
h
As h approaches 0,
f (z) f (z0 )
ux (x0 + iy0 ) + ivx (x0 + iy0 ) = f 0 (z0 ).
z z0
L = lim
y0
x
= 0.
iy
v
= 2y,
y
u
= 1,
y
v
= 1.
x
Hence the Cauchy-Riemann equations are not satisfied and f (z) is nowhere
differentiable.
Exercises
Show that each of the following functions is nowhere differentiable:
(a) z = x iy, eiz = ey+ix , eiz
(b) 2x + ixy 2
Hint. In each case show that the Cauchy-Riemann equations (4.1) are not satisfied at each point z of the complex plane.
Sufficient Conditions for Differentiability
Though the Cauchy-Riemann equations are satisfied at a point, the function f
may not be differentiable at that point. In other words, (4.1) are not sufficient
for f to be differentiable at a point.
Example 4.4. Consider
3
3
2
3
2
y 3x2 y
z = z = x 3xy
+i
if z =
6 0
z
|z|2
x2 + y 2
x2 + y 2
f (z) =
0,
if z = 0.
Then
u(x, 0) u(0, 0)
u
(0, 0) = lim
= lim
x0
x0
x
x0
x3 0
x2 +0
!
= 1.
u
v
v
(0, 0) = 0,
= 0 and
(0, 0) = 1. Thus the Cauchy-Riemann
y
x
y
equations hold good at the origin.
Similarly,
f (z) f (0)
z2
= 2.
z0
z
Along the line y = mx: z = (1 + im)x so that x 0 as z 0, and
Let L =
L=
(1 im)2
(1 + im)2
(1 im)2
(1 im)2
=
x0 (1 + im)2
(1 + im)2
lim L = lim
z0
Exercises
Show that each of the following functions f (z) is continuous and satisfies the
Cauchy Riemann equations at the origin but f 0 (0) does not exist:
2
xy (x + iy) , z 6= 0
(a) f (z) =
x2 + y 4
0,
z=0
Hint. Choose the path of approach x = my 2 as z 0 for f 0 (0) = mm
2 +1
2 5
x y (x + iy) , z 6= 0
(b) f (z) =
x4 + y 10
0,
z=0
Hint. Choose the path of approach x = my 5 as z 0 for f 0 (0) = +
3
x y(y ix) , z 6= 0
(c) f (z) =
x6 + y 2
0,
z=0
Hint. Choose the path of approach y = mx3 as z 0 for f 0 (0)
3
3
3
3
x y + i x + y
, z 6= 0
x2 + y 2
(d) f (z) = x2 + y 2
0,
z=0
Hint. Choose the path of approach along the real and imaginary axes or
y = mx as z 0 for f 0 (0)
3 2
x y
, z 6= 0
2
(e) f (z) = (x + y 2 )2
0,
z=0
Hint. Choose the path of approach y = mx as z 0 for f 0 (0)
zRe (z)
, z 6= 0
(f ) f (z) =
z
0,
z=0
The sufficient conditions for differentiability of a complex function are given
by
u u v
v
,
,
and
are continuous
x y x
y
v
u
+i
= 3x2 3y 2 + i(6xy) = 3z 2 .
x
x
(4.4)
(4.5)
Functions which are differentiable at every point of the (finite) complex plane
are called entire functions.
Example 4.6. Using the polar Cauchy-Riemann equations (4.4)-(4.5), show that
f (z) = z n is differentiable throughout the complex plane for n 1.
Solution. Let z = rei . Then z n = rn (cos n + i sin n).
u
= nrn1 cos n,
r
v
= nrn1 sin n,
r
u
= rn sin n
u
= rn cos n.
Exercises
1. Show that each of the following functions f (z) is entire and find the
derivative at each point z of the complex plane:
(a) iz + 2 = (2 y) + ix
(b) (3x + y) + i(3y x)
(c) ez = ex (cos y + i sin y), ez = ex (cos y i sin y)
(d) cos x cosh y i sin x sinh y
Hint. In each case verify that the Cauchy-Riemann equations (4.1) hold
u u v v
good and the first order partial derivatives
,
,
,
are continux y x y
ous at each point z of the complex plane.
Analytic Functions
Let S C. A function f is said to be analytic at a point z0 S if it is differentiable at every point of some neighborhood of z0 . A function w = f (z) is
analytic on S if and only if it is analytic at every point of S.
Remember:
(a) If f is analytic at a point, then it is differentiable at that point. But the
converse is not true, that is differentiability of f at a point does not imply
its analyticity at that point.
(b) Everywhere differentiable functions are everywhere analytic and vice
versa.
(c) Nowhere differentiable functions are nowhere analytic but the converse
is not true. In fact, there are functions which are differentiable at a point
but are nowhere analytic.
A point at which a function f (z) is not analytic is its point of singularity or singularity.
Example 5.1. Consider f (z) = |z|2 = x2 + y 2 for all z = (x, y) C. Then
ux
u
u
v
v
= 2x, uy
= 2y, vx
= 0, vy
= 0,
x
y
x
y
only if x = 0 = y.
That is, the CR-equations are satisfied at z = (0, 0) only. Thus f is differentiable
only at z = 0 but not in any of its neighborhoods. That is f is not analytic at 0.
Also at the points z 6= 0, the CR-equations fail to hold good. As such f is not
differentiable and hence not analytic at z = 0. Thus f is nowhere analytic.
10
u
v
u
v
= 2xy 2 , uy
= 2x2 y, vx
= 0, vy
= 0,
x
y
x
y
only if x = 0 or y = 0.
That is, the CR-equations are satisfied at all points on the coordinate axes, at
which f will be differentiable. But there is no neighborhood of any of the points
on the axes in which f is differentiable. Hence it is nowhere analytic.
Exercises
1. Determine the constants such that each of the following functions is entire:
(a) x + ay i(bx + cy); a, b, c
(b) ax2 by 2 + i(cxy); a, b, c
(c) (3x + y) + i(3y x); a, b, c
(d) ex [cos ay + i sin(y + b)] + c; a, b, c
(e) x2 + axy + by 2 + i(cx2 + dxy + y 2 ); a, b, c, d
(f ) 3x y + 5 + i(ax + by 3); a, b
px
1
1
2
2
; p
(g) log(x + y ) + +i tan
2
y
Hint. Employ the Cauchy Riemann equations.
2. Show that each of the following functions is differentiable only at the
origin but nowhere analytic:
(a) z 2 z = z z2 , zImz
2
f = u + iv is analytic
if = v + iu is analytic
u is a hamonic conjugate of v.
d =
dx +
dy =
dx +
dy
x
y
y
x
and then integrate. The analytic function with real part is then given by
f = + i.
Milne-Thomson method
Given a harmonic function (x, y), to determine an analytic function f with
the real part ,
write f 0 (z) =
(x, y)
(x, y)
i
,
x
y
Exercises
1. Given a harmonic function u u(x, y), determine its harmonic conjugate
v v(x, y) and the analytic function f (z) = u + iv:
(a) cos x cosh y
(b) y + ex cos y; e2xy sin(x2 y 2 ); ex
2
y 2
cos(2xy)
(d)
2. Without finding the real part u, determine the analytic function f (z) whose
imaginary part v v(x, y) is:
(a) ex (x sin y + y cos y)
xy
(b) 2
x + y2
3. Determine the analytic function f (z) = u + iv where u and v satisy the
following relations:
(a) u v =
cos x + sin x ey
2(cos x cosh y)
13
(5.2)
Also since the flow is incompressible, the divergence of the velocity field is
zero, that is div F = 0. Using (5.2) in this, we get
div F = == 0
or
2 =
2 2
+
=0
x2
y 2
(5.3)
p
x2 + y 2 .
The flow may be interpreted as the flow in a channel bounded by the positive
coordinates axes and a hyperbola, say, xy = 1. The speed along a streamline
has a minimum at a point where the cross section of the channel is large.
Exercises
1. Given the velocity potential = 3x2 y y 3 of a fluid flow, determine its
the stream function and hence the complex potential f (z) = + i.
14
x2
15