Several examples of changes of variables in Feynman-type integrals are considered. In particular, path integrals in curvilinear coordinates (of a certain class) are rigorously defined. An appendix is devoted to path integrals for vector potentials.
A new axiomatic formulation of path integrals is used to construct a path integral solution of the Schrödinger equation in curvilinear coordinates. An important feature of the formalism is that a coordinate transformation in the variables of the wavefunction does not imply a change of variable of integration in the path integral. Consequently, a transformation from Euclidean to curvilinear coordinates is simple to handle; there is no need to introduce ‘‘quantum corrections’’ into the action functional. Furthermore, the paths are differentiable: hence, issues related to stochastic paths do not arise. The procedure for constructing the path integral solution of the Schrödinger equation is straightforward. The case of the Schrödinger equation in spherical coordinates for a free particle is presented in detail.
The Feynman path integral for regularized nonrelativistic quantum electrodynamics is studied rigorously. We begin with the Lagrangian function of the corresponding classical mechanics and construct the Feynman path integral. In the present paper, the electromagnetic potentials are assumed to be periodic with respect to a large box and quantized through their Fourier coefficients with large wave numbers cut off. Firstly, the Feynman path integral with respect to paths on the space of particles and vector potentials is defined rigorously by means of broken line paths under the constraints. Secondly, the Feynman path integral with respect to paths on the space of particles and electromagnetic potentials is also defined rigorously by means of broken line paths and piecewise constant paths without the constraints. This Feynman path integral is stated heuristically in Feynman and Hibbs' book. Thirdly, the vacuum and the state of photons of given momenta and polarizations are expressed concretely as functions of variables consisting of the Fourier coefficients of vector potentials. It is also proved rigorously in terms of distribution theory that the Coulomb potentials between charged particles naturally appear in the above Feynman path integral approach. This shows that the photons give rise to the Coulomb force.