🔢 mathematics

Density of weak solutions of the fractional Navier-Stokes equations in the smooth divergence-free vector fields

Diese Arbeit erweitert die Ergebnisse zur Nicht-Eindeutigkeit der Navier-Stokes-Gleichungen auf den fraktionalen Fall, indem sie beweist, dass schwache Lösungen mit spezifischer Raum-Zeit-Regularität ( $L^s_t W^{1,q}_x$ ) in dem Raum glatter, divergenzfreier Vektorfelder dicht liegen, und dadurch Nicht-Eindeutigkeit für einen breiten Bereich von Parametern mittels konvexer Integration etabliert.

Ursprüngliche Autoren: Michele Gorini

Veröffentlicht 2026-07-02

📖 7 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Michele Gorini

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Stellen Sie sich eine riesige, unsichtbare Flüssigkeit vor, die in einem kastenartigen Gebilde in Form eines Donuts (Mathematiker nennen dies einen Torus) wirbelt. Diese Flüssigkeit ist Gegenstand eines berühmten Rätsels: der Navier-Stokes-Gleichungen. Diese Gleichungen sind das Regelwerk dafür, wie sich Flüssigkeiten bewegen, und beschreiben alles – vom aufsteigenden Rauch einer Kerze bis hin zum Blutfluss in den Venen. Aber hier liegt der Haken: Während wir wissen, dass diese Regeln existieren, sind wir uns nicht immer sicher, ob sie zu genau einer möglichen Zukunft führen oder ob sie mehrere, gleichermaßen gültige Zukünfte erlauben, die von exakt demselben Punkt aus starten.

Lange Zeit glaubten Mathematiker, dass, wenn man mit einer glatten, ruhigen Flüssigkeit beginnt, die Regeln sie dazu zwingen würden, sich nur auf eine einzige Weise zu entwickeln. Der Mathematiker Michele Gorini hat jedoch bewiesen, dass dies unter bestimmten spezifischen Bedingungen nicht der Fall ist. Seine Arbeit baut auf früheren bahnbrechenden Ergebnissen auf – insbesondere den Techniken von Cheskidov und Luo – und verallgemeinert diese, um zu zeigen, dass man mit einer perfekt glatten Flüssigkeit beginnen und mithilfe eines cleveren mathematischen Tricks ein Szenario konstruieren kann, in dem sich die Flüssigkeit plötzlich in zwei völlig unterschiedliche Pfade aufteilt, von denen beide den Regeln perfekt gehorchen. Es ist wichtig zu betonen, dass dies nicht das erste Ergebnis seiner Art ist; frühere Arbeiten von Forschern wie Schnirelman, De Lellis und Szekelyhidi hatten bereits Nicht-Eindeutigkeiten in diesem Kontext aufgezeigt. Gorinis Beitrag liegt in der Verallgemeinerung und Präzisierung der Bedingungen, unter denen diese Phänomene auftreten.

Der Zaubertrick: Konvexe Integration

Wie hat er das gemacht? Stellen Sie es sich wie ein Spiel von „Whack-a-Mole“ (Hau-den-Maulwurf) mit der Zeit vor.

Stellen Sie sich vor, Sie haben einen glatten, fließenden Fluss. Der Forscher wollte winzige, chaotische Kräuselungen einführen, die schließlich zu einem völlig anderen Fluss heranwachsen würden, aber er musste dies tun, ohne die Gesetze der Physik zu verletzen. Er verwendete eine Technik namens Konvexe Integration.

Stellen Sie sich Folgendes vor: Sie haben eine glatte Scheibe Ton (die Flüssigkeit). Sie möchten mit einer Nadel darauf einstechen, um eine Beule zu erzeugen, aber Sie können sie nicht einfach zertrümmern; Sie müssen sie so falten, dass sie aus der Ferne glatt aussieht, aber in Wirklichkeit voller winziger, verborgener Falten ist.

