Clay-Navier-Stokes-Problemstellung: offizielle Kriterien erklärt

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.

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.

Siehe auch: Ist das Navier-Stokes-Problem gelöst? (Status 2026-09-12 (JST))

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.

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 Clay-Problem fragt nicht, ob Fluidsimulationen funktionieren, ob Ingenieure Rohrströmungsbeispiele lösen können oder ob schwache Lösungen existieren. Das sind separate Fragen. Die Preisfrage betrifft globale Glattheit oder Zusammenbruch in endlicher Zeit für die dreidimensionalen inkompressiblen Gleichungen.

Um den Preis zu gewinnen, muss ein Beweis in eine von zwei Kategorien fallen:

1. Globale Glattheit: Zeige, dass jede zulässige glatte Anfangsströmung für alle Zukunft glatt bleibt.
2. Zusammenbruch: Gib eine zulässige glatte Konfiguration an, in der keine global glatte Lösung existieren kann.

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 Kernsystem ist die 3D-inkompressible Navier-Stokes-Gleichung

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

Clays Formulierung unterscheidet den Ganzraum-Fall und den periodischen Fall. In der Existenzrichtung im Ganzraum ist die Anfangsgeschwindigkeit glatt, divergenzfrei und schnell abfallend; das Ziel ist eine global glatte Lösung mit endlicher Energie für alle Zeiten. In der Zusammenbruchsrichtung besteht die Aufgabe darin, zulässige Daten unter einer der offiziellen Alternativen zu konstruieren, für die die geforderte global glatte Lösung nicht existiert.

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.

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.

Nach Feffermans Formulierung auf $\mathbb{R}^3$ mit $f \equiv 0$:

Hypothesen: Sei $u_0 \in C^\infty(\mathbb{R}^3)$ divergenzfrei. Angenommen, für jedes $\alpha$ und $K$ existiert eine Konstante $C_{\alpha,K}$ mit

$$|\partial^\alpha u_0(x)| \leq \frac{C_{\alpha,K}}{(1 + |x|)^K} \quad \text{auf } \mathbb{R}^3.$$

Schlussfolgerung (zu beweisen): Es existieren $p \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ und $u \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ die die Navier-Stokes-Gleichungen erfüllen, $u(x,0) = u_0(x)$, sowie die Energieabschätzung

$$\int_{\mathbb{R}^3} |u(x,t)|^2 \, dx < C \quad \text{für alle } t \geq 0.$$

Drei Dinge brachten Navier-Stokes auf diese Auswahlliste:

• Praktische Bedeutung. Diese Gleichungen bestimmen den Großteil der Fluiddynamik: Flugzeugentwurf, Klimamodelle, Blutfluss, Meeresströmungen. Auch ohne vollständigen Beweis verwenden Ingenieure diese Gleichungen in vielen Regimen erfolgreich; das offene Problem betrifft die Frage, ob die 3D-Gleichungen mathematisch immer gerechtfertigt werden können.
• Mathematische Tiefe. Es greift zugleich auf Analysis, Geometrie, Topologie und Physik zurück.
• Bleibende Bedeutung. Clay wählte Navier–Stokes im Jahr 2000 als eines seiner sieben Millennium-Probleme aus, weil es grundlegende mathematische Schwierigkeiten mit der zentralen Rolle der Gleichungen in der Fluiddynamik verbindet. Die Ankündigung vom September 2026 ändert den Status, nicht diese Gründe für seine Bedeutung. Siehe auch: erkunde, warum

Die Schwierigkeit des Problems wurzelt in der superkritische Natur der 3D-Gleichungen. Die natürliche Energieabschätzung

$$\frac{1}{2}\|u(t)\|_{L^2}^2 + \nu \int_0^t \|\nabla u(s)\|_{L^2}^2 \, ds \leq \frac{1}{2}\|u_0\|_{L^2}^2$$

platziert $u$ in $L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$, was unterhalb der kritischen Skalierung liegt. Die Navier-Stokes-Gleichungen sind invariant unter

$$u(x,t) \mapsto \lambda u(\lambda x, \lambda^2 t), \quad p(x,t) \mapsto \lambda^2 p(\lambda x, \lambda^2 t)$$

und der kritische Raum ist $L^3(\mathbb{R}^3)$ (oder $\dot{H}^{1/2}$). Die Energieklasse $L^2$ ist superkritisch. Sie liegt unterhalb der kritischen Skalierungsschwelle und kontrolliert für sich genommen die nichtlineare Kaskade auf kleinen Skalen nicht; es bleibt eine Lücke, die alle bisherigen Techniken nur schwer überbrücken können.

