Feynman's Path Integrals and Henstock's Non-Absolute Integration (Q4495006)

In [\textit{R. P. Feynman}, Rev. Modern Phys. 20, 367-387 (1948)] quantum mechanics was formulated in terms of integrals over spaces of paths. To establish the equivalence of his theory with the traditional formulation of quantum mechanics, Feynman argued that his path integral satisfies Schrödinger's equation. The present paper presents a proof of this statement. For this end, Feynman's concept of probability amplitude is used to define the state function of quantum mechanics in a manner which is an extension of the probabilistic analysis of Brownian motion. Rigorous conditions are given for which Feynman's limit of finite-dimensional integrals gives the state function. This solution to the Feynman problem is based on Henstock's theory of non-absolute integration in function spaces [see \textit{R. Henstock}, ``Linear analysis'' (1967; Zbl 0172.39001)], and on Henstock's criteria for taking limits under the integral sign [see \textit{R. Henstock}, ``The general theory of integration'' (1991; Zbl 0745.26006)].