This is the first of a series of papers which describe the functional-integral approach to the study of the statistical and kinetic properties of nonequilibrium quantum fields in flat and curved spacetimes. In this paper we treat a system of self-interacting bosons described by \ensuremath{\lambda}${\ensuremath{\varphi}}^{4}$ scalar fields in flat space. We adopt the closed-time-path (CTP or ``in-in'') functional formalism and use a two-particle irreducible (2PI) representation for the effective action. These formalisms allow for a full account of the dynamics of quantum fields, and put the correlation functions on an equal footing with the mean fields. By assuming a thermal distribution we recover the real-time finite-temperature theory as a special case. By requiring the CTP effective action to be stationary with respect to variations of the correlation functions we obtain an infinite set of coupled equations which is the quantum-field-theoretical generalization of the Bogoliubov-Born-Green-Kirkwood-Yvon (BBGKY) hierarchy. Truncation of this series leads to dissipative characteristics in the subsystem. In this context we discuss the nature of dissipation in interacting quantum fields.To one-loop order in a perturbative expansion of the CTP effective action, the 2PI formalism yields results equivalent to the leading 1/N expansion for an O(N)-symmetric scalar field. To higher-loop order we introduce a two-time approximation to separate the quantum-field effects of radiative correction and renormalization from the statistical-kinetic effects of collisions and relaxation. In the weak-coupling quasiuniform limit, the system of nonequilibrium quantum fields can subscribe to a kinetic theory description wherein the propagators are represented in terms of relativistic Wigner distribution functions. From a two-loop calculation we derive the Boltzmann equation for the distribution function and the gap equation for the effective mass of the quasiparticles. One can define an entropy function for the quantum gas of quasiparticles which satisfies the H theorem. We also calculate the limits to the validity of the binary collision approximation from a three-loop analysis. The theoretical framework established here can be generalized to nonconstant background fields and for curved spacetimes.
Read full abstract