0% found this document useful (0 votes)
5 views

Week_8_Integration of Functions of Complex Variables

Uploaded by

Muizz Lukmon
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)
5 views

Week_8_Integration of Functions of Complex Variables

Uploaded by

Muizz Lukmon
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/ 92

Week 8: Integration of Functions of

Complex Variables

Dr. John Ogbemhe


Co-Instructor: Dr. O.A. George

Monday, 2 Hours

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 1 / 44
Outline

1 Cauchy’s Integral Theorem

2 Cauchy’s Integral Formula

3 Evaluation of Contour Integrals

4 Worked Examples

5 Summary

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 2 / 44
Introduction to Cauchy’s Integral Theorem

Overview
**Cauchy’s Integral Theorem** is a fundamental result in complex
analysis which states that the integral of an analytic function over a
closed contour is zero, provided the function is analytic within and on
the contour.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 3 / 44
Introduction to Cauchy’s Integral Theorem

Overview
**Cauchy’s Integral Theorem** is a fundamental result in complex
analysis which states that the integral of an analytic function over a
closed contour is zero, provided the function is analytic within and on
the contour.

Importance
This theorem is foundational for many other results in complex
analysis, including Cauchy’s Integral Formula and the Residue
Theorem.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 3 / 44
Statement of Cauchy’s Integral Theorem

Theorem
Let f (z) be analytic within and on a simple closed contour γ in the
complex plane. Then: I
f (z) dz = 0
γ

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 4 / 44
Statement of Cauchy’s Integral Theorem

Theorem
Let f (z) be analytic within and on a simple closed contour γ in the
complex plane. Then: I
f (z) dz = 0
γ

Conditions
f (z) must be analytic on and inside the contour γ.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 4 / 44
Statement of Cauchy’s Integral Theorem

Theorem
Let f (z) be analytic within and on a simple closed contour γ in the
complex plane. Then: I
f (z) dz = 0
γ

Conditions
f (z) must be analytic on and inside the contour γ.
The contour γ must be simple (no self-intersections) and closed.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 4 / 44
Proof Overview of Cauchy’s Integral Theorem

Assumptions
f (z) is analytic (holomorphic) on and inside γ.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 5 / 44
Proof Overview of Cauchy’s Integral Theorem

Assumptions
f (z) is analytic (holomorphic) on and inside γ.
γ is a positively oriented, simple closed contour.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 5 / 44
Proof Overview of Cauchy’s Integral Theorem

Assumptions
f (z) is analytic (holomorphic) on and inside γ.
γ is a positively oriented, simple closed contour.

Key Idea
Express f (z) as its power series expansion within the domain of
analyticity and integrate term by term.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 5 / 44
Proof Details of Cauchy’s Integral Theorem

Express f (z) as a Power Series


Since f (z) is analytic, it can be expressed as:

X
f (z) = an (z − z0 )n
n=0

where z0 is a point inside γ.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 6 / 44
Proof Details of Cauchy’s Integral Theorem

Express f (z) as a Power Series


Since f (z) is analytic, it can be expressed as:

X
f (z) = an (z − z0 )n
n=0

where z0 is a point inside γ.

Integrate Term by Term


