2.5 Calculation of the grand canonical ensemble

Maximize

S′ = -k∑ ipi ln ⁡ (pi)

(2.25)

with the restrictions

0 = ∑ ipiUi -U, and0 = ∑ ipi - 1, and0 = ∑ ipiNi -N.

(2.26)

Introducing the Lagrange parameters α, β, and γ the variation of the function

δ [S′-kα (∑ ipi - 1) -kβ (∑ ipiUi -U ) -kγ (∑ ipiNi -N )] = 0

(2.27)

without restrictions leads to

- ln ⁡ (pi) - 1 -α -βUi -γNi = 0.

(2.28)

Defining again

1 Z = exp ⁡ (-1 -α)

(2.29)

we find

pi = 1 Z exp ⁡ (-βUi -γNi)andZ(β,V,γ) = ∑ i exp ⁡ (-βUi -γNi).

(2.30)

We get

U = ∑ ipiUi = ∑ i exp ⁡ (-βUi -γNi)Ui ∑ i exp ⁡ (-βUi -γNi) = - (∂ ln ⁡ (Z) ∂β ) := U(β,V,γ)

(2.31)

and

N = ∑ ipiNi = ∑ i exp ⁡ (-βUi -γNi)Ni ∑ i exp ⁡ (-βUi -γNi) = - (∂ ln ⁡ (Z) ∂γ ) := N(β,V,γ)

(2.32)

i.e.

S = k ln ⁡ (Z) + βkU + γkN.

(2.33)

The total derivative is:

dS k = (∂ ln ⁡ (Z) ∂β )dβ + (∂ ln ⁡ (Z) ∂γ )dγ + (∂ ln ⁡ (Z) ∂V )dV + Udβ + βdU + Ndγ + γdN = (∂ ln ⁡ (Z) ∂V )dV + βdU + γdN

(2.34)
So

S = S(V,N,U)

(2.35)

and S is the Legendre transformed of k ln ⁡ (Z).
Let

(∂S ∂U ) := 1 Tand ( ∂S ∂N ) := -μ T.

(2.36)

So

β = 1 kT, andγ = - μ kT.

(2.37)

Following again the procedure for the calculation of the free energy we find

Ω = U -μN -TS

(2.38)

and

Ω(T,V,μ) = -kT ln ⁡ (Z(T,V,μ)).

(2.39)