Es wird akzeptiert, beim Lösen der Navier-Stokes-Gleichung einen Null-Druckgradienten senkrecht zu einer Wand aufzuerlegen. Gibt es dafür eine mathematische Begründung? Welcher Druck (statischer Druck, Gesamtdruck...) ist damit eigentlich gemeint?
Dies gilt normalerweise nur für eine wandbegrenzte Strömung und ist normalerweise auf inkompressible Flüssigkeiten beschränkt. Dieses Ergebnis manifestiert sich normalerweise in der Grenzschichttheorie und kann durch eine Größenordnungsanalyse der Navier-Stokes-Gleichungen erhalten werden. Die stationäre, inkompressible und konstante Eigenschaft Impulsgleichung in der Richtung nimmt die Form an,
Wo ist die Grenzschichthöhe, ist die charakteristische Länge des Körpers, und ist die äußere Strömungsgeschwindigkeit am Rand der Grenzschicht. Eine zusätzliche Einschränkung ist das . Beachten Sie, dass jeder Term eine Größenordnung hat, die mit vergleichbar ist , mit Ausnahme des normalen Druckgradiententerms und des viskosen Terms aus dem Richtung. Das erkennen wir erst einmal ist eine sehr kleine Menge und entfernt im Wesentlichen die Term aus der Gleichung. In ähnlicher Weise nähert sich der Druckgradiententerm nur am Rand der Grenzschicht, wo die viskosen Kräfte vernachlässigbar werden (dh hohe Reynolds-Zahl), einer Größenordnung an . Dies wurde zuerst von Prandtl beobachtet, worauf er über die Grenzschicht, die wir schreiben können, folgerte:
Was Ihre zweite Frage betrifft, gilt dies nur für den statischen Druck. All dies setzt auch voraus, dass die Strömung an der Wand befestigt ist.
Es kommt vom Begriff der Grenzschicht und davon, ob sie an der Wand befestigt bleibt oder nicht. Wenn Sie die Impulsgleichung normal zur Wand betrachten, kann es nur dann zu einem Druckgradienten normal zur Wand kommen, wenn eine Geschwindigkeit oder Beschleunigung normal zur Wand vorhanden ist. Wenn das der Fall ist, dann ist die Grenzschicht nicht mehr angebracht.
Dies gilt, wenn Sie sich der Wand infinitesimal nähern (na ja, solange es immer noch ein Kontinuum ist). Irgendwann haftet die Strömung an der Wand, auch wenn es nur eine winzige dünne Schicht ist, und so ist in Simulationen der Gradient an der Wand null. Wenn Sie eine richtige Rasterauflösung haben, ist alles in Ordnung.
Angesichts einiger Kommentare zu dieser Frage hielt ich es für nützlich, eine etwas ausführlichere Antwort zu geben. Ich beginne mit einer grundlegenden Wiederholung einiger mathematischer Zusammenhänge und schließe mit Kommentaren zu Ansätzen zur numerischen Lösung des Problems.
Bemerkungen zur Mathematik des inkompressiblen Navier-Stokes-Problems
Der Einfachheit halber betrachte ich ein Szenario, in dem wir uns auf eine zweidimensionale, inkompressible Navier-Stokes-Strömung beschränken, die in einem kartesischen Schema beschrieben wird - Koordinatensystem. Die Geschwindigkeits- und Druckfelder sind und .
Ich nehme auch an, dass unser Problem Dirichlet-Randbedingungen für die Geschwindigkeiten überall in einem quadratischen Gebiet hat mit Grenze .
Das Gleichungssystem, das die inkompressible Strömung in diesem Bereich beschreibt, ist gegeben durch
Dieses System muss durch Anfangs- und Randbedingungen ergänzt werden, für die wir uns entscheiden
und
wo ist die Domänengrenze. Wir lassen Beliebigkeit zu , mit Ausnahme des unteren Stücks der Begrenzung, das wir als solide rutschfeste Wand wählen, also haben wir
Beachten Sie zunächst, dass der obige Satz von Gleichungen keine Randbedingungen für den Druck enthält und auch nicht erfordert. Tatsächlich erscheint Druck als Lagrange-Multiplikator in den Impulsgleichungen, der verwendet wird, um die Lösung der Impulsgleichungen auf den Raum divergenzfreier Vektorfelder zu projizieren. Mit anderen Worten, seine Funktion besteht darin, sicherzustellen, dass die Kontinuitätsgleichung erfüllt ist und die Masse erhalten bleibt.
Es ist aufschlussreich, sich die Eigenschaften des resultierenden Druckfeldes genauer anzusehen. Wenn wir die Divergenz der Impulsgleichungen nehmen und neu anordnen, finden wir, dass das Druckfeld die Poisson-Gleichung erfüllt
wobei der Doppelpunkt für das innere Produkt steht wo die Summationskonvention verwendet wurde.
Um die Randwerte zu finden, die von diesem Druckfeld angenommen werden, schreiben wir die Impulsgleichungen an den Rändern um. Da uns speziell der wandnormale Druckgradient auf eine feste Wand interessiert, projizieren wir die Impulsgleichungen auf die Wandnormalkoordinate erhalten
Verwendung der Randbedingung an der Wand vereinfacht sich dies zu
Somit ist klar, dass der wandnormale Druckgradient im Allgemeinen nicht null ist, und das Vorschreiben eines null Druckgradienten an der Wand ist mathematisch mit dem ursprünglichen Problem unvereinbar. Da dieser Punkt in einem Kommentar angesprochen wurde, möchte ich auch anmerken, dass wir uns im Allgemeinen nicht mit dem Erscheinungsbild des trösten können Berücksichtigen Sie den obigen Ausdruck und versuchen Sie zu argumentieren, dass die rechte Seite für große Reynolds-Zahlen vernachlässigt werden kann. Dies ist nicht der Fall, da wir den wandnahen Bereich der Strömung betrachten, und um die relative Größe der rechten Seite abzuschätzen, müssen wir möglicherweise eine lokale Reynolds-Zahl berücksichtigen, die der Größe des wichtigen Nahbereichs angemessen ist -Wandströmungsstrukturen. Um es kurz zu machen, es stellt sich heraus, dass diese lokale Reynolds-Zahl für eine große Klasse wichtiger Strömungen, wie z. B. wandnahe Turbulenzen, in der Größenordnung von Eins liegt. Mit anderen Worten, wir können die rechte Seite für eine solche Strömung nicht vernachlässigen.
Lassen Sie uns nun ein wenig mehr Licht auf die möglichen Folgen der Bereitstellung falscher Randbedingungen für das Druckfeld werfen. Dies ist am einfachsten zu sehen, wenn man eine alternative, aber äquivalente Formulierung des obigen Navier-Stokes-Problems betrachtet. Es wird sich herausstellen, dass diese als "Druck-Poisson-Gleichungsformulierung" bekannte Formulierung auch für numerische Ansätze zur Lösung dieser Gleichungen wichtig ist. Für diese Formulierung ersetzen wir die Kombination aus Kontinuitäts- und Impulsgleichungen in der sogenannten "Primitive-Variablen-Formulierung" der Navier-Stokes-Gleichungen durch eine Kombination aus Druck-Poisson- und Impulsgleichungen, etwa so:
Dieses System von partiellen Differentialgleichungen erfordert nun folgende Anfangs- und Randbedingungen:
Beachten Sie, dass wir jetzt eine zusätzliche Randbedingung benötigen, da die Formulierung der Druck-Poisson-Gleichung aus dem ursprünglichen System über eine Differenzierungsoperation erhalten wurde, wodurch die Ordnung des Systems erhöht wird. Sie können auch sehen, dass das jetzt erhaltene System von PDEs eine nicht standardmäßige Struktur hat, indem wir jetzt drei Randbedingungen für das Geschwindigkeitsfeld und keine für den Druck haben. Ich mache zwei wichtige Bemerkungen:
Um schließlich die Rolle besser zu verstehen, die der Druck in inkompressiblen Navier-Stokes-Lösungen spielt, kann es aufschlussreich sein, das Verhalten der Divergenz des Geschwindigkeitsfelds bei gegebener Druck-Poisson-Gleichung zu betrachten. Wenn wir die Divergenz der Impulsgleichungen nehmen und die Druck-Poisson-Gleichung dort einsetzen, kommen wir zu
Somit erfüllt die Geschwindigkeitsdivergenz eine Wärmegleichung. Wenn keine geeigneten Randbedingungen erzwungen werden, erwarten wir daher basierend auf den entsprechenden Maximum/Minimum-Theoremen für solche Gleichungen maximale Divergenzfehler an den Grenzen, die von den Grenzen weg in den Bereich diffundieren werden. Es versteht sich von selbst, dass solche Fehler für viele Grenzschichtströmungen (insbesondere Übergangs- und turbulente Grenzschichten) verheerend sein und die Darstellung der Physik der Strömung vollständig zerstören können.
Bemerkungen zu numerischen Methoden
Bei der Betrachtung von Ansätzen zur numerischen Lösung des Navier-Stokes-Problems ist es entscheidend, die genauen Details der betrachteten Methoden zu verstehen. Dabei wird man feststellen, dass das Konzept der „Randbedingung“ in der Community oft sehr schlampig gehandhabt wird, was es schwierig machen kann zu sagen, welche Gleichungen tatsächlich verwendet werden und warum. Dies gilt insbesondere im Fall von Finite-Differenzen- und Finite-Volumen-Codes. Beispiele für Schemata, die entweder überdeterminiert oder mathematisch schlecht aufgestellt sind, gibt es in diesem Bereich zuhauf. Spektralmethoden und Finite-Elemente-Methoden erfordern normalerweise etwas mehr mathematische Disziplin und scheinen daher etwas weniger anfällig für einige der Fallstricke zu sein. Eine Aussage können wir jedoch mit Gewissheit machen:
Es gibt kein konsistentes und genaues numerisches Schema, das gegen die oben skizzierte Mathematik verstößt. Falsche Randbedingungen für den Druck führen zu falschen Lösungen, Ende der Geschichte.
Insbesondere verwendet kein erfolgreiches numerisches Schema im obigen Sinne eine Null-Druckgradienten-Grenzbedingung für den Druck. Es gibt jedoch eine Reihe von numerischen Methoden, die wie aussehenSie verwenden unangemessene Randbedingungen, und darunter befinden sich einige der beliebtesten Schemata, die sowohl in Forschungs- als auch in kommerziellen Codes verwendet werden. Beispielsweise werden bei Teilschrittverfahren sowie beim SIMPLE-Algorithmus iterative Prozeduren verwendet, die für einen Druckkorrekturschritt eine Nullgradienten-Grenzbedingung verwenden. Ich möchte betonen, dass solche Methoden vollkommen legitim sein können, mit den exakten Gleichungen übereinstimmen und zu genauen Lösungen konvergieren können. Es gibt eine Vielzahl möglicher Varianten solcher Ansätze, auf die hier nicht näher eingegangen werden kann. Es genügt zu sagen, dass man häufig feststellt, dass der im Kern solcher Algorithmen verwendete "Druck" nicht das mathematisch korrekte Druckfeld darstellt, sondern ein Pseudodruck ist. Die resultierende Lösung erzeugt eine konsistente Approximation des Geschwindigkeitsfelds, aber der Pseudodruck weicht systematisch vom korrekten Druckfeld ab. Diese Situation kann in zusätzlichen Schritten des Algorithmus korrigiert werden oder nicht.
Diese Situation wird durch die Tatsache weiter erschwert, dass die genauen Implementierungsdetails vieler numerischer Verfahren unklar bleiben, mit dem Ergebnis, dass Algorithmen, die aufgrund ihrer formalen, wie veröffentlichten Beschreibung einfach nicht funktionieren sollten, aus Gründen, die jedoch unklar bleiben, nützliche Näherungen liefern . Ich werde sagen, dass ich mit dem Entwicklungsprozess solcher Codes aus meiner eigenen Forschungsgruppe und von Kollegen bestens vertraut bin. Allzu oft passiert es, dass der Doktorand mit einem schlecht durchdachten Code beginnt, der nicht funktionieren sollte, und dann weiter daran arbeitet, bis "der Code behoben ist" und in gewissem Sinne akzeptable Ergebnisse liefert. Eine Diskussion darüber, was an diesem Bild falsch ist, würde mich hier wirklich zu weit führen...
Für eine viel ausführlichere Übersicht zu diesem Thema siehe schließlich den Übersichtsartikel von Rempfer in Applied Mechanics Reviews (" On Boundary Conditions for Incompressible Navier-Stokes Problems ", AMR ( 59 ) 2006).
Chet Miller
Pirx
Mohammed Ouda
Lalylulelo
Pirx