COURSE MATERIAL

MATHEMATICS-IV
(15A54402)

LECTURE NOTES

B.TECH

II - YEAR & II - SEM

Prepared by:

Dr. B. Nagabusanam, Assistant Professor

Department of H&S

VEMU INSTITUTE OF TECHNOLOGY

(Approved By AICTE, New Delhi and Affiliated to JNTUA, Ananthapuramu)
Accredited By NAAC & ISO: 9001-2015 Certified Institution
Near Pakala, P. Kothakota, Chittoor- Tirupathi Highway
Chittoor, Andhra Pradesh - 517 112
Web Site: www.vemu.org
 COURSE MATERIAL

JAWAHARLAL NEHRU TECHNOLOGICAL UNIVERSITY ANANTAPUR

II B.Tech II-Sem (E.C.E) T Tu C
3 1 3
(15A54402) MATHEMATICS -IV
(Common to ECE, EEE)
OBJECTIVES:
To enable the students to understand the mathematical concepts of special functions & complex variables
and their applications in science and engineering.
OUTCOMES:
The student achieves the knowledge to analyse the problems using the methods of special functions and
complex variables
UNIT – I:
Special Functions: Gamma and Beta Functions – their properties – Evaluation of improper integrals. Series
Solutions of ordinary differential equations (Power series and Frobenius Method).
UNIT – II:
Bessel functions – Properties – Recurrence relations – Orthogonality. Legendre polynomials – Properties –
Rodrigue’s formula – Recurrence relations – Orthogonality.
UNIT – III
Functions of a complex variable – Continuity – Differentiability – Analyticity – Properties – Cauchy-
Riemann equations in Cartesian and polar coordinates.Harmonic and conjugate harmonic functions – Milne
– Thomson method. Conformal mapping: Transformation of ez, Inz, z2, Sin z, cos z, Bilinear transformation
- Translation, rotation, magnification and inversion – Fixed point – Cross ratio – Determination of bilinear
transformation.
UNIT – IV
Complex integration: Line integral – Evaluation along a path and by indefinite integration – Cauchy’s
integral theorem – Cauchy’s integral formula – Generalized integral formula.Complex power series: Radius
of convergence – Expansion in Taylor’s series, Maclaurin’s series and Laurent series. Singular point –
Isolated singular point – Pole of order m – Essential singularity.
UNIT – V
Residue – Evaluation of residue by formula and by Laurent’s series – Residue theorem. Evaluation of
integrals of the type (a) Improper real integrals

TEXT BOOKS:
1.Higher Engineering Mathematics, B.S.Grewal, Khanna publishers.
2.Engineering Mathematics, Volume - III, E. Rukmangadachari & E. Keshava Reddy, Pearson Publisher

REFERENCES:
1. Mathematics III by T.K.V. Iyengar, B.Krishna Gandhi, S.Ranganatham and M.V.S.S.N.Prasad, S.Chand
publications.
2. Advanced Engineering Mathematics, Peter V.O’Neil, CENGAGE publisher.
3. Advanced Engineering Mathematics by M.C. Potter, J.L. Goldberg, Edward F.Aboufadel, Oxford.
 UNIT-I

SPECIAL FUNCTIONS-I

Beta Function

 x (1 − x )
m −1 n −1
The definite integral dx is called the Beta function and is
0

denoted by B (m, n) and read as “Beta m, n”. The above integral converges for m > 0,
n > 0.

1
 B ( m, n ) =  x m−1 (1 − x )
n −1
dx , where m > 0, n > 0.
0

Beta function is also called Eulerian integral of the properties of Beta functions.

(i) Symmetry of Beta function i.e. B (m, n) = B (n, m)


2
(ii) 
Trigonometric form B (m, n) = 2 sin 2 m−1  .cos 2 n−1  d
0

(iii) B (m, n) = B (m + 1, n) + B (m, n + 1)

(iv) If m and n are positive integers then B (m, n) =

( m − 1)!( n − 1)!
( m + n − 1)!

Other forms of Beta functions:

Form: Form-I:

  
x m−1 x n−1 y n−1
B ( m, n ) =  dx =  dx =  dy
(1 + x ) (1 + x ) (1 + y )
m+ n m+n m+n
0 0 0

(or)


y q −1
B ( p, q ) =  dy
0 (1 + y )
p+q

1
Hint: B ( m, n ) = x (1 − x )
n −1

m −1
dx
0

1
 1 dy
Put x = dx = −
1+ y (1 + y )
2

Form-II:

x m−1 + x n−1
1
B ( m, n ) =  dx (or)
(1 + x )
m+ n
0

x p −1 + x q −1
1
B ( p, q ) =  dx
(1 + x )
p+q
0

 
x m−1 x m−1 x m−1
1
Hint: B ( m, n ) =  (1 + x ) dx =  dx +  dx
(1 + x ) (1 + x )
m+ n m+ n m+ n
0 0 1

 

(I) (II)


