In this chapter we get acquainted with the one-particle Green's function G , or simply the Green's function. The chapter is divided in three parts. In the first part (Section 6.1) we illustrate what kind of physical information can be extracted from the different Keldysh components of G . The aim of this first part is to introduce some general concepts without being too formal. In the second part (Section 6.2) we calculate the noninteracting Green's function. Finally in the third part (Sections 6.3 and 6.4) we consider the interacting Green's function and derive several exact properties. We also discuss other physical (and measurable) quantities that can be calculated from G and that are relevant to the analysis of the following chapters. What can we learn from G ? We start our overview with a preliminary discussion on the different character of the space– spin and time dependence in G (1; 2). In the Dirac formalism the time-dependent wavefunction Ψ(x, t ) of a single particle is the inner product between the position–spin ket |x〉 and the time evolved ket |Ψ( t )〉. In other words, the wavefunction Ψ(x, t ) is the representation of the ket |Ψ( t )〉 in the position–spin basis.
In this chapter we get acquainted with the one-particle Green's function G , or simply the Green's function. The chapter is divided in three parts. In the first part (Section 6.1) we illustrate what kind of physical information can be extracted from the different Keldysh components of G . The aim of this first part is to introduce some general concepts without being too formal. In the second part (Section 6.2) we calculate the noninteracting Green's function. Finally in the third part (Sections 6.3 and 6.4) we consider the interacting Green's function and derive several exact properties. We also discuss other physical (and measurable) quantities that can be calculated from G and that are relevant to the analysis of the following chapters. What can we learn from G ? We start our overview with a preliminary discussion on the different character of the space– spin and time dependence in G (1; 2). In the Dirac formalism the time-dependent wavefunction Ψ(x, t ) of a single particle is the inner product between the position–spin ket |x〉 and the time evolved ket |Ψ( t )〉. In other words, the wavefunction Ψ(x, t ) is the representation of the ket |Ψ( t )〉 in the position–spin basis.
This paper gives an introduction to the Keldysh formalism, with emphasis on its usefulness in time-dependent density functional theory. In the first part we introduce the Keldysh contour and the one-particle Green function defined on this contour. We then discuss how to combine and manipulate functions with time-arguments on the contour. The effects of electron-electron interaction can be taken systematically into account, as we illustrate by propagating the Kadanoff-Baym equations for the second-order self-energy approximation. It is important to use conserving approximations such that the evolution of the electron density, momentum, and total energy agrees with the macroscopic conservation laws. One of the main topics in this paper is the non-interacting Green function, which is the relevant quantity for time-dependent density functional theory. We discuss this Green function in detail, and show how the Keldysh contour in a simple way allows us to derive the time-dependent Kohn-Sham potential from an action functional. The formalism in a similar way leads to response functions that obey the causality principle. To illustrate these points, we discuss the time-dependent optimized effective potential equations.
Introduction Mathematically, given a linear differential operator L x , one encounters the solution to the inhomogeneous differential equation Here ρ ( x ) is a given source function. For a given boundary condition, we assume a solution to exist. The solution can be reduced to a simpler problem. Let G ( x, y ) is the Green's function. This is a function of x with y a parameter. Take G ( x, y ) to satisfy the same boundary conditions as φ ( x ). Then since An example of L x is, of course, the Schrödinger operator We take ρ ( x ) = V ( x ) ψ ( x , t ), ψ ( x , t ) being the wave function and V ( x ) the potential operator. We are interested in Green's functions taken over from the techniques of quantum field theory (Schweber, 1961; Lifshitz and Petaevskii, 1981). We will concern ourselves particularly with one- and two-time Green's functions, since our principal interest is to show a connection to the calculations of linear response theory (Chapter 15) as well as to quantum kinetic equations. Then we wish to compare the methods with those described in Chapter 4. In this we will follow the work of L. P. Kadanoff and G. Baym (1962) and of L. V. Keldysh (1965) and also Zubarev (1974). We will not discuss equilibrium statistical mechanics utilizing Green's function techniques for many-body problems. The literature is exhaustive (see Abrikosov et al. , 1963; Fetter and Walecka, 1971). A good general introduction is the book by G. D. Mahan (2000). One- and two-time quantum Green's functions and their properties Let us introduce the creation operator ψ † ( r, t ) and annihilation operator ψ ( r, t ) of the second quantization formalism (see Schweber, 1961). They have the equal time commutation rules for Bose and Fermi particles: The Hamiltonian operator for the particles is and the number density of particles at r t is the operator Note that r = ( r 1 … r N ) for (1, 2, 3, …, N ) and V (| r − r ′|) is the pair potential depending, as in Chapter 4, on the scalar distance between the particles.
This chapter focuses on a basic but systematic treatment of wavefunctions. By comparison with a spin 1/2 system, the concept of a wavefunction as a collection of coefficients is developed, followed by discussions of eigenstates, operators, and representations in the context of wavefunctions. Transformation from position to momentum representation is effected by a Fourier transform. This is developed next, and illustrated for a Gaussian. The discussion of phases and time evolution in earlier chapters is now applied to wavefunctions, and the time evolution of a free particle discussed. The concept of a wavepacket and its suitability for representing particles follows. A topic of some subtlety — and one which is discussed in detail — is the use of bra-ket (Dirac) notation for wavefunctions. The chapter closes with a short epilogue.
Within the Landauer approach to conduction discussed in the previous chapter, electron interactions have been included only at the mean-field level. This is quite a strong approximation, especially in nanojunctions, where large current densities are common. I therefore want to go beyond this level of description. I can follow two different routes. (1) I can develop a functional theory of quantum correlations via time-dependent effective single-particle equations, as I will do in Chapter 7 where I will use dynamical density-functional theories within the micro-canonical approach to conduction. (2) I can try to solve the time-dependent Schrödinger equation 1.16 – or its mixed-state version, the Liouville-von Neumann equation 1.60 – directly. Written this way, this last proposition seems hopeless. In reality, we can employ a many-body technique, known as the non-equilibrium Green's function formalism (NEGF), also referred to as the Keldysh formalism (Keldysh, 1964; Kadanoff and Baym, 1962), which allows us, at least in principle, to do just that: solve the time-dependent Schrödinger equation for an interacting many-body system exactly, from which one can, in principle, calculate the time-dependent current. This is done by solving equations of motion for specific time-dependent single-particle Green's functions, from which the physical properties of interest, such as the charge and current densities, can be obtained. I have stressed the term “time-dependent” several times, because, as I will show in a moment, the NEGF is “exact” only when one solves the time-dependent Schrödinger equation for a closed quantum system, subject to deterministic perturbations: the system is closed but not necessarily isolated. These perturbations may drive the system far away from its initial state of thermodynamic equilibrium (Keldysh, 1964).
Preparation, I have often said, is rightly two-thirds of any venture. Amelia Earhart Summary Correlation functions provide a direct way to characterize and analyze many-body systems, both theoretically and experimentally. In this chapter we review the properties of one- and two-body correlation functions in quantum systems, with emphasis on several key quantities: static density correlations that determine the energy and thermodynamic potentials, dynamic correlation functions such as response functions that describe excitations of the system, and Green's functions that are basic tools in the theory of interacting many-body systems. Correlation functions are central quantities in the description of interacting many-body systems, both in the theoretical formulation and in the analysis of experiments. In contrast to single numbers like the total energy, correlation functions reveal far more information about the electrons, how they arrange themselves, and the spectra of their excitations. In contrast to the many-body wavefunctions that contain all the information on the system, correlation functions extract the information most directly relevant to experimentally measurable properties. Dynamic current–current correlation functions are sufficient to determine the electrical and optical properties: one-body Green's functions describe the spectra of excitations when one electron is added to or removed from the system, static and dynamic correlations are measured using scattering techniques, and so forth. In this chapter we present the basic definitions and properties of correlation functions and Green's functions that are the basis for much of the developments in the following chapters. In general, a correlation function quantifies the correlation between two or more quantities at different points in space r , time t , or spin σ . Very often the correlation function can be specified as a function of the Fourier-transformed variables, momentum (wavevector) k , and frequency ω . It is useful to distinguish between a dynamic correlation function which describes the correlation between events at different times and a static or equal-time correlation function, by which we mean that of a property measured or computed with “snapshots” of the system. Also, the different correlation functions can be classified by the number of particles and/or fields involved.
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 .