0% found this document useful (0 votes)
28 views65 pages

Complex Analysis Manual

Analytical chemistry studyguide

Uploaded by

Tshiamo Motaung
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
28 views65 pages

Complex Analysis Manual

Analytical chemistry studyguide

Uploaded by

Tshiamo Motaung
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 65

COMPLEX ANALYSIS MANUAL

0.1 STUDY GUIDE

0.1.1 ORGANIZATIONAL COMPONET


Admittance
For admittance to to the course MATH 372, you must have MATH 341 or its equivent.
Lecturer
Module coordanator:Mrs.D.Vijayasenan.
3.Lectures
Monday 10:45-11:25
Friday 09:15-09:55
4.Note
It is in your own interest to keep this guide for future reference( also for later study years
)
5 Assessment
The examination and test instructions in the yearbook must be followed meticulously
a) Material for test
Materials for test will be announced in class
Absence from tests
The lecture concerned /module coordinator must be notified of absence from any test due
to illness within three days from the date of the test. In such case a satisfactory proof of
illness must be submitted. Admittance to an additional test will not be granted automat-
ically. There will be no supplementary tests for the semester tests and or tutorial tests.
Absence from examination
The relevant faculty administration should be informed of the absence.
d.Disciplinary cases
The policy of the Department of Mathematics and Applied Mathematics is to refer all
cases where even the slighest suspicion of irregularity exists, without exception, to the
disciplinary committee of the university.

Semester tests
(i)Marked tests
1)File all your tests after receiving them. They are your only proof that you have indeed
written the tests.
2)Verify that your marks are recorded correctly as displayed on the notice board. All
queries in this regard must be made not later than three days after the marks are posted.
(ii)Arrangements with respect to tests and examination 1)Student cards must be
produced at request in tests or examinations. 2)No answer books may be removed from
the test examination venue by any student(This is a serious form of misconduct).
3)No pencil work or any work in red ink will be marked. 4)If you use correcting fluid(”Tipp-
Ex”), you lose the right to question the marking or to indicate work that has not been