x m−1
II.  (1 + x )
0
m+ n
dx

1 −1
Put x =  dx = 2 dy
y y

Form-III:


x m−1
B ( m, n ) = a b m n
 ( ax + b ) m+ n
dx
0

 
x m−1 x m−1
 ( ax + b ) 
m n m n
Hint: R.H.S a b m+ n
dx = a b m+ n
dx
 ax b  
b  b + b  
0 0

  


x m−1

m n
= a b m+ n
dx
0 m + n  ax 
b  + 1
 b 

2
 ax by b
Put = y  x= dx = dy
b a a

x m−1 (1 − x ) B ( m, n )
1 n −1

Form-IV:  ( x + a)
0
m+ n
dx =
a n (1 + a )
m

1
Hint: By def B ( m, n ) = x m −1 (1 + x )
n −1

0
dx … (1)

(1 + a ) y =  y   y+a−a
Put x= (1 + a )   = (1 + a )  
y+a  y+a  y+a 

 y+a a 
= (1 + a )  − 
 y+a y+a

 a 
= (1 + a ) 1 − 
 y+a

  −1   
dx = (1 + a )  0 − a     dy
  ( y + a )2   
   

a (1 + a )
dx = dy
( y + a)
2

 ( x − b) (a − x) dx = ( a − b ) B ( m, n ) , m  0, n  0
m −1 n −1 m + n −1
Form-V:
b

1
Hint: By def B ( m, n ) = x (1 − x )
n −1

m −1
dx
0

t −b
Put x =
a −b

dt
dx =
a −b

3
 
2
1  m +1 n +1
 sin  cos n  d = B 
m
1. , 
0
2  2 2 

B ( p, q + 1) B ( p + 1, q ) B ( p, q )
2. = = , p  0, q  0
q p p+q

e
−x
Gamma Function: The definite integral x n −1dx is called the Gamma function
0

and is denoted by  ( n ) and read as “Gamma n”.

The integral converges only for n > 0


 ( n ) =  e − x x n−1dx, where n  0
0

Gamma function is also called Eulerian Integral of the second kind. The integral


e
−x
x n −1dx does not converge if n  0 .
0

Properties of Gamma Function:

1. 1 =1

2. n = ( n − 1) ( n − 1) , n 1

3. n +1 = n n

4. n = ( n − 1)( n − 2 ) .....( n − r ) (n − r ),(n − r )  0

5. n + 1 = n n = n!

6. n + 1 = n !, n is a non-negative integer

m n
7. B ( m, n ) = , m  0, n  0
m+n

8. n (1 − n ) =
sin n

1 1
9.   = , − = −2 
2 2

4
 
10. n =  e − x .x n −1dx ( n  0 )
0

n +1
11. n= ( n  0, −1, −2, −3)
n
12. 0, ( −1) , ( −2 ) , ( −3) ….. are all undefined..

Note: 1. (n) is defined when n > 0.

2. (n) is defined when ‘n’ is a negative fraction

3. But n is not defined when n = 0 and n is a negative integer.



e
− x2
13. dx =
0
2
0

e
− x2
14. dx =
−
2


e dx = 
− x2
15.
−

5
Series Solutions of Ordinary Differential Equations

✓ Power Series:
An infinite series of the form


a (x − x ) = a0 + a1 ( x − x0 ) + a2 ( x − x0 ) + ...
n 2
n 0
n =0

where a0 , a1 , a2 ,... are real constants, is called a power series in powers of

( x − x0 ) .
✓ Analytic Function:
A function f(x) defined on an interval containing the point x = x0 is said to be
analytic at x0 if the Taylor series of f(x) given by

( x − x0 )
 n

n =0 n!
f n ( x0 ) ….. (1)

Exists and converges to f(x) for all x in the interval of convergence of eqn. (1)
✓ Ordinary Point:
A point x = a is called an ordinary point of the equation
d2y dy
2
+ P + Qy = 0 ….. (2)
dx dx
where P and Q are polynomials in x, if both the functions P and Q are analytic
at x = a.
That is, x = a is an ordinary point o the differential equation (1) if the
denominators of P and Q do not vanish for x = a i.e., P  , Q   .
✓ Singular Point:
If the point x = a is not an ordinary point of the differential equation
d2y dy
2
+ P ( x) + Q ( x) y = 0 ….. (1)
dx dx
then it is called a singular point of eqn. (1)
There are two types of singular points named Regular Singular Point, Irregular
Singular Point.
i. Regular Singular Point:
A singular point x = a of differential equation is called regular if both

( x − a ) P and ( x − a ) Q are analytic at x = a.

2

6
 i.e., ( x − a ) P and ( x − a ) Q are not infinite at x = a.
2

ii. Irregular Singular Point:

A singular point, which is not regular is called an irregular singular

point. Thus if ( x − a ) P and ( x − a ) Q are infinite at x = a, then x = a is an

2

irregular singular point.

