Schwache, starke und glatte Lösungen der Navier-Stokes-Gleichungen

Die globale Regularität der ungetriebenen 3D-Navier–Stokes-Gleichungen bleibt offen: Die angekündigte Konstruktion mit äußerer Kraft entscheidet sie nicht. In der folgenden technischen Darstellung beziehen sich offene Regularitäts- und Eindeutigkeitsfragen auf das System ohne äußere Kraft, sofern kein anderer Rahmen ausdrücklich genannt wird.

Globale schwache und globale glatte Existenz sind verschiedene Ergebnisse. Lerays Satz liefert schwache Lösungen für Daten mit endlicher Energie; für glatte ungetriebene 3D-Daten bleibt globale Glattheit ungeklärt. Clay berücksichtigt sowohl Existenz ohne Kraft als auch Zusammenbruch mit zulässiger Kraft. Siehe auch: Millennium-Preis

Was also ist eine schwache Lösung? Sie ist keine Approximation. Sie ist nicht „fast richtig“. Sie ist eine exakte Lösung der Gleichungen, allerdings eine, die nach gelockerten Regeln spielt. Eine normale („klassische“) Lösung verlangt, dass die Geschwindigkeit glatt genug ist, sodass man ihre Änderungsrate an jedem einzelnen Punkt berechnen kann. Eine schwache Lösung verzichtet auf diese Anforderung. Statt die Gleichungen Punkt für Punkt zu prüfen, prüft man sie „im Mittel“ über Raumbereiche hinweg.

Hier ist eine Analogie. Eine klassische Lösung ist ein Schüler, der jede Prüfungsaufgabe löst, indem er jeden Rechenschritt zeigt. Eine schwache Lösung ist ein Schüler, der Ihnen die Zwischenschritte nicht zeigen kann, dessen Endergebnisse aber für jede mögliche Frage, die Sie stellen könnten, nachweislich korrekt sind. Sie können ihm nicht beim Arbeiten zusehen, aber die Antworten stimmen immer.

Warum sollte man das akzeptieren? Weil die Gleichungen manchmal zu wild für klassische Lösungen sind. Das Fluid könnte Bereiche entwickeln, in denen sich die Geschwindigkeit so scharf ändert, dass man dort schlicht keine Änderungsrate berechnen kann. Die Mathematik bricht zusammen. Schwache Lösungen erlauben es, dort weiterzumachen, wo klassische Lösungen aufgeben. Sie sind das Sicherheitsnetz, das die Gleichungen am Leben hält, wenn es schwierig wird.

Distributionelle schwache Lösungen können auch ohne äußere Kraft nicht eindeutig sein: Buckmaster–Vicol konstruierten Beispiele mit endlicher Energie außerhalb der Leray–Hopf-Klasse. Lerays globaler Existenzsatz für $L^2$-Daten liefert die engere Leray–Hopf-Klasse, die auch die Energieungleichung erfüllt. Eindeutigkeit und Glattheit für glatte ungetriebene 3D-Daten bleiben innerhalb dieser Klasse offen, nicht als Äquivalenz für sämtliche distributionellen Lösungen. Siehe auch: Millennium-Preis

September 2026: OpenAI kündigt 3D-Blowup mit glatter Kraft an (Clay C/D); Clay spricht von einer offenbar gefundenen Lösung. Prüfung und Preisvergabe sind getrennt. Datierter Stand und Quellen.

Die globale Regularität der ungetriebenen 3D-Navier–Stokes-Gleichungen bleibt offen: Die angekündigte Konstruktion mit äußerer Kraft entscheidet sie nicht. In der folgenden technischen Darstellung beziehen sich offene Regularitäts- und Eindeutigkeitsfragen auf das System ohne äußere Kraft, sofern kein anderer Rahmen ausdrücklich genannt wird.

