Führen instabile Gleichgewichte zu einer Verletzung des Satzes von Liouville?

Der Satz von Liouville besagt, dass die Strömung im Phasenraum wie eine inkompressible Flüssigkeit ist. Eine Folge davon ist, dass, wenn zwei Systeme an unterschiedlichen Punkten im Phasenraum starten, ihre Phasenraum-Trajektorien nicht verschmelzen können. Aber für ein Potential mit instabilem Gleichgewicht glaube ich ein Gegenbeispiel gefunden zu haben.

Betrachten Sie das unten stehende Potenzial (entschuldigen Sie die schlechten Grafikdesign-Kenntnisse).Potential mit instabilem Gleichgewicht

Ein Teilchen, das am Punkt A in Ruhe beginnt, ( Q , P ) = ( X A , 0 ) bei T = 0 , würde das Potenzial nach links hin beschleunigen. Da es die durch die violette Linie angegebene Energiemenge hat, würde es beim lokalen Maximum B at zur Ruhe kommen T = T , ein instabiles Gleichgewicht ( Q , P ) = ( X B , 0 ) . Jedoch begann jedes Teilchen im Ruhezustand an der Spitze des lokalen Maximums B an T = 0 würde auch für immer so bleiben, einschließlich bis zu T = T . Somit scheint es zwei Trajektorien zu geben, die unter Verletzung von Liouvilles Thorem zusammenlaufen.

Es ist eine gute Frage! Hier geht es wirklich nicht einmal um den Satz von Liouville – es geht wirklich um den Existenz- und Eindeutigkeitssatz für Differentialgleichungen erster Ordnung. Ich denke, es sollte keine Rolle spielen, weil die "schlechten Trajektorien" "Maß Null" haben sollten, aber ich weiß nicht.
Nachdem ich ein bisschen mehr darüber nachgedacht habe, denke ich, dass die Erklärung darin besteht, dass das Teilchen, das bei A beginnt, B in einer endlichen Zeitspanne niemals tatsächlich erreicht, sodass die Zeitumkehrbarkeit nicht gebrochen wird. Ein handschwingender Beweis dafür ist, dass, wenn Sie versuchen, die Zeit zu berechnen, die benötigt wird, um von A nach B zu gelangen, sich herausstellt, dass dies die gleiche Formel für die Zeit ist, die benötigt wird, um von B nach A zu gelangen, was offensichtlich unendlich ist.
Nein, für bestimmte Potentiale, wie zum Beispiel einige Potenzgesetze, dauert es wirklich eine begrenzte Zeit! Deine Frage steht.
Können Sie ein Beispiel für ein solches Potenzgesetz geben? Ich habe versucht, es für einen Kubikmeter auszurechnen, und fand die Zeit unendlich.
@UtilityMaximiser: Ich glaube, dass jede Potenz zwischen 1 und 2 ausreicht. Zum Beispiel könnten Sie haben U | X | 3 / 2 ; Dies ist als Nortons Kuppel bekannt.
Der Satz von Liouville berücksichtigt eine (potenziell unendliche) Menge nahegelegener Trajektorien. Das Beispiel, das Sie gegeben haben, funktioniert nur für Trajektorien des Maßes Null.
Nortons Kuppel scheint hier relevant zu sein. Aber wenn es ein Gleichgewichtspunkt ist, bleibt das Teilchen einfach dort (in der mathematisch idealen Welt).
Wie @knzhou betont hat, habe ich das Gefühl, dass die schlechten Trajektorien das Maß Null haben. Haben Sie etwas über den Rekursionssatz von Poincare gelesen?

Antworten (4)

Die Tatsache, dass Trajektorien im Phasenraum nicht verschmelzen (sich schneiden) können, hat nichts mit dem Liouville-Theorem zu tun, sondern ist eine Folge der Tatsache, dass die Hamilton-Gleichungen von erster Ordnung sind (und der Hamilton-Operator uns Lipschitz-stetig). Das Beibehalten der ersten Ordnung der Gleichungen und das willkürliche Ändern ihrer Form würde das Liouville-Theorem falsch machen, aber die Trajektorien würden sich jedoch nicht verschmelzen (oder schneiden).

