Satz von Bloch

Satz von Bloch

Der Satz von Bloch ist eine Aussage der Funktionentheorie, die 1925 von dem französischen Mathematiker André Bloch bewiesen wurde. Der Satz gibt eine Grenze für die Komplexität des Bildgebiets holomorpher Funktionen an.

Inhaltsverzeichnis

Motivation

Es sei G \subseteq \mathbb{C} ein Gebiet. Dann ist eine nicht-konstante holomorphe Funktion f : G \rightarrow \mathbb{C} eine offene Abbildung, was bedeutet, dass für jeden Bildpunkt eine Kreisscheibe existiert, die im Bild f(G) liegt. Der Satz von Bloch verschärft diese Aussage dahingehend, dass (bis auf Normierung) unabhängig von der Funktion eine Kreisscheibe bestimmter Größe im Bildgebiet liegt.

Aussage

Wenn \mathbb{E} = \left\{ z \in \mathbb{C} \mid |z| < 1 \right\} die Einheitskreisscheibe und f : \overline{\mathbb{E}} \rightarrow \mathbb{C} eine holomorphe Funktion mit f^\prime(0) = 1 ist, dann enthält das Bildgebiet f(\mathbb{E}) eine Kreisscheibe vom Radius r > \tfrac{1}{12}.

Konsequenzen

  • Es sei G \subseteq \mathbb{C} ein Gebiet und f:G \rightarrow \mathbb{C} holomorph mit f^\prime(c) \neq 0 für ein c \in G. Dann enthält f(G) eine Kreisscheibe vom Radius \tfrac{1}{12}\,\rho\,f^\prime(c) mit \rho < \mathrm{dist}(c, \partial G).
  • Eine nicht-konstante ganze (auf ganz \mathbb{C} holomorphe) Funktion enthält Kreisscheiben beliebig großer Radien. Die Mittelpunkte der Kreise sind aber je nach Radius verschieden, es wird also nicht immer ganz \mathbb{C} überdeckt, zum Beispiel ist \exp(\mathbb{C}) = \mathbb{C} \setminus \{0\}.
  • Der Kleine Satz von Picard lässt sich mit Hilfe des Satzes von Bloch beweisen, wenn man nicht auf die Ergebnisse der Uniformisierungstheorie zurückgreifen will.

Landausche Konstante

Der Satz von Bloch gibt eine untere Schranke für den Radius r an. Es stellt sich die Frage nach der optimalen Konstante, also danach, welches die größte Kreisscheibe ist, die in jedem Fall Platz findet. Dazu sei für f:\overline{\mathbb{E}} \rightarrow \mathbb{C} das Supremum aller möglichen Radien von Kreisscheiben, die in f(\mathbb{E}) Platz finden, definiert:

\ell(f) = \sup \left\{ r \in \mathbb{R}^+ \mid \exists \, w \in f(\mathbb{E}) \text{ so, dass } B(w,r) \subseteq f(\mathbb{E}) \right\}.

Die landausche Konstante \mathfrak{L} ist dann definiert als

\mathfrak{L} = \inf \left\{ \ell(f) \mid f : \overline{\mathbb{E}} \rightarrow \mathbb{C} \text{ holomorph mit } f^\prime(0) = 1 \right\}.

Die genaue Größe der Konstante ist nicht bekannt, jedoch gibt es die folgenden Abschätzungen:

\frac{1}{2} + 10^{-335} < \mathfrak{L} \leq \frac{\Gamma(1/3) \cdot \Gamma(5/6)}{\Gamma(1/6)} = 0{,}54325\text{ }89653\text{ }42976\text{ }70695\text{ }...     (Folge A081760 in OEIS),

wobei Γ die Eulersche Gammafunktion bezeichnet.

Die obere Grenze fanden R. M. Robinson 1937 (unveröffentlicht) und H. Rademacher 1942, der auch vermutete, dass die obere Schranke dem tatsächlichen Wert der landauschen Konstante entspricht. Diese Vermutung ist bis heute ein offenes Problem.