Das Verkleben: Zuerst nahm er den glatten Fluss und schnitt ihn in winzige Zeitschichten. In der Mitte jeder Schicht klebte er einen „Korrektor“ ein – einen winzigen, schnell beweglichen Wirbel, der die Mathematik für diesen spezifischen Moment korrigiert.
Der scharfe Abbruch: Er verwendete einen „scharfen Abbruch“ (wie einen superschnellen Schalter), um diese Wirbel ein- und auszuschalten. Da der Schalter so schnell ist, existieren die Wirbel nur für einen Bruchteil einer Sekunde. Für einen langsamen Beobachter sieht die Flüssigkeit glatt aus. Aber für einen schnellen Beobachter ist sie ein chaotisches Durcheinander aus winzigen, verborgenen Bewegungen.
Die fraktionale Drehung: Die Arbeit befasst sich mit „fraktionalen“ Navier-Stokes-Gleichungen. Stellen Sie sich vor, die Flüssigkeit hat eine „Reibungs“-Einstellung. In der Standardversion ist die Reibung auf 1 eingestellt. In dieser Arbeit hat er den Reibungsregler auf eine andere Zahl gestellt (genannt $\theta$ ). Er fand heraus, dass man selbst mit dieser anderen Reibungseinstellung den Zaubertrick der Erzeugung mehrerer Zukünfte durchführen kann.

Das „Meta-Theorem“ und die Regeln

Der Autor hat nicht nur ein einzelnes seltsames Beispiel gefunden; er hat ein „Meta-Theorem“ bewiesen. Dies ist wie ein Generalschlüssel, der besagt: „Wenn Sie eine glatte Ausgangsflüssigkeit haben, können Sie immer eine seltsame, nicht-eindeutige Lösung finden, vorausgesetzt, Sie folgen einem bestimmten Satz von Regeln.“

Ein zentraler Punkt dieses Theorems ist die Richtung der Approximation: Die konstruierten „schwachen Lösungen“ sind dicht in der Menge der glatten, divergenzfreien Vektorfelder. Das bedeutet, dass man jedes glatte, ruhige Strömungsfeld beliebig genau durch diese chaotischen, schwachen Lösungen approximieren kann. Es ist nicht so, dass glatte Felder dicht in den schwachen Lösungen liegen, sondern umgekehrt: Die schwachen Lösungen können jede glatte Strömung nachahmen.

Diese Regeln sind ein wenig wie ein Rezept für einen Kuchen, das nur funktioniert, wenn man spezifische Mengen an Mehl und Zucker verwendet. Die Arbeit listet diese Zutaten als mathematische Bereiche auf, wobei die Parameter präzise definiert sind:

Zeitliche Integrabilität ( $s$ und $p$ ): Diese Parameter beschreiben, wie die Lösung über die Zeit in bestimmten Lebesgue-Normen ( $L^p$ und $L^s$ ) verhält. Sie messen nicht die Glattheit, sondern die Integrabilität der Lösung in der Zeit.
Räumliche Integrabilität ( $q$ ): Dies ist ein Exponent für die Lebesgue-Norm im Raum ( $L^q$ ). Er beschreibt, wie die Lösung über den Raum integriert wird, ist aber nicht direkt ein Maß für die Glattheit.
Räumliche Glattheit ( $\gamma$ ): Dies ist der eigentliche Parameter für die räumliche Glattheit (Sobolev-Regularität in $W^{\gamma,q}$ ). Er misst, wie „weich“ oder differenzierbar die Lösung im Raum ist.
Der Bruch ( $\theta$ ): Die Reibungseinstellung.

Die Arbeit beweist, dass, wenn Sie Ihre Zahlen ( $s, p, q, \gamma, \theta$ ) innerhalb bestimmter Bereiche wählen, Sie diese nicht-eindeutigen Lösungen konstruieren können. Sie zeigten sogar, dass diese seltsamen Lösungen für fast die gesamte Zeit glatt (perfekt schön) sind, mit Ausnahme einer winzigen, fast unsichtbaren Menge von Momenten, in denen das Chaos geschieht.

Was sie ausgeschlossen haben (und was nicht)

Es ist entscheidend zu verstehen, was dieses Papier nicht aussagt.

