Boltzmann, Wlasow und Entropie
Die Vlasov-Gleichung ist die kollisionsfreie Form der Boltzmann-Gleichung . Die Vlasov-Gleichung kann wie folgt geschrieben werden:
∂ f s ∂ t + v ⋅ ∇ f s + F m s ⋅ ⋅ v f s = 0 (1)
woher
f s = f s ( x , v , t ) ist die Teilchengeschwindigkeitsverteilungsfunktion der Spezies
s (zB
Maxwellian ),
F ist eine äußere Kraft und die k-
te Komponente von
∇ v ist gegeben durch
k ^ ∂ / ∂ v k . Ändern wir Gleichung 1 mit der
Lorentzkraft für
F → F e m und
linearisieren , dh annehmen
Q → ⟨Q⟩ + δ Q. , woher
⟨ ⟩ ist ein
Ensemble Durchschnitt und
⟨Δ Q⟩ = 0 . Daraus können wir eine
durchschnittliche und
schwankende Form von Gleichung 1 konstruieren. Ich werde den Index fallen lassen
s aus Faulheit für den Rest der Ableitung.
Die durchschnittliche Form ergibt sich aus:
∂ ⟨F ⟩ ∂ t + v ⋅ ∇ ⟨f ⟩ + ⟨F e m ⟩ m ⋅ ⋅ v ⟨F ⟩ = C (2a)
woher
C ist ein Proxy für einen Kollisionsbegriff von:
C = - ⟨δ F e m m ⋅ ⋅ v δ f ⟩ (2b)
Die schwankende Form ist gegeben durch:
∂ ∂ t δ f + v ≤ ≤ δ f + ⟨F e m ⟩⟩ ⋅ v δ f + δ F e m ⋅ ⋅ v ⟨F ⟩ = - δ F e m ⋅ ⋅ v δ f - C (3)
Es gibt einen wichtigen Unterschied zwischen dem Kollisionsbegriff, C und der klassische binäre Kollisionsterm, der in der Boltzmannschen Gleichung gefunden wird. C bewahrt nicht den lokalen Impuls und die Energiedichte der Partikel. Wichtiger, C bewirkt nicht, dass sich das Plasma zu einem Maxwellschen entspannt [siehe z. B. Tidman und Krall , 1971].
Gibbs 'Entropie kann wie folgt geschrieben werden:
S = - k B ∫ a l l d x d v d x d v ⟨F ⟩ ln | ⟨F ⟩ | (4)
Gibbs erkannte, dass Gleichung 4 zur negativen Unendlichkeit divergieren kann, wenn man nicht die
Einteilchenwahrscheinlichkeitsverteilung verwendet , die ein Durchschnitt über Ensemblezustände ist (also die
⟨ ⟩ s). Eine interessante Beobachtung ist, dass die
Liouville-Gleichung auch vorhersagt, dass Gleichung 4 ohne die Verwendung von Ensemble-Durchschnitten zur negativen Unendlichkeit abweicht [z. B.
Evans und Morriss , 1990]. Der Grund für die Divergenz liegt darin, dass Störungen im Phasenraum immer kleiner werden, was immer höher dimensionale Formen erfordert
f ( x , v , t ) . Eine der Konsequenzen (möglicherweise indirekt?) Dieses intuitiven Sprunges war die Entwicklung von Dingen wie der
Mittelfeldtheorie .
Liouvilles Gleichung
Der erste Teil des Folgenden stammt aus meiner Antwort unter https://physics.stackexchange.com/a/177972/59023 .
Wir wissen das ⟨F ⟩ erfüllt Liouvilles Gleichung , oder besser gesagt, ∂ ⟨F ⟩ / ∂ t = 0 . Im Allgemeinen lautet die Bewegungsgleichung:
∂ 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 ] (5)
wo ich den
kanonischen Phasenraum von definiert habe
( q , p ) . Wenn ich die Begriffe vereinfache
d Q / d t zu
Q. ˙ und lass
Γ = ( q , p ) dann finde ich:
∂ f ∂ t = - f ∂ ∂ Γ ⋅ ⋅ ˙ - Γ ˙ ⋅ ⋅ f ∂ Γ = - ∂ ∂ Γ ⋅ ( Γ ˙ f ) (6a) (6b)
wo man sieht, dass die letzte Form wie die Kontinuitätsgleichung aussieht. Wenn ich die Gesamtzeitableitung wie folgt definiere:
d d t = ∂ ∂ t + Γ ˙ ⋅ ⋅ ∂ Γ (7)
dann kann ich zeigen, dass die zeitliche Änderungsrate der Verteilungsfunktion gegeben ist durch:
d f d t = ∂ f ∂ t + Γ ˙ ⋅ ⋅ f ∂ Γ = - [ f ∂ ∂ Γ ⋅ ⋅ ˙ + Γ ˙ ⋅ ⋅ f ∂ Γ ] + Γ ˙ ⋅ ⋅ f ∂ Γ = - f ∂ ∂ Γ ⋅ ⋅ ˙ ≡ - f Λ ( Γ ) (8a) (8b) (8c) (8d)
woher
Λ ( Γ ) wird der
Phasenraumkomprimierungsfaktor genannt [z. B.
Evans und Morriss , 1990]. Es ist zu beachten, dass die Gleichungen 8a bis 8d verschiedene Formen der Liouville-Gleichung sind, die ohne Bezugnahme auf die Bewegungsgleichungen erhalten wurden und die Existenz eines
Hamilton-Operators nicht erfordern. Ich kann Gleichung 8d in der folgenden Form umschreiben:
d d t ln | f | = - Λ ( Γ ) (9)
Wenn die Bewegungsgleichungen aus einem Hamilton-Operator generiert werden können, dann Λ ( Γ ) = 0 auch in Gegenwart von äußeren Feldern, die das System aus dem Gleichgewicht bringen. Beachten Sie, dass die Existenz eines Hamiltonianers eine ausreichende, aber nicht notwendige Bedingung für ist Λ ( Γ ) = 0 .
Entropie-Produktion
Denken Sie daran, dass wir definiert haben ∂ ⟨Q⟩ / ∂ t = 0 und wir wissen aus Gleichung 9, dass d / d t ln ⟨F ⟩ = 0 für konservative Systeme (dh solche mit inkompressiblem Phasenraum). Wenn wir definieren F ≡ ⟨f ⟩ ln | ⟨F ⟩ | Dann können wir zeigen, dass:
∂ F ∂ t ≡ ≡ ∂ t ( ⟨F ⟩ Ln | ⟨F ⟩ | ) ∂ F ∂ t + ∇ ⋅ ( v F ) 0 + ∇ ⋅ ( v F ) = ( 1 + ln | ⟨F ⟩ | ) ∂ ⟨F ⟩ ∂ t = 0 = 0 = d F d t + F ( ∇ ⋅ v ) = ⟨F ⟩ Ln | ⟨F ⟩ | ( ∇ ⋅ v ) + ( 1 + ln | ⟨F ⟩ | ) [ v ⋅ ∇ ⟨f ⟩ ] (10 A) (10b) (10c) (10d)
Mit diesen Beziehungen kann man zeigen, dass:
( ∇ ⋅ v ) F ( ∇ ⋅ v ) ( ⟨f ⟩ Ln | ⟨F ⟩ | ) = - v ⋅ ∇ F = - v ⋅ ∇ ( ⟨f ⟩ Ln | ⟨F ⟩ | ) = - ⟨f ⟩ V ⋅ ⋅ ln | ⟨F ⟩ | - In | ⟨F ⟩ | v ⋅ ∇ ⟨f ⟩ = - v ⋅ ∇ ⟨f ⟩ - In | ⟨F ⟩ | v ⋅ ∇ ⟨f ⟩ = - ( 1 + ln | ⟨F ⟩ | ) v ⋅ ∇ ⟨f ⟩ (11a) (11b) (11c) (11d) (11e)
Wir wissen auch, dass in der Grenze von x → ± ∞ , der Begriff ⟨F e m ⟩ → 0 weil wir annehmen, dass alle Steigungen in dieser Grenze asymptotisch gegen Null gehen und C -term geht ebenfalls auf Null. Daher finden wir, dass Gleichung 2a mit der Menge arbeitet:
∫ d v ( 1 + ln | ⟨F ⟩ | ) (12)
führt zu folgenden Ergebnissen:
[ ∂ ∂ t + v ⋅ ∇ + ⟨F e m ⟩⟩ ⋅ v ] ∫ d v ( 1 + ln | ⟨F ⟩ | ) [ v ⋅ ∇ ] ∫ d v ( 1 + ln | ⟨F ⟩ | ) ∇ ∇ ⋅ d v v ⟨f ⟩ Ln | ⟨F ⟩ | = ∫ d v C ( 1 + ln | ⟨F ⟩ | ) = ∫ d v C ( 1 + ln | ⟨F ⟩ | ) = ∫ d v C ( 1 + ln | ⟨F ⟩ | ) (13a) (13b) (13c)
Nun fügen wir das Formular für ein
C aus Gleichung 2b zu finden:
∇ ∇ ⋅ d v v ⟨F ⟩ Ln | ⟨F ⟩ | = e m ∫ d v ⟨Δ F e m δ f ⟩⟩ ⋅ v ln | ⟨F ⟩ | (14)
wobei der Ausdruck auf der linken Seite die Divergenz des
Entropieflusses ist .
Gleichung 14 ist ein Beispiel dafür, wie Entropie in einem kollisionsfreien Medium mit inkompressiblem Phasenraum erzeugt werden kann, der sich aus der Zeitabhängigkeit in ergibt ⟨F ⟩ eingeführt durch die Schwankungen ungleich Null, die durch das gegeben sind ⟨Δ F e m δ f ⟩ -Begriff. Auch wenn ⟨F ⟩ Entlang von Phasenverläufen aus der inkompressiblen Liouville-Gleichung erhalten, entwickelt es immer feinere Merkmale, die der Phasenmischung entsprechen. Die Einführung der Irreversibilität (dh hier auch der Entropie) in dieses System ist größtenteils eine Folge des Ansatzes, der dem Grobkörnungsverfahren entspricht, das zur Herleitung der Boltzmann-Gleichung aus der reversiblen Liouville-Gleichung verwendet wird [z. B. Evans und Morriss , 1990] ; Tidman und Krall , 1971].
Ein ähnlicher Ansatz kann verwendet werden, wenn wir nicht annehmen d / d t ln ⟨F ⟩ = 0 eine Form für die Entropie ableiten.
Verweise
- Evans, DJ und G. Morriss Statistical Mechanics of Nonquilibrium Liquids, 1. Auflage , Academic Press, London, 1990.
- Tidman, DA und NA Krall Stoßwellen in kollisionsfreien Plasmen , Wiley-Reihe in Plasmaphysik, New York: Wiley-Interscience, 1971.
honeste_vivere
aidan.plenert.macdonald
aidan.plenert.macdonald
honeste_vivere
aidan.plenert.macdonald