Navier-Stokes-Teilprobleme

Im Jahr 1934 hatte Jean Leray eine Idee. Was, wenn man die Anforderung lockert, dass Lösungen vollkommen glatt sein müssen? Gibt man diese Forderung auf, kann man überraschenderweise tatsächlich beweisen, dass Lösungen immer existieren. Mathematiker nennen diese gelockerten Lösungen schwache Lösungen.

Analogie: Man findet keine perfekte Straße zwischen zwei Städten, also akzeptiert man stattdessen einen Feldweg mit ein paar Unebenheiten. Leray zeigte, dass der Feldweg immer existiert. Das Millennium-Problem fragt, ob auch die perfekte Straße existiert, und nach neunzig Jahren Arbeit hat es niemand geschafft, diese Frage zu beantworten.

Der Haken? Eindeutigkeit. Wir wissen nicht, ob schwache Lösungen eindeutig sind. Beginnt man mit denselben Anfangsbedingungen, könnte es mehrere gültige schwache Lösungen geben, die jeweils die Gleichungen erfüllen, und die Gleichungen können mehr als eine zulässige schwache Lösung zu denselben Anfangsdaten zulassen.

Leray (1934) bewies die Existenz globaler schwacher Lösungen $u \in L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$ die die Energieungleichung erfüllen

$$\frac{1}{2}\|u(t)\|_{L^2}^2 + \nu \int_s^t \|\nabla u(\tau)\|_{L^2}^2 \, d\tau \leq \frac{1}{2}\|u(s)\|_{L^2}^2$$

für f.ü. $s \geq 0$ und alle $t \geq s$. Diese werden heute schwache Leray-Hopf-Lösungen genannt. Zentrale offene Fragen:

• Eindeutigkeit in der Energieklasse ist unbekannt. Zum Vergleich: Buckmaster-Vicol (2019) bewiesen die Nicht-Eindeutigkeit schwacher Lösungen in Klassen unterhalb der Leray-Hopf-Energieklasse (konkret in $C_t L^2_x$, ohne die $L^2_t \dot{H}^1_x$-Kontrolle).
• Energiegleichheit vs. Energieungleichung: Schwache Lösungen erfüllen die Ungleichung, aber Gleichheit (wie bei glatten Lösungen) ist nicht garantiert. Energie kann zu singulären Zeiten verloren gehen.
• Glattheit: Ist eine Leray-Hopf-Lösung glatt, dann ist sie die eindeutige klassische Lösung. Regularität impliziert also Eindeutigkeit.

Wir können Singularitäten nicht vollständig ausschließen. Aber wir wissen, dass sie nicht allzu schlimm sein können. Das wegweisende Ergebnis von Caffarelli, Kohn und Nirenberg (1982) (der CKN-Satz) beweist, dass die Menge der Punkte, an denen eine Lösung einen Blow-up entwickeln könnte, unglaublich klein ist.

Wie klein? In der Raumzeit hat die Menge möglicher Singularitäten „eindimensionales parabolisches Hausdorff-Maß null“. Einfach ausgedrückt: Die singuläre Menge ist in einem parabolischen maßtheoretischen Sinn extrem klein (eindimensionales parabolisches Hausdorff-Maß null). Singularitäten können, falls sie existieren, in der Raumzeit keine Kurven oder Flächen bilden, und sie können erst recht keinen Bereich ausfüllen.

Selbst ohne den Nachweis vollständiger Glattheit wissen wir, dass Singularitäten außerordentlich selten sind.

Der Satz von Caffarelli-Kohn-Nirenberg (1982): Für jede geeignete schwache Lösung $(u,p)$ of the Navier-Stokes equations, the singular set $\Sigma$ gilt

$$\mathcal{P}^1(\Sigma) = 0$$

wobei $\mathcal{P}^1$ das eindimensionale parabolische Hausdorff-Maß ist. Äquivalent dazu: Singularitäten können sich in der Raumzeit nicht auf Kurven konzentrieren.

Der Beweis führt geeignete schwache Lösungen ein, die die lokale Energieungleichung erfüllen