1
marked.
5)Any queries about the marking must be one within three days the tests have been handed
out. After that we assume that everything is in order.
(iii)Tutorial classes
1)prepare theoretical part thoroughly before the tutorial class.
2)Do all the exercises for the tutorial class beforehand and use the tutorial class itself to
sort out any problems.
(Semester Mark Semester tests: 80%
Assignments and tutorials:20%
A semester mark of at least 40% is required to obtain admission to the examination
(iv)Final Mark semester mark:60%
Examination:40%
To pass the course a final mark of at least 50% is required and a sub minimum for the
examination.

2
CHAPTER 1

COMPLEX NUMBERS

We will use linear combination of real numbers and the symbol i to costruct a complex
number z, and we shall write
z = x + iy. (1.0.1)

where x and y are real numbers. The number x is called the the real part of the
complex number z, and the number y is called the imaginary part of z. We use the
notational convention
Rez = x and Imz = y (1.0.2)
to express the real and imaginary parts of z
Example 1.0.1. If z = 3 − 2i, then
Re(3 − 2i) = 3 and Im(3 − 2i) = −2

Example 1.0.2. If we treat i as an algebraic system and group similar terms then,
(3 − 2i) + (5 + 6i) = 3 + 5 + i(6 − 2) = 8 + 4i The denominator will allow us to perform
division
5 − 2i 5 − 2i 3 − 2i 15 − 10i − 6i + 4i2 11 − 16i
= = 2
=
3 + 2i 3 + 2i 3 − 2i 9 − 4i 13

1.1 The algebraic properties


The complex number z can be considered as an ordered pair z = (x, y) where x and y
are real numbers. Complex numbers of the form (x, 0) will behave like real numbers,
and complex number of the form (0, y) are called pure imaginary numbers. The real and
imaginary parts of
z = (x, y) (1.1.1)

3
are denoted by
Rez = x and Imz = y (1.1.2)

Equality
Two complex numbers Z1 = (x1 , y1 ) and z2 (x2 , y2 ) are said to be equal if and only if they
have the same real and imaginary part. i.e (x1 , y1 ) = (x2 , y2 ) if and only if x1 = x2 and
y1 = y2

Sum and product


Two complex numbers z1 = (x1 , y1 )andz2 = (x2 , y2 ) have a sum and a product written
z1 + z2 and z1 z2 , defined as complex numbers given by the equation

z1 + z2 = (x1 , y1 ) + (x2 , y2 ) = (x1 + x2 , y1 + y2 )

z1 z2 = (x1 , y1 )(x2 , y2 ) = x1 x2 − y1 y2 , x1 y2 + x2 y1
since

1 −y x 1
0 x y 0
x1 = y1 = (1.1.3)
x −y x −y
y x y x
x −y
i.e x1 = and y1 =
x2 + y2 x2 + y2
 
−1 x −y
z = , 2 , where z 6= 0 (1.1.4)
x + y x + y2
2 2

Difference
The operation of subtraction of complex numbers is defined to be z1 − z2 = (x1 , y1 ) −
(x2 , y2 ) = (x1 − x2 , y1 − y2 )
Quotient
Division by a a nonzero complex number is defined by the rule.
z1
= z1 (z2 )−1 , where z2 6= 0 (1.1.5)
z2

Laws of algebra
Familier properties of multiplication and addition also hold for complex numbers. They
include, z1 + z2 = z2 + z1 (Commutative laws of addition)
z1 + (z2 + z3 ) = (z1 + z2 ) + z3 (Associative law)
z1 z2 = z2 z1 (Commutative law of multiplication )
z1 (z2 z3 ) = (z1 z2 )z3 (Associative law) z1 (z2 + z3 ) = z1 z2 + z2 z3 (Distributive law) notes
For any real number x, we make correspondence x = (x, 0)
and for any imaginary number i = (0, 1)
if z = x + iy, then we use the correspondence z = x + iy = (x, y)

4
1.2 Cartesian plane and vector representation
It is natural to associate the ordered pair (x, y) that represents the complex number z with
the cartesian coordinates of a point in the xy-plane. Each complex number corresponds
to just one point, and conversely for example the number −2 + i is represented by the
points (−2, 1). The origin represents the point z = 0 when the xy-plane is used for the
purpose of displaying complex number z geometrically, it is called the complex plane or
the z-plane or an agrand diagram.

Also the number z can be though of as the vector from the origin to the point (x,y)
Absolute value
The modulus, or absolute value , of the complex z=(x,y)=x+iy is a nonnegative real
number denoted by |z| and is given by the equation
p
|z| = x2 + y 2 (1.2.1)

The number |z| is the distance between the origin and the point (x, y). The number
z = 3 + 4i has modulus 5 and is pictured below. The numbers |Rez|, |Imz| and |z| are

5
the length of the sides of the right triangle OP Q. The inequality |z1 | < |z2 | mean that the
point z1 is closer to the origin than the point z2 and it follows that

|x| = |Rez| ≤ |z| and |y| = |Imz| ≤ |z| (1.2.2)

12.jpg
The distance between z1 and z2 is given by
p
|z1 − z2 | = |(x1 − x2 ) + i(y1 − y2 )| = (x1 − x2 )2 + (y1 − y2 )2 (1.2.3)

The distance between two complex numbers z1 and z2 are given by |z1 − z2 |. This can
be obtain by using equation (??)p of section 1.1 and definition (1) to obtain the familiar
formula, dist(z1 , z2 ) = |z1 − z2 | = (x1 − x2 )2 + (y1 − y2 )2 . The complex conjugate of the
complex number x+iy is defined to be the complex number x-iy and is denoted by z̄, and
we write
z̄ = x − iy (1.2.4)
The number z̄ corresponds to the point (x, −y) and is the reflection of z = (x, y) through
the x-axis. It is useful to observe that

z z̄ = (x + iy)(x − iy) (1.2.5)


which lead to the identity ,

z z̄ = |z|2 (1.2.6)
Also the conjugate of z̄ = z
i.e
z̄¯ = z (1.2.7)
Other relationships .....the complex conjugate are the identities
z + z̄ z − z̄
Rez = and Imz = (1.2.8)
2 2i

¯ z2 = z¯1 + z¯2
z1 + (1.2.9)

z1¯z2 = z¯1 z¯2 (1.2.10)

6
z¯1 z¯1
= , wherez2 6= 0 (1.2.11)
z2 z¯2
from identities (1.3.8) and (1.3.12) it easy to see that

|z1 z2 |2 = (z1 z2 )(z1¯z2 )


= (z1 z¯1 )(z2 z¯2 )
= |z1 |2 |z2 |2 .

Taking square roots on both sides,

|z1 z2 | = |z1 ||z2 | (1.2.12)

Also
|z1 | |z1 |
= where z2 6= 0 (1.2.13)
|z2 | |z2 |
and
|z| = |z̄| (1.2.14)
of the triangle, then a well known results from geometry states that, the sum of the lengths
of the two sides z1 and z2 is greater that or equal to the length of the third side z1 + z2 .
i.e
|z1 + z2 | ≤ |z1 | + |z2 | (1.2.15)
which is known as the triangle inequality

Proof.

|z1 + z2 |2 = (z1 + z2 )(z1 + ¯ z2 ) ∵ |z|2 = z z̄


= (z1 z¯1 ) + z1 z¯2 + z2 z¯1 + z2 z¯2
= |z1 |2 + z1 z¯2 + z1¯z¯2 + |z2 |2
= |z1 |2 + 2Re(z1 z¯2 ) + |z2 |2
≤ |z1 |2 + 2|z1 z¯2 + |z2 |2 ∵ Rez ≤ |z|
= |z1 |2 + 2|z1 ||z¯2 | + |z2 |2
= |z1 |2 + 2|z1 ||z2 | + |z2 |2 ∵ |z̄| = |z|
= [|z1 | + |z2 |]2 .

∴ |z1 z2 | ≤ |z1 + |z2 |

Properties of modulus of complex numbers


If z1 and z2 are any two complex numbers, then
(1)|z¯1 | = |z1 |
(2)|z1 z2 | = |z1 ||z2 |
(3)| zz12 | = |z 1|
, z 6= 0
|z2 | 2
(4)|z1 + z2 | ≤ |z1 | + |z2 |
(5)|z1 + z2 | ≥ |z1 | − |z2 |

7
(6)|z1 − z2 | ≥ ||z1 | − |z2 ||

.........
Let r and θ denote the polar coordinates of the point (x, y) in the xy plain. The identities
relating r and θ to x and y are

x = rcosθ and y = rsinθ (1.2.16)

If z = x + iy denotes a complex number, then z has the polar representation

r cos θ + ir sin θ = r(cos θ + i sin θ) (1.2.17)


p
The coordinates r is the modulus of z; that is , r = |z| x2 + y 2 . The coordinates r is also
the distance from the point z to the origin. The number θ is called an argument of z and
is denoted by θ = arg z when z 6= 0, the values of θ can be found from the formula
y
tan θ = (1.2.18)
x
and also knowing the quadrant in which the point z lies.
if z = r(cos θ + i sin θ)
z̄ = r(cos −θ + i sin −θ)
i.e z = r(cos θ − i sin θ)
if z1 = r1 (cosθ1 + i sin θ1 )
z2 = r2 (cosθ + i sin θ2 ) are two complex numbers in their polar form, thier product is

z1 = r1 r2 (cos θ + i sin θ1 )(cos θ2 + i sin θ2 )


= r1 r2 [cos θ1 cos θ2 − sin θ1 sin θ2 + i(sin θ1 cos θ2 + cos θ1 sin θ2 ]
= r1 r2 [cos(θ1 + θ2 ) + i sin θ1 + θ2 ] (1.2.19)

∴ arg(z1 z2 ) = θ1 + θ2 = arg(z1 ) + arg(z2 ) i.e arg(z1 z2 ) = arg(z1 ) + arg(z1 ) + arg(z2 )


also
z1 r1
= [cos(θ1 − θ2 ) + i sin(θ1 − θ2 )] (1.2.20)
z2 r2
furthermore
1
z −1 =
r(cos θ + i sin θ)
1
= [cos(−θ) + i sin(−θ)]
r
1
= [cos θ − i sin θ].
r
The exponential notation of a complex numbers z is given by z = reiθ , where
r = |z| and] θ = arg z
the complex exponential function is defined as

ez = ex+iy = ex (cos y + i sin y) (1.2.21)

8
when z = 0 + iy, we have eiy = (cos y + i sin y)
For this reason, it is convenient to use the identity

eiθ = cos θ + i sin θ (1.2.22)

Arithmetic properties
z1 z2 = r1 eiθ1 r2 eiθ2 = r1 r2 ei(θ1 +θ2 )
z1
z2
= rr12 ei(θ1 −θ2 )

The complex conjugate is expressed by


z̄ = re−iθ
if z = r(cos θ + i sin θ), then
z 2 = (cos 2θ + i sin 2θ) z 3 (cos 3θ + i sin 3θ) etc..
continuing in a similar manner, we can use the mathematical induction to establish the
general rule
z n = rn (cos nθ + i sin θ) (1.2.23)
It is convenient to express (1.2.23) in the exponential form

z n = rn einθ (1.2.24)

if r = 1, in (1.2.23), then
(cos θ + i sin θ)n = cos nθ + i sin nθ, which is known as De Moivres formula.

1.3 Powers, Roots and the Quadratic formula


If we used the polar co-ordanate representation z = r(cos(θ) + i sin θ) then we obtain the
formula.
z 2 = r2 (cos 2θ + i sin 2θ) (1.3.1)
Using z 3 = z 2 z and the rule for multiplication, we see that

z 3 = r3 (cos 3θ + i sin 3θ) (1.3.2)

counting in a similar manner, we can use mathematical induction to establish the general
rule
z n = rn (cos nθ + i sin nθ) (1.3.3)
which is valid for all integer values of n. It is sometimes convenient form

z n = rn einθ (1.3.4)

If we set r = 1 in (1.3.3), then we get,

(cos θ + i sin θ)n = cos θ (1.3.5)

9
which is known as De Moivre’s formula.
This important identity is useful in finding powers and roots of complex numbers. De
Moivres formula can be used to find the n solutions to the equation

zn = 1 (1.3.6)

if we let z = cos θ + i sin θ , identity(1.3.5) and equation (1.3.6) leads to

(cos θ + i sin θ)n = cos nθ + i sin θ


= cos 0 + i sin 0
= 1.
(1.3.7)

Equating the real and imaginary part we see that cos nθ = cos 0 and sin θ = sin 0. The
solutions to these equations are θ = 2πkn
where k is an integer. Because of the periodicity
sin t and cos t , we can display the n distinct solutions to equation (1.3.6) as

2πk 2πk
zk = cos + i sin (1.3.8)
n n
the solutions (1.3.8) are often reffed as the nth roots of unity
The value wn given by
2π 2π
wn = cos + i sin (1.3.9)
n n
is called a primitive nth root of unity by De Moivre’s formula, the nth roots of unity are
given by
1, wn , wn2 . . . , wnn−1 (1.3.10)
Geometrically, the nth roots of unity are equally spaced points that lie on the unity circle
|z| = 1 and form the vertices of a regular polygon with n sides. The square roots of the
complex number z = r(cos θ + i sin θ) given by

1 θ θ
z 2 = +r(cos + i sin ) (1.3.11)
− 2 2
we know that, r r
θ 1 + cos θ θ 1 − cos θ
cos = and sin = (1.3.12)
2 2 2 2
1
If we multiply identity (1.3.12) by r 2 ,
r r
1 θ r + r cos θ |z| + x
r 2 cos = =
2 2 2
and r r
1 r − r cos θ |z| − x
r sin θ =
2 = |
2 2

10
These can be substituted into (1.3.11) to obtain the cartesian formula,
r r
1 |z| + x |z| − x
z 2 = +[ + i(sign y) ] (1.3.13)
− 2 2
where sign y = 1 if y ≥ 0 and sign y = −1 if y < 0.
The solutions to the quadratic equation Az 2 +Bz +c = 0 are given by the familiar formula.
1
−B + (B 2 − 4AC) 2

z= (1.3.14)
2A

1.4 Curves, Region and Domains in the plane


In this section we investigate some basic ideas concerning sets of points in the plane.The
first concept is that of a curve. Let x = x(t) and y = y(t) be two continuous functions
of the real parameter t that are defined for values of t in the interval a ≤ t ≤.Then a
curve C in the plane that joins the point (x(a),y(a)) to the point (x(b),y(b)) is given by
C : z(t) = x(t) + iy(t), a ≤ t ≤ b. We say that C is a curve that goes from the initial point
z(a) to the terminal point z(b). For example if z0 = x0 + iy0 andz1 = x1 + iy1 are two given
points, then the straight line segment joining z0 to z1 is

c : z(t) = [x0 + (x1 − x0 ) + i[y0 + (y1 − y0 )t], 0≤t≤1 (1.4.1)

One way to drive formula (1.4.1) is to use the vector form of a line. A point on the line is
z0 = x0 + iy0 and the direction of the line is z1 − z0 hence the line C in (1.4.1) is given by
C : z(t) = z0 + (z1 − z)t for 0 ≤ t ≤ 1. One fundamental idea is that of an −neighborhood
of the point z0 , that is, the set of all points satisfying the inequality

|z − z0 | ≤  (1.4.2)

This set is the open disk of radius  about z0 shown in the figure. In thesolution sets
of the inequality |z| < 1, |z − i| < 2, |z + 1 + 2i| < 3 are neighborhoods of the points
0, i, −1, −2i respectively, of radius 1, 2, 3 respectively.

11.jpg

11
A set is called open if every point of S is an interior point of S. A set is closed if it
contains all of its boundary point. A set is said to be connected if every pair of poits z1
and z2 can be joined by a curve that lies entirely in S. We call an open connected set a
domain. A domain with some, no,or all of its boundary points is called a region.

15.jpg
A set that is formed by taking the union of a domain and its boundary is called
closed region. The point z0 is said to be an interior point of the set S provided that
there exists an −neighborhood of z0 that contains only points of S, and z0 is called an
exterior point of the set S if neither an interior point nor an exterior of S, then it is called
a boundary point of S and has the property that each −neighborhood of z0 contains both
points in S and points not in S

12
CHAPTER 2

Complex function

The last chapter developed a basic theory of complex numbers. For the next few chapters
we turn our attention to the function of complex numbers. They are defined the same way
to functions of real numbers that you studied in calculus, the only difference is that they
operate on complex numbers rather than real numbers. This chapters focus primarily on
very basic functions, their representation and properties associated with functions such as
limits and continuity.

2.1 Function of a complex variable


A function f of a complex variable z is rule that assign to each value z in a set D one and
only one complex value W. We write,
w = f (z) (2.1.1)
and call w the image of z under f . The set D is called domain of f ,and the set of all
images R = {w = f (z) : z ∈ D} is called the range of f . Just as z can be expressed by its
real and imaginary parts, z = x + iy we write w = u + iv where u and v are the real and
imaginary parts of w, respectively. This gives us the representation
f (x + iy) = u + iv (2.1.2)
Since u and v depend on x and y, they can be considered to be real functions of the real
variables x and y that is,
u = u(x, y) and v = v(x, y) (2.1.3)
combining (1.4.3), (1.4.4), and (1.4.5)
f (z) = f (x + iy) = u(x, y) + iv(x, y) (2.1.4)

13
conversely, if u(x, y) and v(x, y) are two given real-valued functions of the real variables
x and then (1.4.6) can be used to define the complex function f . ,if u(x, y) and v(x, y) are
given then the formula
z + z̄ z − z̄
x= and y = (2.1.5)
2 2i
can be used to find a formula for f involving the variables z and z̄.

Example 2.1.1. write f (z) = z 4 in the form f (z) = u + iv. using Binomial formula, we
get,

f (z) = (x + y)4
= x4 + 4x3 (iy) + 4x2 (iy)2 + 4x(iy)3 + (iy)4
= (x4 − 6x2 y 2 + y 4 ) + i(4x3 y − 4xy 3 ).

Example 2.1.2. Express f (z) = 4x2 + i4y 2 by a formula involving the variables z and z̄

f (z) = 4x2 + i4y 2


z + z̄ 2 z − z̄ 2
= 4( ) + 4( )
2 2i
= z 2 + 2z z̄ + z̄ 2 − i(z 2 − 2z z̄ + z̄ 2 )
= (1 − i)z 2 + (2 + 2i)z z̄ + (1 − i)z̄ 2 .

It may convenient to use z = reiθ in the expression of a complex function then,

f (reiθ ) = u + iv (2.1.6)

where u and v are to be considered, as real function s of the real variable r and θ. That
is,
u = u(r, θ) and v = (r, θ) (2.1.7)
combining (1.5.1),(1.5.6) and (1.5.7), we get,

f (z) = f (reiθ ) = u(r, θ) + iv(r, θ). (2.1.8)

We remark that the functions u and v defined by equations (1.5.3) and (1.5.7) are different,
since (1.5.3) involves cartesian coordinates and (1.5.7) involves polar coordinates.

2.2 Transformation
We now look at the geometric interpretation of a complex function. If D is the domain of
real-valued function.
u(x, y) and v = v(x, y) (2.2.1)

describes a transformation (or mapping) from D in the xy-plane into the uv-plane also
consider the function.
w = f (z) = u(x, y) + iv(x, y) (2.2.2)

14
to be a transformation (or mapping) from the set D in the z-plane onto the range R in
the w-plane

If A is a subset of the domain D of f , the set B = {w = f (z) : z ∈ A} is called the


image of the set A and f is said to be map A onto B. The image of a single point is a single
point and the image of the entire domain D, is the range R.The mapping w=f(z) is said
to be from A into S if the image of A is contained in S. We use the notion f : A → S to
indicate that a function maps A into S. The following figure illustrates a function whose
domain is D and whose range is R. The shaded areas depict that the function maps A
onto B. The function also maps A into B and of course, it maps D onto R.

The inverse image of a point w is the set of all points z in z such that w=f(z). The
inverse image of a point may be one point, several points, or nothing at all. A function f
is said to be one-to-one if it maps distinct points z1 6= z2 onto distinct points f (z1 ) 6= f (z2 )

15
Loosely speaking, if w=f(z) maps the set A one to one and onto the set B, then for
each w in B, there exists exactly one point z in A such that w = f (z). For any such valued
of z we can take the equation w = f (z) and solve for z as a function of w. Doing so
produces an inverse function z = g(w) where the following equations: g(f (z)) = z, for
all z ∈ A f (g(w)) = w, for all z ∈ B we usually indicate the inverse of f by the symbol
f −1 . If the domains of and f−1 are A and B respectively, then f −1f (z) = z, for all z ∈ A
f (f −1 (z)) = w, for all z ∈ B

1
2.2.1 The reciprocal transformation w = z

The mapping w = z1 is called the reciprocal transformation and mapping the w-plane,
except for the point z which has no image, and the point w=0, which has no preimage
or inverse image. Since z z̄ = |z|2 , we can expressed the reciprocal transformation as a
composition:
z
w = Z̄ and Z = 2 (2.2.3)
|z|
The transformation Z = |z|z 2 on the right side of (1.6.3) is called the inversion mapping with
respect to the unit circle |z| = 1. It has the property that a nonzero point z is mapped
onto the point z such that

|z||Z| = 1 and arg Z = argz (2.2.4)

Hence it maps points inside the circle |z| = 1 onto points outside the circle |Z| and
conversely. Any point of unit modulus is mapped into itself.

Example 2.2.1. show that the image of the right half plane Rez > 21 , under the mapping
w = z1 , is the disk |w − 1| < 1 the inverse mapping z = w1 can be written as ,

1 u − iv
x + iy = z = = 2 (2.2.5)
w u + v2
equating the real and imaginary parts we ge t
u
x= (2.2.6)
u2 + v2
1
the requirement that x > 2
forces the image values to satisfy the inequality.

u 1
> (2.2.7)
u2 + v 2 2

=⇒ u2 − 2u + 1 + v 2 < 1 (2.2.8)
which is an inequality that determines the set of points in the w-plane that lies inside the
circle with center w0 = 1 and radius 1. Since the reciprocal transformation is one-to-one,
preimages of the points in the disk |w − 1| < 1 will lie in the right half- plane Rez > 12 .

16
2.2.2 Limits and continuity
Let u = u(x, y) be a real valued function of the two real variables x and y. we say that u
has the limit u0 as (x, y) approaches (x0 , y0 ) provided that the value u0 as (x, y) gets close
to (x0 , y0 ). We write,
lim u(x, y) = u0 . (2.2.9)
(x,y)→(x0 ,y0 )

That is u has the limit u0 as (x,y) approaches (x0 , y0 ) if and only if |u(x, y) − u0 | can be
made arbitrarily small by making both |x − x0 | and |y − yp 0 | small. Since (x, y) is a point
in the xy-plane and distance between (x,y) and (x0 , y0 ) is (x − x0 )2 + (y − y0 )2 , we can
give precise definition of limit as follows . To each number  > 0, there corresponds a
number δ > 0 such that
p
|u(x, y) − u0 | <  whenever 0 < (x − x0 )2 + (y − y0 )2 < 0 (2.2.10)

The value u0 of the limit must not depend on how (x, y) approaches (x0 , y0 ). So it follows
that u(x, y) must approaches (x0 , y0 along any curve that end at the point (x0 , y0 ). If we
can find two curves c1 and c2 that end at (x0 , y0 ) along which u(x, y) approaches the two
distinct values u1 and u2 respectively, then u(x, y) does not have a limit as (x, y) → (x0 , y0 ).
Let f (z) be a complex function the complex variable z that is defined for all values of z in
some neighborhood z0 , except perhaps at the limit w0 as z approaches z0 , provided that
the values f (z) gets close to w0 as z gets close and we write,

lim f (z) = w0 (2.2.11)


z→z0

Since the distance between the points z and z0 can be expressed by |z − z0 |, we can give
a precise definition of the limit. For each positive number  > 0 there exists δ > 0 such
that
|f (z) − w0 | < , whenever0 < |z − z0 | < δ (2.2.12)

Theorem 2.2.2. Let f (z) = u(x, y)+iv(x, y) be a complex function that is defined in some
neighborhood of z0 , except perhaps at the point z0 = x0 +iy0 then, lim f (z) = w) = u0 +iv0
z→z0
if and only if lim u0 and lim = v0
(x,y)→(x0 ,y0 ) (x,y)→(x0 ,y0 )

Theorem 2.2.3. Let lim f (z) = A and lim g(z) = B. Then, lim [f (z) ± g(z)] = A ± B
z→z0 z→z0 z→z0
lim f (z)g(z) = AB
z→z0
lim f (z) = A
, B 6= 0.
z→z0 g(z) B

Let u(x, y) be a real valued function of the two real variables x and y. We say that u
is continuous at point (x0 , y0 ) if the following three conditions are satisfied.

(i) lim u(x, y) exists,


(x,y)→(x0 ,y0 )

(ii) u(x0 , y0 ) exists,

17
(iii) lim → (x0 , y0 )u(x, y) = u(x0 , y0 ).
(x,y)

Let f (z) be complex function of the complex variable z that is defined for all values of z
in some neighborhood of z0 . We say that f is continuous at z0 if the following condition
are satisfied

(i) lim f (z) exists,


z→z0

(ii) f (z0 ) exists,

(iii) lim f (z) = f (z0 ).


z→z0

A complex function is continuous if and only if its real imaginary parts u and v are
continuous

Theorem 2.2.4. Let f(z)=u(x,y)+iv(x,y) be defined in some neighborhood of z0 . Then f


is continuous at z0 = x0 + iy0 if and only if u and v are continuous at (x0 , y0 )

Theorem 2.2.5. Suppose that f and g are continuous at the point z0 . Then the following
functions are continuous at z0 :
their sum f (z) + g(z),
their difference f (z) − g(z),
their quotient fg(z)
(z)
provided that g(z) 6= 0.
their composition f (g(z)) provided that the function f (z) is continuous in a neighborhood
of the point g(z0 ).

18
CHAPTER 3

Analytic and harmonic functions.

3.1 Differentiable functions


Let f be a complex function that is defined at all points in some neighborhood of z0 . The
derivative of f at z0 is written f 0 (z0 ) and is defined by the equation

f (z) − f (z0 )
f 0 (z0 ) = lim (3.1.1)
z→z0 z − z0

provided that the limit exists. The function f is said to be differentiable at z0 if it has
derivative at z0 . If we write, ∆z = z − z0 , then definition (3.1.1) can be expressed in the
form

f (z0 + ∆z) − f (z0 )


f 0 (z0 ) = lim (3.1.2)
∆z→0 ∆z

dw
If we let w = f (z) and ∆w = f (z) − f (z0 ), then the notation dz
for the derivative is
expressed by
dw ∆w
f 0 (z0 ) = = lim (3.1.3)
dz ∆z→0 ∆z

We must pay careful attention to the complex value ∆z in equation (3.1.3) , since the
value of the limit must be independent of the manner in which ∆z → 0. If we can find
two curves that end at z0 along which ∆w
∆z
approach distinct values, then ∆w
∆z
does not have
a limit as ∆z → 0 and f does not have a derivative at z0 .

19
Our definition for complex functions is formally the same as for real functions and is
the natural extension form real variables to complex variables. The basie differentiation
formulas follow identically as in the case of real functions and we obtain the same rules
for differentiating powers,sums,products,quotients and composition of functions.

d
0 = 0, where 0 is a complex (3.1.4)
dz
d n
z = nz n−1 , n is a positive integer. (3.1.5)
dz
d
[cf (z)] = cf 0 (z) (3.1.6)
dz
d
[f (z) + g(z)] = f 0 (z) + g 0 (z) (3.1.7)
dz
d
[f (z).g(z)] = f 0 (z)g(z) + f (z)g 0 (z) (3.1.8)
dz 
f 0 (z)g(z) − f (z)g 0 (z)

d f (z)
= , g(z) 6= 0 (3.1.9)
dz g(z) [g 0 (z)]2
d
f (g(z)) = f 0 [g(z)].g 0 (z) (3.1.10)
dz  
d 1 −n
= , z 6= 0, n is a positive integer. (3.1.11)
dz z n z n+1
d
[f (z)]n = n[f (z)]n−1 .f 0 (z), n is a positive integer. (3.1.12)
dz
Theorem 3.1.1

If f is differentiable at z0 , then f is continuous at z0 .

Proof:

Since f is differentiable at z0 , we have,


f (z) − f (z0 )
lim = f 0 (z0 )
z→z0 z − z0
To prove lim f (z) = f (z0 )
z→z0
f (z) − f (z0 )
lim [f (z) − f (z0 )] = lim .(z − z0 )
z→z0 z→z0 z − z0
f (z) − f (z0 )
= lim . lim (z − z0 )
z→z0 z − z0 z→z0
0
= f (z0 ).0
= 0
∴ lim f (z) = f (z0 )
z→z0

20
∴ f is continuous at z0 .

Theorem 3.1.2(L Hôpital’s Rule).

Let f and g be differentiable at z0 . Id f (z0 ) = 0 and g(z0 ) = 0, but g 0 (z0 ) 6= 0, then

f (z) f 0 (z0 )
lim = 0
z→z0 g(z) g (z0 )
Proof

Since f (z0 ) = g(z0 ) = 0, we can write,


f (z) f (z) − f (z0 )
lim = lim
z→z0 g(z) z→z0 g(z) − g(z0 )

f (z) − f (z0 )/(z − z0 )


= lim
z→z0 g(z) − g(z0 )/(z − z0 )

f 0 (z0 )
= 0
g (z0 )
0
Limits involving 0
are easy to find using L Hôpital’s Rule.

Example

Show that the function f (z) = z̄ = x − iy is nowhere differentiable.


Let z0 = x0 + iy0 be an arbitrary point. Choose horizontal and vertical lines through the
point z0 = x0 + iy0 . For the horizontal approach to z0 set z = x + iy0 . Then
f (z) − f (z0 )
f 0 (z0 ) = lim
z→z0 z − z0
f (x + iy0 ) − f (x0 + iy0 )
= lim
(x,y0 )→(x0 ,y0 ) x + iy0 − (x0 + iy0 )
x − iy0 − (x0 − iy0 )
= lim
x→x0 x − x0
= 1
Along the vertical approach to z0 , we have z = x0 + iy. Then
f (x + iy0 ) − f (x0 + iy0 )
f 0 (z0 ) = lim
(x,y0 )→(x0 ,y0 ) x + iy0 − (x0 + iy0 )
x − iy0 − (x0 − iy0 )
= lim
y→y0 iy − iy0
−iy + iy0
= lim
y→y0 iy − iy0
= −1

21
Since the limits along the two approaches are different, f is not differentiable at z0 . Since
z0 is arbitrary f (z) is nowhere differentiable.

3.2 The cauchy riemann equations


Theorem 3.2.1. (Cauchy- Riemann Equations) Let f (z) = U (x, y) + iV (x, y) be
differentiable at the point z0 = x0 + iy0 . Then the partial derivatives of U and V exists at
the point (x0 , y0 ) and satisfy the equations

Ux (x0 , y0 ) = Vy (x0 , y0 ) and Uy (x0 , y0 ) = −Vx (x0 , y0 ). (3.2.1)

Proof. We shall choose horizontal and vertical lines that pass through the point (x0 , y0 )
and compute the limiting values of ∆w
∆z
along these lines. Equating the two resulting limits
will result in (3.2.1).
For horizontal approach to z0 we set z = x + iy0 .

f (z) − f (z0 )
f 0 (z0 ) = lim
z→z0 z − z0
f (x + iy0 ) − f (x0 + iy0 )
= lim
(x,y0 )→(x0 ,y0 ) x + iy0 − (x0 + iy0 )
u(x, y0 ) − u(x0 , y0 ) + i[v(x, y0 ) − v(x0 , y0 )]
= lim
x→x0 x − x0
u(x, y0 ) − u(x0 , y0 ) v(x, y0 ) − v(x0 , y0 )
= lim + i lim
x→x0 x − x0 x→x0 x − x0
= ux (x0 , y0 ) + ivx (x0 , y0 )

∵ The last limits are recognized to be the partial derivatives of u and v with respect to x.

∴ f 0 (z0 ) = ux (x0 , y0 ) + ivx (x0 , y0 ) (3.2.2)

Along the vertical approach to z0 , we have z = x0 + iy.

f (z) − f (z0 )
f 0 (z0 ) = lim
z→z0 z − z0
f (x + iy0 ) − f (x0 + iy0 )
= lim
(x,y0 )→(x0 ,y0 ) x + iy0 − (x0 + iy0 )
u(x0 , y) − u(x0 , y0 ) + i[v(x, y0 ) − v(x0 , y0 )]
= lim
y→y0 i(y − y0 )
v(x0 , y) − v(x0 , y0 ) u(x0 , y) − u(x0 , y0 )
= lim − i lim
y→y0 y − y0 y→y 0 y − y0
= vy (x0 , y0 ) − iuy (x0 , y0 )

i.e f 0 (z0 ) = vy (x0 , y0 ) − iuy (x0 , y0 ) (3.2.3)

22
Since f is differentiable at z0 , the limits given by (3.2.2) and (3.2.3) must be equal.
Equating the real and imaginary parts in (3.2.2) and (3.2.3),

Ux (x0 , y0 ) = Vy (x0 , y0 ) and Uy (x0 , y0 ) = −Vx (x0 , y0 ).

Example 3.2.2. The function defined by


(z̄)2 x3 − 3xy 2 y 3 − x2 y
f (z) = = 2 + i
z x + y2 x2 + y 2
when z 6= 0 and f (0) = 0 is not differentiable ar the point z0 = 0. However the cauchy-
Riemann equations hold true at (0, 0). To verify this we must use the limits to calculate
the partial derivatives at (0, 0).

u(x, 0) − u(0, 0)
ux (0, 0) = lim
x→0 x−0
x3 −0
x2 +0
= lim =1
x→0 x
u(0, y) − u(0, 0)
uy (0, 0) = lim
y→0 y−0
0−0
= lim 3 = 0
y→0 y

v(x, 0) − v(0, 0)
vx (0, 0) = lim
x→0 x−0
0
= lim 3 = 0
x→0 x
v(0, y) − v(0, 0)
vy (0, 0) = lim
y→0 y−0
y 3 −0
y2
= lim =1
y→0 y
∴ Ux (x0 , y0 ) = Vy (x0 , y0 ) and Uy (x0 , y0 ) = −Vx (x0 , y0 ).
∴ Cauchy- Riemann equations are satisfied.

we now show that f is not differentiable at z0 = 0. Let z approaches 0 along the x-axis,
f (x + i0) − f (0)
f 0 (0) = lim
(x,0)→(0,0) x + i0 − 0
x−0
= lim =1
x→0 x − 0

Let z approaches 0 along the line x = t and y = t, then


f (t + it) − f (0)
f 0 (0) = lim
(t,t)→(0,0) t + it − 0
−t − it
= lim = −1.
t→0 t + it

23
Since the two limits are distinct, we conclude that f is not differentiable at the origin.

The next theorem will give us sufficient conditions under which we can use cauchy -
Riemann equations to compute the derivative f 0 (z0 ). They are reffered to as the cauchy -
Riemann conditions for differentiability.

Theorem 3.2.3. (Sufficient Conditions) Let f (z) = u(x, y) + iv(x, y) be a continuous


function that is defined in some neighborhood of the point z0 = x0 + iy0 . If all the partial
derivatives ux , uy , vx , vy are continuous at the point (x0 , y0 ) and if the cauchy- Riemann
equations

Ux (x0 , y0 ) = Vy (x0 , y0 ) and Uy (x0 , y0 ) = −Vx (x0 , y0 ).

hold, then f is differentiable at z0 , and the derivative f 0 (z0 ) can be computed with either
formula (3.2.2) or (3.2.3).

Example 3.2.4. The function f (z) = e−y cos x + ie−y sin x is differentiable for all z, and
its derivative is f 0 (z) = −e−y sin x + ie−y cos x. To show this we first write,

U (x, y) = e−y cos x and V (x, y) = e−y sin x

and compute the partial derivatives:

Ux (x, y) = −e−y sin x Vx (x, y) = e−y cos x


Uy (x, y) = −e−y cos x Vy (x, y) = −e−y sin x

∴ Ux = Vy and Uy = −Vx

We see that U, V, Ux , Uy , Vx , Vy are all continuous functions and that the Cauchy- Rie-
mannn equations hold for all values of (x, y). Hence using equation (2), we write,

f 0 (z) = Ux (x, y) + iVx (x, y)


= −e−y sin x + ie−y cos x

Theorem 3.2.5. Let f (z) = U (r, θ) + iV (r, θ) be a continuous function that is defined
in some neighborhood of the point z0 = r0 eiθ0 . If all partial derivatives Ur , Uθ , Vr , Vθ are
continuous at the point (r0 , θ0 ) and if the Cauchy - Riemann equations

1
Ur (r0 , θ0 ) = Vθ (r0 , θ0 ) and
r0
1
Vr (r0 , θ0 ) = − Uθ (r0 , θ0 )
r0

24
hold. then f is differentiable at z0 and the derivative f 0 (z0 ) can be computed by either
of the following formulas.

f 0 (z0 ) = e−iθ0 [Ur (r0 , θ0 ) + iVr (r0 , θ0 )] or


1
f 0 (z0 ) = e−iθ0 [Vθ (r0 , θ0 ) − iUθ (r0 , θ0 )].
r0
Example 3.2.6. If f is given by
1 1 θ 1 θ
f (z) = z 2 = r 2 cos + ir 2 sin
2 2

where the domain is restricted to r > 0 and −π < θπ, then the derivative is given by
1
f (z) = 1
2z 2
1 −1 θ 1 1 θ
= r 2 cos − i r− 2 sin
2 2 2 2

Solution: To show this we write,

1 θ 1 θ
U (r, θ) = r 2 cos and V (r, θ) = r 2 sin
2 2
1 −1 θ 1 −1 θ
Ur (r, θ) = r 2 cos , Vr (r, θ) = r 2 sin
2 2 2 2
1 1 θ 1 1 θ
Uθ (r, θ) = − r 2 sin , Vθ (r, θ) = r 2 cos
2 2 2 2
1
∴ Ur (r, θ) = Vθ (r, θ) and
r
1
Vr (r, θ) = − Uθ (r, θ)
r

25
∴ f 0 (z0 ) = eiθ [Ur (r, θ) + iVr (r, θ)]
 
−iθ 1 − 12 θ 1 −1 θ
= e r cos + i r 2 sin
2 2 2 2
 
1 −iθ θ θ
= .e cos + i sin
2 2 2
1 −iθ i θ
= .e .e 2
2
1 −i θ
= .e 2
2
1 iθ − 1
= (re ) 2
2
1 −1
= (z) 2
2
1
= 1
2z 2

3.3 Analysic and harmonic functions


Neighborhood: Let z0 be a point in the complex plane. Then the neighborhood of the
point z0 is defined as the set of all points for which |z − z0 | < ε. where ε is an arbitrary
small positive number, usually called the radius of this neighborhood. Thus a neighbor-
hood consists of all points of a disc, or circular region, including the center z0 but excluding
the points on the boundary circle.

Analytic Functions

The function f is said to be analytic at z0 if its derivative exists at each point z in


some neighborhood of z0 . If f is analytic at each point in the region R , then we say f is
analytic on the whole complex plane, then f is said to be entire. Point of nonanalyticity
are called singular points.

Example 3.3.1. Show that the function f (z) = x2 + y 2 + i2xy is nowhere analytic.
U (x, y) = x2 + y 2 and V (x, y) = 2xy.
Ux (x, y) = 2x Vx (x, y) = 2y
Uy (x, y) = 2y Vy (x, y) = 2x

Here Ux = Vx = 2x holds everywhere. But Uy = −Vx if and only if 2y = −2y which is


equivalent to 4y = 0. i.e y = 0. Thus f (x) is differentiable only at points that lie on the
x-axis. However for any point z = x0 + i0 on the x-axis and any δ- neighborhood of z0 ,the
point z1 = x0 + iδ/2 is a point where f is not differentiable. Thus f is not differentiable

26
in any full neighborhood of z0 , and consequently it is not analytic at z0 .

3.3.1 Harmonic Functions


Let φ(x, y) be a real- valued function of the two real variables x and y. The partial equation

φxx (x, y) + φyy (x, y) = 0 (3.3.1)

is known as Laplace’s equation and is sometimes referred to as the potentis equation. If


φ, φx , φy , φxx , φxy , φyx and φyy are all continuous and if φ(x, y) satisfies Laplace’s equation,
then φ(x, y) is called a harmonic function.

an important result for our studies is the fact that if f (z) = u(x, y) + iv(x, y) an ana-
lytic function, then both u and v are harmonic functions.

Theorem 3.3.2. Let f (z) = u(x, y) + iv(x, y) be an analytic function in the domain D.
If all the second-order partial derivatives of u and v are continuous, then both u and v are
harmonic functions.

Proof. Since f is analytic, u and v satisfy the Cauchy - Riemann equations.

i.eux = vy and uy = −vx (3.3.2)


(3.3.3)

If we differentiate both sides of (3.3.2) with respect to x, we obtain,

uxx = vyx and uyx = −vxx (3.3.4)


(3.3.5)

Similarly, if we differentiate both sides of (3.3.4) with respect to y, then we obtain,

uxy = vyy and uyy = −vxy (3.3.6)


(3.3.7)

Since the partial derivatives uxy , uyx , vxy and vyx are all continuous, a theorem from the
calculus of real functions states that the mixed partial derivatives are equal; that is

uxy = uyx and vxy = vyx (3.3.8)


(3.3.9)

If we use (3.3.4),(3.3.6) and (3.3.8) then it follows that uxx + uyy = vyx − vxy = 0 and
vxx + vyy = −uyx + uxy = 0. Then both u and v are harmonic functions.

27
Remark
If we are given a function u(x, y) that is harmonic in the domain D and if we can find
another harmonic function v(x, y), where their first partial derivatives satisfy the cauchy-
Riemann equations throughout D, then we say that v(x,y) is harmonic conjugate of u(x, y).
It then follows that the function f (z) = u(x, y) + iv(x, y) is analytic in D.
Theorem 3.3.3. construction of a conjugate Let u(x,y) be harmonic in an −neigbourhood
of the point (x0 , y0 ). Then there exists a conjugate harmonic function v(x, y) defined in
this neighbourhood and f (z) = u(x, y) + iv(x, y) is an analytic function.

Proof. The harmonic function u and its conjugate harmonic function v will satisfy the
cauchy riemann equations ux = vy and uy = −vx We can construct v(x,y) in a two-step
process. First integrate vy (which is equal to ux ) with respect to y
Z
v(x, y) = ux (x, y)dy + c(x) (3.3.10)

where c(x) is aa function of x alone. That is the partial derivative of c(x) with respect to
y is zero). Second, we are able to find c0 (x) by differentiate (3.3.10) with respect to x and
replacing vx with −ux on the left side:
Z
vx (x, y) = ux (x, y)dy + c0 (x) (3.3.11)

All terms except those involving x in (3.3.11) will cancel and a formula for c0 (x) involving
x alone will be revealed. Now elementary integration of the of the single variable function
c0 (x) can be used to discover c(x)
Example 3.3.4. Show that u(x, y) = xy 3 − x3 y is a harmonic function and find the
conjugate harmonic function v(x, y) The first partial derivative are ux (x, y) = y 3 − 3x2 y
and uy (x, y) = 3xy 2 − x3 To varify u is harmonic, we use the second partial derivatives
and see that uxx (x, y) + uyy = −6xy + 6xy = 0, which implies that u is harmonic. To
constract v(x, y), start with (3.3.11). We know ux = vy . Integrating vy w.r.t y
Z
v(x, y) = ux dy + c(x)
Z
= (y 3 − 3x2 y)dy + c(x)
y4 3 2 2
= − x y + c(x) (3.3.12)
4 2
Differentiate both sides w.r.t x, and use
uy (x, y) = −vx (x, y)
−u(x, y) = 0 − 3xy 2 + c0 (x)
−3xy 2 + x3 = −3xy 2 + c0(x)
x3 = c0 (x) (3.3.13)
4
integrating (3.3.13) c(x) = x4 + c, where c is a constant
4 4
∴ =⇒ v(x, y) = x4 − 23 x2 y 2 + y4 + c.

28
3.4 Exponential Function
Definition 3.4.1. The complex exponential function is

ez = ex cos y + iex sin y = ex (cos y + i sin y) (3.4.1)

When z is the pure imaginary number iθ then identity (3.4.1)

eiθ = cos θ + i sin θ (3.4.2)

This is Euler’s formula and was introduced in section 1.3. Another notation, exp z, is used
to denote the exponential function, and we write,

exp z = ex (cos y + i sin y) (3.4.3)

The notation in (3.4.3) is better than that in (3.4.1) for some situations. To prevent
confusion, we often use the notation (3.4.3) instead of notation (3.4.1) for exponential. In
this section,
f (z) = exp z = ez (3.4.4)
will always be used to denote the single-valued exponential function given in equation
(3.4.1) and (3.4.3)

Properties Using (3.4.4) and (3.4.3) and e0 = 1 we find that,

ez = 1forz = 2nπi, where n is an integer (3.4.5)

the equation
exp(z1 ) = exp(z2 ) (3.4.6)
holds if and only if z2 = z1 + 2kπ i,where k is some integer. The additive property of the
exponent function
exp(z1 + z2 ) = exp z1 exp z2 (3.4.7)
is valid for all complex values z1 and z2 To prove this, we write,

exp z1 = ex1 +iy1 exand


2 +iy2
exp z2 = ex2 eiy2 (3.4.8)

∴ exp(z1 + z2 ) = ex1 +iy1 ex2 +iy2


= e(x1 +x2 )+i(y1 +y2 )
= ex1 ex2 eiy1 eiy2
= ex1 eiy1 ex2 eiy2
= (exp z1 )(exp z2 )..

Let us investigate the modulus and argument of exp z. Definition 3.4.1 0f exponential
function w = ez can be used with polar coordinates w = p(cos φ + i sin φ) in the w-plane
to obtain
p(cos φ + i sin φ) = ez = ex (cos y + i sin y) (3.4.9)

29
and it is easy to see to in (3.4.9) that we must have

p = ex andφ = y (3.4.10)

Hence the modulus of ez is ex and an argument of ez is y. That is,

| exp z| = |ez |ex and (3.4.11)

arg exp z = arg ez = y + 2πn, nis an integer (3.4.12)


The function w = ez maps the entire complex plane c onto the set of of nonzero complex
numbers S = {w : w 6= 0}. To prove this we use polar coordinates in the w−plane. Each
nonzero number w 6= 0 can be written,

w = p(cos φ + i sin φ), where (3.4.13)

P = |w|andφ = arg w (3.4.14)


Since P is a positive real number, ln P exists and (3.4.1) becomes

w = eln p (cos φ + i sin φ)i.ew = exp(ln P + iφ) (3.4.15)

Therefore the points.


z = ln |w| + i(Argw + 2πn) (3.4.16)
where n is an integer are mapped onto w by we = exp z. This strip (3.4.15) is called the
fundamental period strip for the mapping w = exp z.
Note:
If θ0 is a value of arg z as follows

arg z = θ0 + 2nπ, n is an integer (3.4.17)

For a given nonzero complex number z, the value of arg z that lies in the range −π < θ < π
is called the principal value of arg z and is denoted by Argz. We write

arg z = θ, where − π < θ ≤ π (3.4.18)

from (3.4.3) and (3.4.1),we can easily see a relation between arg z and Argz

3.5 Trigonometric and hyperbolic function


The exponential function plays an important role in the development of the trigonometric
and hyperbolic functions. Euler’s formula can be written as eix = cos x + i sin x, and an
immediate consequence is the formula e−ix = cos x − i sin x By adding and subtracting
these equation we obtain the following formulas for cos x and sin x, respect
eix + e−ix
cos x = and (3.5.1)
2
30
eix − e−ix
sin x = (3.5.2)
2i
The natural extensions of (3.5.1) and (3.5.2) to functions of the complex variable z are
given by the equations
eiz + e−iz
cos z = and (3.5.3)
2
eiz − e−iz
sin z = (3.5.4)
2i
which serves as definitions for the complex sine and cosine functions.
The composite functions eiz = exp(iz) and e−iz = exp −iz are entire functions. Since
identities (3.5.3) and (3.5.4) involves linear combination of entire functions, it follows that
both cos z and sin z are entire functions, and their derivative are given by
d d
cos z = − sin z and sin z = cos z (3.5.5)
dz dz
The other trigonometric functions are defined in terms of sine and cosine functions and
are given by
sin z cos z
tan z = and cot z = (3.5.6)
cos z sin z
1 1
sec z = and csc z = (3.5.7)
cosz sin z
If we square both sides of the identities (3.5.3) and (3.5.4) and add the resulting terms,
then we obtain the trigonometric identity,

cos2 z + sin2 z = 1 (3.5.8)

which holds for all complex numbers z. The rules for differentiating a quotient can now
be used in (3.5.6) together with identity (3.5.8) to establish the differentiation rules,

d d
tan z = sec2 z and cot z = −csc2 z (3.5.9)
dz dz
The rules for for differentiation of powers will be held establish
d d
sec z = sec z tan z and csc z = −cscz cot z (3.5.10)
dz dz

we will find it useful to have formulas to compute cos z and sin z that are given in the
u + iv form. We would be wise to focus our attention on this problem. We start with cos z
and use identity (3.4.3) to write,

e−y+ix + ey−ix
cos z = (3.5.11)
2

31
Then Euler’s formula is used in (3.5.11) we obtain
1 −y
cos z = [e (cos x + i sin x) + ey (cos x − i sin x)]
2
ey + e−y ey − e−y
= cos x − i sin x.
2 2
At this point we must observe that the real hyperbolic cosine and hyperbolic sine on the
real variable y are given by

ey + e−y ey − e−y
cosh y = and sinh y = (3.5.12)
2 2
The identities in (3.5.12) are now used in (3.5.12) and the results is

cos z = cos x cosh y − i sin x sinh y (3.5.13)

A similar derivation leads to the identity ,

sin z = sin x cosh y + i cos x sinh y (3.5.14)

We set z = x + i0 in (3.5.13) and (3.5.14) and use the fact that cosh 0 = 1 and sinh 0 = 0,
then we see that
cos(x + i0) = cos xand sin(x + i0) = sin x (3.5.15)
Which shows that cos z and sin z are extensions of cos x and sin x to the complex case.
The standard trigonometric identities are valid for complex variables:

sin(z1 + z2 ) = sin z1 cos z2 + cos z1 sin z2 and (3.5.16)

cos(z1 + z2 ) = cos z1 cos z2 − sin z1 sin z2 (3.5.17)

when z1 = z2 , identities (3.5.16) and (3.5.17) becomes

sin 2z = 2 sin z cos zand cos 2z = cos2 z − sin2 z (3.5.18)

Other useful identities are,

sin(−z) = − sin zand cos(−z) = cos z (3.5.19)

π π π
sin( + z) = sin( − z)and sin( − z) = cos z (3.5.20)
2 2 2
Identities involving modulus of cosine and sine ae also important. If we start with identity
(3.5.14) and compute the square of the modulus of sin z, the results is

| sin z|2 = | sin x cosh y + i cos x sinh y|2


= sin2 x cosh2 y + cos2 x sinh2 y
= sin2 x(cosh2 y − sinh2 y) + sinh2 (cos2 x + sin2 x).

32
Using the hyperbolic identity cosh2 y − sinh2 y = 1

| sin z|2 = sin2 x + i sinh2 y (3.5.21)

A similar derivation shows that,

| cos z|2 = cos2 x + sin h2 y (3.5.22)

The hyperbolic cosine and hyperbolic sine of a complex variable are defined by the equation

ez + e−z ez − e−z
cosh z = and sinh z = (3.5.23)
2 2
The other hyperbolic functions are,
sinh z cosh z
tanh z = and coth z = (3.5.24)
cosh z sinh z

1 1
sechz = andcschz = (3.5.25)
cosh z sinh z
The derivatives of the hyperbolic functions follows the same rules as calculus
d d
cosh z = sinh z, sinh z = cosh z (3.5.26)
dz dz

d d
tanh z = sec2 hz, coth z = −csc2 hz (3.5.27)
dz dz
d d
sechz = −sechz tanh z, cschz = −cschz coth z (3.5.28)
dz dz
Also

cosh z = cosh x cos y + i sinh x sin yand sinh z = sinh x cos y + i cosh x sin y (3.5.29)

other identities are


cosh(iz) = cos zand sinh(iz) = i sin z (3.5.30)

sin(iz) = i sinh zand cos(iz) = cosh z. (3.5.31)

cosh2 z − sinh2 = 1 (3.5.32)

sinh(z1 + z2 ) = sinh z1 cosh z2 + cosh z1 sinh z2 (3.5.33)

cosh(z1 + z2 ) = cosh z1 cosh z2 + sinh z1 sinh z2 (3.5.34)

cosh(z + 2πi) = cosh z (3.5.35)

33
sinh(z + 2πi) = sinh z (3.5.36)

cosh(−z) = cosh z and (3.5.37)

sinh(−z) = − sinh z (3.5.38)

34
CHAPTER 4

Complex integration

4.1 Complex integrals


To introduce the integral of a complex function, we start by defining what is meant by
the integral of a complex valued function of res=al variable. Let

f (t) = u(t) + iv(t) for a ≤ t ≤ b (4.1.1)

where u(t) and v(t) are real valued functions of the real variable f 4.If u4 and v are
continuous functions on the interval, then from calculus we know that u and v are inte-
grable functions of t. Therefore we make the following definition for the definite integral
of f Z b Z Z b b
f (t)dt = u(t)dt + i v(t)dt (4.1.2)
a a a
Definition (4.1.2) is implemented by finding the antiderivatives os u and v and evaluating
the definite integrals on the right side of the equation (4.1.2). That is, if u0 (t) = u(t) and
v 0 = v(t), the
Z b
f (t)dt = u(b) − u(a) + i[v(b) − v(a)] (4.1.3)
a
Complex integrals have properties that are similar to those of real integrals. Let f (t) =
u(t) + iv(t) and g(t) = p(t) + iq(t) be continuous on the interval a ≤ t ≤ b then,
Z b Z b Z b
[f (t) + g(t)]dt = f (t)dt + g(t) (4.1.4)
a a a

Z b Z c Z b
f (t)dt = f (t)dt + f (t)dt (4.1.5)
a a c

35
Z b Z b
[c + id]f (t)dt = (c + id) f (t)dt (4.1.6)
a a

Z b Z a
f (t)dt = − f (t)dt (4.1.7)
a b

Z b Z b Z b
f (t)g(t)dt = [u(t)p(t) − v(t)q(t)]dt + i [u(t)q(t) + v(t)p(t)]dt (4.1.8)
a a a

if u and v are differentiable on a < t < b and F (t) = u(t) + iv(t), then F 0 (t) = u0 + iv 0 (t),
and equation (4.1.3) takes on the familiar form
Z b
f (t)dt = F (b) − F (a), whereF 0 (t) = f (t) (4.1.9)
a

This can be viewed as an extension to the Fundamental theorem of calculus. In particular,


we have the following important case of (4.1.9)
Z b
f 0 (t) = f (b) − f (a) (4.1.10)
a

Contours and contour integrals

Letx = x(t) and y = y(t) be two continuous functions of the real parameter t that are
defined for values of t in the interval a ≤ t ≤ b. Then a curve C in the plane that joins
the points (x(a), y(b)) is given by

C : z(t) = x(t) + iy(t)fora ≤ t ≤ b (4.1.11)

C is said to be simple if it does not cross itself, which is expressed by requiring that z(t1 ) 6=
z(t2 ), whenever t1 6= t2 . A curve C with the property that z(b) = z(a) is said to be a closed
curve. If z(b) = z(a) is the only intersection, then we say that C is a simple closed curve.
The complex valued function z(t) in (4.1.11) is said to be differentiable if both x(t) and
y(t) are differentiable for a ≤ t ≤ b. The derivative z 0 (t) with respect to t is defined by
the equation
z 0 (t) = x0 + iy 0 (t)fora ≤ t ≤ b (4.1.12)
If z0 = x0 + iy0 and z1 = x1 + iy1 are two given points, then the straight line segment
joining z0 to z1 is

C : z(t) = [x0 +(x1 −x0 )t]+i[y0 +(y1 −y0 )t], 0 ≤ t ≤ 1 OR C : z(t) = z0 +(z1 −z0 )t, for0 ≤ t ≤ 1.
(4.1.13)
The curve C defined by (4.1.11) is said to be smooth if z 0 (t), given by (4.1.2) is continuous
and nonzero on the interval. If C is a smooth curve, then ds, the differential of arc length,
is given by p
ds = (x0 (t))2 + (y 0 (t))2 dt = |z 0 (t)|dt (4.1.14)

36
p
Since x0 (t)andy0(t) are continuous functions, then so is the function (x0 (t))2 + (y 0 (t))2 ,
and the arc length L of the curve is given by
Z bp Z b
L= 0 2 0 2
(x (t)) + (y (t)) dt = |z 0 (t)|dt (4.1.15)
a a

A curve C that is constructed by joining finitely many smooth curves end to end is called
contour. Let C1 , C2 , ..., Cn denote n smooth curves, then the contour C is expressed by
the equation,
C = C1 + C2 + ... + Cn (4.1.16)
A synonym for contour is path. We are now ready to define what is meant by a contour
integral or line integral of a complex-valued function f along a contour C. Since we are
dealing with a line integral, its value will depend in general upon both the integrand f
and the contour c. We will use the notation
Z
f (z)dz (4.1.17)
c

where the contour C is called the path of the integration. We choose to give a development
based on the method of evaluating complex integrals in section 4.1, together with property
(4.1.2) of a contour. To start with, Let us write dz
dt
instead of z 0 (t) in equation (4.1.2) and
then multiply both sides of this equation by dt. the results is

dz = z 0 (t)dt = [x0 (t) + iy 0 (t)]dt (4.1.18)

which is an expression for the complex differential dz. If we write, dz = dx + idy then the
real part and imaginary parts of (4.1.18) are given by

dx = x0 (t)dtanddy = y 0 (t) (4.1.19)

Which are recognized from the study of real calculus to be the differential of x(t) and y(t).
We can substitute dz given in (4.1.18) into (4.1.19) and obtain an an equivalent expression
for the arc length L of a contour C. We write
Z b Z
0
L= |z (t)|dt = |dz|wherea < b (4.1.20)
a c

Let f (z) = u(x, y)+iv(x, y) be a continuous function at each point z = (x, y) = (x(t), y(t))
of contour C with parametrization given by equation (4.1.11) and (4.1.12) . We are able
to make the following important definition.

Definition 4.1.1. contour integral


The contour integral of f(z) along C is defined to be
Z Z b
f (z)dz = f (z(t))z 0 (t)dt (4.1.21)
c a

37
Since defintion 4.1.1 involves the interals of the complex function f (z(t)z 0 (t)) of te real
variable t, we can use identity (4.1.19) of the section 4.1 to express (4.1.21) in the form
Z Z b Z b
0 0
f (z)dz = (u(x ) − v(y ))dt + (u(x0 ) − v(y 0 ))dt (4.1.22)
c a a

where u, v, x, y, x0 , y 0 are all functions of T , that is u = u(x(t), y(t)), v = v(x(t), y(t))


x0 = x0 (t), y 0 = y 0 (t)
If differentials are used, then (4.1.21) can be written in terms of line integrals of the
real-valued functions u and v and we write;
Z Z Z
f (z)dz = udx − vdy + i vdx + udy (4.1.23)
c c c

which is easy to remember, if we recall that f (z)dz = (u + iv)(dx + idy). Expressions


(4.1.21)-(4.1.23) all state the same mathematical concept.

4.2 Simply and multiply connected domain


A domain D is said to be simply connected if it has the property that any simple closed
contour C, contained in D has its interior contained in D. In other words, there are no
holes in a simply connected domain. A domain that is not simply connected is said to be
multiply connected domain.

Theorem 4.2.1. cauchy-Goursat theorem Let f be analytic in a simply connected


domain D. If C is a simple connected contour that lies in D, then
Z
f (z)dz = 0 (4.2.1)
c

Example 4.2.2. verify cauchy-Goursat theorem for f (z) = z 2 , the contour being the
circle |z| = 2. Firstly note that f (z) = z 2 is analytic inside |z| = 2. put z = 2eiθ , Then
z 2 = 4ei2θ and dz = 2ieiθ dθ then
Z Z 2π
f (z)dz = 4ei2θ .2ieiθ dθ
c 0
Z 2π
= 8i ei3θ dθ
0
ei3θ 2π
= 8i[ ]
3i 0
8 i6π
= [e − 1]
3
8
= [1 − 1]
3
= 0.

38
z2
R
Example 4.2.3. Show by cauchy-Goursat theorem, for f (z) = z−3 , c f (z)dz = 0, where
C is the unit circle |z| = 1. Here the only point where f(z) is not analytic is z=3. But
z=3
R is outside |z| = 1. Therefore f (z) is analytic inside and on |z| = 1. By the theorem
c
f (z)dz = 0
Theorem 4.2.4. Let z0 denote a fixed complex value. If C is a simple closedRcontour with
dz
positive orientation(counterclockwise) such that z0 lies interior to C , then c z−z 0
= 2πi
and
dz
R
c (z−z0 )n
= 0, where n 6= 1 is an integer
Theorem 4.2.5. If C is a simple closed contour such that the origin does not lie interior
1
R 1 C in which f (z) = zn is
to C, then there is a simply connected domain RD that contains
analytic. The cauchy Goursat theorem implies c f (z)dz = c zn dz = 0, provided that the
origin does not lie interior to C.

Theorem 4.2.6. Let C1 and C2 be two simple closed positive oriented contours such that
C1 lies interior to C2 . If f is Ranalytic in a Rdomain D that contains both C1 and C2 and
the region between them, then c1 f (z)dz = c2 f (z)dz

39
Theorem 4.2.7. cauchy’s integral formula Let f be analytic in the simply connected
domain D, and let C be a simple closed positivelyR oriented contour that lies in D. If z0 is
1 f (z)
a point that lies interior to C, then, f (z0 ) = 2πi c z−z0
dz

Proof. Since f is continuous at z0 if  > 0 is given, there is δ > 0 such that

|f (z) − f (z0 )| < whenever|z − z0 | < δ (4.2.2)

Choose r > 0 such that the circle C0 of radius r with center z0 lies entirely within the
interior of C.
∴ |z − z0 | = r (4.2.3)
f (z) is given to be analytic within and on C.

f (z)
∴ z−z0
is analytic at all points within and on C except at z = z0 . Hence by theorem
4.5 Z Z
f (z) f (z)
dz = dz (4.2.4)
c z − z0 c0 z − z0

Since z0 fixed, by theorem 4.3


Z Z
1 f (z0 )dz
∴ dzz − z0 = 2πi = (4.2.5)
c0 2πi c0 z − z0
Z Z
1 f (z) 1 f (z)
(4.2.4) =⇒ dz = dz
2πi c z − z0 2πi c0 z − z0

40
using (4.2.2),(4.2.3),and (4.2.5)
Z Z Z
1 f (z) 1 f (z) 1 f (z)
| dz − f (z0 )| = dz − dz
2πi c z − z0 2πi c0 z − z0 2πi c0 z − z0
|f (z) − f (z) |
Z
1
≤ |dz|
2π c0 |z − z0 |
1 |f (z) − f (z) |
Z
= |dz|
2π |z − z0 | c0
1 
< . .2πr
2π r
= .
Since  can be made arbitrarily small,
Z
1 f (z)
f (z0 ) = dz
2πi c z − z0
Hence the theorem
R z2
Example 4.2.8. Evaluate c z−2 dz, where c is the circle |z| = 3 Here f (z) = z 2 is analytic
in |z| = 3 and z0 = 2 is inside the circle |z| = 3. ∴ By cauchy’s integral formula
z2
Z
dz = 2πif (z0 )
c z −2
= 2πif (2)
= 8πi.
R exp z
Example 4.2.9. Show that c z−1 dz = i2πe , where c is the circle —z—=2 with positive
orientation. Here f (z) = exp z = ez and z0 = 1 is inside the circle c. ∴ By cauchy’s
integral formula,
Z
exp z
dz = 2πf (z0 )
c z −1
= 2πif (1)
= 2πie.

Derivatives of Analytic Functions


If f (z) is analytic in a region R bounded by a simple closed curve C, the its derivatives of
all orders exist at each point of R and each derivative is analytic throughout R.
Theorem 4.2.10. cauchy’s integral formula for derivatives
Let f be analytic function in the simply connected domain D, and c be a simple closed
positively oriented contour that lies in D. If z0 is a point that that lies interior to c, then
Z
n n! f (z)
f (z0 ) = dz
2πi c (z − z0 )n+1
when n = 1 Z
0 1 f (z)
f (z0 ) = dz
2πi c (z − z0 )2

41
Extension of cauchy-Goursat theorem
If f (z) is analytic in a simply-connected domain D, then the integral along any rectifiable
curve in D joining any two given points of D is the same, i.e, it is independent of the path
joining the points.

20.jpg
Let the two points A(z1 ) and B(z2 ) of the simply-connected domain D be joined by
the curves C1 and C2 as shown in figure. Now by cauchy-Goursat theorem,
Z
f (z)dz = 0
AP BQA
i.e Z Z
f (z)dz + f (z)dz = 0
AP B BQA
i.e Z Z
f (z)dz − f (z)dz = 0
AP B AQB
i.e Z Z
f (z)dz = f (z)dz
c1 c2
If C is a closed curve and C1 , C2 , C3 . the other closed curves which lie inside C and if a
function f (z) is analytic in the region between these curves and continuous on C, then,
Z Z Z
f (z)dz = f (z)dz + f (z)dz + . . .
c c1 c2

42
where integral along each curve is taken in the anticlockwise direction.

4.3 The fundamental theorems of integration


If a function f (z) is analytic in a simply connected region D and if z0 isR a fixed point and
z
z any point in this region then for all the paths z0 to z in the region, z0 f (z)dz is a one
valued function of the upper limit z and is called an indefinite integral or anti-derivative
of f

Theorem 4.3.1. Indefinite integral or antiderivate


Let f be analytic in the simply connected domain D. If z0 is a fixed point in D and if C
is any contour in DRwith initial point z0 and terminal point z, then the function given by
z
F (z) = c f (ζ)dζ = z0 f (ζ)dζ is analytic in D and F 0 (z) = f (z).
R

Proof. We first established tat the integral independent of the path of integration. Let z0
be a fixed point and z and other point in a simply-connected region and C1 and C2 be any
two curves in the region joining z0 to z. Them by extension of cauchy-Goursat theorem,
Z Z
f (ζ)dζ = f (ζ)dζ
c1 c2

∴ The contour integral in (1) is independent of path.


Z Z Z z
∴ f (ζ)dζ = f (ζ)dζ = f (ζ)dζ
c1 c2 z0
Rz
we now show that F 0 (z) = f (z) we have F (z) = z0
f (ζ)dζ
Z z+∆z
F (z + ∆z) = f (ζ)dζ
z0
Z z+∆z
F (z + ∆z) − F (z) = f (ζ)dζ
z
Z z+∆z
F (z + ∆z) − F (z) 1
= f (ζ)dζ
∆z ∆z z
Z z+∆
1
= [f (ζ) − f (z) + f (z)]dζ
∆z z
Z z+∆ Z z+∆z
1
= [f (ζ) − f (z)] + f (z)dζ
∆z z z
Z z+∆
1
= [f (ζ) − f (z)]dζ + f (z).
∆z z
Since f is continuous at z, then if  > 0, there is δ > 0 so that

|f (ζ) − f (z)| < whenever|ζ − z| < δ (4.3.1)

43
Z z+∆z
F (z + ∆z) − F (z) 1
| − f (z)| = k [f (ζ) − f (z)]dζk
∆z |∆z| z
Z z+∆z
1
≤ k |f (ζ) − f (z)||dζ|
|∆z| z
Z z+∆z
1
<  |dζ|
|∆z| z
< .

Now taking limits on both sides as ∆z → 0, we get

F 0 (z) = f (z)

Hence the theorem.


Theorem 4.3.2. Definite integrals Let f be analytic in a simply connected domain D,
then Z z1
f (z)dz = F (z1 ) − F (z0 )
z0
Rz
, where F is an antiderivative of f If F 0 = z0 ) f (z)dz = F (z1 ) − F (z0 ) If G is any other
antiderivative of f , i.e if G0 = f , then
Z z1
f (z)dz = G(z) − G(z0 ) (4.3.2)
z0

