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

Die Lage ist folgende. Der Millennium-Preis setzt eine Million Dollar dafür aus, zu klären, ob die 3D-Navier-Stokes-Gleichungen immer glatte Lösungen haben, die für alle Zeiten existieren, oder ob es zu einem Blow-up kommen kann. Glatt bedeutet, dass das Geschwindigkeitsfeld sich vollkommen gutartig verhält: keine plötzlichen Sprünge, keine unendlichen Geschwindigkeiten, keine Punkte, an denen die Mathematik zusammenbricht. Aber das beste Existenzresultat, das je jemand in fast einem Jahrhundert von Versuchen bewiesen hat, garantiert nur etwas Schwächeres. Diese heißen schwache Lösungen.

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.

Der Haken: Schwache Lösungen müssen nicht eindeutig sein. Ausgehend von exakt derselben Strömung könnte man mehrere schwache Lösungen erhalten, und niemand kann sagen, welche davon „die richtige Antwort“ ist. Das ist ein Problem, denn die Physik sagt, dass das Fluid eine bestimmte Sache tun sollte, nicht mehrere. Und schwache Lösungen müssen nicht glatt sein. Glattheit ist das, was der Millennium-Preis verlangt, und genau das kann niemand beweisen.

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.

Das ist wichtig, weil: (1) schwache Lösungen global für $L^2$ Anfangsdaten existieren (Leray 1934), während für klassische Lösungen in 3D nur lokale Existenz in der Zeit bekannt ist; (2) schwache Lösungen im Allgemeinen nicht als eindeutig bekannt sind; (3) die Frage, ob schwache Lösungen immer glatt sind, für geeignete Anfangsdaten äquivalent zum Clay-Millennium-Problem ist.

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.

Schwache Lösungen existieren global. Aber sie müssen nicht eindeutig sein, und sie müssen nicht glatt sein. Geht es besser?

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.

1962 bewies James Serrin so etwas wie eine Beförderungsregel. Sie lautet ungefähr so: Wenn eine schwache Lösung zufällig hinreichend gutartig bleibt (nicht zu groß wird, ihre Energie nicht in immer kleineren Bereichen konzentriert), dann war sie die ganze Zeit heimlich glatt. Man kann sie befördern. Und nach einem Prinzip namens schwach-starke Eindeutigkeit ist sie auch die einzige schwache Lösung mit diesen Anfangsbedingungen. Eine Lösung, glatt und eindeutig, Fall erledigt. Aber wenn man nicht nachweisen kann, dass die Lösung zahm bleibt? Nichts. Man steckt fest.

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.

In zwei Dimensionen sind die Energieabschätzungen stark genug, dass jede schwache Lösung Serrins Test automatisch besteht. Erledigt. Deshalb ist 2D gelöst. In 3D verfehlen die Abschätzungen ganz knapp das, was man bräuchte, und diese Lücke zu schließen ist das ganze Spiel.

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 Millennium-Problem 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.

Das Clay-Millennium-Problem, formuliert von Charles Fefferman im Jahr 2000, stellt eine Frage, die auf eine Karteikarte passt. Beginne mit einem beliebigen glatten, physikalisch vernünftigen Geschwindigkeitsfeld, das den dreidimensionalen Raum ausfüllt. Erzeugt die Navier-Stokes-Gleichung immer eine glatte Lösung, die für immer existiert, oder kann man eine Anfangsströmung finden, bei der die Lösung schließlich einen Blow-up entwickelt?

Jede der beiden Antworten ist eine Million Dollar wert.

So ist der Stand. Niemand hat bewiesen, dass glatte Lösungen in 3D immer global existieren, und niemand hat einen Blow-up konstruiert. Seit Lerays Arbeit von 1934 stecken wir dazwischen fest, seit über neunzig Jahren bei einer der schwierigsten offenen Fragen der gesamten Mathematik, und wir wissen immer noch nicht, auf welche Seite die Antwort fällt.

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?

Wenn sie glatt bleibt, passiert etwas Schönes. Diese glatte Lösung erfüllt automatisch auch die gelockerten Regeln für schwache Lösungen, also ist sie eine schwache Lösung. Und nach schwach-starker Eindeutigkeit kann keine andere schwache Lösung mit diesen Anfangsbedingungen existieren. Wenn also jemand globale Glattheit bewiese, würde die gesamte Hierarchie kollabieren: schwach, stark und glatt würden sich alle als dasselbe herausstellen, eine einzige eindeutige Lösung, die für alle Zeiten vollkommen gutartig ist. Genau das macht dieses Problem so reizvoll und so schwierig. Die Lücke zwischen dem, was wir als existent beweisen können (schwache Lösungen), und dem, was wir wollen (glatte Lösungen), ist genau der Inhalt der Millionen-Dollar-Frage.

Das Clay-Millennium-Problem (Fefferman 2000) 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$ for all $t \geq 0$?

Die Alternative (ebenfalls preiswürdig): Finde $u_0$ in der obigen Klasse, sodass keine solche glatte Lösung existiert.

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$, then $\|u(t)\|_{H^s} \to \infty$ as $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.

Die Hierarchie kollabiert nach oben: glatt $\Rightarrow$ stark $\Rightarrow$ schwach, und schwach-starke Eindeutigkeit bedeutet, dass eine glatte Lösung, falls sie existiert, die eindeutige schwache Leray-Hopf-Lösung ist. Das Millennium-Problem ist also äquivalent zur Frage: Sind alle schwachen Leray-Hopf-Lösungen mit glatten Anfangsdaten selbst glatt? Die Lücke zwischen „schwache Lösung existiert“ (Leray 1934) und „glatte Lösung existiert“ (offen) ist genau die Preisfrage.

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: extreme Physik. Wenn sich Singularitäten bilden können, dann sendet uns die Natur eine Botschaft. Die Navier-Stokes-Gleichungen, unser bestes Modell der Fluidbewegung, hätten ein eingebautes Verfallsdatum: Auf irgendeiner extremen Skala hört das Modell selbst auf zu funktionieren, und die Gleichungen sagen uns: „Ihr braucht neue Physik.“

Das ist keine technische Kleinigkeit. Es ist die Bruchlinie, die durch alles hindurchläuft. Existenz auf der einen Seite (Leray, 1934, erledigt). Glattheit auf der anderen (offen, eine Million Dollar). Warum ist das Überschreiten so schwer? Die Energieabschätzungen in 3D verfehlen das Benötigte nur ganz knapp, und neunzig Jahre Anstrengung, Hunderte von Arbeiten, ganze Karrieren voller Versuche — niemand hat diese Lücke geschlossen.

Jede Beweisstrategie die derzeit verfolgt wird, ist ein Versuch, diese Kluft zu überbrücken. Beweise, dass schwache Lösungen glatt sind. Oder beweise, dass sie es nicht sind. Zwei Wörter oder drei.

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:

Das Millennium-Problem liegt in der Lücke zwischen globaler Existenz schwacher Leray-Hopf-Lösungen und globaler glatter Regularität. 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 impliziert, dass die Hierarchie zusammenfällt, wenn glatte Lösungen global existieren. 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.