Navier-Stokes-Gleichungen
Die Navier-Stokes-Gleichungen beschreiben mathematisch, wie sich Flüssigkeiten und Gase bewegen. Sie stecken hinter Wettervorhersagen, Flugzeugentwicklung und Strömungssimulationen — und gelten zugleich als eines der größten ungelösten Probleme der Mathematik.
Wasser, das um einen Stein im Bach fließt. Rauch, der sich in der Luft verwirbelt. Wind, der über eine Tragfläche streicht. All diese Bewegungen folgen denselben physikalischen Regeln. Die Navier-Stokes-Gleichungen sind die mathematische Fassung dieser Regeln. Sie sagen für jeden Punkt in einer Flüssigkeit oder einem Gas, wie schnell und in welche Richtung sich das Material dort bewegt und wie sich das im nächsten Moment ändert. Benannt sind sie nach dem Franzosen Claude-Louis Navier und dem Iren George Stokes, die sie in der ersten Hälfte des 19. Jahrhunderts aufgestellt haben.
Warum das Millennium-Problem eine Million Dollar wert ist
Man kennt die Gleichungen seit fast zweihundert Jahren. Trotzdem versteht niemand sie vollständig. Bis heute ist unbewiesen, ob sie in drei Dimensionen für alle Zeiten sinnvolle Lösungen liefern. Es könnte sein, dass die Rechnung an irgendeiner Stelle plötzlich ins Unendliche schießt. Physikalisch wäre das unsinnig, denn Wasser wird nirgends unendlich schnell.
Das Clay Mathematics Institute hat das Problem im Jahr 2000 in seine Liste der sieben Millennium-Probleme aufgenommen. Auf eine Lösung stehen eine Million US-Dollar. Sechs dieser sieben Probleme sind bis heute offen, Navier-Stokes gehört dazu. Immer wieder tauchen angebliche Beweise auf, keiner hat der Prüfung standgehalten.
Praktisch relevant sind die Gleichungen trotzdem längst. Ingenieurinnen und Meteorologen rechnen jeden Tag mit ihnen, obwohl der mathematische Unterbau lückenhaft ist. Man weiß, dass die Ergebnisse in der Praxis stimmen. Man kann nur nicht beweisen, dass sie das immer tun.
Von der Gleichung zum Rechengitter
Die Gleichungen sind im Kern eine Anwendung von Newtons Gesetz Kraft gleich Masse mal Beschleunigung — nur eben auf ein Material, das seine Form ständig ändert. Auf ein winziges Flüssigkeitspaket wirken mehrere Kräfte: der Druck von den Nachbarpaketen, die innere Reibung des Materials und äußere Kräfte wie die Schwerkraft. Innere Reibung heißt Viskosität und beschreibt, wie zäh ein Stoff ist. Honig hat eine hohe Viskosität, Luft eine sehr niedrige.
Eine exakte Formel, die man einfach ausrechnen kann, gibt es nur in stark vereinfachten Fällen. Deshalb geht man numerisch vor: Man zerlegt den Raum in Millionen kleiner Zellen, ein sogenanntes Gitter. Für jede Zelle rechnet der Computer aus, was im nächsten winzigen Zeitschritt passiert. Dann wiederholt er das tausendfach. Dieses Verfahren nennt sich Computational Fluid Dynamics, kurz CFD.
Der Haken ist der Rechenaufwand. Verwirbelte Strömungen, also Turbulenz, enthalten Strukturen von der Größe eines Flugzeugs bis hinunter zu Millimetern. Wer alles auflösen will, braucht absurd feine Gitter. In der Praxis rechnet man deshalb mit Näherungsmodellen für die kleinsten Wirbel. Genau hier setzen inzwischen auch KI-Modelle an: Neuronale Netze lernen aus alten Simulationen, wie Strömungen sich typischerweise verhalten, und liefern Näherungen in Sekunden statt Stunden.
Wetterbericht, Windkanal, Wärmepumpe
Jede Wettervorhersage beruht auf Navier-Stokes. Die Atmosphäre ist ein Gas in Bewegung, das Rechengitter überzieht den halben Planeten. Dass Prognosen nach etwa zehn Tagen unbrauchbar werden, liegt an der Natur dieser Gleichungen. Kleinste Unterschiede in den Startwerten wachsen sich zu völlig anderen Ergebnissen aus. Das ist der berühmte Schmetterlingseffekt.
In der Industrie ersetzen Simulationen zunehmend echte Windkanäle. Autohersteller optimieren den Luftwiderstand am Bildschirm, bevor ein einziges Blechteil existiert. Dasselbe gilt für Turbinenschaufeln, Schiffsrümpfe, Kühlkörper in Rechenzentren und die Durchblutung künstlicher Herzklappen.
In Tech-News begegnet dir der Begriff meist im Umfeld von Supercomputern und KI-Wettermodellen. Systeme wie GraphCast von Google DeepMind oder Aurora von Microsoft sagen das Wetter voraus, ohne die Gleichungen Schritt für Schritt zu lösen. Sie haben stattdessen aus Jahrzehnten von Wetterdaten gelernt. Ein verbreiteter Irrtum ist, dass die Physik damit überflüssig würde. Tatsächlich stammen die Trainingsdaten aus klassischen Simulationen — ohne Navier-Stokes gäbe es nichts zu lernen.