Let
H(z) = G(z) − F (z) (4.3.3)
. H(z) is analytic and H 0 (z) = 0, for all points z in D. Hence H(z) = k, where k is a
constant ∴ G(z) = F (z) + k by (4.3.3).
(4.3.2) Z z1
=⇒ f (z)dz = G(z1 ) − G(z0 ) = F (z1 ) − F (z2 )
z0

Hence the theorem

4.4 The theorems of Morera and Liouville’s


In this section we investigate some of the qualitative properties of analytic and harmonic
functions. Our first results shows that the existance of antiderivative for for a continuous
function is equivalent to the statement that the integral of f is independent of the path of
integration. This result is stated in a form that will served as a converse to the cauchy-
Goursat theorem.

TheoremR 4.4.1. Morera’s Theorem If f(z) is continuous in a simply connected domain


D and if c f (z)dz = 0 for every closed contour C in D, then f is analytic in D.

44
Rz
Proof. Select a point z0 in D and define F (z) = z0 f (ζ)dζ
R Rz
As c f (z)dz = 0, the value of the integral z0 f (ζ)dζ is independent of the path of the
Rz R z +∆
integration. Let F (zk ) = z0k f (ζ)dζ F (zk ∆z) = z0k f (ζ)dζ. F (zk + ∆z) − F (zk ) =
R zk +∆z
zk

