Das Navier-Stokes-Problem

Das Navier–Stokes-Problem fragt, ob sich die Gleichungen der Fluidbewegung in drei Dimensionen stets gutartig verhalten: Bleibt die Lösung, ausgehend von einer glatten Strömung mit endlicher Energie, für alle Zeiten glatt, oder kann die Geschwindigkeit nach endlicher Zeit unendlich werden? Clays Millennium-Preis-Version akzeptiert entweder einen Beweis globaler Glattheit ohne äußere Kraft oder ein Beispiel für einen Zusammenbruch, bei dem zusätzlich eine glatte, schnell abfallende Kraft gewählt werden darf.

Der Stand in Kürze: Im September 2026 kündigte OpenAI einen Beweis der Zusammenbruch-Alternative mit einer solchen Kraft an, und Clay erklärte, das Problem sei „offenbar gelöst“; die Bewertung erfolgt bewusst ohne Eile. Ob Strömungen ohne äußere Kraft stets glatt bleiben, ist weiterhin unbekannt. Die datierte Statusübersicht erklärt, was behauptet wurde und wie es geprüft wird.

Diese Seite ist die Übersichtskarte: was die Frage ist, was bewiesen wurde, warum sie sich dem Beweis entzieht und wo man weiterliest.

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

Das Existenz- und Glattheitsproblem von Navier-Stokes fragt, ob das inkompressible Navier-Stokes-System für jedes hinreichend glatte, divergenzfreie Anfangsdatum $u_0 \in C^\infty(\mathbb{R}^3)$ mit geeignetem Abfall und $f \equiv 0$ eine Lösung $u \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ mit beschränkter Energie besitzt (und die analoge periodische Frage auf $\mathbb{T}^3$). Clays Formulierung akzeptiert auch ein Zusammenbruch-Beispiel, bei dem zulässige glatte Kräfte erlaubt sind.

Der Stand in Kürze: Das Manuskript vom September 2026 beansprucht die Zusammenbruch-Alternativen mit Kraft, C auf $\mathbb{R}^3$ (Theorem 1.1) und D auf $\mathbb{T}^3$ (Korollar 10.6); Clay erklärte, das Problem sei „offenbar gelöst“, die Bewertung erfolge bewusst ohne Eile. Der Fall $f\equiv0$ wird durch diese Behauptung nicht entschieden. Details: datierter Stand und Quellen.

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

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 „Lösung“ so, dass raues, gemitteltes Verhalten zugelassen ist, existieren Lösungen für alle Zeiten. Dass sie ohne äußere Kraft glatt bleiben, hat niemand bewiesen. Mehr zu den 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), die die Energieungleichung erfüllen. Für $f\equiv0$ bleiben Eindeutigkeit und Regularität dieser Lösungen offen; mit geeignet gewählter Kraft wurde Nicht-Eindeutigkeit bewiesen. Ansätze →
• Globale Regularität in 2D: In zwei Dimensionen sind globale Existenz und Eindeutigkeit glatter Lösungen seit Langem bekannt; Clays Problemstellung zitiert Ladyzhenskayas Monographie von 1969. Entscheidend 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 →

Das ist die Kernschwierigkeit: Die Eigenbewegung eines Fluids kann Aktivität schneller zu immer kleineren Skalen treiben, als die bisherigen Abschätzungen kontrollieren können. Für dreidimensionale Strömungen ohne äußere Kraft reichen die bekannten Abschätzungen nicht aus, um dies auszuschließen, und niemand hat gezeigt, dass es geschieht. (Die Konstruktion von 2026 behauptet, dass es geschehen kann, wenn eine glatte Kraft wirkt.)

Es geht nicht um Cleverness. Es geht nicht um Rechenleistung. Die bekannten Abschätzungen reichen nicht aus, und diese Spannung zwischen Konzentration und Dissipation ist der Grund, warum die Klärung der Frage ohne äußere Kraft neue Ideen erfordert.

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; für $f\equiv0$ schließt keine bestehende Technik die Lücke. Eine ausführliche Darstellung bietet Warum es schwer ist.

