Navier-Stokes-Problem

Wasser in einem Rohr, Rauch über einer Kerze, Luft um einen Flügel: All das sind Strömungen. Für solche Strömungen gibt es seit dem 19. Jahrhundert einen Satz von Rechenregeln. Sie heißen nach ihren Entdeckern Claude Navier und George Stokes und beschreiben, wie sich Geschwindigkeit und Druck in einer Flüssigkeit von Moment zu Moment ändern. Diese Regeln funktionieren in der Praxis hervorragend, Ingenieure rechnen täglich mit ihnen. Trotzdem fehlt der Mathematik ein Beweis, dass sie sich immer vernünftig verhalten. Genau diese Beweislücke ist das Navier-Stokes-Problem.

Eine Million Dollar für einen Beweis

Im Jahr 2000 hat das Clay Mathematics Institute in den USA sieben besonders harte offene Fragen ausgewählt. Sie heißen Millennium-Probleme, und auf jede ist ein Preisgeld von einer Million US-Dollar ausgeschrieben. Das Navier-Stokes-Problem ist eines davon. Bis heute ist nur ein einziges dieser sieben Probleme gelöst, und Navier-Stokes gehört nicht dazu.

Die Frage ist nicht bloß akademisch. Wenn niemand beweisen kann, dass die Gleichungen immer eine saubere Lösung haben, weiß man auch nicht sicher, wann Computerrechnungen mit ihnen vertrauenswürdig sind. Wettermodelle, Klimamodelle und Simulationen von Flugzeugflügeln stützen sich alle auf diese Gleichungen. Sie liefern brauchbare Ergebnisse, aber ohne mathematische Garantie.

Dahinter steckt außerdem eine physikalische Frage: Turbulenz. Damit ist das wilde, chaotische Durcheinander in einer Strömung gemeint, etwa hinter einem Brückenpfeiler im Fluss. Turbulenz gilt als eines der letzten großen unverstandenen Phänomene der klassischen Physik. Viele Forscher hoffen, dass ein Beweis auch hier neue Einsichten bringt.

Woran der Beweis scheitert

Die Gleichungen sagen einem nicht direkt, wie eine Strömung aussieht. Sie sagen nur, wie sie sich in der nächsten Sekunde verändert. Man gibt einen Startzustand vor und rechnet Schritt für Schritt weiter. Die gesuchte Aussage lautet: Zu jedem harmlosen Startzustand existiert eine Lösung, die für alle Zeiten glatt bleibt. Glatt heißt hier, dass Geschwindigkeit und Druck nirgends ins Unendliche springen.

Das Problem ist ein Rückkopplungseffekt in den Gleichungen. Eine schnelle Strömung transportiert sich selbst und kann sich dabei auf immer kleinerem Raum zusammendrängen. Rein rechnerisch könnte die Geschwindigkeit an einem Punkt dadurch in endlicher Zeit unendlich groß werden. Man nennt das eine Singularität. Niemand hat je eine solche Singularität gefunden, aber niemand konnte sie auch ausschließen.

Zum Vergleich: In zwei Dimensionen, also bei einer gedachten flachen Strömung, ist die Frage längst geklärt und die Antwort lautet ja. Der dreidimensionale Fall, also die echte Welt, widersteht seit über 90 Jahren. Teilerfolge gibt es: Man weiß, dass Lösungen zumindest für eine kurze Zeitspanne existieren. Für alle Zeiten ist es offen.

Von Wettermodellen bis zur KI-Forschung

Praktisch begegnet dir Navier-Stokes ständig, ohne dass der Name fällt. Jede Wetterprognose ist eine Näherungsrechnung dieser Gleichungen. Dasselbe gilt für die Strömungssimulation eines Autos im virtuellen Windkanal, für Blutflussmodelle in der Medizin und für die Wasseranimationen in Filmen und Computerspielen.

In den KI-Nachrichten taucht der Begriff aus zwei Gründen auf. Erstens versuchen Forschungsgruppen, die aufwendigen Strömungsrechnungen durch trainierte Modelle zu ersetzen. Solche Modelle liefern in Sekunden eine Schätzung, wo ein klassischer Rechner Stunden braucht. Zweitens gelten die Millennium-Probleme als Maßstab dafür, wie weit KI beim Beweisen von Mathematik ist. Wenn ein Anbieter behauptet, sein Modell könne echte Forschung leisten, wird gern gefragt, ob es an so etwas herankommt.

Ein häufiger Irrtum ist, das Navier-Stokes-Problem sei ein Rechenproblem, das schnellere Computer lösen könnten. Das trifft nicht zu. Gesucht ist ein logischer Beweis über alle möglichen Startzustände hinweg, und davon gibt es unendlich viele. Simulationen können höchstens Hinweise geben, wo man nach einer Singularität suchen sollte.