Landau-Konstante

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

Motivation

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, welche 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

Sei \mathbb{E} := \left\{ z \in \mathbb{C} \,:\, |z| < 1 \right\} die Einheitskreisscheibe und sei f : \overline{\mathbb{E}} \rightarrow \mathbb{C} eine holomorphe Funktion mit f\,'(0) = 1. Dann enthält das Bildgebiet f(\mathbb{E}) eine Kreisscheibe vom Radius r > \frac{1}{12}.

Konsequenzen

  • Sei G \subseteq \mathbb{C} ein Gebiet und f : G \rightarrow \mathbb{C} holomorph mit f'(c) \neq 0 für ein c \in G. Dann enthält f(G) eine Kreisscheibe vom Radius \frac{1}{12} \cdot \rho \cdot f'(c) mit \rho < \mathrm{dist}(c, \partial G).
  • Eine nicht-konstante ganze (d.h. auf ganz \mathbb{C} holomorphe) Funktion enthält Kreisscheiben beliebig großer Radien. (Achtung: Die Mittelpunkte der Kreise sind je nach Radius verschieden, es wird also nicht immer ganz \mathbb{C} überdeckt, vgl. z.B. \exp(\mathbb{C}) = \mathbb{C} \setminus \left\{0\right\})
  • 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, welche in f(\mathbb{E}) Platz finden, definiert: \ell(f) := \sup \left\{ r \in \mathbb{R}^+ \,:\, \exists \, w \in f(\mathbb{E}) \mbox{ so, dass } B(w,r) \subseteq f(\mathbb{E}) \right\}.

Die landausche Konstante L ist dann definiert als

L := \inf \left\{ \ell(f) \,:\, f : \overline{\mathbb{E}} \rightarrow \mathbb{C} \mbox{ holomorph} \right\}.

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

 \frac{1}{2} + 10^{-335} < L \leq \frac{\Gamma(1/3) \cdot \Gamma(5/6)}{\Gamma(1/6)} \approx 0.5432589653429754 ,

wobei Γ die Eulersche Gammafunktion bezeichnet.

Die obere Grenze wurde bereits 1943 von H. Rademacher gefunden. Von ihm stammt auch die Vermutung, dass die obere Schranke dem tatsächlichen Wert der landauschen Konstante entspricht. Diese Vermutung stellt bis heute ein offenes Problem dar.

Blochsche Konstante

Die Bedingung f'(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 > \frac{1}{72}.

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}^+ \,:\, \exists \, S\subseteq\mathbb E,w \in f(\mathbb{E})\colon f(S)=B(w,r) \ \mathrm{und}\ f|_S\ \mathrm{biholomorph}\right\}.

Die blochsche Konstante B ist dann definiert als

B := \inf \left\{ b(f) \,:\, f : \overline{\mathbb{E}} \rightarrow \mathbb{C} \mbox{ holomorph} \right\}

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

\frac{\sqrt{3}}{4} + 2 \cdot 10^{-4} < B \leq
\frac{\Gamma(1/3) \cdot \Gamma(11/12) }{\Gamma(1/4) \cdot \sqrt{1+\sqrt{3}}}

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

  • Reinhold Remmert, Georg Schumacher: Funktionentheorie 2. Springer, 2006. ISBN 3-540-40432-5
  • Albert II Baernstein, Jade P. Vinson: Local minimality results to the Bloch and Landau constants in: Quasiconformal mappings and analysis, Springer, New York 1998
  • André Bloch: Les théorèmes de M.Valiron sur les fonctions entières et la théorie de l'uniformisation. in: Annales de la faculté des sciences de l'Université de Toulouse. Série 3. 17/1925, S. 1-22, ISSN 0240-2963
  • S. R. Finch: Mathematical Constants. Cambridge University Press, Cambridge, 2003, ISBN 0521818052

Weblinks


Wikimedia Foundation.

Игры ⚽ Нужно решить контрольную?

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

  • Landau-Notation — Landau Symbole werden in der Mathematik und in der Informatik verwendet, um das asymptotische Verhalten von Funktionen und Folgen zu beschreiben. In der Informatik werden sie insbesondere in der Komplexitätstheorie verwendet, um verschiedene… …   Deutsch Wikipedia

  • Landau-Symbol — Landau Symbole werden in der Mathematik und in der Informatik verwendet, um das asymptotische Verhalten von Funktionen und Folgen zu beschreiben. In der Informatik werden sie insbesondere in der Komplexitätstheorie verwendet, um verschiedene… …   Deutsch Wikipedia

  • Landau-Symbole — Notation Anschauliche Bedeutung f wächst nicht wesentlich schneller als g f wächst langsamer als g …   Deutsch Wikipedia

  • Landau-Lifschitz-Gilbert-Gleichung — Die Landau Lifschitz Gilbert Gleichung (auch im Deutschen nach englischer Transkription teilweise Landau Lifshitz Gilbert Gleichung genannt) beschreibt in der Elektrodynamik das Verhalten der magnetischen Momente eines ferromagnetischen Materials …   Deutsch Wikipedia

  • Mathematische Konstante — Eine mathematische Konstante ist eine fest definierte spezielle reelle oder komplexe Zahl, die sich auf natürliche Weise in der Mathematik ergibt. Anders als physikalische Konstanten werden mathematische Konstanten unabhängig von jedem… …   Deutsch Wikipedia

  • Niven-Konstante — Die Niven Konstante, benannt nach dem kanadisch amerikanischen Mathematiker Ivan M. Niven, ist eine mathematische Konstante aus der Zahlentheorie. Sie ist definiert als der asymptotische arithmetische Mittelwert der maximalen Exponenten der… …   Deutsch Wikipedia

  • Liste mathematischer Konstanten — Eine mathematische Konstante ist eine fest definierte spezielle reelle oder komplexe Zahl, die sich auf natürliche Weise in der Mathematik ergibt. Anders als physikalische Konstanten werden mathematische Konstanten unabhängig von jedem… …   Deutsch Wikipedia

  • Mathematische Konstanten — Eine mathematische Konstante ist eine fest definierte spezielle reelle oder komplexe Zahl, die sich auf natürliche Weise in der Mathematik ergibt. Anders als physikalische Konstanten werden mathematische Konstanten unabhängig von jedem… …   Deutsch Wikipedia

  • Aufwandsmaß — Landau Symbole werden in der Mathematik und in der Informatik verwendet, um das asymptotische Verhalten von Funktionen und Folgen zu beschreiben. In der Informatik werden sie insbesondere in der Komplexitätstheorie verwendet, um verschiedene… …   Deutsch Wikipedia

  • Groß-O-Notation — Landau Symbole werden in der Mathematik und in der Informatik verwendet, um das asymptotische Verhalten von Funktionen und Folgen zu beschreiben. In der Informatik werden sie insbesondere in der Komplexitätstheorie verwendet, um verschiedene… …   Deutsch Wikipedia

Share the article and excerpts

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