Complex Analysis/Singularities

To the Learning Unit

This learning unit addresses singularities of complex functions. For singularities in real analysis, these are referred to as Singularity. In complex analysis, singularities hold particular significance for the value of contour integrals. With the residue theorem, we find that only the coefficients of the Laurent series preceding $(z-z_{0})^{-1}$ contribute meaningfully to the contour integral. The integration of other summands from the Laurent series results in a contribution of 0 to the contour integral. To prove this residue theorem, singularities must first be classified.

Introduction

Isolated singularities are studied in the branch of mathematics known as Complex Analysis. Isolated singularities are special isolated points in the domain of a holomorphic function. Isolated singularities are classified into Singularity, poles, and essential singularities.

Definition

Let $\Omega \subseteq \mathbb {C}$ be an open subset and $z_{0}\in \Omega$ . Further, let $f\colon \Omega \setminus {z_{0}}\to \mathbb {C}$ be a holomorphic complex-valued function. Then, $z_{0}$ is called an isolated singularity of $f$ .

Classification

Each isolated singularity belongs to one of the following three classes:
The point $z_{0}$ is called a removable singularity if $f$ can be extended to be holomorphic on $\Omega$ . According to the Removable singularity, this is, for example, the case if $f$ is bounded in a neighborhood of $z_{0}$ .
The point $z_{0}$ is called a pole if $z_{0}$ is not a removable singularity and there exists a natural number $k$ such that $(z-z_{0})^{k}\cdot f(z)$ has a removable singularity at $z_{0}$ . If $k$ is chosen minimally, $f$ is said to have a pole of order $k$ at $z_{0}$ .
Otherwise, $z_{0}$ is called an essential singularity of $f$ .

Isolated Singularities and the Laurent Series

The type of singularity can also be determined from the Laurent Series:

\sum _{n=-\infty }^{\infty }a_{n}(z-z_{0})^{n}

of $f$ at $z_{0}$ .

Removable Singularities and the Laurent Series

A singularity is removable if and only if the principal part vanishes, i.e., $a_{n}=0$ for all negative integers $n$ .

\sum _{n=-\infty }^{\infty }a_{n}(z-z_{0})^{n}

of $f$ at $z_{0}$ .

Pole and the Laurent Series

A pole of order $k$ occurs if and only if the principal part terminates after $k$ terms, i.e., $a_{-k}\neq 0$ and $a_{n}=0$ for all $n<-k$ .

Essential Singularity and the Laurent Series

An essential singularity occurs if infinitely many terms with negative exponents are nonzero.

Statements about the properties of holomorphic functions at essential singularities are made by the Great Picard theorem and, as a simpler special case, the Casorati-Weierstrass theorem.

Examples

$Plot of the function exp ⁡ ( 1 / z ) {\displaystyle \exp(1/z)} . It has an essential singularity at the origin (center). The hue corresponds to the complex argument of the function value, while the brightness represents its magnitude. Here, the behavior of the essential singularity varies depending on the approach (in contrast to a pole, which would appear uniformly white).$

Plot of the function $\exp(1/z)$ . It has an essential singularity at the origin (center). The hue corresponds to the complex argument of the function value, while the brightness represents its magnitude. Here, the behavior of the essential singularity varies depending on the approach (in contrast to a pole, which would appear uniformly white).

Properties

Let $\Omega =\mathbb {C}$ and $z_{0}=0.$

$f\colon \Omega \setminus {0}\to \mathbb {C} ,,z\mapsto {\tfrac {\sin(z)}{z}}$ can be continuously extended to $\Omega$ by defining $f(0)=1$ . Thus, $f$ has a removable singularity at $0$ .

$f\colon \Omega \setminus {0}\to \mathbb {C} ,,z\mapsto {\tfrac {1}{z}}$ has a pole of order 1 at $0$ because $g(z)=z^{1}\cdot f(z)$ can be continuously extended to $\Omega$ by defining $g(0)=1$ .

$f\colon \Omega \setminus {0}\to \mathbb {C} ,,z\mapsto \exp \left({\tfrac {1}{z}}\right)$ has an essential singularity at $0$ because $z^{k}\exp \left({\tfrac {1}{z}}\right)$ is unbounded as $z\to 0$ for fixed $k\in \mathbb {N}$ , or because the Laurent series at $z_{0}$ contains infinitely many nonzero terms in the principal part:

f(z)=\sum _{n=0}^{\infty }{\frac {1}{n!,z^{n}}}

.

References

Eberhard Freitag, Rolf Busam: Complex Analysis 1. Springer-Verlag, Berlin, ISBN 3-540-67641-4.

Page Information

You can display this page as Wiki2Reveal slides

Wiki2Reveal

TheWiki2Reveal slides were created for the Complex Analysis' and the Link for the Wiki2Reveal Slides was created with the link generator.

This page is designed as a PanDocElectron-SLIDE document type.

Translation and Version Control

This page was translated based on the following Wikiversity source page and uses the concept of Translation and Version Control for a transparent language fork in a Wikiversity:

Source: Kurs:Funktionentheorie/Singularitäten - URL:

https://de.wikiversity.org/wiki/Kurs:Funktionentheorie/Singularitäten

Date: 12/26/2024

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.