Definition:Isolated Singularity

This page has been identified as a candidate for refactoring of advanced complexity. Until this has been finished, please leave {{Refactor}} in the code. New contributors: Refactoring is a task which is expected to be undertaken by experienced editors only. Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Refactor}} from the code.

This article needs to be tidied. In particular: Revisit links, especially Open Set, for their actual targets Please fix formatting and $\LaTeX$ errors and inconsistencies. It may also need to be brought up to our standard house style. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Tidy}} from the code.

Definition

Complex Function

Let $U \subseteq \C$ be an open set.

Let $f : U \to \C$ be a holomorphic function.

An isolated singularity of $f$ is a point $z_0 \in \C$ for which $U$ is a punctured neighborhood.

Riemann Surface

Let $U$ be an open set of a Riemann surface.

Let $z_0 \in U$.

Let $f: U \setminus \set {z_0} \to \C$ be a holomorphic function.

Then $f$ has an isolated singularity at $z_0$.

This page has been identified as a candidate for refactoring of advanced complexity. In particular: Move the following into a parallel definition page, transcluded appropriately. Until this has been finished, please leave {{Refactor}} in the code. New contributors: Refactoring is a task which is expected to be undertaken by experienced editors only. Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Refactor}} from the code.

(Equivalently, an isolated singularity is an isolated point of the complement of the domain of definition of $f$.)

Types of isolated singularities

Removable Singularity

An isolated singularity of $f$ is a removable singularity if and only if $f$ can be extended to a holomorphic function $f: U \to \C$.

Pole

Let $z_0$ be an isolated singularity of $f$.

Then $z_0$ is a pole if and only if $f$ can be written in the form:

$\map f z = \dfrac {\map \phi z} {\paren {z - z_0}^k}$

where:

$\phi$ is analytic at $z_0$

$\map \phi {z_0} \ne 0$

$k \in \Z$ such that $k \ge 1$.

Essential Singularity

A singular point which is neither a removable singularity nor a pole is called an essential singularity.

Note that the first two cases can be combined by saying that $f$ extends to a meromorphic function on $U$.

Characterization using Laurent series

This page or section has statements made on it that ought to be extracted and proved in a Theorem page. In particular: Extract this into a suite of pages You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by creating any appropriate Theorem pages that may be needed. To discuss this page in more detail, feel free to use the talk page.

If $U \subset \C$, let:

$\ds \map f z = \sum_{j \mathop = -\infty}^\infty a_j \paren {z - z_0}^j$

be the Laurent series expansion of $f$ near $z_0$.

Then:

$z_0$ is an isolated singularity if and only if $a_j = 0$ for $j < 0$

$z_0$ is a pole if and only if there are at least one but at most finitely many non-zero coefficients $a_j$ with $j < 0$

$z_0$ is an essential singularity if and only if there are infinitely many non-zero coefficients $a_j$ with $j < 0$.

In particular, if $f: \C \to \C$ is an entire function, then:

$\infty$ is a removable singularity if and only if $f$ is constant

$\infty$ is a pole if and only if $f$ is a (complex) polynomial function

$\infty$ is an essential singularity if and only if $f$ is a transcendental entire function.

Equivalent characterizations

By the Riemann Removable Singularities Theorem and the Big Picard Theorem, we can say the following:

$z_0$ is a removable singularity if and only if $f$ is bounded near $z_0$

This article, or a section of it, needs explaining. In particular: precise definition of what "near" means in this context You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Explain}} from the code.

$z_0$ is an essential singularity if and only if, for every value $a \in \C$ with at most one exception, every neighborhood of $z_0$ contains a preimage of $a$ under $f$.

Isolated singularities of meromorphic functions

We can analogously define and classify isolated singularities of meromorphic functions.

However, note that in general a meromorphic function does not have a Laurent series expansion near an essential singularity.

Also see

• Results about isolated singularities can be found here.