zk ∆z
F (zk + ∆z) − F (zk )
Z
1
= [f (ζ) − f (zk ) + f (zk )]dζ
∆z ∆z zk
Z zk +∆ Z z+∆
1 1
= [f (ζ) − f (zk )]ζ + f (zk )dz
∆z zk ∆zk zk
Z zk +∆
1
= [f (ζ) − f (zk )dζ] + f (zk ).
∆z zk

Since f (z) is continuous at zk , Then if  > 0, there exists δ > 0 such that |ζ − zk |δ implies
that |f (ζ) − f (zk )| < .

(4.4.1)

Taking limits on both sides as∆z → 0, we get F 0 = f (zk ) i.e F 0 (zk ) exists and is equal to
f (zk ) since zk is any point within C, we have shown that F(z) is analytic in C and that
its derivative is f (z).The sequence of derivatives of F (z) exist i.e F 00 (z) = f 0 (z)exists for
all z in D ∴ f (z) is analytic within D.

Theorem 4.4.2. Cauchys inequality Let f (z) be analytic in the simply connected do-
main D taht contains the circle C : |z − z0 | = R. if |f (z)| ≤ M holds for all points z on
C, then |f n (z0 ) ≤ n!M
Rn
, n = 1, 2...

Proof. By cauchy’s integral formula for derivative


