Mathematischer Nachweis der nichtnegativen Entropieänderung ΔS≥0ΔS≥0\Delta S\geq0

Ich verstehe, dass wir beweisen können, dass für jeden Prozess, der in einem isolierten und geschlossenen System abläuft, dies gelten muss

Δ S 0

über den Satz von Clausius . Meine Frage ist, wie kann ich das mathematisch beweisen?

Übrigens gibt es eine (klassische) Argumentation, die sich auf die Boltzmann-Gleichung stützt, die wiederum durch Abschneiden der BBGKY-Hierarchie abgeleitet werden kann . Das Abschneiden ist effektiv eine Vernachlässigung von 2- oder 3-Partikel-Korrelationen. Es ist interessant, weil es in der Lage ist, den Punkt aufzudecken, an dem wir die Zeitumkehrbarkeit verlieren, und es gab einige lesenswerte Argumente. Leider kann ich im Moment keine Open-Access-Referenz (und auf Englisch) finden.
OK, wenn du es findest, sag es mir bitte.

Antworten (3)

Im Kontext der Quantenmechanik die Entropie eines Systems, dessen Anfangszustand durch eine Dichtematrix gegeben ist ρ ( 0 ) ist durch die sogenannte von-Neumann-Entropie gegeben ;

S v N ( ρ ) = k T R ( ρ ln ρ )
Für ein isoliertes System ist die quantenmechanische Zeitentwicklung einheitlich; für jedes Mal T , gibt es einen unitären Operator U ( T ) so dass der Zustand des Systems zu der Zeit T wird von gegeben
ρ ( T ) = U ( T ) ρ ( 0 ) U ( T )
Es kann gezeigt werden, dass die von Neumann-Entropie unter der einheitlichen Ähnlichkeitstransformation von invariant ist ρ ; mit anderen Worten
S v N ( U ρ U ) = S v N ( ρ )
und es folgt sofort
S v N ( ρ ( 0 ) ) = S v N ( ρ ( T ) )
Mit anderen Worten, die Entropie eines isolierten Quantensystems ändert sich gemäß dem zweiten Hauptsatz der Thermodynamik nicht mit der Zeit.

Zulassung des Autors. Ich habe mich immer etwas über das Argument geärgert, das ich Ihnen gerade gegeben habe, nicht weil ich es für falsch halte, sondern weil angesichts der Schlussfolgerung, die wir daraus in Bezug auf isolierte Systeme ziehen, warum die Leute nicht sagen, dass dies die stärkere Aussage ist D S = 0 für isolierte Systeme im Gegensatz zu D S 0 . Es ist nicht so, dass dies widersprüchliche Aussagen wären; einer ist einfach stärker als der andere, also würde ich denken, dass man einfach den stärkeren im Kontext isolierter Systeme behaupten sollte.

Nachtrag. Als Antwort auf mein "Eingeständnis" sollte ich anmerken, dass es ein nettes Argument gibt, das ich für die Nicht-Negativität einer Änderung der Gesamtentropie (von-Neumann) eines isolierten Systems gesehen habe, vorausgesetzt, man definiert die Gesamtentropie richtig. Hier ist es.

Angenommen, wir haben ein isoliertes System, nennen wir es das Universum, das durch einen Hilbert-Raum beschrieben wird H . Angenommen, dieses System kann in zwei Subsysteme unterteilt werden A Und B damit der kombinierte Hilbertraum geschrieben werden kann H = H A H B . Ist die Dichtematrix des Universums ρ , dann die Dichtematrizen der Teilsysteme A Und B werden als Teilspuren definiert ρ ;

ρ A = T R H A ρ , ρ B = T R H B ρ
Nun können wir folgendes beweisen:

Wenn Systeme A Und B sind zunächst unkorreliert, dann die Gesamtentropie S ( ρ A ) + S ( ρ B ) wird nie niedriger sein als zum Anfangszeitpunkt.

