Existenz und Glattheit der Navier-Stokes-Gleichungen: Clay-Millennium-Problemstellung

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 erklärt die Clay-Problemstellung: die genaue 3D-inkompressible Navier-Stokes-Frage, 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?

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. Nicht einmal annähernd. Es gab echte Fortschritte im Verständnis dessen, wie eine Lösung (oder ein Zusammenbruch) aussehen würde, aber das Problem selbst ist weiterhin völlig offen.

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

Der Preis verlangt entweder:

• (A) Existenz und Glattheit: Beweise, dass für jedes $u_0 \in C^\infty(\mathbb{R}^3)$ mit $\nabla \cdot u_0 = 0$ und geeignetem Abklingen eine glatte Lösung $(u, p)$ for all $t \geq 0$ mit kontrolliertem Wachstum existiert.
• (B) Zusammenbruch: Gib glatte, divergenzfreie Anfangsdaten und eine glatte äußere Kraft an, für die keine glatte Lösung für alle $t > 0$ existiert.

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

Setup: 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$ there exist constants $C_{\alpha,K}$ gilt

$$|\partial^\alpha u_0(x)| \leq \frac{C_{\alpha,K}}{(1 + |x|)^K} \quad \text{on } \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{for all } 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 \geq 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.