Z
n n! f (z)
f (z0 ) = dz
2πi c (z − z0 )n+1

Z
n n! f (z)
∴ |f (z) | = | dz|
2πi c (z − z0 )n+1
|f (z)|
Z
n!
≤ |dz|
|2πi| c |z − z0 |n+1
n!M
≤ 2πR
2πRn+1
n!M
≤ n = 1, 2...
Rn

Theorem 4.4.3. Liouville’s Theorem If f is an entire function and is bounded for all
values of z in the complex plane, then f is constant.

45
Proof. Suppose that |f (z)| ≤ M holds for all values of z. Let z0 be an arbitrary point.
Then we can use the circle C : |z − z0 | = R, and cauchy’s inequality with n = 1 implies
that
M
|f 0 | ≤
R
0 0 0
if R → ∞, |f | = 0 i.e f (z0 ) = 0. Hence f (z) = 0 for all z. If the derivative of an analytic
function is zero for all z, then it must be a constant function. therefore f is constant and
the theorem is proven.

46
CHAPTER 5

Series representation

Definition 5.0.1. Power series: A series of the type ∞ n


P
n=0 (z − zn ) where the terms are
variable such that z is a complex variable and an , z0 are complex constants is called a
power series.

Remark The second form of the power seriesP can always be reduced toPthe first by
∞ ∞ n
P∞if wen write, z = t + z0 , then n=0 an (z − z0 ) becomes n=0 an t so
change of origin .i.e
the simpler form n=0 z will always be consideredPin all discussions to follow. Absolute
convergence of power P series The power series ∞ n
n=0 an z is said to be absolutely
P con-n
n n
P
vergent if the series |a
Pn z | orn |an ||z | is convergent. However, if the P series an z
converges, but te series |an ||z | does not converge, then the power series an z n is said
to be conditionally convergent

