|
Autor |
Ganze Funktion mit nach oben beschränktem Realteil ist konstant |
|
katze1
Aktiv  Dabei seit: 22.05.2023 Mitteilungen: 24
 | Themenstart: 2023-09-29
|
Sei g: \IC\textrightarrow\IC holomorph und M\el\ \IR mit Re(g(z))<=M für alle z \el\ \IC . Nun soll ich zeigen, dass g konstant ist.
Ich habe mir überlegt, dass ich hier den Satz von Liouville nutzen könnte. Ich müsste dann zeigen, dass es eine Konstante c\el\IR mit abs(g(z))<=c \forall\ z\el\IC gibt. Wie stelle ich das an? Nach Voraussetzung weiß ich ja erstmal nur, dass der Realteil eine obere Grenze hat (d.h. nicht mal dessen Betrag ist zwangsläufig beschränkt). Oder muss ich ganz anders dabei vorgehen?
|
Profil
|
nzimme10
Senior  Dabei seit: 01.11.2020 Mitteilungen: 2791
Wohnort: Köln
 | Beitrag No.1, eingetragen 2023-09-29
|
\(\begingroup\)\(\renewcommand{\i}{\mathrm{i}}
\renewcommand{\Re}{\operatorname{Re}}
\renewcommand{\Im}{\operatorname{Im}}
\newcommand{\e}{\mathrm{e}}
\renewcommand{\d}{\mathrm{d}}
\renewcommand{\dd}{\ \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}
\newcommand{\rot}{\opn{rot}}
\newcommand{\div}{\opn{div}}
\let\oldvec=\vec
\renewcommand{\vec}[3]{\begin{pmatrix} #1 \\ #2 \\ #3 \end{pmatrix}}\)
Hallo,
du kannst zum Beispiel $|\e^{g(z)}|=\e^{\opn{Re}(g(z))}$ verwenden.
LG Nico\(\endgroup\)
|
Profil
|
katze1
Aktiv  Dabei seit: 22.05.2023 Mitteilungen: 24
 | Beitrag No.2, vom Themenstarter, eingetragen 2023-09-30
|
Danke für deine Antwort! Ist es nun trivial, dass aus abs(e^(g(z)))<=e^M die Beschränktheit von abs(g(z)) folgt oder muss man das begründen? Wenn ja, wie?
|
Profil
|
nzimme10
Senior  Dabei seit: 01.11.2020 Mitteilungen: 2791
Wohnort: Köln
 | Beitrag No.3, eingetragen 2023-09-30
|
\(\begingroup\)\(\renewcommand{\i}{\mathrm{i}}
\renewcommand{\Re}{\operatorname{Re}}
\renewcommand{\Im}{\operatorname{Im}}
\newcommand{\e}{\mathrm{e}}
\renewcommand{\d}{\mathrm{d}}
\renewcommand{\dd}{\ \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}
\newcommand{\rot}{\opn{rot}}
\newcommand{\div}{\opn{div}}
\let\oldvec=\vec
\renewcommand{\vec}[3]{\begin{pmatrix} #1 \\ #2 \\ #3 \end{pmatrix}}\)
Wenn du fragen musst, dann ist es nicht trivial (zumindest nicht für dich). Es folgt zunächst einmal die Konstanz von $\varphi\colon \mathbb C\to \mathbb C, \ z\mapsto \e^{g(z)}$.
Jetzt kann man sich zum Beispiel $\varphi'(z)=0$ für alle $z\in \mathbb C$ zu Nutze machen, indem man $\varphi'(z)$ mit der Kettenregel ausrechnet.
Ein ganz anderes Argument - ohne den Umweg über die Exponentialfunktion - geht zum Beispiel mit Hilfe von Casorati-Weierstrass. $g$ hat als Funktion auf der Riemann-Sphäre eine isolierte Singularität in $\infty$. Diese kann wegen Casorati-Weierstrass keine wesentliche sein. Ein Pol kann sie auch nicht sein, weil ansonsten $g$ ein nicht konstantes Polynom wäre und damit $g(\mathbb C)=\mathbb C$ gelten würde. Es muss also eine hebbare Singularität, und $g$ damit beschränkt, sein.
LG Nico\(\endgroup\)
|
Profil
|
katze1
Aktiv  Dabei seit: 22.05.2023 Mitteilungen: 24
 | Beitrag No.4, vom Themenstarter, eingetragen 2023-09-30
|
Profil
|
katze1 hat die Antworten auf ihre/seine Frage gesehen. katze1 hat selbst das Ok-Häkchen gesetzt. | katze1 wird per Mail über neue Antworten informiert. |
|
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2023 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]
|