% spell checker language
\selectlanguage{german}

\chapter{Singuläre Stellen holomorpher Funktionen}
\label{sec:9}%

\section{Isolierte Singularitäten}

Wir interessieren uns für die folgende Situation: Sei $U ⊂ ℂ$ ein Gebiet, sei $ρ
∈ U$ ein Punkt.  Gegeben eine holomorphe Funktion $f ∈ 𝒪(U ∖ ρ)$.  Was kann ich
über das Verhalten von $f$ bei $ρ$ sagen?

\begin{bsp}
  In diesen Beispielen ist $U = ℂ$ und $ρ = 0$.
  \begin{enumerate}
  \item Die Funktion $f(z) = z$ ist die Einschränkung einer holomorphe Funktion,
    die bereits auf ganz $U$ definiert ist.  Man sagt in diesem Fall, die
    \emph{Singularität von $f$ bei $ρ$ ist hebbar}.

  \item Die Funktion $f(z) = 1/z$ ist keinesfalls die Einschränkung einer
    holomorphe Funktion, die bereits auf ganz $U$ definiert.  Tatsächlich ist
    $f$ ist nicht einmal Einschränkung einer stetigen Funktion, die auf ganz $ℂ$
    definiert ist (denn für jedes $ε ∈ ℝ⁺$ ist die Funktion $|1/z|$ auf $B_ε(0)
    ∖ 0$ unbeschränkt).  Aber: ganz schlimm ist $f$ auch nicht, denn $z·f(z)$
    ist holomorph.  Man sagt, die \emph{Funktion $f$ hat bei $0$ eine
    Polstelle}.

  \item Im Vergleich zu den vorhergehenden Funktionen ist $f(z) = \exp(1/z)$
    echt übel.  Man rechne nach: für jedes $n ∈ ℕ$ ist $z^n·\exp(1/z)$ in der
    Nähe von $0$ betragsmäßig unbeschränkt (dazu reicht es, reelle $z$ zu
    betrachten).  So etwas nennen wir eine \emph{wesentliche Singularität}.
  \end{enumerate}
\end{bsp}

\begin{definition}[Funktionen mit isolierten Singularitäten]\label{def:9-1-1}%
  Sei $U ⊂ ℂ$ offen.  Eine \emph{holomorphe Funktion mit isolierten
  Singularitäten}\index{holomorph!mit isolierten Singularitäten} ist eine
  holomorphe Funktion $f ∈ 𝒪(U ∖ T)$ wobei $T ⊂ U$ eine diskrete Menge ist.
\end{definition}

\begin{definition}[Typen mit isolierten Singularitäten]
  In der Situation von Definition~\ref{def:9-1-1} sei ein Punkt $ρ ∈ T$.
  \begin{enumerate}
  \item Wenn es eine Funktion $F ∈ 𝒪( (U ∖ T) ∪ \{ρ\})$, die auch $U ∖ T$ mit
    $f$ übereinstimmt, dann sagt man, dass $f$ bei $ρ$ eine \emph{hebbare
    Singularität}\index{hebbare Singularität} hat.

  \item Wenn $f$ hat bei $ρ$ keine hebbare Singularität, es aber eine Zahl $n ∈
    ℕ$ gibt, sodass die Funktion $(z - ρ)^n·f(z)$ eine hebbare Singularität hat,
    dann sagt man, dass $f$ bei $ρ$ eine \emph{Polstelle}\index{Polstelle} hat.
    Die kleinste Zahl $n$ heißt
    \emph{Polstellenordnung}\index{Polstellenordnung} von $f$ am Punkt $ρ$.

  \item Wenn die Funktion $f$ bei $ρ$ weder eine hebbare Singularität noch eine
    Polstelle hat, dann sagt man, dass $f$ bei $ρ$ eine \emph{wesentliche
    Singularität}\index{wesentliche Singularität} hat.
  \end{enumerate}
\end{definition}


\section{Hebbare Singularitäten}
\sideremark{Vorlesung 13}

