WHAT TO LOOK FOR In the previous chapters, we have developed a rather standard view toward classical and quantum theory illustrating the three canonical quantization procedures, namely those of Schrӧdinger, Heisenberg, and Feynman. In this chapter we want to return to Hilbert space and analyze several new issues as well as some old issues in greater depth than was previously the case. These issues will include operators and their domains, bilinear forms, infinite-product representations, irreducible representations of the canonical operators, as well as the important notion of “tags” (unitary invariants of operator representations). Some general remarks on measures, probability distributions, characteristic functions, and infinitely divisible distributions are also included here. Additionally, a few comments about Brownian motion are included. We close with some general remarks regarding canonical quantum scalar fields. The properties developed in this chapter will find application in our study of model quantum field theories in subsequent chapters. Hilbert space and operators, revisited In Chapter 3 we already introduced and discussed at some length properties of Hilbert spaces suitable for quantum mechanical applications. In all earlier applications we have used the elegant notation of Dirac, and this notation is generally appropriate for most applications.
WHAT TO LOOK FOR In the previous chapters, we have developed a rather standard view toward classical and quantum theory illustrating the three canonical quantization procedures, namely those of Schrӧdinger, Heisenberg, and Feynman. In this chapter we want to return to Hilbert space and analyze several new issues as well as some old issues in greater depth than was previously the case. These issues will include operators and their domains, bilinear forms, infinite-product representations, irreducible representations of the canonical operators, as well as the important notion of “tags” (unitary invariants of operator representations). Some general remarks on measures, probability distributions, characteristic functions, and infinitely divisible distributions are also included here. Additionally, a few comments about Brownian motion are included. We close with some general remarks regarding canonical quantum scalar fields. The properties developed in this chapter will find application in our study of model quantum field theories in subsequent chapters. Hilbert space and operators, revisited In Chapter 3 we already introduced and discussed at some length properties of Hilbert spaces suitable for quantum mechanical applications. In all earlier applications we have used the elegant notation of Dirac, and this notation is generally appropriate for most applications.
The commutator of position and momentum operators is first considered in the coordinate and momentum representations, and then in an abstract Hilbert space. The reader is then introduced to canonical operators with the associated canonical quantization of commutation rules, which consists of maps defined on a symplectic space and taking values in the set of unitary operators on a Hilbert space. If the symplectic space is finite-dimensional, all of its irreducible representations are unitarily equivalent. The Weyl exponentiated form of the commutation relations is described and investigated. One then arrives at the definition of Weyl systems, and it is shown how to recover from them the formulation in terms of self-adjoint operators which satisfy a generalized form of commutation relations. Further topics are the Heisenberg representation for temporal evolution and the generalized uncertainty relations. Unitary operators associated with symplectic linear transformations are then considered, and, within this framework, translations, rotations and the harmonic oscillator are considered. The Weyl programme is then reassessed. Lastly, the basic postulates of modern quantum theory are eventually studied: the probabilistic nature of the predictions of results of measurements; the correspondence between observables and self-adjoint operators on Hilbert spaces; the expected result of measuring an observable quantity; and the evolution of the state vector in systems which are not affected by any external influence. The chapter ends with an outline of rigged Hilbert space formalism and its applications. The commutator in wave mechanics In the first part of this book we studied wave mechanics within the framework of the Schrödinger equation.
Linear algebra is the natural mathematical language of quantum mechanics. For this reason, the present chapter starts with a review of Hilbert spaces for vectors and operators. We introduce vector and Hilbert spaces along with inner products and metrics. The Dirac notation is developed for the Euclidean vector spaces as a starting point for the concepts of complete orthonormal sets of vectors, closure, dual vector spaces, and adjoint operators. The Dirac delta function in various forms and the principal part is introduced in Appendix 5 as an essential tool. The chapter turns to the main use of Dirac notation for function spaces; the concepts of norm, inner product, and closure are discussed. Fourier, Cosine, and Sine series are discussed as examples of expansions in complete orthonormal sets of functions. Although Hilbert spaces are interesting mathematical objects with important physical applications, the study of linear algebra remains incomplete without a study of linear operators (i.e., linear transformations). In fact, the set of linear transformations itself forms a vector space and therefore has a basis set. The basis set for the operator is linked with the basis sets for the spaces that it operates between. The linear operator can be discussed as an abstract operator or through an isomorphism as a matrix or as a generalized expansion in operator space. A Hermitian (a.k.a., self-adjoint) operator produces a basis set within a Hilbert space. The basis set comes from the eigenvector equation for the particular operator. The fact that a Hermitian operator produces a complete set (of orthornomal vectors) has special importance for quantum mechanics. Observables such as energy or momentum correspond to Hermitian operators. Complete sets make it possible to represent every possible result of a measurement of the observable by an object (vector) in the theory. The Hermitian operators have real eigenvalues which represent the results of the measurement.
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.
In Chapter 1, we treated the electromagnetic field as classical. Henceforth, we will want to treat it as a quantum field. In order to do so, we will first present some of the formalism of quantum field theory. This formalism is very useful in describing many-particle systems and processes in which the number of particles changes. Why this is important to a quantum description of nonlinear optics can be seen by considering a parametric amplifier of the type discussed in the last chapter. A pump field, consisting of many photons, amplifies idler and signal fields by means of a process in which a pump photon splits into two lower-energy photons, one at the idler frequency and one at the signal frequency. Therefore, what we would like to do in this chapter is to provide a discussion of some of the basics of quantum field theory that will be useful in the treatment of the quantization of the electromagnetic field. In particular, we will begin with a summary of quantum theory notation, and a discussion of many-particle Hilbert spaces. These provide the arena in which all of the action takes place. We will then move on to a treatment of the canonical quantization procedure for fields. This will allow us to develop a scattering theory for fields, which is ideally what we need. This relates the properties of a field entering a medium to those of the field leaving it, and this corresponds to what is done in an experiment.
There is a notational discrepancy in how mathematicians and physicists treat Hilbert spaces. In physics, one often works with finite-dimensional Hilbert spaces treated as ℂ n , and hence wants to write the Hermitian inner product as (x, y) = x ∗ y. This definition dictates the use of a Hermitian inner product that is antilinear in the first argument, the convention followed, for example, in Reed & Simon [246]. This is also the choice adopted in Dirac’s bracket notation, whose usage in quantum mechanics is very widespread. Our notation is chosen to extend-as closely as possible-the traditional notation of standard finite-dimensional matrix algebra to arbitrary complex inner product spaces and associated linear operators. In matrix algebra, column vectors and the corresponding matrices with one column are identical objects, row vectors are the linear functionals, and the adjoint is the conjugate transpose. For example, ℍ = ℍ × = ℂ n is the space of column vectors of size n, the dual space ℍ ∗ is the space of row vectors of size n, and the operator product ϕ ∗ ψ of a row vector ϕ ∗ and a column vector ψ is the standard Hermitian inner product of the column vectors ϕ and ψ. We use Greek lower case letters to write vectors, thus emphasizing their intended use as quantum state vectors in quantum mechanics. On the other hand, mathematicians working on reproducing kernel Hilbert spaces use an inner product (x, y) antilinear in the second argument, related to the physicist’s inner product (x, y) by (x, y) =( ). This is the convention followed, for example, in Rudin [252]. Although the two ways of defining the inner product lead to fully equivalent theories, all details look a bit different, a fact that has to be taken into account when reading the literature on the subject. For example, in the description based on the physical tradition, it is preferable to work with the antidual space in place of the dual space used in the mathematical tradition. In functional analysis, linear operators in Hilbert spaces are usually considered each with their own domain. But many computations in quantum mechanics require the consideration of algebras of operators with a common domain. The latter is a Euclidean space, a dense subspace of a Hilbert space. This space and its antidual play in many respects a more basic role in quantum physics than the Hilbert space itself. Therefore, and to avoid possible confusion caused by the different traditions, we give in the present chapter a self-contained introduction to Euclidean spaces and their associated spaces. All proofs are carried out in detail.
Abstract In this chapter we present the mathematical framework of describing wave functions as vectors in a Hilbert space and observables as Hermitian operators on such a vector space. We describe the mathematical formulation of these ideas for finite and infinite-dimensional cases via the Dirac notation, and discuss the example of the Hilbert space of photon polarization. Important classes of linear operators on Hilbert spaces are discussed, including projectors, Hermitian and self-adjoint operators, as well as unitary operators. As an important centre piece for the mathematical language of quantum mechanics we present the spectral theorem. We discuss the subtleties of this framework in infinite dimensions, giving a brief overview of the distributional aspects of quantum mechanics and the conceptually important problem of finding self-adjoint extensions via the Weyl-von Neumann theorem