Kreispackungen, Konvergenz und Riemann-Abbildung
Der Riemannsche Abbildungssatz sagt, daß man jedes einfach zusammenhängende Gebiet konform auf die Kreisscheibe abbilden kann, wie im Bild unten. (‘Konform’ heißt, daß man zwar Abstände ändern darf, Winkel aber gleich bleiben. Zum Beispiel sind Streckungen oder Stauchungen konform.)
https://www.math.utk.edu/~kens/TC/TC-figures.html
Ein Beispiel zeigt das Bild unten: man kann jeden Kreis im linken Gebiet konform (nämlich durch eine Streckung oder Stauchung) auf den entsprechenden Kreis im rechten Gebiet abbilden, ebenso kann man die (krummlinigen) Dreiecke zwischen den Kreisen jeweils konform auf die entsprechenden Dreiecke im rechten Gebiet abbilden. (Bleibt noch die Frage, was man mit den verbleibenden Flächen am Rand macht…)
Letzte Woche hatten wir darüber geschrieben, daß der Beweis des Riemannschen Abbildungssatzes auf der Lösbarkeit einer bestimmten Differentialgleichung aufbaut. (Das ist der Ansatz, der 1851 von Riemann skizziert und 1907 von Koebe und Poincaré bewiesen wurde.)
Thurston hatte 1985 in einem Vortrag vermutet, daß man Kreispackungen wie im Bild oben für einen anschaulicheren Beweis des Riemannschen Abbildungssatzes benutzen könne.
Es ist nämlich bekannt1, daß man zu jeder Kreispackung irgendeines ebenen Gebietes (Bild links) eine “kombinatorisch äquivalente” Kreispackung der Einheitskreisscheibe (Bild rechts) finden kann. (“Kombinatorisch äquivalent” heißt, daß Kreise im Bild rechts sich dann und nur dann berühren, wenn sich die entsprechenden Kreise im Bild links berühren.)
Um die Riemann-Abbildung (näherungsweise) zu konstruieren, füllt man das Gebiet mit immer feineren Kreispackungen aus. Zu jeder der Kreispackungen hat man eine “kombinatorisch äquivalente” Kreispackung der Einheitskreisscheibe und damit, wie oben beschrieben, eine konforme Abbildung zwischen dem Gebiet und der Einheitskreisscheibe (zumindest zwischen den Teilen, die von den beiden Kreispackungen ausgefüllt werden). Thurston vermutete: wenn man die Kreispackungen immer feiner wählt, dann konvergieren die entsprechenden konformen Abbildungen gegen die Riemann-Abbildung (d.h. eine konforme Abbildung des gesamten Gebiets auf die gesamte Einheitskreisscheibe). Thurston gab auch einen expliziten Algorithmus an, mit dem man die Riemann-Abbildung dann auf dem Computer berechnen könnte.
Bewiesen wurde das kurz darauf in einer 1987 veröffentlichten Arbeit von Rodin und Sullivan, allerdings benutzt ihr Konvergenzbeweis indirekt Folgerungen aus dem Riemannschen Abbildungssatz.
He und Schramm(On the Convergence of Circle Packings to the Riemann Map) gaben dann 1996 einen elementaren Beweis für Konvergenz, der insbesondere den Riemannschen Abbldungssatz nicht benutzt. Damit hat man dann auch einen elementaren geometrischen Beweis (ohne Differentialgleichungen) für den Riemannschen Abbildungssatz.
(Aus der Arbeit von He und Schramm stammt auch das zweite Bild oben. Schramm ist letztes Jahr beim Bergsteigen tödlich verunglückt, eine Würdigung seiner Arbeiten findet man z.B. hier.)
Ich erinnere mich dunkel, in den 90er Jahren mal einen populärwissenschaftlichen Artikel gelesen zu haben, in dem dieser Kreispackungs-Ansatz für die Riemann-Abbildung auf Fragen der Hydrodynamik angewandt wurde. Ich erinnere mich aber nicht mehr an die Einzelheiten und finde den Artkel jetzt auch nicht mehr.
Beispiele zu potentiellen Anwendungen konformer Abbildungen in der Hirnforschung findet man in diesem Artikel von Ken Stephenson. Die ersten beiden Bilder oben sind ebenfalls von Stephensons Webseite.
1Zu einer Kreispackung schaut man sich den “dualen Graphen” an: Ecken des Graphen sind die Mittelpunkte der Kreise, zwei Ecken sind durch eine Kante verbunden, wenn die Kreise sich berühren. Zwei Kreispackungen sind “kombinatorischer äquialent”, wenn sie denselben dualen Graphen haben.
Nach einem Satz von Andreev kann man zu jedem ebenen Graphen G eine Kreispackung
der Einheitskreisscheibe konstruieren, deren dualer Graph gleich G ist. Insbesondere gilt dies für den dualen Graphen der Kreispackung im Bild links oder den dualen Graphen jeder anderen Kreispackung irendeines Gebiets, der sich dann nach dem Satz von Andreev also dann auch als dualer Graph einer Kreispackung der Einheitskreisscheibe ergibt.
Teil 1, Teil 2, Teil 3, Teil 4, Teil 5, Teil 6, Teil 7 , Teil 8, Teil 9 , Teil 10 ,Teil 11, Teil 12, Teil 13, Teil 14, Teil 15, Teil 16, Teil 17, Teil 18, Teil 19, Teil 20, Teil 21, Teil 22, Teil 23, Teil 24, Teil 25, Teil 26, Teil 27, Teil 28, Teil 29, Teil 30, Teil 31, Teil 32, Teil 33, Teil 34, Teil 35, Teil 36, Teil 37, Teil 38, Teil 39, Teil 40, Teil 41, Teil 42, Teil 43, Teil 44, Teil 45, Teil 46, Teil 47, Teil 48, Teil 49, Teil 50, Teil 51, Teil 52, Teil 53, Teil 54, Teil 55, Teil 56, Teil 57, Teil 58, Teil 59, Teil 60, Teil 61, Teil 62, Teil 63, Teil 64, Teil 65, Teil 66, Teil 67
Kommentare (4)