Quantum Mechanics, Volume 3. Claude Cohen-Tannoudji
Чтение книги онлайн.
Читать онлайн книгу Quantum Mechanics, Volume 3 - Claude Cohen-Tannoudji страница 72
(21)
Inserting this result in (18) yields:
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:
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 identify in this family the operator that yields the lowest value for Φ. This operator will then be the optimal operator within this family. Furthermore, this operator yields an upper value for the grand potential, with an error of second order with respect to the error made on ρ.
2. Approximation for the equilibrium density operator
We now use this variational principle with a family of density operators that leads to manageable calculations.
2-a. Trial density operators
The Hartree-Fock method is based on the assumption that a good approximation is to consider that each particle is independent of the others, but moving in the mean potential they create. We therefore compute an approximate value of the density operator by replacing the Hamiltonian Ĥ by a sum of independent particles’ Hamiltonians
We now introduce the basis of the creation and annihilation operators, associated with the eigenvectors of the one-particle operator
The symmetric one-particle operator
where the real constants
We choose as trial operators acting in the Fock space the set of operators
where
(29)
Consequently, the relevant variables in our problem are the states
Taking (27) and (28) into account, we can write:
The following computations are simplified since the Fock space can be considered to be the tensor product of independent spaces associated with the individual states
2-b. Partition function, distributions
Equality