Several path integrals are exactly evaluated here using Gaussian path integration. A few general ideas are illustrated using the advantage of being able to exactly evaluate Gaussian path integrals. Path integrals defined over a particular collection of allowed indeterminate paths can sometimes be represented by a Fourier expansion of the paths. This leads to two important techniques for performing path integrations: Expanding the action about the classical solution of the Lagrangian; Expanding the degree of freedom in a Fourier expansion of the allowed paths. Various cases are considered to illustrate the usage of classical solutions and Fourier expansions, and these also provide a set of relatively simple examples to familiarize oneself with the nuts and bolts of the path integral. The Lagrangian of the simple harmonic oscillator is used for all of the following examples; all the computations are carried out explicitly and exactly. The following different cases are considered: • Correlators of exponential functions of the degree of freedom are discussed in Section 12.1. • The generating functional for periodic paths is evaluated in Section 12.2. • The path integral required for evaluating the normalization constant for the oscillator evolution kernel is discussed in Section 12.3. The path integral entails summing over all paths that start from and return to the same fixed position. • Section 12.4 discusses the evolution kernel for a particle starting at an initial position x i and, after time τ, having a final position that is indeterminate.
Several path integrals are exactly evaluated here using Gaussian path integration. A few general ideas are illustrated using the advantage of being able to exactly evaluate Gaussian path integrals. Path integrals defined over a particular collection of allowed indeterminate paths can sometimes be represented by a Fourier expansion of the paths. This leads to two important techniques for performing path integrations: Expanding the action about the classical solution of the Lagrangian; Expanding the degree of freedom in a Fourier expansion of the allowed paths. Various cases are considered to illustrate the usage of classical solutions and Fourier expansions, and these also provide a set of relatively simple examples to familiarize oneself with the nuts and bolts of the path integral. The Lagrangian of the simple harmonic oscillator is used for all of the following examples; all the computations are carried out explicitly and exactly. The following different cases are considered: • Correlators of exponential functions of the degree of freedom are discussed in Section 12.1. • The generating functional for periodic paths is evaluated in Section 12.2. • The path integral required for evaluating the normalization constant for the oscillator evolution kernel is discussed in Section 12.3. The path integral entails summing over all paths that start from and return to the same fixed position. • Section 12.4 discusses the evolution kernel for a particle starting at an initial position x i and, after time τ, having a final position that is indeterminate.
The path integral formulation of quantum mechanics constructs the propagator by evaluating the action S for all classical paths in coordinate space. A corresponding momentum path integral may also be defined through Fourier transforms in the endpoints. Although these momentum path integrals are especially simple for several special cases, no one has, to my knowledge, ever formally constructed them from all classical paths in momentum space. I show that this is possible because there exists another classical mechanics based on an alternate classical action R. Hamilton's Canonical equations result from a variational principle in both S and R. S uses fixed beginning and ending spatial points while R uses fixed beginning and ending momentum points. This alternative action's classical mechanics also includes a Hamilton-Jacobi equation. I also present some important points concerning the beginning and ending conditions on the action necessary to apply a Canonical transformation. These properties explain the failure of the Canonical transformation in the phase space path integral. It follows that a path integral may be constructed from classical position paths using S in the coordinate representation or from classical momentum paths using R in the momentum representation. Several example calculations are presented that illustrate the simplifications and practical advantages made possible by this broader view of the path integral. In particular, the normalized amplitude for a free particle is found without using the Schrodinger equation, the internal spin degree of freedom is simply and naturally derived, and the simple harmonic oscillator is calculated.
The direct transformation from the polygonal to the Fourier series representation of Feynman path integrals, via a change of integration variables, is effected explicitly for cases where the Lagrangian is of the form L(x,ẋ,t)= 1/2 ẋ2−V(x,t). This transformation involves a ‘‘functional Jacobian’’ stemming solely from the velocity term in the Lagrangian; this is because N-segment polygonal paths of the type contributing significantly to the integral, and their N-term Fourier series approximants, coalesce together as N→∞, but not their derivatives. We also consider integrals over paths with fixed means T−1∫T0 dt x(t) =const. The usefulness of the Fourier representation is illustrated with the harmonic oscillator case V(x)= 1/2 ω2x2, in both the free and fixed means situations; in particular, the Fourier evaluation of the path integrals trivially determines the large time phases (Maslov indices), and the ranges of ω2 values for which the integrals are finite or infinite in the imaginary time cases.
A path , in general, is defined by a determinate trajectory in time, from an initial to a final point. The classical trajectory is only one of the possible trajectories, and in quantum mechanics all the possible paths between the initial and final point come into play. Recall that the probability amplitude is a complex number that is assigned to each determinate path. Indeterminate paths are defined as a collection of determinate paths that are experimentally indistinguishable . In the Dirac–Feynman approach, the inherent indeterminacy of the quantum entity is realized by the degree of freedom – in undergoing time evolution – “taking” indeterminate paths [Baaquie (2013e)]. For a quantum degree of freedom evolving from an observed initial state to the observed final state – and with no other observations made – the Feynman path integral is a mathematical construction that computes the probability amplitudes by summing over all the allowed determinate paths of the degree of freedom – discussed in Feynman and Hibbs (1965), Zinn-Justin (1993), Zinn-Justin (2005) and Baaquie (2013e). Probability amplitude and time evolution Recall that the description of a quantum system, at a particular instant,isgiven by its state vector, namely |ψ>. To avoid confusion with the concept of a state vector, the term probability amplitude is used for describing a quantum entity undergoing transitions in time.
A simple harmonic oscillator, or oscillator in short, is one of the most important systems in physics as well as in quantum mechanics. The path integral and Hamiltonian of a simple harmonic oscillator are leading exemplars for the description of a wide class of physical systems. An oscillator is a theoretical model of great utility, primarily due to its simplicity that allows for the exact derivation of many results. The simple harmonic oscillator can be generalized to the case of infinitely many oscillators, and is also the starting point for analysis of many nonlinear quantum systems. Path integrals for the simple harmonic oscillator are all based on Gaussian integration, which has been discussed in Section 7.2. The harmonic oscillator is described by Gaussian path integrals , and is a bedrock of the general theory of path integration. Moreover, all perturbation expansions of nonlinear path integrals about the oscillator path integral, which includes the semi-classical expansion, are based on results of Gaussian integration. The properties of the harmonic oscillator are analyzed in the coordinate space representation, and its path integral as well as its correlation functions are analyzed. All formulas and derivations are for Euclidean time. In Sections 11.1 and 11.2 the Hamiltonian and state space of the oscillator are studied and the correlator is derived using state space methods. In Section 11.2 the infinite time oscillator is introduced and in Sections 11.3–11.5 the path integral for the oscillator is evaluated.
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.
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.