Eine schwache Lösung der Navier-Stokes-Gleichungen ersetzt die punktweise PDE durch eine distributionelle Formulierung. Betrachten wir das inkompressible System auf $\mathbb{R}^3 \times (0,T)$:

$$\partial_t u + (u \cdot \nabla)u = -\nabla p + \nu \Delta u, \qquad \nabla \cdot u = 0.$$

Ein divergenzfreies Vektorfeld $u \in L^2_{\mathrm{loc}}(\mathbb{R}^3 \times [0,T))$ ist eine schwache Lösung, wenn für jede glatte, kompakt getragene, divergenzfreie Testfunktion $\varphi$:

$$\int_0^T \!\int_{\mathbb{R}^3} \bigl[-u \cdot \partial_t \varphi - (u \otimes u) : \nabla \varphi - \nu \, u \cdot \Delta \varphi \bigr] \, dx \, dt = \int_{\mathbb{R}^3} u_0 \cdot \varphi(x,0) \, dx.$$

Der Druck verschwindet aus dieser Formulierung, weil $\varphi$ divergenzfrei ist. Alle Ableitungen wurden von $u$ weg und auf $\varphi$ mittels partieller Integration übertragen. Der Punkt ist: $u$ muss nicht klassisch differenzierbar sein. Es muss nur hinreichend integrierbar sein, damit diese Integrale konvergieren.

Die schwache Formulierung ist keine Approximation. Eine klassische Lösung, die die PDE punktweise erfüllt, erfüllt auch die schwache Formulierung für jede Testfunktion (durch partielle Integration in die andere Richtung). Die Umkehrung gilt nicht: Eine schwache Lösung muss nicht glatt genug sein, um die PDE punktweise zu erfüllen.

Distributionelle schwache Lösungen können auch ohne äußere Kraft nicht eindeutig sein: Buckmaster–Vicol konstruierten Beispiele mit endlicher Energie außerhalb der Leray–Hopf-Klasse. Lerays globaler Existenzsatz für $L^2$-Daten liefert die engere Leray–Hopf-Klasse, die auch die Energieungleichung erfüllt. Eindeutigkeit und Glattheit für glatte ungetriebene 3D-Daten bleiben innerhalb dieser Klasse offen, nicht als Äquivalenz für sämtliche distributionellen Lösungen. Siehe auch: Clay-Millennium-Problem

September 2026: OpenAI kündigt 3D-Blowup mit glatter Kraft an (Clay C/D); Clay spricht von einer offenbar gefundenen Lösung. Prüfung und Preisvergabe sind getrennt. Datierter Stand und Quellen.

1934 tat Jean Leray etwas, das das Gebiet bis heute prägt. In einer einzigen 73-seitigen Arbeit bewies er, dass schwache Lösungen der 3D-Navier-Stokes-Gleichungen für alle Zeiten existieren, ausgehend von jeder vernünftigen Anfangsströmung. Jeder. Solange die Anfangsgeschwindigkeit nicht unendlich energiereich oder physikalisch unsinnig ist, garantiert Leray, dass man eine Lösung erhält, die ewig fortbesteht. Das war das erste Mal, dass jemand ein globales Existenzresultat für die 3D-Gleichungen bewies, und über neunzig Jahre später ist es immer noch der stärkste unbedingte Existenzsatz, den wir haben.

Seine Strategie war geschickt. Die eigentlichen Gleichungen sind zu unangenehm, um direkt gelöst zu werden, weil die Geschwindigkeit des Fluids auf sich selbst zurückwirkt (das ist die Nichtlinearität). Also glättete Leray die Gleichungen leicht, so als würde man einem Bild einen winzigen Gauß-Filter hinzufügen. Die geglätteten Gleichungen sind zahm genug, um gelöst zu werden. Dann ließ er die Glättung gegen null gehen und zeigte, dass die Lösungen nicht auseinanderfliegen. Sie konvergieren zu etwas, das die ursprünglichen, ungeglätteten Gleichungen im schwachen Sinn erfüllt.