✓ Power Series Solution about the Ordinary Point x = 0:
Working rule to solve the equation
d2y dy
2
+ P ( x) + Q ( x) y = 0 ….. (1)
dx dx
When x = 0 is an ordinary point of the equation.
S1. Assume the solution of eqn. (1) to be of the form.

y = a0 + a1 x + a2 x 2 + ..... + an x n + .... =  ar x n …… (2)
r =0

Where a0 , a1 , a2 ,..., are constants to be found.

dy d 2 y dy d2y
S2. Find , 2 from eqn (2) and substitute the values of y, and
dx dx dx dx 2
in eqn (1). The result of this substitution is an identity.
S3. Equate to zero the coefficients of the various powers of x. Now we will
get a number of equations involving a0 , a1 , a2 ,...

The result obtained by equating the coefficient of xn to zero is

called recurrence relation and it can be used to compute additional
constants.
S4. Determine the values of a2 , a3 , a4 ,... in terms of a0 and a1.

S5. Finally substitute the values of a2 , a3 , a4 ,... in eqn. (2) to get the desired

series solution involving two arbitrary constants a0 and a1.

✓ Frobenius Methods:
When x = a is a regularity singularity of the differential equation
d2y dy
P0 ( x ) 2
+ P1 ( x ) + P2 ( x ) y = 0 ..... (1)
dx dx
atleast one of the solutions can be expressed in the form

7
 
y = ( x − a)  a ( x − a)
m r
r
r =0

= ( x − a )  a0 + a1 ( x − a ) + a2 ( x − a ) + ....
m 2
 
where the exponent ‘m’ may be real or complex number.
The method for solving the eqn. (1) when x = 0 is a regular singularity is
based on this theorem and is called the Frobenius method.

8
 UNIT-II

SPECIAL FUNCTIONS-II

(Bessel Functions)

✓ Legendres’s Differential Equation

The differential equation

(1 − x ) y − 2 xy + n ( n + 1) y = 0
2
…. (1)

is known as the Legendre’s differential equation. Hence n is a real number.

The Legendre’s equation (1) can also be written as

d  2 dy 
(1 − x )  + n ( n + 1) y = 0
dx  dx 

✓ General Solution of Legendre’s Equation:

The Legendre’s eqn. (1) can be solved in series of ascending or descending
powers of x.
The solution of eqn. (1) in series is

y =  ar x k − r
r =0

CASE-1: If k = n,

 n ( n − 1) n− 2 n ( n − 1)( n − 2 )( n − 3) n − 4 
y = a0  x n − x + x − ...
 2 ( 2n − 1) 2.4. ( 2n − 1)( 2n − 3) 
Which is one solution of Legendre’s equation.
1.3.5... ( 2n − 1)
If a0 = then the above solution is called the Legendre’s
n!
function of first kind and it is denoted by Pn ( x ) .

CASE-2: If k = − ( n + 1)

9
 
y = a0  x − n−1 +
( n + 1)( n + 2 ) x − n−3 + ( n + 1)( n + 2 )( n + 3)( n + 4 ) x − n−5 + ...

 2 ( 2n + 3) 2.4. ( 2n + 3)( 2n + 5 ) 

Which is the other solution of Legendre’s equation.

n!
If a0 = then the above solution is called the Legendre’s
1.3.5...( 2n + 1)
function of second kind and it is denoted by Qn ( x )

Thus most general solution of Legendre’s equation is given by

y = aPn ( x ) + bQn ( x )
where a and b are arbitrary constants.
→ Pn ( x ) is a terminating series and gives what are known as Legendre’s

polynomials for different values of n.

We can write

( −1) ( 2n − 2r )! x n−2 r
N r

Pn ( x ) =  n
r =0 2 r !( n − 2r )!( n − r )!

Where
n / 2, if nis even
N =
( n − 1) / 2, if nis odd

✓ Rodrigue’s Formula:
1 dn 2
n (
Pn ( x ) = x − 1)
n
n
2 n! dx
✓ Legendre polynomials:
→ P0 ( x ) = 1

→ P1 ( x ) = x

→ P2 ( x ) =
1
2
( 3x 2 − 1)
→ P3 ( x ) =
1
2
( 5 x3 − 3x )

→ P4 ( x ) =
1
8
( 35 x 4 − 30 x 2 + 3)

10
 → P5 ( x ) =
1
8
( 63x 5 − 70 x 3 + 15 x )

Generating Function for Pn ( x ) :


(1 − 2 xt + t )
−1
2 2
=  Pn ( x ) + t n
n =0

Pn (1) = 1 and Pn ( −1) = ( −1)

n

✓ Orthogonality of Legendre polynomials:

0, if m  n

1

−1 Pm ( x ) Pn ( x ) dx =  2 , if m = n
 2n + 1

(or)
1
2
 Pm ( x ) Pn ( x ) dx =
−1
2n + 1
 mn

Where  mn is called ‘Kronecker delta’ and is defined by

0, if m  n
 mn = 
1, if m = n

