Matroids Matheplanet Forum Index
Moderiert von Curufin epsilonkugel
Analysis » Funktionentheorie » Rouché und einfache Nullstellen
Autor
Universität/Hochschule J Rouché und einfache Nullstellen
nitram999
Aktiv Letzter Besuch: in der letzten Woche
Dabei seit: 11.02.2019
Mitteilungen: 201
Wohnort: Würzburg
  Themenstart: 2021-10-22

Hallo, ich sitze an folgender Aufgabe: Bestimmen Sie die Anzahl der Nullstellen von f(z)=exp(z)+3z^4 in \ID und zeigen Sie, dass alle Nullstellen von f einfach sind. Begründen Sie, warum in \ID\cut\ {z\el\ \IC ||| Im(z)>0} genau 2 Nullstellen liegen! Also f ist ja eine ganze Funktion, d.h. man kann ohne Probleme Rouché anwenden für den Einheitskreisrand (mit den Funktionen f(z) und g(z)=3z^4). Mit Rouché habe ich also bereits gezeigt, dass f(z) im Einheitskreis 4 Nullstellen hat. Meine Frage ist nun, wie zeigt man, dass diese einfach sind, weil man kennt die Nullstellen ja nicht? Und warum liegen genau 2 der Nullstellen in der oberen offenen Halbebene? Vielen Dank schon einmal für die Hilfe!


   Profil
nzimme10
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 01.11.2020
Mitteilungen: 843
Wohnort: Köln
  Beitrag No.1, eingetragen 2021-10-22

\(\begingroup\)\(\renewcommand{\i}{\mathrm{i}} \renewcommand{\Re}{\operatorname{Re}} \renewcommand{\Im}{\operatorname{Im}} \newcommand{\e}{\mathrm{e}} \renewcommand{\d}{\ \mathrm{d}} \newcommand{\ddz}{\frac{\mathrm{d}}{\mathrm{d}z}} \newcommand{\ddw}{\frac{\mathrm{d}}{\mathrm{d}w}} \newcommand{\ddt}{\frac{\mathrm{d}}{\mathrm{d}t}} \newcommand{\opn}{\operatorname}\) Hallo, wenn es eine Nullstelle $z_0\in \mathbb D$ der Ordnung $\geq 2$ von $f$ gäbe, so wäre ja $f(z_0)=f'(z_0)=0$. Es wäre dann also insbesondere $$ \exp(z_0)+3z_0^4=\exp(z_0)+12z_0^3 \ \Longleftrightarrow \ z_0^3(3z_0-12)=0. $$ Aus der rechten Seite folgt dann aber $z_0=0$ oder $z_0=4$. Letzteres liegt nicht in $\mathbb D$ und ersteres wäre keine Nullstelle von $f$. Folglich müssen alle Nullstellen von $f$ einfach sein. LG Nico [Verschoben aus Forum 'Analysis' in Forum 'Funktionentheorie' von nzimme10]\(\endgroup\)


   Profil
nitram999
Aktiv Letzter Besuch: in der letzten Woche
Dabei seit: 11.02.2019
Mitteilungen: 201
Wohnort: Würzburg
  Beitrag No.2, vom Themenstarter, eingetragen 2021-10-22

Vielen Dank für die Antwort Nico! Deine Begründung ist sehr verständlich. Woher weiß ich aber, dass genau 2 der Nullstellen einen Imaginärteil >0 haben?


   Profil
nitram999
Aktiv Letzter Besuch: in der letzten Woche
Dabei seit: 11.02.2019
Mitteilungen: 201
Wohnort: Würzburg
  Beitrag No.3, vom Themenstarter, eingetragen 2021-10-22

Vielleicht kann man irgendwie so argumentieren, dass die Nullstellen nicht reell sind (warum genau?). Und dann müssten die Nullstellen doch auf einer Kreislinie mit gleichen Winkelabständen liegen, sodass dann daher 2 über der reellen Achse sind und 2 darunter. Ich weiß nur nicht, wie man das formal aufschreibt, bzw. wie man es genau zeigt.


   Profil
Wally
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 02.11.2004
Mitteilungen: 9335
Wohnort: Dortmund, Old Europe
  Beitrag No.4, eingetragen 2021-10-22