Zweitens ist Ihr Beispiel irreführend, da Sie die Projektion der Trajektorien auf den 1D-Konfigurationsraum betrachten, anstatt sie im 2D-Phasenraum zu untersuchen (wo das Liouville-Theorem en passant gilt ) . Wenn Sie im Phasenraum bleiben, sehen Sie, dass sich die Lösungen der von Ihnen betrachteten Hamilton-Gleichungen nicht schneiden. Eins ist nur ein Punkt (mit P = 0 Und X der mit der Spitze B des Potentials zusammenfällt) und der andere ist eine Trajektorie (unter bestimmten Bedingungen geschlossen) um diesen Zustand herum. Wenn die Bewegung durch B in der Variablen geht X , Dort P 0 damit sich die Bahnen nicht schneiden. Es passiert anscheinend nur im Konfigurationsraum.

Haftungsausschluss: Ein Großteil der folgenden Antwort stammt aus einer anderen Antwort von mir unter https://physics.stackexchange.com/a/177972/59023 .

Definitionen und Hintergrund

Lassen Sie uns die Dichte von Partikeln in einem Volumenelement definieren, D X   D v , zu einer festen Zeit, T , zentriert bei ( X , v ) als Menge F ( X , v , T ) . Wir nehmen an, dass diese Funktion nicht negativ ist, eine endliche Menge an Materie enthält und im Raum positiver Zeiten und existiert R 3 Und R v 3 , Wo R v 3 ist der Raum aller möglichen Geschwindigkeiten. Dann können wir sehen, dass es zwei Arten der Interpretation gibt F : (1) es kann eine Annäherung an die wahre Phasenraumdichte eines Gases sein (großer Maßstab im Vergleich zu Trennungen zwischen Teilchen); oder (2) es kann unsere Unkenntnis der wahren Positionen und Geschwindigkeiten der Teilchen im System widerspiegeln. Die erste Interpretation ist deterministisch, während die zweite probabilistisch ist. Letzteres wurde implizit von Boltzmann [ Villani , 2002, 2006] verwendet.

Die Vlasov-Gleichung ist die kollisionsfreie Form der Boltzmann-Gleichung . Die Wlassow-Gleichung kann geschrieben werden als:

(1) F S T + v F S + F M S v F S = 0
Wo F S = F S ( X , v , T ) ist die Teilchenverteilungsfunktion von Arten S , F ist eine äußere Kraft, und v = X ^ / v X + j ^ / v j + z ^ / v z . Wir können Gleichung 1 modifizieren, indem wir die Lorentz-Gleichung für verwenden F für elektromagnetische Felder und Einführung einer linearen Störung für jede variable Größe der Form A A + δ A . Hier sind wir davon ausgegangen   ist ein Ensemble-Durchschnitt und δ repräsentiert Schwankungen um den Mittelwert ( δ A = 0). Das Ergebnis ist als Vlasov-Poisson-Fokker-Planck-Modell bekannt, wobei die linke Seite von Gleichung 1 der Vlasov-Poisson-Teil (Vlasov-Maxwell, wenn elektromagnetische Felder vorhanden sind) und Störungen davon sind F Und δ F wegen δ E Und δ B erzeugen Sie einen effektiven Stoßterm analog zum Fokker-Planck-Stoßoperator (zB BGK-Operator ). Deshalb lassen wir folgendes gelten:
(2a) F S F S + δ F S (2b) E E + δ E (2c) B B + δ B

Liouvilles Gleichung

Wir wissen das F (wir implizieren tiefgestellt S aber aus Faulheit fallen gelassen) erfüllt Liouvilles Gleichung , oder besser gesagt, F / T = 0 . Allgemein lautet die Bewegungsgleichung:

(3) F T = F [ ( Q D Q D T ) + ( P D P D T ) ] + [ D Q D T F Q + D P D T F P ]
wobei wir den kanonischen Phasenraum von ( Q , P ). Wenn wir die Begriffe vereinfachen D A / D T Zu A ˙ und lass Γ = ( Q , P ) , dann finden wir:
(4a) F T = F Γ Γ ˙ Γ ˙ F Γ (4b) = Γ ( Γ ˙ F )
wobei wir feststellen, dass die letzte Form wie die Kontinuitätsgleichung aussieht . Wenn wir die Gesamtzeitableitung definieren als:
(5) D D T = T + Γ ˙ Γ
dann können wir zeigen, dass die zeitliche Änderungsrate der Verteilungsfunktion gegeben ist durch:
(6a) D F D T = F T + Γ ˙ F Γ (6b) = [ F Γ Γ ˙ + Γ ˙ F Γ ] + Γ ˙ F Γ (6c) = F Γ Γ ˙ (6d) F Λ ( Γ )
Wo Λ ( Γ ) wird als \textit{Phasenraum-Kompressionsfaktor} bezeichnet [ Evans und Morriss , 1990]. Beachten Sie, dass die Gleichungen 6a bis 6d verschiedene Formen der Liouville-Gleichung sind, die ohne Bezugnahme auf die Bewegungsgleichungen erhalten wurden und nicht die Existenz eines Hamilton-Operators erfordern. Wir können Gleichung 6d in die folgende Form umschreiben:
(7) D D T ln | F | = Λ ( Γ )
Diese Gleichung scheint sich von der üblichen Version der Liouville-Gleichung zu unterscheiden, da sie nicht von einem Hamilton-Operator abgeleitet wurde. Wenn die Bewegungsgleichungen aus einem Hamilton-Operator generiert werden können, dann Λ ( Γ ) = 0 , selbst in Gegenwart externer Felder, die das System aus dem Gleichgewicht bringen. Beachten Sie, dass die Existenz eines Hamiltonoperators eine hinreichende, aber nicht notwendige Bedingung dafür ist Λ ( Γ ) = 0 . Für den inkompressiblen Phasenraum stellen wir die einfache Form der Liouville-Gleichung wieder her:
(8) D F D T = 0
Der Satz von Liouville kann jedoch durch Folgendes verletzt werden:

  • Quellen oder Senken von Partikeln;
  • Existenz von kollidierenden, dissipativen oder anderen verursachenden Kräften v F 0 ;
  • Grenzen, die zum Einfangen oder Ausschließen von Partikeln führen, sodass nur Teile einer Verteilung von einem Punkt zum anderen abgebildet werden können;
  • räumliche Inhomogenitäten, die zu einer Geschwindigkeitsfilterung führen (z. B. E × B - Drifts, die verhindern, dass Teilchen mit kleineren Geschwindigkeiten den Ort erreichen, den sie erreicht hätten, wenn sie nicht gedriftet wären); oder
  • zeitliche Variabilität an der Quelle oder anderswo, die zu einer nicht gleichzeitigen Beobachtung von entgegengesetzt gerichteten Trajektorien führt.

Fragen und Antworten

Der Satz von Liouville besagt, dass die Strömung im Phasenraum wie eine inkompressible Flüssigkeit ist. Eine Folge davon ist, dass, wenn zwei Systeme an unterschiedlichen Punkten im Phasenraum starten, ihre Phasenraum-Trajektorien nicht verschmelzen können.

Ich bin mir nicht sicher, ob dies ganz richtig ist. Wenn Sie sich Gleichung 7 oben ansehen, werden Sie sehen, dass die allgemeine Form eine eingebaute Phasenraum-Kompressibilität aufweist.

Somit scheint es zwei Trajektorien zu geben, die unter Verletzung von Liouvilles Thorem zusammenlaufen.

Im Gegensatz zu dem, was viele denken mögen, ist die allgemein ausgedrückte Form des Satzes von Liouville ein sehr spezifischer Fall, in dem keines der oben aufgeführten Beispiele vorhanden ist, wodurch ein inkompressibler Phasenraum erhalten bleibt.

Betrachten Sie zum Beispiel die Boltzmann-Gleichung mit dem irreversiblen Kollisionsoperator auf der rechten Seite. Diese Gleichung stellt eine Situation dar, in der D F D T 0 , wodurch die vereinfachte Form von Liouvilles Thorem verletzt wird.

Verweise

  • Evans, DJ und G. Morriss Statistical Mechanics of Nonequilibrium Liquids, 1. Auflage , Academic Press, London, 1990.
  • Penrose, O. „Grundlagen der statistischen Mechanik“, Rep. Prog. Phys. 42 , S. 1937-2006, doi:10.1088/0034-4885/42/12/002, 1979.
  • Villani, C. "Kapitel 2: Ein Überblick über mathematische Themen in der Kollisionskinetiktheorie", S. 71–74, Nordholland, Washington, DC, doi: 10.1016 / S1874-5792 (02) 80004-0, 2002.
  • Villani, C. "Entropieproduktion und Konvergenz zum Gleichgewicht für die Boltzmann-Gleichung", in XIVTH International Congress on Mathematical Physics , herausgegeben von J.-C. Zambrini, S. 130–144, doi:10.1142/9789812704016_0011, 2006.
