- Source: Essential singularity
In complex analysis, an essential singularity of a function is a "severe" singularity near which the function exhibits striking behavior.
The category essential singularity is a "left-over" or default group of isolated singularities that are especially unmanageable: by definition they fit into neither of the other two categories of singularity that may be dealt with in some manner – removable singularities and poles. In practice some include non-isolated singularities too; those do not have a residue.
Formal description
Consider an open subset
U
{\displaystyle U}
of the complex plane
C
{\displaystyle \mathbb {C} }
. Let
a
{\displaystyle a}
be an element of
U
{\displaystyle U}
, and
f
:
U
∖
{
a
}
→
C
{\displaystyle f\colon U\setminus \{a\}\to \mathbb {C} }
a holomorphic function. The point
a
{\displaystyle a}
is called an essential singularity of the function
f
{\displaystyle f}
if the singularity is neither a pole nor a removable singularity.
For example, the function
f
(
z
)
=
e
1
/
z
{\displaystyle f(z)=e^{1/z}}
has an essential singularity at
z
=
0
{\displaystyle z=0}
.
Alternative descriptions
Let
a
{\displaystyle a}
be a complex number, and assume that
f
(
z
)
{\displaystyle f(z)}
is not defined at
a
{\displaystyle a}
but is analytic in some region
U
{\displaystyle U}
of the complex plane, and that every open neighbourhood of
a
{\displaystyle a}
has non-empty intersection with
U
{\displaystyle U}
.
If both
lim
z
→
a
f
(
z
)
{\displaystyle \lim _{z\to a}f(z)}
and
lim
z
→
a
1
f
(
z
)
{\displaystyle \lim _{z\to a}{\frac {1}{f(z)}}}
exist, then
a
{\displaystyle a}
is a removable singularity of both
f
{\displaystyle f}
and
1
f
{\displaystyle {\frac {1}{f}}}
.
If
lim
z
→
a
f
(
z
)
{\displaystyle \lim _{z\to a}f(z)}
exists but
lim
z
→
a
1
f
(
z
)
{\displaystyle \lim _{z\to a}{\frac {1}{f(z)}}}
does not exist (in fact
lim
z
→
a
|
1
/
f
(
z
)
|
=
∞
{\displaystyle \lim _{z\to a}|1/f(z)|=\infty }
), then
a
{\displaystyle a}
is a zero of
f
{\displaystyle f}
and a pole of
1
f
{\displaystyle {\frac {1}{f}}}
.
Similarly, if
lim
z
→
a
f
(
z
)
{\displaystyle \lim _{z\to a}f(z)}
does not exist (in fact
lim
z
→
a
|
f
(
z
)
|
=
∞
{\displaystyle \lim _{z\to a}|f(z)|=\infty }
) but
lim
z
→
a
1
f
(
z
)
{\displaystyle \lim _{z\to a}{\frac {1}{f(z)}}}
exists, then
a
{\displaystyle a}
is a pole of
f
{\displaystyle f}
and a zero of
1
f
{\displaystyle {\frac {1}{f}}}
.
If neither
lim
z
→
a
f
(
z
)
{\displaystyle \lim _{z\to a}f(z)}
nor
lim
z
→
a
1
f
(
z
)
{\displaystyle \lim _{z\to a}{\frac {1}{f(z)}}}
exists, then
a
{\displaystyle a}
is an essential singularity of both
f
{\displaystyle f}
and
1
f
{\displaystyle {\frac {1}{f}}}
.
Another way to characterize an essential singularity is that the Laurent series of
f
{\displaystyle f}
at the point
a
{\displaystyle a}
has infinitely many negative degree terms (i.e., the principal part of the Laurent series is an infinite sum). A related definition is that if there is a point
a
{\displaystyle a}
for which no derivative of
f
(
z
)
(
z
−
a
)
n
{\displaystyle f(z)(z-a)^{n}}
converges to a limit as
z
{\displaystyle z}
tends to
a
{\displaystyle a}
, then
a
{\displaystyle a}
is an essential singularity of
f
{\displaystyle f}
.
On a Riemann sphere with a point at infinity,
∞
C
{\displaystyle \infty _{\mathbb {C} }}
, the function
f
(
z
)
{\displaystyle {f(z)}}
has an essential singularity at that point if and only if the
f
(
1
/
z
)
{\displaystyle {f(1/z)}}
has an essential singularity at 0: i.e. neither
lim
z
→
0
f
(
1
/
z
)
{\displaystyle \lim _{z\to 0}{f(1/z)}}
nor
lim
z
→
0
1
f
(
1
/
z
)
{\displaystyle \lim _{z\to 0}{\frac {1}{f(1/z)}}}
exists. The Riemann zeta function on the Riemann sphere has only one essential singularity, at
∞
C
{\displaystyle \infty _{\mathbb {C} }}
. Indeed, every meromorphic function aside that is not a rational function has a unique essential singularity at
∞
C
{\displaystyle \infty _{\mathbb {C} }}
.
The behavior of holomorphic functions near their essential singularities is described by the Casorati–Weierstrass theorem and by the considerably stronger Picard's great theorem. The latter says that in every neighborhood of an essential singularity
a
{\displaystyle a}
, the function
f
{\displaystyle f}
takes on every complex value, except possibly one, infinitely many times. (The exception is necessary; for example, the function
exp
(
1
/
z
)
{\displaystyle \exp(1/z)}
never takes on the value 0.)
References
External links
An Essential Singularity by Stephen Wolfram, Wolfram Demonstrations Project.
Essential Singularity on Planet Math
Kata Kunci Pencarian:
- Air
- Fungsi zeta Riemann
- Filsafat kecerdasan buatan
- Essential singularity
- Singularity (mathematics)
- Technological singularity
- Casorati–Weierstrass theorem
- Picard theorem
- Isolated singularity
- Removable singularity
- Branch point
- Residue (complex analysis)
- Meromorphic function