\begin{satz}[Hebbarkeitsatz von Riemann]\label{satz:9-1-hebbarkeit}%
  \index{Hebbarkeitsatz von Riemann}In der Situation von
  Definition~\ref{def:9-1-1} sei $ρ ∈ T$.  Falls die Funktion $|f|$ in der Nähe
  von $ρ$ beschränkt ist, dann hat $f$ bei $ρ$ eine hebbare Singularität.
  Genauer: Falls es $ε > 0$ und $M > 0$ gibt, sodass für jedes $z ∈ B_ε(ρ) ∖ T$
  die Ungleichung $|f(z)| < M$ gilt, dann hat $f$ bei $ρ$ eine hebbare
  Singularität.
\end{satz}
\begin{proof}
  Nach Verkleinerung von $U$ können wir ohne Einschränkung annehmen, dass $U$
  eine Kreisscheibe um $ρ$ ist und dass $ρ$ der einzige Punkt in $U ∩ T$ ist.
  Betrachte die Funktion
  \[
    φ : U \longrightarrow ℂ, \quad z ↦ \begin{cases}
      f(z)·(z - ρ) & \text{falls } z ≠ ρ \\
      0 & \text{falls } z = ρ.
    \end{cases}
  \]
  Per Annahme ist diese Funktion stetig, und auf $U ∖ \{ρ\}$ holomorph.  Also
  ist nach Korollar~\ref{kor:5-2-7} („Hebbarkeitssatz“) die Abbildung $φ$ auf
  ganz $U$ holomorph.  Weil $φ$ aber bei $ρ$ eine Nullstelle hat, finden durch
  Potenzreihenentwicklung eine holomorphe Funktion $g ∈ 𝒪(U)$, sodass für jedes
  $z ∈ U$ die Gleichung $φ(z) = (z - ρ)·g(z)$ gilt.  Die Funktionen $g$ und $f$
  stimmen demnach auf $U ∖ \{ρ\}$ überein, sind nach Korollar~\ref{kor:7-2-2}
  („Identitätssatz für holomorphe Funktionen“) also gleich!
\end{proof}

\begin{bemerkung}
  Die Aussage ist in der reellen Analysis überhaupt nicht richtig!  Betrachte die
  Funktion $f : ℝ² ∖ \{0\} → ℝ$, $\vec{v} ↦ |\vec{v}|$.  Die Abbildung ist
  stetig und außerhalb von $0$ differenzierbar.  Aber auf ganz $ℝ²$ überhaupt
  nicht differenzierbar.
\end{bemerkung}


\section{Polstellen}

Was kann ich über Beiträge von Funktionen mit Polstelle sagen?  Als Antwort eine
Beispielrechnung.

\begin{rem}[Beispielrechnung zu Funktionen mit Polstellen]\label{bsp:9-3-1}%
  In der Situation von Definition~\ref{def:9-1-1} sei $ρ ∈ T$ eine Polstelle der
  Ordnung $n > 0$ hat.  Also gibt es eine Zahl $ε > 0$ und eine holomorphe
  Funktion $g ∈ 𝒪(B_ε(ρ))$, sodass folgendes gilt.
  \begin{enumerate}
    \item Die Kreisscheibe $B_ε(ρ)$ liegt in $U$.
    \item Es ist $g(ρ) ≠ 0$.
    \item Für jedes $z ∈ B_ε(ρ) ∖ \{ρ\}$ gilt die Gleichung $g(z) =
    (z - ρ)^n · f(z)$.
  \end{enumerate}
  Die Funktion $|g|$ ist stetig.  Wenn ich $ε$ verkleinere, kann ich ohne
  Beschränkung der Allgemeinheit zusätzlich annehmen, dass für jedes $z ∈
  B_ε(ρ)$ die Gleichung
  \[
    |g(z)| > \tfrac{1}{2} |g(ρ)|
  \]
  gilt.  Also ist für jedes $z ∈ B_ε(ρ) ∖ \{ρ\}$
  \[
    \frac{1}{2} |g(ρ)| < |g(z)| = |z - ρ|^n · |f(z)| < ε^n · |f(z)|.
  \]
  Die Beispielrechnung endet hier.
\end{rem}