✓ Laplace’s First integral for Pn ( x ) :

If n is a positive integer, then

n
1   d
Pn ( x ) = 0  x  x 2
− 1cos 


✓ Laplace’s Second integral for Pn ( x ) :

If n is a positive integer, then

 −( n +1)
1  
Pn ( x ) =
 0 
x  x 2
− 1cos  d


✓ Recurrence Relations:
→ ( 2n + 1) xPn ( x ) = ( n + 1) Pn+1 ( x ) + nPn−1 ( x )

→ nPn ( x ) = xPn ( x ) − Pn−1 ( x )

→ ( 2n + 1) Pn ( x ) = Pn+1 ( x ) − Pn−1 ( x )

→ ( n + 1) Pn ( x ) = Pn+1 ( x ) − xPn ( x )

11
 ( )
→ 1 − x 2 Pn ( x ) = n  Pn−1 ( x ) − xPn ( x ) 

( )
→ 1 − x 2 Pn ( x ) = ( n + 1)  xPn ( x ) − Pn+1 ( x )

✓ Beltrami’s Result:

( 2n + 1) ( x2 − 1) Pn ( x ) = n ( n + 1)  Pn+1 ( x ) − Pn−1 ( x )

✓ Chiristoffel’s Expansion:
Pn ( x ) = ( 2n − 1) Pn−1 ( x ) + ( 2n − 5) Pn−3 ( x ) + ( 2n − 9) Pn−5 ( x ) + ...
the last term of the series being 3P1 or P0 according as n is even or odd.
✓ Bessel’s Equation:
The differential equation
d2y
+ x + ( x 2 − n2 ) y = 0
2 dy
x 2
dx dx
where n is a positive constant, is known as Bessel’s Equation. Its particular
solutions are called Bessel’s functions of order n.
✓ Solution of Bessel’s Differential Equation:
n+2 r
 x
 (
−1)  
r

Jn ( x) =  2
r = 0 r ! ( n + r + 1)

In particular, Bessel’s functions of orders 0 and 1 are given by,

x2 x4 x6
J0 ( x) = 1 − + − + ...
22 22.42 22.42.62
x x3 x5
J1 ( x ) = − 2 + 2 2 + ...
2 2 .4 2 .4 .6
✓ Recurrence Formulae for J n ( x ) :

→ xJ n ( x ) = nJ n ( x ) − xJ n+1 ( x )

→ xJ n ( x ) = −nJ n ( x ) + xJ n−1 ( x )

1
→ J n ( x ) =  J n −1 ( x ) − J n +1 ( x ) 
2
x
→ Jn ( x) =  J n −1 ( x ) + J n +1 ( x ) 
2n 
d n
→  x J n ( x )  = x n J n −1 ( x )
dx

12
 d
→  x − n J n ( x )  = − x − n J n +1 ( x )
dx
✓ Generating Function for J n ( x ) :
x 1 
t− 
e 2 t 
=  t J ( x)
n =−
n
n

✓ Orthogonality of Bessel’s Functions:

0, if   

1

0 xJ n ( x ) J n (  x ) dx =  1  J n+1 ( ) 2 , if  = 
 2  

where  and  are the roots of J n ( x ) .

13
 UNIT-III

FUNCTIONS OF COMPLEX VARIABLE

Functions of complex variable:

Suppose “D” is set of a complex numbers. A rule ‘f’ defined on D which

assign to every Z in D a complex number “W” is called a function f and we write
w = f (Z ) .

Here Z is a complex variable and can be written as Z = x + iy x, y are real

and i = −1 .

The set D is called domain of definition of ‘f’. The set of all w = f ( Z )

where Z  D is called the range of f.

Since Z = x + iy and Z depends on x and y, we notice that u and v also depend

on x and y

i.e. u = u ( x, y ) and v = v ( x, y )

 w = f ( Z ) = u ( x, y ) + iv ( x, y ) . These u and v are called the real and

imaginary parts of W = f ( Z ) .

-Disc around W = W0 in the complex W-plane:

Let us represent all the complex numbers w = u + iv where u, v are real on a

rectangular system of Cartesian (u, v) co-ordinate plane. This is called the w-plane or
(u, v) plane.

Let W0 be a point represented on this plane. Then the set of all points w for
which w − w0   i.e.w : w − w0    is called the -disc around w0. This is

also called as an -neighbouring w0. w / 0  w − w0    called the deleted -disc

around W0.

14
 Similarly, we represent the complex number z = x + iy on the rectangular
system of Cartesian (x, y) plane, and this plane is referred to as Complex Z-plane (or)
(x, y) plane.

Limit and continuity:

Def: Limit of f(Z): A function w = f ( z ) is said to tend to limit ‘l´ as Z approaches a

point Z0, if for every real ‘’ we can find a positive “” such that f ( z ) − l   for

0  z − z0  s i.e. for every z  z0 in the -disc in Z-plane, f(z) has a value lying in

the -disc of w-plane.

 Lt f ( z ) = l
