1.2 Equilibrium properties 13
which ensures the condition
Tr f
(N )
0
(r
N
, p
N
) = 1. (1.2.9)
In order to prove the above theorem we first consider an arbitrary choice of the distri-
bution function f
(N )
= f
(N )
0
. Since both the distribution functions represent probabilities,
both of them are real positive numbers and x = f
(N )
/ f
(N )
0
is also a positive number. Since
both the distributions are normalized, we must have
Tr f
(N )
(r
N
, p
N
) = Tr f
(N )
0
(r
N
, p
N
) = 1. (1.2.10)
Now let us consider the difference of the function H
G
as evaluated with the arbitrary
functional f
(N )
from that corresponding to f
(N )
0
:
H
G
[ f ]−H [ f
0
]=Tr
f
0
x ln{xf
0
(r
N
, p
N
, t)}− f
0
ln f
0
, (1.2.11)
where we have dropped the superscript N on f to keep the notation simple. Using the
normalization condition (1.2.10),theRHSofeqn. (1.2.11) reduces to
H
G
[ f ]−H [ f
0
]=Tr
!
f
0
{
x ln x − x + 1
}
+
(
f − f
0
)
ln f
0
"
= I
1
+ I
2
. (1.2.12)
The first integral, I
1
,ontheRHSofeqn. (1.2.12) is always positive since, according to the
Gibbs inequality (see Appendix A1.1), the quantity (x ln x −x +1) is positive definite for
positive x. The second integral, I
2
,ontheRHSofeqn. (1.2.12) vanishes. To demonstrate
this we use the expression (1.2.7) for evaluating ln f
0
,
I
2
=−Tr
( f − f
0
)
&
ln W
0
+
i
α
i
A
i
(r
N
, p
N
)
'
= 0. (1.2.13)
The above result for I
2
follows easily from the normalization condition (1.2.10) and the
constraints (1.2.6) for the ensemble averages of the set of observable {A
i
}. Note that W
0
and the parameters {α
i
} are not dependent on the phase-space variables. We have thus
proved that H
G
for all arbitrary choices of f
(N )
increases from its value corresponding to
the function f
(N )
0
. The latter, as given by the RHS of eqn. (1.2.7), therefore minimizes the
function H
G
. If we identify −k
B
H
G
with the thermodynamic entropy of the equilibrium
state, the other parameters are also readily identified from the relation
−
S
k
B
=−ln W
0
−
i
α
i
¯
A
i
. (1.2.14)
Since for the equilibrium state the entropy is a maximum, we obtain, on taking the deriva-
tive of eqn. (1.2.14) with respect to α
i
, the following result for the thermodynamic average:
¯
A
i
=−
∂
∂α
i
ln W
0
. (1.2.15)