Zusammengefasst sagt uns die Beispielrechnung folgendes: Hat $f$ bei $ρ$ einen
Pol, dann gilt für jedes $M ∈ ℝ⁺$ und alle ausreichend kleinen $ε > 0$.
\begin{enumerate}
  \item Es ist $B_ε(ρ) ⊂ U$ und $ρ$ ist die einzige Singularität von $f$ auf
    $B_ε(ρ)$.

  \item Für jedes $z ∈ B_ε(ρ) ∖ \{ρ\}$ ist $|f(z)| > M$.
\end{enumerate}


\section{Wesentliche Singularitäten}

Beispielrechnung~\ref{bsp:9-3-1} zeigt, dass die Funktionswerte von $f$
betragsmäßig explodieren, wenn ich mich einer Polstelle annähere.  Auf jeden
Fall sind die Funktionswerte in der Nähe der Polstelle von $0$ weg beschränkt.
\textbf{Das ist bei wesentlichen Singularitäten ganz anders!}

\begin{satz}[Satz von Casorati\footnote{Felice Casorati (* 17.~Dezember 1835 in
  Pavia; † 11.~September 1890 in Casteggio) war ein italienischer
  Mathematiker.}-Weierstraß\footnote{Karl Theodor Wilhelm Weierstraß (*
  31.~Oktober 1815 in Ostenfelde bei Ennigerloh, Münsterland; † 19.~Februar 1897
  in Berlin) war ein deutscher Mathematiker, der sich um die logisch fundierte
  Aufarbeitung der Analysis verdient gemacht hat.  Daneben leistete er
  bahnbrechende Beiträge in verschiedenen Gebieten der Mathematik, wie der
  Funktionentheorie, der Variationsrechnung, der Differenzialgeometrie und der
  Theorie der elliptischen Funktionen.}]\label{satz:9-1-casorati-weierstrass}%
  \index{Satz von Casorati-Weierstraß}In der Situation von
  Definition~\ref{def:9-1-1} sei $ρ ∈ T$.  Falls $f$ bei $ρ$ eine wesentliche
  Singularität hat, dann ist $f(U ∖ T) ⊂ ℂ$ dicht.
\end{satz}

\begin{bemerkung}[Anwendungsidee]
  Betrachte weiter die Situation von Definition~\ref{def:9-1-1}.  Wenn $ρ ∈ T$
  eine wesentliche Singularität ist, dann gilt für jedes $ε > 0$, dass die
  Bildmenge $f\bigl(B_ε(ρ) ∖ (U ∖ T)\bigr)$ in ganz $ℂ$ dicht ist.  Die
  Funktionswerte sind also in der Nähe von $ρ$ kein bisschen von $0$ weg
  beschränkt --- ganz im Gegensatz zum Verhalten von Funktionen mit Polstellen.
\end{bemerkung}

\begin{proof}
  Wir beweisen die Kontraposition: Angenommen, $f(U ∖ T) ⊂ ℂ$ wäre nicht dicht.
  Dann gibt es einen Punkt $z_0 ∈ ℂ$ und ein $ε > 0$, sodass $B_ε(z_0)$ die
  Bildmenge $f(U ∖ T)$ nicht schneidet.  Betrachte als Nächstes die Funktion $f
  - z_0$, dann gilt für jedes $z ∈ U ∖ T$ die Ungleichung
  \[
    |f(z) - z_0| > ε.
  \]
  Jetzt betrachte
  \[
    \frac{1}{f - z_0} ∈ 𝒪\bigl(U ∖ T\bigr)
  \]
  und stelle fest: Die Beträge dieser Funktion sind nach oben durch
  $\frac{1}{ε}$ beschränkt.  Also sind nach Satz~\ref{satz:9-1-hebbarkeit}
  („Hebbarkeitsatz von Riemann“) alle Singularitäten hebbar und es gibt eine
  holomorphe Funktion $h ∈ 𝒪(U)$ die auf $U ∖ T$ mit $\frac{1}{f - z_0}$
  übereinstimmt.  Es folgt direkt, dass $f = h^{-1} + z_0$ nur Polstellen und
  deshalb keine wesentlichen Singularitäten hat.
\end{proof}

% !TEX root = Funktionentheorie