5.1 Taylor’s series


Theorem 5.1.1. if f(z) be analytic within a circle C0 with centre at z0 and radius r0 ,
2 n n
then at each point inside C0 f (z) = f (z0 ) + (z−z 1!
0) 0
f (z0 ) + (z−z
2!
0)
f 00 + ... + (z−zn!
0) f
...
P∞ n f 0 (z0 )
= n=0 (z − z) where a0 = f (z0 )and an = n! and that infinity series converges to f (z)

Proof. Let z be any fixed point inside the circle C0 and write |z − z0 | = r. Then, r < r0
Let  be any other point on a circle | − z0 | = r1 denoted by C1 , where r < r1 < r0

47
As illustrated in the figure, then z is inside C1 and f is analytic within and on C1 . So
according to the cauchy’s integral formula, we have
Z
1 f ()
f (z) = (5.1.1)
2πi C1  − z

Now,
1 1
=
−z ( − z0 ) − (z− z0 )
 
1 1
=
 − z0 1 − z−z 0
−z0
  2  n−1 n 
1 z − z0 ) z − z0 z − z0 z − z0 1
= 1+ + + ... + +( .
 − z0  − z0  − z0  − z0  − z0 1 − z−z
−z0
0

1
∵ when α is any complex number other than unity, we have , 1−α
= 1 + α + α2 + α3 +
αn
... + αn−1 + 1−α

f () f ()n
 
f () f () f () f () n−1
∴ = +(z−z0 ) +...+(z−z0 ) +...+(z−z0 ) +
 − z0  − z0 ( − z0 ) ( − z0 )2 ( − z0 )n  − z

Dividing the above throughout by 2πi and integrating each term counter clockwise
around C1 w.r.t , we get ,
Z Z Z Z
1 f () 1 f () 1 f () n−1 1 f ()
d = d+(z−z0 ) d+...+(z−z0 ) d+Rn
2πi C1  − z 2πi C1  − z0 2πi C1 ( − z0 )2 2πi C1 ( − z0 )n
(5.1.2)

where
(z − z0 )n
Z
f ()
Rn = (5.1.3)
2πi C1 ( − z0 )n ( − z)
Now from (5.1.1),

48
1
R f ()
2πi
= f (z)
C1 −z
d
Also by the results on derivatives of analytic functions,

Z
1 f ()
= f (z0 )
2πi C1  − z0
Z
1 f () 1 0
= f (z0 )
2πi C1 ( − z0 )2 1!
Z
1 f () 1 00
= f (z0 )
2πi C1 ( − z0 )3 2!
.. ..
Z . .
1 f () 1
= f n−1 (z0 ).
2πi C1 ( − z0 )3 (n − 1)

Hence results (5.1.2) becomes,

(z − z0 ) 0 (z − z0 )2 00 (z − z0 )n−1 n−1
f (z) = f (z0 ) + f (z0 ) + f (z0 ) + ... + f (z0 ) + Rn (5.1.4)
1! 2! (n − 1)!

where
(z − z0 )n
Z
f ()
Rn − d
2πi C1 ( − z0 )n ( − z)
Again, since |z − z0 | = r and | − z0 | = r1 and | − z| ≥ r1 − r, it follows from (5.1.3) n that,
rn 2πr1 .M
when M denotes the maximum value of |f ()| on C1 |Rn | ≤] 2π . rn (r1 −r) = rr11−r
M r
r1

