# 3.7: Path Integrals

- Page ID
- 2864

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\id}{\mathrm{id}}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\kernel}{\mathrm{null}\,}\)

\( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\)

\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\)

\( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)

\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)

\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vectorC}[1]{\textbf{#1}} \)

\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)## Huygen’s Picture of Wave Propagation

If a point source of light is switched on, the wavefront is an expanding sphere centered at the source. Huygens suggested that this could be understood if at any instant in time each point on the wavefront was regarded as a source of secondary wavelets, and the new wavefront a moment later was to be regarded as built up from the sum of these wavelets. For a light shining continuously, this process just keeps repeating.

What use is this idea? For one thing, it explains refraction—the change in direction of a wavefront on entering a different medium, such as a ray of light going from air into glass.

If the light moves more slowly in the glass, velocity \(v\) instead of \(c\), with \(v<c\), then Huygen’s picture explains Snell’s Law, that the ratio of the sines of the angles to the normal of incident and transmitted beams is constant, and in fact is the ratio \(c/v\). This is evident from the diagram below: in the time the wavelet centered at \(A\) has propagated to \(C\), that from \(B\) has reached \(D\), the ratio of lengths \(AC/BD\) being \(c/v\). But the angles in Snell’s Law are in fact the angles \(ABC\), \(BCD\), and those right-angled triangles have a common hypotenuse \(BC\), from which the Law follows.

## Fermat’s Principle of Least Time

We will now temporarily forget about the wave nature of light, and consider a narrow ray or beam of light shining from point \(A\) to point \(B\), where we suppose \(A\) to be in air, \(B\) in glass. Fermat showed that the path of such a beam is given by the *Principle of Least Time*: a ray of light going from \(A\) to \(B\) by any other path would take longer. How can we see that? It’s obvious that any deviation from a straight line path in air or in the glass is going to add to the time taken, but what about moving slightly the point at which the beam enters the glass?

Where the air meets the glass, the two rays, separated by a small distance \(CD = d\) along that interface, will look parallel:

(Feynman gives a nice illustration: a lifeguard on a beach spots a swimmer in trouble some distance away, in a diagonal direction. He can run three times faster than he can swim. What is the quickest path to the swimmer?)

Moving the point of entry up a small distance d, the light has to travel an extra \(d\sin\theta_1\) in air, but a distance less by \(d\sin\theta_2\) in the glass, giving an extra travel time \(\Delta t=d\sin\theta_1/c-d\sin\theta_2/v\). For the *classical* path, Snell’s Law gives \(\sin\theta_1/\sin\theta_2=n=c/v\), so \(\Delta t=0\) to first order. But if we look at a series of possible paths, each a small distance d away from the next at the point of crossing from air into glass, \(\Delta t\) becomes of order \(d/c\) away from the classical path.

Suppose now we imagine that the light actually travels along all these paths with about equal amplitude. What will be the total contribution of all the paths at \(B\)? Since the times along the paths are different, the signals along the different paths will arrive at \(B\) with different phases, and to get the total wave amplitude we must add a series of unit \(2D\) vectors, one from each path. (Representing the amplitude and phase of the wave by a complex number for convenience—for a real wave, we can take the real part at the end.)

When we map out these unit \(2D\) vectors, we find that in the neighborhood of the classical path, the phase varies little, but as we go away from it the phase spirals more and more rapidly, so those paths interfere amongst themselves destructively. To formulate this a little more precisely, let us assume that some close by path has a phase difference \(\varphi\) from the least time path, and goes from air to glass a distance \(x\) away from the least time path: then for these close by paths, \(\varphi=ax^2\), where a depends on the geometric arrangement and the wavelength. From this, the sum over the close by paths is an integral of the form \(\int e^{iax^2}dx\). (We are assuming the wavelength of light is far less than the size of the equipment.) This is a standard integral, its value is \(\sqrt{\pi/ia}\), all its weight is concentrated in a central area of width \(1/\sqrt{a}\), exactly as for the real function \(e^{-ax^2}\).

This is the explanation of Fermat’s Principle—only near the path of least time do paths stay approx_imately in phase with each other and add constructively. So this classical path rule has an underlying wave-phase explanation. In fact, the central role of phase in this analysis is sometimes emphasized by saying the light beam follows *the path of stationary phase*.

Of course, we’re not summing over *all* paths here—we assume that the path in air from the source to the point of entry into the glass is a straight line, clearly the subpath of stationary phase.

## Classical Mechanics: The Principle of Least Action

Confining our attention for the moment to the mechanics of a single nonrelativistic particle in a potential, with Lagrangian \(L=T-V\), the action \(S\) is defined by \[ S=\int_{t_1}^{t_2}L(x,\dot{x})dt. \tag{3.7.1}\]

Newton’s Laws of Motion can be shown to be equivalent to the statement that a particle moving in the potential from \(A\) at \(t_1\) to \(B\) at \(t_2\) travels along the path that minimizes the action. This is called the *Principle of Least Action*: for example, the parabolic path followed by a ball thrown through the air minimizes the integral along the path of the action \(T-V\) where \(T\) is the ball’s kinetic energy, \(V\) its gravitational potential energy (neglecting air resistance, of course). Note here that the initial and final times are fixed, so since we’ll be summing over paths with different lengths, necessarily the particles speed will be different along the different paths. In other words, it will have different energies along the different paths.

With the advent of quantum mechanics, and the realization that any particle, including a thrown ball, has wave like properties, the rather mysterious Principle of Least Action looks a lot like Fermat’s Principle of Least Time. Recall that Fermat’s Principle works because the total phase along a path is the integrated time elapsed along the path, and for a path where that integral is stationary for small path variations, neighboring paths add constructively, and no other sets of paths do. If the Principle of Least Action has a similar explanation, then the wave amplitude for a particle going along a path from \(A\) to \(B\) must have a phase equal to some constant times the action along that path. If this is the case, then the observed path followed will be just that of least action, or, more generally, of *stationary* action, for only near that path will the amplitudes add constructively, just as in Fermat’s analysis of light rays.

## Going from Classical Mechanics to Quantum Mechanics

Of course, if we write a phase factor for a path \(e^{icS}\) where \(S\) is the action for the path and \(c\) is some constant, \(c\) must necessarily have the dimensions of inverse action. Fortunately, there is a natural candidate for the constant \(c\). The wave nature of matter arises from quantum mechanics, and the fundamental constant of quantum mechanics, Planck’s constant, is in fact a unit of action. (Recall action has the same dimensions as \(Et\), and therefore the same as \(px\), manifestly the same as angular momentum.) It turns out that the appropriate path phase factor is \(e^{iS/\hbar}\)

That the phase factor is \(e^{iS/\hbar}\), rather than \(e^{iS/h}\), say, can be established by considering the double slit experiment for electrons (Peskin page 277).

This is analogous to the light waves going from a source in air to a point in glass, except now we have vacuum throughout (electrons don’t get far in glass), and we close down all but two of the paths.

Suppose electrons from the top slit, Path I, go a distance \(D\) to the detector, those from the bottom slit, Path II, go \(D+d\), with \(d\ll D\). Then if the electrons have wavelength \(\lambda\) we know the phase difference at the detector is \(2\pi d/\lambda\). To see this from our formula for summing over paths, on Path I the action \(S=Et=\frac{1}{2}mv^2_1t\), and \(v_1=D/t\), so \[S_1=\frac{1}{2}mD^2/t. \tag{3.7.2}\]

For Path II, we must take \(v_2=(D+d)/t\). Keeping only terms of leading order in \(d/D\), the action difference between the two paths \[ S_2-S_1=mDd/t \tag{3.7.3}\]

so the phase difference \[ \frac{S_2-S_1}{\hbar} =\frac{mvd}{\hbar}=\frac{2\pi pd}{h}=\frac{2\pi d}{\lambda}. \tag{3.7.4}\]

This is the known correct result, and this fixes the constant multiplying the action/*h* in the expression for the path phase.

In quantum mechanics, such as the motion of an electron in an atom, we know that the particle does not follow a well-defined path, in contrast to classical mechanics. Where does the crossover to a well-defined path take place? Taking the simplest possible case of a free particle (no potential) of mass m moving at speed \(v\), the action along a straight line path taking time \(t\) from \(A\) to \(B\) is \(\frac{1}{2}mv^2t\). If this action is of order Planck’s constant \(h\), then the phase factor will not oscillate violently on moving to different paths, and a range of paths will contribute. In other words, quantum rather than classical behavior dominates when \(\frac{1}{2}mv^2t\) is of order \(h\). But \(vt\) is the path length \(L\), and \(mv/h\) is the wavelength \(\lambda\), so we conclude that we must use quantum mechanics when the wavelength \(h/p\) is significant compared with the path length. Interference sets in when the *difference* in path actions is of order \(h\), so in the atomic regime many paths must be included.

Feynman (in Feynman and Hibbs) gives a nice picture to help think about summing over paths. He begins with the double slit experiment for an electron. We suppose the electron is emitted from some source \(A\) on the left, and we look for it at a point \(B\) on a screen to the right. In the middle is a thin opaque barrier with the familiar two slits. Evidently, to find the amplitude for the electron to reach \(B\) we sum over two paths. Now suppose we add *another* two-slit barrier. We have to sum over four paths. Now add another. Next, replace the two slits in each barrier by several slits. We must sum over a multitude of paths! Finally, increase the number of barriers to some large number \(N\), and at the same time increase the number of slits to the point that there are no barriers left. We are left with a sum over all possible paths through space from \(A\) to \(B\), multiplying each path by the appropriate action phase factor. This is reminiscent of the original wave propagation picture of Huygens: if one pictures it at successive time intervals of picoseconds, say, from each point on the wavefront waves go out 3 mm in all directions, then in the next time interval each of those sprouts more waves in all directions. One could write this as a sum over all zigzag paths with random 3 mm steps.

In fact, the sum over paths is even more daunting than Feynman’s picture suggests. All the paths going through these many slitted barriers are progressing in a forward direction, from \(A\) towards \(B\). Actually, if we’re summing over *all* paths, we should be including the possibility of paths zigzagging backwards and forwards as well, eventually arriving at \(B\). We shall soon see how to deal systematically with all possible paths.

## Review: Standard Definition of the Free Electron Propagator

As a warm up exercise, consider an electron confined to one dimension, with no potential present, moving from \(x'\) at time 0 to \(x\) at time \(T\). We’ll follow Feynman in using \(T\) for the final time, so we can keep t for the continuous (albeit sometimes discretized) time variable over the interval 0 to \(T\).

(As explained previously, when we write that the electron is initially at \(x'\), we mean its wave function is a normalizable state, such as a very narrow Gaussian, centered at \(x'\). The propagator then represents the probability amplitude, that is, the wave function, at point \(x\) after the given time \(T\). ) The propagator is given by \[ |\psi(x,t=T)\rangle =U(T)|\psi(x,t=0)\rangle ,\tag{3.7.5}\]

or, in Schrödinger wave function notation, \[ \psi(x,T)=\int U(x,T; x',0)\psi(x′,0) dx′. \tag{3.7.6}\]

It is clear that for this to make sense, as \(T\to0\), \(U(x,T;x',0)\to\Delta(x-x′).\)

In the lecture on propagators, we found

\[ \langle x|U(T,0)|x′\rangle =\int_{-\infty}^{\infty}e^{-i\hbar k^2T/2m}\frac{dk}{2\pi}\langle x|k\rangle \langle k|x′\rangle =\int_{-\infty}^{\infty}e^{-i\hbar k^2T/2m}\frac{dk}{2\pi}e^{-ik(x-x′)}=\sqrt{\frac{m}{2\pi\hbar iT}}e^{im(x-x′)2/2\hbar T}. \tag{3.7.7}\]

## Summing over Paths

Let us formulate the sum over paths for this simplest one-dimensional case, the free electron, more precisely. Each path is a continuous function of time \(x(t)\) in the time interval \(0\le t\le T\), with boundary conditions \(x(0)=x′, x(T)=x\). Each path contributes a term \(e^{iS/\hbar}\), where \[ S[x(t)]=\int_0^T L(x(t),\dot{x}(t))dt=\int_0^T \frac{1}{2}m\dot{x}^2(t)dt \tag{3.7.8}\]

(for the free electron case) evaluated along that path.

The integral over all paths is written: \[ \langle x|U(T,0)|x′\rangle =\int D[x(t)] e^{iS[x(t)]/\hbar} \tag{3.7.9}\]

This rather formal statement begs the question of how, exactly, we perform the sum over paths: what is the appropriate measure in the space of paths?

A natural approach is to measure the paths in terms of their deviation from the classical path, since we know that path dominates in the classical limit. The classical path for the free electron is just the straight line from \(x'\) to \(x\), traversed at constant velocity, since there are no forces acting on the electron.

We write \[x(t)=x_{cl}(t)+y(t) \tag{3.7.10}\]

where \[ x_{cl}(0)=x′, x_{cl}(T)=x \tag{3.7.11}\]

and therefore \[ y(0)=0, y(T)=0. \tag{3.7.12}\]

Then \[ \begin{matrix}\langle x|U(T,0)|x′\rangle =\int D[y(t)] e^{iS[x_{cl}(t)+y(t)]/\hbar} ,\\ S[x_{cl}(t)+y(t)]=\int_0^T \frac{1}{2}m(\dot{x}_{cl}(t)+\dot{y}(t))^2dt \\ =S[x_{cl}(t)]+\int_0^T m\dot{x}_{cl}(t)\dot{y}(t)dt+\int_0^T \frac{1}{2}m\dot{y}^2(t)dt. \end{matrix} \tag{3.7.13}\]

The middle term on the bottom line is zero, as it has to be since it is a linear term in the deviation from the minimum path. To see this explicitly, one can integrate by parts: the end terms are zero, from the boundary condition on y, and the other term is the acceleration of the particle along the classical path, which is zero.

Therefore \[ \langle x|U(T,0)|x′\rangle =e^{iS[x_{cl}(t)]/\hbar} \int D[y(t)] e^{iS[y(t)]/\hbar} \tag{3.7.14}\]

The \(y\)- paths, being the deviation from the classical path from \(x'\) to \(x\), necessarily begin and end at the \(y\)- origin, since *all *paths summed over go from \(x'\) to \(x\).

The classical path, motion from \(x'\) to \(x\) at a constant speed \(v=(x′-x)/T\), has action \(Et\), with \(E\) the classical energy \(\frac{1}{2}mv^2\), so \[ U(x,T;x',0)=A(T)e^{im(x-x′)2/2\hbar T}. \tag{3.7.15}\]

This gives the correct exponential term. The prefactor \(A\), representing the sum over the deviation paths y(t), cannot depend on \(x\) or \(x'\), and is fixed by the requirement that as \(t\) goes to zero, \(U\) must approach a \(\delta\)- function, giving the prefactor found previously.

## Proving that the Sum-Over-Paths Definition of the Propagator is Equivalent to the Sum-Over-Eigenfunctions Definition

The first step is to construct a practical method of summing over paths. Let us begin with a particle in one dimension going from \(x'\) at time 0 to \(x\) at time \(T\). The paths can be enumerated in a crude way, reminiscent of Riemann integration: divide the time interval 0 to \(T\) into \(N\) equal intervals each of duration \varepsilon, so \(t_0=0, t_1=t_0+\varepsilon, t_2=t_0+2\varepsilon,…, t_N=T\).

Next, define a particular path from \(x\) to \(x'\) by specifying the position of the particle at each of the intermediate times, that is to say, it is at \(x_1\) at time \(t_1\), \(x_2\) at time \(t_2\) and so on. Then, simplify the path by putting in straight line bits connecting \(x_0\) to \(x_1\), \(x_1\) to \(x_2\), etc. The justification is that in the limit of \(\varepsilon\) going to zero, taken at the end, this becomes a true representation of the path.

The next step is to sum over all possible paths with a factor \(e^{iS/\hbar}\) for each one. The sum is accomplished by integrating over all possible values of the intermediate positions \(x_1,x_2,…,x_{N-1}\), and then taking \(N\) to infinity.

The action on the zigzag path is \[ S=\int_0^T dt(\frac{1}{2}m\dot{x}^2-V(x))\to\sum_i \left[ \frac{m(x_i+1-x_i)^2}{2\varepsilon}-\varepsilon V(\frac{x_i+1+x_i}{2}) \right] \tag{3.7.16}\]

We define the “integral over paths” written \(\int D[x(t)]\) by \[ \lim_{\begin{matrix} \varepsilon\to0 \\ N\to\infty \end{matrix}}\frac{1}{B(\varepsilon)}\int_{-\infty}^{\infty}\int \dots \int \frac{dx_1}{B(\varepsilon)} \dots \frac{dx_{N-1}}{B(\varepsilon)} \tag{3.7.17}\]

where we haven’t yet figured out what the overall weighting factor \(B(\varepsilon)\) is going to be. (It is standard convention to have that extra \(B(\varepsilon)\) outside.)

To summarize: the propagator \(U(x,T;x',0)\) is the contribution to the wave function at \(x\) at time

\(t=T\) from that at \(x'\) at the earlier time t=0.

Consequently, \(U(x,T;x',0)\) regarded as a function of \(x\),\(T\) is, in fact, nothing but the Schrödinger wave function \(\psi(x,T)\), and therefore must *satisfy Schrödinger’s equation* \[ i\hbar \frac{\partial}{\partial T}U(x,T;x',0)=\left( -\frac{\hbar^2}{2m}\frac{\partial^2}{\partial x^2}+V(x) \right) U(x,T;x',0).\tag{3.7.18}\]

We shall now show that defining \(U(x,T;x',0)\) as a sum over paths, it does in fact satisfy Schrödinger’s equation, and furthermore goes to a \(\delta\)- function as time goes to zero. \[ U(x,T;x',0)=\int D[x(t)]e^{iS[x(t)]/\hbar} =\lim_{\begin{matrix} \varepsilon\to0 \\ N\to\infty \end{matrix}}\frac{1}{B(\varepsilon)}\int_{-\infty}^{\infty}\int \dots \int \frac{dx_1}{B(\varepsilon)} \dots \frac{dx_{N-1}}{B(\varepsilon)}e^{iS(x_1, \dots ,x_{N-1})/\hbar} . \tag{3.7.19}\]

We shall establish this equivalence by proving that it satisfies the same differential equation. It clearly has the same initial value—as \(t′\) and \(t\) coincide, it goes to \(\delta(x-x′)\) in both representations.

To differentiate \(U(x,T;x',0)\) with respect to \(t\), we isolate the integral over the last path variable, \(x_{N-1}\): \[ U(x,T;x',0)=\int \frac{dx_{N-1}}{B(\varepsilon)}e^{\left[ \frac{im(x-x_{N-1})^2}{2\hbar \varepsilon}-\frac{i}{\hbar} \varepsilon V(\frac{x+x_{N-1}}{2})\right] }U(x_{N-1},T-\varepsilon;x',0) \tag{3.7.20}\]

Now in the limit \(\varepsilon\) going to zero, almost all the contribution to this integral must come from close to the point of stationary phase, that is, \(x_{N-1}=x\). In that limit, we can take \(U(x_{N-1},t-\varepsilon;x',t′)\) to be a slowly varying function of \(x_{N-1}\), and replace it by the leading terms in a Taylor expansion about \(x\), so \[ U(x,T;x',0)=\int \frac{dx_{N-1}}{B(\varepsilon)}e^{\frac{im(x-x_{N-1})^2}{2\hbar \varepsilon}} \left(1-\frac{i}{\hbar} \varepsilon V\left( \frac{x+x_{N-1}}{2}\right) \right) \left( U(x,T-\varepsilon)+(x_{N-1}-x)\frac{\partial U}{\partial x}+\frac{(x_{N-1}-x)^2}{2}\frac{\partial^2U}{\partial x^2}\right) \tag{3.7.21}\]

The \(x_{N-1}\) dependence in the potential \(V\) can be neglected in leading order—that leaves standard Gaussian integrals, and \[ U(x,T;x',0)=\frac{1}{B(\varepsilon)} \sqrt{\frac{2\pi\hbar \varepsilon}{-im}} \left( 1-\frac{i\varepsilon}{\hbar} V(x)+\frac{i\varepsilon\hbar}{2m}\frac{\partial^2}{\partial x^2}\right) U(x,T-\varepsilon;x',0). \tag{3.7.22}\]

Taking the limit of \(\varepsilon\) going to zero fixes our unknown normalizing factor, \[ B(\varepsilon)=\sqrt{\frac{2\pi\hbar \varepsilon}{-im}} \tag{3.7.23}\]

giving \[ i\hbar \frac{\partial}{\partial T}U(x,T;x',0)=\left( -\frac{\hbar^2}{2m}\frac{\partial^2}{\partial x^2}+V(x)\right) U(x,T;x',0), \tag{3.7.24}\]

thus establishing that the propagator derived from the sum over paths obeys Schrödinger’s equation, and consequently gives the same physics as the conventional approach.

## Explicit Evaluation of the Path Integral for the Free Particle Case

The required correspondence to the Schrödinger equation result fixes the unknown normalizing factor, as we’ve just established. This means we are now in a position to evaluate the sum over paths explicitly, at least in the free particle case, and confirm the somewhat hand-waving result given above.

The sum over paths is \[ U(x,T;x',0)=\int D[x(t)]e^{iS[x(t)]/\hbar} =\lim_{\begin{matrix} \varepsilon\to0 \\ N\to\infty \end{matrix}}1B(\varepsilon)\int_{-\infty}^{\infty}\int ...\int \frac{dx_1}{B(\varepsilon)} ... \frac{dx_{N-1}}{B(\varepsilon)}e^{i\sum_i \frac{im(x_i+1-x_i)^2}{2\hbar \varepsilon}}. \tag{3.7.25}\]

Let us consider the sum for small but finite \(\varepsilon\). In particular, we’ll divide up the interval first into halves, then quarters, and so on, into \(2^n\) small intervals. The reason for this choice will become clear.

Now, we’ll integrate over half the paths: those for \(i\) odd, leaving the even \(x_i\) values fixed for the moment. The integrals are of the form \[ \begin{matrix} \int_{-\infty}^{\infty}dye^{(ia/2)[(x-y)^2+(y-z)^2]}=e^{(ia/2)(x^2+z^2)}\int_{-\infty}^{\infty} dye^{iay^2-iay(x+z)} \\ =e^{(ia/2)(x^2+z^2)}\sqrt{\frac{\pi}{-ia}}e^{(-ia/4)(x+z)^2}=\sqrt{\frac{\pi}{-ia}}e^{(ia/4)(x-z)^2} \end{matrix} \tag{3.7.26}\]

using the standard result \(\int_{-\infty}^{\infty} dxe^{-ax^2+bx}=\sqrt{\frac{\pi}{a}}e^{b^2/4a}\).

Now put in the value \(a=m/\hbar \varepsilon\): the factor \(\sqrt{\frac{\pi}{-ia}}=\sqrt{\frac{\pi\hbar \varepsilon}{-im}}\) cancels the normalization factor \(B(\varepsilon)=\sqrt{\frac{2\pi\hbar \varepsilon}{-im}}\) except for the factor of 2 inside the square root. But we need that factor of 2, because we’re left with an integral—over the remaining even numbered paths—exactly like the one before except that the time interval has doubled, both in the normalization factor and in the exponent, \(\varepsilon\to2\varepsilon\).

So we’re back where we started. We can now repeat the process, halving the number of paths again, then again, until finally we have the same expression but with only the fixed endpoints appearing.

## Contributor

- Michael Fowler (Beams Professor, Department of Physics, University of Virginia)