Unit V, Maths II (Bas 203)
Unit V, Maths II (Bas 203)
CAUCHY’S INTEGRAL THEOREM : If 𝑓(𝑧) is an analytic function of 𝑧 and if 𝑓 ′ (𝑧) is continuous at each point within
and on a closed contour 𝐶, then 𝑐 𝑓 𝑧 𝑑𝑧 = 0.
NOTE: 1. Let𝑓(𝑧) be analytic in a simple connected region 𝐷. Then the integral along every rectifiable curve in 𝐷 joining any
two given points of 𝐷 is the same, 𝑖. 𝑒., it does not depend on the curve joining the two points.
2. Let 𝐷 be a doubly connected region bounded by two simple closed curves 𝐶1 and 𝐶2 such that 𝐶2 is connected in 𝐶1 and
𝑓(𝑧) is analytic in the region between these curves and continuous on 𝐶1 , then, 𝐶 𝑓(𝑧) 𝑑𝑧 = 𝐶 𝑓(𝑧) 𝑑𝑧,where integral along
1 2
each curve is taken in anti-clockwise direction.
CAUCHY’S INTEGRAL FORMULA: If 𝑓(𝑧) is analytic function on and inside a closed contour 𝐶 and let ‘a’ be any
1 𝑓(𝑧)
point within 𝐶, then 𝑓 𝑎 = 𝐶
𝑑𝑧,where 𝐶 is traversed in the anti-clockwise direction.
2𝜋𝑖 𝑧−𝑎
DERIVATIVE OF AN ANALYTIC FUNCTION: Let 𝑓(𝑧) be an analytic function on and inside the boundary 𝐶 of a
1 𝑓(𝑧)
simply connected region 𝐷 and let ‘a’ be any point within 𝐶, then 𝑓 ′ 𝑎 = 𝐶 2 𝑑𝑧.
2𝜋𝑖 (𝑧−𝑎)
Note: The derivative of an analytic function is analytic.
Theorem: If a function 𝑓(𝑧) is analytic in a domain 𝐷, then at any point 𝑧 = 𝑎 of 𝐷, 𝑓(𝑧) have derivatives of all order, all of
𝑛! 𝑓(𝑧)
which are again analytic functions in 𝐷, their values are given by 𝑓 𝑛 𝑎 = 𝐶 𝑛 +1 𝑑𝑧, where 𝐶 is any closed contour in
2𝜋𝑖 (𝑧−𝑎)
𝐷 surrounding the point 𝑧 = 𝑎.
TAYLOR’S THEOREM: Let 𝑓 𝑧 be analytic at all point within a circle 𝐶0 with centre 𝑧0. Then, for every point 𝑧 within
𝑓 ′′ 𝑧 0 2 𝑓 𝑛 𝑧0 𝑛
𝐶𝑜 , we have 𝑓 𝑧 = 𝑓 𝑧0 + 𝑓 ′ 𝑧0 𝑧 − 𝑧0 + 𝑧 − 𝑧0 + …+ 𝑧 − 𝑧0 +... ……… (1)
2! 𝑛!
2 𝑓" 𝑧 0 𝑓 𝑛 𝑧0
Note: Putting 𝑧 = 𝑧0 + ℎ in (1), we get 𝑓 𝑧0 + ℎ = 𝑓 𝑧0 + ℎ𝑓 ′ 𝑧0 + ℎ + ⋯+ ℎ𝑛 +⋯
2! 𝑛!
LAURENT’S THEOREM: Let 𝑓 𝑧 be analytic in the ring shaped region 𝐷 bounded by two concentric circles 𝐶1 and 𝐶2
with centre 𝑧0 and radii 𝑟1 and 𝑟2 (𝑟1 > 𝑟2 ) and 𝑧 be any point of𝐷. Then
∞ ∞
𝑛
𝑏𝑛
𝑓 𝑧 = 𝑎𝑛 𝑧 − 𝑧0 + .
𝑧 − 𝑧0 𝑛
𝑛=0 𝑛=1
1 𝑓(𝑧) 1 𝑓 𝑧
where 𝑎𝑛 = 𝑛 +1 𝑑𝑧 (𝑛 = 0,1,2,3, …) and 𝑏𝑛 = 𝑑𝑧 , 𝑛 = 1,2,3, … .
2𝜋𝑖 𝐶1 (𝑧−𝑧 0 ) 2𝜋𝑖 𝐶2 𝑧−𝑧 0 −𝑛 +1
THE ZEROS OF AN ANALYTIC FUNCTION: The value of 𝑧 for which the analytic function 𝑓(𝑧) becomes zero is said
to be the zero of𝑓(𝑧).
Note: The zeros of 𝑓(𝑧) are isolated.
SINGULARITIES: A point at which a function 𝑓(𝑧) ceases to be analytic is called the singularity (or singular point) of the
function𝑓(𝑧).
ISOLATED AND NON-ISOLATED SINGULARITY : If 𝑧 = 𝑎 is singularity of 𝑓(𝑧) and if there is no other singularity
within a small circle surroundings the point 𝑧 = 𝑎, then 𝑧 = 𝑎 is said to be an isolated singularity of the function of 𝑓 𝑧 ,
otherwise it is called non-isolated.
TYPES OF SINGULARITY: Let 𝑓(𝑧) be an analytic function in a domain 𝐷 except at the point 𝑧 = 𝑎, which is an isolated
singularity. Then, there exists a deleted neighbourhood 0 < 𝑧 − 𝑎 < 𝑅 in which 𝑓(𝑧) is analytic.
1
In the annulus 0 < 𝑧 − 𝑎 < 𝑅, the Laurent expansion of 𝑓(𝑧)is 𝑓 𝑧 = ∞𝑛=0 𝑎𝑛 (𝑧 − 𝑎)𝑛 + ∞𝑛=1 𝑏𝑛 (𝑧 − 𝑎)−𝑛 .
The second term ∞𝑛=1 𝑏𝑛 (𝑧 − 𝑎)−𝑛 on the right hand side is called the principal part of 𝑓(𝑧)at 𝑧 = 𝑎.
Now there arise three possibilities:
(i)When all the coefficient 𝑏𝑛 are zero, then 𝑎 is called removable singularity of 𝑓(𝑧).
(ii)If the principal part of 𝑓(𝑧)at 𝑧 = 𝑎 cansists of a finite number of terms, say ‘𝑚’ then 𝑧 = 𝑎 is said to be a pole of order 𝑚
of the function 𝑓 𝑧 .
(iii)If there are infinite number of terms in the principal part of 𝑓(𝑧) at 𝑧 = 𝑎 then 𝑎 is called an isolated essential singularity
of 𝑓(𝑧).
(iii)Essential singularity: (A). If lim𝑧→𝑎 𝑓(𝑧) does not exist, then 𝑧 = 𝑎is an essential singularity.
(B). If there are infinite number of term in the principal part of 𝑓 𝑧 , then singularity is isolated essential singularity
RESIDUE AT A POLE: Let 𝑓(𝑧) be an analytic function within a circle 𝛾 of radius 𝑟 and centre at 𝑧 = 𝑎 except at the centre
𝑧 = 𝑎, which is a pole of order 𝑚. Then 𝑓(𝑧) is analytic within the annulus 0 < 𝑧 − 𝑎 < 𝑟, hence, it can be expanded within
this annulus in a Laurent’s series in the form
1 𝑓(𝑧) 1
𝑓 𝑧 = ∞
𝑛=0 𝑎𝑛 (𝑧 − 𝑎)𝑛 + ∞
𝑛=1 𝑏𝑛 (𝑧 − 𝑎)−𝑛 , where 𝑎𝑛 = 𝑑𝑧 and 𝑏𝑛 = 𝑧−𝑎 𝑛−1
𝑓 𝑧 𝑑𝑧
2𝜋𝑖 𝛾 (𝑧−𝑎)𝑛 +1 2𝜋𝑖 𝛾
1
In particular, 𝑏1 = 𝑓(𝑧) 𝑑𝑧.The coefficient 𝑏1 is called the residue of 𝑓(𝑧) at 𝑧 = 𝑎.
2𝜋𝑖 𝛾
1
RESIDUE AT INFINITY: Residue of 𝑓(𝑧) at 𝑧 = ∞ is defined as − 𝑓(𝑧) 𝑑𝑧, where the integration along 𝐶 is taken
2𝜋𝑖 𝐶
anti-clockwise direction.
COMPUTAITION OF RESIDUE AT A FINITE POLE
(i)Residue at a simple pole: if 𝑧 = 𝑎 is a simple pole of 𝑓(𝑧), Hence, the residue at the simple pole 𝑧 = 𝑎is given by
lim𝑧→𝑎 𝑧 − 𝑎 𝑓 𝑧 .
ϕ(z)
(ii) Another form is obtained as follows: If 𝑓 𝑧 = , where 𝜙(𝑎) ≠ 0 and 𝜓 𝑧 = 𝑧 − 𝑎 𝐹 𝑧 , 𝐹(𝑎) ≠ 0.since, 𝑧 = 𝑎 is
𝜓 (𝑧)
′ 𝜙 (𝑎)
a simple pole of 𝑓 𝑧 ,therefore, 𝜓 𝑎 = 0 and 𝜓 (𝑎) ≠ 0.Then, the residue of 𝑓 𝑧 at a simple pole 𝑧 = 𝑎 is given by .
𝜓 ′ (𝑎)
Ф(𝑧)
(iii)Residue at a pole of order 𝒎: Let 𝑧 = 𝑎 be pole of order 𝑚 of 𝑓(𝑧). Then, 𝑓(𝑧) is of the form , where Ф(𝑧) is
(𝑧−𝑎)𝑚
analytic. Hence, the residue of 𝑓(𝑧) at the pole 𝑧 = 𝑎 of order 𝑚 is given by
1 𝑑 𝑚 −1 𝑚
𝑅𝑎 = lim𝑧→𝑎 𝑧−𝑎 𝑓 𝑧 .
𝑚 −1 ! 𝑑𝑧 𝑚 −1
(iv)Residue at a pole 𝒛 = 𝒂 of any finite order ‘𝒎’ (General method) :If 𝑧 = 𝑎 is a pole 𝑚 (which may be equal to 1),
1
Residue at the pole 𝑧 = 𝑎 is 𝑏1 =coefficient of in the Laurent’s expansion of 𝑓 𝑎 + 𝑡 , where 𝑡 is sufficiently small.
𝑡
(v)Residue of 𝒇(𝒛) at = ∞ : Residue of 𝑓(𝑧) at (𝑧 = ∞) = lim𝑧→∞ {−𝑧𝑓 𝑧 }, provided the limit exists.
1
Or = −[ Coefficient of in the expansion of 𝑓(𝑧) for values of 𝑧 in the neighborhood of 𝑧 = ∞ ]
𝑧
CAUCHY’S RESIDUE THEOREM: Let, 𝑓(𝑧) be an analytic function, except at a finite number of poles within a closed
contour 𝐶 and continuous on the boundary 𝐶, then 𝐶 𝑓(𝑧) 𝑑𝑧 = 2𝜋𝑖(sum of the residues at the poles within 𝐶) = 2𝜋𝑖 𝑅
EVALUATION OF REAL DEFINITE INTEGRALS BY CONTOUR INTEGRATION: For this we take a suitable
closed contour 𝐶 and find the residues of the function 𝑓(𝑧) at all its poles which lie within 𝐶. Then, using Cauchy’s theorem
of residues, we have 𝐶
𝑓(𝑧) 𝑑𝑧 = 2𝜋𝑖[Sum of residues of 𝑓(𝑧) at the poles within 𝐶].
2𝜋
INTEGRATION ROUND THE UNIT CIRCLE: We consider the integral of the type 0
𝑓(cos 𝜃 , sin 𝜃) 𝑑𝜃, where the
integral is a rational function of sin 𝜃andcos 𝜃.
2
𝑑𝑧 1 1 1 1
If we take 𝑧 = 𝑒 𝑖𝜃 so that 𝑑𝑧 = 𝑒 𝑖𝜃 𝑖𝑑𝜃 ⇒ = 𝑑𝜃 and cos 𝜃 = 𝑧+ , sin 𝜃 = 𝑧− .
𝑖𝑧 2 𝑧 2𝑖 𝑧
2𝜋 1 1 1 1 1 𝑑𝑧
Then 0
𝑓 cos 𝜃 , sin 𝜃 𝑑𝜃 = 𝑓 𝑧+ , 𝑧− = 𝐹(𝑧) 𝑑𝑧, [Say], where 𝐶 is the unit circle 𝑧 = 1.
𝑖 𝐶 2 𝑧 2𝑖 𝑧 𝑧 𝐶
Clearly, 𝐹(𝑧) is a rational function of 𝑧. Hence, by residue theorem, we have 𝐶
𝐹(𝑧) 𝑑𝑧 = 2𝜋𝑖 𝑅𝑒𝑠, where 𝑅𝑒𝑠 is the sum
of residues of 𝐹(𝑧) at its poles inside 𝐶.
1 ∞ 2 𝑛 1 ∞ 1 𝑛 1 1 ∞ 𝑛
𝑖𝑖𝑖 𝑛=0 𝑧 − 𝑛=0 𝑧 (𝑖𝑣) − − 𝑛=0 𝑧−1
𝑧 𝑧 𝑧−1 𝑧
1
5. Find the Taylor’s and Laurent’s series which represent the function 𝑓 𝑧 = , where 𝑧 < 1.
𝑧+1 (𝑧+3)
1 1 𝑧 𝑛
Ans: ∞
𝑛=0 −1 𝑛 𝑧 𝑛 − ∞
𝑛=0 −1 𝑛
[AKTU-2016]
2 3 3
7𝑧−2
6. Find series expansion of 𝑓 𝑧 = in the region(i)0 < 𝑧 + 1 < 1(ii)1 < 𝑧 + 1 < 3(iii) 𝑧 + 1 > 3.[AKTU 2022]
𝑧 3 −𝑧 2 −2𝑧
3 2 ∞ 𝑧+1 𝑛 1 1 𝑛 3 2 𝑧+1 𝑛
∞ 𝑛 ∞ ∞
𝐴𝑛𝑠: (𝑖) − − 0 (𝑧 + 1) − ( ) (ii) − −
𝑧+1 3 0 3 𝑧+1 0 𝑧+1 𝑧+1 3 0 3
1 1 𝑛 3 2 3 𝑛
∞ ∞
(iii) 0 − + 0
𝑧+1 𝑧+1 𝑧+1 3 𝑧+1
𝑧
∞ 1 2 𝑛
7. Expand f(z)= 𝑒 𝑧−2 in a Laurent Series about the point z=2. Ans: f(z)= e 𝑛=0 𝑛! 𝑧−2 [AKTU-2022]
𝑧 2 −1
8. Find the Taylor and Laurent series expansion of the following function 𝑓 𝑧 =
𝑧+2 (𝑧+3)
when (i) 𝑧 < 2 (ii) 2 < 𝑧 < 3 (𝑖𝑖𝑖) 𝑧 > 3 [AKTU-2021]
∞ 𝑛 𝑧 𝑛 ∞ 𝑛 𝑧 𝑛 ∞ 𝑛 2 𝑛 ∞ 𝑛 𝑧 𝑛
Ans: (i) f(z) =1+3/2 0 (−1) 2
− 8/3 0 (−1) 2
(ii) f(z) =1+3/z 0 (−1) 𝑧
− 8/3 0 (−1) 3
∞ 𝑛 2 𝑛 ∞ 𝑛 3 𝑛
(iii) f(z) =1+3/z 0 (−1) 𝑧
− 8/𝑧 0 (−1) 𝑧
𝑧
3. Expand 𝑓 𝑧 = in Laurent’s series valid for region (i)0 < 𝑧 − 2 < 1 and (ii) 𝑧 − 1 > 1.
𝑧−1 (2−𝑧)
∞ 𝑛 𝑛 2 1 2 ∞ 1 𝑛
Ans: (i) 𝑛=0 −1 𝑧−2 − (𝑖𝑖) − 𝑛=0 𝑧−1 [AKTU-2011, 13, 23]
𝑧−2 𝑧−1 𝑧−1
7𝑧 2 +9𝑧−18
4. Expand 𝑓 𝑧 = in Laurent’s series valid for the region (i)0 < 𝑧 < 3 (ii) 𝑧 > 3
𝑧 3 −9𝑧
2 1 ∞ 𝑛 𝑧 𝑛 4 ∞ 𝑧 𝑛 2 1 ∞ 𝑛 3 𝑛 4 ∞ 3 𝑛
Ans: (i) + 𝑛=0 −1 − 𝑛=0 3 (ii) − + 𝑛=0 −1 + 𝑛=0 𝑧 [AKTU-2016]
𝑧 3 3 3 𝑧 𝑧 𝑧 𝑧
𝑧+4
5. If𝑓 𝑧 = , find Laurent’s series expansion in (i)0 < 𝑧 − 1 < 4 and (ii) 𝑧 − 1 > 4.
𝑧+3 (𝑧−1)2
4
1 ∞ 𝑛 𝑧−1 𝑛 1 5 1 ∞ 𝑛 4 𝑛 1 5
Ans: 𝑖 𝑛=0 −1 − + (𝑖𝑖) 𝑛=0 −1 − + [AKTU-2013]
64 4 16 𝑧−1 4 𝑧−1 2 64(𝑧−1) 𝑧−1 16 𝑧−1 4 𝑧−1 2
𝑧
6. Expend 𝑓 𝑧 = , in Laurent’s series in 1 < 𝑧 < 2.
𝑧 2 −1 (𝑧 2 +4)
1 1 1 𝑛 1 𝑛 1 𝑛 1 𝑧 𝑛 1 𝑛 𝑧 𝑛
Ans: ∞
𝑛=0 𝑧 + ∞
𝑛=0 −1 + ∞
𝑛=0 2𝑖 − ∞
𝑛 =0 −1 [AKTU-2011,12]
10 𝑧 𝑧 𝑧 2𝑖 2𝑖 2𝑖
𝑐𝑜𝑠 𝑧 1
1. Find residue of 𝑓 𝑧 = 𝑧(𝑧+5) at 𝑧 = 0. Ans:
5
[AKTU-2018]
𝑧2
2. Find residue of 𝑓 𝑧 = 𝑧 2 +3𝑧+2 at the pole 𝑧 = −1. Ans:1 [AKTU-2013]
1−2𝑧
3. Find the poles (with its order) and residue at each pole of the following function 𝑓 𝑧 = 𝑧 𝑧−1 𝑧−2 2
. [AKTU-2007]
1 5
Ans: Poles are 0,1,2 of order 1,1,2 and respective residues are − , −1,
4 4
𝑧2
4. Find residue of 𝑓 𝑧 = 𝑧−1 at 𝑧 = ∞. Ans: −1
𝑧2
5. Determine the poles of the function 𝑓 𝑧 = 𝑧−1 2 (𝑧+2)
and the residue at each pole. Hence evaluate
𝑧2
𝑐 𝑧−1 2 (𝑧+2)
𝑑𝑧, where 𝐶: 𝑧 = 3 [AKTU-2014]
5 4
Ans: Poles are 1 (order 2) , −2 (simple pole) and respective residues are , ; 2𝜋𝑖
9 9
12𝑧−7
6. Evaluate 𝑐 𝑧−1 2 (2𝑧+3)
𝑑𝑧, where 𝐶: 𝑧 = 2. Ans: 0 [AKTU-2011]
2𝜋 𝑑𝜃 2𝜋 𝑑𝜃
7. Using contour integration, evaluate 0 𝑎+𝑏 cos 𝜃
, where 𝑎 > 𝑏 .Hence or otherwise evaluate 0
.
2−cos 𝜃
2𝜋
Ans: , 2𝜋
𝑎 2 −𝑏 2
𝜋 𝑎 𝜋
8. Using complex integration method, evaluate 0 𝑎 2 +sin 2 𝜃
𝑑𝜃. Ans: [AKTU-2011, 2022]
1+𝑎 2
2𝜋 𝑑𝜃 2𝜋 𝑑𝜃
9. Evaluate by contour integration 0 𝑎+𝑏 sin 𝜃
,where𝑎 > 𝑏 .Hence or otherwise evaluate 0 1−2𝑎 sin 𝜃+𝑎 2
,0 < 𝑎 < 1.
2𝜋 2𝜋
Ans: , [AKTU-2017]
𝑎 2 −𝑏 2 1−𝑎 2
5
𝑧3
5. Find the residue of the function 𝑓 𝑧 = at its poles and hence evaluate 𝑓 𝑧 𝑑𝑧, where C is the
𝑧−1 4 𝑧−2 (𝑧−3) 𝑐
5 101 27 27𝜋𝑖
cirle 𝑧 = . Ans: Poles are 1,2,3 and respective residues are , −8, ; − [AKTU-2018]
2 16 16 8
1 𝑒 𝑧𝑡 𝑡−1 𝑒 −𝑡
6. Using Residue theorem, evaluate 𝑑𝑧,where C is the circle 𝑧 = 3. Ans: + cos 𝑡 [AKTU-2009]
2𝜋𝑖 𝑐 𝑧 2 (𝑧 2 +2𝑧+2) 2 2
7. Evaluate the following integrals by using contour integration
2𝜋 𝑑𝜃 2𝜋
(i) 0 2+cos 𝜃
. Ans: [AKTU-2015]
3
𝜋 𝑎𝑑𝜃 𝜋
(ii) 0 . Ans: [AKTU-2011]
1+2𝑎 2 −cos 2𝜃 2 1+𝑎 2
2𝜋 1 2𝜋
(iii) 0 𝑑𝜃. Ans: [AKTU-2011]
5+4 sin 𝜃 3
2𝜋 cos 2𝜃 𝜋
(iv) 0 𝑑𝜃. Ans: [AKTU-2010,12,18]
5+4 cos 𝜃 6
2𝜋 1
(v) 0 𝑑𝜃. Ans: 𝜋 [AKTU-2013,14]
3−2 cos 𝜃 +sin 𝜃
“Math is like going to the gym for your brain. It sharpens your mind.”