Die hier angegebene Energieabschätzung gilt ohne äußere Kraft. Mit Kraft enthält die rechte Seite zusätzlich den Arbeitsterm $\int_0^t\!\int f(x,s)\cdot u(x,s)\,dx\,ds$.

Die wesentlichen Meilensteine:

• 1822: Navier leitet die Gleichungen aus molekularen Überlegungen her.
• 1845: Stokes gibt die moderne Herleitung aus der Kontinuumsmechanik.
• 1934: Leray beweist, dass „schwache“ Lösungen immer existieren. Ein gewaltiges Resultat, aber diese Lösungen müssen nicht glatt sein.
• 1982: Caffarelli, Kohn und Nirenberg beweisen, dass Singularitäten (mehr zur partiellen Regularität), falls sie existieren, extrem klein sind: In der für diese Gleichungen natürlichen parabolischen Geometrie hat die singuläre Menge verschwindendes eindimensionales Hausdorff-Maß.
• 1984: Beale, Kato und Majda beweisen (ursprünglich für Euler, mit Navier-Stokes-Analoga), dass Blow-up nur auftreten kann, wenn die Wirbelstärke unendlich wird.
• 2000: Clay erklärt es zu einem 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.

Siehe auch: Ansätzen in kritischen Räumen

Grundlegende Resultate, ausgewählt:

• Leray (1934): Globale schwache Lösungen $u \in L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$ existieren, bewiesen mittels Kompaktheit. Er führte den Leray-Projektor und das Konzept turbulenter Lösungen ein. Der Startschuss für alles, was folgte.
• Hopf (1951): Erweiterte Lerays Konstruktion auf beschränkte Gebiete.
• Ladyzhenskaya, Prodi, Serrin (1960er Jahre): Regularitätskriterien. Falls $u \in L^p_t L^q_x$ mit $2/p + 3/q \leq 1$, $q > 3$, dann ist die Lösung glatt. Escauriaza, Seregin und Šverák erledigten 2003 den kritischen Fall $L^\infty_t L^3_x$.
• Caffarelli, Kohn, Nirenberg (1982): $\mathcal{P}^1(\Sigma) = 0$. Die singuläre Menge hat verschwindendes eindimensionales parabolisches Hausdorff-Maß.
• Beale, Kato, Majda (1984): Ursprünglich für die inkompressiblen Euler-Gleichungen bewiesen: Blow-up tritt genau dann auf, wenn $\int_0^{T^*} \|\omega(\cdot,t)\|_{L^\infty} \, dt = \infty$. Analoge Kriterien gelten für Navier-Stokes.
• Koch, Tataru (2001): Lokale Wohlgestelltheit für kleine Daten in $\mathrm{BMO}^{-1}$. Dies ist der größte kritische Raum, in dem Wohlgestelltheit bekannt ist.
• Seregin (2012): Zu einer Blow-up-Zeit $T^*$ muss die $L^3$-Norm divergieren: $\|u(t)\|_{L^3} \to \infty$ wenn $t \to T^*$. Strikt stärker als ESS (2003), das nur das Versagen gleichmäßiger Beschränktheit zeigte.

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.

Dieser Artikel ist Teil von Das Problem.

Wenn Sie hierhergekommen sind und sich fragen, ob es schon jemand gelöst hat, beginnen Sie mit Ist das Navier-Stokes-Problem gelöst?.

Erkunden Sie dann warum es so schwierig ist, oder sehen Sie, wie Mathematiker es in Teilprobleme zerlegt haben. Zu den strukturellen Gründen, warum das 2D-Problem handhabbar ist, während 3D offen bleibt, siehe Warum 2D einfacher ist als 3D.

Dieser Artikel ist Teil von Das Problem.

Möchten Sie die kurze Antwort darauf, ob es gelöst wurde? Siehe Ist das Navier-Stokes-Problem gelöst? Diese Seite klärt auch die Lücke zwischen schwacher Existenz und globaler glatter Regularität.

Die mathematischen Hindernisse werden dargelegt in Warum es schwierig ist. Für eine Zerlegung in handhabbare Teile (schwache Lösungen, partielle Regularität, Blow-up-Klassifikation) siehe Teilprobleme. Und dazu, warum der 2D-Fall geklärt ist, während 3D es nicht ist, siehe Warum 2D einfacher ist als 3D.