I ∞
I X ∞
X I
n
f (z) dz = an (z − z0 ) dz = an (z − z0 )n dz
γ γ n=0 n=0 γ

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 6 / 44
Proof Completion of Cauchy’s Integral Theorem
Evaluate Each Integral
(
if n = −1
I
2πi
(z − z0 )n dz =
γ 0 otherwise

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 7 / 44
Proof Completion of Cauchy’s Integral Theorem
Evaluate Each Integral
(
if n = −1
I
2πi
(z − z0 )n dz =
γ 0 otherwise

Apply to the Series


Since n ≥ 0 in the power series, none of the integrals have n = −1.
Therefore: I ∞
X
f (z) dz = an · 0 = 0
γ n=0

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 7 / 44
Proof Completion of Cauchy’s Integral Theorem
Evaluate Each Integral
(
if n = −1
I
2πi
(z − z0 )n dz =
γ 0 otherwise

Apply to the Series


Since n ≥ 0 in the power series, none of the integrals have n = −1.
Therefore: I ∞
X
f (z) dz = an · 0 = 0
γ n=0

Conclusion
I
f (z) dz = 0
γ
Department of Systems Engineering , Faculty of Engineering ,
This completes the proof of Cauchy’s Integral Theorem.
University of Lagos Page 7 / 44
Introduction to Cauchy’s Integral Formula

Overview
**Cauchy’s Integral Formula** provides a way to evaluate integrals
of analytic functions and to derive important properties such as
Taylor and Laurent series expansions.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 8 / 44
Introduction to Cauchy’s Integral Formula

Overview
**Cauchy’s Integral Formula** provides a way to evaluate integrals
of analytic functions and to derive important properties such as
Taylor and Laurent series expansions.

Statement
If f (z) is analytic within and on a simple closed contour γ, and z0 is
a point inside γ, then:
I
1 f (z)
f (z0 ) = dz
2πi γ z − z0

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 8 / 44
Applications of Cauchy’s Integral Formula

Key Applications
**Evaluation of Contour Integrals:** Direct computation of
integrals involving analytic functions.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 9 / 44
Applications of Cauchy’s Integral Formula

Key Applications
**Evaluation of Contour Integrals:** Direct computation of
integrals involving analytic functions.
**Derivation of Taylor Series:** Expansion of analytic functions
around a point.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 9 / 44
Applications of Cauchy’s Integral Formula

Key Applications
**Evaluation of Contour Integrals:** Direct computation of
integrals involving analytic functions.
**Derivation of Taylor Series:** Expansion of analytic functions
around a point.
**Estimation of Function Values:** Determining function values
inside contours based on boundary behavior.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 9 / 44
Applications of Cauchy’s Integral Formula

Key Applications
**Evaluation of Contour Integrals:** Direct computation of
integrals involving analytic functions.
**Derivation of Taylor Series:** Expansion of analytic functions
around a point.
**Estimation of Function Values:** Determining function values
inside contours based on boundary behavior.
**Proving Uniqueness Theorems:** Showing that analytic
functions are uniquely determined by their values on a contour.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 9 / 44
Proof of Cauchy’s Integral Formula

Assumptions
f (z) is analytic within and on γ.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 10 / 44
Proof of Cauchy’s Integral Formula

Assumptions
f (z) is analytic within and on γ.
z0 is inside γ.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 10 / 44
Proof of Cauchy’s Integral Formula

Assumptions
f (z) is analytic within and on γ.
z0 is inside γ.

Utilize Cauchy’s Integral Theorem


Consider the function:
f (z)
z − z0
Since f (z) is analytic and z0 is inside γ, this function has a simple
pole at z = z0 .

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 10 / 44
Proof Completion of Cauchy’s Integral Formula
(Part 1)

Apply the Residue Theorem


I  
f (z) f (z)
dz = 2πi · Res , z0
γ z − z0 z − z0
The residue at z = z0 is:
 
f (z)
Res , z0 = f (z0 )
z − z0

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 11 / 44
Proof Completion of Cauchy’s Integral Formula
(Part 1)

Apply the Residue Theorem


I  
f (z) f (z)
dz = 2πi · Res , z0
γ z − z0 z − z0
The residue at z = z0 is:
 
f (z)
Res , z0 = f (z0 )
z − z0

Substitute the Residue


I
f (z)
dz = 2πi · f (z0 )
γ z − z0
Department of Systems Engineering , Faculty of Engineering ,
University of Lagos Page 11 / 44
Proof Completion of Cauchy’s Integral Formula
(Part 2)

Solve for f (z0 )


I
1 f (z)
f (z0 ) = dz
2πi γ z − z0

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 12 / 44
Proof Completion of Cauchy’s Integral Formula
(Part 2)

Solve for f (z0 )


I
1 f (z)
f (z0 ) = dz
2πi γ z − z0

Conclusion
This completes the proof of **Cauchy’s Integral Formula**.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 12 / 44
Introduction to Evaluation of Contour Integrals

Overview
**Contour integrals** involve integrating complex functions along
specified paths in the complex plane. Evaluating these integrals is
essential for various applications in physics and engineering.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 13 / 44
Introduction to Evaluation of Contour Integrals

Overview
**Contour integrals** involve integrating complex functions along
specified paths in the complex plane. Evaluating these integrals is
essential for various applications in physics and engineering.

Key Techniques
Parametrization of Paths

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 13 / 44
Introduction to Evaluation of Contour Integrals

Overview
**Contour integrals** involve integrating complex functions along
specified paths in the complex plane. Evaluating these integrals is
essential for various applications in physics and engineering.

Key Techniques
Parametrization of Paths
Cauchy’s Integral Theorem and Formula

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 13 / 44
Introduction to Evaluation of Contour Integrals

Overview
**Contour integrals** involve integrating complex functions along
specified paths in the complex plane. Evaluating these integrals is
essential for various applications in physics and engineering.

Key Techniques
Parametrization of Paths
Cauchy’s Integral Theorem and Formula
Residue Theorem

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 13 / 44
Introduction to Evaluation of Contour Integrals

Overview
**Contour integrals** involve integrating complex functions along
specified paths in the complex plane. Evaluating these integrals is
essential for various applications in physics and engineering.

Key Techniques
Parametrization of Paths
Cauchy’s Integral Theorem and Formula
Residue Theorem
Laurent Series Expansion

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 13 / 44
Introduction to Evaluation of Contour Integrals

Overview
**Contour integrals** involve integrating complex functions along
specified paths in the complex plane. Evaluating these integrals is
essential for various applications in physics and engineering.

Key Techniques
Parametrization of Paths
Cauchy’s Integral Theorem and Formula
Residue Theorem
Laurent Series Expansion
Contour Deformation

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 13 / 44
Parametrization of Paths

Methodology
To evaluate a contour integral, one often parametrizes the path γ by
a parameter t in an interval [a, b]:

z(t) = x(t) + iy (t), a≤t≤b

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 14 / 44
Parametrization of Paths

Methodology
To evaluate a contour integral, one often parametrizes the path γ by
a parameter t in an interval [a, b]:

z(t) = x(t) + iy (t), a≤t≤b

Integral Representation
The contour integral becomes:
Z Z b
f (z) dz = f (z(t)) · z ′ (t) dt
γ a

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 14 / 44
Techniques Overview

Common Techniques
1 **Residue Theorem:** Powerful for integrals involving
singularities inside the contour.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 15 / 44
Techniques Overview

Common Techniques
1 **Residue Theorem:** Powerful for integrals involving
singularities inside the contour.
2 **Laurent Series:** Useful for expanding functions around
singular points.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 15 / 44
Techniques Overview

Common Techniques
1 **Residue Theorem:** Powerful for integrals involving
singularities inside the contour.
2 **Laurent Series:** Useful for expanding functions around
singular points.
3 **Contour Deformation:** Allows changing the path of
integration without altering the integral’s value, provided certain
conditions are met.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 15 / 44
Techniques Overview

Common Techniques
1 **Residue Theorem:** Powerful for integrals involving
singularities inside the contour.
2 **Laurent Series:** Useful for expanding functions around
singular points.
3 **Contour Deformation:** Allows changing the path of
integration without altering the integral’s value, provided certain
conditions are met.
4 **Jordan’s Lemma:** Assists in evaluating integrals involving
exponential functions over large semicircular contours.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 15 / 44
Example 1: Applying Cauchy’s Integral Formula

Problem
Compute the integral:
ez
I
dz
γ z −1
Where γ is the circle |z| = 3 traversed counterclockwise, and z0 = 1
lies inside γ.

Solution Overview
1 **Verify** that f (z) = e z is analytic within and on γ.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 16 / 44
Example 1: Applying Cauchy’s Integral Formula

Problem
Compute the integral:
ez
I
dz
γ z −1
Where γ is the circle |z| = 3 traversed counterclockwise, and z0 = 1
lies inside γ.

Solution Overview
1 **Verify** that f (z) = e z is analytic within and on γ.
2 **Apply** Cauchy’s Integral Formula.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 16 / 44
Example 1: Step 1 - Verify Analyticity

Verify Analyticity
The function f (z) = e z is entire, meaning it is analytic everywhere in
C, including within and on the contour γ.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 17 / 44
Example 1: Step 2 - Apply Cauchy’s Integral
Formula
Apply Cauchy’s Integral Formula
According to Cauchy’s Integral Formula:
I
1 f (z)
f (z0 ) = dz
2πi γ z − z0

Solving for the integral:


I
f (z)
dz = 2πi · f (z0 )
γ z − z0

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 18 / 44
Example 1: Step 2 - Apply Cauchy’s Integral
Formula
Apply Cauchy’s Integral Formula
According to Cauchy’s Integral Formula:
I
1 f (z)
f (z0 ) = dz
2πi γ z − z0

Solving for the integral:


I
f (z)
dz = 2πi · f (z0 )
γ z − z0

Substitute the Values


Here, f (z0 ) = e 1 = e, therefore:
Department of Systems Engineering , Faculty of I
Engineeringz ,
University of Lagos e Page 18 / 44
Example 1: Conclusion

Conclusion
ez
I
dz = 2πie
γ z −1

Interpretation
The integral evaluates to 2πie, showcasing the direct application of
Cauchy’s Integral Formula.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 19 / 44
Example 2: Using the Residue Theorem

Problem
Compute the integral: I
z
dz
γ z2 +1
Where γ is the circle |z| = 2 traversed counterclockwise.

Solution Overview
z
1 **Identify** the singularities of f (z) = z 2 +1
.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 20 / 44
Example 2: Using the Residue Theorem

Problem
Compute the integral: I
z
dz
γ z2 +1
Where γ is the circle |z| = 2 traversed counterclockwise.

Solution Overview
1 **Identify** the singularities of f (z) = z 2z+1 .
2 **Determine** which singularities lie inside γ.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 20 / 44
Example 2: Using the Residue Theorem

Problem
Compute the integral: I
z
dz
γ z2 +1
Where γ is the circle |z| = 2 traversed counterclockwise.

Solution Overview
1 **Identify** the singularities of f (z) = z 2z+1 .
2 **Determine** which singularities lie inside γ.
3 **Find** the residues at these singularities.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 20 / 44
Example 2: Using the Residue Theorem

Problem
Compute the integral: I
z
dz
γ z2 +1
Where γ is the circle |z| = 2 traversed counterclockwise.

Solution Overview
1 **Identify** the singularities of f (z) = z 2z+1 .
2 **Determine** which singularities lie inside γ.
3 **Find** the residues at these singularities.
4 **Apply** the Residue Theorem.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 20 / 44
Example 2: Step 1 - Identify Singularities

Identify Singularities
The function f (z) = z 2z+1 has singularities where the denominator is
zero:
z 2 + 1 = 0 ⇒ z = i and z = −i

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 21 / 44
Example 2: Step 2 - Determine Singularities Inside
γ

Determine Singularities Inside γ


The contour γ is the circle |z| = 2. Both z = i and z = −i satisfy:

|i| = | − i| = 1 < 2

Therefore, both singularities lie inside γ.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 22 / 44
Example 2: Step 3 - Find Residues

Find Residues at z = i and z = −i


Since both singularities are simple poles, the residues can be found
using:  
z z
Res , zk = lim (z − zk )
z2 + 1 z→zk z2 + 1

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 23 / 44
Example 2: Step 3 - Find Residues

Find Residues at z = i and z = −i


Since both singularities are simple poles, the residues can be found
using:  
z z
Res , zk = lim (z − zk )
z2 + 1 z→zk z2 + 1
At z = i:
 
z z(z − i) z i 1
Res 2
,i = lim = lim = =
z +1 z→i (z − i)(z + i) z→i z + i 2i 2

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 23 / 44
Example 2: Step 3 - Find Residues

Find Residues at z = i and z = −i


Since both singularities are simple poles, the residues can be found
using:  
z z
Res , zk = lim (z − zk )
z2 + 1 z→zk z2 + 1
At z = i:
 
z z(z − i) z i 1
Res 2
,i = lim = lim = =
z +1 z→i (z − i)(z + i) z→i z + i 2i 2

At z = −i:
 
z z(z + i) z −i 1
Res 2
, −i = lim = lim = =
z +1 z→−i (z − i)(z + i) z→−i z − i −2i 2
Department of Systems Engineering , Faculty of Engineering ,
University of Lagos Page 23 / 44
Example 2: Step 4 - Apply the Residue Theorem

Step 1: Express the Integral


I     
z z z
2
dz = 2πi Res 2
,i + Res 2
, −i
γ z +1 z +1 z +1

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 24 / 44
Example 2: Step 4 - Apply the Residue Theorem

Step 1: Express the Integral


I     
z z z
2
dz = 2πi Res 2
,i + Res 2
, −i
γ z +1 z +1 z +1

Step 2: Substitute Residues


 
1 1
= 2πi +
2 2
= 2πi

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 24 / 44
Example 2: Conclusion

Conclusion
I
z
dz = 2πi
γ z2 +1

Interpretation
The integral evaluates to 2πi, demonstrating the application of the
Residue Theorem for functions with multiple singularities within the
contour.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 25 / 44
Example 3: Evaluation Using Cauchy’s Integral
Formula

Problem
Compute the integral:
ez
I
dz
γ z
Where γ is the unit circle |z| = 1 traversed counterclockwise.

Solution Overview
ez
1 **Identify** the singularity of f (z) = z
.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 26 / 44
Example 3: Evaluation Using Cauchy’s Integral
Formula

Problem
Compute the integral:
ez
I
dz
γ z
Where γ is the unit circle |z| = 1 traversed counterclockwise.

Solution Overview
z
1 **Identify** the singularity of f (z) = ez .
2 **Determine** if the singularity lies inside γ.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 26 / 44
Example 3: Evaluation Using Cauchy’s Integral
Formula

Problem
Compute the integral:
ez
I
dz
γ z
Where γ is the unit circle |z| = 1 traversed counterclockwise.

Solution Overview
z
1 **Identify** the singularity of f (z) = ez .
2 **Determine** if the singularity lies inside γ.
3 **Apply** Cauchy’s Integral Formula.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 26 / 44
Example 3: Step 1 - Identify Singularities

Identify Singularities
ez
The function f (z) = z
has a singularity at z = 0, which is a simple
pole.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 27 / 44
Example 3: Step 2 - Determine Singularity Inside γ

Determine Singularity Inside γ


The contour γ is the unit circle |z| = 1. Since |0| = 0 < 1, the
singularity at z = 0 lies inside γ.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 28 / 44
Example 3: Step 3 - Apply Cauchy’s Integral
Formula
Apply Cauchy’s Integral Formula
According to Cauchy’s Integral Formula:
I
1 f (z)
f (z0 ) = dz
2πi γ z − z0

Here, f (z) = e z and z0 = 0, so:

ez
I
0 1
e =1= dz
2πi γ z

Solving for the integral:


ez
I
dz = 2πi · 1 = 2πi
University of Lagos γ z
Department of Systems Engineering , Faculty of Engineering ,
Page 29 / 44
Example 3: Conclusion

Conclusion
ez
I
dz = 2πi
γ z

Interpretation
z
The integral of ez around the unit circle is 2πi, illustrating the use of
Cauchy’s Integral Formula for functions with singularities inside the
contour.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 30 / 44
Example 4: Contour Integral with Multiple
Singularities
Problem
Compute the integral: I
1
dz
γ z(z − 2)
Where γ is the circle |z| = 3 traversed counterclockwise.

Solution Overview
1
1 **Identify** the singularities of f (z) = z(z−2)
.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 31 / 44
Example 4: Contour Integral with Multiple
Singularities
Problem
Compute the integral: I
1
dz
γ z(z − 2)
Where γ is the circle |z| = 3 traversed counterclockwise.

Solution Overview
1
1 **Identify** the singularities of f (z) = z(z−2)
.
2 **Determine** which singularities lie inside γ.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 31 / 44
Example 4: Contour Integral with Multiple
Singularities
Problem
Compute the integral: I
1
dz
γ z(z − 2)
Where γ is the circle |z| = 3 traversed counterclockwise.

Solution Overview
1
1 **Identify** the singularities of f (z) = z(z−2)
.
2 **Determine** which singularities lie inside γ.
3 **Find** the residues at these singularities.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 31 / 44
Example 4: Contour Integral with Multiple
Singularities
Problem
Compute the integral: I
1
dz
γ z(z − 2)
Where γ is the circle |z| = 3 traversed counterclockwise.

Solution Overview
1
1 **Identify** the singularities of f (z) = z(z−2)
.
2 **Determine** which singularities lie inside γ.
3 **Find** the residues at these singularities.
4 **Apply** the Residue Theorem.
Department of Systems Engineering , Faculty of Engineering ,
University of Lagos Page 31 / 44
Example 4: Step 1 - Identify Singularities

Identify Singularities
1
The function f (z) = z(z−2)
has singularities at:

z = 0 and z = 2

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 32 / 44
Example 4: Step 2 - Determine Singularities Inside
γ

Determine Singularities Inside γ


The contour γ is the circle |z| = 3. Both z = 0 and z = 2 satisfy:

|0| = 0 < 3 and |2| = 2 < 3

Therefore, both singularities lie inside γ.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 33 / 44
Example 4: Step 3 - Find Residues

Find Residues at z = 0 and z = 2


Since both singularities are simple poles, the residues can be found
using:  
1 1
Res , zk = lim (z − zk )
z(z − 2) z→zk z(z − 2)

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 34 / 44
Example 4: Step 3 - Find Residues

Find Residues at z = 0 and z = 2


Since both singularities are simple poles, the residues can be found
using:  
1 1
Res , zk = lim (z − zk )
z(z − 2) z→zk z(z − 2)
At z = 0:
 
1 1 1 1
Res , 0 = lim = =−
z(z − 2) z→0 z − 2 −2 2

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 34 / 44
Example 4: Step 3 - Find Residues

Find Residues at z = 0 and z = 2


Since both singularities are simple poles, the residues can be found
using:  
1 1
Res , zk = lim (z − zk )
z(z − 2) z→zk z(z − 2)
At z = 0:
 
1 1 1 1
Res , 0 = lim = =−
z(z − 2) z→0 z − 2 −2 2

At z = 2:  
1 1 1
Res , 2 = lim =
z(z − 2) z→2 z 2

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 34 / 44
Example 4: Step 4 - Apply the Residue Theorem

Apply the Residue Theorem


I     
1 1 1
dz = 2πi Res , 0 + Res ,2 = 2π
γ z(z − 2) z(z − 2) z(z − 2)

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 35 / 44
Example 4: Conclusion

Conclusion
I
1
dz = 0
γ z(z − 2)

Interpretation
The integral evaluates to zero, demonstrating how residues can
cancel each other out when their sum is zero.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 36 / 44
Example 5: Evaluating an Integral with a
Higher-Order Pole
Problem
Compute the integral: I
1
dz
γ (z − 1)2
Where γ is the circle |z| = 3 traversed counterclockwise.

Solution Overview
1
1 **Identify** the singularity of f (z) = (z−1)2
.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 37 / 44
Example 5: Evaluating an Integral with a
Higher-Order Pole
Problem
Compute the integral: I
1
dz
γ (z − 1)2
Where γ is the circle |z| = 3 traversed counterclockwise.

Solution Overview
1
1 **Identify** the singularity of f (z) = (z−1)2
.
2 **Determine** if the singularity lies inside γ.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 37 / 44
Example 5: Evaluating an Integral with a
Higher-Order Pole
Problem
Compute the integral: I
1
dz
γ (z − 1)2
Where γ is the circle |z| = 3 traversed counterclockwise.

Solution Overview
1
1 **Identify** the singularity of f (z) = (z−1)2
.
2 **Determine** if the singularity lies inside γ.
3 **Find** the residue at the singularity.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 37 / 44
Example 5: Evaluating an Integral with a
Higher-Order Pole
Problem
Compute the integral: I
1
dz
γ (z − 1)2
Where γ is the circle |z| = 3 traversed counterclockwise.

Solution Overview
1
1 **Identify** the singularity of f (z) = (z−1)2
.
2 **Determine** if the singularity lies inside γ.
3 **Find** the residue at the singularity.
4 **Apply** the Residue Theorem.
Department of Systems Engineering , Faculty of Engineering ,
University of Lagos Page 37 / 44
Example 5: Step 1 - Identify Singularities

Identify Singularities
1
The function f (z) = (z−1)2
has a singularity at z = 1, which is a pole
of order 2.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 38 / 44
Example 5: Step 2 - Determine Singularity Inside γ

Determine Singularity Inside γ


The contour γ is the circle |z| = 3. Since |1| = 1 < 3, the singularity
at z = 1 lies inside γ.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 39 / 44
Example 5: Step 3 - Find Residue

Find Residue at z = 1
For a pole of order n, the residue can be found using:

1 d n−1
Res (f , z0 ) = lim n−1
[(z − z0 )n f (z)]
(n − 1)! z→z 0 dz

Here, n = 2 and z0 = 1:
   
1 1 d 2 1 d
Res 2
,1 = lim (z − 1) · 2
= lim [1] = 0
(z − 1) 1! z→1 dz (z − 1) z→1 dz

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 40 / 44
Example 5: Step 4 - Apply the Residue Theorem

Apply the Residue Theorem


I  
1 1
dz = 2πi · Res , 1 = 2πi · 0 = 0
γ (z − 1)2 (z − 1)2

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 41 / 44
Example 5: Conclusion

Conclusion
I
1
dz = 0
γ (z − 1)2

Interpretation
The integral evaluates to zero, highlighting that higher-order poles
contribute to the integral based on their residues.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 42 / 44
Summary
Key Takeaways
Cauchy’s Integral Theorem: The integral of an analytic
function over a closed contour is zero.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 43 / 44
Summary
Key Takeaways
Cauchy’s Integral Theorem: The integral of an analytic
function over a closed contour is zero.
Cauchy’s Integral Formula: Provides a method to evaluate
integrals and derive properties of analytic functions.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 43 / 44
Summary
Key Takeaways
Cauchy’s Integral Theorem: The integral of an analytic
function over a closed contour is zero.
Cauchy’s Integral Formula: Provides a method to evaluate
integrals and derive properties of analytic functions.
Residue Theorem: A powerful tool for evaluating contour
integrals, especially with multiple singularities.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 43 / 44
Summary
Key Takeaways
Cauchy’s Integral Theorem: The integral of an analytic
function over a closed contour is zero.
Cauchy’s Integral Formula: Provides a method to evaluate
integrals and derive properties of analytic functions.
Residue Theorem: A powerful tool for evaluating contour
integrals, especially with multiple singularities.
Techniques of Integration: Including parametrization, Laurent
series, and contour deformation are essential for solving complex
integrals.

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 43 / 44
Summary
Key Takeaways
Cauchy’s Integral Theorem: The integral of an analytic
function over a closed contour is zero.
Cauchy’s Integral Formula: Provides a method to evaluate
integrals and derive properties of analytic functions.
Residue Theorem: A powerful tool for evaluating contour
integrals, especially with multiple singularities.
Techniques of Integration: Including parametrization, Laurent
series, and contour deformation are essential for solving complex
integrals.
Worked Examples: Practical applications reinforce theoretical
concepts and demonstrate the application of fundamental
theorems.
Department of Systems Engineering , Faculty of Engineering ,
University of Lagos Page 43 / 44
Summary
Key Takeaways
Cauchy’s Integral Theorem: The integral of an analytic
function over a closed contour is zero.
Cauchy’s Integral Formula: Provides a method to evaluate
integrals and derive properties of analytic functions.
Residue Theorem: A powerful tool for evaluating contour
integrals, especially with multiple singularities.
Techniques of Integration: Including parametrization, Laurent
series, and contour deformation are essential for solving complex
integrals.
Worked Examples: Practical applications reinforce theoretical
concepts and demonstrate the application of fundamental
theorems.

Further Reading
Department of Systems Engineering , Faculty of Engineering ,
University of Lagos Page 43 / 44
Questions and Discussion

Any Questions?

Department of Systems Engineering , Faculty of Engineering ,


University of Lagos Page 44 / 44

You might also like