Das Navier-Stokes-Problem

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.

Quellenstand geprüft am 2026-09-12 (JST). Am 8. September kündigte OpenAI einen Blowup in endlicher Zeit für die inkompressiblen 3D-Navier–Stokes-Gleichungen mit glatter äußerer Kraft an und beanspruchte damit die Lösung der Clay-Alternativen C und D; ein Manuskript und eine Lean-Formalisierung wurden veröffentlicht. Am 11. September erklärte Clay, das Problem sei „offenbar gelöst“; Bewertung und Zuordnung der Verdienste erfolgten bewusst ohne Eile. Dies ist weder eine Preisvergabe noch unsere eigene Überprüfung des Beweises.

Primärquellen: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · Offizielle Clay-Problemstellung.

Siehe auch: Ist das Navier-Stokes-Problem gelöst? · Existenz und Glattheit der Navier-Stokes-Gleichungen · Ist es gelöst?

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.

Quellenstand geprüft am 2026-09-12 (JST). Am 8. September kündigte OpenAI einen Blowup in endlicher Zeit für die inkompressiblen 3D-Navier–Stokes-Gleichungen mit glatter äußerer Kraft an und beanspruchte damit die Lösung der Clay-Alternativen C und D; ein Manuskript und eine Lean-Formalisierung wurden veröffentlicht. Am 11. September erklärte Clay, das Problem sei „offenbar gelöst“; Bewertung und Zuordnung der Verdienste erfolgten bewusst ohne Eile. Dies ist weder eine Preisvergabe noch unsere eigene Überprüfung des Beweises.

Primärquellen: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · Offizielle Clay-Problemstellung.

Siehe auch: Ist es gelöst?

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.

Das Existenz- und Glattheitsproblem für die Navier-Stokes-Gleichungen fragt, ob für jedes hinreichend glatte, divergenzfreie Anfangsdatum $u_0 \in C^\infty(\mathbb{R}^3)$ (mit geeignetem Abklingen) und $f \equiv 0$, das inkompressible Navier-Stokes-System eine Lösung zulässt $u \in C^\infty(\mathbb{R}^3 \times [0,\infty))$; alternativ, ob zulässige glatte Daten zu einem Zusammenbruch in endlicher Zeit führen können.

Ungelöst bedeutet nicht unbearbeitet. Fast ein Jahrhundert tiefgehender mathematischer Arbeit hat das Gelände kartiert und genau offengelegt, wo die Schwierigkeit liegt und warum sie sich mit den verfügbaren Werkzeugen nicht überwinden lässt:

• Schwache Lösungen existieren global (Leray, 1934). Lockert man den Begriff der „Lösung“, sodass raues, gemitteltes Verhalten zugelassen wird, existieren Lösungen für alle Zeiten. Glatt? Das kann niemand beweisen. Mehr zu Ansätzen →
• 2D ist gelöst. In zwei Dimensionen existieren glatte Lösungen immer global, aber drei Dimensionen sind ein völlig anderes Wesen. Warum 3D schwieriger ist →
• Singularitäten, falls sie existieren, sind selten (CKN, 1982). Caffarelli, Kohn und Nirenberg bewiesen, dass die Menge möglicher Singularitäten eindimensionales Maß null hat, das heißt, sie kann nicht einmal eine einzige Kurve in der Raumzeit ausfüllen. Teilprobleme und partielle Ergebnisse →
• Glatte Lösungen existieren kurzzeitig. Beginnt man mit glatten Daten, erhält man für ein gewisses Zeitintervall eine eindeutige glatte Lösung; ob dieses Intervall jedoch immer bis unendlich fortgesetzt werden kann, ist genau das Unbekannte.
• Die präzise Formulierung wurde von Charles Fefferman für das Clay Mathematics Institute ausgearbeitet. Die Erklärung zum Millennium-Problem lesen →

Die folgenden Ergebnisse bilden den wichtigsten partiellen Fortschritt:

• Leray (1934): Für $u_0 \in L^2(\mathbb{R}^3)$, existieren globale schwache Lösungen (heute Leray-Hopf-Lösungen genannt) und erfüllen die Energieungleichung. Eindeutigkeit und Regularität dieser Lösungen bleiben offen. Ansätze →
• Globale Regularität in 2D: Ladyzhenskaya (1959) bewies die globale Existenz und Eindeutigkeit glatter Lösungen in $\mathbb{R}^2$. Der Schlüssel ist, dass die Enstrophie in 2D kontrolliert ist. Warum 3D anders ist →
• CKN (1982): Caffarelli, Kohn und Nirenberg bewiesen, dass das eindimensionale parabolische Hausdorff-Maß der singulären Menge jeder geeigneten schwachen Lösung null ist. Teilprobleme →
• Lokale Existenz: Für hinreichend reguläre Daten existieren eindeutige lokale glatte Lösungen; in kritischen Räumen wie $\dot{H}^{1/2}$, hat man lokale Wohlgestelltheit im Rahmen milder Lösungen. Die offene Frage ist, ob diese Lösungen immer für alle Zeiten fortgesetzt werden können.
• Clay-Formulierung (2000): Feffermans Problemstellung legt die exakten Funktionenräume, Abklingbedingungen und die Anforderungen an einen gültigen Beweis oder Gegenbeweis fest. Das Millennium-Problem →