Aber hier ist, was Leray NICHT bewies. Eindeutigkeit. Seine Methode liefert mindestens eine schwache Lösung, aber es könnte andere geben, die von derselben Strömung ausgehen. Das konnte er nicht ausschließen. Er bewies auch keine Glattheit. Seine Lösungen haben endliche Energie und erfüllen eine Energieungleichung: Reibung kann Energie abführen, aber Energie kann nicht spontan aus dem Nichts entstehen. Das ist alles. Nicht mehr.

Leray selbst vermutete, dass sich Singularitäten bilden könnten. Er skizzierte, wie eine solche aussehen könnte: Das Fluid kollabiert immer schneller auf einen Punkt zu und konzentriert seine gesamte Energie in einem immer kleineren Bereich, wie ein Wirbel, der mit unendlicher Geschwindigkeit auf einen Punkt schrumpft. 1996 bewiesen Nečas, Růžička und Šverák, dass genau dieser selbstähnliche Kollaps nicht stattfinden kann. Lerays Vermutung über die Form eines möglichen Blow-up war falsch. Ob Blow-up überhaupt, in irgendeiner Form, auftritt? Niemand weiß es.

1951 erweiterte Eberhard Hopf Lerays Konstruktion auf Fluide in beschränkten Behältern (nicht nur im gesamten unendlichen Raum), und die daraus resultierende Klasse wurde bekannt als Leray-Hopf-schwache Lösungen: schwache Lösungen, die die Energieungleichung erfüllen. Dies ist der Standardbegriff. Wenn Forschende ohne weitere Qualifikation von „schwachen Lösungen“ sprechen, meinen sie fast immer dies.

Noch etwas. Selbst innerhalb der Leray-Hopf-schwachen Lösungen gibt es eine wählerischere Unterklasse, die geeignete schwache Lösungen genannt wird. Diese erfüllen die Energieungleichung nicht nur global (die Gesamtenergie wächst nicht). Sie erfüllen sie auch lokal: Energie kann sich nicht heimlich in einer Ecke des Fluids anhäufen, während sie aus einer anderen abfließt. Caffarelli, Kohn und Nirenberg (CKN) bewiesen 1982 ihr berühmtes Resultat zur partiellen Regularität speziell für diese kleinere Klasse. Verwechseln Sie die beiden nicht: CKN gilt für geeignete schwache Lösungen, nicht für alle Leray-Hopf-Lösungen.

Lerays Arbeit von 1934 etablierte Folgendes: Für jedes divergenzfreie $u_0 \in L^2(\mathbb{R}^3)$ existiert mindestens eine schwache Lösung $u$ der Navier-Stokes-Gleichungen auf $\mathbb{R}^3 \times (0,\infty)$, die erfüllt:

• $u \in L^\infty(0,\infty; L^2(\mathbb{R}^3)) \cap L^2(0,\infty; \dot{H}^1(\mathbb{R}^3))$
• Die Energieungleichung: $\|u(t)\|_{L^2}^2 + 2\nu \int_0^t \|\nabla u(s)\|_{L^2}^2 \, ds \leq \|u_0\|_{L^2}^2$ für fast alle $t > 0$

Die Konstruktion erfolgt durch Mollifizierung. Ersetze die Nichtlinearität $(u \cdot \nabla)u$ durch $(u_\varepsilon \cdot \nabla)u$, wobei $u_\varepsilon = J_\varepsilon * u$ eine räumliche Mollifizierung ist. Das regularisierte System besitzt globale glatte Lösungen (die Mollifizierung beseitigt das Schlimmste der nichtlinearen Wechselwirkungen). Leray erhielt gleichmäßige Energieschranken für die regularisierten Lösungen und extrahierte dann eine schwach konvergente Teilfolge. Der Grenzwert erfüllt die schwache Formulierung und die Energieungleichung.

