Fortschritt beim Navier-Stokes-Problem

Seit den 1930er Jahren haben Mathematiker das Problem aus vielen Richtungen angegriffen, von Energieabschätzungen und Geometrie bis zu Wahrscheinlichkeit und computergestützter Analysis. Die volle Existenz- und Glattheitsfrage in 3D bleibt vollständig und hartnäckig offen.

Aber Folgendes wird oft übersehen: Aus neunzig Jahren gescheiterter Angriffe haben wir enorm viel gelernt, und das Gesamtbild ist weit reicher, als das einfache Etikett "ungelöst" vermuten lässt. Ganze Strategien wurden ausgeschlossen. Teilfälle wurden abgeschlossen. Wir wissen, mit beträchtlichem Fortschritt: Einige Spezialfälle sind gelöst, mehrere bedingte Kriterien sind verstanden, und die großen Barrieren sind viel klarer. Was folgt, ist eine Karte dieses Fortschritts.

Das Navier-Stokes-Regularitätsproblem fragt nach globaler Existenz und Glattheit von Lösungen des dreidimensionalen inkompressiblen Systems mit glatten, rasch abklingenden Daten. Seit seiner modernen Formulierung widersetzt es sich einer Lösung. Zu den wichtigsten Angriffslinien gehören die Leray-Hopf-Theorie schwacher Lösungen, partielle Regularität über geometrische Maßtheorie, bedingte Regularität durch Fortsetzungskriterien, probabilistische und stochastische Methoden sowie konvexe Integration für Nicht-Eindeutigkeit.

Kein Ansatz hat das volle Problem geschlossen. Zusammen haben sie jedoch die kritischen Barrieren geklärt: superkritische Skalierung, die Lücke zwischen Lösungen der Energieklasse und glatten Lösungen und die beunruhigende Möglichkeit, dass Eindeutigkeit selbst in Klassen schwacher Lösungen versagen kann.

Fünf Ergebnisse, die das Gebiet neu geformt haben:

• 1934, Leray: Bewies, dass für alle vernünftigen Anfangsdaten globale schwache Lösungen in der Zeit existieren. Etwas bleibt für immer bestehen. Aber bleibt es glatt? Das ist die Frage, die Leray nicht beantworten konnte, und nach neunzig Jahren kann es sonst auch niemand.
• 1982, Caffarelli, Kohn, Nirenberg: Die Menge möglicher Singularitäten ist extrem klein: In der für diese Gleichungen natürlichen parabolischen Geometrie hat sie eindimensionale Größe null. Verschwindend klein. Wenn Blow-up geschieht, ist er unvorstellbar dünn verteilt.
• 1984, Beale, Kato, Majda: Ein riesiges Ergebnis. Eine glatte Lösung kann nur dann zusammenbrechen, wenn die Vortizität blowt up; damit bekam das ganze Feld ein präzises Ziel: Kontrolliert man die relevante Vortizitätsnorm stark genug, kann eine glatte Lösung zu diesem Zeitpunkt nicht zusammenbrechen.
• 2016, Tao: Konstruierte Blow-up für eine gemittelte Navier-Stokes-Gleichung mit denselben Energie- und Skalierungseigenschaften wie das echte System. Das bedeutet, ein Beweis für die echte Gleichung muss feinere Struktur nutzen als Energieabschätzungen und Skalierung allein. Eine Barriere. Keine Lösung.
• 2022, Albritton, Brué, Colombo: Leray-Hopf-schwache Lösungen sind nicht eindeutig, wenn man eine äußere Kraft zulässt. Schlechte Nachricht: Die schwächste Lösungsklasse ist nicht so zahm, wie man gehofft hatte, und das erzwingt ein Umdenken darüber, was "Lösung" auf dieser Ebene überhaupt bedeutet.

• 1934, Leray: Globale Existenz schwacher Lösungen in \(L^2\) für divergenzfreie Daten \(u_0 \in L^2(\mathbb{R}^3)\), die die Energieungleichung erfüllen (J Math Pures Appl).
• 1982, Caffarelli–Kohn–Nirenberg (CKN): Partielle Regularität; \(\mathcal{P}^1(\mathrm{sing}\, u)=0\), das heißt, das eindimensionale parabolische Hausdorff-Maß der singulären Menge verschwindet. Noch immer das stärkste allgemeine Resultat, das wir haben (Comm Pure Appl Math).
• 1984, Beale–Kato–Majda (BKM): Das Fortsetzungskriterium, das das Gebiet neu geformt hat: Eine glatte Lösung auf \([0,T)\) lässt sich genau dann über \(T\) hinaus fortsetzen, wenn \(\int_0^T \|\omega(\cdot,t)\|_{L^\infty}\,dt < \infty\); damit wird Regularität auf Kontrolle der Vortizität reduziert. Ursprünglich für Euler; an Navier-Stokes angepasst (Comm Math Phys).
• 2016, Tao: Endlichzeit-Blow-up für eine gemittelte Navier-Stokes-Gleichung, die dieselben Energie- und Skalierungseigenschaften wie das echte System erfüllt; daher muss jeder Regularitätsbeweis feinere Struktur ausnutzen (J Amer Math Soc).
• 2022, Albritton–Brué–Colombo: Nicht-Eindeutigkeit von Leray-Hopf-Lösungen für erzwungene 3D-Navier-Stokes-Gleichungen, konstruiert über instabile selbstähnliche Lösungen (Ann of Math).

Diese Seite ist eine Karte, nicht das Gelände. Für die Details:

Für eine detaillierte Behandlung einzelner Forschungsrichtungen:

• Teilprobleme: gelöste und teilweise gelöste Fälle, darunter globale Regularität in 2D (Ladyzhenskaya 1959), Axialsymmetrie ohne Swirl, Ergebnisse in kritischen Räumen (\(L^3\), \(\dot{H}^{1/2}\), \(BMO^{-1}\)) und bedingte Regularitätskriterien jenseits von BKM.
• Ansätze: die wichtigsten Beweisstrategien, die aktiv untersucht werden, darunter Energie- und Enstrophiemethoden, Profilzerlegung, Theorie milder Lösungen, stochastische Navier-Stokes-Gleichungen, Programme konvexer Integration und computergestützte Schranken.

Zuletzt überprüft: März 2026. Diese Seite ist ein lebendes Verzeichnis. Wenn neue Ergebnisse erscheinen und tiefere Artikel veröffentlicht werden, wird sie aktualisiert.

Zuletzt überprüft: März 2026. Diese Seite dient als Navigationshub. Für Korrekturen oder Vorschläge siehe das Site-Repository.