Introduction In this and the next two chapters we lay down the basis to go beyond the Hartree–Fock approximation. We develop a powerful approximation method with two main distinctive features. The first feature is that the approximations are conserving . A major difficulty in the theory of nonequilibrium processes consists in generating approximate Green's functions yielding a particle density n (x, t ) and a current density J (x, t ) which satisfy the continuity equation, or a total momentum P ( t ) and a Lorentz force F ( t ) which is the time-derivative of P ( t ), or a total energy E ( t ) and a total power which is the time-derivative of E ( t ), etc. All these fundamental relations express the conservation of some physical quantity. In equilibrium the current is zero and hence the density is conserved, i.e., it is the same at all times; the force is zero and hence the momentum is conserved; the power fed into the system is zero and hence the energy is conserved, etc. The second important feature is that every approximation has a clear physical interpretation. In Chapter 7 we showed that the two-particle Green's function in the Hartree and Hartree–Fock approximation can be represented diagrammatically as in Fig. 7.1 and Fig. 7.2 respectively. In these diagrams two particles propagate from (1′, 2′) to (1, 2) as if there was no interaction.
Introduction In this and the next two chapters we lay down the basis to go beyond the Hartree–Fock approximation. We develop a powerful approximation method with two main distinctive features. The first feature is that the approximations are conserving . A major difficulty in the theory of nonequilibrium processes consists in generating approximate Green's functions yielding a particle density n (x, t ) and a current density J (x, t ) which satisfy the continuity equation, or a total momentum P ( t ) and a Lorentz force F ( t ) which is the time-derivative of P ( t ), or a total energy E ( t ) and a total power which is the time-derivative of E ( t ), etc. All these fundamental relations express the conservation of some physical quantity. In equilibrium the current is zero and hence the density is conserved, i.e., it is the same at all times; the force is zero and hence the momentum is conserved; the power fed into the system is zero and hence the energy is conserved, etc. The second important feature is that every approximation has a clear physical interpretation. In Chapter 7 we showed that the two-particle Green's function in the Hartree and Hartree–Fock approximation can be represented diagrammatically as in Fig. 7.1 and Fig. 7.2 respectively. In these diagrams two particles propagate from (1′, 2′) to (1, 2) as if there was no interaction.
In this chapter we introduce the fundamental concepts behind the Green Function Theory. We start from a description of the second quantization method and then, after introducing the ensemble average of an operator, we define the main object of the theory, the Green function. Further on, after obtaining the equation of motion for the Green function, we introduce the self-energy operator and we discuss the Hartree-Fock approximation, the second-Born approximation and the GW approximation to the self-energy.
To avoid confusion, it is necessary to be quite explicit about what is assumed and what is to be proved. A. Klein, Phys. Rev. 121, 950 (1961) Summary The topic of this chapter is functionals that provide a concise formulation for thermodynamic quantities and Green's function methods in interacting many-body systems. Building upon the instructive examples of density functional theory and the Hartree– Fock approximation, functionals of the Green's function are developed to provide a framework for practical methods used extensively in many-body perturbation theory (Chs. 9–15), dynamical mean-field theory (Chs. 16–20), and their combination in Ch. 21. Functional concepts give a firm foundation for those methods, for example, they give the conditions for approximations to obey conservation laws. Additional background and specific aspects are in App. H. Many physical quantities can be expressed as functionals , i.e., they depend on an entire function.1 For example, in the quantum variational method to determine a wavefunction, the total energy of a system of many electrons is a functional of a many-body trial wavefunction ( r 1 , r 2 , …): it is the expectation value of the hamiltonian. At the variational minimum, assuming the trial wavefunction is completely flexible, one finds the many-body Schrödinger equation for the ground state. Many of the properties we are interested in are, formally, simple functionals of the ground- or excited-state wavefunctions. In the search for feasible ways to calculate properties such as excitation spectra, we are led to different types of functional. The idea is to deal only with a physical, measurable quantity Q of interest and a variational functional E [ Q ] of this quantity. The variational character of E allows one to derive equations that determine Q 0 , the value of Q for the system in a desired state, typically the ground state or equilibrium state at T ≠ 0. Other properties should be different functionals F m [ Q ] that can then be evaluated at Q = Q 0 . This strategy is outlined in Fig. 8.1. To appreciate the power of such approaches, one can consider the impact of density functional theory, which is formulated as a functional of the density n ( r ) of electrons; it is defined for a range of densities and the variational minimum for the energy functional E [ n ] leads to equations to determine the actual ground-state density n 0 ( r ) and total energy E 0 .
In Chapter 3, we introduced a simple but reasonable approximation for the nonequilibrium dynamics of a Bose-condensed gas based on a generalized GP equation coupled to a kinetic equation. In Chapters 4–7, we turn to the question of how to derive such coupled equations for the condensate and noncondensate components in a way that gives a deeper understanding of the ZNG theory. Chapters 4–7 involve an introduction to Green's functions and field theoretic techniques for nonequilibrium problems. These provide the natural language and formalism to deal with the many subtle aspects of a Bose-condensed gas at finite temperatures. These four chapters are fairly technical. This chapter is mainly based on Kadanoff and Baym (1962) and Imamović-Tomasović (2001). Readers who are not interested in these questions can go straight to Chapter 8, which begins the discussion of applications of the ZNG coupled equations given in Chapter 3. Overview of Green's function approach To derive a microscopic theory of the nonequilibrium behaviour of a dilute weakly interacting Bose-condensed gas at finite temperatures, there are several different approaches available in the literature. We will use the wellknown Kadanoff–Baym (KB) nonequilibrium Green's function method. The generalization of this formalism to a Bose-condensed system was first considered by Kane and Kadanoff (1965), whose goal was to derive the Landau two-fluid hydrodynamic equations for a system with a Bose broken symmetry. The general problem consists of how to calculate the nonequilibrium response of a system induced by an external (space- and time-dependent) perturbation. In response to such an external perturbation, many interesting physical phenomena appear, including the excitation of collective modes and various transport processes.
In Chapter 9 we applied the second quantization to the Hartree–Fock method. In this chapter we provide the basic aspects of the thermal Green function method, which is convenient for systematic perturbative expansion beyond the mean-field approximation. Several problems in quantum statistical mechanics can be elegantly and compactly described in terms of the so-called Matsubara Green functions (Matsubara (1955); Abrikosov et al. (1963)). Hence, if on one hand, the density matrix description, often used in the previous chapters, has a more direct physical interpretation, on the other hand the Green function method is far more powerful and takes advantage of a handy diagrammatic perturbation expansion. In the following chapters, we rely on the Green function for a more complete treatment of some many-body problems. To be self contained we introduce here this technical chapter with a short presentation of the by now standard Green function method. For a comprehensive treatment we refer the reader to the many books available and in particular to Abrikosov et al. (1963). The Matsubara Green function The main aim of quantum statistical mechanics is the evaluation of the partition function (see Eqs. (6.31) and (6.32)), e.g. in the grand canonical ensemble In the case of quantum gases one can evaluate Ƶ exactly as we did in Chapter 7. In general, the evaluation of the partition function is a difficult task and it is useful to use perturbation theory to obtain approximate solutions. To set up a perturbation theory, one begins by splitting the Hamiltonian as H = H 0 + H i, where H 0 represents the “easy” part, which can be solved exactly. In the second step, one could naturally think of expanding the exponential of the interacting part H i in order to write the partition function as a perturbative series. However, such a procedure requires extreme care due to the non-commutative nature of operators in quantum mechanics. The way of solving this problem is via the “ time ” ordering of operators in each term of the perturbative expansion. It can be shown, as we shall see in the present chapter, that the quantum statistical average of any time-ordered sequence of operators with respect to the unperturbed Hamiltonian H 0 can be expressed in terms of elementary quantum statistical averages of two field operators. Such elementary averages are called Green functions and in this section we introduce the basic definitions concerning them.
The Green’s function method is among the most powerful and versatile formalisms in physics, and its nonequilibrium version has proved invaluable in many research fields. With entirely new chapters and updated example problems, the second edition of this popular text continues to provide an ideal introduction to nonequilibrium many-body quantum systems and ultrafast phenomena in modern science. Retaining the unique and self-contained style of the original, this new edition has been thoroughly revised to address interacting systems of fermions and bosons, simplified many-body approaches like the GKBA, the Bloch equations, and the Boltzmann equations, and the connection between Green’s functions and newly developed time-resolved spectroscopy techniques. Small gaps in the theory have been filled, and frequently overlooked subtleties have been systematically highlighted and clarified. With an abundance of illustrative examples, insightful discussions, and modern applications, this book remains the definitive guide for students and researchers alike.
Abstract Chapter 09 Nonequilibrium Green’s functions (NEGF), including coupled-correlated (C) single- and multi-particle Green’s functions, are defined as averages weighted with the time-development operator U(t0+τ,t0). Linear conductivity is exhibited as a two-particle equilibrium Green’s function (Kubo-type formulation). Admitting particle sources (S:η,η+) and non-conservation of number, the non-equilibrium multi-particle Green’s functions are constructed with numbers of creation and annihilation operators that may differ, and they may be derived as variational derivatives with respect to sources η,η+ of a generating functional eW=TrU(t0+τ,t0)CS/TrU(t0+τ,t0)C. (In the non-interacting case this yields the n-particle Green’s function as a permanent/determinant of single-particle Green’s functions.) These variational relations yield a symmetric set of multi-particle Green’s function equations. Cumulants and the Linked Cluster Theorem are discussed and the Random Phase Approximation (RPA) is derived variationally. Schwinger’s variational differential formulation of perturbation theories for the Green’s function, self-energy, vertex operator, and also shielded potential perturbation theory, are reviewed. The Langreth Algebra arises from analytic continuation of integration of products of Green’s functions in imaginary time to the real-time axis with time-ordering along the integration contour in the complex time plane. An account of the Generalized Kadanoff-Baym Ansatz is presented.