Leray stellte keine Eindeutigkeit her. Das Kompaktheitsargument liefert die Existenz mindestens eines Häufungspunktes; verschiedene Teilfolgen könnten gegen verschiedene Grenzwerte konvergieren. Die Eindeutigkeit von Leray-Hopf-schwachen Lösungen in 3D ist bis heute offen.

Hopf (1951) passte die Konstruktion an beschränkte Gebiete $\Omega \subset \mathbb{R}^3$ mit Dirichlet-Randbedingungen an und verwendete dabei Galerkin-Approximation (Projektion auf endlichdimensionale Teilräume) statt Mollifizierung. Die daraus resultierende Klasse, schwache Lösungen, die die Energieungleichung erfüllen, trägt beide Namen: Leray-Hopf-schwache Lösungen.

Der Satz von Caffarelli-Kohn-Nirenberg (1982) betrifft eine restriktivere Klasse: geeignete schwache Lösungen, die zusätzlich eine lokale Energieungleichung der Form erfüllen

$$\partial_t \left(\frac{|u|^2}{2}\right) + \nabla \cdot \left(\left(\frac{|u|^2}{2} + p\right)u\right) + \nu |\nabla u|^2 \leq \nu \Delta \left(\frac{|u|^2}{2}\right)$$

im Sinne von Distributionen. CKN bewiesen, dass für jede geeignete schwache Lösung das eindimensionale parabolische Hausdorff-Maß der singulären Menge in der Raumzeit null ist. Das bedeutet, dass Singularitäten, falls sie existieren, extrem spärlich sind (sie haben eindimensionales parabolisches Hausdorff-Maß null). Aber der Satz sagt nichts darüber aus, ob Singularitäten tatsächlich auftreten, und er gilt nur für geeignete schwache Lösungen, nicht für alle Leray-Hopf-Lösungen.

Leray selbst zog die Möglichkeit eines selbstähnlichen Blow-up der Form $u(x,t) = (T-t)^{-1/2} U(x / (T-t)^{1/2})$. Nečas, Růžička und Šverák (1996) bewiesen, dass kein solcher selbstähnlicher Blow-up für Lösungen in $L^3(\mathbb{R}^3)$ existiert, und Tsai (1998) schloss bestimmte asymptotisch selbstähnliche Blow-up-Szenarien unter entsprechenden Voraussetzungen aus. Die Form möglicher Singularitäten, falls es welche gibt, bleibt unbekannt.

Globale schwache Lösungen existieren; Glattheit und Eindeutigkeit in der ungetriebenen 3D-Leray–Hopf-Klasse bleiben zentrale Fragen.

Ja, aber nur vorübergehend. Starke Lösungen sind die Verbesserung: Sie haben genug Regularität, damit die Gleichungen fast überall gelten, nicht nur „im Mittel“. Glatte oder klassische Lösungen sind diejenigen, bei denen die Gleichungen punktweise gelten. Für glatte Anfangsdaten in 3D existieren starke Lösungen für kurze Zeit. Wie kurz? Das hängt davon ab, wie wild die Anfangsströmung ist. Ruhige, sanfte Strömungen bekommen längere Garantien. Heftige, turbulente Anfangsbedingungen? Mikrosekunden.

Und niemand kann beweisen, dass diese starken Lösungen nicht irgendwann einen Blow-up entwickeln.

Serrins bedingtes Regularitätskriterium gilt für schwache Leray–Hopf-Lösungen: Seine Integrabilitätsbedingung impliziert Glattheit. Schwach-starke Eindeutigkeit besagt, dass jede Leray–Hopf-Lösung mit denselben Daten während des Existenzintervalls mit der starken Lösung übereinstimmt. Sie bedeutet keine Eindeutigkeit unter allen distributionellen Lösungen.

Dies ist ein bedingtes Resultat. WENN die Lösung nicht zu wild ist, DANN ist sie vollkommen gutartig. Die ganze Schwierigkeit besteht darin, das WENN zu beweisen.