Ich schätze die ausführliche Antwort und bin in den von Ihnen besprochenen Themen nicht belesen, bin jedoch nicht ganz überzeugt. Zum einen gibt es in dem einfachen Fall, den ich gegeben habe, keinen irreversiblen Kollisionsoperator. Es gibt nur ein Teilchen und es gibt ein einfaches zeitunabhängiges Potential (und daher eine Hamilton-Funktion). Dennoch scheint es Unumkehrbarkeit zu geben.
Nebenbei betrachte ich die mikroskopische Reversibilität als ein Grundprinzip der Physik, das durch kein statistisches Modell umgestoßen werden kann. Ich bezweifle nicht, dass das Hinzufügen irreversibler Terme in die dynamischen Gleichungen empirisch fruchtbar oder analytisch zweckmäßig sein kann, aber die Gleichungen sind in einem tieferen Sinne immer noch "falsch".
@UtilityMaximiser - Sie müssen nichts "umkippen", wenn Sie etwas wirklich als mikroskopisch behandeln, dh Quanteneffekte einbeziehen. Dann ist nichts wirklich umkehrbar ...
Ich habe den Begriff „mikroskopisch“ nicht verwendet, um physikalisch klein zu bedeuten, ich meinte ihn in dem Sinne, in dem die Leute oft sagen, dass die analytische Mechanik „mikroskopisch“ ist, während die Thermodynamik „makroskopisch“ ist. Aber es stimmt nicht, dass die Quantenmechanik irreversibel ist. Die Evolution in der Quantenmechanik wird durch einen einheitlichen Operator bestimmt U und kann daher durch die Anwendung seines Adjunkten umgekehrt werden U , ebenfalls ein unitärer Operator.
Wenn Sie die Position oder den Impuls eines Teilchens nicht kennen, wie können Sie es zeitlich vorwärts oder rückwärts verfolgen? Sind außerdem alle Quantenoperatoren einheitlich? Ich glaube mich zu erinnern, dass einige das nicht waren, aber es ist so lange her, seit ich einen QM-Kurs hatte, dass ich hier wahrscheinlich falsch liege ...
@UtilityMaximiser - Ich hatte einen anderen Gedanken. Vielleicht ändert der Beginn mit einem instabilen Gleichgewicht die Randbedingungen so, dass die Standardform der Liouville-Gleichung nicht gilt. Das heißt, die Anfangsbedingungen verhindern, dass df/dt Null wird.

Ein paar Anmerkungen zu der Frage, die Sie stellen:

  • Die Liouville-Gleichung beschreibt nicht ein einzelnes Teilchen, sondern ein Ensemble von Zuständen, die sich nach den Gesetzen der Mechanik entwickeln. Die Liouville-Gleichung besagt, dass die Entropie des Systems zu allen Zeiten konstant bleibt, was bedeutet, dass diese Gleichung isentropische Prozesse beschreibt und sonst nichts. Die Annäherung an das Gleichgewicht wird von einem Anstieg der Entropie begleitet, etwas, das die Liouville-Gleichung nicht verarbeiten kann.

  • Die Aussage, dass "zwei Systeme an unterschiedlichen Punkten im Phasenraum beginnen, ihre Phasenraumbahnen können nicht verschmelzen", ist richtig, aber keine Folge der Liouville-Gleichung. Daraus folgt, dass die Bewegungsdifferentialgleichungen für gegebene Anfangsbedingungen eine eindeutige Lösung haben. Eine Verschmelzung würde bedeuten, dass zwei verschiedene Anfangsbedingungen zu einem späteren Zeitpunkt denselben Zustand erzeugen, was nicht möglich ist.

  • Ihr Beispiel verletzt nicht die Eindeutigkeit von Trajektorien. Um es zu verletzen, müssen Sie zwei verschiedene Trajektorien im selben Potenzial finden, wobei beide Trajektorien bei beginnen A und beide enden auf B .

Der Satz von Liouville impliziert einfach, dass die beiden Teilchen bei t = T nicht denselben Zustand einnehmen können, da sich ihre Zustandstrajektorien wie Ströme in einer nicht komprimierbaren Flüssigkeit verhalten. Wenn das erste Teilchen B erreicht, wird es physikalisch das zweite Teilchen stoßen und es auf die linke Seite werfen.