What is a path integral?

Question

I was reading about path integrals because someone told me about it in this question. I read some articles about path integrals but couldn't understand it. Can you please explain path integral for me? What does it represent? What is the formulation?

Answer 1

Mathematically, a path integral is a generalization of a multi-dimensional integral. In usual $N$-dimensional integrals, one integrates $$\int dx_1 dx_2 \dots dx_N $$ over a subspace of ${\mathbb R}^N$, an $N$-dimensional integral. A path integral is an infinite-dimensional integral $$ \int {\mathcal D}f(y)\, Z[f(y)] $$ over all possible functions $f(y)$ of a variable $y$, which may be a real number or a vector. The values of the functions $f(0)$, $f(0.1)$, $f(0.2)$ etc. play the same role as the variables $x_1$, $x_2$ etc. in the usual multi-dimensional integral.

Because the index $i$ of $x_i$ was taking values in the finite set $1,2,\dots N$, and now it is replaced by the continuous variable $y$, the path integral is an infinite-dimensional integral.

Rigorous mathematicians see lots of problems preventing one from defining the infinite-dimensional path integral using the measure theory. But physicists know that similar integrals may be dealt with. There are some "ultraviolet divergences" etc. one experiences when trying to calculate them but they may be dealt with. In essence, one wants to use all the natural rules that apply to the finite-dimensional integrals. For example, the (path) integrals of a sum of two functions is the sum of two (path) integrals, and so on.

Two most important applications of path integrals in physics are in Feynman's approach to quantum mechanics, especially quantum field theory; and statistical mechanics.

In (classical) statistical mechanics, one wants to compute the partition sum $$ Z = \sum_C \exp(-\beta E_c) $$ over all configurations $c$ of the physical system. But because the configurations are often labeled by whole functions $f(y)$ – infinitely many values at all allowed values of the argument $y$ – the sum isn't really a "sum". It isn't even a finite-dimensional integral. It is a path integral.

In quantum mechanics, the complex probability amplitudes etc. are calculated as $$ {\mathcal A}_{fi} = \int {\mathcal D}\phi(y)\,\exp(iS[\phi(y)]/ \hbar)$$ i.e. as the path integral over all configurations of the variables $\phi(y)$ etc. The integrand is a phase – a number whose absolute value is one – and the phase angle depends on the classical action evaluated from the possible history $\phi(y)$. The initial and final states $i,f$ are incorporated by integrating over those configurations in the "intermediate times" that obey the appropriate boundary conditions.

Almost all of quantum field theory may be expressed as a calculation of some path integrals. So in this sense, learning "everything" about a path integral is equivalent to learning almost all of quantum mechanics and quantum field theory, which may require between a semester and 10 years of intense study, depending on how deeply you want to get. It surely can't be covered in one allowed-size answer on this server.

The calculation of the path integrals with the Gaussian i.e. $\exp({\rm bilinear})$ integrand, perhaps with polynomial prefactors in the integration variables, is perhaps the most important or "simplest" example of a non-trivial path integral we actually need in physics.

In quantum mechanics, the path integral represents the explicit final formula for any probability amplitude. The amplitude for any transition from the state $|i\rangle$ to the state $|f\rangle$ may be directly expressed as a path integral, and the probability is the absolute value of the probability amplitude squared. Everything that quantum mechanics allows to calculate boils down to these probabilities - so the path integral represents "everything" in quantum mechanics. (This paragraph was originally posted as a comment of mine, and the user who proposed this edit had a good reason to do so.)