z → z0

Continuity: A function f(z) is said to be continuous at z = z0 if f (z0) is defined and

Lt f ( z ) = f ( z0 )
z → z0

(or)

A function ‘f’ is continuous at a point z0, if corresponding to each positive number , a

number  exists such that f ( z ) − f ( z0 )   whenever z − z0  

Def: f(z) is said to be continuous in a domain if it is continuous at every point of that

domain.

Derivative of f(z):

Let w = f ( z ) be a given function defined for all z in a neighbourhood of z0.

f ( z0 + z ) − f ( z0 )
If Lt exists, the function f(z) is said to be derivable at z0 and
z →0 z
the limit is denoted by f  ( z0 ) . f  ( z0 ) if exists is called the derivative of f(z) at z0.

f ( z ) − f ( z0 )
Taking z − z0 = z we noticed that f  ( z0 ) = Lt if f is
z → z0 z − z0
differentiable at each point of a set, then we say that f differentiable on that set.

15
Analytic functions:

Def: Let a function f(z) be derivable at every point z in an  neighbourhood of z0. i.e.
f  ( z ) exists for all z such that z − z0   whenever   0 .

Then, f(z) is analytic at z0.

Note: If f(z) is analytic at z0.

(i) f  ( z0 ) exists and (ii) f  ( z ) exists at every point z in a neighbourhood of z0.

Definitions:

Let D be the domain of complex numbers. If f ( z ) is analytic at every Z  D, f ( z )

is said to be analytic in the domain D.

❖ If f ( z ) is analytic at every point “z” on the complex plane, f(z) is said to be

entire function (or) integral function.

❖ A point at which an analytic function ceases to have a derivative is called a
singular point.
❖ An analytic function is also known as regular or holomorphic.
❖ If f  ( z0 ) does not exist then z = z0 is called a singular point of f ( z ) .

❖ If f  ( z ) exists at every point in a neighbourhood of z0 but f  ( z0 ) does not

exist, then z0 is said to be an isolated singular point of f ( z ) .

1
Eg: f (z) = is analytic at every point z  0
z

−1
f ( z ) = if z  0
z2

at Z = 0, f  ( z ) does not exists.

Z = 0 is an isolated singular point of ..

Cauchy-Riemann (C – R) Equations

16
 f ( z ) = w = u ( x, y ) + iv ( x, y ) z in domain R

u u v v
(i) , , , are continuous functions of x and y in R.
x y x y
u v u v
(ii) = , =−
x y y x

The above relations are known as Cauchy-Riemann equations.

❖ Laplace Equation: If f ( z ) = u ( x, y ) + iv ( x, y ) is analytic in a domain D,

 2u  2u
then u and v satisfy Laplace equation  2u = + =0 and
x 2 y 2
 2v  2v
 v= 2 + 2 =0
2

x y
❖ Harmonic Functions: Solutions of Laplace equations having continuous
second order partial derivatives are called Harmonic functions. Their theory is
called potential theory. Hence the real and imaginary parts of an analytic
function are harmonic functions.
 2  2
Thus the functions satisfying the Laplace equations + = 0 are known
x 2 y 2
as Harmonic functions.

Conjugate Harmonic function:

❖ If two harmonic functions u and v satisfy the Cauchy-Riemann in a domain D

and there are the real and imaginary parts of an analytic function ‘f’ in D then
v is said to be a conjugate Harmonic function of u in D.
(or)
❖ Two harmonic functions u & v which are such that u + iv is an harmonic
functions are called conjugate harmonic functions.
(or)
❖ If f ( z ) = u + iv is analytic and if u & v satisfy Laplace equation, the u and v

are called conjugate harmonic functions.

❖

17
Polar Form of Cauchy-Riemann Equations:

( )
❖ If f ( z ) = f rei = u ( r , ) + iv ( r , ) and f ( z ) is derivable at z0 = r0e
i0

then
u 1 V v 1 u
= =−
r r  r r 

Orthogonal Trajectories:

❖ Every analytic function of f ( z ) = u + iv defines two families of curves

u ( x, y ) = k1 , and v ( x, y ) = k2 forming an orthogonal system.

(or)
❖ If w = f ( z ) is an analytic function, then the family of curves defined by

u ( x, y ) = constant cuts orthogonally the family of curves v ( x, y ) = constant.

Conformal Mapping

✓ Mapping or Transformation:
The correspondence defined by the equation w = f ( z ) or u = u ( x, y ) and

v = v ( x, y ) between the points in the z-plane and w-plane is called a

‘mapping’ or transformation from z-plane to the w-plane.
✓ Conformal Mapping:
Suppose the mapping takes c1 and c2 are any two curves into the curves c1 and

c2 which are intersecting from P ( x0 , y0 ) to P ( u0 , v0 ) .

If the transformation is such that the angles between c1 and c2 at ( x0 , y0 ) is

equal both in magnitude and sense to the angle between c1 and c2 at ( u0 , v0 )

