Autor |
Holomorphie |
|
LisaB123
Junior  Dabei seit: 28.08.2017 Mitteilungen: 10
 | Themenstart: 2017-08-28
|
Hallo zusammen,
ich habe folgende Aufgabe, die ich nicht lösen kann. Vielleicht könnte mir von euch jemand bei der Lösung helfen:
Für eine ganze holomorphe Funktion nehme eine Folge $a_n$ mit $\lim_{n \to \infty} a_n =a$ $(a_n\in \mathbb{R})$ reelle Werte an. Zeige, dass $f$ auf der gesamten reellen Achse reelle Werte annimmt.
|
Profil
|
Triceratops
Wenig Aktiv  Dabei seit: 28.04.2016 Mitteilungen: 6472
Wohnort: Berlin
 | Beitrag No.1, eingetragen 2017-08-28
|
Die Aussage ist falsch. Das liegt daran, dass es sich nicht um die originale Aufgabenstellung handelt. Poste diese bitte.
|
Profil
|
Gestath
Aktiv  Dabei seit: 22.07.2013 Mitteilungen: 242
 | Beitrag No.2, eingetragen 2017-08-28
|
@Triceratops
Könntest Du bitte ein Gegenbeispiel angeben?
|
Profil
|
LisaB123
Junior  Dabei seit: 28.08.2017 Mitteilungen: 10
 | Beitrag No.3, vom Themenstarter, eingetragen 2017-08-28
|
Was meinst du mit "originale" Aufgabenstellung.
Ist eine Voraussetzung falsch formuliert?
Eigentlich sollte die Aufgabe richtig gestellt sein.
|
Profil
|
Triceratops
Wenig Aktiv  Dabei seit: 28.04.2016 Mitteilungen: 6472
Wohnort: Berlin
 | Beitrag No.4, eingetragen 2017-08-28
|
Ein Gegenbespiel ist $f(z) = iz$, $a_n = 0$.
Es fehlt eine Voraussetzung. Man kann sich denken, welche es ist, aber das sollte der Aufgabensteller spezifizieren.
|
Profil
|
LisaB123
Junior  Dabei seit: 28.08.2017 Mitteilungen: 10
 | Beitrag No.5, vom Themenstarter, eingetragen 2017-08-28
|
Vermutlich sollte $ a_n $ nicht konstant 0 sein.
Oder gibt es dann noch andere Probleme?
|
Profil
|
Triceratops
Wenig Aktiv  Dabei seit: 28.04.2016 Mitteilungen: 6472
Wohnort: Berlin
 | Beitrag No.6, eingetragen 2017-08-28
|
Profil
|
LisaB123
Junior  Dabei seit: 28.08.2017 Mitteilungen: 10
 | Beitrag No.7, vom Themenstarter, eingetragen 2017-08-28
|
Vielleicht kannst du mir etwas auf die Sprünge helfen?
|
Profil
|
Ex_Senior
 | Beitrag No.8, eingetragen 2017-08-28
|
Hier sollte $a_n \neq a$ für unendlich viele n gelten. Üblicherweise wird dieses einfach für alle n gefordert. Die Aufgabe selbst sieht ganz stark nach Beweis mittels Identitätssatz aus. Was hast Du bisher probiert?
|
Profil
|
LisaB123
Junior  Dabei seit: 28.08.2017 Mitteilungen: 10
 | Beitrag No.9, vom Themenstarter, eingetragen 2017-08-29
|
Ich habe versucht eine Folgerung des Identitätssatzes anzuwenden (s. Busam,Freitag):
"Zwei holomorphe Funktionen auf einem Gebiet $D$ stimmen überein, wenn sie auf einer Folge $a_n$ mit $a_n\in D, a_n\neq a$, und $lim_{n\to\infty} a_n=a \in D$ übereinstimmen."
Ich wusste aber nicht so richtig wie ich die zweite Funktion und wie ich $D$ wählen sollte.
Gibt es noch bessere Korollare aus dem Identitätssatz?
|
Profil
|
Triceratops
Wenig Aktiv  Dabei seit: 28.04.2016 Mitteilungen: 6472
Wohnort: Berlin
 | Beitrag No.10, eingetragen 2017-08-29
