In eine enge Garage oder Parklücke waagerecht einzuparken, also mit einem Wagen der Länge L in einem Rechteck der Länge L+ε zu manövrieren:

läßt sich mathematisch durch eine einfache Differentialgleichung modellieren:

x’sinα=y’cosα.

Dabei sind (x,y) die Koordinaten eines Massepunktes in der Ebene (etwa der Mittelpunkt der Hinterachse des Wagens) und α ist die vom Lenkrad eingeschlagene Richtung. (x’,y’) sind natürlich die Ableitungen nach der Zeit und wir wollen nicht irgendeine Lösung, sondern eine, bei der sich die x-Koordinate während der Bewegung möglichst wenig verändert. Damit der Wagen hinterher nicht so aussieht:

Nun wird man durch Probieren sicherlich eine Lösung finden, etwa eine Sinuskurve mit angepaßten Parametern.

Es gibt aber auch ein allgemeines mathematisches Konzept, mit dem man solche stark unterbestimmten Differentialgleichungen lösen kann, nämlich das h-Prinzip und die Methode der konvexen Integration.

h-Prinzip

Was das jetzt mit den Themen dieser Reihe zu tun hat?
In den letzten Folgen hatten wir uns mit Immersionen von Flächen in den R³ beschäftigt, u.a. mit dem bekannten Satz über die Umstülpbarkeit der Sphäre. Für diese Immersionen von Flächen in den R³ besagte die Hirsch-Smale-Theorie, daß sich alle Probleme über Immersionen auf die entsprechenden linearisierten Probleme zurückführen lassen: es gibt eine Immersion der Fläche in den R³ genau dann wenn es eine injektive lineare Abbildung des Tangentialbündels der Fläche in das Tangentialbündel der R³ gibt. (Und die Immersionen sind regulär homotop, wenn die entsprechenden linearen Abbildungen homotop sind.)

Allgemein kann man diese Herangehensweise so formulieren: in einer Differentialgleichung oder -ungleichung betrachtet man die Ableitungen als unabhängige Variablen und versucht zunächst dieses einfachere Problem zu lösen. (Diese Lösungen bezeichnet man als formale Lösungen.)

Wenn also in einer Differentialgleichung x,y,α und x’,y’,α’ vorkommen, dann führen wir einfach neue Variablen u,v,β ein, welche x’,y’,α’ ersetzen.

Aus unserer Gleichung
x’sinα=y’cosα
wird dann
u sinα=v cosα
und diese Gleichung hat natürlich sehr viele Lösungen, z.B. (0,t,0,0,0,0), also die senkrechte Bewegung orthogonal zur Parkrichtung.

Und dann hofft man, daß die formalen Lösungen sich in eine richtige Lösung deformieren lassen. Falls das funktioniert, sagt man die Gleichung erfülle ein h-Prinzip. Falls man sogar mit einer beliebig kleinen Deformation aus einer formalen Lösung eine richtige bekommen kann, spricht man von einem dichten h-Prinzip. (Und falls der Raum der richtigen Lösungen ein Deformationsretrakt des Raumes der formalen Lösungen ist, spricht man von einem Multiparameter-h-Prinzip.)

Geometrie und Physik

h-Prinzipien stammen ursprünglich (noch nicht unter diesem Namen) aus der Immersionstheorie, dem oben erwähnten und in den letzten Wochen diskuterten Problem der Umstülpung der Sphäre und der Klassifikation der Immersionen: jede formale Immersion und jede formale Homotopie kann zu einer richtigen Immersion bzw. richtigen regulären Homotopie deformiert werden.

Gromov hatte in seinen Arbeiten Ende der 60er, Anfang der 70er Jahre beobachtet, daß sich sehr viele geometrische Probleme als h-Prinzip auffassen lassen, dazu zählen etwa die Klassifikation von Immersionen und Submersionen, Existenz von Blätterungen, symplektischen Strukturen, Metriken negativer Riccikrümmung etc.pp. Im Vorwort der 1986 erschienenen englischen Ausgabe von “Partial Differential Relations” meinte er, daß sich das h-Prinzip vor allem auf in der Geometrie vorkommende stark unterbestimmte Differential(un)gleichungen anwenden lasse, statt auf die Gleichungen der Physik. (Zitat aus einem anderen Text: “The class of infinitesimal laws subjugated by the homotopy principle is wide, but it does not include most partial differential equations (expressing infinitesimal laws) of physics with a few exceptions in favour of this principle leading to unexpected solutions. In fact, the presence of the h-principle would invalidate the very idea of a physical law as it yields very limited global information effected by the infinitesimal data.”) Letzteres stimmt aus heutiger Sicht sicher nicht mehr so, denn inzwischen spielen h-Prinzipien auch in physikalischen Differentialgleichungen eine Rolle, etwa in den Euler-Gleichungen der Hydrodynamik (siehe diesen aktuellen Preprint von DeLellis und Szekelyhidi) oder in den Arbeiten von Kirchheim, Müller, Sverak über Mikrostrukturen.