On non-uniqueness of mild solutions and stationary singular solutions to the Navier-Stokes equations

Each language version is independently generated for its own context, not a direct translation.

Hier ist eine einfache Erklärung der wissenschaftlichen Arbeit von Cheskidov und Hou, verpackt in eine Geschichte mit Alltagsanalogien.

Die große Frage: Ist das Wetter vorhersehbar?

Stellen Sie sich vor, Sie wollen das Wetter für morgen vorhersagen. Dazu nutzen Sie ein riesiges mathematisches Modell, die Navier-Stokes-Gleichungen. Diese Gleichungen beschreiben, wie sich Flüssigkeiten (wie Wasser oder Luft) bewegen.

Die große Frage in der Mathematik ist: Wenn wir den Anfangszustand (heute) genau kennen, gibt es dann nur eine mögliche Zukunft (morgen)?

In der klassischen Physik sagen wir: "Ja, wenn ich den Anfang genau kenne, ist das Ergebnis eindeutig." Aber in der Welt der turbulenten Strömungen (wie Wirbelstürme oder ein starker Wind) war das lange Zeit ein Rätsel.

Die Entdeckung: Es gibt zwei verschiedene Zukünfte

Die Autoren dieses Papiers haben etwas Überraschendes entdeckt: Nein, die Zukunft ist nicht immer eindeutig.

Sie haben bewiesen, dass es Situationen gibt, in denen man mit exakt demselben Startzustand zwei völlig verschiedene Strömungen entwickeln kann. Es ist, als würde man einen Würfel werfen und er könnte gleichzeitig "6" und "1" zeigen, je nachdem, wie man die Physik betrachtet.

Wie haben sie das gemacht? (Die "Koch-Rezept"-Methode)

Um das zu beweisen, haben die Autoren keine neuen Gleichungen erfunden, sondern eine spezielle Technik namens "Convex Integration" (konvexe Integration) verwendet.

Stellen Sie sich das wie das Bauen eines Hauses vor:

Der Plan: Sie wollen ein Haus bauen, das stabil ist (die Gleichungen erfüllt).
Der Trick: Anstatt das Haus perfekt zu bauen, fügen Sie absichtlich winzige, kaum sichtbare Fehler hinzu. Diese Fehler sind so klein, dass sie auf den ersten Blick unsichtbar sind, aber sie verändern die Struktur des Hauses fundamental.
Die Wiederholung: Sie machen diesen Prozess immer wieder. In jedem Schritt fügen Sie neue, winzige Fehler hinzu, die immer schneller schwingen (wie ein sehr feines Vibrieren).
Das Ergebnis: Am Ende haben Sie ein "Haus", das mathematisch korrekt ist, aber völlig anders aussieht als das, was man erwarten würde.

In der Sprache der Autoren nennen sie diese Konstruktionen "singuläre stationäre Lösungen". Das klingt kompliziert, bedeutet aber einfach: Es gibt Strömungen, die stillstehen (stationär), aber so chaotisch und unendlich fein strukturiert sind, dass sie in der klassischen Physik als "nicht existierend" oder "unendlich energiereich" gelten würden.

Die Analogie: Der unsichtbare Wirbel

Stellen Sie sich einen ruhigen See vor (das ist Ihr Startzustand).

Die alte Meinung: Wenn Sie einen Stein werfen, gibt es nur eine Art, wie die Wellen sich ausbreiten.
Die neue Entdeckung: Die Autoren zeigen, dass man den Stein so werfen kann (durch die mathematische "Feinjustierung"), dass die Wellen sich auf eine völlig andere, chaotische Art ausbreiten, obwohl der Stein genau gleich geworfen wurde.

Sie haben bewiesen, dass diese "unsichtbaren Wirbel" in vielen verschiedenen mathematischen Räumen existieren, sogar in solchen, die man für "zu glatt" hielt.

Warum ist das wichtig?

Die Grenzen der Vorhersage: Es zeigt, dass unsere Modelle für Flüssigkeiten (wie Wettervorhersagen oder Aerodynamik) in extremen Fällen vielleicht nicht ausreichen. Es gibt mathematisch gesehen "Lücken", in denen die Eindeutigkeit versagt.
Neue Mathematik: Sie haben gezeigt, dass man mit dieser "Fehler-Technik" (Convex Integration) Lösungen finden kann, die man vorher für unmöglich hielt. Das ist wie das Entdecken einer neuen Dimension in der Mathematik.
Für die Zukunft: Auch für verallgemeinerte Versionen dieser Gleichungen (die "fraktionalen" Navier-Stokes-Gleichungen, die in der Physik für andere Arten von Diffusion stehen) haben sie gezeigt, dass diese Unsicherheit überall dort lauert, wo die Strömung sehr unruhig ist.

