In Chapter 4, we introduced the Kadanoff–Baym equations of motion for the imaginary-time nonequilibrium Green's functions for a Bose gas, as given by (4.59) and (4.60). In this chapter, we will use the generalization of these equations of motion to find the equivalent equations of motion for the real-time Green's functions. These can be written in a natural way in the form of a kinetic equation. Using a simple Hartree–Fock approximation, we show how the coupled equations for the condensate and thermal cloud given in Chapter 3 emerge naturally from the Kadanoff–Baym (KB) formalism. This chapter is based on Imamović-Tomasović and Griffin (2001) and Imamović-Tomasović (2001), building on the pioneering work of Kane and Kadanoff (1965).

In this chapter and Chapter 7 we review the KB formalism. However, we also encourage the reader to read the original account given by Kadanoff and Baym (1962). The goals and accomplishments of their seminal book are beautifully captured by the following quote from p. 138:

A closely related way of treating the nonequilibrium dynamics of a Bose-condensed gas is based on the two-particle irreducible (2PI) effective action together with the Schwinger–Keldysh closed-time path formalism. Berges (2004) gives a detailed review of this approach, which allows one to derive the nonequilibrium action on the basis of controllable approximations.