Im zweidimensionalen System ohne äußere Kraft sind Leray–Hopf-Lösungen mit glatten Daten global glatt und eindeutig. In drei Dimensionen liefert die Energieschranke allein diese Kontrolle nicht. Siehe auch: zwei Dimensionen

Forscher haben auch andere bedingte Tests gefunden, jeder mit einem anderen Angriffswinkel: „Beweise diese eine spezifische Sache über die Lösung, und ich gebe dir Glattheit umsonst.“ Einen einzigen davon unbedingt zu beweisen würde das globale Regularitätsfrage ohne äußere Kraft lösen. Niemandem ist das gelungen. Für einen Überblick über die verschiedenen Beweisstrategien, die versucht wurden, gibt es eine ganze Seite dazu.

Eine starke Lösung der Navier-Stokes-Gleichungen ist eine mit genügend Regularität, sodass die PDE punktweise (fast überall) gilt und der nichtlineare Term $(u \cdot \nabla)u$ als Funktion wohldefiniert ist und nicht bloß als Distribution. Typischerweise bedeutet dies $u \in L^\infty(0,T; H^1(\mathbb{R}^3)) \cap L^2(0,T; H^2(\mathbb{R}^3))$. Ein verwandter, aber anderer Rahmen ist Fujita-Kato (1964), der lokale milde Lösungen in kritischen Räumen konstruiert.

Die lokale Existenz starker Lösungen für hinreichend reguläre Sobolev-Daten ist gut etabliert. In kritischen Räumen konstruiert der Fujita-Kato-Rahmen (1964) lokale milde Lösungen mittels eines Fixpunktarguments:

$$u(t) = e^{\nu t \Delta} u_0 - \int_0^t e^{\nu(t-s)\Delta} \mathbb{P} \nabla \cdot (u \otimes u)(s) \, ds,$$

wobei $\mathbb{P}$ die Leray-Projektion auf divergenzfreie Felder ist. Diese Integralgleichung hat nach dem Banachschen Fixpunktsatz in geeigneten Funktionenräumen eine eindeutige lokale Lösung. Für kleine Daten in kritischen Räumen ($L^3$, $\dot{H}^{1/2}$, $BMO^{-1}$) ist die Lösung global.

Die Frage ist, ob starke Lösungen zu großen Daten für alle Zeiten fortbestehen. Das zentrale bedingte Resultat stammt von Serrin (1962): Wenn eine schwache Leray-Hopf-Lösung $u \in L^p(0,T; L^q(\mathbb{R}^3))$ mit

$$\frac{2}{p} + \frac{3}{q} \leq 1, \qquad q > 3,$$

erfüllt, dann ist $u$ glatt auf $(0,T] \times \mathbb{R}^3$ und ist die eindeutige schwache Leray-Hopf-Lösung mit den gegebenen Anfangsdaten. Diese heißen die Prodi-Serrin-Bedingungen (Prodi 1959 bewies ein verwandtes Resultat).

Der Endpunkt $q = 3$ ($p = \infty$) wurde von Escauriaza, Seregin und Šverák (2003) geklärt: Wenn $u \in L^\infty(0,T; L^3(\mathbb{R}^3))$, dann entwickelt $u$ keinen Blow-up zur Zeit $T$. Dies ist der Endpunkt der Prodi-Serrin-Skala und eines der schärfsten bekannten Fortsetzungskriterien.