Blochsche Konstante

Die Bedingung f^\prime(0) = 1 im Satz von Bloch impliziert gemäß dem Satz über implizite Funktionen, dass ein nicht näher bestimmtes Gebiet sogar biholomorph auf sein Bild abgebildet wird. Deshalb ist es naheliegend, die gleiche Fragestellung mit der zusätzlichen Bedingung, die im Bildgebiet Platz findende Kreisscheibe müsse biholomorphes Bild eines Gebietes sein, ebenfalls zu untersuchen.

Bloch selbst erzielte die Abschätzung r > \tfrac{1}{72}.

Es sei für f:\overline{\mathbb{E}} \rightarrow \mathbb{C} das Supremum aller möglichen Radien von Kreisscheiben in f(\mathbb{E}), die biholomorphes Bild eines Teilgebietes von \mathbb{E} sind, definiert:

b(f) = \sup \left\{ r \in \mathbb{R}^+ \mid \exists \, S\subseteq\mathbb E,w \in f(\mathbb{E})\colon f(S)=B(w,r) \text{ und } f|_S \text{ biholomorph}\right\}.

Die blochsche Konstante \mathfrak{B} ist dann definiert als

\mathfrak{B} = \inf \left\{ b(f) \mid f : \overline{\mathbb{E}} \rightarrow \mathbb{C} \text{ holomorph mit }  f^\prime(0) = 1 \right\}.

Der genaue Wert der blochschen Konstante ist ebenfalls nicht bekannt, gefunden wurden bisher die Abschätzungen

\frac{\sqrt{3}}{4} + 2 \cdot 10^{-4} < \mathfrak{B} \leq \frac{\Gamma(1/3) \cdot \Gamma(11/12) }{\Gamma(1/4) \cdot \sqrt{1+\sqrt{3}}} = 0{,}47186\text{ }16534\text{ }52681\text{ }78487\text{ }...     (Folge A085508 in OEIS).

Die obere Grenze fanden L. V. Ahlfors und H. Grunsky 1937. Sie vermuteten zudem, dass diese Grenze dem tatsächlichen Wert der blochschen Konstante entspricht. Auch diese Vermutung konnte bisher nicht bewiesen werden.

Literatur

  • André Bloch: Les théorèmes de M. Valiron sur les fonctions entières et la théorie de l’uniformisation. Annales de la faculté des sciences de l’université de Toulouse 3e série 17, 1925, S. 1–22 (bei Numdam: [1])
  • Edmund Landau: Über die Blochsche Konstante und zwei verwandte Weltkonstanten (22. März 1929), Mathematische Zeitschrift 30, Dezember 1929, S. 608–634 („\scriptstyle\mathfrak L\;<\;\frac{9}{16}“ auf S. 611, „\scriptstyle\mathfrak L\;\geq\;0,43“ auf S. 614; beim GDZ: [2])
  • Lars V. Ahlfors, Helmut Grunsky: Über die Blochsche Konstante (9. Dezember 1936), Mathematische Zeitschrift 42, Dezember 1937, S. 671–673 (beim GDZ: [3])
  • Lars V. Ahlfors: An extension of Schwarz’s lemma (1. April 1937), Transactions of the AMS 43, Mai 1938, S. 359–364 (englisch; „B≥31/2/4“ und „L≥1/2“ auf S. 364; bei der AMS: [4])
  • Hans Rademacher: On the Bloch-Landau constant (21. März 1942), American Journal of Mathematics 65, Juli 1943, S. 387–390 (englisch; bei Google Books: [5])
  • Albert Baernstein II, Jade P. Vinson: Local minimality results related to the Bloch and Landau constants, in Peter Duren, Juha Heinonen, Brad Osgood, Bruce Palka (Hrsg.): Quasiconformal mappings and analysis. A collection of papers honoring F. W. Gehring, Springer, New York 1998, ISBN 0-387-98299-X, S. 55–89 (englisch; bei Google Books: [6])
  • Steven R. Finch: Mathematical Constants. Cambridge University Press, Cambridge 2003, ISBN 0-521-81805-2, S. 456
  • Reinhold Remmert, Georg Schumacher: Funktionentheorie 2. Springer, 2006, ISBN 3-540-40432-5

