Die Navier-Stokes-Gleichungen, ein Meisterwerk der Strömungsmechanik, haben die Wissenschaft seit ihrem Erscheinen in den frühen 19. Jahrhundert in Bann gezogen. Claude-Louis Navier und George Gabriel Stokes legten mit ihren Arbeiten das Fundament für die Beschreibung der Bewegung von Flüssigkeiten und Gasen, doch das mathematische Herz dieser Gleichungen schlägt unregelmäßig. Seitdem ist die Frage, ob glatte Lösungen für alle Zeiten existieren oder in endlicher Zeit zu einer Singularität kollabieren, ein Rätsel, das die mathematische Gemeinschaft zutiefst beschäftigt. Dieses Problem, eines der sieben Millennium-Probleme des Clay Mathematics Institute, ist mit einer Million US-Dollar dotiert und birgt in sich die Möglichkeit, die Natur der Turbulenz und die Grun dlagen der modernen Physik zu revolutionieren.

Die Kernherausforderung liegt in der Nichtlinearität der Gleichungen, insbesondere im konvektiven Term $(v \cdot \nabla)v$. Dieser Term bewirkt, dass Energie von großen Wirbeln auf immer kleinere Skalen übertragen wird – ein Prozess, der als Energietransferkaskade bekannt ist. Während die Viskosität Energie auf kleinsten Skalen in Wärme umwandelt und dissipiert, fehlt es an mathematischen Werkzeugen, um zu garantieren, dass dieser Dissipationsprozess schnell genug erfolgt, um eine unendliche Energiedichte an einem Punkt zu verhindern. Jean Leray bewies 1934 die Existenz sogenannter „schwacher Lösungen“, die jedoch nicht eindeutig sind und Singularitäten zulassen. Die Frage bleibt, ob diese schwachen Lösungen unter glatten Anfangsbedingungen tatsächlich glatt bleiben oder ob sie versagen.

Ein zentrales Hindernis ist die sogenannte Suprakritikalität. Wie der Mathematiker Terence Tao in seinen Analysen dargelegt hat, sind die natürlichen Erhaltungsgrößen, insbesondere die Energie, im dreidimensionalen Fall nicht stark genug, um das Verhalten auf feinen Skalen zu kontrollieren. Die Skalierungsinvarianz der Gleichungen bedeutet, dass man durch Reskalierung von Raum und Zeit die Normen der Lösung verändern kann, ohne die Gleichung selbst zu ändern. Da die Energie-Norm kritisch oder sogar superkritisch bezüglich dieser Skalierung ist, reichen Energieschätzungen allein nicht aus, um Regularität zu beweisen. Standardmethoden der Analysis versagen hier, da sie entweder kleine Anfangsdaten voraussetzen (Störungstheorie) oder exakte symmetrische Lösungen benötigen, die im allgemeinen Fall nicht vorliegen.

Trotz dieser theoretischen Blockaden gibt es Fortschritte in der quantitativen Analyse. Tao und andere Forscher haben quantitative Versionen des Escauriaza-Seregin-Sverak-Kriteriums entwickelt. Diese Arbeiten zeigen, dass wenn eine Singularität auftritt, bestimmte kritische Normen (wie die $L^3$-Norm) mit einer spezifischen Rate divergieren müssen – konkret mit einer dreifach-exponentiellen Abhängigkeit. Dies liefert kein Gegenbeispiel zur Glattheit, schränkt aber die möglichen Formen eines Blow-ups stark ein. Zudem hat die partielle Regularitätstheorie, vorangetrieben durch Caffarelli, Kohn und Nirenberg, gezeigt, dass die Menge der Singularitäten, falls sie existieren, „klein“ sein muss (Hausdorff-Dimension $\leq 1$). Das bedeutet nicht, dass keine Singularitäten existieren, sondern dass sie im Raum-Zeit-Kontext isoliert oder linienförmig auftreten müssten, nicht flächendeckend.

In den letzten Jahren hat der Einsatz von Deep Learning neue Perspektiven eröffnet. Forscher nutzen neuronale Netze, um nach Kandidaten für Blow-up-Singularitäten zu suchen. Diese „Glacial Neural Networks“ können hochpräzise Näherungen finden, die mit traditionellen numerischen Methoden unmöglich wären. Allerdings bleibt ein fundamentales Problem: Computer können keine unendlichen Werte berechnen. Was als Singularität erscheint, kann bei höherer Auflösung verschwinden oder sich auflösen. Die KI-Ergebnisse sind daher Hinweise auf Instabilitäten, aber keine mathematischen Beweise für die Existenz einer wahren Singularität in den Navier-Stokes-Gleichungen.