Es sagt NICHT, dass die Flüssigkeit im echten Leben unvorhersehbar ist. Die Lösungen, die er konstruiert hat, sind „schwache Lösungen“. Betrachten Sie diese als mathematische Geister. Sie folgen den Regeln der Gleichung, aber sie sind möglicherweise nicht die physikalischen, „zulässigen“ Lösungen, die die Natur tatsächlich wählt. Die Natur könnte eine verborgene Regel haben, die die Flüssigkeit dazu zwingt, nur einen Pfad zu wählen, selbst wenn die Mathematik zwei zulässt. Das Papier merkt explizit an, dass für „zulässige“ Lösungen die Frage der Eindeutigkeit immer noch ein massives, ungelöstes Rätsel ist.
Korrektur zu „Zulässigkeit“: Ein häufiges Missverständnis ist, dass „zulässige“ Lösungen Energie erhalten. Das ist falsch. Zulässige Lösungen erfüllen eine Energieungleichung, die besagt, dass Energie niemals gewonnen werden darf (keine Energie-Gain). Energie darf dissipieren (abnehmen), aber sie darf nicht aus dem Nichts entstehen. Die konstruierten schwachen Lösungen verletzen diese Bedingung nicht notwendigerweise, aber die Frage, ob die physikalisch relevanten Lösungen (die keine Energie gewinnen) eindeutig sind, bleibt offen.
Es sagt NICHT, dass dies für alle Reibungseinstellungen geschieht. Die Arbeit konzentriert sich auf spezifische Bereiche des fraktionalen Exponenten $\theta$ . Sie behauptet nicht, das Problem für jeden möglichen Wert der Reibung gelöst zu haben.
Es ist KEINE Simulation. Dies ist kein Computermodell, das nahelegt, dass Nicht-Eindeutigkeit auftreten könnte. Dies ist ein strenger mathematischer Beweis. Der Autor hat nicht nur geraten; er hat die Lösungen Schritt für Schritt konstruiert und bewiesen, dass sie existieren.

Das Fazit

Michele Gorini hat bewiesen, dass für die fraktionalen Navier-Stokes-Gleichungen die Tür zu „mehreren Zukünften“ für eine spezifische Klasse mathematischer Lösungen weit offen steht. Er zeigte, dass, wenn man bereit ist, Lösungen zu akzeptieren, die die meiste Zeit glatt sind, aber winzige, verborgene Ausbrüche von Chaos haben, man mit einer ruhigen Flüssigkeit beginnen und mit zwei verschiedenen Ergebnissen enden kann. Seine Arbeit verallgemeinert dabei frühere Erkenntnisse von Cheskidov und Luo und präzisiert die Bedingungen in Bezug auf Integrabilität und Glattheit.

Dennoch bleibt das Papier bei der Aussage stehen, dass dies nicht bedeutet, dass die reale Welt chaotisch ist. Es lässt die Tür offen für die Möglichkeit, dass die „echten“ physikalischen Flüssigkeiten (die zulässigen, also solche ohne Energie-Gain) sich immer noch ordentlich verhalten und nur einen Pfad wählen. Das Rätsel, ob das Universum in der Fluiddynamik wirklich mehrere Zukünfte zulässt, bleibt eine der größten Herausforderungen in der Mathematik, aber dieses Papier hat der Geschichte definitiv ein neues, faszinierendes Kapitel hinzugefügt.

Technische Zusammenfassung: Dichte schwacher Lösungen der fraktionalen Navier-Stokes-Gleichungen in glatten, divergenzfreien Vektorfeldern

Problemstellung
Dieses Paper befasst sich mit dem Problem der Nicht-Eindeutigkeit für schwache Lösungen der fraktionalen Navier-Stokes-Gleichungen auf dem $d$ -dimensionalen Torus $\mathbb{T}^d$ :
$\begin{cases} \partial_t v + \text{div}(v \otimes v) + \nabla p + (-\Delta)^\theta v = 0 \\ \text{div } v = 0 \end{cases}$
wobei $\theta \geq 0$ der fraktionale Dissipationsexponent ist. Während der klassische Fall ( $\theta=1$ ) und die invisziden Euler-Gleichungen (die keinen Dissipationsterm enthalten) signifikante Fortschritte hinsichtlich der Nicht-Eindeutigkeit mittels konvexer Integration erfahren haben, stellt der fraktionale Fall spezifische Herausforderungen dar. Der Fall $\theta=0$ entspricht den fraktionalen Navier-Stokes-Gleichungen mit Exponent 0 und ist nicht mit den Euler-Gleichungen identisch, da der Term $(-\Delta)^0 v = v$ (ein dissipationsähnlicher Term) erhalten bleibt. Das Vorhandensein des fraktionalen Laplace-Terms $(-\Delta)^\theta v$ erschwert die Kontrolle der Reynolds-Spannung, insbesondere beim Versuch, Lösungen mit spezifischen Regularitätseigenschaften in Raum und Zeit zu konstruieren. Es ist jedoch zu beachten, dass die konvexe Integration im Allgemeinen einfacher wird, je niedriger der Wert von $\theta$ ist.

