simple poles, higher-order poles, and removable
singularities. This paper addresses both gaps by
presenting visualizable examples and systematic
methods for handling second-order pole. There are
examples in Section 3 showing how to apply the
theorem to second order poles. Final section
synthesizes key discoveries and present forward-
looking propositions.
2 METHOD AND THEORY
2.1 Laurent Series & Taylor Series
Before getting into Cauchy’s Theorem, it is necessary
to mention the two series that it is based on.
The mathematical apparatus of Laurent series
constitutes a generalization of Taylor series to
accommodate singularities in complex function
representation (Zhou, 2022). While a Taylor series
can only represent functions exhibiting differentiable
behavior within a neighborhood of dot, Laurent series
can represent functions that have singularities, such
as poles or essential singularities, within the region of
interest. This gives Laurent expansion unique
advantages in handling functions with singularities.
The Laurent series of a holomorphic expression
Γ
(
τ
)
within annulus of τ
shows:
Γ
(
τ
)
=α
(
τ−τ
)
+β
(
τ−τ
)
(
1
)
where α
are complex-valued coefficients, and the
series expansion involves negative coefficients. Its
convergence holds in an annular region,
mathematically characterized as the open set between
two circles with identical centers but distinct radii.
Geometrically, an annulus refers to the ring-shaped
domain encircled by an inner circumference with a
radius of r
and an outer circumference with a radius
of r
, both centered at the same point.
Laurent’s formulation/expansion can be split into
two parts, the principal part and the analytic part. This
principal series representation includes a component
featuring inverse powers of (z − z
) , specifically the
summation from n=−∞to n=0 of all powers.
This part captures the function's behavior in the
vicinity of the singularity z
is of particular interest.
Containing non-negative terms of (z − z
), the series
are summation of all powers where n ranges over all
natural numbers starting from zero. This part behaves
like a Taylor series and represents the analytic part of
the function, the coefficients are determined by the
following formula, thereby facilitating accurate
calculations.
α
=
1
2πi
Γ
(
ξ
)
(
ξ−z
)
dξ
(
n=0,±1,±2
)
.
(
2
)
Of note is that Laurent series still works if z
is an
isolated singularity. The residue of the function at the
specified point is precisely determined by the
corresponding coefficient.
By making Γ
(
τ
)
differentiable on
(
z−z
)
< R,
then all b
= b
= b
⋯⋯ b
=0, the Laurent
series is then weakened (reduced) to become a Taylor
series. For example, people can focus on the Laurent
expansion, Γ
(
τ
)
=
within annulus of τ=0. For
|τ|<2, it is found that Γ
(
τ
)
=
∑
, but for
|τ|>2, Γ
(
τ
)
=
∑
. As a special case, when
The elimination of all principal part terms transforms
the Laurent expansion turns into a Taylor series,
which states if Γ
(
τ
)
exhibits the property of complex-
differentiability in |z − z
|<R, then for any 𝑧 in that
region, one has that Γ
(
τ
)
=
∑
α
(
τ−τ
)
, and
the coefficient in this power series given by a
=
()
(
)
!
(
n=0,1,2,3,⋯n
)
. Especially, a
=f
(
z
)
,
a
= f
(
τ
)
1
⁄
, a
= f"
(
τ
)
2
⁄
, and so on. It is a
series like a polynomial but of infinite degree.
2.2 Cauchy's Theorem
This paper starts by talking about Cauchy-Goursat
Theorem, which states that if the function 𝑓(𝑧)
exhibits differentiability at each point within the
interior of a simple closed curve 𝐶, then
f
(
z
)
dz = 0
(
3
)
The theorem reveals that the line integral of an
analytic complex function around any closed contour
always equals zero (Lin, 2021). This is a pivotal
finding in complex analysis, demonstrating that if a
function is holomorphic within a simply connected
region, its line integral becomes independent of the
specific integration path chosen. Second, about
Cauchy's renowned contour integral relation, which
states that if given a closed curve with f(z) being
analytic in its entirety, then
f
(
z
)
=
f
(
z
)
z−z
dz
(
4
)
This theorem is derived from the Cauchy-Goursat
Theorem (Mitrinović & Kečkić, 1984). It reveals that
the integral of an analytic function along a closed
contour can be represented using the values of the
function within the contour. This formula is
particularly useful for calculating the values of
analytic functions. Finally, all above leads to the
Cauchy’s Theorem. Suppose 𝐶 is a simple closed