then it is said to be a conformal transformation at ..

✓ Sufficient conditions for w = f ( z ) to represent a conformal Mapping:

Let f ( z ) be an analytic function of z in a domain of the Z-plane and let

f ( z )  0 in D. Then w = f ( z ) is a conformal mapping at all points of D.

18
 dw
✓ The points where = 0 or  are called critical and the points where
dz
dw
 0 are called ordinary points.
dz
✓ Standard Transformations:
1) Translation: Consider the transformation w = z + C , where C is any
complex constant is a translation.
2) Expansion or contraction & Rotation (Magnification): Consider the
transformation w = Cz where C is any complex constant is an expansion.
1
3) Inversion: The mapping w = is called inversion.
z
✓ Bilinear Transformation (Mobius Transformation):
az + b
The transformation w = where a, b, c, d are complex constants
cz + d
and ad − bc  0 is known as ‘Bilinear Transformation’.
❖ A bilinear transformation is conformal.
❖ A bilinear transformation preserves cross ratio property of four points.

( w1 − w2 )( w3 − w4 ) = ( z1 − z2 )( z3 − z4 )
( w1 − w4 )( w3 − w2 ) ( z1 − z4 )( z3 − z2 )
❖ Three given distinct points z1 , z2 , z3 can always be mapped onto three

prescribed points w1 , w2 , w3 by one and only linear fractional transformation

w = f ( z) .
w − w1 w2 − w3 z − z1 z2 − z3
. = .
w − w3 w2 − w1 z − z3 z2 − z1

19
 UNIT-IV

COMPLEX INTEGRATION

Definition: A set of points (x, y) such that

x = x (t ) , y = y (t ) ( a  t  b)
Where x (t), y (t) are continuous functions of the real variable ‘t’ is called a
continuous arc. If two distinct values of ‘t’ correspond to the same point (x, y) the arc
is called a Jordan arc.

❖ If x ( a ) = x ( b ) , y ( a ) = y ( b ) and if no other two values of ‘t’ correspond to

the same point (x, y) the continuous arc is a simple closed curve.
❖ A simple closed curve is also called a Jordan curve.
Line integral: Let f ( z ) be a function of complex variable defined in a

domain D.
Let C be an arc in the domain joining from z =  to z =  .

Let C be defined by x = x ( t ) , y = y ( t ) ( a  t  b)
Where  = x ( a ) + iy ( a ) and  = x ( b ) + iy ( b )

❖ Cauchys (integral) theorem

❖ Let f ( z ) = u ( x, y ) + iv ( x, y ) , be analytic on and within a simple closed

contour ‘C’ and let f  ( z ) be continuous. Then

 f ( z ) dz = 0
C

❖ Cauchy-Goursat theorem for a multiply connected region

Let C denote a closed contour and C1 , C2 , C3 ...Ck be a finite number of closed

contours interior to ‘C’ such that the interiors of the .. s do not have any points
in common.
Let R be the region consisting of points on and within “C” except the interior
points of Cj. If B denotes the positively oriented boundary of the region R,

then  f ( z ) dz = 0 where f ( z ) is analytic in the region “R”.

B

20
 ❖ Indefinite integral:
If f ( z ) is analytic in a region R and P and Q are two points in ‘R’ then prove
Q

that  f ( z ) dz
P
is independent of the path joining P and Q.

❖ Cauchys integral formula:

Let f ( z ) be an analytic function everywhere on and within a closed contour

C. If Z = a is any point within C, then

1 f ( z)
f (a) =  dZ
2 i C Z − a
Where the integral is taken in the positive sense around “C”.

Generalization of Cauchys integral formula

❖ If f ( z ) is analytic on and within a simple closed curve “C” and if a is any

point within C, then

n! f ( z)
f n (a) =  dZ
2 i C ( Z − a )n+1

Complex Power Series

❖ A series of the form a Z n

n
is called a power series. If a Z n
n
converges at

Z = Z, then it converges absolutely Z such that Z  Z1 .

❖ If a Z n
n
converges for Z  R and diverges for Z  R , then R is called

the radius of convergence of the power series and Z = R is called the circle

of convergence of the power series.

❖ If R is the radius of convergence of the power series a Z n

n
, then the power

series converges uniformly for Z  R1  R .

Taylors theorem:

❖ Let f ( z ) be analytic at all points within a circle “C0” with centre at a and

radius “r”. Then at each point Z within C0

21
 f (a) f  ( a ) f n (a)
f ( z) = f (a) + ( − ) + ( − ) + + ( z − a ) ...
2 n
z a z a .....
1! 2! n!
(1)
i.e. the series on the right hand side in Eq. (1) converges to f ( z ) whenever

z − a  r0 .
The expansion in Eq.(1) on the R.H.S. is called the Taylors series expansion of
f ( z ) in powers of ( z − a ) (or) Taylors Series expansion of f ( z ) about
z=a.
❖ Maclaurins Series expansions:

