Upload
josephshereni
View
221
Download
0
Embed Size (px)
Citation preview
7/31/2019 Documents and Settings Vc1 My Documents HIT HIT223 Eng Math
1/23
Chapter 1
Complex Variables
1.1 Introduction
Some basic denitions underlying Complex Analysis.
Denition 1.1.1 Set of points - any collection of points in the complex plane iscalled an aggregate or a set of points. each point is called a member or element of theset.
Denition 1.1.2 Neighbourhood of a point - Let |z zo| < , where zo is a given point and is a small positive number. Then the neighbourhood of zo consists of all points lying inside but not on a circle of radius with center at zo .
Denition 1.1.3 Limit point - a point zo is said to be the limit point of a set of points S in the Argand plane if every neighbourhood of zo contains points of set S other than zo . Thus, each point on the circumference of the circle |z| = r is a limit point of the set |z| < r and these limit points do not belong to the set. Thus, limit points of a set are not necessarily the points of the set. Accordingly, there are two types of limit points:
(a) Interior points - A limit point zo of the set S is an interior point if in the neigh-bourhood of zo there exists entirely the points or the set S .
(b) Boundary points - A limit point zo which is not an interior point is said to be a boundary point.
Denition 1.1.4 Bounded and unbounded sets - a set of points is said to bebounded if there exists a positive number k such that |z| k is satised for all pointsz of the set. If there does not exist such a number k , then the set is unbounded .
Denition 1.1.5 Open and Closed sets - a set containing entirely the inner pointsis called an open set. E.g., the set dened by |z| < r is an open set since it containsonly the inner points. But |z| r is a closed set.
Denition 1.1.6 Compact set - a closed and bounded set is called compact.
Denition 1.1.7 Convex or Connected set - an open set is said to be connected if every pair of its points can be joined by a nite number of straight line segments all of whose points belong to the set. For example, the set |z| < 1 is a connected set.
Denition 1.1.8 Domain - A connected open set is called an open region or domain.
vchikwasha Harare Institute of Technology
7/31/2019 Documents and Settings Vc1 My Documents HIT HIT223 Eng Math
2/23
Denition 1.1.9 Closed domain - The set obtained by adding to an open connected set its boundary points is called a closed domain or region.
Denition 1.1.10 Circular disk - the inequality |z zo| < represents the interior of a circle of radius with center zo . This region is called an open circular disk.The region given by |z zo| is called the closed circular disk.
1.2 Functions of a Complex VariableA complex variable is an ordered pair of real variables, that is,
z = ( x, y )= x + iy
Let z = x + iy and w = u + iv be two complex variables. If for each value of z in S (set of complex numbers) there corresponds one or more values of w in a well denedway, the w is said to be a function of z ; thus
w = f (z)
Examples : w = 1z
, w = z2, w = ez , etc.
If to each value of z , there corresponds only one value of w, then the function w(z) iscalled a single valued function.
r s r r s u
z1z2z3
---
w1w2w3
one-to-one mapping
If w(z) takes more than one value corresponding to a value of z , then w(z) is a multi-valued function of z . For example,
w = zIn this course we will concern ourselves with single valued functions.Suppose w = u + iv is the value of f at z = x = iy where x,y,u and v are real,
u + iv = f (x + iy ) f (z) = u (x, y ) + iv (x, y )
Example 1.2.1 If f (z) = z2,
u + iv = ( x + iy )2
= x 2 y2 + 2 ixy
u (x, y ) = x2 y2
and v (x, y ) = 2 xy
vchikwasha Harare Institute of Technology
7/31/2019 Documents and Settings Vc1 My Documents HIT HIT223 Eng Math
3/23
Exercise 1.2.1 Let z = x + iy . Find u (x, y ) and v(x, y ) if f (z) = ez .
Solution 1.2.1
ez = ex + iy
= ex (cos y + i sin y)
u (x, y ) = ex cos y and v (x, y ) = ex sin y
Now try the following exercise problems.
Practice Questions
Express the following in the form u(x, y ) + iv (x, y )
1. sin z 2. log z 3. cos z 4. z3 5. ez 6. z2 + 2 z
1.3 LimitsDenition 1.3.1 Let w = f (z) be a function of z dened at all points in some neigh-bourhood of zo . Then, the function f (z) is said to have a limit as z approaches zo if for every positive real number there exists a positive real number such that
|f (z) | < , z, z o , z = zoin the domain 0 < |z zo| < .
The limit of f (z) as z approaches zo is a number and is given by
limz z o
f (z) =
The evaluation of limits can be done using the following theorems on limits.
Theorem 1.3.1 If limz z o
f (z) = and limz z o
(z) = m , then
(i) limz z o
[f (z) + (z)] = + m
(ii) limz z o
[f (z)(z)] = m
(iii) limz z o
f (z)(z)
= m
, m = 0 .
Example 1.3.1 Find limz 1
z3 1z 1
.
HIT223 - 2009 vchikwasha Harare Institute of Technology
7/31/2019 Documents and Settings Vc1 My Documents HIT HIT223 Eng Math
4/23
Solution 1.3.1 since z = 1 , we have:
z3 1z 1
= z2 + z + 1
limz 1
z3 1z 1
= limz 1
(z2 + z + 1)
= 3
Theorem 1.3.2 Let f (z) = u (x, y ) + iv (x, y ), zo = x o + iy o and wo = u o + iv o. Then,the necessary and sufficient conditions that lim
z 0f (z) = wo are that
(i) lim(x,y ) (x o ,y o )
u (x, y ) = u o
(ii) lim(x,y ) (x o ,y o )
v(x, y ) = vo
From Theorem 1.3.2 we can evaluate Example 1.3.1 as follows:
limz 1z3
1
z 1 , as z 1, x 1 and y 0. Thus,z2 + z + 1 = ( x + iy )2 + ( x + iy ) + 1
= x 2 + x y2 + i(y + 2 xy ) + 1= ( x 2 + x y2 + 1) + i(y + 2 xy )
which tends to 3 as x 1 and y 0. Hence, limz 1z3 1z 1
= 3.
1.4 Continuity
Let f (z) be dened at all points of the complex plane and let z1 be a point of the plane.
Denition 1.4.1 The function f (z) is said to be continuous at z = z1 if for every positive number there exists another number such that
|f (z) f (z1)| < whenever |z z1| < If the point z1 is a limit point of the complex plane, then continuity of f (z) at z = z1means that
limz z 1
f (z) = f (z1)
A necessary and sufficient condition that f (z) = u (x, y ) + iv (x, y ) be continuous is thatthe real functions u (x, y ) and v(x, y ) should be continuous.
Denition 1.4.2 A function f (x, y ) of two independent real variables x and y is said to be continuous at point (x o , yo) if
vchikwasha Harare Institute of Technology
7/31/2019 Documents and Settings Vc1 My Documents HIT HIT223 Eng Math
5/23
(i) f (x o , yo) is nite
(ii) limx x oy y o
= f (x o , yo) in whatever way x x o and y yo.
Example 1.4.1 Given that
f (x, y ) =
x 3
y3
x 3 + y3 , x, y = 0
0 , x = y = 0
Discuss the continuity of f (x, y ) at (0,0).
Solution 1.4.1
lim(x,y ) (0 ,0)
x 3 y3x 3 + y3
= limx 0y 0
x 3 y3x 3 + y3
= limy 0
y3
y3= 1
and limx 0y 0
x 3 y3x 3 + y3
= limx 0
x 3
x 3= 1
Further, when y = mx
limx 0y 0
x 3 y3x 3 + y3
= limx 0
x 3 m 3x 3x 3 + m 3x 3
= 1 m 31 + m 3Since the limit is not unique, it follows that the function is not continuous at (0,0).
Another example!!
Example 1.4.2 Discuss the continuity of f (z) at z = 0 .
f (z) =
x 3
y3
x 2 + y2 +ix 3 + y3
x 2 + y2, z
= 0
0 , z = 0
We proceed as follows in investigating the continuity of f (z) at (0,0).
HIT223 - 2009 vchikwasha Harare Institute of Technology
7/31/2019 Documents and Settings Vc1 My Documents HIT HIT223 Eng Math
6/23
Solution 1.4.2 From f (z) we deduce that
u (x, y ) =x 3 y3x 2 + y2
v(x, y ) =x 3 + y3
x 2 + y2Now,
limx 0y 0
u (x, y ) = limy 0(y) = 0limy 0x 0
u (x, y ) = limx 0
(x ) = 0
Similarly,
lim(x,y ) 0
v(x, y ) = 0 in whatever way x and y 0.
Hence u (x, y ) and v(x, y ) are continuous at (0,0). It follows that f (z) is continuous at z = 0 .
1.5 Differentiability
As in the case of limits and continuity, the concept of differentiation of a function of acomplex variable is dened in the same way as the real variable case.
Denition 1.5.1 The derivative of the function f (z) at zo is f (z) and is given by
f (z) = limz z o
f (z) f (zo)z zo
= limh 0 f (zo + h ) f (zo)h , where h = z zo
Example 1.5.1 Find the derivative of z2 at z = zo .
Solution 1.5.1 We proceed as follows:
Let f (z) = z2
f (zo) = limh 0
(zo + h )2 z2oh
= limh 0
2hz o + h2
h= 2 zo
Example 1.5.2 Show that the derivative of f (z) = z does not exist anywhere.
vchikwasha Harare Institute of Technology
7/31/2019 Documents and Settings Vc1 My Documents HIT HIT223 Eng Math
7/23
Solution 1.5.2
f (z) = z = x iyf (z + z) = x + x i(y + y)
hencef (z + z) f (z)
z=
x i y x + i y
Now, lim x 0 y 0
x i y x + i y = lim y 0 i yi y = 1
and lim y 0 x 0
x i y x + i y
= lim x 0
x x
= 1
Since the limit is not unique, f (z) does not exist anywhere.
Theorem 1.5.1 If f (z) is differentiable at zo, then f (z) is continuous at z = zo .Let us show a little proof of the above theorem.
We have,
limz 0
[f (z) f (zo)] = limz 0f (z) f (zo)
z zo(z zo)
= limz 0
f (z) f (zo)z zo
limz 0
(z zo)= 0
Hence, limz 0
f (z) = f (zo), which shows that f (z) is continuous at z = zo .
1.5.1 Rules for differentiation
(i)d
dz[c1f (z) + c2(z)] = c1f
(z) + c2 (z), where c1 and c2 are complex constants.
(ii)d
dz[f (z)(z)] = f (z)(z) + f (z) (z).
(iii)d
dzf (z)(z)
=f (z)(z) f (z)
[(z)]2 , (z) = 0.
(iv)d
dzf ((z)) = f ((z))
(z)
1.6 Cauchy-Riemann equations
Let f (z) = u (x, y ) + iv (x, y ) be differentiable at zo = x o + iy o . Then the rst orderpartial derivatives of u and v with respect to x and y must exist at ( xo , yo) and must
HIT223 - 2009 vchikwasha Harare Institute of Technology
7/31/2019 Documents and Settings Vc1 My Documents HIT HIT223 Eng Math
8/23
satisfy the following equations.
ux
=vy
uy
= vx
Cauchy-Riemann Equations
Since the Cauchy-Riemann equations are only a necessary condition, they can be used
to locate points at which f
(z) does not exist.
Example 1.6.1 Show that the function dened by f (z) = |z| is not differentiable at the origin but is continuous everywhere.
Solution 1.6.1 Let f (z) = u + iv = |z| = x 2 + y2Thus, u = x 2 + y2, and v = 0Now,
ux =
x
x 2 + y2 ,uy =
y
x 2 + y2vx
= 0 ,vy
= 0
When x = 0 , and y = 0 we have
ux
= 0 =vy
and vx
= 0 , uy
= 0 .
Similarly, when x = 0 , and y = 0 we have
ux
= 0 ,vy
= 0
and uy
=vx
= 0
Finally, when x = y = 0 ,
x
u (0, 0) = limh 0
u (h, 0) u (0, 0)h = |h |h = 1which shows that the limit is not unique. Since the Cauchy-Riemann equations are alsonot satised at the origin, it follows that f (z) = |z| is not differentiable at the origin though its continuous everywhere.
vchikwasha Harare Institute of Technology
7/31/2019 Documents and Settings Vc1 My Documents HIT HIT223 Eng Math
9/23
Example 1.6.2 Determine whether or not the C-R equations are satised by the func-tion f (z0 = z2 3z .Solution 1.6.2 We rst express f (z) in terms of u and v. That is,
f (z) = 3x + x 2 y2 + i(3y + 2 xy )Thus, u (x, y ) = 3x + x 2 y2 and v(x, y ) = 3xy + 2 xy
Now you can verify that u
x =v
y , and u
y = v
x
Practice Questions
Verify whether the Cauchy-Rieman equations are satised in each of the following.
1. f (z) = 3 z2 3z + 1 2. f (z) = 1z 3. f (z) = |z| 4. f (z) = |z|2
5. f (z) =z 1z + 1
1.7 Analytic FunctionsA function f (z) is said to be analytic in the domain Dif it is differentiable at every pointin the domain D. Such a function is also called regular, holomorphic or monogenic.If a function f (z is analytic at each point in the entire nite plane, then f (z) is anentire function.If f(z) is not analytic at z = zo but is analytic at some point in the neighbourhood of zo , the z o is called a singular point or singualrity off .
(a) If two functions are analytic in a domain D, their sum and their product are bothanalytic inD(b) The quotient of two analytic functions is also analytic provided the function in
the denominator does not vanish at any point in D.
1.7.1 Harmonic Functions
Any function f which possesses continuous partial derivatives of the rst order andsecond order and satises the Laplace equation is called a harmonic function .
2f x 2
+ 2f y 2
= 0 Laplaces equation
If f (z) = u + iv is an analytic function, then the component functions u and v are bothharmonic functions.Since f is analytic, the rst order partial derivatives of u and v satisfy the C-R equa-tions.
ux
=vy
anduy
= vx
HIT223 - 2009 vchikwasha Harare Institute of Technology
7/31/2019 Documents and Settings Vc1 My Documents HIT HIT223 Eng Math
10/23
If we differentiate both sides of the equations with respect to x we obtain
2ux 2
= 2v
xyand
2uxy
= 2vx 2
..................... (1)
Differentiating with respect to y gives
2uyx
= 2v 2y
and 2uy 2
= 2v
yx..................... (2)
Since partial derivatives are continuous,
2uxy
= 2u
yxand
2vxy
= 2v
yx
Equating (1) and (2) gives us
2ux 2
+ 2uy 2
= 0 and 2vx 2
+ 2vy 2
= 0
which shows that u and v are harmonic.If two given functions are harmonic in the domain Dand their rst order partialderivatives satisfy C-R equations at every point of D, then v is a harmonic conjugateof u .
1.8 Complex Integration
Let Cbe a smooth curve in the complex z-plane having end points zo and zn . Letz1 , z2, z3, . . . , z n 1 be any arbitrary number of intermediate points which subdivide thecurve Cinto n arcs zoz1, z1z2, z2z3 , . . . , z n 1zn as shown in Figure 1.1.
Let 1, 2 , . . . , r , . . . , n be the points chosen on the curve Csuch that 1 lies on arczoz1, 2 lies on z1z2 , . . . , r lies on zr 1zr and so on.Let
S n =n
r =1
f (r ) zr , where zr = zr zr 1 .If the curve is divided into smaller and smaller parts so that n , | r | 0and is the summation tends to a unique limit , that is, independent of the choice of the intermediate points and the manner in which the subdivision is performed, the theunique limit S n is called the line integral (or denite integral ) of the complex functionf (z) taken along the curve Cbetween the points z o and zn and is denoted by
limn
S n = z nz o f (z) dzHere are some basic denitions you must be familiar with in dealing with complexintegrals:
vchikwasha Harare Institute of Technology
7/31/2019 Documents and Settings Vc1 My Documents HIT HIT223 Eng Math
11/23
-
6
p pq p p q
p q q
zo
z1
z2z3 . . . pzr
zn
zn 2
q p p1
2
3r
nzn 1
zr 1
p p p p q q rq
q p p p q p p p
p p p
p p p p
Figure 1.1
Continuous arc : a set of points z = ( x, y ) satisfyingz = x (t ) + iy (t ) t
where x (t ) and y(t ) are continuous functions of the real variable t .
Multiple points : a point z1 is a multiple point of the arc if the equationz1 = x (t ) + iy (t )
is satised by two or more values of t in the given range.
Jordan arc : a continuous arc having no multiple points.
Jordan Curve or Simple closed curve:
Given the continuous arc z = x (t ) + iy (t ) t , If x (t ) = ( ) andy( ) = y( ) and if there is no other multiple point on the continuous arc denedby z , then this continuous arc is a Jordan curve or a simple closed curve.The circle x = a cos t, y = a sin t (0 t 2 ) is a simple closed curve.
Contour : a curve composed of a chain of nite number of regular Jordan arcs.
Simply Connected and multiply Connected domains
A domain is simply connected if the interior of every closed contour in the domainconsists only the points of the domain.In general, a domain is said to be m -fold connected if its boundaries consist of mdistinct parts without common points.
HIT223 - 2009 vchikwasha Harare Institute of Technology
7/31/2019 Documents and Settings Vc1 My Documents HIT HIT223 Eng Math
12/23
"!# A A A A A A A &%
'$
simply connecteddoubly connected triply connected
@ @
@ @
@ @ @
@ @
@ @
@ @
@ @
@ @ @
@ @
@ @
@ @
@ @
@ @
@ @
@ @ @
@ @
@ @
@ @ @
@ @
@ @
@ @
@ @
@ @
1.8.1 Contour Integration
Let f (z) be dened from z = a to z = b. The the integral of f (z) from z = a to z = bis dened in terms of the values of f (z) at points along the contour Cextended fromz = a to z = b. Such an integral is called a line integral , its value depending uponthe choice of Cas well as upon f, a and b.
C f (z) dz = b
af (z) dz
dsds
Example 1.8.1 Find the integral of z2 along the contour Cwhere Cis given by z(s ) =s + is 2 , 0 s 1.Solution 1.8.1 From the denition of contour integration we have,
C z2 dz = C f (z) dzds dsNow, z(s ) = s + is 2 and
dzds
= 1 + 2 is
C z2 dz = 1
0(s + is 2)2(1 + 2 is )ds
= 10 (s 2 s 4 + 2 is 3)(1 + 2 is )ds= 10 (s 2 5s 4)ds + i
1
0(4s 3 2s 5)ds
=s 3
3 s5
1
0+ i s 4
s 6
3
1
0
=
2
3+ i
2
3Exercise 1.8.1 (a) Integrate C z2 dz where Cis the contour given by
z(s ) = 2s , 0 s 12 + i(s 1) , 1 s 2
vchikwasha Harare Institute of Technology
7/31/2019 Documents and Settings Vc1 My Documents HIT HIT223 Eng Math
13/23
(b) Evaluate C z2 dz where Cis the straight line joining the origin O to the point P (2, 1) on the complex plane.
1.8.2 Cauchys Integral Theorem
Theorem 1.8.1 If a function f (z) is analytic at all points inside and on a closed contour C, then
C f (z) dz = 0We need to prove Theorem 1.8.1 inorder to appreciate its usefulness in evaluatingcertain types of complex integrals. the proof is as follows.Proof: Let Rbe a closed region consisting of all points inside and on a closed contourCand let Cbe described in the counter clockwise sense.From Greens theorem, if P (x, y ), Q (x, y and their partial derivatives
P y
andQx
are
continuous single-valued functions over a closed region Rbounded by the curve C, then
C (P dx + Qdy ) = R Qx P y dxdyNow, let f (z) = u (x, y ) be analytic throughout Rin the z plane. Then dz = dx + idy .Thus,
R
f (z) dz = C
(u + iv )(dx + idy )
= C
(udx vdy ) + i C
(vdx + udy ) (1.1)
Since f (z) is analytic, f (z) exists in Rand then u and v and their rst partial deriva-tives are continuous in R.Applying Greens Theorem on the right-side of equation 1.1,
R
f (z) dz = R
vx
uy
dxdy + i R
ux
vy
dxdy
Since f (z) is analytic, the C-R equations must be satised.
ux
=vy
anduy
= vx
C f (z) dz = 0Example 1.8.2 Verify Cauchys theorem for the function f (z) = z where Cis thecircle |z| = 2 .HIT223 - 2009 vchikwasha Harare Institute of Technology
7/31/2019 Documents and Settings Vc1 My Documents HIT HIT223 Eng Math
14/23
Solution 1.8.2 We know that we can express z in polar form as z = re i . So, for
|z| = 2 we can write this function as z = 2 ei . Thus, if z = 2 ei , then dz = 2 ie i d .
C f (z) dz = 2
02ei 2ie i d
= 4 i 20 2ei d= 4 i
e2i
2i
2
0
= 2( e4i 1)= 2(cos 4 + i sin4 1)= 0
1.8.3 Cauchy Integral Formula
Consider the integral
I = C
1z a
dz (a = constant)
f (z) =1
z ais not analytic at z = a . This function is not dened at this point and
thus cannot posses a derivative.Let Cinvolved in this denition be a simple closed curve. If the point z = a is outsidethe curve, then Cauchys theorem holds and I = 0. That is,
C
1z a
dz = 0
If z = a is inside C, I = 0.Now, if Cis a circle of radius R centered at z = a , we evaluate the integral by settingz = a + Re i . Thus, dz = iRe i d .
I =2
0
1a + Re i a
iRe i d
=2
0
i d
I = 2 i
This is true for any simple closed path which encircles z = a .If f (z) is analytic inside and on a closed contour Cand zo is any point interior to C,then,
f (zo) =1
2i C
f (z)z zo
dz
vchikwasha Harare Institute of Technology
7/31/2019 Documents and Settings Vc1 My Documents HIT HIT223 Eng Math
15/23
Exercise 1.8.2 (i) Evaluate C
z2
z 2dz , Cbeing the circle |z| = 3 .
(ii) Show that C
z dz9 + 9 z z2 z3
= 14
i , Cbeing the circle |z| = 2 .
1.9 Derivatives of an Analytic Function
If f (z) is holomorphic in a region Dbounded by a simple closed curve C, then itsderivatives of all orders exist and are analytic at each point of the domain D.Theorem 1.9.1 If f (z) is analytic inside and on a closed contour Cand zo is a point inside C, then
f (n )(zo) =n !
2i C
f (z)(z zo)(n +1)
dz
Example 1.9.1 Evaluate C2z2
z
2
(z 2)4 dz , where Cis the circle |z| = 3 .
Solution 1.9.1 We begin by letting f (z) = 2 z2 z 2. Comparing Theorem 1.9.1with our integral, zo = 2 and n = 3 . Thus we can write the integral asf (3) (2) =
62i
C
f (z) dz(z 2)4
Thus,
f (z) = 4 z
1
f
(z) = 4f
(z) = 0
C
2z2 z 2(z 2)4
dz =i3
f (3) (2)
= 0
Exercise 1.9.1 Evaluate
(i) C2z2
z
2
z2 4z + 4 dz, C: |z| = 3 (ii) C2z2
z
2
(z 2)3 dz, C: |z| = 3
(iii) C
dzz2(z 3)
, C: |z| = 2
HIT223 - 2009 vchikwasha Harare Institute of Technology
7/31/2019 Documents and Settings Vc1 My Documents HIT HIT223 Eng Math
16/23
1.10 Taylors series
Theorem 1.10.1 Taylors Theorem Let f (z) be analytic inside a circle Cwith center at zo and radius r o. Then at each point inside C, f (z) can be expanded in ascending powers of (z zo and may be written as
f (z) = f (zo) +(z zo)
1!f (zo) +
(z zo)22!
f
(zo) + . . . +(z zo)n
n !f (n )(zo) + . . .
=
n =0
(z zo)nn ! f (n ) (zo)
This is Taylors series for f (z) with center at zo . The series converges to f (z).In particular case when zo = 0 , we obtain the Maclaurin series for f (z).
Example 1.10.1 Find the Taylor series expansion of 1
1 zabout the point z = 0 .
Solution 1.10.1 f (z) =1
1 z, zo = 0 .
f (z) = f (zo) +(z
zo)
1! f
(zo) +(z
zo)2
2! f
(zo) + . . .Now,
f (z) =1
z 1 f (zo) = f (0) = 1
f (z) =1
(1 z)2 f (zo) = 1!
f (z) =2
(1 z)3 f (zo) = 2!
f
(z) =6
(1 z)4 f
(zo) = 3!
f iv (z) =24
(1 z)5 f (zo) = 4!
......
f (n )(z) =n !
(1 z)n +1 f (n ) (zo) = n !
Finally, we can write the series as
f (z) = f (zo) + (z zo)1! f (zo) + (z zo)2
2! f
(zo) + . . .
= 1 + z +z2
2! 2! +z3
3! 3! + . . .
1
1 z= 1 + z + z2 + z3 + . . . .
vchikwasha Harare Institute of Technology
7/31/2019 Documents and Settings Vc1 My Documents HIT HIT223 Eng Math
17/23
Exercise 1.10.1 Expand by Taylors series:
(i)1z
about the point z = 1 .
(ii)1
1 + z2about z = 0 .
You can also verify the following important power series:
ez = 1 +z1!
+z2
2!+
z3
3!+ . . . +
zn
n !+ . . . , |z| <
sin z =z1!
z3
3!+
z5
5!+ . . . + ( 1)n +1
z2n 1
(2n 1)!+ . . . , |z| <
cos z = 1 z2
2!+
z4
4! . . . (1)n z
2n
(2n )!+ . . . , |z| <
11 + z
= 1 z + z2 z3 + . . . + ( 1)nz n + . . . , |z| < 1ln(1 + z) = z
z2
2+
z3
3 . . . (1)n +1 z
n
n+ . . . , |z| < 1
1.10.1 Laurents Series
In expanding a function f (z) by means of Taylors series at a point zo, f (z) must beanalytic at zo. Laurents series gives an expansion of f (z) at a point zo even if f (z) isnot analytic at zo .
Theorem 1.10.2 If f (z) is analytic between and on two circles C 1 and C 2 having common radii r 1 , r 2(r 1 > r 2), then at each point z between them, f (z) can be expanded by a convergent series of positive and negative powers of (z zo), namely,
f (z) = a o+ a 1(zzo)+ a 2(zzo)2+ . . . + a n (zzo)
n
+b1
z zo +b2
(z zo)2 + . . . +bn
(z zo)n + . . .where
a n =1
2i c1
f (z )(z zo)n +1
dz , n = 0 , 1, 2, 3, . . .
and
bn =1
2i c2
f (z )(z zo)n +1
dz , n = 1 , 2, 3, . . .
with the integrals taken in the counter clockwise sense.
Example 1.10.2 Expand f (z) =z
(z 1)(2 z)in Laurent series valid for
HIT223 - 2009 vchikwasha Harare Institute of Technology
7/31/2019 Documents and Settings Vc1 My Documents HIT HIT223 Eng Math
18/23
(i) |z| < 1 (ii) 1 < |z| < 2 (iii) 0 < |z 2| < 1Solution 1.10.2 f (z) =
z(z 1)(2 z)
can be expressed in terms of its component
fractions as f (z) =1
z 1+
22 z
.
Now, for
(a) |z| < 1 we have1
z 1 = 1
1 z = (1z) 1
= (1+ z+ z2
+ z3
+ . . . ) ............(i)
and 2
2 z=
2
2 1 z2
=1
1 z2
= 1 z2
1= 1+
z2
+z2
4+
z3
8+ . . . ... ....... (ii )
Combining (i) and (ii) we have
f (z) = (1 + z + z2 + z3 + . . . ) + (1 +z2
+z2
4+
z3
8+ . . . )
= z2
+34
z2 +78
z3 + . . .
(b) 0 1 we have1
z 1=
1
z 1 1z
=1z
1 1z
1
=1z
1 +1z
+1z2
+ . . . ........... (iii )
and when |z| < 2 ,2
2 z= 1
z2
1= 1+
z2
+z2
4+
z3
8+ . . . .............. (iv )
Thus, f (z) =1z
1 +1z
+1z2
+ . . . + 1 +z2
+z2
4+
z3
8+ . . .
(c) 0 < |z 2| < 1First let u = z 2 0 < |u | < 1 f (z) =
z(z 1)(2 z)
= u + 2
(u + 1) u=
2u
+1
u + 1
when |u | < 1 (1 + u) 1 = 1 u + u 2 + . . .
Thus, f (z) = 2
z 2+ 1 (z 2) + ( z 2)2 . . .
1.11 Zeros of a Function
Let f (z) be an analytic function. If f (z) = 0, the z0 is a zero of f (z).Since f (z) is analytic at z0, there exists a neighborhood of z0 at which f (z) can beexpanded in Taylors series
f (z) = a 0 + a 1(z z0) + a 2(z z0)2 + . . . , + a n (z z0)n + . . . , |z z0| < r 0.vchikwasha Harare Institute of Technology
7/31/2019 Documents and Settings Vc1 My Documents HIT HIT223 Eng Math
19/23
where a 0 = f (z0) and a n =f (n ) (z0)
n !.
If z0 is a zero of f (z), then f (z0) = 0 and a 0 = 0.If a 0 = 0 and a 1 = 0, then z0 is a simple zero.If a 0 = a 1 = a 2 = . . . = a m 1 = 0 but a m = 0, the z0 is a zero of order m .Thus, we can dene a zero of order m by the condition
f (z0) = f
(z0) = . . . = f (m 1)
(z0) = 0 and f (m )
= 0 .So we can write f (z) = ( z z0)m g(z) where g(z) is analytic and g(z0) = a m = 0.
Theorem 1.11.1 Let z0 be a zero of an analytic function f (z). There is a neighbour-hood of f 0 throughout which f (z) has no other zeros, unless f is identically zero. Thus,if an analytic function is not identically zero, then its zeros are isolated.
Example 1.11.1 1. f (z) = ( z + 1) 4 has a zero of order 4 at z = 1.2. f (z) = cos z has simple zeros at z =
2,
3
2, . . . .
3. Find the zeros of f (z) =z 1z2 + 1
2
Solution 1.11.1 f (z) = 0 when (z 1)2 = 0 . Thus, z = 1 is a zero of order 2.
1.12 Singularities of a Function
If a function f (z) is analytic at every point in the neighbourhood of a point z0 exceptat z0 itself, z0 is called a singularity or singular point of the function.
Example 1.12.1 Locate and name all singularities of
f (z) =z6 + 2 z3 + 3
(z + 1) 2(z2 + 1)
Solution 1.12.1 (z + 1) 2(z2 + 1) = 0z = 1, z = i
1.12.1 Isolated Singularity
For f (z) =1z
, z = 0 is an isolated singularity since f (z) is analytic everywhere exceptat z = 0.
HIT223 - 2009 vchikwasha Harare Institute of Technology
7/31/2019 Documents and Settings Vc1 My Documents HIT HIT223 Eng Math
20/23
1.12.2 Removable Singularity
The singularity point z = z0 is called removable if
limz z 0
f (z) exists
f (z) =z2 a 2z a
, z = a is a removable singular point.
Theorem 1.12.1 Let f (z) be analytic in the domain Dexcept at z = z0 . Then z0 isan isolated singularity of f (z) and we can draw two concentric circles with center at z0such that f (z) can be expanded in a Laurents series in the annular region between thetwo circles. Thus,
f (z) =
n =0
a n (z z0)n
regular part of f(z)+
n =1
bn(z z0)n
principal part in the(1.2)
neighbourhood ofz 0
z0 is a removable singularity if bn = 0 ,n , or if limz z 0 f (z) exists.
1.12.3 Essential Singularity
If bn in (1.2) contains an innite number of terms, then z = z0 is an isolated essential singularity of f (z).Thus, there exists no nite n such that
limz z 0
(z z0)f (z) = a nite constant .
1.13 Poles of a Function
Consider againf (z) =
n =0
a n (z z0)n +
n =1
bn(z z0)n
principal partIf the principal part terminates, at n = m (say), then f (z) becomes
f (z) = a 0 + a 1(z z0) + . . . +b1
z z0+ . . . +
bm(z z0)m
The isolated singular point z = z0 is called a pole of order m .A pole of order 1 is called a simple pole.
A pole of order 2 is called a double pole.
Example 1.13.1 Determine the order of the pole of the function f (z0) =1
z3(z + 4).
Solution 1.13.1 f (z0) has a pole of order 3 at z = 0 and a simple pole at z = 4.
vchikwasha Harare Institute of Technology
7/31/2019 Documents and Settings Vc1 My Documents HIT HIT223 Eng Math
21/23
1.14 Residues
Let z0 be an isolated singularity of f (z). Then there exists a positive number r , suchthat f (z) is analytic at each point of the region 0 |z z0| < r , and in which it can berepresented by the Laurents series
f (z) =
n =0
a n (z z0)n +
n =1
bn(z z0)n
wherea n =
12i C f (z
)(z z0)n +1
dz , n = 0 , 1, . . . .
andbn =
12i C f (z
)(z z0)n +1
dz , n = 1 , 2, . . . .
b1 =1
2i C f (z )dz = 12i C f (z)dz (1.3)where Cis any closed contour around z0(counterclockwise) such that f (z) is analyticon
Cand interior to
C, except at z = z0.
b1 is the coefficient of 1
z z0and is called the residue of f (z) at the isolated singular
point z0.Thus, Res z = z 0 f (z) = b1From (1.3), Res z = z 0 f (z) =
12i C f (z)dz , where f (z) is analytic everywhere on and
within Cexcept at z0.If f (z) has a simple pole at z = z0, the residue of f (z) is given by
Res z= z 0 f (z) = limz z 0 (z z0) f (z)
Example 1.14.1 Find the residue of f (z) = 1z(z 4)
at each of its poles.
Solution 1.14.1 f (z) has simple poles at z = 0 and z = 4 .Thus,
when z = 0
Res z=0 f (z) = limz 0
z 1
z(z 4)=
14
and when z = 4
Res z=4 f (z) = limz 4
(z 4) 1
z(z 4)=
14
HIT223 - 2009 vchikwasha Harare Institute of Technology
7/31/2019 Documents and Settings Vc1 My Documents HIT HIT223 Eng Math
22/23
Suppose f (z) has a pole of order m ,
f (z) =
n =0
a n (z z0)n +b1
z z0+
b2(z z0)2
+ . . . +bm
(z z0)m
(z z0)m f (z) =
n =0
a n (z z0)m + n + b1(z z0)m 1 + . . . + bm (1.4)
Differentiating (1.4) ( m 1) times,dm 1
dz m 1[(z z0)m f (z)] =
n =0
a n (m + n )(m + n + 1) . . . (n + z)(z z0)n +1 + b1(m 1)!
thus, b 1 =1
(m 1)!lim
z z 0
dm 1
dz m 1[(z z0)m f (z)]
Res z = z 0 f (z) =1
(m 1)!lim
z z 0
dm 1
dz m 1[(z z0)m f (z)]
Example 1.14.2 Calculate the residue of z2 e z
(z a )3 .
Solution 1.14.2 z = a is a pole of order 3,
Res z = a f (z) =12!
limz a
d2
dz 2(z a )3
z2ez
(z a )3=
12
limz a
d2
dz 2z2ez
=12
limz a
(z2ez + 4 ze z + 2 ez )
=12
[ea (a 2 + 4 a + 2)]
=ea
2(a 2 + 4 a + 2)
Exercise 1.14.1 Find the residues of
1.z2 + 5
z(z + 3) 2
2.z
(z 1)(z 2)2at the poles.
1.14.1 Cauchys Residue Theorem
If Cis a closed contour within and on which a function f (z) is analytic except for anite number of singular points z1, z2, . . . , z n interior to C, then
C f (z) dz = 2 i (R 1 + R 2, . . . + R n )where R j is the residue of f (z) at z = z j .
vchikwasha Harare Institute of Technology
7/31/2019 Documents and Settings Vc1 My Documents HIT HIT223 Eng Math
23/23
Example 1.14.3 Find C zz + 1 dz , where Cis the circle |z| = 2 .Solution 1.14.3 z = 1 is a simple pole,
Res z = 1f (z) = limz 1
(z + 1)z
z + 1= 1
C zz + 1 dz = 2 i (1)= 2i
Exercise 1.14.2 Evaluate
1. C sin zz6 dz where Cis a unit circle at the origin.2. C dzz3(z 1) , C: |z| = 23. C z + 1z2 2z dz , C: |z| = 34. C e
z
(z 1)3dz , C: |z| = 3
5. C ez
z2 1dz
(a) given that Cis the circle |z 1| = 1(b) given that Cis the circle |z i| = 1
HIT223 - 2009 vchikwasha Harare Institute of Technology