Difference between a path integral, a Feynman path integral, a Wiener path integral?

I am having trouble finding any clear information on path integrals. I am trying to find the difference between a normal path integral, a Feynman path integral and a Wiener path integral and the conditions on each to make a well-defined and calculable integral. Please can someone explain.

• A normal path integral specifies a particular path in space, whereas the other two types integrate over many possible paths at once. There is not yet any rigorous mathematical framework for the Feynman path integral. The Wiener integral assigns a measure to the space of continuous functions and Lebesgue-integrates across that space using that measure. – probably_someone Jul 27 '17 at 9:58
• @probably_someone Thanks for your comment. By 'path integral' I actually mean 'functional integral' rather then 'line integral'. For Feynman I am aware there is no such rigorous framework but I am yet to find any (even non-mathematically rigorous) definition of what path integrals count as Feynman path integrals. – Quantum spaghettification Jul 27 '17 at 10:03

• Hi thanks for your answer. From what I have seen (Feynman) path integrals (and actually sticking with the 1d case here) are usually given by: $\int \mathscr{D}[x(\tau)] \exp(-\int L[x(\tau)] )$. Surely a more general form is $\int \mathscr{D}[x(\tau)] F[x(\tau)]$ where $F[x(\tau)]$ is an arbitrary functional. Is there any restriction on $F[x(\tau)]$ such that this is well-defined? – Quantum spaghettification Jul 27 '17 at 10:58
• @Quantumspaghettification The measure "$\mathscr{D}[x(t)]$" is ill-defined on its own, it's just an abuse of notation physicists use because it suggests the correct formal properties. The "actual" measure includes the "free part" from the $\exp(-\int L)$, so what we are really doing is integrating $\exp(-\int L_\text{interaction})$ against that ("Gaußian") measure. If you want to know what the Wiener measure actually looks like from a rigorous standpoint, I really cannot do better than chapter 3 of Glimm and Jaffe. – ACuriousMind Jul 27 '17 at 11:12
• Great thanks, I have just read the relivent sections and now understand the concepts of the Wiener measure and Gaußian measure. You say "we are really doing is integrating $\exp\left(−\int L_{\text{interaction}}\right)$ against that ("Gaußian") measure". In line with my question above could we integrate $F[x(\tau)]$ against the Gaußian measure or does it have to take this exponential form? – Quantum spaghettification Jul 27 '17 at 11:32