Hier liegt die Kernschwierigkeit. Die Eigenbewegung eines Fluids kann Aktivität schneller auf immer kleinere Skalen treiben, als aktuelle Abschätzungen sie kontrollieren können. In drei Dimensionen liefert uns die Mathematik nicht genug Kontrolle, um dies auszuschließen. Sie erlaubt uns aber auch nicht zu beweisen, dass es geschieht.

Es geht hier nicht um Cleverness. Es geht nicht um Rechenleistung. Die bekannten mathematischen Werkzeuge sind grundlegend unzureichend, und genau diese Spannung zwischen Konzentration und Dissipation ist der Grund, warum die Lösung des Problems wirklich neue Mathematik erfordern würde.

Superkritikalität, die Skalierungslücke, warum 3D-Turbulenz grundlegend anders ist: die ganze Geschichte findet sich unter Warum das Navier-Stokes-Problem so schwierig ist.

Die 3D-Navier-Stokes-Gleichungen sind superkritisch in Bezug auf die natürliche Energieabschätzung: die $L^2$-Norm wird kontrolliert, aber die skalierungskritische Regularität liegt bei $\dot{H}^{1/2}$, was durch die Energieungleichung allein nicht fortgepflanzt wird. Der nichtlineare Term $(u \cdot \nabla)u$ kann prinzipiell Energie schneller auf beliebig feine Skalen übertragen, als der Laplace-Operator sie dissipiert.

Dies ist das wesentliche analytische Hindernis, und keine bestehende Technik schließt diese Lücke. Eine ausführliche Behandlung findet sich unter Warum es schwierig ist.

Im Jahr 2000 benannte das Clay Mathematics Institute diese Regularitätsfrage als eines von sieben Millennium-Preisproblemen und setzte 1.000.000 US-Dollar für einen korrekten Beweis oder Gegenbeweis aus. Dieser Überblick erklärt, warum diese Preisfrage im Kontext wichtig ist.

Zur genauen Formulierung siehe die offizielle Problemstellung, erklärt. Wo die Dinge aktuell stehen, zeigt der aktuelle Status (2026-09-12 (JST)).

Das Clay Mathematics Institute nahm diese Regularitätsfrage in seine Liste der Millennium-Preisprobleme von 2000 auf, mit einem Preisgeld von 1.000.000 US-Dollar. Die von C. Fefferman verfasste Problemstellung ist auf $\mathbb{R}^3$ und $\mathbb{T}^3$ gestellt und akzeptiert entweder einen Beweis der globalen glatten Existenz oder die Konstruktion eines Zusammenbruchs in endlicher Zeit unter den akzeptierten Alternativen.

Siehe die offizielle Problemstellung, erklärt, oder den aktuellen Status (2026-09-12 (JST)).

Diese Seite ist eine Landkarte. Das Gelände ist tief. Wählen Sie einen Faden:

• Ist es gelöst? 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.
• Das Millennium-Problem Forderungen. Präzise.
• Warum es schwierig ist Superkritikalität, Turbulenz und die Skalierungslücke, die jeden bekannten Ansatz daran hindert, auch nur in die Nähe eines Beweises zu gelangen.

Für ausführliche Behandlungen der oben eingeführten Themen:

• Ist es gelöst? 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.
• Das Millennium-Problem Feffermans Formulierung, Funktionenräume und was einen gültigen Beweis oder ein gültiges Gegenbeispiel ausmacht.
• Warum es schwierig ist Die superkritische Skalierung, die Rolle der Nichtlinearität und die Lücke zwischen Kontrolle auf Energieniveau und Regularität.

Mathematiker haben das Problem nicht einfach nur angestarrt. Sie haben mächtige Werkzeuge, partielle Ergebnisse und völlig neue Gebiete der Analysis entwickelt, um es zu knacken. Die Arbeit geht weiter.

Siehe auch: Den bisherigen Fortschritt ansehen →

Das Navier-Stokes-Problem hat im vergangenen Jahrhundert bedeutende Entwicklungen in der harmonischen Analysis, der Funktionalanalysis und der geometrischen Maßtheorie vorangetrieben. Ergebnisse zur partiellen Regularität, bedingte Blow-up-Kriterien (Beale-Kato-Majda, Escauriaza-Seregin-Šverák) und Analysen von Modellproblemen schärfen weiterhin unser Verständnis dafür, wo die Grenze zwischen Regularität und möglicher Singularität liegt.

Siehe auch: Überblick über den Fortschritt →