Nachweisen. Wenn die Systeme anfänglich unkorreliert sind, dann ist der Gesamtdichteoperator zum Anfangszeitpunkt per Definition ein Tensorprodukt ρ ( 0 ) = ρ A 0 ρ B 0 . Aus der Aufnahme von Teilspuren und der Tatsache, dass der Dichteoperator eine Einheitsspur ist, folgt, dass die Dichtematrizen der Subsysteme A Und B zu Beginn sind

ρ A ( 0 ) = ρ A 0 , ρ B ( 0 ) = ρ B 0
Nun, zu jedem späteren Zeitpunkt, entwickelt sich die Gesamtdichtematrix einheitlich, so dass
S ( ρ ( 0 ) ) = S ( ρ ( T ) )
Andererseits ist Entropie subadditiv , was bedeutet, dass
S ( ρ ( T ) ) S ( ρ A ( T ) ) + S ( ρ B ( T ) )
und ist additiv für unkorrelierte Systeme, die gibt
S ( ρ ( 0 ) ) = S ( ρ A ( 0 ) ) + S ( ρ B ( 0 ) )
Wenn man das alles zusammensetzt, ergibt sich
S ( ρ A ( 0 ) ) + S ( ρ B ( 0 ) ) S ( ρ A ( T ) ) + S ( ρ B ( T ) )

Ich war jedoch immer etwas unzufrieden mit diesem Argument, weil (i) es davon ausgeht, dass die Teilsysteme ursprünglich unkorreliert sind, und (ii) mir nicht klar ist, dass die Definition der Gesamtentropie die Summe der Entropien der reduzierten Dichte ist Betreiber der Subsysteme ist das, was wir nennen sollten S wenn wir schreiben Δ S 0 .

Übrigens wurde dieses Argument aus Vorlesungen gestohlen, an denen ich teilgenommen habe: Eric D'Hokers Quantenvorlesungsnotizen .

Ich frage mich, inwieweit wir wirklich beobachtete isolierte Systeme für eine einheitliche Evolution halten können?
Ich meine, wir können ein isoliertes System betrachten (eine geschlossene isolierte Vakuumbox mit einem langsam verdampfenden Ballon mit Luft, der schließlich die Luft freisetzt), für das wir normalerweise sagen, dass die Entropie wächst. Sollen wir in Ihrer Argumentation sagen, dass es sich in dem Moment ändert, in dem wir in die Schachtel schauen, und höchstwahrscheinlich wächst es?
@PeterKravchuk Ja, ich bin mir nicht sicher, obwohl ich einige Dinge in einem Nachtrag hinzugefügt habe, die etwas Licht auf das Problem werfen könnten. Ich denke, dass der entscheidende Punkt irgendwie die Art und Weise ist, wie Subsysteme größerer Systeme dazu neigen, stärker zu korrelieren, was zu einer größeren Entropie führt. Ich bin sicherlich kein Experte auf diesem Gebiet, also hoffe ich, dass andere dies lesen und Dinge hinzufügen / korrigieren, um etwas Licht in dieses Zeug zu bringen.
Es scheint mir, als ob es dabei mindestens zwei eklatante Probleme gibt. (1) Alle Systeme der realen Welt werden von der Quantenmechanik beherrscht, und wir beobachten, dass isolierte Systeme ihre Entropie gemäß dem üblichen Begriff der Entropie erhöhen können. Daher scheint das Argument nur zu beweisen, dass die von Neumann-Entropie für die Beschreibung der realen Thermodynamik von geringem Interesse ist. (2) Wir können keine statistische Definition der Thermodynamik konstruieren, wie sie in realen Anwendungen verwendet wird, ohne eine grobe Körnung zu definieren. Diese Zutat fehlt hier.
@BenCrowell Ich teile Ihre Besorgnis, obwohl ich nicht denke, dass die von Neumann-Entropie für die Beschreibung der realen Thermodynamik von geringem Interesse ist, da beispielsweise die kanonische Dichtematrix durch Maximierung der von Neumann-Entropie abgeleitet werden kann. Hast du den Nachtrag gelesen? Ich wäre neugierig, Ihre Meinung dazu zu hören. Ich bin mir nicht sicher, ob ich Ihrer (2) zustimme, Sie machen eine Behauptung, die wahr sein könnte; aber es ist mir nicht klar, warum es so ist.
Josh, wo kommt die Dekohärenz in dieses Rätsel? Sicherlich wird die makroskopische Welt entkoppelt und die makroskopische Entropie nimmt hauptsächlich zu.
@annav Ich vermute stark, dass so etwas wie das, was Sie vorschlagen, wahr ist, aber ich weiß leider so gut wie nichts über Dekohärenz (obwohl ich es wirklich tun sollte: /). Vielleicht habe ich in naher Zukunft etwas Zeit, um mehr zu erfahren, und ich werde sicherlich aktualisieren, wenn ich das tue.