|
Betrachte die ganze(!) Funktion $g(z) := \overline{f(\overline{z})}$. Es gilt $g(a_n)=f(a_n)$. Kommst du damit weiter?
|
Profil
|
LisaB123
Junior  Dabei seit: 28.08.2017 Mitteilungen: 10
 | Beitrag No.11, vom Themenstarter, eingetragen 2017-08-29
|
Sehr gut. Vielen Dank!
Wozu braucht man das konjugiert konjugiert komplex auf dem $z$ bei $g(z) := \overline{f(\overline{z})}$?
|
Profil
|
Ex_Senior
 | Beitrag No.12, eingetragen 2017-08-29
|
Für den Identitätssatz benötigt man zwei holomorphe Funktionen. Daher muß auch gezeigt werden, dass g holomorph ist.
|
Profil
|
Triceratops
Wenig Aktiv  Dabei seit: 28.04.2016 Mitteilungen: 6472
Wohnort: Berlin
 | Beitrag No.13, eingetragen 2017-08-29
|
Selbst wenn $f(\overline{z})$ oder $\overline{f(z)}$ holomorph wären (was i.A. nicht der Fall ist), würde man damit den Beweis nicht abschließen können. Aber $g$ ist holomorph, und damit funktioniert der Beweis.
|
Profil
|
LisaB123
Junior  Dabei seit: 28.08.2017 Mitteilungen: 10
 | Beitrag No.14, vom Themenstarter, eingetragen 2017-08-30
|
Also die korrekte Frage und Lösung sollte also folgendermaßen lauten. (Da ich kein Funktionentheorie-Experte bin findet sich bestimmt noch die ein oder andere Unsauberheit.)
Frage:
Für eine ganze holomorphe Funktion $f$ nehme eine Folge $a_n$ mit $\lim_{n \to \infty} a_n =a$ $(a_n\in \mathbb{R} $ und $a_n\neq a$ ) reelle Werte an. Zeige, dass $f$ auf der gesamten reellen Achse reelle Werte annimmt.
Lösung:
Mit Hilfe einer Folgerung aus dem Identitätssatz:
"Zwei holomorphe Funktionen auf einem Gebiet $D$ stimmen überein, wenn sie auf einer Folge $a_n$ mit $a_n\in D, a_n\neq a$, und $lim_{n\to\infty} a_n=a \in D$ übereinstimmen."
Sei $g(z)= \overline{f(\overline{z})}$ für $z\in\mathbb{C}$. Dabei ist $g$ holomorph und $g(a_n)=\overline{f(\overline{a_n})}=f(a_n)$. Daraus folgt mit dem Identitätssatz, dass $f=g$ auf $\mathbb{C}$.
Sei nun $x\in \mathbb{R}$. Dann gilt: $f(x)=g(x)=\overline{f(x)}$ und somit $f(x)\in \mathbb{R}$.
|
Profil
|
Triceratops
Wenig Aktiv  Dabei seit: 28.04.2016 Mitteilungen: 6472
Wohnort: Berlin
 | Beitrag No.15, eingetragen 2017-08-30
|
Du hast noch nicht begründet, warum $g$ holomorph ist.
|
Profil
|
LisaB123
Junior  Dabei seit: 28.08.2017 Mitteilungen: 10
 | Beitrag No.16, vom Themenstarter, eingetragen 2017-08-30
|
Dazu gibt es hier einen hilfreichen Eintrag:
\quoteon(2007-05-14 21:02 - Buri in Beitrag No. 1)
\quoteoff
|
Profil
|
Wally
Senior  Dabei seit: 02.11.2004 Mitteilungen: 9721
Wohnort: Dortmund, Old Europe
 | Beitrag No.17, eingetragen 2017-08-30
|
Oder man verwendet die Äquivalenz von Holomorphie und lokaler Potenzreihendarstellung.
Wally
|
Profil
|