Im Jahr 2000 erklärte das Clay Mathematics Institute diese Regularitätsfrage zu einem von sieben Millennium-Preis-Problemen und setzte 1.000.000 US-Dollar für eine nach seinen Regeln anerkannte Lösung aus. Die offizielle Problemstellung akzeptiert eine beliebige von vier Alternativen: globale Glattheit ohne äußere Kraft oder Zusammenbruch, wobei zulässige glatte Kräfte erlaubt sind, jeweils im ganzen Raum oder in einer periodischen Box. Diese Übersicht erklärt, warum diese Preisfrage im Gesamtzusammenhang wichtig ist.

Die genaue Formulierung steht in der offiziellen Problemstellung, erklärt. Wo die Dinge derzeit stehen, zeigt der aktuelle Status (Quellen geprüft am 2026-09-29).

Das Clay Mathematics Institute nahm diese Regularitätsfrage 2000 in seine Liste der Millennium-Preis-Probleme auf. Die von C. Fefferman verfasste Formulierung ist auf $\mathbb{R}^3$ und $\mathbb{T}^3$ gestellt und akzeptiert entweder einen Beweis globaler glatter Existenz mit $f\equiv0$ (A, B) oder die Konstruktion eines Zusammenbruchs, bei der eine zulässige glatte Kraft gewählt werden darf (C, D).

Lesen Sie die offizielle Problemstellung, erklärt, oder prüfen Sie den aktuellen Status (Quellen geprüft am 2026-09-29).

Diese Seite ist eine Übersichtskarte. Wählen Sie die Frage, mit der Sie gekommen sind:

• Ist es gelöst? Die Ankündigung vom September 2026, Clays Reaktion und was offen bleibt.
• Was genau fragt Clay? Die offizielle Problemstellung, ihre vier Alternativen und deren Bedingungen.
• Warum ist es schwer? Superkritikalität, Turbulenz und die Skalierungslücke.
• Warum ist 2D einfacher? Wirbelstreckung und was sie in drei Dimensionen aushebelt.
• Was ist eine schwache Lösung? Schwache, starke und glatte Lösungen und was Eindeutigkeit jeweils bedeutet.
• Was wurde bewiesen? Von Leray bis zur Behauptung von 2026.

Für ausführliche Darstellungen:

• Ist es gelöst? Das angekündigte Theorem, seine Entsprechung zu C/D, der Stand der Bewertung und offene Fragen.
• Das Millennium-Problem Feffermans Formulierung, Funktionenräume, die Bedingungen (4)–(11) und was als gültige Lösung zählt.
• Warum es schwer ist Die superkritische Skalierung, die Rolle der Nichtlinearität und die Lücke zwischen Kontrolle auf Energieniveau und Regularität.
• Warum 2D einfacher ist als 3D Vortizitätstransport, Enstrophiekontrolle und Wirbelstreckung.
• Schwache, starke und glatte Lösungen Distributionelle versus Leray–Hopf-Lösungen und schwach-starke Eindeutigkeit.
• Fortschritt Meilensteine und das Kapitel 2026 im Kontext.

Mathematiker haben das Problem nicht bloß angestarrt. Sie haben mächtige Werkzeuge, Teilergebnisse und ganz neue Gebiete der Analysis entwickelt, um es zu knacken. Die Behauptung von 2026 fügt eine neue Konstruktion hinzu, die es zu untersuchen gilt, während die Frage ohne äußere Kraft, die Eindeutigkeit schwacher Lösungen und die Mechanismen, durch die sich Strömungen konzentrieren, aktive Forschungsthemen bleiben.

Siehe auch: Den bisherigen Fortschritt ansehen →

Das Navier-Stokes-Problem hat im vergangenen Jahrhundert wesentliche Entwicklungen in der harmonischen Analysis, der Funktionalanalysis und der geometrischen Maßtheorie vorangetrieben. Partielle Regularitätsresultate, bedingte Blowup-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 verläuft. Die angekündigte Konstruktion mit Kraft (C/D) steht nun neben diesen Resultaten; der Fall $f\equiv0$ bleibt offen.

Siehe auch: Überblick über den Fortschritt →