Das Navier-Stokes-Problem: Überblick über die offene 3D-Frage

Nein, es ist nicht gelöst.

Diese Seite ist der breite Überblick über das Problem. Für den aktuellen Status (Juli 2026) und gescheiterte Lösungsansprüche siehe Ist das Navier-Stokes-Problem gelöst?. Für die offizielle Clay-Formulierung siehe Existenz und Glattheit der Navier-Stokes-Gleichungen.

Das Navier-Stokes-Problem stellt eine trügerisch einfache Frage: Wenn man eine 3D-Flüssigkeit glatt in Bewegung setzt, bleibt sie für immer glatt? Oder kann die Bewegung so wild werden, dass die Gleichungen zusammenbrechen und die Glattheit in endlicher Zeit versagt?

Niemand weiß es.

Dies ist das Existenz- und Glattheitsproblem für die Navier-Stokes-Gleichungen, eine der tiefsten offenen Fragen der gesamten Mathematik, und es hat seit der Ausformulierung der Gleichungen im 19. Jahrhundert jedem Beweisversuch widerstanden. Es wurden Lösungen behauptet. Keine hatte Bestand. Zum vollständigen Stand siehe Ist es gelöst?

Das Problem ist offen.

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.

Beide Richtungen sind offen. Kein Beweis zeigt globale Regularität; keine Konstruktion erzeugt einen Blow-up in endlicher Zeit aus glatten Daten. Das Problem ist seit den grundlegenden Arbeiten von Navier (1822) und Stokes (1845) offen und bleibt eines der zentralen offenen Probleme in Analysis und mathematischer Physik.

Zum aktuellen Stand, einschließlich veröffentlichter Behauptungen und ihres Schicksals, siehe Ist es gelöst?

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 (Juli 2026).

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 (Juli 2026).

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

• Ist es gelöst? Nein. Hier ist der aktuelle Stand, mit wichtigen veröffentlichten Behauptungen und den technischen Gründen, warum sie der Prüfung durch Fachleute nicht standhielten.
• 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? Stand des Problems, veröffentlichte und zurückgezogene Behauptungen, Verifikationsstandards.
• 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.

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.

Überblick über den Fortschritt →