H-theorem

H-theorem

In thermodynamics, the H-theorem, introduced by Boltzmann in 1872, describes the increase in the entropy of an ideal gas in an irreversible process, by considering the Boltzmann equation.

It appears to predict an irreversible increase in entropy, despite microscopically reversible dynamics. This has led to much discussion.

Boltzmann's H-theorem

The quantity "H" is defined as the integral over velocity space ::where P(v) is the probability. "H" is a forerunner of Shannon's information entropy.

The article on Shannon's information entropycontains a
good explanationof the discrete counterpart of the quantitydisplaystyle H, known as the information entropy or information uncertainty (with a minus sign).By , also called differential entropy, one obtainsthe expression in Eq.(1), and thus a better feel for the meaning ofdisplaystyle H.

Using the Boltzmann equation one can prove that "H" can only decrease.

For a system of "N" statistically independent particles, "H" is related to the thermodynamic entropy "S" through::S stackrel{mathrm{def{=} - N k Hso, according to the H-theorem, "S" can only increase.

However, Loschmidt objected that it should not be possible to deduce an irreversible process from time-symmetric dynamics and a time-symmetric formalism: something must be wrong (Loschmidt's paradox). The answer is that the theorem is based on Boltzmann's assumption of "molecular chaos", i.e., that it is acceptable for all the particles to be considered independent and uncorrelated. This in fact breaks time reversal symmetry and therefore begs the question.

Quantum mechanical H-theorem

The following quantum-mechanical analogue of Boltzmann's H-theorem is sometimes given (e.g., Waldram (1985), p.39).

Starting from the Gibbs definition of thermodynamic entropy,

:S = - k sum_i p_i ln p_i ,

differentiating gives

:frac{dS}{dt} = - k sum_i ln p_i frac{dp_i}{dt}

(using the fact that "∑ dpi/dt = 0", since "∑ pi = 1").

Now Fermi's golden rule gives a master equation for the probability of quantum jumps from state α to β; and from state β to α. For an isolated system the jumps will make a contribution "ναβ(pβ-pα)" to "dpα/dt", and a contribution "ναβ(pα-pβ)" to "dpβ/dt"; the micro-reversibility of the dynamics ensuring that the same transition constant ναβ appears in both expressions.

Thus

:frac{dS}{dt} = frac{1}{2} k sum_{alphaeta} u_{alphaeta}(ln p_{eta}-ln p_{alpha})(p_{eta}- p_{alpha}).

But the two brackets will have the same sign, so each contribution to "dS/dt" cannot be negative.

Therefore:Delta S geq 0for an isolated system.

The same mathematics is sometimes also presented for classical systems, considering probability flows between coarse-grained cells in the phase space (e.g., Tolman (1938)).

Critique

Several criticisms can be made of the above "proof", for example by Gull (1989):

# It relies on the use of approximate quantum mechanics (Fermi's golden rule), not necessarily valid for large perturbations.
# Are the probabilities to be considered as representing "N" independent systems of 1 particle, or as applying to 1 system of "N" particles? If it is the former, then it is ignoring the inter-particle correlations between the systems after collisions, explaining the information loss. The 1-particle entropy also ignores many-body effects in the potential energy, so bears little relation to the entropy of any real gas.
# On the other hand, treated properly, an N-particle system has N-particle states. An isolated system will presumably sit in one of its N-particle microstates and make no transitions at all.

Analysis

At the heart of the H-theorem is the replacement of "1-state to 1-state" deterministic dynamics by "many-state to many-state" Markovian mixing, with information lost at each Markovian transition.

Gull is correct that, with the powers of Laplace's demon, one could in principle map forward exactly the ensemble of the original possible states of the N-particle system exactly, and lose no information. But this would not be very interesting. Part of the program of statistical mechanics, not least the MaxEnt school of which Gull is an enthusiastic proponent, is to see just how much of the detail information in the system one can ignore, and yet still correctly predict experimentally reproducible results.

The H-theorem's program of regularly throwing information away, either by systematically ignoring detailed correlations between particles, or between particular sub-systems, or through systematic regular coarse-graining, leads to predictions such as those from the Boltzmann equation for dilute ideal gases or from the recent entropy-production fluctuation theorem, which are useful and reproducibly observable. They also mean that we have "learnt" something qualitative about the system, and which parts of its information are useful for which purposes, which is additional beyond even the full specification of the microscopic dynamical particle trajectories.

(It may be interesting that having rounded on the H-theorem for not considering the microscopic detail of the microscopic dynamics, Gull then chooses to demonstrate the power of the extended-time MaxEnt/Gibbsian method by applying it to a Brownian motion example - a not so dissimilar replacement of detailed deterministic dynamical information by a simplified stochastic/probabilistic summary!)

However, it is an "assumption" that the H-theorem's coarse-graining is not getting rid of any 'interesting' information. With such an assumption, one moves firmly into the domain of "predictive" physics: if the assumption goes wrong, it may produce predictions which are systematically and reproducibly wrong.

See also

* Loschmidt's paradox
* Arrow of time
* Second Law of Thermodynamics
* Fluctuation theorem

References

* Vol. 10 of the Course of Theoretical Physics (3rd Ed).
*
*; (1979) New York: Dover ISBN 0-486-63896-0
* Gull, S.F. (1989) [http://www.ucl.ac.uk/~ucesjph/reality/entropy/text.html Some misconceptions about entropy] in: cite book | editor =B. Buck, V. A. Macaulay (Eds.) | title=Maximum Entropy in Action | publisher = Oxford University Press | date = 1991 | id = ISBN 0-19-853963-0.


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Theorem — The o*rem, n. [L. theorema, Gr. ? a sight, speculation, theory, theorem, fr. ? to look at, ? a spectator: cf. F. th[ e]or[ e]me. See {Theory}.] 1. That which is considered and established as a principle; hence, sometimes, a rule. [1913 Webster]… …   The Collaborative International Dictionary of English

  • Theorem of Pappus — Theorem The o*rem, n. [L. theorema, Gr. ? a sight, speculation, theory, theorem, fr. ? to look at, ? a spectator: cf. F. th[ e]or[ e]me. See {Theory}.] 1. That which is considered and established as a principle; hence, sometimes, a rule. [1913… …   The Collaborative International Dictionary of English

  • Theorem der korrespondierenden Zustände — Theorem der korrespondierenden Zustände,   Theorem der übereinstimmenden Zustände, 1881 von J. D. van der Waals aufgestellter thermodynamischer Satz, der davon ausgeht, dass sich alle Stoffe am kritischen Punkt (kritischer Zustand) in einem… …   Universal-Lexikon

  • Theorem Stencil — Theorem stencil, sometimes also called theorem painting or velvet painting, is the art of making stencils and using them to make drawings or paintings on fabric or paper. [Chotner, Deborah (1992). American Naive Paintings , pp. 370 71. Oxford… …   Wikipedia

  • Theorem — The o*rem, v. t. To formulate into a theorem. [1913 Webster] …   The Collaborative International Dictionary of English

  • Theorem Proving in Higher-Order Logics — (TPHOLs) is an annual international academic conference on the topic of automated reasoning in higher order logics. The first TPHOLs was held in Cambridge, UK in 1987, but in the early years was an informal gathering of researchers interested in… …   Wikipedia

  • Theorēm — (griech.), soviel wie Lehrsatz …   Meyers Großes Konversations-Lexikon

  • Theorem — Theorēm (grch.), Lehrsatz …   Kleines Konversations-Lexikon

  • Theorem — Theorem, griech. (das Wort mit allen damit verwandten Ausdrücken hat seine Wurzel in einem griech. Zeitworte, welches bedeutet: anschauen, besonders: innerlich, geistig anschauen, in seinen letzten Gründen etwas schauen), der Lehrsatz; t. atisch …   Herders Conversations-Lexikon

  • theorem — index inference, postulate, prescription (directive), principle (axiom), supposition Burton s Legal Thesaurus. William …   Law dictionary

  • Theorem — Theorem,das:⇨Lehrsatz …   Das Wörterbuch der Synonyme

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”