Functional integration is one of the most powerful methods of modern theoretical physics. The functional integration approach to systems with an infinite number of degrees of freedom turns out to be very suitable for the introduction and formulation of the diagram perturbation theory in quantum field theory and statistical physics. This approach is simpler than that using an operator method. The application of functional integrals in statistical physics allows one to derive numerous interesting results more quickly than when using other methods. The theories of phase transitions of the second kind, superfluidity, superconductivity, lasers, plasma, the Kondo effect, the Ising model – a list of problems which is far from complete, for which the application of the functional integration method appears to be very fruitful. In some of the problems, it allows us to give a rigorous proof of results obtained by other methods. If there is a possibility of an exact solution, the functional integration method gives a simple way to obtain it. In problems far from being exactly solvable (for example, the general theory of phase transitions), the application of functional integrals helps to build up a qualitative picture of the phenomenon and to develop the approximative methods of calculations. Functional integrals are especially useful for the description of collective excitations, such as plasma oscillations in the system of particles with Coulomb interaction, quantum vortices and long-wave phonons in superfluidity and superconductivity, collective modes in 3 He-type systems and in 3 He− 4 He mixtures.
Functional integration is one of the most powerful methods of modern theoretical physics. The functional integration approach to systems with an infinite number of degrees of freedom turns out to be very suitable for the introduction and formulation of the diagram perturbation theory in quantum field theory and statistical physics. This approach is simpler than that using an operator method. The application of functional integrals in statistical physics allows one to derive numerous interesting results more quickly than when using other methods. The theories of phase transitions of the second kind, superfluidity, superconductivity, lasers, plasma, the Kondo effect, the Ising model – a list of problems which is far from complete, for which the application of the functional integration method appears to be very fruitful. In some of the problems, it allows us to give a rigorous proof of results obtained by other methods. If there is a possibility of an exact solution, the functional integration method gives a simple way to obtain it. In problems far from being exactly solvable (for example, the general theory of phase transitions), the application of functional integrals helps to build up a qualitative picture of the phenomenon and to develop the approximative methods of calculations. Functional integrals are especially useful for the description of collective excitations, such as plasma oscillations in the system of particles with Coulomb interaction, quantum vortices and long-wave phonons in superfluidity and superconductivity, collective modes in 3 He-type systems and in 3 He− 4 He mixtures.
This book describes the theory and selected applications of one of the most important mathematical tools used in the theoretical investigation of collective excitations in statistical physics, such as occur in superfluidity, superconductivity, plasma dynamics, superradiation, and in phase transitions. The author, who is a distinguished physicist and leading researcher in this area, begins with an introduction to functional integral techniques in equilibrium statistical thermodynamics, and discusses the expression of partition functions and Green functions in terms of functional integrals. Subsequent sections deal with the application of functional integrals in superfluid Bose systems, systems with Coulomb interaction, and superfluid Fermi systems. The final section considers the application of the concept of Bose-condensation of auxiliary fields to the theory of crystals, heavy atoms and also to the theory of model Hamiltonians (BCS and Dicke models).
Introduction Preliminary remarks The path integral formalism is one of the most important tools in modern theoretical physics. Integration in functional spaces was considered for the first time by Norbert Wiener in his studies of diffusion processes [60, 61]. The corresponding integration measure is now known as the Wiener measure, i.e. the so-called Gaussian path integrals were studied. In quantum mechanics, functional integrals were introduced by R. Feynmann [62, 63] who was inspired by important observations due to P. A. M. Dirac concerning a relation between wave function and classical action [64, 65]. In modern physics the path integral formalism is applied not only to developing a quantum description for systems with infinitely many degrees of freedom as, for example, in quantum field theories or condensed matter physics, but also to ordinary quantum mechanical problems. Moreover there is a tendency to reformulate standard quantum mechanical problems (such as a particle in a “box” or potential well [66, 67], or a particle in the Coulomb field [68]) within the framework of the path integral method. The reason for doing this is rather obvious: physicists develop a new mathematical tool, a new language and, in order to comprehend all of its subtleties, it is necessary to investigate as many concrete examples as possible. Use of the path integral formalism is widespread in quantum field theory because it is the most adequate mathematical tool for a wide range of problems which allows, not only for elegant formulation of problems, but also for a great deal of simplification of their theoretical analysis.
Formal functional integrals are commonly used as theoretical tools and as sources of intuition for predicting phase transitions of many-body systems in Condensed Matter Physics. In this thesis, we derive rigorous versions of these functional integrals for two types of quantum many-particle systems. We begin with a brief review of quantum statistical mechanics in Chapter 2 and the formalism of coherent states in Chapter 3, which form the basis for our analysis in Chapters 4 and 5. In Chapter 4, we study a mixed gas of bosons and/or fermions interacting on a finite lattice, with a general Hamiltonian that preserves the total number of particles in each species. We rigorously derive a functional integral representation for the partition function, which employs a large-field cutoff for the boson fields. We then expand the resulting “action” in powers of the fields and find a recursion relation for the coefficients. In the case of a two-body interaction (such as the Coulomb interaction), we also find bounds on the coefficients, which give a domain of analyticity for the action. This domain is large enough for use of the action in the functional integral, provided that the large-field cutoffs are taken to grow not too quickly. In Chapter 5, we study a system of electrons and phonons interacting in a finite lattice, using the Holstein Hamiltonian. Again, we rigorously derive a coherent-state functional integral representation for the partition function of this system and then prove that the “action” in the functional integral is an entire-analytic function of the fields. However, since the Holstein Hamiltonian does not preserve the total number of bosons, the approach from Chapter 4 requires some modification. In particular, we repeatedly use Duhamel expansions in powers of the interaction, rather than sums over particle numbers.
Abstract Functional integrals are basic tools to study first quantum mechanics (QM), and quantum field theory (QFT). The path integral formulation of QM is well suited to the study of systems with an arbitrary number of degrees of freedom. It makes a smooth transition between nonrelativistic QM and QFT possible. The Euclidean functional integral also emphasizes the deep connection between QFT and the statistical physics of systems with short-range interactions near a continuous phase transition. The path integral representation of the matrix elements of the quantum statistical operator e-β H for Hamiltonians of the simple separable form p2/2m +V(q) is derived. To the path integral corresponds a functional measure and expectation values called correlation functions, which are generalized moments, and related to quantum observables, after an analytic continuation in time. The path integral corresponding to the Euclidean action of a harmonic oscillator, to which is added a time-dependent external force, is calculated explicitly. The result is used to generate Gaussian correlation functions and also to reduce the evaluation of path integrals to perturbation theory. The path integral also provides a convenient tool to derive semi-classical approximations.
In the first three chapters we have considered problems related to the physical behaviour of one or a few particles (or some other physical objects which can be effectively described by one or a few (quasi)particles as, e.g., the random walk model in polymer physics considered in chapter 1). Though quantum field theory describes systems with an arbitrary number of degrees of freedom (an arbitrary number of (quasi)particles), in chapter 3 we actually applied it to systems with a restricted and small number of particles (e.g., for the description of the scattering process for a few particles). Another way to express this fact is to say that in chapter 3 we have considered field theories at zero temperature. However, the majority of realistic systems contain many identical (indistinguishable) particles such as atoms, electrons, photons etc. An attempt to describe these systems in terms of the individual trajectories of all particles is absolutely hopeless. Instead, we are interested in the collective behaviour of systems and describe them in terms of partition functions, mean values, correlation functions, etc. The methods of derivation, analysis and calculation of such collective characteristics constitute the subject of classical and quantum statistical mechanics.
Quantum field theories are quantum mechanical systems with an infinite number of degrees of freedom. We start this book with a review of quantum mechanics in a form that is particularly suited for the field theory generalization. This form utilizes the Heisenberg picture and the functional integral representation of probability amplitudes — the transformation functions of Dirac. Some time will be spent developing and discussing the functional or path integral representation of quantum mechanics since this will enable us to learn a new formalism in a simple and familiar physical context — we won't have to learn too many new things all at once. The functional formulation will be illustrated by applying it at some length to the harmonic oscillator which is not only the simplest (and exactly soluble) non-trivial quantum system but which is also the dynamics of a single mode of a free field theory. The purpose of this review of quantum mechanics is to introduce in the simplest form much of the notation and methods used later in the book. Throughout this chapter we will explicitly work only with systems that have a single degree of freedom (one coordinate variable). The extension to systems with several degrees of freedom is straightforward.