Das primäre Ziel ist es, die Nicht-Eindeutigkeitsergebnisse von Cheskidov und Luo (speziell deren Dichtesatz für $L^1_t W^{1,q}_x$ -Lösungen der klassischen Navier-Stokes-Gleichungen) auf den fraktionalen Fall zu erweitern. Das Paper zielt darauf ab, ein „Meta-Theorem“ zu etablieren, das zeigt, dass glatte, divergenzfreie Vektorfelder beliebig genau durch schwache Lösungen mit vorgegebenen Regularitätsklassen $L^p_t L^\infty_x \cap L^s_t W^{\gamma, q}_x$ approximiert werden können. Die Parameter $p, s, q, \gamma$ sind dabei nicht eindeutig durch den fraktionalen Exponenten $\theta$ bestimmt, sondern unterliegen Einschränkungen und Grenzen, die durch $\theta$ sowie durch die wechselseitigen Abhängigkeiten zwischen den Parametern selbst definiert sind, innerhalb bestimmter Gültigkeitsbereiche.

Methodik
Der Beweis stützt sich auf ein Schema der konvexen Integration, das aus früheren Arbeiten zu den Euler- und Navier-Stokes-Gleichungen adaptiert wurde (insbesondere [2], [4] und [5]). Die Methodik ist in einem iterativen Schema strukturiert, das zwei Hauptschritte umfasst:

Konzentration des Spannungsfehlers (Gluing):
Gegeben sei eine glatte Lösung $(u, R)$ des fraktionalen Navier-Stokes-Reynolds-Systems; das Zeitintervall $[0, T]$ wird in kleine Intervalle $I_i$ unterteilt. Auf jedem Intervall wird ein Korrektor $v_i$ konstruiert, um die Differenzengleichung zentriert um $(u, R)$ zu lösen, wodurch $u + v_i$ effektiv eine exakte Lösung auf $I_i$ wird. Eine scharfe Cutoff-Funktion $\chi_i$ wird auf diese Korrektoren angewendet, um sie zusammenzufügen (zu „gluen“). Dieser Prozess konzentriert den Spannungsfehler $R$ auf die Ränder der Teilintervalle, was zu einer neuen Lösung führt, bei der die Spannung auf einer Menge mit kleiner zeitlicher Maße unterstützt wird. Dieser Schritt stellt sicher, dass die finale Lösung eine singuläre Menge mit kleiner Hausdorff-Dimension besitzt.
Raum-Zeit-Konvexe Integration:
Um die Größe des konzentrierten Spannungsfehlers zu reduzieren, wird eine Störung $w$ zur zusammengefügten Lösung hinzugefügt. Diese Störung wird konstruiert unter Verwendung von:
- Stationären Mikado-Flows: Räumliche Bausteine ( $W_k$ ), die auf periodischen Zylindern unterstützt sind und in [7] eingeführt wurden, welche eine $(d-1)$ -dimensionale räumliche Konzentration ermöglichen.
- Intermittierenden zeitlichen Funktionen: Zeitabhängige Oszillationen ( $g_\kappa, h_\kappa$ ), die die räumlichen Blöcke modulieren.
Die Störung $w$ wird in einen Hauptteil $w^{(p)}$ , einen Korrekturterm $w^{(c)}$ zur Sicherstellung der Inkompressibilität und einen zeitlichen Korrekturterm $w^{(t)}$ zerlegt. Das Design dieser Komponenten balanciert die hochfrequenten räumlichen und zeitlichen Terme gegen die Reynolds-Spannung aus. Ein wesentliches technisches Merkmal dieses Papers ist die Verwendung von „konvexer Integration in der Zeit“, die ein Ausbalancieren von hochfrequenten zeitlichen Termen ermöglicht, ohne zusätzliche Oszillationsbeschränkungen zu erfordern, wodurch die Konstruktion von Lösungen mit spezifischer $L^s_t$ -Regularität ermöglicht wird.

