2.8 Recurrence and Steady State Distributions 171
One can show as in Example 8.2, but more simply, that the chain has the
invariant distribution π given by
π
j
=
2d
j
2
−2d
( j = 0, 1,...,2d), (8.38)
a symmetric binomial distribution Bin(2d, 1/2).
According to thermodynamics, heat exchange is an irreversible pro-
cess and thermodynamic equilibrium is achieved when the temperatures
of the two bodies equal, i.e., when boxes I and II both have (nearly) the
same number of balls. In the random heat exchange model, however, the
process of heat exchange is not irreversible, since the chain is (positive)
recurrent and after reaching j = d, the process will go back to the states
of extreme disequilibrium, namely, 0 and 2d, in finite time. Historically,
it was Poincar´e who first pointed out that statistical mechanical systems
have the recurrence property. Then the scientist Zermelo strongly argued
that such a system is physically invalid since it contradicts the second law
of thermodynamics, which asserts irreversibility. Finally, the Ehrenfests
and Smoluchowski demonstrated what Boltzmann had argued earlier
without providing compelling justification: starting from a state far from
equilibrium, the process approaches the equilibrium state j = d fairly
fast, while starting from the equilibrium state j = d to reach 0 or 2d, it
takes an enormously large time even compared to cosmological times.
In other words, after reaching equilibrium the process will not go back
to disequilibrium in physical time. Also, instead of considering the state
j = d as the thermodynamical equilibrium, kinetic theory implies that
π is the state of thermodynamical equilibrium. Because of the enormity
of the number of molecules in a physical system, the temperature of a
body that one would feel or measure is given by the average with respect
to π.
For an indication of the timescales involved, note that (See (8.1),
(7.14), and (8.38)
E
d
η
d
=
1
π
d
=
(d!)
2
(2d)!
2
2d
=
√
πd
1/2
(1 + 0(1)) as d →∞,
E
0
η
0
= E
2d
η
2d
= 2
2d
. (8.39)
Also see Complements and Details.
The final result of this section strengthens Theorem 8.1.