Skip to content

11.3

From the path integral to the Schrödinger equation

Look at propagation over just one short interval ε and expand to first order — the Schrödinger equation grows out of the path integral step by step. From here on, the two formulations are officially equivalent.

Recommended first

After this section you should be able to

  • Write down the short-time propagator with a potential present and explain why it is accurate enough for small ε
  • Work through Feynman's derivation in full: from the integral equation to the Schrödinger equation
  • Explain the Gaussian-suppression mechanism behind "only paths within √(ħε/m) contribute"
  • Explain where the jagged character of typical paths (divergent velocity, non-differentiability) comes from

Last section we computed the free-particle propagator and checked that it satisfies the Schrödinger equation — but that was only one example. Now we settle a much larger debt: in chapter 2 we accepted the Schrödinger equation as a postulate; this section proves that once you accept the single rule “sum over all paths, each contributing eiS/\ee^{\ii S/\hbar}”, the Schrödinger equation is no longer a postulate but a consequence. This is the central calculation of Feynman’s 1948 paper, and every step uses nothing beyond first-year calculus.

Strategy: look at just one short interval

Tackling the finite-time path integral head-on is hard (for a general potential it cannot be done in closed form). But a differential equation only ever talks about “what happens in the next instant” — so all we need is the short-time behaviour.

Take a short interval ε\varepsilon. In the slicing definition, this interval contains just a single step: the particle goes in a straight line from xx' to xx. By the zigzag rule the action of this step is

Sεm(xx)22εεV ⁣(x+x2)(11.3.1)S_\varepsilon\approx\frac{m(x-x')^2}{2\varepsilon}-\varepsilon V\!\Bigl(\frac{x+x'}{2}\Bigr)\tag{11.3.1}

The kinetic term uses the average velocity (xx)/ε(x-x')/\varepsilon; the potential term uses the midpoint value times the duration (to first order in ε\varepsilon, midpoint, endpoint or average all give the same result — see the warning box at the end). The short-time propagator is therefore

Kε(x,x)=m2πiεexp ⁣[im(xx)22εiεV ⁣(x+x2)](11.3.2)K_\varepsilon(x,x')=\sqrt{\frac{m}{2\pi\ii\hbar\varepsilon}}\, \exp\!\left[\frac{\ii m(x-x')^2}{2\hbar\varepsilon}-\frac{\ii\varepsilon}{\hbar}V\!\Bigl(\frac{x+x'}{2}\Bigr)\right]\tag{11.3.2}

The evolution formula for this one small step becomes an integral equation:

Ψ(x,t+ε)=Kε(x,x)Ψ(x,t)dx(11.3.3)\Psi(x,t+\varepsilon)=\int_{-\infty}^{\infty}K_\varepsilon(x,x')\,\Psi(x',t)\,\dd x'\tag{11.3.3}

From here the whole game is: expand both sides to first order in ε\varepsilon and see what equation gets forced out.

Which x′ actually contribute?

The derivation

At this point the three formulations formally join forces: Heisenberg’s matrices (1925), Schrödinger’s wave equation (1926), Feynman’s sum over paths (1948) — three formal languages, one quantum mechanics. Chapter 3 proved the first two equivalent; this section supplies the third piece of the puzzle.

What comes next

With the equivalence proven, the path integral might seem to have merely “re-derived what we already knew”. The next section lets it show off a trick the wavefunction language finds very hard: rotate time onto the imaginary axis, and tunnelling becomes a classical mechanics problem — hiding beneath the barrier is a classical path called the “instanton”.

Section 83 of 106 · use to turn the page