z 2 z3 zn zn
i) ez = 1 + z + + + .... + ... =  z , i.e. z  
2! 3! n! n =0 n !

 ( ) 2 n +1
z3 z5 n z
ii) sin z = z − + ... =  ( −1) for z  
3! 5! n =0 ( 2n + 1)!

z2 z4 z 2n
cos z = 1 − + ... =  ( −1) . for z  
n
iii)
2! 4! n =0 ( 2n ) !

z 2 n+1
iv) sin h z =  for z  
n =0 ( 2n + 1)!


z 2n
v) cos h z =  for z  
n = 0 ( 2n ) !


1
=  ( −1) .z n , for z  1
n
vi)
1 + z n =0

1
vii) =  zn , for z  1
1 − z n =0

Laurents theorem:

❖ Let C1 and C2 be two circles given by z − a = r1 and z − a  r2

respectively where r2  r1 , and z is any point on C1 or C2.

❖ Let f ( z ) be analytic on C1 and C2 and throughout the region between the two

circles.

22
❖ Let Z be any point in the ring shaped region between the two circles C 1 and C2
then
 
bn
f ( z ) =  an ( z − a ) + 
n
.... (1)
( z − a)
n
n =0 n =1

1 f ( z )
2 i C1 ( z − a )n+1
Where an = dz .... (2)

1 f ( z )
2 i C2 ( z − a )− n+1
bn = dz .... (3)

Where the integrals are taken around C1 and C2 in the anti-clockwise.

The series in Eq.(1) is called the Laurents Series Expansion of f ( z ) around

z = z0 .

23
 UNIT-V

CALCULUS OF RESIDUES

Zero of an Analytic Function

A zero of an analytic function f ( z ) is a value of Z such that f ( z ) = 0

Particularly a point ‘a’ is called a zero of an analytic function f ( z ) if f ( a ) = 0 .

Zero of mth order:

If an analytic function f ( z ) can be expressed in the form

f ( z ) = ( z − a ) . ( z )
m

Where  ( z ) is analytic and  ( a )  0 , then Z = a is called zero of mth order

of the function f ( z ) .

Simple zero: Simple zero is a zero of order one

Eg:

f ( z ) = ( z − 1) , then z = 1 is an zero of order ‘3’.

3
i)

, then z =  is a simple zero of f ( z ) .

1
ii) f ( z) =
1− z
iii) f ( z ) = sin z , then z = 0,  , 2 ..... are simple zeros of f ( z )

iv) f ( z ) = e tan z , has no zeros since e z  0 z

❖ Singular points: A singular point (or singularity) of a function f ( z ) is the point

at which the function f ( z ) ceases to be analytic.

❖ Isolated singularity: A point z = a is called an isolated singularity of an analytic

function f ( z ) if

a) f ( z ) is not analytic at the point z = a

b) f ( z ) is analytic in the deleted neighbourhood of z = a i.e. there exists a

neighbourhood of the point z = a which contains no other singularity.

24
 ez
Eg: If f ( z ) = then z = i are two isolated singular points of f ( z ) .
z2 +1
2
If f ( z ) = then z =  , 2 , 3 .... are infinite number of isolated
sin z
singular points of f ( z ) .

❖ Poles of an analytic function: If z = a is an isolated singular point of an analytic

function f ( z ) then f ( z ) can be expanded in Laurents series about the point

z = a.
 
bn
f ( z ) =  an ( z − a ) + 
n
i.e. ….. (1)
( z − a)
n
n =0 n =1


bn
series of negative integral powers of ( z − a ) namely  ( z − a) n
is known as the
n =1

“Principal part” of the Laurents series of f ( z ) .

If the principal part contains a finite number of terms say “m”, (i.e. bn = 0 n

such that n > m) then the singular point z = a is called a poly of order m of f ( z ) .

“Simple pole” is a pole of order one.

z2
Eg: f ( z ) = then z = 1 is a simple pole and z = – 2 is a pole of
( z − 1)( z + 2 )
2

order 2.
❖ Essential singularity:
If the Principal part of f ( z ) contains an infinite number of terms i.e. the series

bn
 ( z − a)
n =1
n contains an infinite number of terms, then the point z = a is called

essential singularity of f ( z ) . In this case, Lt f ( z ) does not exist.

z →a

1 1
z z
e.g: z = 0 is an essential singularity of e , since the principal part of e contains
infinite number of terms containing negative powers of (z – 0).
❖ Removable singularity:
If the principal part of f ( z ) contains no term i.e. if bn = 0n , then the

singularity z = a is called removable singularity of f ( z ) .

25
 
In this case f ( z ) =  a ( z − a)
n
n
n =0

Here the singularity can be removed by defining f ( z ) at z = a in such a way that

it becomes analytic at z = a. Such a singularity is called removable singularity.

Thus if Lt f ( z ) exists finitely, then z = a is removable singularity.
z →a

1 − cos z
Eg:- f ( z ) = , then z = 0 is removable singularity.
z
❖ Singularities of Infinity:

