Bieberbachsche Vermutung

Die bieberbachsche Vermutung i​st ein mathematischer Satz i​m Gebiet d​er komplexen Analysis über analytische Funktionen. Sie w​urde im Jahr 1916 v​on Ludwig Bieberbach a​ls Vermutung aufgestellt u​nd im Jahr 1985 v​on Louis d​e Branges d​e Bourcia bewiesen u​nd wird d​aher seitdem a​uch Satz v​on de Branges genannt.

Formulierung

Die bieberbachsche Vermutung besagt, d​ass für e​ine analytische u​nd injektive Funktion (sog. schlichte Funktion)

mit ,

wobei die Einheitskreisscheibe bezeichnet, stets

für alle gilt.

Geschichte

Bieberbach bewies . Charles Loewner (1917)[1] und Rolf Nevanlinna (1921)[2] bewiesen die Vermutung unabhängig für sternartige Funktionen. Das sind schlichte Funktionen in der Einheitskreisscheibe mit , , deren Bild ein Sterngebiet ist, was äquivalent dazu ist, dass sie das Nevanlinna-Kriterium erfüllen ( hat positiven Realteil für und ). 1923 bewies Loewner mit der Loewner-Gleichung, dass . Auch spätere Arbeiten benutzten meist die Methode von Loewner (die auch bei der Schramm-Löwner-Evolution eine wichtige Rolle spielt). John Edensor Littlewood bewies 1925[3] eine obere Schranke mit , der Eulerschen Zahl. Die Schranke wurde später verbessert (Milin (1965),[4] ). Paul Garabedian und Max Schiffer erledigten den Fall (1955),[5] Pedersen und Schiffer (1972)[6] und Pedersen (1968)[7] und Ozawa (1969)[8] unabhängig . Walter Hayman erzielte asymptotische Resultate. Er zeigte, dass existiert und außer bei einer Koebefunktion. Außerdem zeigte er, dass für jede Funktion in der Bieberbachvermutung höchstens endlich viele Ausnahmen existieren.[9] Louis de Branges bewies schließlich 1984 die Bieberbach-Vermutung über eine Vermutung von Isaak Moissejewitsch Milin, und die Leningrader Funktionentheorie-Schule von Milin spielte auch die ausschlaggebende Rolle in der Verifikation von de Branges Beweis (unter anderem Galina Wassiljewna Kusmina, Arcadii Z. Grinshpan). Der ursprüngliche Beweis von De Branges benutzte Funktionalanalysis (aber auch zum Beispiel die Löwner-Gleichung) und die russischen Mathematiker suchten einen Beweis ohne Funktionalanalysis nur mit Methoden der geometrischen Funktionentheorie, von dem sie dann auch De Branges für eine Veröffentlichung überzeugten.

De Branges bewies e​ine von I. M. Milin 1971 vermutete Ungleichung (die wiederum a​uf Ungleichungen v​on Milin u​nd Lebedew v​on 1967 aufbaut),[10] a​us der n​ach Milin e​ine Vermutung v​on M. S. Robertson (1936)[11] folgt, d​ie wiederum d​ie Bieberbachsche Vermutung z​ur Folge hat.

Ein alternativer Beweis d​er Milin-Vermutung stammt v​on L. Weinstein[12]

Originalarbeiten

  • L. Bieberbach: Über die Koeffizienten derjenigen Potenzreihen, welche eine schlichte Abbildung des Einheitskreises vermitteln, Sitzungsber. Preuss. Akad. Wiss., 1916, S. 940–955, online im Internet Archive
  • L. de Branges: A Proof of the Bieberbach Conjecture. Acta Mathematica, Band 154, 1985, S. 137–152, online auf projecteuclid.org
  • K. Löwner: Untersuchungen über schlichte konforme Abbildungen des Einheitskreises. I., Mathematische Annalen, Band 89, 1923, S. 103–121, online am Göttinger Digitalisierungszentrum

Literatur

  • P. Duren, D. Drasin, A. Bernstein, A. Marden: The Bieberbach Conjecture: Proceedings of the Symposium on the Occasion of the Proof. Providence, RI: Amer. Math. Soc., 1986.
  • S. Gong: The Bieberbach Conjecture. Providence, RI: Amer. Math. Soc., 1999.
  • Christian Pommerenke The Bieberbach Conjecture, Mathematical Intelligencer Bd. 7, 1985, S. 23
  • O. M. Fomenko, G. V. Kuzmina: The last 100 days of the Bieberbach conjecture, Mathematical Intelligencer, Bd. 8, 1986, Nr. 1
  • J. Korevaar: Ludwig Bieberbach's conjecture and its proof by Louis de Branges, The American Mathematical Monthly, Band 93, 1986, S. 505–514, pdf
  • Paul Zorn The Bieberbach Conjecture, Mathematics Magazine, Band 59, 1986, S. 131–148

Einzelnachweise

  1. Löwner, Untersuchungen über die Verzerrung bei konformen Abbildungen des Einheitskreises , die durch Funktionen mit nichtverschwindender Ableitung geliefert werden, Sitzungsberichte Gesellschaft der Wiss. Leipzig, Band 69, 1917, S. 89–106
  2. Nevanlinna, Über die konforme Abbildung von Sterngebieten, Översikt av Finska Vetenskps-Soc. Förh., Band 63 (A), Nr. 6, 1920/21, S. 1–21
  3. Littlewood, On inequalities in the theory of functions, Proc. London Math. Soc., Band 23, 1925, S. 481–519
  4. Milin, Estimation of coefficients of univalent functions, Soviet Math. Dokl., Band 6, 1965, S. 196–198
  5. R. Garabedian, M. Schiffer, A Proof of the Bieberbach Conjecture for the Fourth Coefficient, J. Rational Mech. Anal., Band 4, 1955, S. 427–465
  6. Pedersen, Schiffer, A Proof of the Bieberbach Conjecture for the Fifth Coefficient, Arch. Rational Mech. Anal., Band 45, 1972, S. 161–193
  7. Pedersen, A Proof of the Bieberbach Conjecture for the Sixth Coefficient, Arch. Rational Mech. Anal., Band 31, 1968/69, S. 331–351
  8. Ozawa, On the Bieberbach Conjecture for the Sixth Coefficient, Kodai Math. Sem. Rep., Band 21, 1969, S. 97–128
  9. W. K. Hayman, F. M. Stewart: Real Inequalities with Applications to Function Theory. Proc. Cambridge Phil. Soc., Band 50, 1954, S. 250–260
  10. Milin, Univalent functions and orthonormal systems, American Mathematical Society 1977, russisches Original Moskau: Nauka 1971.
  11. Robertson, On the theory of univalent functions, Annals of Mathematics, Band 37, 1936, S. 374–408
  12. L. Weinstein, The Bieberbach Conjecture, Internat. Math. Res. Notes, Band 5, 1991, S. 61–64
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.