r
But r1
< 1 and therefore lim Rn = 0. Thus as n → ∞, the limit of the right-hand
n→∞
member of (5.1.4) is f (z). That is f (z) is represented by Taylor’s series:

(z − z0 ) 0 (z − z0 )2 (z − z0 )n n
f (z) = f (z0 ) + f (z0 ) + + f 00 (z0 ) + ... + f (z0 ) + ...∞
1! 2! n!
Remark
When z0 the above Taylor series reduces to

z 0 z2 zn
f (z) = f (0) + f (0) + + f 00 (0) + .. + f n (0)
1! 2! n!
which is known as maclaurins series

Example 5.1.2. Expand cos z about z = π2 , using Taylor’s series In the Taylor series,
take z0 = π2 Since cos z is analytic everywhere, we can take any circle C about the origin
π π
f (z) = cos z f ( ) = cos = 0
2 2
π
f 0 (z) = − sin z f 0 ( ) = −1
2

49
π
f 00 (z) = − cos z f 00 ( ) = 0
2
π
f 000 (z) = sin z f 000 ( ) = 1
2
.. ..
. .
(z− π2 ) 0 π (z− π )2
∴ cos z = f ( π2 ) + 1!
f ( 2 ) + f 0 ( π2 ) + 2!2 f 00 ( π2 ) + ..........
(z− π )3
= 0 − (z − π2 ) + 0 + 3!2 + .......
(z− π )3 (z− π )5
= −(z − π2 ) + 3!2 − 5!2 + ......

Using Maclaurin’s series, we can obtain the following expansions easily as in ordinary
calculus.

z2 zn
• ez = 1 + z
1!
+ 2!
+ ..... + n!
+ ......
z3 z5 2n+1
• sin z = z
1!
− 3!
+ 5!
z
− ..... + (−1)n (2n+1)! + .....
z2 z4 2n
• cos z = 1 − 2!
+ 4!
z
− ..... + (−1)n (2n)! + .....
z3 z5 z 2n+1
• sinh z = z + 3!
+ 5!
+ ..... + (2n+1)!
+ .......
z2 z4 z 2n
• cosh z = 1 + 2!
+ 4!
+ ..... + (2n)!
+ .....

• 1
1+z
= 1 − z + z 2 − z 3 + ...... + (−1)n z n + ....

• 1
1−z
= 1 + z + z 2 + z 3 + ...... + z n + ....

5.2 Laurent’s series


While Taylor’s series gives an expression of f (z) at a point z0 where f (z) is analytic,
Laurent’s series is an expansion at a point z0 where f (z) may not be analytic. But then
we take two concentric circles about z0 between and on them f (z) is analytic.
Theorem 5.2.1. Laurent’s Theorem.

If f (z) is analytic between and on two circles C1 and C2 having a common center z0
and radii r1 , r2 (r2 < r1 ), then at each point z between them f (z) is represented by a
convergent series of positive and negative powers of (z − z0 )

f (z) = ∞
P n
P∞
n=0 an (z − zn ) + n=1
where R
1 f ()
an = 2πi c1 (−z 0)
n+1 (n = 0, 1, 2...)
1
R
and bn = 2πi C2
each integral being taken counterclockwise

50
Proof. consider the closed contour (annular region) between C1 and C2 consisting of the
two circles C1 and C2 .

Let z be a point within the annulus and , a point either on C1 or C2 . Then by cauchy’s
integral formula,
1
R f ()
f (z) = 2πi C1 −C2 −z
d i.e
Z Z
1 f () 1 f ()
f (z) = − d (5.2.1)
2πi C1 ( − z) 2πi C1 ( − z)

51
taking the first integral in (5.2.1), we have
Z Z
1 f () f ()
d =
2πi C1 ( − z) C1 ( − z0 ) − (z − z0 )
Z
1 f ()
=  
2πi C1 z−z0
() 1 − −z0
 −1
f ()d z − z0
Z
1
=
2πi C1  − z0  − z0
  2  3
z − z0 z − z0 z − z0
Z
1 f ()d
= 1+ + +
2πi C1  − z0  − z0  − z0  − z0
 n
n−1 z−z0
−z0
 
z − z0
+ ... +  .
 − z0 z−z0
1 − −z0

αn

1
∴ = 1 + α + α2 + α3 ... + αn−1 + ]
1−α 1−α
Z Z Z Z 
1 f () f () 2 f ()d n−1 f ()d
= +(z−z0 ) 2
+(z−z0 ) +...+(z−z0 ) n
+Rn
2πi C1  C1 ( − z0 ) C1 ( − z0 ) C1 ( − z0 )
where  
z−z0
−z0
Z
1 f ()d
Rn = ×  
2πi C1 ( − z0 ) z−z0
1− −z0

(z − z0 )n
Z
f ()
= n
2πi C1 ( − z0 ) ( − z)
Let |f ()| ≤ M, in the region |z − z0 | = r0 , where r2 < r0 < r1 ; r1 , r2 being the radii of the
circles C1 and C2 respectively. Then | − z0 | = r1 > r0 and | − z| ≥ r1 − r0 .
 
1 r0 1
∴ |Rn | ≤ . M.2πr1
2π r1 r1 − r0
 n
r0 0
Since r1 < 1, rr1 → 0 as n → ∞ ∴ lim = 0
Rn
Z Z
1 f ()d 1 f ()
∴ + (z − z0 ) = 2
+
2πi C1 ( − z0 ) 2πi C1 ( − z0 )

f ()d n+1
Z
n 1
... +(z − z0 ) + ...
2πi C1 ( − z0 )
= a0 + a1 (z − z0 ) + a2 (z − z0 )2 + ... + an (z − z0 )n + ..

X
= an (z − z0 )n ,
n=0
(5.2.2)

52
where Z
1 f ()d
an =
2πi C1 ( − z0 )n+1
Taking the second integral in (5.2.1)

Z Z
1 f ()d 1 f ()d
− =
2πi C2 ( − z) 2πi C2 z − 
Z
1 f ()d
=
2πi C2 (z − z0 ) − ( − z0 )
Z
1 f ()d
=  
2πi C2 −z0
(z − z0 ) 1 − z−z0
 −1
 − z0
Z
1 f ()d
= 1−
2πi C2 (z − z0 ) z − z0
Z
1 f ()d
=  
2πi C2 −z0
(z − z0 ) 1 − z−z0
 n
2 −z
z−z0
  
 − z0  − z0  − z0 n−1
Z
1 f ()d
= 1+ + + ... + +  
2πi C2 (z − z0 ) z − z0 z − z0 z − z0 −z0
1− z−z0
 Z Z
1 1 1
= f ()d + ( − z0 )f ()d + ...
2πi (z − z0 ) C2 (z − z0 )2 C2
Z 
1 n−1
+ ( − z0 ) f ()d + Qn .
(z − z0 )n C2

where

Z 
n
1 f ()d z−z0
Qn = × −z0
2πi C2 (z − z0 ) 1 − z−z 0

( − z)n f ()d
Z
1 1
= . .
2πi (z − z0 )n C2 (z − )

Let |f ()| ≤ M on C2 , |z − z0 | = r0 > r2


| − z0 | = r2 and |z − | > r0 − r2
1 r2 n M 2πr2
∴ |Qn | ≤ . 0
π r0 r − r2
r2 r2 n

Since r0
< 1, r 0 → 0 as n → ∞

∴ lim Qn = 0
n→∞

53
Z Z
1 f ()d 1 1 1
∴− = . f ()d +
2πi C2 −z (z − z0 ) 2πi C2 (z − z0 )
Z Z
1 1 1
+ ( − z0 )f ()d + ( − z)2 d + ...
2πi C2 (z − z0 )3 2πi C2
Z
1 1
+ ( − z0 )n−1 f ()d + ...
(z − z0 )n 2πi C2
1 1 1
= + 2
+ ... + + ...
(z − z0 ) (z − z0 ) (z − z0 )n

X bn
= (5.2.3)
n=1
(z − z0 )n

where Z
1 f ()
bn =
2πi C2 ( − z0 )−n+1
Using (??) and (??) in (??), we have,
∞ ∞
X
n
X bn
f (z) = an (z − z0 ) +
n=0 n=1
(z − z0 )n

where Z
1 f ()d
an =
2πi C1 ( − z0 )n+1
and Z
1 f ()d
bn =
2πi C1 ( − z0 )−n + 1

Remark :
Since the integrands of the integrals in formula (5.2.3) and (5.2.3) are analytic functions
of  throughout the annular region, any closed contour C around the annulus can be used
as the path of integration in place of the circular paths C1 and C2 . Thus Laurent’s series
can be written,
X∞
f (z) = An (z − z0 ), r2 < |z − z0 | < r1
n=−∞

1
R f ()d
where An = 2πi C (−z0 )n+1

Example 5.2.2. 1.Find the two Laurent series expansions, in powers of z of the function’

54
1
f (z) = z(1+z 2 )
The singular points of the functions are z = 0 and z = ±i

1
f (z) = (1 + z 2 )−1
z
1
= (1 − z 2 + z 4 − z 6 ...)
z
1
= − z + z 3 − z 5 + ...when0 < |z| < 1
z

1 X 2n−1
= + z , 0 < |z| < 1
z n=1
(5.2.4)

when |z|, | z1 | < 1

1
∴ f (z) =
z3 +z
1
=
z (1 + z12 )
3