In zwei Dimensionen liefert die Energieabschätzung $u \in L^\infty_t L^2_x \cap L^2_t H^1_x$ zusammen mit der Ladyzhenskaya-Ungleichung $\|f\|_{L^4}^2 \leq C\|f\|_{L^2}\|\nabla f\|_{L^2}$ (spezifisch für 2D) $u \in L^4_t L^4_x$, was die Serrin-Bedingung $2/4 + 2/4 = 1$ (in der 2D-Version mit $2/p + 2/q \leq 1$) erfüllt. In 3D liefert die Energieabschätzung $u \in L^{10/3}_t L^{10/3}_x$ durch Sobolev-Einbettung, was $2/(10/3) + 3/(10/3) = 3/2 > 1$ erfüllt. Die Serrin-Bedingung scheitert genau um den Abstand, der der Superkritikalitätslücke entspricht. Siehe Warum Navier-Stokes schwierig ist für mehr zu diesem strukturellen Hindernis.

Glatte Lösungen sind der Goldstandard. Das Geschwindigkeitsfeld ist überall und für alle Zeiten vollkommen gutartig. Keine plötzlichen Sprünge. Keine unendlichen Geschwindigkeiten. Zoomen Sie beliebig weit hinein, und die Lösung bleibt einfach schön.

Die Existenzalternativen A/B ohne äußere Kraft fragen, ob alle zulässigen glatten Anfangsdaten eine globale glatte Lösung im ganzen Raum beziehungsweise in periodischer Geometrie erzeugen. Dies ist nur ein Teil von Clays Formulierung: C/D erlauben zulässige glatte Kräfte in Zusammenbruchskonstruktionen. Siehe auch: Clay-Millennium-Problem

Für ungetriebene 3D-Navier–Stokes sind weder globale Regularität für alle zulässigen glatten Daten noch ein Blowup-Beispiel aus solchen Daten nachgewiesen. Die angekündigte Konstruktion mit Kraft für C/D beantwortet diese verbleibende Frage nicht.

Kurzfristig? In Ordnung. Für glatte Anfangsdaten erzeugen die Gleichungen für eine gewisse Zeitspanne tatsächlich eine glatte Lösung. Die Flüssigkeit beginnt sich zu bewegen, die Mathematik funktioniert, alles ist sauber. Aber was passiert später? Bleibt die Lösung für immer glatt, oder erreicht sie einen Punkt, an dem die Geschwindigkeit ins Unendliche schießt?

Glatt $\Rightarrow$ stark $\Rightarrow$ schwach, aber die Eindeutigkeitsaussage ist eingeschränkt: Eine glatte Lösung ist während ihrer Existenz die einzige schwache Leray–Hopf-Lösung mit denselben Daten. Globale Regularität würde diese Lösungen innerhalb der Leray–Hopf-Klasse identifizieren, nicht alle distributionellen Lösungen. Dies ist die verbleibende ungetriebene Regularitätsfrage, nicht das gesamte Clay-Problem oder eine Garantie für einen weiteren Preis.

Clay verlangt einen Beweis für eine von vier Alternativen, nicht für alle vier: (A) globale glatte Existenz ohne äußere Kraft auf R³; (B) globale glatte Existenz ohne äußere Kraft auf dem periodischen Torus T³; (C) Zusammenbruch auf R³, wobei zulässige glatte Kräfte erlaubt sind; (D) periodischer Zusammenbruch, wobei zulässige glatte Kräfte erlaubt sind. A/B betreffen alle zulässigen Anfangsdaten; C/D verlangen ein zulässiges Gegenbeispiel. Ein Zusammenbruch mit Kraft widerlegt A/B nicht.

Alternative A von Clay (Fefferman 2000), mit $f=0$, fragt: für jedes divergenzfreie $u_0 \in C^\infty(\mathbb{R}^3)$ erfüllend $|\partial^\alpha u_0(x)| \leq C_{\alpha K}(1 + |x|)^{-K}$ für alle $\alpha, K$, existiert dann $u \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ und $p \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ die Navier-Stokes-Gleichungen erfüllend mit $\int_{\mathbb{R}^3} |u(x,t)|^2 \, dx < C$ für alle $t \geq 0$?

