Interdisciplinary Application of Residue Theorem in Trigonometric
and Fraction Functions
Yeheng Xiao
a
School Malvern College Qingdao, Qingdao, China
Keywords: Residue Theorem, Complex Variable Function, Definite Integral.
Abstract: In complex function theory, there exists a fundamental concept known as the residue theorem., lies at the
intersection of pure mathematics and diverse scientific applications. This theorem elegantly connects the
integrand function over a precisely defined closed geometric contour in the complex plane to the sum of its
residues at isolated singularities within that contour. In mathematics, it serves as a potent means for the
evaluation of otherwise intractable complex integrals, offering new insights into the behavior of complex -
valued functions, from analyzing the distribution of zeros and poles to studying function singularities. Its
applications span multiple scientific disciplines. In physics, it simplifies calculations in quantum mechanics,
electromagnetism, and statistical physics, providing crucial solutions for problems like scattering amplitudes
and electromagnetic field distributions. In engineering, it aids in signal processing and control system design,
especially when dealing with Laplace and Fourier transforms. Hence, this paper aims to calculate
representative definite integrals with the help of Residue theorem, paving the way for connecting its
applications in interdisciplinary field.
1 INTRODUCTION
Complex variable functions are an important branch
in mathematics and are widely applied in many fields
such as physics, engineering, computer science, and
finance (Churchill & Brown, 2014). The following
are the main application scenarios of complex
variable functions. In the field of mathematics,
residue theorem relates closely to the complex
variable functions. The residue theorem is a useful
tool to calculate integrals associated with complex -
variable functions The residue theorem is an
important tool for the calculation of integrals of
complex variable functions.
In the course of researching complex variable
functions, for the calculation of the integrals of some
functions that have singular points in a closed region,
Cauchy's integral theorem cannot be directly applied
(Bak & Newman, 2010). However, the residue
theorem provides an effective method. It links the
residues of the function at each singular point within
the region enclosed by a closed curve with the integral
of the function along that closed curve. That is, the
integral of the function along the closed curve is equal
a
https://orcid.org/0009-0006-4658-8411
to 2ฯ€๐‘– times the sum of the residues of the function at
each singular point within the region enclosed by the
closed curve, which greatly simplifies the calculation
of the integrals of complex variable functions (Stein
& Shakarchi, 2003). The residue theorem deepens the
understanding of the singular points of complex
variable functions. The singular points of complex
variable functions are divided into types such as
removable singular points, poles, and essential
singular points. Through calculating the residues of
the function at singular points, the residue theorem
enables a more in-depth study of the properties and
characteristics of singular points. For example, by
calculating the residues, the author can determine the
type of a singular point and understand the local
properties of the function near the singular point (Chi,
2024).
The theoretical framework of complex variable
functions serves as the foundation for the residue
theorem. The analyticity of complex variable
functions, Cauchy's integral formula and other
theories are the basis for the derivation and proof of
the residue theorem. The properties of analytic
functions ensure the establishment of the residue
Xiao, Y.
Interdisciplinary Application of Residue Theorem in Trigonometric and Fraction Functions.
DOI: 10.5220/0013814900004708
Paper published under CC license (CC BY-NC-ND 4.0)
In Proceedings of the 2nd International Conference on Innovations in Applied Mathematics, Physics, and Astronomy (IAMPA 2025), pages 109-113
ISBN: 978-989-758-774-0
Proceedings Copyright ยฉ 2025 by SCITEPRESS โ€“ Science and Technology Publications, Lda.
109
theorem and provide various methods for calculating
residues, such as using the Laurent series expansion.
At the same time, some basic concepts and methods
of complex variable functions, such as contour
integrals and isolated singular points, are also the
prerequisites and keys for the application of the
residue theorem. The residue theorem promotes the
development and application of the theory of complex
variable functions. The emergence of the residue
theorem has promoted the extensive application of the
theory of complex variable functions in other fields.
It has played an important role in aspects such as
calculating real integrals, solving differential
equations, and studying fluid mechanics and
electromagnetics. These applications not only expand
the research scope of complex variable functions but
also further enrich and perfect the theoretical system
of complex variable functions.
2 METHODS
2.1 Complex Numbers and Functions
A complex number is of the form ๐‘ง=๐‘ฅ+๐‘–๐‘ฆ where x
and y are real numbers, and ๐‘– =
โˆš
1
. A complex
function f(z) maps complex numbers to complex
numbers. One will review the basic operations on
complex numbers and functions, such as addition,
multiplication, and differentiation (Qiu, 2020).
For a function ๐‘“(๐‘ง) that is analytic at an isolated
singularity z, its Laurent series expansion is
๐‘“
(
๐‘ง
)
=๎ท๐‘Ž
๎ฏก
(๐‘ง โˆ’๐‘ง
๎ฌด
)
๎ฏก
๎ฎถ
๎ฏก๎ญ€๎ฌฟ๎ฎถ
(
1
)
The residue is defined as the coefficient of
term
(
๐‘งโˆ’๐‘ง
๎ฌด
)
๎ฌฟ๎ฌต
in the Laurent series, that is
Res
(
๐‘“,๐‘ง
๎ฌด
)
=๐‘Ž
๎ฌฟ๎ฌต
In practical calculations, for
different types of isolated singularities, there are
different methods for calculating the residue. If ๐‘ง
๎ฌด
is
an mth order pole of ๐‘“
(
๐‘ง
)
, then the formula
๐‘…๐‘’๐‘ 
(
๐‘“,๐‘ง
๎ฌด
)
=
๐‘š
(
๐‘šโˆ’1
)
!
lim
๎ฏญโ†’๎ฏญ
๎ฐฌ
๐‘“
(
๐‘ง
)(
2
)
can be used to calculate the residue. For example, for
the function๐‘“
(
๐‘ง
)
=
๎ฏญ
(
๎ฏญ๎ฌฟ๎ฌต
)
๎ฐฎ
(
๎ฏญ๎ฌพ๎ฌถ
)
, z = 1 is a second-
order pole and z = - 2 is a first-order pole. For z = 1,
according to the above formula, first let ๐‘”
(
๐‘ง
)
๎ฏญ
๎ฏญ๎ฌพ๎ฌถ
,
then ๐‘…๐‘’๐‘ 
(
๐‘“,๐‘ง
๎ฌด
)
=
๎ฌต
๎ฌฝ
๏ผ›for z=-2 ๐‘…๐‘’๐‘ 
(
๐‘“,๐‘ง
๎ฌด
)
=โˆ’
๎ฌถ
๎ฌฝ
.
Singularities are points where a complex function
is not analytic. Multiple kinds of singularities are
present, and among them are removable singularities,
poles, and essential singularities. The behavior of a
function near its singularities is crucial for
understanding the residue concept.
2.2 Residue Theorem
The residue theorem establishes a connection
between the integral of a function along a closed
curve and the residues of the function at the isolated
singularities inside the curve. Let f(z) be analytic in
the region D enclosed by a simple closed curve C
except for a finite number of isolated singularities
๐‘ง
๎ฌต
๐‘ง
๎ฌถ
โ€ฆ๏ผŒ๐‘ง
๎ฏก
, and continuous in the closed region ๐ท
๎ดฅ
=
๐ทโˆช๐ถ except at these singularities. Then one has
๎ถผ
๐‘“
(
๐‘ง
)
๐‘‘๐‘ง=2๐œ‹i๎ท๐‘…๐‘’๐‘ (๐‘“,๐‘ง
๎ฏž
)
๎ฏก
๎ฏž๎ญ€๎ฌต
๎ฏ–
(
3
)
Below is the General Steps for Calculating Integrals
Using the Residue Theorem (Trefethen & Weideman,
2014).
The first is to determine the integration path.
Select an appropriate closed integration path C, which
is usually constructed according to the characteristics
of the integrand function and the integration interval.
For example, for the integral
๎—ฌ
๐‘“
(
๐‘ฅ
)
๎ฎถ
๎ฌฟ๎ฎถ
๐‘‘๐‘ฅon the real
axis, a semi-circular path (with radius R) in the upper
half-plane is often added, so that the integration path
C = ๐ถ
๎ฏ‹
+ฮณ (ฮณ is the line segment
๏ˆพ
โˆ’๐‘…,๐‘…
๏ˆฟ
on the real
axis) forms a closed curve.
The second is to analyze the singularities of the
integrand function. Find all the isolated singularities
of the integrand function f(z) inside the integration
path C, and determine the types of the singularities
(removable singularities, poles, or essential
singularities). Then, according to the type of the
singularity, use the corresponding method to calculate
the residue at each singularity.
The third is to calculate the sum of the residues.
Add up the residues at all the singularities inside the
integration path C to obtain
โˆ‘
๐‘…๐‘’๐‘ 
(
๐‘“,๐‘ง
๎ฏž
)
๎ฏก
๎ฏž๎ญ€๎ฌต
.
The fourth is to apply the residue theorem to find
the value of the integral. According to the residue
theorem shown in Eq. (3), one can calculate the
numerical value of the integral taken along the closed
- loop curve C Then, by analyzing the limit situation
of the integral on the supplementary path (such as๐ถ
๎ฏ‹
)
when๐‘…=โˆž, the value of the original integral on the
real axis can be obtained (Xu & Fan, 2024). For
example, when lim๐‘…โ†’โˆž
โˆฎ
๐‘“
(
๐‘ง
)
๐‘‘๐‘ง=
๎ฏ–
2๐œ‹i
โˆ‘
๐‘…๐‘’๐‘ (๐‘“,๐‘ง
๎ฏž
๎ฏก
๎ฏž๎ญ€๎ฌต
).
The residue theorem has many applications. In
physics, Cauchy's residue theorem is used in various
areas. For instance, in quantum field theory, it is used
to calculate scattering amplitudes and Green's
IAMPA 2025 - The International Conference on Innovations in Applied Mathematics, Physics, and Astronomy
110
functions. In statistical mechanics, it can be applied
to evaluate partition functions. The author will briefly
introduce some of these applications and explain how
the theorem is used in these contexts.
In Quantum Mechanics In quantum mechanics,
the residue theorem is used to calculate the Green's
functions. The Green's function is a powerful tool for
solving the Schrรถdinger equation and understanding
the propagation of quantum waves. For example, in
the study of scattering problems, the Green's function
can be expressed as a complex integral. By applying
the residue theorem, people can evaluate this integral
and obtain the scattering amplitude, which is a key
quantity in understanding the interaction between
particles.
In statistical physics, the partition function is a
central concept. It is often expressed as an integral
over a complex contour. The residue theorem can be
employed to evaluate this integral and obtain the
thermodynamic properties of the system, such as the
free energy, entropy, and specific heat. This allows
people to study the equilibrium and non - equilibrium
behaviours of physical systems.
3 APPPLICATION
3.1 Integrals of Trigonometric
Functions
Let ๐‘ง = ๐‘’
๎ฏœ๎ฐ
, then cos๐œƒ=
๎ฏญ ๎ฌพ ๎ฏญ
๎ฐท๎ฐญ
๎ฌถ
, sin๐œƒ=
๎ฏญ ๎ฌฟ ๎ฏญ
๎ฐท๎ฐญ
๎ฌถ๎ฏœ
, and ๐‘‘ฮธ=๐‘‘๐‘ง ๐‘–๐‘ง
โ„
(Hang et al, 2023). When ๐œƒ
varies from 0 to 2ฯ€, z makes a positive circuit along
the unit circle |z| = 1 in the complex plane. Thus, the
original integral
๎—ฌ
๐‘…
(
cosฮธ,sinฮธ
)
๐‘‘
๎ฌถ๎ฎ 
๎ฌด
is transformed
into the contour integral of a complex function
I= ๎ถป ๐‘…๏‰†
๐‘งโ€ˆ + โ€ˆ๐‘ง
๎ฌฟ๎ฌต
2
,
๐‘งโ€ˆ โˆ’ โ€ˆ๐‘ง
๎ฌฟ๎ฌต
2๐‘–
๏‰‡
๐‘‘๐‘ง
๐‘–๐‘ง
|
๎ฏญ
|
โ€ˆ๎ญ€โ€ˆ๎ฌต
(
4
)
Then, by using the Cauchy residue theorem, people
can calculate the residues of the integrand at the isol
ated singular points inside the unit circle |z| = 1, and
further obtain the value of the integral (Zeng, 2020).
For example, to calculate
I=๎ถฑ
๐‘‘ฮธ
1 + ๐‘Žcosฮธ
(|
๐‘Ž
|
<1
)
๎ฌถ๎ฎ 
๎ฌด
(
5
)
Let ๐‘ง=๐‘’
๎ฏœ๎ฐ
, the integrand is then transformed into
I=๎ถป
2
(
๐‘Ž + 2
)
๐‘ง + ๐‘Ž๐‘ง
๎ฌถ
|
๎ฏญ
|
๎ญ€ ๎ฌต
๐‘‘๐‘ง,
(
6
)
and in what follows one can introduce a new
function ๐‘“
(
๐‘ง
)
=
๎ฌถ
๎ฏ”๎ฏญ
๎ฐฎ
๎ฌพ
(
๎ฏ” ๎ฌพ ๎ฌถ
)
๎ฏญ
. The singular points of
๐‘“
(
๐‘ง
)
are ๐‘ง
๎ฌต
= 0 and ๐‘ง
๎ฌถ
is not inside the unit circle.
๐‘ง
๎ฌต
= 0 is a first-order pole, and Res
๏ˆพ
๐‘“
(
๐‘ง
)
,0
๏ˆฟ
=
lim
๎ฏญ โ†’ ๎ฌด
๐‘ง๐‘“
(
๐‘ง
)
=
๎ฌถ
๎ฏ” ๎ฌพ ๎ฌถ
. According to residue theorem,
๎ถฑ
๐‘‘ฮธ
1 + ๐‘Žcosฮธ
๎ฌถ๎ฎ 
๎ฌด
=
2ฯ€
โˆš
1 โˆ’ ๐‘Ž
๎ฌถ
(
7
)
Next, the author will evaluate the integral
๎—ฌ
๐‘“
(
๐‘ง
)
๐‘‘๐‘ง
๎ฎผ
.
(a) Evaluation of the integral for the semicircle z
= 2๐‘’
๎ฏœ๎ฐ
(
0โ‰ค๐œƒโ‰ค๐œ‹
)
.
First, the author shall express ๐‘ง and d๐‘ง in terms of
ฮธ. Given z = 2๐‘’
๎ฏœ๎ฐ
, then dz=2๐‘–๐‘’
๎ฏœ๎ฐ
๐‘‘๐œƒ. Substitute z into
the function f(z): ๐‘“
(
๐‘ง
)
=
๎ฏญ๎ฌพ๎ฌถ
๎ฏญ
=1+
๎ฌถ
๎ฏญ
. Substituting zโ€ˆ=
โ€ˆ2e
๎ญง๎ฎ˜
, one gets ๐‘“
(
๐‘ง
)
=1+
๎ฌถ
๎ฌถ๎ฏ˜
๎ณ”๎ฒ
=1+๐‘’
๎ฌฟ๎ฏœ๎ฎ˜
. Now, the
task is to calculate the contour integral
๎—ฌ
๐‘“
(
๐‘ง
)
๐‘‘๐‘ง
๎ฎผ
, i.e.,
๎—ฌ
๐‘“
(
๐‘ง
)
๐‘‘๐‘ง
๎ฎผ
=
๎—ฌ
๎ตซ1 + ๐‘’
๎ฌฟ๎ฏœ๎ฎ˜
๎ตฏ
๎ฎ 
๎ฌด
โ‹…2๐‘–๐‘’
๎ฏœ๎ฎ˜
๐‘‘ฮธ. Expand the
integrand: ๎ตซ1 + ๐‘’
๎ฌฟ๎ฏœ๎ฎ˜
๎ตฏโ‹…2๐‘–๐‘’
๎ฏœ๎ฎ˜
=2๐‘–๐‘’
๎ฏœ๎ฎ˜
+2๐‘– and
integrate it term - by โ€“ term, then
๎ถฑ๎ตซ2๐‘–๐‘’
๎ฏœ๎ฎ˜
+2๐‘–๎ตฏ๐‘‘ฮธ
๎ฎ 
๎ฌด
=2๐‘–๎ถฑ๐‘’
๎ฏœ๎ฎ˜
๎ฎ 
๎ฌด
๐‘‘ฮธ + 2๐‘–๎ถฑ ๐‘‘
๎ฎ 
๎ฌด
ฮธ
(
8
)
For
๎—ฌ
๐‘’
๎ฏœ๎ฎ˜
๎ฎ 
๎ฌด
๐‘‘ฮธ, using the formula
๎—ฌ
๐‘’
๎ฏ”๎ฏซ
๐‘‘๐‘ฅ=
๎ฌต
๎ฏ”
๐‘’
๎ฏ”๎ฏซ
+
๐ถ
(
โ„Ž๐‘’๐‘Ÿ๐‘’๐‘Ž=๐‘–
)
, one has
๎—ฌ
๐‘’
๎ฏœ๎ฎ˜
๎ฎ 
๎ฌด
๐‘‘ฮธ=๏‰‚
๎ฌต
๎ฏœ
๐‘’
๎ฏœ๎ฎ˜
๏‰ƒ
๎ฌด
๎ฎ 
. Since
๎ฌต
๎ฏœ
=โˆ’๐‘–, then
๎—ฌ
๐‘’
๎ฏœ๎ฎ˜
๎ฎ 
๎ฌด
๐‘‘ฮธ=โˆ’๐‘–
(
๐‘’
๎ฏœ๎ฎ 
โˆ’๐‘’
๎ฌด
)
=โˆ’๐‘–
(
โˆ’1 โˆ’
1
)
=2๐‘–.
๎—ฌ
d๐œƒ
๎ฐ—
๎ฌด
=๐œ‹.So, 2๐‘–
๎—ฌ
๐‘’
๎ฏœ๎ฎ˜
๎ฎ 
๎ฌด
๐‘‘ฮธ + 2๐‘–
๎—ฌ
๐‘‘ฮธ
๎ฎ 
๎ฌด
=
2๐‘–โ‹… 2๐‘–+ 2๐‘–ฯ€=โˆ’4 + 2ฯ€๐‘–.
(b) Evaluation of the integral for the semicircle
๐‘ง=2๐‘’
๎ฏœ๎ฐ
(
๐œ‹โ‰ค๐œƒโ‰ค2๐œ‹
)
.
Again, ๐‘ง=2๐‘’
๎ฏœ๎ฐ
, ๐‘‘๐‘ง=2๐‘–๐‘’
๎ฏœ๎ฐ
๐‘‘๐œƒ, and ๐‘“
(
๐‘ง
)
=1+
๎ฌถ
๎ฏญ
=1+๐‘’
๎ฌฟ๎ฏœ๎ฐ
. Calculate the contour - integral
๎—ฌ
๐‘“
(
๐‘ง
)
๐‘‘๐‘ง
๎ฎผ
:
๎ถฑ๐‘“
(
๐‘ง
)
๐‘‘๐‘ง
๎ฎผ
=๎ถฑ ๎ตซ1+๐‘’
๎ฌฟ๎ฏœ๎ฐ
๎ตฏ
๎ฌถ๎ฐ—
๎ฐ—
โ‹…2๐‘–๐‘’
๎ฏœ๎ฐ
๐‘‘๐œƒ
(
9
)
Expand the integrand ๎ตซ1 +๐‘’
๎ฌฟ๎ฏœ๎ฎ˜
๎ตฏโ‹…2๐‘–๐‘’
๎ฏœ๎ฎ˜
=2๐‘–๐‘’
๎ฏœ๎ฎ˜
+
2๐‘– and integrate term - by โ€“ term, then
๎—ฌ
๎ตซ2๐‘–๐‘’
๎ฏœ๎ฎ˜
+
๎ฌถ๎ฎ 
๎ฎ 
2๐‘–๎ตฏ๐‘‘ฮธ=2๐‘–
๎—ฌ
๐‘’
๎ฏœ๎ฎ˜
๎ฌถ๎ฎ 
๎ฎ 
๐‘‘ฮธ + 2๐‘–
๎—ฌ
๐‘‘
๎ฌถ๎ฎ 
๎ฎ 
ฮธ.
For
๎—ฌ
๐‘’
๎ฏœ๎ฎ˜
๎ฌถ๎ฎ 
๎ฎ 
๐‘‘ฮธ, using
๎—ฌ
๐‘’
๎ฏœ๎ฎ˜
๐‘‘ฮธ=โˆ’๐‘–๐‘’
๎ฏœ๎ฎ˜
+๐ถ, one
has
๎—ฌ
๐‘’
๎ฏœ๎ฎ˜
๎ฌถ๎ฎ 
๎ฎ 
๐‘‘ฮธ=โˆ’๐‘–
(
๐‘’
๎ฏœโ‹…๎ฌถ๎ฎ 
โˆ’๐‘’
๎ฏœ๎ฎ 
)
=โˆ’๐‘–
(
1+1
)
=
โˆ’2๐‘– . So, it is calculated that 2๐‘–
๎—ฌ
๐‘’
๎ฏœ๎ฎ˜
๎ฌถ๎ฎ 
๎ฎ 
๐‘‘ฮธ +
2๐‘–
๎—ฌ
๐‘‘ฮธ
๎ฌถ๎ฎ 
๎ฎ 
=2๐‘–โ‹…
(
โˆ’2๐‘–
)
+2๐‘–ฯ€=4+2ฯ€๐‘–.
(c) Evaluation of the integral for the circle ๐‘ง=
2๐‘’
๎ฏœ๎ฎ˜
(
0โ‰คฮธโ‰ค2ฯ€
)
.
People can use the results from parts (a) and (b).
Since the circle ๐‘ง=2๐‘’
๎ฏœ๎ฎ˜
(
0โ‰คฮธโ‰ค2ฯ€
)
is composed
of the two semicircles from parts (a) and (b), then
๎ถฑ๐‘“
(
๐‘ง
)
๐‘‘๐‘ง
๎ฎผ
=๎ถฑ๎ตซ1+๐‘’
๎ฌฟ๎ฏœ๎ฎ˜
๎ตฏ
๎ฎ 
๎ฌด
โ‹…2๐‘–๐‘’
๎ฏœ๎ฎ˜
๐‘‘ฮธ
Interdisciplinary Application of Residue Theorem in Trigonometric and Fraction Functions
111
+๎ถฑ ๎ตซ1+๐‘’
๎ฌฟ๎ฏœ๎ฎ˜
๎ตฏ
๎ฌถ๎ฎ 
๎ฎ 
โ‹…2๐‘–๐‘’
๎ฏœ๎ฎ˜
๐‘‘ฮธ
(
10
)
From part (a), it is
๎—ฌ
๎ตซ1 + ๐‘’
๎ฌฟ๎ฏœ๎ฎ˜
๎ตฏ
๎ฎ 
๎ฌด
โ‹…2๐‘–๐‘’
๎ฏœ๎ฎ˜
๐‘‘ฮธ=โˆ’4 +
2ฯ€๐‘–,๐‘Ž๐‘›๐‘‘๐‘“๐‘Ÿ๐‘œ๐‘š๐‘๐‘Ž๐‘Ÿ๐‘ก
(
๐‘
)
,
๎—ฌ
๎ตซ1 + ๐‘’
๎ฌฟ๎ฏœ๎ฎ˜
๎ตฏ
๎ฌถ๎ฎ 
๎ฎ 
โ‹…2๐‘–๐‘’
๎ฏœ๎ฎ˜
๐‘‘ฮธ=
4+2ฯ€๐‘–. Then it is found that
๎—ฌ
๐‘“
(
๐‘ง
)
๐‘‘๐‘ง
๎ฎผ
=
(
โˆ’4 +
2ฯ€๐‘–
)
+
(
4+2ฯ€๐‘–
)
=4ฯ€๐‘–.
3.2 Integrals of Fractional Function
The author shall define
๐‘“
(
๐‘ก
)
=
๐‘Ž๐‘ง
๎ฌท
+๐‘๐‘ง
๎ฌถ
+๐‘๐‘ง+๐‘‘
๐‘ง
๎ฌธ
โˆ’1
(
11
)
with ๐‘Ž=6,๐‘=๐‘–+ 1,๐‘=16,๐‘‘=๐‘–โˆ’ 1 (Li et al,
2021). The task is to evaluate the integrals
๎—ฌ
๐‘“
(
๐‘ง
)
d๐‘ง
๎ฏฅ
with ฮณ
๎ฌต
(
๐‘ก
)
=๐‘–+
๎ฏ˜
๎ณ”๎ณŸ
๎ฌถ
,0โ‰ค๐‘กโ‰ค2๐œ‹ ฮณ
๎ฌถ
(
๐‘ก
)
=
๎ฏœ๎ฌฟ๎ฌต
๎ฌถ
+
โˆš
2
๐‘’
๎ฏœ๎ฏง
,0โ‰ค๐‘กโ‰ค2๐œ‹ ฮณ
๎ฌท
(
๐‘ก
)
=1+5๐‘’
๎ฏœ๎ฏง
,0โ‰ค๐‘กโ‰ค2๐œ‹.
Firstly, people can factor the denominator ๐‘ง
๎ฌธ
โˆ’1.
People know that ๐‘ง
๎ฌธ
โˆ’1=
(
๐‘งโˆ’1
)(
๐‘ง+1
)(
๐‘งโˆ’
๐‘–
)(
๐‘ง+๐‘–
)
by the difference - of - powers formula
๐‘Ž
๎ฏก
โˆ’๐‘
๎ฏก
=
(
๐‘Žโˆ’๐‘
)(
๐‘Ž
๎ฏก๎ฌฟ๎ฌต
+๐‘Ž
๎ฏก๎ฌฟ๎ฌถ
๐‘+โ‹ฏ+๐‘Ž๐‘
๎ฏก๎ฌฟ๎ฌถ
+
๐‘
๎ฏก๎ฌฟ๎ฌต
)
. Here, a = z, b = 1 and n = 4. So,
๐‘“
(
๐‘ง
)
=
6๐‘ง
๎ฌท
+
(
๐‘–+1
)
๐‘ง
๎ฌถ
+ 16๐‘ง+
(
1โˆ’๐‘–
)
(
๐‘งโˆ’1
)(
๐‘ง+1
)(
๐‘งโˆ’๐‘–
)(
๐‘ง+๐‘–
)
(
12
)
For the contour ฮณ
๎ฌต
(
๐‘ก
)
=๐‘–+
๎ฏ˜
๎ณ”๎ณŸ
๎ฌถ
,0โ‰ค๐‘กโ‰ค2. The
center of the contour ฮณ
๎ฌต
is ๐‘ง
๎ฌด
=๐‘– and the radius ๐‘Ÿ=
12
โ„
. The singularities of ๐‘“(๐‘ง) are the roots of ๐‘ง
๎ฌธ
โˆ’
1=0,i.e.,๐‘ง=1,๐‘ง=โˆ’1,๐‘ง=๐‘–,๐‘ง=โˆ’๐‘–.
People check which singularities lie inside the
contour ฮณ
๎ฌต
. The distance between a point z and the
center ๐‘– of the contour ฮณ
๎ฌต
is given by |z - i|. For ๐‘ง=
1,
|
1โˆ’๐‘–
|
=
๎ถฅ
1+
(
โˆ’1
)
๎ฌถ
=
โˆš
2>
๎ฌต
๎ฌถ
. For ๐‘ง=
โˆ’1,
|
โˆ’1 โˆ’ ๐‘–
|
=
๎ถฅ
(
โˆ’1
)
๎ฌถ
+
(
โˆ’1
)
๎ฌถ
=
โˆš
2>
๎ฌต
๎ฌถ
. For
๐‘ง=๐‘–,
|
๐‘–โˆ’๐‘–
|
=0<
๎ฌต
๎ฌถ
. For ๐‘ง=โˆ’๐‘–,
|
โˆ’๐‘– โˆ’ ๐‘–
|
=
|
โˆ’2๐‘–
|
=2>
๎ฌต
๎ฌถ
. By the residue theorem,
๎—ฌ
๐‘“
(
๐‘ง
)
๐‘‘๐‘ง
๎ฎ“
๎ฐญ
=2ฯ€๐‘–โˆ™๐‘…๐‘’๐‘ 
๎ฏญ๎ญ€๎ฏœ
๐‘“
(
๐‘ง
)
. To find the residue at
๐‘ง = ๐‘–, people can use the formula ๐‘…๐‘’๐‘ 
๎ฏญ๎ฌฟ๎ฏญ
๎ฐฌ
๎ฏš
(
๎ฏญ
)
๎ฏ›
(
๎ฏญ
)
=
๎ฏš
(
๎ฏญ
๎ฐฌ
)
๎ฏ›
โ€ฒ
(
๎ฏญ
๎ฐฌ
)
where g
(
๐‘ง
)
=6๐‘ง
๎ฌท
+
(
๐‘–+1
)
๐‘ง
๎ฌถ
+ 16๐‘ง+
(
1โˆ’
๐‘–
)
and โ„Ž
(
๐‘ง
)
=๐‘ง
๎ฌธ
โˆ’1.
Obviously, it is easy to find โ„Ž
๏‡ฑ
(
๐‘ง
)
=4๐‘ง
๎ฌท
. Then
โ„Ž
๏‡ฑ
(
๐‘–
)
=4๐‘–
๎ฌท
=โˆ’4๐‘–. ๐‘”
(
๐‘–
)
=6๐‘–
๎ฌท
+
(
๐‘–+1
)
๐‘–
๎ฌถ
+ 16๐‘–+
(
1โˆ’๐‘–
)
=โˆ’6๐‘–โˆ’
(
๐‘–+1
)
+ 16๐‘–+
(
1โˆ’๐‘–
)
=
(
โˆ’6 โˆ’
1+16โˆ’1
)
๐‘–+
(
โˆ’1 + 1
)
=8๐‘–. So, ๐‘…๐‘’๐‘ 
๎ฏญ๎ญ€๎ฏœ
๐‘“
(
๐‘ง
)
=
๎ฏš
(
๎ฏœ
)
๎ฏ›
โ€ฒ
(
๎ฏœ
)
=
๎ฌผ๎ฏœ
๎ฌฟ๎ฌธ๎ฏœ
=โˆ’2. Then
๎—ฌ
๐‘“
(
๐‘ง
)
๐‘‘๐‘ง
๎ฎ“
๎ฐญ
=2ฯ€๐‘–ร—
(
โˆ’2
)
=
โˆ’4ฯ€๐‘–.
Secondly, for the contour ฮณ
๎ฌถ
(
๐‘ก
)
=
๎ฏœ๎ฌฟ๎ฌต
๎ฌถ
+
โˆš
2
๐‘’
๎ฏœ๎ฏง
,0โ‰ค๐‘กโ‰ค2, the center of the contour ฮณ
๎ฌถ
is
๐‘ง
๎ฌด
=
๎ฏœ๎ฌฟ๎ฌต
๎ฌถ
and the radius ๐‘Ÿ=
โˆš
2. Calculate the
distances from the singularities ๐‘ง=1,๐‘ง=โˆ’1,๐‘ง=
๐‘–,๐‘ง= โˆ’๐‘– to the center๐‘ง
๎ฌด
=
๎ฏœ๎ฌฟ๎ฌต
๎ฌถ
. |1 โˆ’
๎ญง๎ฌฟ๎ฌต
๎ฌถ
|=
โˆš
๎ฌฝ๎ฌพ๎ฌต
๎ฌถ
=
โˆš
๎ฌต๎ฌด
๎ฌถ
>
โˆš
2 . | โˆ’ 1 โˆ’
๎ญง๎ฌฟ๎ฌต
๎ฌถ
|=
โˆš
๎ฌต๎ฌพ๎ฌต
๎ฌถ
=
โˆš
๎ฌถ
๎ฌถ
<
โˆš
2 . |๐‘–โˆ’
๎ญง๎ฌฟ๎ฌต
๎ฌถ
|=
โˆš
๎ฌต๎ฌพ๎ฌต
๎ฌถ
=
โˆš
๎ฌถ
๎ฌถ
<
โˆš
2. | โˆ’ ๐‘–โˆ’
๎ญง๎ฌฟ๎ฌต
๎ฌถ
|=
โˆš
๎ฌต๎ฌพ๎ฌฝ
๎ฌถ
=
โˆš
๎ฌต๎ฌด
๎ฌถ
>
โˆš
2
. The singularities inside the contour ฮณ
๎ฌถ
are ๐‘ง=
โˆ’1 and ๐‘ง = ๐‘–. By the residue theorem,
๎ถฑ๐‘“
(
๐‘ง
)
๐‘‘๐‘ง
๎ฎ“
๎ฐฎ
=2ฯ€๐‘–๏‰†๐‘…๐‘’๐‘ 
๎ฏญ๎ญ€๎ฌฟ๎ฌต
๐‘“
(
๐‘ง
)
+๐‘…๐‘’๐‘ 
๎ฏญ๎ญ€๎ฏœ
๐‘“
(
๐‘ง
)
๏‰‡
(
13
)
For the residue at ๐‘ง=โˆ’1: โ„Ž
๏‡ฑ
(
๐‘ง
)
=4๐‘ง
๎ฌท
,โ„Ž
๏‡ฑ
(
โˆ’1
)
=
โˆ’4 . In addition, ๐‘”
(
โˆ’1
)
=6
(
โˆ’1
)
๎ฌท
+
(
๐‘–+
1
)(
โˆ’1
)
๎ฌถ
+16
(
โˆ’1
)
+
(
1โˆ’๐‘–
)
=โˆ’6+
(
๐‘–+1
)
โˆ’
16 +
(
1โˆ’๐‘–
)
=โˆ’20. Thus, ๐‘…๐‘’๐‘ 
๎ฏญ๎ญ€๎ฌฟ๎ฌต
๐‘“
(
๐‘ง
)
=
๎ฏš
(
๎ฌฟ๎ฌต
)
๎ฏ›
โ€ฒ
(
๎ฌฟ๎ฌต
)
=
๎ฌฟ๎ฌถ๎ฌด
๎ฌฟ๎ฌธ
=5. Here, one has already found ๐‘…๐‘’๐‘ 
๎ฏญ๎ญ€๎ฏœ
๐‘“
(
๐‘ง
)
=โˆ’2.
So,
๎—ฌ
๐‘“
(
๐‘ง
)
๐‘‘๐‘ง
๎ฎ“
๎ฐฎ
=2ฯ€๐‘–
(
5โˆ’2
)
=6ฯ€๐‘–.
Thirdly, for the contour ฮณ
๎ฌท
(
๐‘ก
)
=1+5๐‘’
๎ฏœ๎ฏง
,0โ‰ค
๐‘กโ‰ค2, the center of the contour ฮณ
๎ฌท
is ๐‘ง
๎ฌด
=1 and the
radius ๐‘Ÿ = 5. All the singularities ๐‘ง = 1,๐‘ง=
โˆ’1,๐‘ง = ๐‘–,๐‘ง=โˆ’๐‘– lie inside the contour ฮณ
๎ฌท
. By the
residue theorem,
๎—ฌ
๐‘“
(
๐‘ง
)
๐‘‘๐‘ง
๎ฎ“
๎ฐฏ
=2ฯ€๐‘–๏‰†๐‘…๐‘’๐‘ 
๎ฏญ๎ญ€๎ฌต
๐‘“
(
๐‘ง
)
+
๐‘…๐‘’๐‘ 
๎ฏญ๎ญ€๎ฌต
๐‘“
(
๐‘ง
)
+๐‘…๐‘’๐‘ 
๎ฏญ๎ญ€๎ฏœ
๐‘“
(
๐‘ง
)
+๐‘…๐‘’๐‘ 
๎ฏญ๎ญ€๎ฌฟ๎ฏœ
๐‘“
(
๐‘ง
)
๏‰‡.
For the residue at z = 1:โ„Ž
โ€ฒ
(
๐‘ง
)
=4๐‘ง
๎ฌท
,โ„Ž
โ€ฒ
(
1
)
=
4. ๐‘”
(
1
)
=6ร—1
๎ฌท
+
(
๐‘–+1
)
ร—1
๎ฌถ
+16ร—1+
(
1โˆ’
๐‘–
)
=6+
(
๐‘–+1
)
+16+
(
1โˆ’๐‘–
)
=24. ๐‘…๐‘’๐‘ 
๎ฏญ๎ญ€๎ฌต
๐‘“
(
๐‘ง
)
=
๎ฏš
(
๎ฌต
)
๎ฏ›
โ€ฒ
(
๎ฌต
)
=
๎ฌถ๎ฌธ
๎ฌธ
=6. One found Res
๎ฏญ๎ญ€๎ฌต
๐‘“
(
๐‘ง
)
=5,Res
๎ฏญ๎ญ€๎ฏœ
๐‘“
(
๐‘ง
)
=
โˆ’2 . For the residue at ๐‘ง=โˆ’๐‘–:โ„Ž
โ€ฒ
(
๐‘ง
)
=
4๐‘ง
๎ฌท
,โ„Ž
โ€ฒ
(
โˆ’๐‘–
)
=4
(
โˆ’๐‘–
)
๎ฌท
=4๐‘– . ๐‘”
(
โˆ’๐‘–
)
=6
(
โˆ’๐‘–
)
๎ฌท
+
(
๐‘–+1
)(
โˆ’๐‘–
)
๎ฌถ
+16
(
โˆ’๐‘–
)
+
(
1โˆ’๐‘–
)
=6๐‘–โˆ’
(
๐‘–+1
)
โˆ’
16๐‘–+
(
1โˆ’๐‘–
)
=
(
โˆ’6โˆ’1โˆ’16โˆ’1
)
๐‘–+
(
โˆ’1 + 1
)
=
โˆ’24๐‘–. Hence, Res
๎ฏญ๎ญ€๎ฌฟ๎ฏœ
๐‘“
(
๐‘ง
)
=
๎ฏš
(
๎ฌฟ๎ฏœ
)
๎ฏ›
๏‡ฒ
(
๎ฌฟ๎ฏœ
)
=
๎ฌฟ๎ฌถ๎ฌธ๎ฏœ
๎ฌธ๎ฏœ
=โˆ’6 .
Therefore,
๎—ฌ
๐‘“
(
๐‘ง
)
๐‘‘๐‘ง
๎ฎ“
๎ฐฏ
=2ฯ€๐‘–
(
6+5โˆ’2โˆ’6
)
=
6ฯ€๐‘–.
To conclude, for ฮณ
๎ฌต
, the integral is โˆ’4ฯ€๐‘–; for ฮณ
๎ฌถ
,
the integral is 6ฯ€๐‘–; for ฮณ
๎ฌท
, the integral is 6ฯ€๐‘–.
4 CONCLUSION
The residue theorem is of utmost importance in
mathematics, particularly in complex analysis. It
serves as a powerful tool for evaluating complex
IAMPA 2025 - The International Conference on Innovations in Applied Mathematics, Physics, and Astronomy
112
integrals, providing an efficient method to calculate
the values of integrals that would otherwise be
extremely difficult or even impossible to solve using
traditional real - variable methods. For numerical
algorithms with the development of computer
technology, more efficient numerical algorithms
based on the residue theorem will be developed.
These algorithms will be able to handle large - scale
and high - dimensional integral problems, providing
powerful computational tools for both theoretical and
applied mathematics. It can cross disciplinary
applications and for differential Equations: There will
be more in - depth connections with complex - valued
differential equations. The residue theorem can assist
in solving certain types of differential equations by
transforming them into integral problems and then
using residue - based methods for solution. For
physics the residue theorem applies in many fields
such as Quantum Mechanics statistical physics, and
the residue theorem is an indispensable tool in
physics. Its applications in quantum mechanics,
electromagnetism, and statistical physics have
enabled people to solve complex problems and gain a
deeper understanding of physical phenomena. As
physics continues to advance, the residue theorem
will likely find even more applications in new and
emerging areas, further enhancing peopleโ€™s ability to
describe and predict the behaviour of the physical
world.
REFERENCES
Bak, J., & Newman, D. J. (2010). Applications of the
residue theorem to the evaluation of integrals and sums.
In Complex analysis (3rd ed., pp. 221-240).
Chi, J. C. (2024). Research on the gradual teaching of
complex functions and integral transformations: Taking
the solution of complex integrals with singularities as
an example. Technology Wind, 2024(5), 97โ€“99.
Churchill, R. V., & Brown, J. W. (2014). Complex
variables and applications (9th ed.). McGraw-Hill.
Hang, Z. X., Du, X. R., & Ma, Y. L. (2023). Generalization
of a class of generalized integrals using the residue
theorem. Physics and Engineering, 33(4), 12โ€“17.
Li, J. H., Cheng, X. H., & Su, G. Z. (2021). Generalization
of a residue theorem in complex analysis. Studies in
College Mathematics, 24(4), 31โ€“32, 34.
Qiu, W. G. (2020). Infinite series summation and the
residue theorem. College Physics, 39(9), 31โ€“33.
Stein, E. M., & Shakarchi, R. (2003). Complex analysis.
Princeton University Press.
Trefethen, L. N., & Weideman, J. A. C. (2014). The
exponentially convergent trapezoidal rule. SIAM
Review, 56(3), 385-458.
Xu, Z. P., & Fan, M. C. (2024). Solving three definite
integrals involving inverse trigonometric functions
using the residue theorem. Research on College
Mathematics, 27(06), 69-73.
Zeng, Q. (2020). Exploring the application of residue
theorem in solving different types of
integrals. Technology Innovation and Application,
2020(11), 175-176.
Interdisciplinary Application of Residue Theorem in Trigonometric and Fraction Functions
113