Kurs:Funktionentheorie/Beispiel - exp(1/z)

Einleitung

Wir untersuchen hier Folgen gegen $0\in \mathbb {C}$ und das Verhalten von $f(z)=e^{\frac {1}{z}}$ für diese Folgen, die gegen die wesentliche Singularität 0 konvergieren. Dieses konstruktive Vorgehen zeigt, dass es für jeden Bildpunkt in $w\in \mathbb {C}$ und in jeder punktierten $\varepsilon$-Umgebung um 0 eine Folge $\left(z^{(n)}\right)_{n\in \mathbb {N} }$ existiert, deren Bildfolge $\left(f(z^{(n)})\right)_{n\in \mathbb {N} }$ gegen $w\in \mathbb {C}$ konvergiert.

Laurant-Reihe für exp(1/z)

Zunächst notieren wir die Laurent-Reihe für $f(z)=e^{\frac {1}{z}}$ mit $z=z_{1}+iz_{2}\in \mathbb {C} \setminus \{0\}$ über die Definition der Taylor-Reihe mit Entwicklungspunkt $z_{o}=0$.

$f(z)=e^{\frac {1}{z}}=e^{z^{-1}}=\displaystyle \sum _{n=0}^{+\infty }{\frac {z^{-n}}{n!}}=\displaystyle \sum _{n=-\infty }^{0}{\frac {z^{n}}{(-n)!}}=\displaystyle \sum _{n=-\infty }^{0}{\frac {1}{(-n)!}}\cdot z^{n}$.

Berechnen Sie nun die Laurent-Entwicklung $f(z)=e^{\frac {1}{z}}$ mit einem Entwicklungspunkt $z_{o}\not =0$!

Bildpunkte von punktierten $\varepsilon$-Umgebungen

Als Spezialfall des Satzes von Casorati-Weierstrass zeigen wir konstruktiv für $f(x):=e^{\frac {1}{z}}$:

$\forall _{w\in \mathbb {C} }\exists {\left(z^{(n)}\right)_{n\in \mathbb {N} }}$ mit

$\displaystyle \lim _{n\to \infty }z^{(n)}=0$

$\displaystyle \lim _{n\to \infty }f(z^{(n)})=w=w_{1}+iw_{2}$

Beweis (konstruktiv)

Für die Bildpunkte $w=w_{1}+iw_{2}\in \mathbb {C}$ wird eine Fallunterscheidung

• Fall 1: $w\not =0$
• Fall 2: $w=0$

vorgenommen.

Fall 1:

Sei $w=w_{1}+iw_{2}\in \mathbb {C} \setminus \{0\}$ beliebig gewählt. Sei $w=0$. Definieren Sie eine Folge $\left(z^{(n)}\right)_{n\in \mathbb {N} }$ in $z^{(n)}=z_{1}^{(n)}+iz_{2}^{(n)}\in \mathbb {C} \setminus \{0\}$ mit

$\displaystyle \lim _{n\to \infty }z^{(n)}=0$

$\displaystyle \lim _{n\to \infty }f(z^{(n)})=w=w_{1}+iw_{2}$

Folgendefinition (Fall 1)

Wir verwenden die Polarkoordinatendarstellung von $w=w_{1}+iw_{2}\in \mathbb {C} \setminus \{0\}$ mit

$w=w_{1}+iw_{2}=|w|\cdot (\cos(\alpha )+i\cdot \sin(\alpha ))=|w|\cdot e^{i\alpha }$

$z^{(n)}=z_{1}^{(n)}+iz_{2}^{(n)}={\frac {1}{log(|w|)+i\cdot (\alpha +2\pi n)}}\in \mathbb {C} \setminus \{0\}$

Wir zeigen die obige Konvergenzeigenschaft:

$\displaystyle \lim _{n\to \infty }f\left(z^{(n)}\right)=\displaystyle \lim _{n\to \infty }f\left({\frac {1}{log(|w|)+i\cdot (\alpha +2\pi n)}}\right)=\displaystyle \lim _{n\to \infty }e^{log(|w|)+i\cdot (\alpha +2\pi n)}$

$=\displaystyle \lim _{n\to \infty }|w|\cdot e^{i\alpha +2\pi n}=|w|\cdot e^{i\alpha }=w=w_{1}+iw_{2}$

Fall 2:

Sei $w=0$. Definieren Sie eine Folge $\left(z^{(n)}\right)_{n\in \mathbb {N} }$ in $z^{(n)}=z_{1}^{(n)}+iz_{2}^{(n)}\in \mathbb {C} \setminus \{0\}$ mit

$\displaystyle \lim _{n\to \infty }z^{(n)}=0$

$\displaystyle \lim _{n\to \infty }f(z^{(n)})=0$

Folgendefinition (Fall 2)

Wir verwenden die Eigenschaft der Exponentialfunktional aus $\mathbb {R}$ mit $w=0$ mit

$\displaystyle \lim _{n\to \infty }e^{-n}=0$

$z^{(n)}=z_{1}^{(n)}+iz_{2}^{(n)}=-{\frac {1}{n}}+i\cdot 0\in \mathbb {C} \setminus \{0\}$

Wir zeigen nun die obigen Konvergenzeigenschaften!

$\displaystyle \lim _{n\to \infty }z^{(n)}=\displaystyle \lim _{n\to \infty }-{\frac {1}{n}}=0$

$\displaystyle \lim _{n\to \infty }f\left(z^{(n)}\right)=\displaystyle \lim _{n\to \infty }f\left(-{\frac {1}{n}}\right)=\displaystyle \lim _{n\to \infty }e^{-n}=0$

Seiteninformation

Dieser Wiki2Reveal Foliensatz wurde für den Lerneinheit Kurs:Funktionentheorie' erstellt der Link für die Wiki2Reveal-Folien wurde mit dem Wiki2Reveal-Linkgenerator erstellt.

• Die Seite wurde als Dokumententyp PanDocElectron-SLIDE erstellt.
• Link zur Quelle in Wikiversity: https://de.wikiversity.org/wiki/Kurs:Funktionentheorie/Beispiel_-_exp(1/z)
• siehe auch weitere Informationen zu Wiki2Reveal und unter Wiki2Reveal-Linkgenerator.