Ein Zusammenbruch ohne äußere Kraft würde bedeuten, ein $u_0$ in der obigen Klasse zu finden, für das bei $f=0$ keine solche globale glatte Lösung mit beschränkter Energie existiert. Dies bleibt eine Forschungsmöglichkeit und ist nicht Clays Alternative B.

Was bekannt ist:

• Lokale Existenz: Für $u_0 \in H^s(\mathbb{R}^3)$, $s \geq 1/2$, existiert eine eindeutige lokale milde/starke Lösung auf $[0,T^*)$ für ein $T^* > 0$ in Abhängigkeit von $\|u_0\|_{H^s}$, und sie ist für jede positive Zeit glatt $t > 0$. Falls $T^* < \infty$, dann gilt $\|u(t)\|_{H^s} \to \infty$ für $t \to T^*$.
• Globale Existenz für kleine Daten: Falls $\|u_0\|_{\dot{H}^{1/2}}$ (oder $\|u_0\|_{L^3}$, oder $\|u_0\|_{BMO^{-1}}$) kleiner als eine universelle Konstante ist, ist die Lösung global und glatt. Wichtige Referenzen: $\dot{H}^{1/2}$ (Fujita-Kato 1964), $BMO^{-1}$ (Koch-Tataru 2001), mit analogen Ergebnissen in $L^3$ (Kato 1984).
• Schwach-starke Eindeutigkeit: Falls eine starke Lösung auf $[0,T]$ existiert, dann stimmt jede schwache Leray-Hopf-Lösung mit denselben Anfangsdaten auf $[0,T]$ mit ihr überein. Dies wurde von Serrin (1962) gezeigt und durch spätere Arbeiten verfeinert. Das bedeutet: Der Nachweis von Regularität klärt auch die Eindeutigkeit innerhalb der Leray-Hopf-Klasse.

Glatt $\Rightarrow$ stark $\Rightarrow$ schwach, aber die Eindeutigkeitsaussage ist eingeschränkt: Eine glatte Lösung ist während ihrer Existenz die einzige schwache Leray–Hopf-Lösung mit denselben Daten. Globale Regularität würde diese Lösungen innerhalb der Leray–Hopf-Klasse identifizieren, nicht alle distributionellen Lösungen. Dies ist die verbleibende ungetriebene Regularitätsfrage, nicht das gesamte Clay-Problem oder eine Garantie für einen weiteren Preis. Siehe auch: globale Regularitätsfrage ohne äußere Kraft

Clay verlangt einen Beweis für eine von vier Alternativen, nicht für alle vier: (A) globale glatte Existenz ohne äußere Kraft auf R³; (B) globale glatte Existenz ohne äußere Kraft auf dem periodischen Torus T³; (C) Zusammenbruch auf R³, wobei zulässige glatte Kräfte erlaubt sind; (D) periodischer Zusammenbruch, wobei zulässige glatte Kräfte erlaubt sind. A/B betreffen alle zulässigen Anfangsdaten; C/D verlangen ein zulässiges Gegenbeispiel. Ein Zusammenbruch mit Kraft widerlegt A/B nicht.

Wenn schwache Lösungen existieren und das Fluid beschreiben, warum sollte sich dann jemand für Glattheit interessieren?

Drei Gründe.

Erstens: Eindeutigkeit. Die Physik verlangt eine einzige Antwort. Gib mir den Anfangszustand eines Fluids, und ich sollte dir genau sagen können, was es als Nächstes tut. Nicht: „Hier sind mehrere Möglichkeiten, such dir eine aus.“ Schwache Lösungen garantieren das aber nicht. Aus derselben Anfangsströmung könnten mehrere schwache Lösungen hervorgehen, ohne dass man entscheiden könnte, welcher die reale Flüssigkeit folgt. Die Gleichungen würden zu einer Speisekarte statt zu einem Rezept. Das ist keine Physik.

