Kurs:Funktionentheorie/Beispielrechnung mit Laurentreihen

In dieser Lernresource werden gebrochen rationale Funktionen in Laurent-Reihen entwickelt, um das Residuum ablesen zu können.

Gegeben ist zunächst eine einfache gebrochen-rationale Funktion der Form:

• ${\displaystyle f:G\to \mathbb {C} }$ mit
• ${\displaystyle G:=\mathbb {C} \setminus \{-a\},a\in \mathbb {C} }$
• ${\displaystyle f(z):={\frac {1}{a+z}}}$

Ziel ist die Entwicklung in eine Laurent-Reihe mit Entwicklungspunkt ${\displaystyle z_{o}\in \mathbb {C} }$.

Wir definieren folgende weitere Konstanten, die für die bessere Sichtbarkeit der Operationen verwendet werden.

• ${\displaystyle b:=-a}$
• ${\displaystyle c:=b-z_{o}=-a-z_{o}}$
• ${\displaystyle c_{n}:={\frac {1}{(b-z_{o})^{n+1}}}={\frac {1}{(-z_{o}-a)^{n+1}}}}$
• ${\displaystyle q:={\frac {z-z_{0}}{c}}}$

Sei ${\displaystyle z_{o}\not =-a}$, dann gilt:

${\displaystyle {\begin{array}{rl}\displaystyle f(z)&={\frac {1}{a+z}}=\displaystyle -{\frac {1}{b-z}}\ \ (b:=-a)\\&=\displaystyle -{\frac {1}{b\underbrace {-z_{o}+z_{o}} _{=0}-z}}=-{\frac {1}{(b-z_{o})-(z-z_{o})}}\\&=\displaystyle -{\frac {1}{(\underbrace {b-z_{o}} _{=c})-(z-z_{o})}}=-{\frac {1}{c-(z-z_{o})}}\\&=\displaystyle -{\frac {1}{c}}\cdot {\frac {1}{1-{\frac {z-z_{o}}{c}}}}=-{\frac {1}{c}}\cdot {\frac {1}{1-\underbrace {\frac {z-z_{o}}{c}} _{:=q}}}\\&=\displaystyle -{\frac {1}{c}}\cdot {\frac {1}{1-q}}=-{\frac {1}{c}}\cdot \sum _{n=0}^{+\infty }q^{n}=-\sum _{n=0}^{+\infty }{\frac {(z-z_{o})^{n}}{c^{(n+1)}}}\\&=\displaystyle -\sum _{n=0}^{+\infty }{\frac {(z-z_{o})^{n}}{(z_{o}-a)^{n+1}}}=-\sum _{n=0}^{+\infty }\underbrace {\frac {1}{(-z_{o}-a)^{n+1}}} _{c_{n}:=}\cdot (z-z_{o})^{n}\\&=\displaystyle -\sum _{n=0}^{+\infty }c_{n}\cdot (z-z_{o})^{n}\end{array}}}$

Das Residuum ${\displaystyle res_{z_{0}}(f)=0}$, da bei der Laurent-Entwicklung im Hauptteil nur die Koeffizienten 0 auftreten (d.h. der Hauptteil verschwindet).

• Warum benötigt man für die obige Berechnungen der Larent-Reihe (bzw. Potenzreihe) die Voraussetzung ${\displaystyle z_{o}\not =-a}$?
• Berechnen Sie die Laurentreihe für ${\displaystyle z_{o}=-a}$ und geben Sie das Residuum der Laurententwicklung für ${\displaystyle f(z):={\frac {1}{a+z}}}$ in ${\displaystyle z_{o}=-a}$ an!

In der folgenden Berechnung findet man bereits eine Faktor ${\displaystyle {\frac {1}{(z-z_{o})^{m}}}}$ mit ${\displaystyle z_{o}}$ als Entwicklungspunkt. Ziel ist es nun, den restlichen Faktor ${\displaystyle a+z}$ analog in eine geometrische Reihe zu entwicklen.

Gegeben ist zunächst eine einfache gebrochen-rationale Funktion der Form:

• ${\displaystyle g:G\to \mathbb {C} }$ mit
• ${\displaystyle G:=\mathbb {C} \setminus \{-a\},a\in \mathbb {C} }$
• ${\displaystyle g(z):={\frac {1}{(z-z_{o})^{m}\cdot (a+z)}}}$

Ziel ist die Entwicklung in eine Laurent-Reihe mit Entwicklungspunkt ${\displaystyle z_{o}\in \mathbb {C} \setminus \{-a\}}$.

Wir definieren folgende weitere Konstanten, die für die bessere Sichtbarkeit der Operationen verwendet werden.

• ${\displaystyle c:=z_{o}-a}$
• ${\displaystyle c_{n}:={\frac {1}{(b+z_{o})^{n+1}}}={\frac {1}{(z_{o}-a)^{n+1}}}}$
• ${\displaystyle q:={\frac {z-z_{o}}{c}}={\frac {z-z_{o}}{z_{o}-a}}}$

