Master complex integration with 25+ solved problems on Cauchy's theorem, integral formula, Taylor/Laurent series, singularities, residues, and residue theorem.
title: "Complex Integration Practice: Cauchy Theorem & Residues"
metaTitle: "Complex Integration Practice: Cauchy Theorem & Residues"
metaDescription: "Master complex integration with 25+ solved problems on Cauchy's theorem, integral formula, Taylor/Laurent series, singularities, residues, and residue theorem."
keywords: "complex integration, Cauchy integral theorem, Cauchy integral formula, Taylor series, Laurent series, singularities classification, residues, residue theorem, complex analysis"
Complex Variable — Integration: Practice Questions & Solutions
> Perfect for: Semester exams, GATE, ESE, and competitive exam preparation. Step-by-step solutions with exam-oriented explanations.
Module 1: Complex Integration (Line Integrals)
Q1. Evaluate ∫Czdz where C is the straight line from 0 to 1+i.
Solution:
Parametrize the line: z(t)=t(1+i), 0≤t≤1.
Then dz=(1+i)dt and z=t(1+i).
∫Czdz=∫
=(1+2i+i2)⋅2
∫Czdz=i
Q2. Evaluate ∫C(z2+1)dz where C is the unit circle traversed counterclockwise.
Solution:
f(z)=z2+1 is a polynomial, hence entire (analytic everywhere).
By Cauchy's Integral Theorem, the integral of an analytic function over a simple closed contour is zero.
∫C(z2+1)dz=
Q3. Evaluate ∮Cz1dz where C is the unit circle .
Solution:
Parametrize: z=eiθ, 0≤θ≤2π, so .
∮Cz
∮Cz1dz
> Note: This is the fundamental result. The function 1/z is not analytic at z=0 (inside C), so Cauchy's theorem does not apply.
Q4. Evaluate ∮Czdz where C is the unit circle .
Solution:
On ∣z∣=1, we have z=z.
∮Czdz=∮
∮Czdz=2πi
Q5. Evaluate ∫C(x2+iy2)dz along the parabola from to .
Solution:
Parametrize: x=t, y=t2, so z=t+, .
dz=(1+2it)dt
f(z)=x2+iy2=t
∫Cf(z)dz=∫
=∫01[t2+2it
=∫01[t2+2it
=[3t3+
=31+2
∫C(x2+iy
Module 2: Cauchy's Integral Theorem
Q6. State Cauchy's Integral Theorem and verify it for f(z)=z3 on the circle ∣z∣=2.
Solution:
Cauchy's Integral Theorem: If f(z) is analytic inside and on a simple closed contour C, then:
∮Cf(z)dz=0
Verification:
f(z)=z3 is a polynomial, hence analytic everywhere.
By the theorem:
∮∣z∣=2z3dz=0
Direct verification (parametrize z=2eiθ):
∫02
∮∣z∣=2z3dz
Q7. Evaluate ∮Cz−1ez where is the circle .
Solution:
f(z)=ez is analytic inside and on C.
The point z=1 lies inside ∣z∣=2.
By Cauchy's Integral Formula:
∮Cz−af(z)
Here a=1:
∮Cz−1e
∮Cz−1e
Q8. Evaluate ∮Cz2+1cos where is .
Solution:
Factor: z2+1=(z−i)(z+i).
Singularities at z=i and z=−i, both inside ∣z∣=2.
Use partial fractions:
z2+11=
So:
∮Cz
Apply CIF to each:
=2i1[2πicos(i)−2πi
Since cos(−i)=cos(i):
=2i1[2πicosi−2πicos
∮Cz2+
Q9. Evaluate ∮C(z−1)2 where is .
Solution:
Generalized Cauchy Integral Formula:
f(n)(a)=2πi
Here f(z)=z2, a=1, n=1.
∮C(z−1)2
f′(z)=2z⇒f′(1)=2
=2πi⋅2=4πi
∮C(z−1)
Q10. Evaluate ∮C(z+1)3 where is .
Solution:
Here f(z)=e2z, a=−1, n=.
f′(z)=2e2z,f
f′′(−1)=4e−2
By generalized CIF:
∮C(z
∮C(z+1
Module 3: Taylor's and Laurent's Series
Q11. Find the Taylor series of f(z)=ez about z=0 and determine its radius of convergence.
Q15. Find the Laurent series of f(z)=e1/z about z=0.
Solution:
Replace z by z1 in the Taylor series of ez:
e1/z=∑n=0
=1+z1+
e1/z=n=0∑
Module 4: Singularities and Classification
Q16. Find and classify the singularities of f(z)=(z+1)(z−2)2.
Solution:
Singularities occur where the denominator is zero:
z=−1: Simple zero of denominator, non-zero numerator.
Simple pole (pole of order 1)
z: Zero of order 2 in denominator, .
Q17. Classify the singularity of f(z)=zsinz at z=.
Solution:
sinz=z−3!z3
zsinz=1−
The Laurent series has no negative powers of z.
z=0 is a removable singularity
Defining f(0)=1 makes the function analytic at z=0.
Q18. Classify the singularity of f(z)=e1/z at z=0.
Solution:
From Q15, the Laurent series is:
e1/z=1+z1
There are infinitely many negative powers of z.
z=0 is an essential singularity
Q19. Determine the nature of singularities of f(z)=sinz1.
Solution:
Singularities where sinz=0, i.e., z=nπ for n∈Z.
At z=nπ:
limz→nπ(z−nπ)s
Using L'Hôpital's rule or sinz≈(−1)n(z−nπ) near z=nπ:
=cos(nπ)1=
So z=nπ are simple poles.
At z=∞: The singularities accumulate at ∞, so:
z=nπ (simple poles),z=∞ is a non-isolated essential singularity
Module 5: Zeros of Analytic Functions
Q20. Find the zeros of f(z)=z3−1 and determine their orders.
Solution:
z3−1=0⇒z3=1=e
z=e2πin/3,n=0,1,2
The zeros are:
z0=1
z1=
Since f′(z)=3z2 and f for all :
Three simple zeros (order 1) at z=1,e±2πi/3
Q21. Show that z=0 is a zero of order 3 for f(z)=z3sinz.
Solution:
f(z)=z3sinz=z
The lowest power is z4, so z=0 is a zero of order 4, not 3.
Wait, let me recheck. z3⋅z=z4. Yes, order 4.
Actually, let me correct the question to make it order 3: f(z)=z2sinz would give order 3.
But let's keep it as is and solve correctly:
f(z)=z3sinz
Taylor expansion: sinz=z−6z3+
f(z)=z3(z−6
f(0)=0,f
z=0 is a zero of order 4
Module 6: Residues
Q22. Find the residue of f(z)=z2+11 at .
Solution:
f(z)=(z−i)(z+i)1
z=i is a simple pole.
Res(f,i)=limz→i(z
Res(f,i)=2i1=−
Q23. Find the residue of f(z)=(z−1)2e at .
Solution:
z=1 is a pole of order 2.
For a pole of order m:
Res(f,a)=(m−1)!
Here m=2, a=1:
Res(f,1)=1!1
Res(f,1)=e
Q24. Find all residues of f(z)=z3−z2.
Solution:
f(z)=z2(z−1)z
Singularities:
z=0 (pole of order 2)
z=1 (simple pole)
At z=1:
Res(f,1)=limz→1(z
At z=0:
Res(f,0)=
=limz→0(z−1
At z=∞:
Sum of all residues = 0 (including infinity for rational functions):
Res(f,∞)=−(Res(f,0)+Res(f,1))=
Res(f,0)=−1,Res(f,1)=2
Module 7: Cauchy's Residue Theorem & Applications
Q25. State Cauchy's Residue Theorem.
Solution:
Cauchy's Residue Theorem: If f(z) is analytic inside and on a simple closed contour C, except for a finite number of isolated singularities z1,z inside , then:
∮Cf(z)dz=2π
Q26. Evaluate ∮Cz2+11 where is using the residue theorem.
Solution:
f(z)=z2+11
Poles at z=i and z=−i, both inside ∣z∣=2.
From Q22: Res(f,i)=2i1
By symmetry: Res(f,−i)=−2i1=−
Sum of residues:
Res(f,i)+Res(f,−i)=2i
By Residue Theorem:
∮Cz2+11
∮∣z∣=2z
Q27. Evaluate ∮Cz2+2z+2 where is .
Solution:
z2+2z+2=0⇒z=
Both z=−1+i and z=−1−i have modulus:
|-1 \pm i| = \sqrt{1+1} = \sqrt{2} < 2
So both poles are inside C.
f(z)=(z+1−i)(z+1+i)z+1
At z=−1+i:
Res(f,−1+i)=limz→−1+i
At z=−1−i:
Res(f,−1−i)=limz→−1−i
Sum of residues = 21+21=
∮Cf(z)dz=2πi⋅1=2πi
∮∣z∣=2z
Q28. Evaluate ∮Cze1/z where is .
Solution:
Inside C, there is an essential singularity at z=0.
Find the Laurent series of ze1/z:
ze1/z=
=z1+z
The residue is the coefficient of z1, which is 1.
∮Cze
∮∣z∣=1z
Q29. Evaluate ∮C(z−1)(z−2)z where is .
Solution:
Singularities at z=1 and z=2, both inside ∣z∣=3.
At z=1:
Res(f,1)=limz→1(z−
At z=2:
Res(f,2)=limz→2(z−
Sum of residues = −1+4=3
∮Cf(z)dz=2πi⋅3=6πi
∮∣z∣=3(
Q30. Evaluate ∫02π2+cosθdθ using contour integration.
Solution:
Substitute z=eiθ, so dθ=iz and .
∫02π2+
=∮∣z∣=1
Find roots of z2+4z+1=0:
z=2−4±16−4
Only z=−2+3≈−0.268 is inside .
z1=−2+3
z2+4z+11=
Res((z−z1)(z
Integral:
=i2⋅2πi⋅
∫02π2+
Quick Reference: Residue Formulas
Type of Singularity
Residue Formula
Simple pole
limz→a(z−a)f(z)
Simple pole (, , )
Singularity Classification Summary
Type
Laurent Series
Example
Removable
No negative powers
zsinz at z=
Exam Tips & Common Mistakes
Cauchy's Theorem requires analyticity inside AND on the contour. If there's a singularity inside, use the Residue Theorem instead.
For simple poles of the form f(z)=h(z)g(z) where and :
This is often faster than the limit formula.
Summary
This unit provides a complete problem-solving toolkit for Complex Integration:
Line Integrals: Direct evaluation via parametrization
Cauchy's Integral Theorem: Zero integral for analytic functions
Cauchy's Integral Formula: Evaluating integrals using function values
Generalized CIF: Connecting integrals to derivatives
Taylor Series: Power series expansions in disks
Laurent Series: Expansions in annuli, revealing singular behavior
Singularities: Removable, poles, and essential classification
Zeros: Orders and relationship to poles
Residues: Computing coefficients of (z−a)−1
Residue Theorem: Powerful tool for closed contour integrals
Applications: Real definite integrals via contour integration
Master these 30 solved problems and you'll be fully prepared for any Complex Integration examination!
0
1
t
(
1
+
i)⋅
(1+
i)dt=
(1+
i)2∫01tdt
1
=
2i⋅
21=
i
∣z∣=1
0
∣z∣=1
dz=ieiθdθ
1
d
z
=
∫02πeiθ1⋅
ieiθdθ=
i∫02πdθ=
2πi
=
2
π
i
∣
z
∣
=
1
1
C
z1
d
z
=
2πi
y=x2
(0,0)
(1,1)
it2
0≤t≤1
2
+
it4
0
1
(
t2
+
it4)(1+
2it)dt
3
+
it4+
2i2t5]dt
3
+
it4−
2t5]dt
2it4
+
5it5
−
3t6
]
01
i
+
5i−
31=
i(105+2)
2
)
d
z
=
107i
π
(
2
eiθ
)3
⋅
2ieiθdθ=
16i∫02πe4iθdθ=
16i[4ie4iθ]02π=
4(e8πi−
1)=
0
=
0
✓
d
z
C
∣z∣=2
d
z
=
2πi⋅
f(a)
z
d
z
=
2πi⋅
e1=
2πei
z
d
z
=
2
π
e
i
z
d
z
C
∣z∣=2
2i1
(z−i1−z+i1)
2
+
1
cosz
d
z
=
2i1[∮Cz−icoszdz−∮Cz+icoszdz]
cos
(
−
i
)]
i
]
=
0
1
cosz
d
z
=
0
z
2
d
z
C
∣z∣=2
n!
∮C
(z−a)n+1f(z)
d
z
z2
d
z
=
1!2πif′(1)
2
z2
d
z
=
4
π
i
e2z
d
z
C
∣z∣=2
2
′′
(
z
)
=
4e2z
+
1
)3
e2z
d
z
=
2!2πif′′(−1)=
πi⋅
4e−2=
e24πi
)3
e2z
d
z
=
e24πi
(n)
(
0
)
=
1
n!f(n)(0)
zn
=
∑n=0∞n!zn
+
3!z3+
…
0
∞
zn
=
1+
z+
z2+
z3+
…
1
=
−∑n=0∞zn
−z1∑n=0∞zn=
−∑n=0∞zn−1=
−∑n=−1∞zn
2
−
…
=
z1⋅
1−z11=
z1∑n=0∞zn1=
∑n=0∞zn+11=
∑n=1∞zn1
2
1
+
z31+
…
∞
n!(1/z)n
=
∑n=0∞n!zn1
2!z2
1
+
3!z31+
…
∞
n!zn1
,
z
=
0
z−1
=
2
f(2)=0
Pole of order 2
z=∞: Let w=1/z.
f(1/w)=(w1+1)(w
At w=0, this is analytic and non-zero.
Removable singularity (or analytic point) at ∞
0
+
5!z5−
…
3!
z2
+
5!z4−
…
+
2!z21+
3!z31+
…
i
n
z
1
=
limz→nπsinzz−nπ
(−1)n
1
=
(−1)n=
∞
2πin
e2πi/3=
−21+
i23
z2=e4πi/3=−21−i23
′
(
zk
)
=
3zk2=
0
k
3
(z−3!z3+5!z5−…)
=
z4−
6z6+
…
O(z5)
z3
+
…
)
=
z4−
6z6+
…
′
(
0
)
=
0,f′′(0)=
0,f′′′(0)=
0,f(4)(0)=
4!=
24=
0
z=i
−
i)f(z)=
limz→iz+i1=
2i1=
−2i
2i
z
z=1
1
limz→a
dzm−1dm−1
[(
z
−
a)mf(z)]
limz→1
dzd
[
ez
]
=
limz→1ez=
e
z2+1
2
+
1
−
1)f(z)=
limz→1z2z2+1=
12=
2
1!
1
limz→0
dzd
[z2⋅z2(z−1)z2+1]
=
limz→0dzd[z−1z2+1]
)
2
2z(z−1)−(z2+1)
=
10−1=
−1
−(−1+
2)=
−1
,
Res
(
f
,
∞
)
=
−
1
2
,
…
,
zn
C
i
k=1∑n
Res
(
f
,
zk
)
d
z
C
∣z∣=2
=
(z−i)(z+i)1
2i1
1
−
2i1=
0
d
z
=
2πi⋅
0=
0
2
+
1
1
d
z
=
0
z+1
d
z
C
∣z∣=2
2−2±4−8
=
−1±
i
z+1+iz+1
=
2ii=
21
z+1−iz+1
=
−2i−i=
21
1
2
+
2
z
+
2
z+1
d
z
=
2
π
i
d
z
C
∣z∣=1
z1(1+z1+2!z21+3!z31+…)
2
1
+
2!z31+
…
1/z
d
z
=
2πi⋅
Res(f,0)=
2πi⋅
1=
2πi
e1/z
d
z
=
2
π
i
2
d
z
C
∣z∣=3
1)(z−1)(z−2)z2=
1−21=
−1
2
)
(z−1)(z−2)z2
=
2−14=
4
z
−
1
)
(
z
−
2
)
z2
d
z
=
6
π
i
dz
cosθ=2z+z−1
cos
θ
dθ
=
∮∣z∣=12+2z+z−11⋅
izdz
z2+4z+1
2z
⋅
izdz=
i2∮∣z∣=1z2+4z+1dz
=
−2±
3
∣z∣=1
,
z2
=
−2−
3
(z−z1)(z−z2)1
−
z2
)
1
,
z1
)
=
z1−z21=
231
23
1
=
32π
cos
θ
dθ
=
32π
f=g/h
h(a)=0
h′(a)=0
h′(a)g(a)
Pole of order m
(m−1)!1limz→adzm−1dm−1[(z−a)mf(z)]
Essential singularity
Coefficient of (z−a)−1 in Laurent series
0
Pole (order m)
Finite number of negative powers, highest m
zm1
Essential
Infinitely many negative powers
e1/z at z=0
h(a)=0
h′(a)=0
Res(f,a)=h′(a)g(a)
Laurent series region matters — the same function has different Laurent series in different annuli. Always check the domain.
Residue at infinity: For rational functions, Res(f,∞)=−∑Res(f,zk) for all finite singularities.
Contour integration for real integrals: The substitution z=eiθ converts [0,2π] to the unit circle. Remember:
cosθ=2z+z−1
sinθ=2iz−z−1
dθ=izdz
Generalized CIF: The n-th derivative formula is:
f(n)(a)=2πin!∮(z−a)n+1f(z)dz
Don't forget the factorial!
Order of zero: If f(z)=(z−a)mg(z) with g(a)=0, then a is a zero of order m.
Poles of quotients: If f=g/h and h has a zero of order m at a while g(a)=0, then f has a pole of order m at a.