# Who developed the phase space path integral?

The original path integral introducted by Feynman is $$\lim_{N\to +\infty} \int \left\{\prod_{n=1}^{N-1} \frac{\mathrm{d}q_n}{\sqrt{2 \pi i \hslash \varepsilon}} \right\} \exp\left[{\frac{i}{\hslash} \varepsilon \sum_{n=1}^N \frac{1}{2}\dot{q}_n^2 - V(\overline{q}_n) }\right];$$ however, many books (Kleinert, Zinn-Justin, Sakita etc) show also the derivation of a path integral in the phase space $$\lim_{N\to +\infty} \int \left\{\prod_{n=1}^{N-1} \mathrm{d}q_n\right\} \left\{\prod_{n=1}^{N} \frac{\mathrm{d}p_n}{2\pi\hslash}\right\} \exp\left[{\frac{i}{\hslash} \varepsilon \sum_{n=1}^N p_n \frac{q_n - q_{n-1}}{\varepsilon} - H(\overline{q}_n, p_n)}\right]$$ without mentioning who for the first time introduced this object.

I've written a thesis that uses a lot this last path integral, and I'd like to give credit to the original discoverer of it; unfortunately, I can't find who he is. My advisor believes that the first paper it appeared in was in the sixties.

Does anyone have any clue on who first developed this path integral?

• As far as I can tell, the second equation arises very simply when computing $\langle q_k|e^{-iH\delta t}| q_j \rangle$ and inserting decompositions of unity i.e. $\int dp |p_i \rangle \langle p_i |$, right? I'm not sure if you really need to credit someone for this... – Danu Sep 9 '14 at 13:31
• ...in this sense your second formula really follows from the first. See imgur.com/QaCjt3s for a derivation. Is this what you're looking for? If so, I'd be glad to convert it into an answer. – Danu Sep 9 '14 at 13:41
• As far as I know, the second equation is a little more general than the first; you can derive it in an independent way in a sort of simple calculation. The first formula for propagators is valid only if the hamiltonian has the form $H = \frac{p^2}{2} + V(q)$, and is obtained from the phase space path integral by performing the gaussian integrations in $\mathrm{d}p$. In the derivation of the phase space path integral, however, one never postulates a specific form of the Hamiltonian. – Alex A Sep 9 '14 at 13:55
• Okay, cool. I'd be interested in seeing the derivation of the general form. You have any references? – Danu Sep 9 '14 at 14:04
• The most concise one is in "Quantum Theory of Many Variable Systems and Fields", by B. Sakita, Chapter 1. A good reference is also Zinn-Justin's "Path Integrals in Quantum Mechanics", Chapter 10. – Alex A Sep 9 '14 at 14:38

The introduction of Chaichan and Demichev 2001 book Path Integrals in Physics: Volume I Stochastic Processes and Quantum Mechanics states:

The notion of path integral (sometimes also called functional integral or integral over trajectories or integral over histories or continuous integral) was introduced, for the first time, in the 1920s by Norbert Wiener (1921, 1923, 1924, 1930) as a method to solve problems in the theory of diffusion and Brownian motion. This integral, which is now also called the Wiener integral, has played a central role in the further development of the subject of path integration.

It was reinvented in a different form by Richard Feynman (1942, 1948) in 1942, for the reformulation of quantum mechanics (the so-called ‘third formulation of quantum mechanics’ besides the Schrödinger and Heisenberg ones). The Feynman approach was inspired by Dirac’s paper (1933) on the role of the Lagrangian and the least-action principle in quantum mechanics. This eventually led Feynman to represent the propagator of the Schrödinger equation by the complex-valued path integral which now bears his name. At the end of the 1940s Feynman (1950, 1951) worked out, on the basis of the path integrals, a new formulation of quantum electrodynamics and developed the well-known diagram technique for perturbation theory.

So the notion of a path integral goes back to non-quantum physics, but the quantum physics one is due to Feynman at the end of 40s. The first formula corresponds to Feynman's original idea of the amplitude being $$K(x',x'',T) = \sum_{x(0)=x', x(T) = x''} \exp(i S[x(t)])$$

I.e. you could construct a completely separate formulation of quantum mechanics and ask about the compatibility with the usual formulations later.

The second formula is the one you get from the Heisenberg or Schrödinger picture of quantum mechanics and you can get to the first "Feynman" formula (or a similar one) only under the assumption of a Hamiltonian with a quadratic kinetic energy (you can then integrate out the $$p$$ in a Gaussian integration as commented by Alex A). However, this does not mean the first formula is "less general", it just means the formulations might not be compatible in such a case.

There are some subtleties to the ambiguity between the operator formalism and path integrals which also contributes to the discussion of special Hamiltonians - this topic was comprehensively discussed by Qmechanic in this question.

EDIT : I just realized I am not really answering your question. You are asking who was the first one to publish the second formula. I tried to search for this, but nobody seems to give credit.

The reason might be the following: The derivation of the second formula requires three key ideas - lattice (Riemann-integral) regularization, inserting the $$\int {\rm d} q |q \rangle \langle q|$$ identity operator, and separating the lattice further into the momentum and position part and inserting the $$\int {\rm d} p |p \rangle \langle p|$$ identity.

The idea of inserting a basis of $$q$$s into the propagator along with a lattice regularization was already introduced in the discussion of the quantum action principle in Dirac's Principles in 1933. On the other hand, Feynman used lattice regularization from the other end of the derivation in 1948. Using the $$p$$-insertion trick to finish the derivation sketched by Dirac and already executed by Feynman from the other side is an original step, but not exactly a breakthrough.

Hence, if it is to be found for the first time in an article or a textbook, it will probably not be the main presented result, or maybe not even a clearly proclaimed one. So I do not answer your question, just give a comment.

The answer is probably Feynman, in his 1951 paper "An Operator Calculus Having Applications in Quantum Electrodynamics" (Phys. Rev. 84,108 1951); see in particular Appendix B of that paper.