We provide a unified method for obtaining upper bounds for certain functional integrals appearing in quantum mechanics and non-relativistic quantum field theory, functionals of the form
E[exp(AT)] , the (effective) action
AT being a function of particle trajectories up to time T. The estimates in turn yield rigorous lower bounds for ground state energies, via the Feynman–Kac formula. The upper bounds are obtained by writing the action for these functional integrals in terms of stochastic integrals. The method is illustrated in familiar quantum mechanical settings: for the hydrogen atom, for a Schrödinger operator with
1/∣x∣2 potential with small coupling, and, with a modest adaptation of the method, for the harmonic oscillator. We then present our principal applications of the method, in the settings of non-relativistic quantum field theories for particles moving in a quantized Bose field, including the optical polaron and Nelson models.
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.
We show that a quaternionic quantum field theory can be formulated when the numbers of bosonic and fermionic degrees of freedom are equal and the fermions, as well as the bosons, obey a second-order wave equation. The theory is initially defined in terms of a quaternion-imaginary Lagrangean using the Feynman sum over histories. A Schr\"odinger equation can be derived from the functional integral, which identifies the quaternion-imaginary quantum Hamiltonian. Conversely, the transformation theory based on this Hamiltonian can be used to rederive the functional-integral formulation.