Kritisch zu betrachten ist das Narrativ um behauptete Lösungen und Widerlegungen der Gleichungen selbst. Es kursieren zahlreiche Publikationen von Autoren wie Alexander G. Ramm oder Charles L. Fefferman, die die Nicht-Existenz globaler glatter Lösungen behaupten oder sogar die Gültigkeit der Navier-Stokes-Gleichungen als physikalisches Modell infrage stellen. Ramm argumentiert beispielsweise mit einem „Paradoxon“ und hyper-singulären Integralungleichungen, um zu beweisen, dass keine globalen Lösungen existieren. Fefferman hingegen hat in seinen Millennium-Preisanforderungen betont, dass die Schwierigkeit nicht im Fehlen von Werkzeugen liegt, sondern darin, dass bestehende Techniken unzulänglich sind.

Hier muss das Briefing die Gegenargumente substanziell abwägen. Die kritische Strömungsdynamik und numerische Simulation deuten darauf hin, dass Turbulenz zwar komplex ist, aber nicht zwangsläufig zu einem mathematischen Versagen der Gleichungen führt. Physikalisch gesehen dissipiert Energie in realen Fluiden immer effizient genug, um Unendlichkeiten zu vermeiden. Die Behauptung, die Navier-Stokes-Gleichungen seien physikalisch inkorrekt oder widersprüchlich, ignoriert ihre immense praktische Erfolgsbilanz in Ingenieurwesen und Meteorologie. Spekulative Modelle, die neue Felder (wie die „Tavari Field“) oder fraktale Druckterme einführen, um Singularitäten zu unterdrücken, sind mathematisch nicht etabliert und lösen das Millennium-Problem nicht, sondern umgehen es durch Modifikation der zugrundeliegenden Annahmen. Die Behauptung einer „analytischen Lösung“ für den allgemeinen Fall mittels Cauchy-Kovalevskaya-Theorem ist irreführend, da dieses Theorem nur lokale Existenz für analytische Anfangsdaten garantiert, nicht aber globale Glattheit für glatte (aber nicht analytische) Daten.

Ein weiterer Aspekt ist die Unterscheidung zwischen der Euler-Gleichung (reibungsfrei) und der Navier-Stokes-Gleichung. Für die Euler-Gleichungen gibt es Hinweise auf Blow-up in endlicher Zeit, doch die Viskosität in den Navier-Stokes-Gleichungen wirkt als Regularisierer. Die Frage ist, ob diese Regularisierung stark genug ist, um dem nichtlinearen Verstärkungsmechanismus dauerhaft standzuhalten. Bisherige numerische Evidenz für Blow-up bezieht sich oft auf vereinfachte Modelle oder höhere Dimensionen ($n > 4$), wo die Suprakritikalität noch ausgeprägter ist. Im dreidimensionalen Fall bleibt der Beweis aus.

Offene Fragen bleiben zahlreich. Erstens: Gibt es eine neue Erhaltungsgröße oder eine verallgemeinerte Entropie-Struktur, die ähnlich wie Perelmans Entropie für den Ricci-Flow wirken könnte? Zweitens: Können quantitative Blow-up-Kriterien so verschärft werden, dass sie einen Widerspruch zu bekannten physikalischen Gesetzen aufzeigen? Drittens: Ist die Suprakritikalität ein fundamentales Hindernis oder nur ein Mangel unserer aktuellen analytischen Methoden?

Fazit: Das Navier-Stokes-Problem ist weder gelöst noch widerlegt. Die mathematische Gemeinschaft steht vor einem Dilemma zwischen der physikalischen Überzeugung, dass Lösungen glatt bleiben müssen, und der mathematischen Möglichkeit, dass die Nichtlinearität in 3D unkontrollierbar wird. Behauptungen einer vollständigen Lösung sind entweder auf spezielle Fälle beschränkt, methodisch fehlerhaft oder basieren auf nicht-mainstream-Modellen. Die wahre Natur der Turbulenz und die globale Regularität der Navier-Stokes-Gleichungen bleiben eines der tiefgründigsten ungelösten Rätsel der Wissenschaft. Bis ein rigoroser Beweis der Glattheit oder ein konstruierter Blow-up vorliegt, bleibt das Millennium-Problem offen.

— Twight Sterling, Sigil & Spark