Weblinks


Wikimedia Foundation.

Игры ⚽ Поможем написать реферат

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Satz von Floquet — Der Satz von Floquet (nach Gaston Floquet) macht eine Aussage über die Struktur der Fundamentalmatrizen eines homogenen linearen gewöhnlichen Differentialgleichungssystems mit periodischer Koeffizientenmatrix. Dieser Satz findet in der… …   Deutsch Wikipedia

  • Bloch (Begriffsklärung) — Bloch steht für: den Familiennamen Bloch; siehe dort Etymologie, Varianten und bekannte Namensträger Rundholz oder Blochholz, sägefähiges oder furniertaugliches Holz eines gefällten Baumes die Société des Avions Marcel Bloch, ehemaliger… …   Deutsch Wikipedia

  • André Bloch (Mathematiker) — André Bloch (* 20. November 1893 in Besançon; † 11. Oktober 1948 in Paris) war ein französischer Mathematiker, der durch seine Arbeiten zur Funktionentheorie bekannt ist. Inhaltsverzeichnis 1 Leben 2 Werk 3 …   Deutsch Wikipedia

  • Liste von Physikern — Die Liste von Physikern ist alphabetisch sortiert und enthält nur Forscher, die wesentliche Beiträge zum Fachgebiet geleistet haben. Die Liste soll neben den Lebensdaten das Fachgebiet des Forschers nennen und wenige Stichworte zu den Aspekten… …   Deutsch Wikipedia

  • Vermutung von Mordell — Die Vermutung von Mordell entstammt der Zahlentheorie, wurde im Jahr 1922 von Louis Mordell aufgestellt und 1983 von Gerd Faltings in seinem Artikel Endlichkeitssätze für abelsche Varietäten über Zahlkörpern[1] (Faltings Satz) bewiesen.… …   Deutsch Wikipedia

  • Liste von Violinkonzerten — Wichtige Beiträge zur Werkgattung des Violinkonzerts, alphabetisch nach Komponist sortiert. Musikgeschichtlich wichtige Violinkonzerte der vorklassischen Periode komponierten u.a.: Johann Sebastian Bach (1685–1750) Francesco Geminiani (… …   Deutsch Wikipedia

  • Die Bibliothek von Babel — ist eine Erzählung von Jorge Luis Borges und gleichzeitig der Titel einer von Borges herausgegebenen Buchreihe phantastischer Literatur. Inhaltsverzeichnis 1 Die Erzählung von Borges 2 Interpretation 3 …   Deutsch Wikipedia

  • Hanns von Gumppenberg — Hanns Theodor Wilhelm Freiherr von Gumppenberg (* 4. Dezember 1866 in Landshut; † 29. März 1928 in München) war ein deutscher Dichter, Übersetzer, Kabarettist und Theaterkritiker. Er benutzte die Pseudonyme Jodok und Professor Immanuel Tiefbohrer …   Deutsch Wikipedia

  • Hans von Gumppenberg — Hanns Theodor Wilhelm Freiherr von Gumppenberg (* 4. Dezember 1866 in Landshut; † 29. März 1928 in München) war ein deutscher Dichter, Übersetzer, Kabarettist und Theaterkritiker. Er benutzte die Pseudonyme Jodok und Professor Immanuel Tiefbohrer …   Deutsch Wikipedia

  • Landau-Konstante — Der Satz von Bloch ist eine Aussage der Funktionentheorie, die 1925 vom französischen Mathematiker André Bloch bewiesen wurde. Der Satz gibt eine Grenze für die Komplexität des Bildgebiets holomorpher Funktionen an. Inhaltsverzeichnis 1… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”