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

Kurz gesagt: Das offizielle Clay-Problem fragt, ob glatte dreidimensionale inkompressible Navier-Stokes-Strömungen für alle Zukunft glatt bleiben müssen oder ob zulässige glatte Anfangsdaten zusammenbrechen können. Stand Juli 2026 hat das Clay Mathematics Institute weder einen Beweis noch ein Gegenbeispiel akzeptiert.

Im Jahr 2000 wählte das Clay Mathematics Institute sieben der schwierigsten ungelösten Probleme der Mathematik aus und setzte 1 Million US-Dollar auf jedes davon aus. Das Problem der Existenz und Glattheit der Navier-Stokes-Gleichungen kam auf die Liste.

Diese Seite führt in einfacher Sprache durch die offizielle Problemstellung — Charles Feffermans PDF des Clay Mathematics Institute, unten verlinkt: was Clay fragt, welche Anfangsdaten erlaubt sind und was als Beweis oder Gegenbeispiel zählen würde. Wenn du nur den aktuellen Status suchst, siehe Ist das Navier-Stokes-Problem gelöst? (Status Juli 2026)

Die Frage, auf den Kern reduziert: liefern die Gleichungen der Fluidbewegung immer glatte, wohlerzogene Lösungen, oder können sie einen Blow-up entwickeln?

Niemand hat den Preis beansprucht. Es gab echte Fortschritte im Verständnis dessen, wie eine Lösung oder ein Zusammenbruch aussehen würde, aber das Clay-Millennium-Problem selbst ist weiterhin völlig offen.

Kurz gesagt: Das Clay-Problem fragt, ob die akzeptierten 3D-inkompressiblen Navier-Stokes-Formulierungen aus glatten divergenzfreien Daten stets globale glatte Lösungen zulassen oder ob zulässige glatte Daten einen Zusammenbruch in endlicher Zeit erzwingen können. Stand Juli 2026 ist keine der beiden Alternativen bewiesen.

Der Clay-Millennium-Preis für Navier-Stokes ist in der offiziellen Problembeschreibung von Charles Fefferman formuliert. Es werden zwei Formulierungen angegeben, eine auf $\mathbb{R}^3$ und eine auf $\mathbb{T}^3$ mit periodischen Randbedingungen. Eine gültige Lösung muss eine der akzeptierten Alternativen der Clay-Formulierung behandeln.

Der Preis verlangt entweder:

• (A) Existenz und Glattheit: Beweise, dass die zulässigen glatten divergenzfreien Anfangsdaten eine glatte Lösung für alle $t \geq 0$ mit der geforderten Energiekontrolle erzeugen.
• (B) Zusammenbruch: Gib zulässige glatte Daten an, mit der in der jeweiligen Formulierung erlaubten Kraft, für die keine global glatte Lösung existiert.

Diese Seite paraphrasiert und erklärt die offizielle Problemstellung; für den maßgeblichen Text nutze die unten verlinkte Clay-Quelle.

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.

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.

Hier ist, was das Problem tatsächlich fragt, in einfacher Sprache:

Ausgangslage: Nimm eine beliebige anfängliche Fluidgeschwindigkeit, die vollkommen glatt ist (keine scharfen Kanten, keine Unstetigkeiten) und im Unendlichen abklingt. Weit weg vom Geschehen ruht das Fluid.

Frage: Bleibt die Geschwindigkeit glatt und endlich für alle zukünftigen Zeiten? Oder kann sie einen Blow-up entwickeln?

Zwei Antworten. Nur zwei.

1. Ja, immer glatt. Beweise, dass die Lösung, ganz gleich welchen glatten Anfangszustand du wählst, für immer glatt bleibt. Jede Anfangsbedingung, jede Zeit.
2. Nein, Blow-up tritt auf. Finde eine konkrete glatte Anfangskonfiguration, möglicherweise zusammen mit einer glatten äußeren Kraft, bei der die Lösung zusammenbricht. Eine einzige genügt.

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.
• Schiere Hartnäckigkeit (erkunde, warum). Über 180 Jahre Bemühungen einiger der größten Mathematiker, die je gelebt haben, und wir kennen die Antwort immer noch nicht.

Ein begabter Bachelorstudent kann die Frage in fünf Minuten formulieren. Niemand hat eine Antwort gefunden. Diese Kluft zwischen einer einfachen Aussage und einem unerreichbaren Beweis definiert ein Millennium-Problem.

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 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.
• Heute: Weiterhin offen. Aktive Arbeiten zu Ansätzen in kritischen Räumen, zur Klassifikation von Type-I/II-Blow-up und zu computerunterstützten Beweisen.

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.

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.