$$\int |u|^2 \varphi(t) + 2\nu \int\!\!\int |\nabla u|^2 \varphi \leq \int\!\!\int |u|^2(\partial_t \varphi + \nu \Delta \varphi) + \int\!\!\int (|u|^2 + 2p)(u \cdot \nabla \varphi)$$

und verwendet ein $\varepsilon$-Regularitätskriterium: Wenn die skaleninvariante Größe $\frac{1}{r}\int_{Q_r} |\nabla u|^2$ auf einem parabolischen Zylinder hinreichend klein ist $Q_r$, dann ist $u$ im Zentrum regulär. Die CKN-Schranke folgt dann aus einem Überdeckungsargument.

Wenn eine Singularität existiert, wie sieht sie aus? Mathematiker klassifizieren mögliche Blow-ups in zwei Typen:

• Typ I (selbstähnlich): Der Blow-up folgt einer bestimmten Rate, wie ein Wirbel, der sich mit vorhersagbarem Tempo verstärkt. Besser verstanden. Unter verschiedenen Bedingungen bereits weitgehend ausgeschlossen.
• Typ II (nicht selbstähnlich): Der Blow-up ist schneller oder unregelmäßiger als die vorhergesagte Rate, und er ist weitaus rätselhafter und mit bestehenden Techniken viel schwerer zu fassen.

Regularität zu beweisen bedeutet, beide Typen auszuschließen. Deshalb unterscheiden die meisten modernen Ansätze scharf zwischen den Typ-I- und Typ-II-Szenarien, auch wenn einige Werkzeuge auf beide anwendbar sind.

Angenommen, $T^* < \infty$ is a hypothetical first blowup time. Classification:

• Typ I: $\|u(t)\|_{L^\infty} \leq \frac{C}{\sqrt{T^* - t}}$ für $t \to T^*$. Die reskalierte Lösung $\lambda u(x_0 + \lambda x, T^* + \lambda^2 t)$ bleibt beschränkt, und der Blow-up hängt mit selbstähnlichen Lösungen zusammen $u(x,t) = \frac{1}{\sqrt{T^*-t}} U\left(\frac{x-x_0}{\sqrt{T^*-t}}\right)$.
• Typ II: $\limsup_{t \to T^*} \sqrt{T^* - t} \, \|u(t)\|_{L^\infty} = \infty$. Blow-up überschreitet die selbstähnliche Rate.

An der Type-I-Front zeigte Seregin (2012), dass eine beschränkte $L^3$ Norm zum Blow-up-Zeitpunkt Regularität impliziert und damit Type-I-Blow-up in $L^3$. Gallagher-Koch-Planchon (2016) gaben Profilzerlegungen für Type-I-Szenarien an, aufbauend auf Nečas-Růžička-Šverák (1996) und Tsai (1998), die nichttriviale rückwärts selbstähnliche Lösungen ausschlossen. Nečas-Růžička-Šverák (1996) bewiesen dies, und Tsai (1998) erweiterte es unter zusätzlichen Voraussetzungen auf lokal selbstähnliche Situationen.

Type-II bleibt offen. Dort konzentrieren sich moderne Regularitätsprogramme.

Es gibt bestimmte Messgrößen einer Fluidlösung, die genau an der Grenze zwischen kontrolliertem und unkontrolliertem Verhalten liegen. Mathematiker nennen sie kritische Normen. Sie sind die Trennlinie.

Man kann es sich wie einen Drahtseilakt vorstellen. Mehrere wichtige kritische Normen besitzen bedingte Regularitätskriterien: Bleiben sie beschränkt, folgt Glattheit. Die Energie, die wir kontrollieren können, liegt unterhalb dieses Drahtseils, frustrierend außer Reichweite, und die ganze Herausforderung besteht darin, diese Lücke von der Energieskala bis zur kritischen Schwelle zu überbrücken.

Welche Normen sind wichtig? Die zentralen messen die Geschwindigkeit in $L^3$ (die dritte Potenz der Geschwindigkeit, über den Raum integriert) oder in verwandten Räumen. Jüngere Arbeiten haben etwas Ermutigendes bestätigt: wenn eine dieser kritischen Größen beschränkt bleibt, bleibt die Lösung für immer glatt.