${\displaystyle {\begin{array}{rl}\displaystyle g(z)&=\displaystyle {\frac {1}{(z-z_{o})^{m}\cdot (a+z)}}={\frac {1}{(z-z_{o})^{m}}}\cdot {\frac {1}{a+z}}\ \ (c:=z_{o}-a)\\&=\displaystyle -{\frac {1}{(z-z_{o})^{m}}}\cdot {\frac {1}{z_{o}-a}}\cdot {\frac {1}{1-{\frac {z-z_{o}}{z_{o}-a}}}}=-{\frac {1}{(z-z_{o})^{m}}}\cdot {\frac {1}{c}}\cdot {\frac {1}{1-q}}\\&=\displaystyle -{\frac {1}{(z-z_{o})^{m}}}\cdot {\frac {1}{c}}\cdot \sum _{n=0}^{+\infty }q^{n}=-\sum _{n=0}^{+\infty }{\frac {(z-z_{o})^{n}}{c^{n+1}}}\\&=\displaystyle -{\frac {1}{(z-z_{o})^{m}}}\cdot \sum _{n=0}^{+\infty }{\frac {(z-z_{o})^{n}}{(z_{o}-a)^{n+1}}}\\&=\displaystyle -{\frac {1}{(z-z_{o})^{m}}}\cdot \sum _{n=0}^{+\infty }\underbrace {\frac {1}{(z_{o}-a)^{n+1}}} _{c_{n}:=}\cdot (z-z_{o})^{n}\\&=\displaystyle -{\frac {1}{(z-z_{o})^{m}}}\cdot \sum _{n=0}^{+\infty }c_{n}\cdot (z-z_{o})^{n}\\&=\displaystyle -\sum _{n=-m}^{+\infty }c_{n+m}\cdot (z-z_{o})^{n}\\\end{array}}}$

Das Residuum ${\displaystyle res_{z_{0}}(g)=c_{-1+m}={\frac {1}{(b-z_{o})^{-1+m+1}}}={\frac {1}{(b-z_{o})^{m}}}={\frac {1}{(-z_{o}-a)^{m}}}}$.

Gegeben ist zunächst eine einfache gebrochen-rationale Funktion der Form:

• ${\displaystyle h:G\to \mathbb {C} }$ mit
• ${\displaystyle G:=\mathbb {C} \setminus \{-a\},a\in \mathbb {C} \setminus \{-a\}}$
• ${\displaystyle h(z):={\frac {(z-z_{0})^{m}}{z+a}}}$

Ziel ist die Entwicklung in eine Laurent-Reihe mit Entwicklungspunkt ${\displaystyle z_{o}\in \mathbb {C} \setminus \{-a\}}$.

Wir definieren folgende weitere Konstanten, die für die bessere Sichtbarkeit der Operationen verwendet werden.

• ${\displaystyle b:=-z_{0}-a}$
• ${\displaystyle c_{n}:=b^{n}}$
• ${\displaystyle q:={\frac {b}{z-z_{o}}}=-{\frac {z_{0}+a}{z-z_{o}}}}$

${\displaystyle {\begin{array}{rl}\displaystyle h(z)&=\displaystyle {\frac {z-z_{0}}{z+a}}={\frac {z-z_{0}}{z\underbrace {-z_{o}+z_{o}} _{=0}+a}}\\&=\displaystyle {\frac {z-z_{0}}{(z-z_{o})-\underbrace {(-z_{o}-a)} _{=b}}}={\frac {z-z_{0}}{(z-z_{o})-b}}\\&=\displaystyle {\frac {1}{1-{\frac {b}{z-z_{0}}}}}={\frac {1}{1-\underbrace {\frac {b}{z-z_{o}}} _{:=q}}}\\&=\displaystyle \sum _{n=0}^{+\infty }q^{n}=\sum _{n=0}^{+\infty }{\frac {b^{n}}{(z-z_{o})^{n}}}\\&=\displaystyle \sum _{n=0}^{+\infty }b^{n}\cdot (z-z_{o})^{-n}=\sum _{n=-\infty }^{0}c_{-n}\cdot (z-z_{o})^{n}\end{array}}}$

Das Residuum ${\displaystyle res_{z_{0}}(h)=c_{1}=b^{1}=-z_{o}-a}$.

${\displaystyle {\begin{array}{rl}\displaystyle h(z)&=\displaystyle {\frac {(z-z_{0})^{m}}{z+a}}={\frac {(z-z_{0})^{m}}{z\underbrace {-z_{o}+z_{o}} _{=0}+a}}\\&=\displaystyle {\frac {(z-z_{0})^{m}}{(z-z_{o})-\underbrace {(-z_{o}-a)} _{=b}}}={\frac {(z-z_{0})^{m}}{(z-z_{o})-b}}\\&=\displaystyle {\frac {(z-z_{0})^{m-1}}{1-{\frac {b}{z-z_{0}}}}}={\frac {(z-z_{0})^{m-1}}{1-\underbrace {\frac {b}{z-z_{o}}} _{:=q}}}\\&=(z-z_{0})^{m-1}\cdot \displaystyle \sum _{n=0}^{+\infty }q^{n}=(z-z_{0})^{m-1}\cdot \sum _{n=0}^{+\infty }{\frac {b^{n}}{(z-z_{o})^{n}}}\\&=(z-z_{0})^{m-1}\cdot \displaystyle \sum _{n=0}^{+\infty }b^{n}\cdot (z-z_{o})^{-n}=(z-z_{0})^{m-1}\cdot \sum _{n=-\infty }^{0}c_{-n}\cdot (z-z_{o})^{n}\\&=\displaystyle \sum _{n=-\infty }^{0}c_{-n}\cdot (z-z_{o})^{n+m-1}=\displaystyle \sum _{n=-\infty }^{m-1}c_{m-1-n}\cdot (z-z_{o})^{n}\end{array}}}$

Als Residuum für ${\displaystyle n=-1}$ erhält man ${\displaystyle res_{z_{0}}(h)=c_{m-1-(-1)}=c_{m}=b^{m}=(-z_{o}-a)^{m}}$

• Satz über die Entwicklung in Laurentreihen