Zentrale Beiträge und Ergebnisse
Das Paper etabliert Theorem 1.2.1, welches eine umfassende Menge von Bedingungen für die Parameter $p, q, s, \gamma, \theta$ (und Dimension $d$ ) liefert, unter denen das Meta-Theorem gilt. Speziell existiert für jedes glatte, divergenzfreie Startfeld eine schwache Lösung $u$ , die in der $L^p_t L^\infty_x \cap L^1_t W^{1,q}_x$ -Topologie $\epsilon$ -nah am Startfeld liegt und dabei Folgendes erfüllt:

$u \in L^p_t L^\infty_x \cap L^s_t W^{\gamma, q}_x$ .
$u$ ist glatt auf einer Vereinigung offener Intervalle $I \subset [0, T]$ , sodass das Komplement (die singuläre Menge) eine Hausdorff-Dimension $\leq \epsilon$ hat.
$u$ stimmt exakt zum Zeitpunkt $t=0$ mit dem Startfeld überein. Für kleine $t > 0$ (in der Nähe von $t=0$ ) stimmt $u$ mit der glatten Lösung überein, die aus dem Anfangswert des glatten Startfeldes hervorgeht, und nicht direkt mit dem Startfeld selbst.

Korollar 1.2.1 detailliert explizit die Gültigkeitsbereiche für diese Parameter. Die Ergebnisse deuten auf einen Trade-off zwischen zeitlicher und räumlicher Regularität hin. Zum Beispiel:

Wenn $\gamma < 1$ , gilt das Meta-Theorem für verschiedene Bereiche von $q$ und $s$ , abhängig von $p$ .
Das Paper stellt frühere Ergebnisse wieder her und erweitert sie, wie etwa die $L^1_t W^{1,q}_x$ -Nicht-Eindeutigkeit für $\theta=1$ (Cheskidov-Luo), und erweitert diese auf fraktionales $\theta$ und unterschiedliche zeitliche Integrabilitätsklassen $L^s_t$ .

Der Beweis beinhaltet eine präzise Parameterwahl (Abschnitt 6), um ein System von Ungleichungen zu erfüllen, die aus den Skalierungsgesetzen der Mikado-Flows und der zeitlichen Oszillationen abgeleitet sind. Die Autoren zeigen, dass für geeignete Wahlen der räumlichen Frequenz $\sigma$ , der zeitlichen Frequenz $\nu$ , der Konzentrationsparameter $\mu, \kappa$ und der Oszillation $\nu$ die Fehlerterme beliebig klein gemacht werden können.

Bedeutung
Das Paper beansprucht, die Landschaft der Nicht-Eindeutigkeit für die fraktionalen Navier-Stokes-Gleichungen zu erweitern. Durch die Verallgemeinerung des Dichteergebnisses von Cheskidov und Luo vom klassischen Fall ( $\theta=1$ ) auf den fraktionalen Fall ( $\theta \in [1/2, 1]$ ) und die Erweiterung der zeitlichen Integrabilität von $L^1_t$ auf $L^s_t$ , zeigt die Arbeit, dass das Hindernis für die Eindeutigkeit nicht allein auf der spezifischen Natur des Laplace-Operators beruht, sondern auch im fraktionalen Regime fortbesteht.

Die Bedeutung liegt in der Fähigkeit, schwache Lösungen zu konstruieren, die fast überall glatt sind (im Sinne der Hausdorff-Dimension), aber dennoch nicht eindeutig sind, selbst wenn sie auf spezifische Sobolev-Regularitätsklassen beschränkt sind. Dies trägt zum Verständnis von Phänomenen des Typs der „Onsager-Vermutung“ in dissipativen Systemen bei und zeigt, dass selbst bei fraktionaler Dissipation die Energie-Ungleichung (Admissibilität) nicht ausreicht, um die Eindeutigkeit für Lösungen mit geringer Regularität zu garantieren. Das Paper beansprucht nicht, die Eindeutigkeit von Leray-Hopf-Lösungen (die die Energie-Ungleichung erfüllen) zu lösen, sondern konzentriert sich auf die breitere Klasse der distributionellen schwachen Lösungen und hebt die Grenzen aktueller Regularitätstheorien bei der Gewährleistung der Eindeutigkeit hervor.

Der Zaubertrick: Konvexe Integration

Das „Meta-Theorem“ und die Regeln

Was sie ausgeschlossen haben (und was nicht)

Das Fazit

Mehr davon