Introduction.With his physical postulates Feynman ([4], [5]) conceived the eminent idea of path integral in quantum mechanics.Kac [6] has given a rigorous realization of Feynman's idea for pure- imaginary-time quantum mechanics.Namely, he has represented the
Rigorous path integral formulas are given which represent, in two space-time dimensions, the fundamental solution of the Cauchy problem for the Dirac equation as well as the retarded and advanced propagators for the Dirac particle. It is also shown that the theory can be applied to a free particle and a particle in a central electric field in four space-time dimensions and reveals some aspects of the path integral. Heuristically discussed is the connection with the phase space path integral or Hamiltonian path integral.
Through a very careful analysis of Dirac's 1932 paper on the Lagrangian in Quantum Mechanics as well as the second and third editions of his classic book {\it The Principles of Quantum Mechanics}, I show that Dirac's contributions to the birth of the path-integral approach to quantum mechanics is not restricted to just his seminal demonstration of how Lagrangians appear naturally in quantum mechanics, but that Dirac should be credited for creating a path-integral which I call {\it Dirac path-integral} which is far more general than Feynman's while possessing all its desirable features. On top of it, the Dirac path-integral is fully compatible with the inevitable quantisation ambiguities, while the Feynman path-integral can never have that full consistency. In particular, I show that the claim by Feynman that for infinitesimal time intervals, what Dirac thought were analogues were actually proportional can not be correct always. I have also shown the conection between Dirac path-integrals and the Schrödinger equation. In particular, it is shown that each choice of Dirac path-integral yields a {\it quantum Hamiltonian} that is generically different from what the Feynman path-integral gives, and that all of them have the same {\it classical analogue}. Dirac's method of demonstrating the least action principle for classical mechanics generalizes in a most straightforward way to all the generalized path-integrals.
Efforts to give an improved mathematical meaning to Feynman's path integral formulation of quantum mechanics started soon after its introduction and continue to this day. In the present paper, one common thread of development is followed over many years, with contributions made by various authors. The present version of this line of development involves a continuous-time regularization for a general phase space path integral and provides, in the author's opinion at least, perhaps the optimal formulation of the path integral.
18.1 Introduction The Feynman path-integral (PI) approach to quantum mechanics (QM) has proven to be an invaluable technical tool with applicability far beyond the non-relativistic QM from which it sprang (Feynman and Hibbs, 1965). The PI approach is based on a fundamental quantum principle, which is that nothing can or should be said with certainty about a system under observation (SUO) when it is not actually being observed. This is in complete contrast to classical mechanics (CM), which asserts that an SUO exists in a well-defined state at all times, regardless of whether it is being observed or not. It is a remarkable fact that what appears to be a metaphysical point actually underpins the principles of quantum physics. The quantum principle that we cannot say precisely in classical terms what an SUO is doing when we are not observing it has a powerful corollary: if we cannot say what the SUO is doing when we are not observing it, then we have to allow for the possibility that it could be doing anything, or at least anything that would be consistent with required conservation laws, behind our backs. Following a lead from Dirac (1933), Feynman developed and popularized a mathematical way of expressing this idea: the path integral. We shall discuss his approach in the case of an SUO consisting of a Newtonian point particle moving in one spatial dimension. Discrete time (DT) comes into the picture right at the start of the formulation.
The definitions of the Feynman path integral for the Pauli equation and more general equations in configuration space and in phase space are proposed, probably for the first time. Then it is proved rigorously that the Feynman path integrals are well-defined and are the solutions to the corresponding equations. These Feynman path integrals are defined by the time-slicing method through broken line paths, which is familiar in physics. Our definitions of these Feynman path integrals and our results give the extension of ones for the Schrödinger equation.