Quantum Mechanics, Volume 3. Claude Cohen-Tannoudji

Figure 1: Plot of the function x lnx. At x = 1, this curve is tangent to the line y = x – 1 (dashed line) but always remains above it; the function value is thus always larger than x – 1.

Let us call pn the eigenvalues of ρ corresponding to the normalized eigenvectors |un〉, and the eigenvalues of ρ′ corresponding to the normalized eigenvectors |vm〉. Used for the positive numbers pn and , relation (10) yields:

(11)

      We now multiply this relation by the square of the modulus of the scalar product:

(12)

and sum over m and n. For the term in pn lnpn of (11), the summation over m yields in (12) the identity operator expanded on the basis {|v_m〉}; we then get 〈un|un〉 = 1, and are left with the sum over n of pn lnpn, that is the trace Tr{ρ lnρ}. As for the term in pn ln, the summation over m introduces:

      (13)

      and we get:

      (14)

      As for the terms on the right-hand side of inequality (11), the term in pn yields:

      (15)

and the one in also yields 1 for the same reasons, and both terms cancel out. We finally obtain the inequality:

(16)

which proves (8).

       Comment:

      One may wonder under which conditions the above relation becomes an equality. This requires the inequality (11) to become an equality, which means whenever the scalar product (12) is non-zero; consequently all the eigenvalues of the two operators ρ and ρ′ must be equal. In addition, the eigenvectors of each operator corresponding to different eigenvalues must be orthogonal (their scalar product must be zero). In other words, the eigenvalues and the subspaces spanned by their eigenvectors are identical, which amounts to saying that ρ = ρ′.

1-c. Minimization of the thermodynamic potential

The entropy S associated with any density operator ρ having a trace equal to 1 is defined by relation (6) of Appendix VI:

      (17)

      The thermodynamic potential of the grand canonical ensemble is defined by the “grand potential” Φ, which can be expressed as a function of ρ by relation (Appendix VI, § 1-c-β):

(18)

Inserting (5) into (18), we see that the value of Φ at equilibrium, Φ_eq, can be directly obtained from the partition function Z:

      (19)

      We therefore have:

(20)

Consider now any density operator ρ and its associated function Φ obtained from (18). According to (5) and (20), we can write:

      (21)

      Inserting this result in (18) yields:

(22)

Now relation (16), used with ρ′ = ρ_eq, is written as:

      (23)

Relation (22) thus implies that for any density operator ρ having a trace equal to 1, we have:

(24)

      the equality occurring if, and only if, ρ = ρ_eq.

Relation (24) can be used to fix a variational principle: choosing a family of density operators ρ having a trace equal to 1, we try to