On "discrete" solutions of the Euler system of gas dynamics

Stellen Sie sich vor, Sie versuchen, das Wetter vorherzusagen. Sie haben eine riesige, unsichtbare Flüssigkeit, die den Himmel füllt – Luft – die sich bewegt, wirbelt und mit sich selbst zusammenstößt. Wissenschaftler haben einen Satz von Regeln, das Euler-System, das beschreibt, wie sich diese Flüssigkeit verhalten sollte. Man kann sich diese Regeln wie das ultimative Handbuch für einen perfekten, reibungsfreien Tanz vorstellen. In diesem Tanz hat die Luft keine Klebrigkeit (Viskosität) und keinen Wärmeverlust; sie ist ein reiner, idealisierter Fluss. Lange Zeit glaubten Mathematiker, wenn man die Startposition jedes einzelnen Luftmoleküls kennte, würden diese Regeln genau vorschreiben, was als Nächstes passiert, und zwar für immer. Es war, als würde man glauben, dass die Physik garantiert, dass ein Ball auf eine ganz bestimmte, vorhersehbare Weise springt, wenn man ihn fallen lässt.

Es gibt jedoch einen Haken. In der realen Welt können Flüssigkeiten chaotisch werden. Sie können plötzliche, heftige Schocks bilden (wie einen Überschallknall) oder in Chaos versinken. Wenn es so wild wird, versagen die „perfekten“ Regeln manchmal, und die Mathematik wird unscharf. Hier kommt das Konzept der „schwachen Lösungen“ ins Spiel. Anstatt einen perfekten, glatten Tanz für jedes einzelne Molekül zu verlangen, erlauben schwache Lösungen ein gewisses Maß an Unregelmäßigkeit, solange die Gesamtenergie und die Massenbilanz stimmen. Aber hier kommt die Wendung: Jüngste Entdeckungen haben gezeigt, dass die Mathematik bei bestimmten Ausgangsbedingungen nicht nur unscharf wird, sondern auf eine ganz spezifische Weise chaotisch. Es stellt sich heraus, dass für eine riesige Anzahl von Startpunkten die Regeln nicht nur ein Ergebnis zulassen – sie lassen unendlich viele verschiedene Ergebnisse zu, die alle den Gesetzen der Physik zu folgen scheinen. Es ist, als ob man diesen Ball fallen ließe und die Gesetze der Physik sagen würden: „Er könnte nach links, rechts, oben, unten springen oder sich in einen Schmetterling verwandeln, und all das wäre gleichermaßen gültig.“

Diese Arbeit taucht tief in diesen chaotischen Spielplatz ein. Die Autoren, Anna Abbatiello und Eduard Feireisl, untersuchen eine spezielle Art von „wilder“ Lösung des Euler-Systems. Sie zeigen nicht nur, dass multiple Lösungen existieren, sondern konstruieren eine sehr spezifische, fast wie aus Legosteinen zusammengesetzte Art von Lösung, die sie „diskret“ nennen. Stellen Sie sich eine Flüssigkeit vor, die nicht glatt wie Wasser in einem Fluss fließt, sondern statischerweise zwischen einer endlichen Anzahl diskreter, erstarrter Zustände hin- und herspringt, wie ein pixelierter Videospiel-Charakter, der zwischen einigen festen Positionen teleportiert. Die Autoren beweisen, dass man für eine dichte Menge von Anfangsbedingungen eine unendliche Familie dieser „diskreten“ Lösungen erzeugen kann. Noch seltsamer ist, dass diese Lösungen nach Belieben immer mehr Entropie (Unordnung) erzeugen können oder dazu gezwungen werden können, mit der Zeit in ein bestimmtes, vorab gewähltes Muster der Unordnung überzuge-gehen. Die Autoren zeigen, dass das Euler-System selbst dann „schlecht gestellt“ (ill-posed) ist, wenn wir versuchen, streng nach der Physik vorzugehen. Es erlaubt diese bizarren, nicht-eindeutigen und hochgradig steuerbaren Ergebnisse.

Die Geschichte der „pixelierten“ Flüssigkeit

Lassen Sie uns aufschlüsseln, was die Autoren tatsächlich herausgefunden haben. Sie arbeiten mit dem Euler-System, welches das mathematische Modell für ein Gas (wie Luft) ist, das keine Reibung und keinen Wärmeverlust besitzt. Normalerweise erwarten wir, dass die Zukunft bestimmt ist, wenn wir zu Beginn die Dichte (wie dicht das Gas gepackt ist), den Impuls (wie schnell und in welche Richtung es sich bewegt) und die Entropie (ein Maß für Unordnung oder Hitze) kennen. Aber die Autoren zeigen, dass dies für eine massive Sammlung von Startpunkten nicht der Fall ist.

Sie entdeckten einen Weg, Lösungen zu bauen, die „diskret“ sind. In der realen Welt sind Flüssigkeiten kontinuierlich; sie verändern sich glatt. Aber diese Lösungen sind wie ein digitales Bild aus Pixeln. Das Gas fließt nicht glatt; stattdessen existiert es in einer endlichen Anzahl konstanter Zustände. Stellen Sie sich einen Raum voller Gas vor. In einem normalen Szenario könnte das Gas sanft wirbeln. In diesen „diskreten“ Lösungen ist das Gas in einer Ecke plötzlich in Zustand A (einer spezifischen Dichte und Geschwindigkeit), und in der nächsten Ecke ist es in Zustand B. Es vermischt sich nicht; es ist einfach das eine oder das andere. Die Autoren haben bewiesen, dass man für eine dichte Menge von Anfangsbedingungen unendlich viele dieser pixelierten Szenarien erschaffen kann.

