Essential singularity
Location around which a function displays irregular behavior

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.
01Formal description
Consider an open subset of the complex plane
. Let
be an element of
, and
a holomorphic function. The point
is called an essential singularity of the function
if the singularity is neither a pole nor a removable singularity.
For example, the function has an essential singularity at
.
02Alternative descriptions
Let be a complex number, and assume that
is not defined at
but is analytic in some region
of the complex plane, and that every open neighbourhood of
has non-empty intersection with
.
- If both
and
exist, then
is a removable singularity of both
and
.
- If
exists but
does not exist (
), then
is a zero of
and a pole of
.
- If
does not exist (in fact
) but
exists, then
is a pole of
and a zero of
.
- If neither
nor
exists, then
is an essential singularity of both
and
.
Another way to characterize an essential singularity is that the Laurent series of at the point
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
for which
is not differentiable for any integer
, then
is an essential singularity of
.
On a Riemann sphere with a point at infinity, , the function
has an essential singularity at that point if and only if the
has an essential singularity at
: i.e. neither
nor
exists. The Riemann zeta function on the Riemann sphere has only one essential singularity, which is at
. Indeed, every meromorphic function aside that is not a rational function has a unique essential singularity at
.
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 , the function
takes on every complex value, except possibly one, infinitely many times. (The exception is necessary; for example, the function
never takes on the value
.)
Sources and credits
This article is adapted from the Wikipedia article “Essential singularity”, written by its contributors and licensed under CC BY-SA 4.0. Fathomly has changed the layout, removed citation markers, navigation and maintenance notices, and adjusted punctuation. This adapted version is shared under the same license. For references, see the original article.
Images, from Wikimedia Commons:
- Essential singularity.png by Functor Salad, CC BY-SA 3.0
Fathomly is not affiliated with or endorsed by the Wikimedia Foundation. Spotted a problem? Tell us.