There are many ways to give a rigorous meaning to the Feynman path integral. In the present paper especially the method of the time-slicing approximation determined through broken line paths is studied. It was proved that these time-slicing approximate integrals of the Feynman path integral in configuration space and also in phase space converge in space as the discretization parameter tends to zero. In the present paper it is shown that these time-slicing approximate integrals converge in some weighted Sobolev spaces as well. Next as an application of this convergence result in the weighted Sobolev spaces, the path integral representation of correlation functions is studied of the position and the momentum operators. We note that their path integral representation is given in phase space. It is shown that the approximate integrals of correlation functions converge or diverge as the discretization parameter tends to zero. We note that the divergence of the approximate integrals reflects the uncertainty principle in quantum mechanics.
Wataru ICHINOSE. "Convergence of the Feynman path integral in the weighted Sobolev spaces and the representation of correlation functions." J. Math. Soc. Japan 55 (4) 957 - 983, October, 2003. https://doi.org/10.2969/jmsj/1191418759