Zusammenfassung in einem Satz

Die Autoren haben bewiesen, dass die Naturgesetze für fließende Flüssigkeiten nicht immer einen einzigen, eindeutigen Weg vorschreiben; man kann mathematisch konstruierte "Geister-Strömungen" erschaffen, die mit demselben Startpunkt zwei völlig unterschiedliche Geschichten erzählen.

Das Fazit: Die Welt ist mathematisch gesehen etwas chaotischer und weniger vorhersehbar, als wir dachten – zumindest wenn man ganz genau hinschaut.

Each language version is independently generated for its own context, not a direct translation.

Hier ist eine detaillierte technische Zusammenfassung des vorliegenden Papers auf Deutsch:

Titel: ON NON-UNIQUENESS OF MILD SOLUTIONS AND STATIONARY SINGULAR SOLUTIONS TO THE NAVIER-STOKES EQUATIONS
Autoren: Alexey Cheskidov und Hedong Hou

1. Problemstellung und Motivation

Das Paper adressiert das fundamentale Problem der unbedingten Eindeutigkeit (unconditional uniqueness) von milden Lösungen der Navier-Stokes-Gleichungen (NSE) und deren fraktionellen Varianten (NSE $_\alpha$ ).

Kontext: Es ist bekannt, dass die NSE in subkritischen Räumen (z. B. $L^p$ mit $p>d$ ) und in bestimmten kritischen Räumen (wie $L^d$ oder $BMO^{-1}$ ) lokal wohlgestellt sind. In superkritischen Räumen wurde die Nicht-Eindeutigkeit bereits durch Buckmaster und Vicol mittels konvexer Integration gezeigt.
Die Lücke: Bisher fehlte ein Ergebnis zur Nicht-Eindeutigkeit in subkritischen Besov-Räumen mit negativem Regularitätsindex (d. h. Räume, die "schlechter" als $L^d$ sind, aber dennoch unterhalb der kritischen Schwelle liegen).
Ziel: Die Autoren wollen beweisen, dass die Eindeutigkeit der milden Lösungen in allen Besov-Räumen $B^{-\theta}_{q,r}$ mit $\theta > 0$ (negativer Regularität) versagt. Dies wird erreicht durch die Konstruktion nicht-trivialer, stationärer singulärer Lösungen.

2. Methodik: Konvexe Integration und Stationäre Singuläre Lösungen

Die zentrale Methode ist die Konvexe Integration, adaptiert für stationäre Probleme.

Stationäre Singuläre Lösungen: Anstatt direkt zeitabhängige Lösungen zu konstruieren, konstruieren die Autoren stationäre Lösungen $u$ der Gleichung
$\text{div}(u \otimes u) + (-\Delta)^\alpha u + \nabla p = 0$
Diese Lösungen sind "singulär", da sie nicht in $L^2$ liegen und das Tensorprodukt $u \otimes u$ nicht in $L^1$ definiert ist. Stattdessen wird $u \otimes u$ als Paraprodukt im Raum der Distributionen (modulo Konstanten) definiert.
Verbindung zu milden Lösungen: Ein zentrales Ergebnis (Proposition 1.4) zeigt, dass jede solche stationäre singuläre Lösung $u$ eine milde Lösung der zeitabhängigen NSE mit Anfangsdaten $u(0)=u$ ist. Da die triviale Lösung $u(t) \equiv u$ (konstant in der Zeit) ebenfalls eine milde Lösung ist, aber eine glatte Lösung (die durch lokale Wohlgestelltheit existiert) ebenfalls existiert, folgt die Nicht-Eindeutigkeit.
Iteratives Verfahren: Die Konstruktion erfolgt durch ein iteratives Verfahren (Reynolds-Spannungs-System). Ausgehend von einer glatten Näherungslösung $(u, R)$ wird eine Geschwindigkeitsstörung $w$ hinzugefügt, um den Reynolds-Spannungs-Tensor $R$ in jedem Schritt zu verkleinern, während die Lösung in gewünschten Räumen konvergiert.
Bausteine: Als fundamentale Bausteine dienen Mikado-Flows (von Daneri und Székelyhidi eingeführt), die lokalisierte, divergenzfreie Vektorfelder sind.
Parameter-Steuerung: Die Konstruktion nutzt sorgfältig abgestimmte Parameter für Frequenz ( $\lambda, \sigma$ ), Konzentration ( $\mu$ ) und Oszillation ( $\gamma$ ), um die Fehlerterme (Reynolds-Spannung) kontrolliert gegen Null zu drücken, während die Lösung in den gewünschten negativen Sobolev- oder Besov-Räumen bleibt.