Zweitens: numerische Zuverlässigkeit. Viele wichtige Strömungssimulationen beruhen auf Navier-Stokes oder eng verwandten Modellen: Wettervorhersagen, Aerodynamik, Blutfluss durch Arterien und mehr. Verfeinert man das Gitter, sollte die Simulation gegen die wahre Antwort konvergieren. Ohne eine Glattheits- und Eindeutigkeitsgarantie? Kein Satz besagt, dass das in jedem 3D-Szenario tatsächlich geschieht. Die Simulationen funktionieren. Wir können nicht vollständig erklären, warum.

Drittens: Grenzen des Modells. Eine Singularität würde das Scheitern einer global glatten Lösung in einem idealisierten Kontinuumsmodell markieren. Ob eine reale Strömung diesen Bereich erreicht und welche zusätzliche Physik dort wichtig wird, sind eigenständige Fragen. Mathematischer Zusammenbruch allein ist kein empirischer Nachweis neuer Physik.

Die Lücke zwischen globaler Leray–Hopf-Existenz und globaler Glattheit bleibt für das ungetriebene 3D-System zentral. Clays weiter gefasste Formulierung erlaubt auch Zusammenbruch mit Kraft; die Preisbewertung ist von diesen Forschungsfragen getrennt. Siehe auch: Warum ist das Überschreiten so schwer?

Siehe auch: Beweisstrategie

Die Lösungshierarchie für die 3D-inkompressiblen Navier-Stokes-Gleichungen lautet:

$$\text{smooth} \subset \text{strong} \subset \text{Leray-Hopf weak} \subset \text{distributional weak}$$

Was auf jeder Ebene bekannt ist:

Die Lücke zwischen globaler Leray–Hopf-Existenz und globaler Glattheit bleibt für das ungetriebene 3D-System zentral. Clays weiter gefasste Formulierung erlaubt auch Zusammenbruch mit Kraft; die Preisbewertung ist von diesen Forschungsfragen getrennt. Die Kernschwierigkeit: Die Energieungleichung liefert $u \in L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$, was eine halbe Ableitung unterhalb der kritischen Skalierung $\dot{H}^{1/2}$ liegt. Diese Superkritikalitätslücke zu schließen ist äquivalent zum Beweis globaler Regularität.

Schwach-starke Eindeutigkeit identifiziert Lösungen innerhalb der Leray–Hopf-Klasse, nicht sämtliche distributionellen schwachen Lösungen. Genauer: Falls für gegebene $u_0 \in C^\infty$ eine glatte Lösung $u$ auf $[0,T]$ existiert, dann stimmt jede schwache Leray-Hopf-Lösung mit denselben Daten mit $u$ auf $[0,T]$ überein. Also globale Glattheit $\Rightarrow$ globale Eindeutigkeit innerhalb der Leray-Hopf-Klasse.

Umgekehrt würde die Nicht-Eindeutigkeit schwacher Leray-Hopf-Lösungen für glatte zulässige Anfangsdaten implizieren, dass globale glatte Lösungen für diese Datenklasse nicht fortbestehen können (da eine glatte Lösung Eindeutigkeit erzwingen würde). Neuere Arbeiten zur konvexen Integration (aufbauend auf De Lellis-Székelyhidi für Euler, erweitert von Buckmaster-Vicol 2019 zur Konstruktion nicht eindeutiger schwacher Lösungen der Navier-Stokes-Gleichungen unterhalb der Leray-Hopf-Regularität) zeigen, dass distributionelle schwache Lösungen hochgradig nicht eindeutig sein können. Ob sich diese Nicht-Eindeutigkeit auf die Leray-Hopf-Klasse erstreckt, ist eine bedeutende offene Frage mit direkten Implikationen für das Millennium-Problem.

Zum aktuellen Stand der Beweisstrategien zur Bearbeitung dieser Lücke und zu den strukturellen Gründen, warum sie so widerständig ist, siehe Warum Navier-Stokes so schwierig ist.