\(\begingroup\)\(\newcommand{\D}{\displaystyle}\) Hallo, was ist denn \( f(\overline{z})\) ? Viele Grüße Wally \(\endgroup\)


   Profil
nitram999
Aktiv Letzter Besuch: in der letzten Woche
Dabei seit: 11.02.2019
Mitteilungen: 201
Wohnort: Würzburg
  Beitrag No.5, vom Themenstarter, eingetragen 2021-10-22

Hallo Wally, danke für die Antwort! Meinst du die Regel: f(z^-)=f(z)^- Das heißt, wenn z_0 eine Nullstelle von f ist, dann gilt f(z_0)=0 und somit folgt f((z_0)^-)=f(z_0)^-=0^-=0. Das heißt, wenn z_0 eine Nullstelle von f ist, dann ist auch (z_0)^- eine Nullstelle von f. Jetzt muss man nur noch wissen, warum es keine reellen Nullstellen gibt. Weil wenn dies der Fall ist, dann liegen die Nullstellen ja jeweils "gespiegelt" an der reellen Achse im Einheitskreis. Also liegen je 2 Nullstellen oberhalb und 2 unterhalb der reellen Achse.


   Profil
Wally
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 02.11.2004
Mitteilungen: 9335
Wohnort: Dortmund, Old Europe
  Beitrag No.6, eingetragen 2021-10-22

Ach komm... warum hat e^x+x^4 keine Nullstelle? Das weißt du eigentlich... Viele Grüße Wally


   Profil
nitram999
Aktiv Letzter Besuch: in der letzten Woche
Dabei seit: 11.02.2019
Mitteilungen: 201
Wohnort: Würzburg
  Beitrag No.7, vom Themenstarter, eingetragen 2021-10-22

Hallo Wally, Es gilt ja Folgendes: f(z)=0 <=>exp(z)+3z^4=0 <=>exp(z)=-3z^4 <=>ln(exp(z))=ln(-3z^4) <=>z=ln(-3z^4) Dies ist aber für kein z\el\ \IR erfüllt, also hat f keine reellen Nullstellen.


   Profil
Wally
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 02.11.2004
Mitteilungen: 9335
Wohnort: Dortmund, Old Europe
  Beitrag No.8, eingetragen 2021-10-22

Ja, oder "die Summe einer nichtnegativen und eine positiven Funktion ist positiv". Viele Grüße Wally


   Profil
nitram999
Aktiv Letzter Besuch: in der letzten Woche
Dabei seit: 11.02.2019
Mitteilungen: 201
Wohnort: Würzburg
  Beitrag No.9, vom Themenstarter, eingetragen 2021-10-22

Ah stimmt, danke. Ja ich hab da nach irgendeinem schönen Satz gesucht, ohne stur zu rechnen.


   Profil
Kuestenkind
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 12.04.2016
Mitteilungen: 2172
  Beitrag No.10, eingetragen 2021-10-23

Huhu, ein schöner Satz ist ja dieser: https://en.wikipedia.org/wiki/Schwarz_reflection_principle Dein \(f\) nimmt auf der reellen Achse offensichtlich nur reelle Werte an. Zudem ist \(f\) holomorph in der oberen Einheitskreisebene und der ganze Einheitskreis symmetrisch zur reellen Achse. Es gilt somit \(\overline{f(z)}=f(\overline{z})\) für alle \(z\) aus deinem Gebiet nach dem Schwarzschen Spiegelungsprinzip. Gruß, Küstenkind


   Profil
nitram999
Aktiv Letzter Besuch: in der letzten Woche
Dabei seit: 11.02.2019
Mitteilungen: 201
Wohnort: Würzburg
  Beitrag No.11, vom Themenstarter, eingetragen 2021-10-23

Danke Kuestenkind!


   Profil
nitram999 hat die Antworten auf ihre/seine Frage gesehen.
nitram999 hat selbst das Ok-Häkchen gesetzt.
nitram999 wird per Mail über neue Antworten informiert.

Wechsel in ein anderes Forum:
 Suchen    
 
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2021 by Matroids Matheplanet
This web site was originally made with PHP-Nuke, a former web portal system written in PHP that seems no longer to be maintained nor supported. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
Lesen Sie die Nutzungsbedingungen, die Distanzierung, die Datenschutzerklärung und das Impressum.
[Seitenanfang]