Path integral formulation
In quantum mechanics, the path integral formulation
is an alternative description of quantum mechanics,
which is equivalent to the “traditional” Schrödinger equation.
Whereas the latter is based on Hamiltonian mechanics,
the former comes from Lagrangian mechanics.
It expresses the propagator
using the following sum over all possible paths ,
which all go from the initial position at time
to the destination at time :
is the classical action of the path , whose minimization yields
the Euler-Lagrange equation from Lagrangian mechanics.
Note that each path is given an equal weight,
even unrealistic paths that make big detours.
This apparent problem solves itself,
thanks to the fact that paths close to the classical optimum
have an action close to ,
while the paths far away have very different actions.
Since is inside a complex exponential,
this means that paths close to add contructively,
and the others add destructively and cancel out.
An interesting way too look at it is by varying :
as its value decreases, minor action differences yield big phase differences,
which make the quantum wave function stay closer to .
In the limit , quantum mechanics thus turns into classical mechanics.
The most popular way to derive the path integral formulation proceeds as follows:
starting from the definition of the propagator ,
we divide the time interval into “slices”
of equal width ,
where is large:
Between the exponentials we insert identity operators
and define for an arbitrary path :
For sufficiently small time steps (i.e. large
we make the following approximation
(which would be exact, were it not for the fact that
and are operators):
we can take it out of the inner product as a constant factor:
Here we insert the identity operator
expanded in the momentum basis ,
and commute it with the kinetic energy to get:
In the momentum basis ,
the position basis vectors
are represented by plane waves:
With this, we return to the inner product and further evaluate the integral:
Inserting this back into the definition of the propagator yields:
For large and small , the sum in the exponent becomes an integral:
Upon closer inspection, this integral turns out to be the classical action ,
with the integrand being the Lagrangian :
The definition of the propagator is then further reduced to the following:
Finally, for the purpose of normalization,
we define the integral over all paths as follows,
where we write instead of :
We thus arrive at Feynman’s path integral,
which sums over all possible paths :
- R. Shankar,
Principles of quantum mechanics, 2nd edition,
- L.E. Ballentine,
Quantum mechanics: a modern development, 2nd edition,