Satz von Liouville (Physik)
Der Satz von Liouville (auch Liouville-Theorem genannt, nach Joseph Liouville) ist ein Satz aus dem Bereich der theoretischen Mechanik, der besagt, dass das von benachbarten Trajektorien im Phasenraum eingeschlossene (mehrdimensionale) Volumen als Funktion der Zeit konstant ist. Der Satz gilt für alle durch den Hamilton-Formalismus beschriebenen Systeme. Die Hamilton-Funktion kann dabei auch explizit von der Zeit abhängen. Eng verwandt mit dem Satz von Liouville und leicht daraus herleitbar ist die Liouville-Gleichung.
Herleitung
Im Rahmen des Hamilton-Formalismus ist der momentane Zustand eines mechanischen Systems gegeben durch kanonische Koordinaten und kanonische Impulse mit , d. h. durch einen Punkt im Phasenraum. Die Hamilton-Funktion des Systems definiert ein Vektorfeld im Phasenraum, welches die Zeitentwicklung des Systems beschreibt. Die Lösung der Gleichung ist der Fluss . Anwenden des Divergenzoperators auf das Vektorfeld liefert
Das Geschwindigkeitsfeld und der Fluss sind also quellenfrei. Man kann sich die Dynamik im Phasenraum daher als Strömung einer inkompressiblen Flüssigkeit veranschaulichen. Dass das Verschwinden der Divergenz eines Geschwindigkeitsfeldes Inkompressibilität impliziert, lässt sich formal mit Hilfe des Gaußschen Satzes zeigen, ähnlich wie in der Hydrodynamik.
Alternativ und mehr formal ist der Satz von Liouville eine Folge der Invarianz der -Form unter symplektischen Transformationen, also auch unter kanonischen Transformationen sowie in der Zeitentwicklung. Damit sind auch die -Form sowie ihre Potenzen invariant. ist das Phasenraumvolumen.
Anwendungen
Der Satz von Liouville spielt implizit eine grundlegende Rolle in der statistischen Mechanik. Es gibt aber auch einfachere Anwendungen.
Teilchenbeschleuniger
Eine Anwendung betrifft die transversale Ausdehnung von Teilchen- oder Lichtstrahlen, etwa in Teilchenbeschleunigern oder optischen Instrumenten. Man kann mit Linsensystemen einen Strahl zwar fokussieren, d. h. seine transversale Ausdehnung verkleinern, das geht aber nur auf Kosten der transversalen Impulse. Die Ausdehnung der transversalen Impulse muss sich so vergrößern, dass das Gesamtvolumen, d. h. das Produkt der Ausdehnung im Orts- und Impulsraum, konstant bleibt. Die Bezeichnung für das entsprechende Phasenraumvolumen in der geometrischen Optik ist Etendue.
Ideales Gas
Ein anderes Beispiel ist ein einatomiges ideales Gas mit Volumen und absoluter Temperatur . Die Temperatur ist proportional zur kinetischen Energie der Teilchen, der Teilchenimpuls ist im Mittel daher proportional zu . Bei adiabatischer Kompression bleibt laut Satz von Liouville das Phasenraumvolumen, also das Produkt konstant (im idealen Gas sind die Teilchen voneinander unabhängig).
In einem mehratomigen Gas hat ein Gasmolekül Translations-, Rotations- und Schwingungsfreiheitsgrade. Es sei die Zahl der in der Hamiltonionfunktion quadratisch auftretenden Impulse oder Koordinaten. Bei einem Gas aus zweiatomigen Molekülen ist . Laut Gleichverteilungssatz hat jede dieser Variablen einen Mittelwert proportional zu . Das Phasenraumvolumen eines Teilchens ist dann proportional zu (Rotations-Koordinaten sind zyklisch und haben konstante Ausdehnung ). Bei adiabatischer Kompression bleibt konstant. Wegen der Quantenmechanik sind die Schwingungsfreiheitsgrade allerdings erst bei sehr hohen Temperaturen (ab etwa ) angeregt, und es ist eher . Bei niedrigen Temperaturen tragen auch die Rotationsfreiheitsgrade nicht mehr bei und es ist .
Literatur
- Theodore Frankel: The Geometry of Physics. Cambridge University Press 2012, ISBN 978-1-107-60260-1
- Franz Schwabl: Statistische Mechanik. Springer 2006, ISBN 978-3-540-31095-2