3. Wichtige Beiträge und Ergebnisse

Die Hauptergebnisse des Papers lassen sich wie folgt zusammenfassen:

A. Versagen der unbedingten Eindeutigkeit (Theorem 1.1 & 1.2)

Die Autoren beweisen, dass für die NSE ( $\alpha=1$ ) und die fraktionellen NSE ( $\alpha > 1/2$ ) die unbedingte Eindeutigkeit in allen Besov-Räumen $B^{-\theta}_{q,r}$ mit $\theta > 0$ (negativer Regularität) versagt.

Für jedes $\epsilon > 0$ existiert eine Anfangsbedingung $u_{in}$ mit $\|u_{in}\| < \epsilon$ , für die es zwei verschiedene milde Lösungen gibt.
Dies ist das erste Ergebnis dieser Art für subkritische Lösungsräume.

B. Existenz nicht-trivialer stationärer singulärer Lösungen (Theorem 1.5)

Es wird gezeigt, dass es unendlich viele stationäre singuläre Lösungen gibt, die in allen Besov-Räumen mit negativer Regularität liegen:
$u \in \bigcap_{1 \le p < 2} L^p(\mathbb{T}^d) \cap \bigcap_{\theta > 0, q, r} B^{-\theta}_{q,r}(\mathbb{T}^d)$

Für $\alpha < (d+1)/4$ existieren solche Lösungen sogar in $L^2(\mathbb{T}^d)$ , was zu einer Nicht-Eindeutigkeit schwacher Lösungen in $L^2$ führt (Korollar 1.6).

C. Eindeutigkeit in einem kritischen Endpunkt (Theorem 1.7)

Im Gegensatz zu den negativen Ergebnissen oben beweisen die Autoren eine Eindeutigkeit für stationäre Lösungen in einem spezifischen kritischen Raum:

Es existiert keine nicht-triviale stationäre Lösung in $B^{-1}_{\infty,1}(\mathbb{T}^d)$ (für $\alpha=1$ ).
Dies verbessert frühere Ergebnisse von Lemarié-Rieusset und zeigt, dass die Nicht-Eindeutigkeit spezifisch für Räume mit "schlechterer" Regularität ist, während in diesem speziellen kritischen Endpunkt Eindeutigkeit herrscht.

D. Fraktionale Navier-Stokes-Gleichungen

Die Ergebnisse werden auf die fraktionellen NSE mit beliebig großem $\alpha$ verallgemeinert.

Für $\alpha > (d+2)/4$ wird gezeigt, dass die Eindeutigkeit auch in $L^p$ für $1 \le p < 2$ versagt.
Es wird eine untere Schranke für den Bereich der lokalen Wohlgestelltheit in negativen Besov-Räumen hergeleitet ( $\theta_{\alpha, \infty} \ge \alpha - 1/2$ ), was die Schärfe bestehender Schranken für $\alpha \to \infty$ demonstriert.

4. Signifikanz und Bedeutung

Paradigmenwechsel: Das Paper stellt einen wichtigen Meilenstein dar, da es die Nicht-Eindeutigkeit von NSE-Lösungen erstmals in subkritischen Räumen (die traditionell als "gutartig" galten) nachweist. Es zeigt, dass die Regularität der Anfangsdaten allein nicht ausreicht, um Eindeutigkeit zu garantieren, sobald die Regularität negativ ist.
Technische Innovation: Die Konstruktion von stationären singulären Lösungen mittels konvexer Integration ist eine elegante Methode, um Nicht-Eindeutigkeit für zeitabhängige Probleme zu beweisen. Die Definition des Tensorprodukts als Paraprodukt in Distributionen ist entscheidend für die Behandlung von Lösungen mit unendlicher Energie.
Kritische Grenzen: Die Arbeit grenzt präzise ein, wo Eindeutigkeit möglich ist (kritischer Endpunkt $B^{-1}_{\infty,1}$ ) und wo sie unmöglich ist (alle Räume mit negativer Regularität). Dies trägt wesentlich zum Verständnis der Struktur der Lösungsräume der Navier-Stokes-Gleichungen bei.
Verallgemeinerung: Die Ergebnisse gelten nicht nur für die klassische NSE, sondern auch für fraktionale Modelle mit beliebiger Dissipation, was die Robustheit der Methode unterstreicht.

Zusammenfassend widerlegt dieses Paper die Vermutung, dass subkritische Räume automatisch Eindeutigkeit garantieren, und etabliert die Existenz einer Vielzahl pathologischer Lösungen (singulär, stationär) als Quelle für die Nicht-Eindeutigkeit in einem breiten Spektrum von Funktionräumen.