Hier ist ein aufschlussreicher Spezialfall: Take N Körper mit Temperaturen T 1 , T N und bringen sie zusammen, bis sie eine Endtemperatur erreichen T . Das sagt Ihnen der erste Hauptsatz der Thermodynamik T ist das arithmetische Mittel der T ich . Der zweite Hauptsatz der Thermodynamik sagt Ihnen, dass die Änderung der Entropie ist N Protokoll ( T / G ) Wo G ist das geometrische Mittel. Das ist ein Standardsatz in der reinen Mathematik T > G , womit die Entropieänderung positiv sein muss.

Ich verstehe, dass wir beweisen können, dass für jeden Prozess, der in einem isolierten und geschlossenen System auftritt, über den Satz von Clausius gelten muss, dass ΔS ≥ 0 ist. Meine Frage ist, wie kann ich das mathematisch beweisen?

Das Clausius-Theorem besagt, dass, wenn das System einen allgemeinen zyklischen Prozess durchläuft, während dessen es mit einem Reservoir mit (möglicherweise variierender) Temperatur verbunden ist T R , das Integral

C = T 1 T 2 Q ' ( T ) T R ( T ) D T 0 ,
Wo Q ' ( T ) ist die zeitliche Ableitung der vom System aufgenommenen Wärme T ( T ist nur eine reelle Zahl, die Zustände indiziert, wie sie im irreversiblen Prozess auftreten, es muss nicht wirklich die Zeit sein). Der zweite Teil des Satzes von Clausius ist die Behauptung, dass das Integral gleich Null ist, wenn der gesamte zyklische Prozess umkehrbar ist.

Nehmen wir nun an, unser isoliertes System durchläuft einen irreversiblen Prozess A ( ich R R e v . ) B . Das System kann einer solchen Änderung als Ergebnis einer Änderung der auferlegten inneren Beschränkungen unterliegen, wie z. B. das Entfernen einer Wand, die zwei Trennwände eines Behälters trennt, der mit Gas unterschiedlichen Drucks gefüllt ist. Das System wird dann thermisch mit einem Wärmereservoir verbunden und einem reversiblen Prozess unterzogen B ( R e v . ) A .

Während des irreversiblen Prozesses A B , da das System isoliert ist, gibt es keine Wärmeübertragung und den entsprechenden Beitrag zu C verschwindet.

Während des reversiblen Prozesses B A , im Allgemeinen kann Wärme übertragen werden. Das Integral C Somit

C = B , γ Umdrehung. A Q Umdrehung. ' ( S ) T ( S ) D S ,
Wo S parametrisiert umkehrbare Flugbahn γ Umdrehung.  im Raum der Gleichgewichtszustände und Q Umdrehung. ' ( S ) ist Ableitung der Wärme Q Umdrehung. ( S ) bereits vom System akzeptiert, wenn es in dem Zustand ist S .

Die Entropieänderung beim Übergang vom Gleichgewichtszustand A in den Gleichgewichtszustand B ist definiert als

Δ S = A , γ Umdrehung B Q Umdrehung. ' ( S ) T D S ,

was dasselbe ist wie C nur mit umgekehrtem Vorzeichen. Seit C 0 ,

Δ S = C 0 ,

QED.