1
in t ( z ) we obtain f   = F ( t ) . Then the nature of the singularity
1
Taking z =
t t
at z =  is defined to be the same as that of F ( t ) at t = 0

1
Eg: i) f ( z ) = z has a pole of order ‘3’ at z =  , since f   =
3 1
has a pole of
t  t3
order ‘3’ at t = 0.

1
1
ii) f ( z ) = e has an essential singularity at z =  , since f   = e t has an
z

t
essential singularity at t = 0.

in the Laurent series expansion of f ( z )

1
Residues: The coefficient of
z−a
about the isolated singularity z = a is called the residue of f ( z ) at that point.

Thus the residue of f ( z ) at z = a is b1.

From Laurent series, we know that the coefficient b1 is given by

1
f ( z ) dz
2 i C
b1 =

 f ( z ) dz = 2 i  Re sidue of f ( z ) at z = a 
c

= 2 i  Re sf ( z )  z = a

Where ‘C’ is a closed curve containing the point z = a.

26
❖ Residue at a pole: The residue of f at z = z0 is defined as the coefficient of

( z − z0 ) which is a−1 in the Laurent’s series expansion of f ( z ) and is denoted

−1

by  Res f ( z ) 
z = z0

1
 Res f ( z )  z→ z = f ( z ) dz
0 2 i C

❖ Cauchys Residue theorem: If f ( z ) is analytic within and on a closed curve C,

except at a finite number of poles z1 , z2 , z3 .....zn within ‘C’ and R1 , R2 ,....Rn be

the residues of f ( z ) at these poles, then

 f ( z )dz = 2 i ( R + R
C
1 2 + .... + Rn ) (or)

 f ( z )dz = 2 i  ( Sum of the residues at the poles within "C ")

C

Calculations of Residues

Type-I: If f ( z ) has a simple pole at z = a,

then Re s f ( z ) = Lt ( z − a ) f ( z )
z =a z →a

 ( z)
Type-II: If f ( z ) has a simple pole at z = a and f ( z ) =
 (z)

where  ( z ) = ( z − a ) f ( z )

 (a)
Where f ( a )  0 then Re s f ( z ) =
z =a  (a)

Type-III: If f ( z ) is analytic within a curve ‘C’ and has a pole of order ‘m’ at z = a

1 d m−1 
( z − a ) f ( z )
m
then the residue at z = a is Lt
z →a ( m − 1)! dz m −1  

Evaluation of Real Definite integrals by Contour integration

The process of evaluating a definite integral by making the path of integration about a
suitable contour (curve) in the complex plane is called contour integration.

27
INTEGRATION ROUND THE UNIT CIRCLE

2
❖ Integrals of the type-I  F ( cos ,sin  ) d
0

We consider the evaluation of the integrals of the type

2

 F ( cos ,sin  ) d
0
… (1)

where F is real, rational function of sin  and cos .

1
z = ei = e − i
z
dz = iei d
dz = iz d
dz
= d
iz
1
i − i z+
e +e
But w.k.t. cos  = = z and
2 2
1
i − i z−
e −e
sin  = = z
2i 2i
and also 0    2 , we have  travels on the entire unit circle and z = ei = 1

2
1  1 1  1   dz
Eg. 1)  F ( cos ,sin  ) d
0
=  F  2  z + z  , 2i  z − z   iz
C

 z 2 + 1 z 2 − 1  dz
=   2 z , 2iz  iz
C
F

=  f ( z ) dz (say)
C

where C is the unit circle observe that f ( z ) is a rational function

Now by Residue theorem

 f ( z ) dz = 2 i   Sum of the residues of f ( z ) at its poles inside ' C '

C

28
 
Integrals of the type-II
−
 f ( x ) dx
Integration around semi-circles:
Here all the singularities of f ( z ) are in the upper half of the z-plane.

 f ( z )dz = 2 i R
+

 f ( z )dz +  f ( z ) dz
−R 
…. (1)

Now as z f ( z ) → 0 as z → 

 f ( z ) dz = 0

…. (2)

As z →  , R →  and along real axis z = x

 From (1) & (2)


 f ( x ) dx = 2 iR
+

−

 f ( x ) dx = 2 i  ( sumof residues at int erior poles )

−


Integrals of the Type-III e
imx
f ( x ) dx (Jordans Lemma)
−

If f ( z ) is analytic except at finite number of singularities and if f ( z ) → 0

uniformly as z →  , then

Lt e
imz
f ( z ) dz = 0 ( m  0 )
R →
CR

where CR denotes the semi-circle z = R

The above theorem is useful in evaluating integrals of the form

P ( x) 
P ( x)
− Q ( x ) sin mx dx  Q ( x ) cos mx dx ( m  0 )
−

Where (i) P ( x ) and Q ( x ) are polynomials

(ii) degree of Q ( x )  degree of P ( x )

(iii) Q ( x ) = 0 has no real roots.

29