Euler vs. Navier-Stokes: Was ist der Unterschied?
Die Euler-Gleichungen vernachlässigen die Viskosität. Die Navier-Stokes-Gleichungen berücksichtigen sie. Dieser eine Unterschied verändert die Physik, die Mathematik und die Millionen-Dollar-Frage.
Die kurze Antwort
Die Euler-Gleichungen beschreiben ein Fluid mit null innerer Reibung. Überhaupt keine Viskosität. Die Navier-Stokes-Gleichungen beschreiben dasselbe Fluid mit berücksichtigter Viskosität.
Mathematisch besteht der ganze Unterschied aus einem Term: $\nu \Delta u$, dem viskosen Diffusionsterm. Entfernt man ihn, werden die Navier-Stokes-Gleichungen zu den Euler-Gleichungen. Behält man ihn bei, erhält die Gleichung einen Glättungsmechanismus, der sowohl die Physik als auch die Analysis auf Weisen verändert, die man von einem einzigen zusätzlichen Term nicht erwarten würde.
Dieser eine Term erklärt, warum Rauch sich zerstreut, warum sich Grenzschichten entlang von Oberflächen bilden und warum das Navier-Stokes-Millennium-Problem einen völlig anderen Charakter hat als die entsprechende Euler-Frage.
Die inkompressiblen Euler-Gleichungen auf $\mathbb{R}^3$ lauten
$$\partial_t u + (u \cdot \nabla)u = -\nabla p, \qquad \nabla \cdot u = 0.$$
Die inkompressiblen Navier-Stokes-Gleichungen lauten
$$\partial_t u + (u \cdot \nabla)u = -\nabla p + \nu \Delta u, \qquad \nabla \cdot u = 0,$$
mit $\nu > 0$ als kinematischer Viskosität. Formal erhält man Euler zurück, indem man $\nu = 0$ in den Navier-Stokes-Gleichungen setzt. Doch diese formale Substitution verdeckt die Tatsache, dass der $\nu \to 0$-Grenzwert singulär ist: Der viskose Term $\nu \Delta u$ trägt die räumliche Ableitung höchster Ordnung im System, und sein Weglassen verändert den PDE-Typ und die Funktionenräume, in denen Lösungen liegen.
Die beiden Gleichungen nebeneinander
Beide Gleichungen in ihrer standardmäßigen inkompressiblen Form, so geschrieben, dass der Vergleich offensichtlich ist:
Euler:
$$\partial_t u + (u \cdot \nabla)u = -\nabla p$$
Navier-Stokes:
$$\partial_t u + (u \cdot \nabla)u = -\nabla p + \nu \Delta u$$
Gleiche linke Seite: die Änderungsrate der Geschwindigkeit plus der nichtlineare Selbsttransportterm $(u \cdot \nabla)u$. Beide erzwingen Inkompressibilität durch $\nabla \cdot u = 0$. Der einzige strukturelle Unterschied ist der viskose Term $\nu \Delta u$ auf der rechten Seite der Navier-Stokes-Gleichungen.
Der Parameter $\nu$ ist die kinematische Viskosität, eine physikalische Konstante des Fluids. Honig hat ein großes $\nu$. Luft hat ein kleines. Die Euler-Gleichungen entsprechen $\nu = 0$: einer vollkommen reibungsfreien Idealisierung, die manche Strömungen mit hoher Reynolds-Zahl fern von Rändern approximieren kann, aber in keinem realen Fluid existiert.
Beide Systeme teilen die bilineare Form $(u \cdot \nabla)u$ und den Druck, der implizit durch die Divergenzfreiheit bestimmt wird. Nimmt man die Divergenz der Impulsgleichung und verwendet $\nabla \cdot u = 0$ erhält man die Poisson-Gleichung für den Druck
$$-\Delta p = \nabla \cdot ((u \cdot \nabla)u) = \partial_i \partial_j (u_i u_j),$$
die für beide Systeme identisch ist. Der Druck ist in beiden Fällen ein nichtlokales Funktional von $u$.
Der viskose Term $\nu \Delta u$ ist ein linearer elliptischer Operator zweiter Ordnung, der auf jede Geschwindigkeitskomponente wirkt. Er ist parabolische Regularisierung: Seine Anwesenheit macht die Navier-Stokes-Gleichungen zu einem semilinearen parabolischen System, während inkompressible Euler eine nichtlineare Transportgleichung erster Ordnung mit nichtlokaler Druckkopplung ist. Dieser Unterschied im PDE-Typ bestimmt nahezu jeden weiteren Unterschied in der Regularitätstheorie.
Was Viskosität physikalisch bewirkt
Viskosität ist Reibung zwischen benachbarten Fluidschichten. Eine schnelle Schicht neben einer langsamen? Viskosität überträgt Impuls zwischen ihnen und glättet den Geschwindigkeitsunterschied. Einfaches Konzept. Die Folgen sind enorm, und sie trennen Navier-Stokes von Euler auf drei Weisen.
- Dissipation. Kinetische Energie wird in Wärme umgewandelt. Rühren Sie Kaffee um und hören Sie dann auf. Schließlich kommt er zur Ruhe, weil Viskosität die Bewegung als Wärmeenergie abführt. Euler kann dies überhaupt nicht vorhersagen, da es in den Gleichungen keinen Mechanismus gibt, der kinetische Energie in Wärme ableitet.
- Grenzschichten. Reale Fluide haften an Oberflächen (die No-Slip-Bedingung) und erzeugen nahe an Wänden dünne Schichten mit rascher Geschwindigkeitsänderung. Diese erzeugen Widerstand an Flugzeugflügeln, Reibungsverluste in Rohren und das Einsetzen von Turbulenz bei hohen Geschwindigkeiten. Euler-Strömungen erfüllen stattdessen eine Slip-Bedingung und verfehlen daher den viskosen Wandwiderstand vollständig.
- Glättung auf kleinen Skalen. Viskosität beseitigt die schärfsten Geschwindigkeitsgradienten. Ohne sie? Nichts hindert die Strömung daran, unendlich feine Strukturen zu entwickeln, immer schärfer und schärfer. Genau diese Glättung macht die Regularitätsfrage für Navier-Stokes zu einem anderen Kaliber als Euler.
Die Energieidentität für Navier-Stokes auf $\mathbb{R}^3$ (oder einem periodischen Gebiet) lautet
$$\frac{d}{dt}\frac{1}{2}\|u\|_{L^2}^2 = -\nu \|\nabla u\|_{L^2}^2,$$
also wird kinetische Energie monoton dissipiert. Für Euler ($\nu = 0$), die $L^2$-Norm von $u$ ist formal erhalten.
Auf der Ebene der Randbedingungen verwendet Navier-Stokes Haftbedingungen ($u|_{\partial \Omega} = 0$), während Euler nur Undurchlässigkeit verlangt ($u \cdot n = 0$). Für $\nu \to 0$ erzeugt die Nichtübereinstimmung zwischen diesen Bedingungen die Prandtl-Grenzschicht. Es handelt sich um ein singuläres Störungsphänomen, mit dem man seit Prandtls Arbeit von 1904 ringt.
Physikalisch wirkt Viskosität als Hochfrequenzfilter: Sie dämpft Fourier-Moden mit der Rate $\nu |k|^2$, wobei kleine Skalen bevorzugt unterdrückt werden. Diese spektrale Dämpfung ist der Mechanismus hinter der Kolmogorov-Dissipationsskala $\eta \sim (\nu^3 / \varepsilon)^{1/4}$ in der Turbulenz. Siehe Reynolds-Zahl und Turbulenz für das vollständige Skalierungsbild.
Ist Euler einfach Navier-Stokes mit verschwindender Viskosität?
Formal? Ja. Setzt man $\nu = 0$, erhält man Euler. Aber damit aufzuhören, darüber nachzudenken, wäre ein gravierender Fehler.
Der Grenzübergang $\nu \to 0$ ist singulär. Die Viskosität trägt die Ableitungen höchster Ordnung in der Gleichung; sie zu entfernen ist also keine kleine Änderung. Es verändert vollständig, mit welcher Art von PDE man es zu tun hat. Grenzschichten dünnen nicht einfach harmlos aus. Sie können in Turbulenz umschlagen. Lösungen, die unter Navier-Stokes vollkommen glatt waren, können unter Euler ein völlig anderes Verhalten entwickeln.
Ja, die beiden Gleichungen teilen ihre mathematische DNA. Aber der Grenzfall verschwindender Viskosität ist eines der tiefsten offenen Probleme der gesamten Strömungsmechanik, keine Rechnung auf einer Serviette.
Der reibungsfreie Grenzübergang $\nu \to 0$ ist eine singuläre Störung: $\nu \Delta u$ trägt die höchsten räumlichen Ableitungen im System, sodass das Setzen von $\nu = 0$ die Ordnung der PDE senkt. Auf Gebieten mit Rand ist der Grenzübergang an die Gültigkeit der Prandtl-Grenzschichtentwicklung gekoppelt, die spektakulär scheitern kann (Grenier 2000, Gérard-Varet & Dormy 2010).
Auf $\mathbb{R}^3$ oder $\mathbb{T}^3$ (ohne Ränder) wird die Situation klarer. Wenn die Euler-Lösung $u^E$ auf $[0,T]$ glatt bleibt, dann konvergieren Navier-Stokes-Lösungen $u^\nu$ gegen $u^E$ in $L^2$ für $\nu \to 0$ (Kato 1972). Klarer, aber nicht einfach: Ob Euler-Lösungen in 3D überhaupt global glatt bleiben, ist selbst offen, und genau darin liegt das ganze Problem.
Der Grenzübergang kollidiert außerdem frontal mit der Turbulenztheorie. Kolmogorovs Bild erfordert $\nu > 0$, um eine Dissipationsskala zu definieren. Doch anomale Dissipation, also das Fortbestehen von Energiedissipation für $\nu \to 0$, ist seit Jahrzehnten eine offene Vermutung. Onsagers Vermutung (heute ein Satz: Isett 2018, verschärft von Buckmaster, De Lellis, Székelyhidi und Vicol im Jahr 2019) charakterisiert genau, wann Euler-Lösungen Energie ganz ohne Viskosität dissipieren können.
Wann verwendet man Euler statt Navier-Stokes?
Immer dann, wenn Viskosität im Vergleich zu den anderen wirkenden Kräften vernachlässigbar ist. Das passiert häufiger, als man denkt:
- Hochgeschwindigkeits-Aerodynamik abseits von Oberflächen. Fern von einem Flügel ist die Luftströmung nahezu reibungsfrei. Ingenieure verwenden routinemäßig Euler-Löser für die Hauptströmung und ergänzen in Wandnähe Grenzschichtkorrekturen.
- Astrophysikalische Strömungen. Interstellare Gaswolken, Sterninneres, Akkretionsscheiben um Schwarze Löcher. Auf diesen Skalen ist molekulare Viskosität völlig irrelevant (auch wenn turbulente effektive Viskosität es nicht unbedingt ist).
- Kompressible Gasdynamik. Stoßwellen. Detonationen. Überschallflug. Die dominierende Physik sind Druck und Trägheit, nicht Reibung.
- Reine Theorie. Euler ist für sich genommen studierenswert, nicht nur als Zwischenschritt zu Navier-Stokes. Es verbindet sich mit riemannscher Geometrie, Wirbeldynamik und tiefen Fragen zur Struktur der Turbulenz selbst.
Aber für alles, bei dem Reibung, Widerstand oder Randverhalten eine Rolle spielen (Rohrströmung, Fahrzeugaerodynamik nahe Oberflächen, Blutkreislauf, Wetter auf menschlichen Skalen), braucht man Navier-Stokes. Punkt.
Die Euler-Gleichungen beschreiben das Verhalten führender Ordnung bei hoher Reynolds-Zahl $\mathrm{Re} = UL/\nu \gg 1$. Bei diesen Reynolds-Zahlen werden viskose Effekte auf dünne Grenzschichten und innere Scherschichten beschränkt, während die Hauptströmung abseits von Wänden durch Euler gut approximiert wird.
Die kompressiblen Euler-Gleichungen, ein hyperbolisches System mit endlicher Ausbreitungsgeschwindigkeit, sind das Standardmodell der Gasdynamik, einschließlich Stoßbildung und Riemann-Problemen. Sie unterscheiden sich von den oben diskutierten inkompressiblen Euler-Gleichungen: Kompressible Euler-Gleichungen sind echt hyperbolisch, während inkompressible Euler-Gleichungen eine nichtlokale Druckkopplung und unendliche Ausbreitungsgeschwindigkeit besitzen.
In der mathematischen Analysis dient Euler sowohl als Grenzobjekt für das Problem verschwindender Viskosität als auch als reichhaltiges PDE-System mit eigener Regularitätstheorie, Erhaltungsgrößen (Helizität, Casimire über den Euler-Arnold-Rahmen auf der Diffeomorphismengruppe) und Verbindungen zur geometrischen Mechanik.
Was der Unterschied für die Regularität bedeutet
Hier ist die Kluft am wichtigsten, und hier wird es wirklich interessant.
Das Navier-Stokes-Millennium-Problem stellt eine Frage, die fast zu einfach klingt: Wenn man in drei Dimensionen mit einer glatten, gutartigen Strömung beginnt, bleibt die Lösung für immer glatt, oder kann es zu einem Blow-up kommen? Niemand auf der Welt kennt die Antwort.
Dieselbe Frage ist auch für Euler in 3D offen. Aber die beiden Probleme fühlen sich völlig verschieden an:
- Navier-Stokes hat die Viskosität auf seiner Seite. Sie glättet immer, dissipiert immer Energie und dämpft immer die schärfsten Gradienten. Die eigentliche Frage ist, ob diese Glättung stark genug zu überwältigen, bevor er eine Singularität erzeugt.
- Euler hat nichts. Keine Glättung. Keine Dissipation. Der nichtlineare Term kann Geschwindigkeitsgradienten verstärken, ohne dass ihm irgendeine Gegenkraft entgegenwirkt, und ob dies aus glatten dreidimensionalen Anfangsdaten tatsächlich eine Singularität in endlicher Zeit erzeugt, ist eine der größten offenen Fragen der PDE-Theorie.
In 2D sind beide Gleichungen für glatte Anfangsdaten global wohlgestellt. Geklärt. Erledigt. Das Rätsel liegt vollständig in drei Dimensionen, für beide Gleichungen, aber aus grundlegend unterschiedlichen Gründen.
Das Regularitätsbild:
2D: Globale Existenz und Eindeutigkeit glatter Lösungen sind für beide Systeme bekannt. Für 2D-Euler mit glatten Daten bewies Wolibner (1933) die globale Existenz in Hölder-Räumen; Yudovich (1963) zeigte Eindeutigkeit für Daten mit beschränkter Vortizität. Für 2D-Navier-Stokes folgt die globale Regularität aus der Ladyzhenskaya-Ungleichung und dem Maximumprinzip für die Vortizität.
3D-Navier-Stokes: Leray (1934) bewies die globale Existenz schwacher Lösungen in $L^2$, aber Eindeutigkeit und Regularität bleiben offen. Der Satz von Caffarelli, Kohn und Nirenberg (1982) zeigt, dass die singuläre Menge eindimensionales parabolisches Hausdorff-Maß null hat; jeder Blow-up ist also, falls er auftritt, extrem spärlich. Der viskose Term liefert die zentrale a-priori-Abschätzung $\int_0^T \|\nabla u\|_{L^2}^2 \, dt \leq C(u_0)$, aber diese $H^1$-Kontrolle ist für die 3D-Skalierung subkritisch und reicht nicht aus, um ein Bootstrap-Argument zu schließen. Siehe Warum Navier-Stokes schwierig ist zur Superkritikalitätslücke.
3D-Euler: Für glatte Daten existiert keine globale Theorie. Lokale Wohlgestelltheit in Sobolev-Räumen $H^s$, $s > 5/2$, ist klassisch (Kato 1972, Kato und Ponce 1988). Das Beale-Kato-Majda-Kriterium (1984) reduziert die Erkennung eines Blow-ups auf $\int_0^T \|\omega\|_{L^\infty} \, dt$: Die Lösung bleibt auf $[0,T]$ genau dann glatt, wenn dieses Integral endlich ist. Blow-up erfordert, dass die Vortizität schnell genug wächst, sodass sie in der Zeit nicht integrierbar ist. Elgindi (2021, Annals of Mathematics) bewies die Bildung von Singularitäten in endlicher Zeit für $C^{1,\alpha}$-Daten. Ein echter Durchbruch, aber unterhalb der glatten ($C^\infty$)-Schwelle. Ob glatte Euler-Lösungen in 3D einen Blow-up entwickeln, ist weiterhin offen.
Viskosität, Turbulenz und die Kaskade
Turbulenz. Hier wird der Vergleich Euler gegen Navier-Stokes physikalisch anschaulich, fast greifbar.
In einer turbulenten Strömung wird Energie auf großen Skalen eingespeist (Größe des Rohrs, des Flügels, des Sturms) und kaskadiert hinab zu immer kleineren Wirbeln. Das ist die Energiekaskade, und sie ist eines der eindrucksvollsten Phänomene der gesamten Physik. Ganz am Ende der Kaskade wandelt Viskosität schließlich kinetische Energie in Wärme um. Endstation.
Euler erfasst die Dynamik des Inertialbereichs: Energietransfer über Skalen hinweg, getrieben durch Nichtlinearität. Aber es gibt keinen viskosen Cutoff. Kein Ende der Kaskade. Keinen Mechanismus, der kinetische Energie auf irgendeiner bestimmten Skala in Wärme umwandelt. Ob Energie im nichtviskosen Grenzfall dennoch dissipieren kann, die sogenannte anomale Dissipation, bleibt eine tiefgehende offene Frage.
Deshalb verwendet die Turbulenzmodellierung fast immer Navier-Stokes. Die Reynolds-Zahl $\mathrm{Re} = UL/\nu$ sagt aus, wie breit die Kaskade ist: hohes $\mathrm{Re}$ bedeutet viele Größenordnungen von Skalen, die Energieeinspeisung von viskoser Vernichtung trennen. Reale Turbulenz lebt in der Spannung zwischen der nichtviskosen Kaskade, die Energie nach unten schüttet, und dem viskosen Cutoff, der sie auf den kleinsten Skalen zerstört.
Kolmogorovs Theorie von 1941 sagt ein Energiespektrum $E(k) \sim \varepsilon^{2/3} k^{-5/3}$ im Inertialbereich voraus, dem Bereich, in dem weder großskalige Anregung noch viskose Dissipation dominiert. Die Dissipationsskala $\eta = (\nu^3/\varepsilon)^{1/4}$ legt das untere Ende dieses Bereichs fest. Unterhalb von $\eta$ gewinnt die Viskosität.
Die Euler-Gleichungen sind das formale $\nu = 0$-Modell. Aber Navier-Stokes-Lösungen im turbulenten Regime als gegen Euler-Lösungen konvergierend zu interpretieren, ist wirklich subtil, und die Frage, ob die Energiedissipation in diesem Grenzfall fortbesteht (anomale Dissipation), ist der Inhalt von Onsagers Vermutung. Die starre Seite, die keine Dissipation für $u \in C^{0,\alpha}$ mit $\alpha > 1/3$ zeigt, wurde 1994 von Constantin, E und Titi bewiesen. Die flexible Seite, die dissipative Euler-Lösungen unterhalb von $C^{1/3}$ konstruiert, wurde 2018 von Isett abgeschlossen, aufbauend auf dem Konvexintegrationsprogramm von De Lellis und Székelyhidi.
Für Navier-Stokes ist das Kaskadenbild direkt in die Energiebilanz eingebaut: $\varepsilon = \nu \langle |\nabla u|^2 \rangle$. Die offene Frage ist drastisch. Bleiben Navier-Stokes-Lösungen lange genug glatt, damit Kolmogorovs statistische Theorie mathematisch gerechtfertigt werden kann? Das Existenz- und Glattheitsproblem fragt teilweise genau danach: ob viskose Dissipation stark genug ist, um die Kaskade auf jeder Skala und für alle Zeiten zu zähmen.
Zusammenfassung: ein Term, zwei verschiedene Welten
Der Unterschied zwischen Euler und Navier-Stokes ist ein Term: $\nu \Delta u$. Dieser Term verändert alles.
| Euler | Navier-Stokes | |
|---|---|---|
| Viskosität | Keine ($\nu = 0$) | Vorhanden ($\nu > 0$) |
| Energie | Erhalten (formal) | Dissipiert |
| Grenzschichten | Nein | Ja (No-Slip) |
| Typ der PDE | Nichtlinear erster Ordnung + nichtlokaler Druck | Parabolisch zweiter Ordnung + nichtlokaler Druck |
| 2D-Regularität | Gelöst | Gelöst |
| 3D-Regularität | Offen | Offen (Millennium-Problem) |
Euler ist keine vereinfachte Navier-Stokes-Gleichung. Es ist ein grundlegend anderes System, das zufällig den größten Teil seiner Struktur teilt. Und die Wahl ist in der Praxis entscheidend: Das falsche Modell zu wählen (Euler, wo Viskosität eine Rolle spielt, Navier-Stokes, wo sie es nicht tut), kann eine Simulation vollständig ruinieren. Für die vollständigen Gleichungen siehe Was sind die Navier-Stokes-Gleichungen?. Zu den Hindernissen siehe Warum es schwierig ist. Zum Preis siehe Das Millennium-Problem. Zu inkompressiblen vs. kompressiblen Strömungen siehe Inkompressible vs. kompressible Navier-Stokes-Gleichungen.
Der viskose Term $\nu \Delta u$ verwandelt ein nichtlineares System erster Ordnung (Euler) in ein semilineares parabolisches System (Navier-Stokes). Man erhält: Energiedissipation, A-priori-Abschätzungen höherer Ordnung und die analytische Halbgruppenstruktur, die der Navier-Stokes-Theorie zugrunde liegt, die Leray 1934 entwickelte und Fujita und Kato 1964 erweiterten.
Doch diese Regularisierung reicht in 3D nicht aus, um das Argument für globale Regularität abzuschließen. Nicht einmal annähernd. Das Clay-Millennium-Problem fragt genau danach, ob die parabolische Glättung in den Navier-Stokes-Gleichungen den nichtlinearen Energietransfer über alle Skalen hinweg für alle Zeiten kontrollieren kann. Für Euler ist die parallele Frage ebenso drastisch: Garantiert das völlige Fehlen von Glättung einen Blow-up in endlicher Zeit aus glatten Daten? Niemand weiß es.
Beide Probleme stehen im Zentrum der mathematischen Theorie der Fluide, und ihr Vergleich zeigt genau, was Viskosität Ihnen verschafft und was nicht. Die Frage der 3D-Regularität bleibt für beide Systeme eines der schwierigsten offenen Probleme der gesamten Analysis.