Eine Norm $\|\cdot\|_X$ ist kritisch, wenn sie unter der Navier-Stokes-Skalierung invariant ist: $\|u_\lambda\|_X = \|u\|_X$. Die wichtigsten kritischen Regularitätskriterien:

• Escauriaza–Seregin–Šverák (2003): $u \in L^\infty_t L^3_x$ nahe dem Blow-up $\Rightarrow$ Regularität
• Ladyzhenskaya–Prodi–Serrin: $u \in L^p_t L^q_x$, $\frac{2}{p} + \frac{3}{q} = 1$, $q > 3$ $\Rightarrow$ Regularität
• Beale–Kato–Majda: $\int_0^{T^*} \|\omega(t)\|_{L^\infty} dt < \infty$ $\Rightarrow$ regularity

Die Lücke: Die Energieabschätzung liefert $u \in L^{10/3}_{t,x}$ (durch Sobolev-Einbettung), aber die kritische Serrin-Bedingung erfordert $u \in L^5_{t,x}$. Diese Lücke von $10/3$ bis $5$ ist der Kern des Superkritikalitätsproblems.

Wenn ein Blow-up geschieht, wohin geht die Energie? Sie konzentriert sich. Ein skalenkritischer Teil der Lösung muss sich so konzentrieren, dass eine gleichmäßige Kontrolle verhindert wird; genau zu verstehen, wie dieser Prozess abläuft, ist der Schlüssel dazu, Blow-up entweder auszuschließen oder zu beweisen, dass er auftreten kann.

Konzentrationskompaktheit gibt Mathematikern eine Methode, zu untersuchen, was passiert, wenn man in einen potenziellen Blow-up-Punkt hineinzoomt. Profilzerlegungsargumente klassifizieren, wie eine schlechte Folge daran scheitern könnte, kompakt zu bleiben: Sie kann sich ausbreiten, sich nahe einer Skala konzentrieren oder in größere Entfernungen entweichen. Ziel ist es, jede Möglichkeit auszuschließen.

Die Strategie? Zeige, dass jedes dieser Szenarien zu einem Widerspruch führt, was Regularität erzwingt.

Der Ansatz der Konzentrationskompaktheit/Profilzerlegung (Kenig-Merle, 2006; von Gallagher-Koch-Planchon, Kenig-Koch und anderen auf Navier-Stokes angepasst) verläuft wie folgt:

1. Kritisches Element: Wenn globale Regularität fehlschlägt, gibt es eine „minimale Blow-up-Lösung“ mit der kleinstmöglichen kritischen Norm, die dennoch einen Blow-up zeigt.
2. Kompaktheit: Diese minimale Lösung besitzt eine Kompaktheitseigenschaft: modulo Symmetrien ist ihre Bahn $\{u(\cdot, t)\}_{t \in [0,T^*)}$ im kritischen Raum präkompakt.
3. Rigidität: Zeige, dass jede Lösung mit kompakter Bahn null sein muss (oder global regulär ist), im Widerspruch zur Annahme eines Blow-ups.

Dieses Programm wurde für energiekritische dispersive Gleichungen (NLS, NLW) abgeschlossen, stößt bei den Navier-Stokes-Gleichungen jedoch wegen des Fehlens einer erhaltenen kritischen Größe und der Nichtlokalität des Drucks auf schwerwiegende Hindernisse.

Dieser Artikel ist Teil von Fortschritt.

Jedes Teilproblem hat sein eigenes Arsenal. Erkunden Sie die wichtigsten Ansätze zur Navier-Stokes-Regularität für das Gesamtbild, das alles von harmonischer Analysis und Energiemethoden bis zu konvexer Integration und Konzentrationskompaktheits-Techniken umfasst, die Forschende heute aktiv vorantreiben.

Warum so hartnäckig? Siehe Warum es schwierig ist. Die Clay-Formulierung: Das Millennium-Problem. Turbulenz: Reynolds-Zahl und Turbulenz.

Dieser Artikel ist Teil von Fortschritte.

Zu den analytischen und geometrischen Werkzeugen, die zur Behandlung dieser Teilprobleme entwickelt wurden, siehe Ansätze. Zu den Hindernissen durch Skalierung und Superkritikalität siehe Warum es schwierig ist. Zur Clay-Formulierung siehe Das Millennium-Problem.