Der wirklich verblüffende Teil ist: Diese Lösungen sind nicht einfach zufällig. Die Autoren können sie kontrollieren. Sie zeigten, dass man eine Familie von Lösungen konstruieren kann, bei denen die Menge der Unordnung (Entropie) stetig zunimmt. Es ist, als hätte man eine Maschine, die unendlich viele verschiedene Versionen eines Films generieren kann, wobei in der einen Version die Charaktere etwas unordentlicher werden, in der nächsten noch unordentlicher und so weiter – und das alles unter strikter Einhaltung der Gesetze der Physik.

Darüber hinaus zeigten sie, dass man diese Lösungen dazu zwingen kann, in einen spezifischen „terminalen“ Zustand zu gelangen. Stellen Sie sich vor, Sie möchten, dass das Gas zu einem bestimmten Zeitpunkt in ein ganz spezifisches Muster der Unordnung verfällt. Die Autoren haben bewiesen, dass man eine Lösung konstruieren kann, die genau das tut, egal wie komplex das Endmuster ist (solange es eine „Riemann-integrierbare“ Funktion ist, was eine schicke mathematische Art ist, ein messbares Muster zu beschreiben).

Warum das wichtig ist (und warum es seltsam ist)

Die Autoren sagen im Wesentlichen, dass das Euler-System „schlecht gestellt“ (ill-posed) ist. In der mathematischen Fachsprache bedeutet „gut gestellt“, dass man eine eindeutige Lösung hat, die sich ordentlich aus den Anfangsdaten ergibt. „Schlecht gestellt“ bedeutet, dass die Regeln gebrochen sind. Das Papier beweist, dass selbst wenn man die Regel hinzufügt, dass „die Entropie zunehmen muss“ (dies ist der Zweite Hauptsatz der Thermodynamik, die Regel, die besagt, dass Dinge mit der Zeit unordentlicher werden), das System immer noch unendlich viele verschiedene Zukünfte zulässt.

Dies ist eine große Sache, denn es stellt unser Verständnis darüber infrage, wie Fluide sich verhalten. Wenn die Mathematik unendlich viele Möglichkeiten erlaubt, wie wissen wir dann, welche die „echte“ ist? Die Autoren weisen darauf hin, dass diese „diskreten“ Lösungen wahrscheinlich nicht das sind, was in der realen Welt geschieht. Sie sind „pathologisch“, was bedeutet, dass sie mathematische Monster sind. Sie besitzen seltsame Eigenschaften, wie etwa, dass die Gasdichte ewig gleich bleibt, während die Geschwindigkeit hin und her springt, oder dass das Gas plötzlich stoppt und wieder anfängt, was sich unnatürlich anfühlt.

Das Paper berührt auch die Idee der „Admissibilität“. Wissenschaftler haben versucht, Regeln aufzustellen, um die „echte“ Lösung aus den unendlich vielen falschen herauszufiltern. Beispielsweise schlugen DiPerna und Dafermos vor, dass die „echte“ Lösung diejenige sein sollte, die die meiste Entropie so schnell wie möglich produziert. Die Autoren zeigen, dass ihre „diskreten“ Lösungen diesen Test nicht bestehen. Man kann immer eine andere Lösung finden, die noch mehr Entropie produziert. Dies deutet darauf hin, dass diese diskreten Lösungen in der Tat unphysikalisch sind, aber ihre Existenz beweist, dass die aktuellen Regeln, die wir verwenden, um sie herauszufiltern, nicht stark genug sind, um eine einzige, eindeutige Antwort zu garantieren.

Das Fazenzit

Was ist also der Kern der Sache? Die Autoren haben eine mathematische Maschine gebaut, die unendliche, pixelierte, nicht-eindeutige Lösungen für die Gasflussgleichungen generieren kann. Diese Lösungen können so abgestimmt werden, dass sie immer mehr Unordnung erzeugen oder in ein spezifisches Endmuster übergehen. Während diese Lösungen wahrscheinlich nicht das sind, was wir in der Natur sehen (sie sind zu starr und seltsam), beweist ihre Existenz, dass das Euler-System fundamental gebrochen ist, in dem Sinne, dass es keine eindeutige Antwort liefert, selbst wenn wir versuchen, sehr streng nach den Gesetzen der Physik zu sein. Es ist eine Erinnerung daran, dass in der Welt der Mathematik die Regeln manchmal ein Universum von Möglichkeiten erlauben, und das Finden der „echten“ Lösung erfordert mehr als nur die grundlegenden Gesetze der Bewegung und Energie. Das Paper sagt nicht, dass wir das Wetter nicht vorhersagen können; es sagt, dass, wenn wir uns nur auf die Euler-Gleichungen verlassen, die Mathematik selbst sagt: „Ich weiß nicht, in welche Richtung der Wind wehen wird, denn ich kann ihn auf eine Million verschiedene Arten wehen lassen, und alle sehen richtig aus.“