This chapter contains a brief compilation of information about various fields and contractions. The field formalism is fully applicable also to the ordinary quantum mechanics of systems with a finite number of degrees of freedom. The simplest example is that of a particle in a given external field. Preliminary separation of the δ function is necessary, for example, when calculating the amplitude by the stationary-phase method (the semiclassical approximation), since the conservation laws expressed by the δ functions automatically make the kernel of the quadratic form of the second variation of the action degenerate in the neighborhood of a classical trajectory. Nonrelativistic field theory is the quantum mechanics of systems with an arbitrary number of identical particles in the second-quantized formalism. In the classical theory such systems are described by a complex field ψ, ψ + which is an ordinary or anticommuting function.
This chapter contains a brief compilation of information about various fields and contractions. The field formalism is fully applicable also to the ordinary quantum mechanics of systems with a finite number of degrees of freedom. The simplest example is that of a particle in a given external field. Preliminary separation of the δ function is necessary, for example, when calculating the amplitude by the stationary-phase method (the semiclassical approximation), since the conservation laws expressed by the δ functions automatically make the kernel of the quadratic form of the second variation of the action degenerate in the neighborhood of a classical trajectory. Nonrelativistic field theory is the quantum mechanics of systems with an arbitrary number of identical particles in the second-quantized formalism. In the classical theory such systems are described by a complex field ψ, ψ + which is an ordinary or anticommuting function.
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.
Components of a field function are functions of coordinates and time and satisfy some definite differential equations, which are called field equations. Field equations can be given a very general variational or Lagrangian form, if one accepts, that a field as the dynamic system must be characterized by a definite Lagrangian function. For a mechanical system this function is written down as the sum over all the material points of the system. For a continuous system like a wave field, Lagrangian function is expressed by the space integral from Lagrangian function density: L(t) = ∫ Ld3x. (4.1) However, the variational principle deals not with the Lagrangian function but with an action S obtained from it by means of integration over x0 = ct S = c ∫ L(t)dt. (4.2) Therefore, noncovariant expression (4.1) in Lagrangian formalism is in fact intermediate and it is sufficient to consider the Lagrangian function density L, which depends on the four space-time coordinates x in an implicit way. Hereinafter, we shall simply call L by the Lagrangian. Analogously, the Hamiltonian function density H will be named the Hamiltonian. The Lagrangian depends on components of a field wavefunction ψk and on their first derivatives with respect to the space-time coordinates ∂ψk/∂x ν . In so doing we assign the meaning of generalized field coordinates to ψk, and the meaning of generalized field velocities to ∂ψk/∂x ν . The demand of lacking derivatives with respect to field functions above the first order in the Lagrangian is caused by the following reason. Dynamics of all known quantum fields is described either by equations of the first or the second order. On the one hand, these equations follow from the principle of a least action: δS = 0, (4.3) and under action variation the order of derivatives, entering L, is raised by one. The Lagrangian must be a relativistically covariant quantity, namely, a relativistic scalar L′(x′) = L(x). Thanks to the invariance under the space-time translations, we conclude that the Lagrangian must not manifestly contain any space-time coordinates x. Since dynamical observables (four-dimensional vector of the energy-momentum, the moment of momentum tensor, and so on) are real quantities, then the Lagrangian must be also a real quantity. We shall also impose the locality condition on the Lagrangian, that is, we assume that the Lagrangian depends only on the state of fields in the infinitely small vicinity of the point Particles, Fields, and Quantum x. So: L(x) = L(ψk, ∂ψk ∂xν ) = L (ψk(x), ψk;ν (x)) . General variation of an action, related with varying both field wave functions and of integration domain boundaries, is equal to: δS = δ ∫ L(x)dx = ∫ L(x′)dx′ − ∫ L(x)dx, (4.4) where dx = dx0dr. For L′(x′) we have the expression: L′(x′) = L (ψ′k(x′), ψ′k;ν(x′)) = L(x) + δL(x) = L(x) + δL(x) + dLdxλ δxλ, (4.5) In Eq. (4.5) we denote a form variation of corresponding quantities by the symbol δ. This way δL(x) represents varying the Lagrangian only on the account of the variation of field functions and field function derivatives: δL(x) = ∂L ∂ψk δψk + ∂L ∂ψk;ν δψk;ν , (4.6) and δψk(x) does a variation of a field function form: δψk(x) = ψ ′ k(x) − ψk(x).
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.
This chapter introduces and applies the method of second quantization, a technique that underpins the formulation of quantum many-particle theories. Second quantization formalism treats systems of bosons or fermions with a fixed or variable number of particles in a unified way. The chapter reviews the key aspects of this formalism. The formalism of second quantization treats systems of bosons with a fixed or variable number of particles in a unified manner. In many physical processes, the particle number does change. Different quantum operators are expressed most naturally in different representations, which make basis changes an essential issue in quantum physics. Quantum field theory is a universal tool that has applications ranging from atomic, molecular, and particle physics to condensed matter and statistical physics as well as modern quantum chemistry. The fundamental difference between classical and quantum mechanics relates to the concept of indistinguishability of identical particles.
This chapter gives a summary of the mathematical formalism used in quantum mechanics, with a short bibliography put directly at its end. It should be seen as a complement, to be used by readers who wish to know more than what has been recalled about the mathematical tools in the other chapters. Some results are given without explicit proofs; they can be found for instance in Chapters II and IV of [1] . Many quantum mechanics textbooks introduce its general formalism in a more complete way, for instance Chapter VII of [2] , Chapter 3 of [3] , or Chapter 2 of [4] . We first summarize the general formalism of quantum mechanics for any physical system (§11.1), with the Dirac notation; we then study how this formalism treats the grouping of several physical systems into one single quantum system (§11.2); finally, we study a few simple special cases (§11.3), for instance a single particle in an external potential, with or without spin; the reader who prefers wave functions to more abstract reasonings in spaces of states may begin with this section. General physical system The general formalism of quantum mechanics applies to all physical systems, whether they contain a single particle, many particles of various sorts, one or several fields, etc. Quantum space of states The physical state of a system at each time is defined in quantum mechanics by a state vector which, in Dirac notation, is written ∣ ψ 〈 – or ∣ ψ(t) 〈 if one wishes to make the time dependence explicit.
One classical theory, as determined by an equation of motion or set of classical trajectories, can correspond to many unitarily {\em in}equivalent quantum theories upon canonical quantization. This arises from a remarkable ambiguity, not previously investigated, in the construction of the classical (and hence the quantized) Hamiltonian or Lagrangian. This ambiguity is illustrated for systems with one degree of freedom: An arbitrary function of the constants of motion can be introduced into this construction. For example, the nonrelativistic and relativistic free particles follow identical classical trajectories, but the Hamiltonians or Lagrangians, and the canonically quantized versions of these descriptions, are inequivalent. Inequivalent descriptions of other systems, such as the harmonic oscillator, are also readily obtained.