1 1
= 3
(1 + 2 )−1
z z
1 1 1
= 3
(1 − 2 + 7 − ... when
z z z

1 X
= (−1)n z −2n
z 3 n=0

X 1
= (−1)n , |z| > 1.
n=0
z 2n+3

1
Example 5.2.3. Expand z(z−1)
as Laurent’s series in powers of z and in Laurent’s series
of (z − 1) in

(i) Deleted disc 0 < |z| < 1

(ii) Region |z| > 0

i all z in the deleted disc 0 < |z| < 1, |z| < 1, so in this disc,
1 1 −1 
= −
z(z − 1) z 1−z
1
= − (1 − z)−1
z
−1
= − (1 + z + z 2 + z 3 + ...)
z
1
= − − 1 − z − z − z 2 ....
z

55
ii For all z in the region |z| > 1. So in this region | z1 | < 1, and therefore,
1 1
= 2
z(z − 1) z (1 − z1 )
1
= 2
z (1 − z1 )−1
1 1 1
= 2 (1 + + 2 + ...
z z z
1 1 1
= 2 + 3 + 4 + ....
z z z

5.3 Singularity, zeros and poles


the point z0 is called a singular point, or singularity, of the complex function f if f is
not analytic at z0 , but every neibourhood of z0 contains at least one point at which f is
1
analytic. For example, the function f (z) = (1−z) is analytic for all z 6= 1, but f is not
analytic at z0 = 1. Hence the point z0 = 1 is a singular point of f .
Types of singularity
1.Isolated singularity
The point z0 is called an isolated singularity of the complex function f , if f is not analytic
at z0 but is analytic in the punctured disk

0 < |z − z0 | < R
z+1
The function f (z) = z1 furnished a simple example. The function f (z) = z3 (z 2 +1) has three

isolated singular points, namely z = 0, z = ±i If f (z) is analytic in a domain D except


at z = z0 , which is an isolated singularity of f (z), then we can draw two concetric circles
with centre at z0 lying completely within the domain D. In the annular region between
these two circles, f (z) can be expanded as a Laurent’s series in the form
∞ ∞
X
n
X bn 1
f (z) = an (z − z0 ) + n
= P (z − z0 ) + G( ).
n=0 n=0
(z − z0 ) z − z0
 1  P∞ bn
Here the second part G z−z 0
= n=1 (z−z 0)
n is called the principal part and the first part
P∞ n
P (z − z0 ) = n=0 an (z − z0 ) , the regular part of f (z) in the neighbourhood of z0 .
Removable Singularity
If the principal part of f(z) as stated above contains no terms, i.e bn = 0, ∀n, Then the
singularity z = z0 is called a removable singularity of f (z) for example
sin(z − z0 )
f (z) =
(z − z0 )
1 1 1
(z − z0 ) − (z − z0 )3 + (z − z0 ) − ...
 
=
(z − z0 ) 3! 5!
2 4
(z − z0 ) (z − z0 )
= 1− + − ....
3! 5!
56
it has no terms containing −ve powers of (z − z0 ), ie the principal part of f (z) has no term
and therefore, z = z0 is a removable singularity. Thus the types of singularity which can
be made to disappear by defining the function suitably is termed as removable singularity.
So in the above case, the singularity can be removed by defining f (z0 ) = 1, then f is
analytic at z0
Essential singularity If there are infinite number of terms in the principal part, that
b1 b2
is , if the series z−z 0
+ (z−z 0)
n + ... does not terminate then z = z0 is called an essential
1
singularity of the function f (z). f (z) = e z = 1 + z1 + 2!z1 2 + 3!z1 3 + ... Above is an infinite
series of negative powers of (z − 0) and as such z=0 is an essential singularity.
The zeros of an analytic function A zero of an analytic function f (z) is value of z for
which f(z)=0 consider a function f that is analytic z0 and has the power series representa-
tion,

X
f (z) = an (z − z0 )n , validf or|z − z0 | < R
n=0
f (z0 )
where a0 = f (z0 ) and an = n!
If a0 = 0, then f (z0 ) = 0 so that z0 is a zero of f . If , in
addition ,
a0 = a1 = a2 = .... = ak−1 = 0
and ak 6= 0 then we say that f has a zero of order k at z0 . A zero of order one is called a
simple zero for example

z7 z11
f (z) = z sin z 2 = z 3 − + + ...
3! 7!
has a zero of order 3 at z0 = 0 consider the function f (z) = −1 − z + exp z

f 0 (z) = −1 + exp z

f 0 0(z) = exp z
f (0) = 0, f 0 (0) = 0 and f 0 0(0) = 1 ∴ f (z) has a zero of order k = 2 at z0 = 0.
Poles of analytic function In the Laurent’s series
∞ ∞
X
n
X bn
f (z) = an (z − z0 ) +
n=0 n=1
(z − z0 )n

if the principal part contains only a finite number of terms, then an integer m exists such
that the coefficients bm+1 , bm+2 ... all vanish and

X b1 b2 bm
f (z) = an (z − z0 )n + + + ...
n=0
(z − z0 ) (z − z0 )2 (z − z0 )m

when 0 < |z − z0 | < r, for some positive number r, where bm 6= 0. Then the isolated

57
singularity point z0 is called a pole of order m of the function f(z). For example

sin(z − z0 )
f (z) =
(z − z0 )4
1  (z − z0 )3 (z − z0 )5 
= (z − z0 ) − + ...
(z − z0 )4 3! 5!
1 1 1 1
= 3
− . + (z − z0 ) − ....
(z − z0 ) 3! (z − z0 ) 5!

Here the principal part of f(z) in which -ve powers of (z − z0 ) occurs, contains only two
terms. Also z = z0 is a pole of order 3

58
CHAPTER 6

Residue theory

Residue
Residue of f (z) at z0 , written as Res[f, z0 ], is the coefficient b1 , of (z − z0 )−1 in a Laurent
series expansion of f (z) if f (z) = exp( z2 ), then the Laurent series expansion has the form,
22 z3
f (z) = exp( z2 ) = 1 + z2 + 2!z 2 + 3!z 3 + ... ∴ Res[f, z0 ] = 2 Calculation of Residue

The calculation of a Laurent series expansion is tedious in most circumstances. Since the
residue at z0 involves only the coefficient b1 in the Laurent series expansion, we seak a
method to calculate the residue from special information about the nature of the singularity
at z0 If f has a removable singularity at z0 , then bn = 0 ∴ If z0 is removable singularity,
then Res[f, z0 ] = 0.
Residue at Poles

(i) If f has a simple pole at z0 , then Res[f, z0 ] = lim (z − z0 )f (z)


z→z0

1 k−1
(ii) If f has a pole of order k at z0 , then Res[f, z0 ] = lim d z (z
(k−1)! z→z dk−1
− z0 )k f (z)
0
2
Example 6.0.1. Find the residue of f (z) = z2z+4 at its poles poles of f (z) are given by
z 2 + 4 = 0 i.e z = ±2i Both the poles at z = 2i and z = −2i are simple poles.
R1 = Res[f, 2i]
= lim (z − 2i)f (z)
z→2i
z2
= lim (z − 2i)
z→2i (z + 2i)(z − 2i)
z2
= lim
z→2i z + 2i
4i2
=
4i
= i.

59
R1 = Res[f, −2i]
= lim (z + 2i)f (z)
z→−2i
z2
= lim (z − 2i)
z→−2i (z + 2i)(z − 2i)
z2
= lim
z→−2i z − 2i
4i2
=
−4i
= −i.
1
Example 6.0.2. Find the residue of f (z) = (z+1)3
at its pole. The pole is at z = −1 and
its order is 3.
R = Res[f, −1]
1 d2 1
= lim 2 (z + 1)3 .
2! z→−1 d z (z + 1)3
1 d2
= lim 2 (1)
2! z→−1 d z
= 0.
Theorem 6.0.3. Cauchy’s Residue Theorem Let D be a simply connected domain and Let
C be a simple closed positively oriented contour that lies in D. If f is analytic inside and
on C, except at the points z1 , z2 , ...zn that lies inside C, then,
Z
f (z)dz = 2πi(R1 + R2 + R3 + .. + Rn )
c
where Ri =Residue at zi
R 5z−2
Example 6.0.4. Evaluate c z(z−1) , where C is the circle |z| = 2 with positive orientation.
Here, the poles are at z = 0 and z = 1
R1 = Res[f, 0]
5z − 2
= lim (z − 0)
z→0 z−1
= 2.

R2 = Res[f, 1]
5z − 2
= lim (z − 1)
z→1 z(z − 1)
5z − 2
= lim
z→1 z
= 3.
5z − 2
Z

c z(z − 1)
= 2πi(R1 + R2 )
= 2πi(2 + 3)
= 10πi.

60
CHAPTER 7

Conformal Mapping

7.1 Transformation or mappings


We are familiar with the term graph of areal valued function f (x), i.e the relationship
y = f (x) gives rise to a correspondence between the points on exis of x and y. If we plot
these points (x, y) and join them by a smooth curve, then we obtain the graph of the
function. We shall now consider the complex valued function

w = f (z) = u + iv, wherez = x + iyandu(x, y) = uandv(x, y) = v (7.1.1)

As in the case of real valued function, we shall not have a graphical representation of the
above complex valued function. In this case planes known as z-plane and w-plane are
required each of the complex variable z and w respectively. We will however establish
correspondence between the points z-plane and w-plane by the help of (7.1.1). From
(7.1.1), corresponding to each point (x,y) in the z-plane , we shall have a point (u,v) in
the w-plane and these corresponding points are called images of each other. Because of the
above correspodence a curve or region z-plane is said to be transformed into or mapped
upon represented by the corresponding curve or regions in the w-plane.
Isogonal and conformal mappings If two curves C1 and C2 in the z-plane intersect
at the point z0 at an angle γ, then if the two corresponding curves S1 and S2 in the w-plane
intersect at the point w0 which corresponds to z0 at the same angle γ, then the mapping
(or transformation) is said to be isogonal. If the sense of rotation as well as the magnitude
of the angle γ is preserved, the mapping(or transformation) is said to be conformal.

61
....

7.2 Bilinear transformation


The transformation
az + b
w= , where (7.2.1)
cz + d
a, b, c, d are complex constants and ad − bc 6= 0, is called a bilinear transformation. It is
also known as moblus or linear fractional transformation. This transformation is conformal
only when dw dz
ad−bc
6= 0 i.e (cz+d)2 6= 0 i.e ad − bc 6= 0.
dw
A point at which dz = 0 is called a critical point of the bilinear transformation i.e if
ad − bc = 0. The inverse obtained by solving (7.1.1) for z,

−dw + b
z= is also a bilinear (7.2.2)
cw − a

7.3 Properties of bilinear transfomation


From (7.1.1), each point in the plane except z = −d c
corresponds to a unique point in a
−d
w-plane, z = c corresponds to the point at infinity in the w-plane. Similarly from (7.2.2),
each point in the w-plane, except w = ac maps into a unique point in the z-plane.
The are two points in the z-plane which will transform into themselves in the w-plane.
The two points are obtained from the equation
ac + b
z=
cz + d
i.e
cz 2 − (a − d)z − b = 0

62
unless a = d and b = c = 0, This equation has two roots i.e z has two values. These points
are called the invariant points of the transformation.
Further the bilinear transformation w = az+b
cz+d
depends on a, b, c,and d. It can be written
in the form a
z+1
w = cb
b
z + db
Hence if ab , dc , db are known, the transformation is fully determined. So to determine the
transformation three conditions are necessary. Hence if it is known that three given points
, say z1 , z2 , z3 map into w1 , w2 , w3 ,the transformation id uniquely determined. We have ,
w = az+b
cz+d
, wi = az i +b
czi +d
(i = 1, 2, 3...)

az + b az1 + b (ad − bc)(z − z1 )


w − w1 = − =
cz + d cz1 + d (cz + d)cz1 + d

similarly
(ad − bc)(z2 − z3 )
w2 − w3 =
(cz2 + d)(cz3 + d)

(ad − bc)(z − z3 )
w − w3 =
(cz + d)(cz3 + d)

(ad − bc)(z2 − z1
w2 − w1 =
(cz2 + d)(cz1 + d)

(w − w1 )(w2 − w3 ) (z − z1 )(z2 − z3 )
∴ =
(w − w3 )(w2 − w1 ) (z − z3 )(z2 − z1 )
Hence (7.2.2) gives the transformation which maps z1 , z2 , z3 into w1 , w2 , w3 respectively.

7.4 Fixed points and cross ratio


Definition 7.4.1. Fixed point: The points which coincide with their transformation are
called fixed point or invariant points of the transformation.

In other words, the fixed points of the transformation w=f(z) are obtained from the
equation z = f (z). cross ratio: if z1 , z2 , z3 , z4 are distinct points taken in the order in which
(z1 −z2 )(z3 −z4 )
they are written, then the cross ratio of these points is defined as (z 2 −z3 )(z4 −z1 )
The above
cross ratio is defined by(z1 , z2 , z3 , z4 )
Rule to write the cross ratio(z1 , z2 , z3 , z4 ) write down the four successive cyclic
differences

(i) z1 − z2

(ii) z2 − z3

63
(iii) z3 − z4

(iv) z4 − z1 write

(i) and

(iii) in the numerator and

(ii) and

(iv) on the denominator.

Remark The cross ratio will change if the order of the factors is changed. i.e for writing
(z3 , z1 , z2 , z4 ), we write down the four successive cyclic differences

i z1 − z2

ii z2 − z3

iii z3 − z4

iv z4 − z1

Now write down i and iii in the numerator and ii and iv in the denominator.
(z3 − z1 )(z2 − z4 )
(z3 , z1 , z2 , z4 ) = 6= (z1 , z2 , z3 , z4 )
(z1 − z2 )(z4 − z3 )

Number of distinct cross ratio Since the four letters

z1 , z2 , z3 , z4

can be arranged in 4! = 24 ways, there will be 24 cross ratios but as a matter of fact there
will be only six distinct cross ratios. This is so because if we interchange any two letters
and then interchange the remaining two , the cross ratio of the letters in this new order
will be the same. e.g interchanging z1 and z3 and z2 and z4 , then (z1 , z2 , z3 , z4 ) becomes
(z4 , z2 , z1 , z2 )

(z3 − z4 )(z1 − z2 )
(z4 , z2 , z1 , z2 ) =
(z4 − z1 )(z2 − z3 )
Above is the same as
(z1 , z2 , z3 , z4 ).
In all there will be 4 cross ratios each equal to (z1 , z2 , z3 , z4 ). The six distinct cross ratio
(each having four equivalents by the above rule) are written down below. In each of them
z1 is fixed and remaining three are arranged in six ways.

(z1 , z2 , z3 , z4 ), (z1 , z2 , z4 , z3 ), (z1 , z3 , z2 , z4 ),

(z1 , z3 , z4 , z2 ), (z1 , z4 , z2 , z3 ), (z1 , z4 , z3 , z2 )

64
Example 7.4.1. Find a bilinear transformation which maps the z1 = −2, z2 = 0, z3 = 2
into the points
w1 = 0, w2 = i, w3 = −i
Let w be the image of z under the required transformation we have,

(w, w1 , w2 , w3 ) = (z, z2 , z3 )

(w, 0, i, −i) = (z, −2, 0, 2)


i.e
(w − 0)(i + i) (z + 2)(0 − 2)
=
(0 − i)(−i − w) (−2 − 0)(2 − z)
i.e
2w z+2
=
w+i 2−z
i.e
2w(2 − z) = (w + i)(z + 2)
4w − 2wz = (z + 2)w + i(z + 2)
w(2 − 3z) = i(z + 2)
z+2
w=i
2 − 3z

65

You might also like