Phase space path integrals, without limiting procedure

This paper defines path integrals in phase space without using a time‐division approach followed by a limiting process, thereby generalizing a similar procedure used in configuration space. This is useful since the path integral approach cannot always be formulated in configuration space (e.g., when the Hamiltonian is arbitrary) but can always be formulated in phase space. The most general Gaussian measure, absorbing the quadratic portion of the functional to be integrated, is constructed, and large classes of path integrals are evaluated with respect to it. Applications are given to the perturbation expansion and the semiclassical (WKB) expansion for arbitrary Hamiltonians.