Satz von Rouché

Der Satz von Rouché ist eine Aussage über die Lage von Nullstellen holomorpher Funktionen, der häufig angewandt werden kann, um Abschätzungen für Nullstellen zu gewinnen.

Aussage

Es sei $U\subseteq ℂ$ offen, es sei $\mathrm{\Gamma }$ ein Zykel in $U$, der nullhomolog in $U$ ist und jeden Punkt in seinem Innengebiet genau einmal umläuft, d. h. es ist $n(\mathrm{\Gamma },z)\in \{0,1\}$ für jedes $z\in U$. Seien weiter $f,g:U\to ℂ$ holomorphe Funktionen, so dass

$|f(z)-g(z)|<|f(z)|,z\in \mathrm{s}\mathrm{p}\mathrm{u}\mathrm{r}(\mathrm{\Gamma })$

gilt. Dann haben $f$ und $g$ in $I_{\mathrm{\Gamma }}=\{z\in ℂ:n(\mathrm{\Gamma },z)=1\}$ gleich viele Nullstellen (mit Vielfachheit gezählt).

Beweis

Betrachte für jedes $\lambda \in [0,1]$ die Funktion $f_{\lambda }:=(1-\lambda )f+\lambda g=f+\lambda (g-f)$. Wegen

$|\lambda (g(z)-f(z))|=|\lambda ||g(z)-f(z)|<|f(z)|,z\in \mathrm{s}\mathrm{p}\mathrm{u}\mathrm{r}(\mathrm{\Gamma })$

hat $f_{\lambda }$ auf $\mathrm{s}\mathrm{p}\mathrm{u}\mathrm{r}(\mathrm{\Gamma })$ keine Nullstellen. Da $f_{\lambda }$ auf $I_{\mathrm{\Gamma }}$ holomorph ist, folgt mit dem Nullstellen zählenden Integral, dass die Anzahl der Nullstellen von $f_{\lambda }$ in $I_{\mathrm{\Gamma }}$ gerade

$\frac{1}{2\pi i}\underset{\mathrm{\Gamma }}{\int }\frac{{f_{\lambda }}^{\prime }(z)}{f_{\lambda }(z)}dz=\frac{1}{2\pi i}\underset{\mathrm{\Gamma }}{\int }\frac{(1-\lambda )f^{\prime }(z)+\lambda g^{\prime }(z)}{(1-\lambda )f(z)+\lambda g(z)}dz$:

ist, also stetig von $\lambda$ abhängt. Eine stetige $\mathbb{Z}$-wertige Funktion auf $[0,1]$ ist aber konstant, also haben $f_0=f$ und $f_1=g$ gleich viele Nullstellen in $I_{\mathrm{\Gamma }}$.

Anwendung

Eine Anwendung des Satzes von Rouché ist ein Beweis des Fundamentalsatzes der Algebra: Sei $p(z)=\sum _{k=0}^n{a}_k{z}^k\in ℂ[z]$ ein Polynom mit $n>0$ und $a_n\ne 0$, die Idee des Beweises ist es, $p$ mit $q(z)=a_n{z}^n$ zu vergleichen (von $q$ kennen wir die Anzahl der Nullstellen). Es ist

$|p(z)-q(z)|=\left|\sum _{k=0}^{n-1}{a}_k{z}^k\right|\le \sum _{k=0}^{n-1}|a_k||z{|}^k<|a_n||z^n|=|q(z)|$

mit $|z|\ge R$ und ein hinreichend großes $R$. Also haben $p$ und $q$ in $D_R(0)$ gleich viele Nullstellen, nämlich $n$.

Siehe auch

• Nullstellen zählenden Integral
• Konvexkombination

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/Satz_von_Rouch%C3%A9
• siehe auch weitere Informationen zu Wiki2Reveal und unter Wiki2Reveal-Linkgenerator.