Evaluation of Path Integral

This section will tell you how to explicitly calculate the propagator using path integral. Take the free particle for example (you should try to generalise the calculation into other situations). The propagator of the free particle is

\[K = \lim_{n\rightarrow\infty}\int C(\epsilon)\prod_{i=1}^{n}\mathrm{d}[x(t_i)]\exp\{\mathrm{i}\sum_{i=1}^{n+1}\frac{1}{2}m\frac{[x(t_i)-x(t_{i-1})]^2}{\epsilon}\}\]

To simplify the expression, denote \(x_i\equiv x(t_i)\) and let \(m=2\). As a result, the integral simplifies to

\[K = \lim_{n\rightarrow\infty}\int C(\epsilon)\prod_{i=1}^{n}\mathrm{d}x_i\exp\{\mathrm{i}\sum_{i=1}^{n+1}\frac{(x_i-x_{i-1})^2}{\epsilon}\}\]

Before trying to actually evaluate the above expression, we should first find out the normalisation factor \(C(\epsilon)\).

Determination of Normalisation Factor

The normalisation factor can be constrained under the infinitesimal evolvement. Suppose we now work on the interval \((t, t+\epsilon)\) where \(\epsilon\) is an infinitesimal time step. Therefore, the normalisation condition requires

\[K(t; t+\epsilon) = \int c\,\mathrm{d}y \exp\{-\frac{(y-x)^2}{\mathrm{i}\epsilon}\} = 1\]

where \(y\) is the position at \(t+\epsilon\) and \(x\) is the position at \(t\). Perform the integration and we get

\[c\cdot \sqrt{\mathrm{i}\pi\epsilon} = 1 \ \ \Rightarrow\ \ c = \frac{1}{\sqrt{\mathrm{i}\pi\epsilon}}\]

This normalisation factor emerges whenever we the time moves forward the amount \(\epsilon\). In our previous expression, we insert \(n\) point into the interval \((t,t')\) which means we move forward \(n+1\) steps. Therefore

\[C(\epsilon) = c^{n+1} = (\sqrt{\mathrm{i}\pi\epsilon})^{-n-1}\]

The normalisation factor of the other forms of Lagrangian can be derived through a similar way.

Expand according to Classical Path

Usually, the path integral will have an upper and lower boundary, i.e. \(x'\) and \(x_0\), which brings some trouble during the evaluation. Hence, we want to eliminate this trouble. The best way is to introduce a relative variable, i.e. select a certain path \(x_c\) with \(x_c(t_0) = x_0\) and \(x_c(t') = x'\) and perform the path integral according to \(y\equiv x - x_c\). Of course, you can choose whatever path \(x_c\) you like, but there is one path that will make the evaluation less miserable — the classical path.

According to the variation principle, the classical path is defined as the path which satisfies

\[\left.\frac{\delta S}{\delta x}\right|_{x=x_c} = 0\]

Expand the action according to the classical path and we get

\[S = S_c + \left.\frac{\delta S}{\delta x}\right|_{x=x_c} y + \left.\frac{\delta^2 S}{\delta x^2}\right|_{x=x_c}y^2\]

This is nothing but a functional version of Taylor expansion. The expansion ends at second order since for most systems, the Lagrangian is quadratic. It is clear that the second term is zero. For the third term, it is exactly the same as \(S_c\) for free particle situation. Therefore, we separate the action into the addition of a classical action and an action of \(y\) which satisfies \(y_0 = y' = 0\).

Note

The above derivation will invoke functional Taylor expansion. If you can not yet accept this, it won’t be miserable just to substitute \(x = x_c + y\) into the original path integral and get the same result.

Evaluation by Quadratic Form

Our path integral now becomes

\[K = K_c \cdot \lim_{n\rightarrow\infty}\int (\sqrt{\mathrm{i}\pi\epsilon})^{-n-1}\prod_{i=1}^{n}\mathrm{d}y_i\exp\{\mathrm{i}\sum_{i=1}^{n+1}\frac{(y_i-y_{i-1})^2}{\epsilon}\}\]

where

\[K_c = \exp\{\mathrm{i}S_c\}\]

is the “classical” part of the propagator.

A naive way of evaluating this integral is to follow the definition — perform \(n\) integration and then take the limit. However, recall that most of the physical models, the Lagrangian is quadratic. This provides another way of evaluating the path integral, which brings much ease.

To begin with, expand the summation

\[\begin{split}&y_1^2 + y_1^2 - 2y_1y_2 + y_2^2 + y_2^2 - 2y_2 y_3 + y_3^2 + ...\\ =\ &2y_1^2 - y_1y_2 - y_1y_2 + 2y_2^2 - 2y_2 y_3 - 2y_2 y_3 + ...\end{split}\]

The reason for a rearrangement of the terms can be seen if we write the expansion in matrix form

\[\begin{split}[y_1\ y_2\ y_3 \ldots y_n] \left[ \begin{matrix} 2 & -1 & & & & \\ -1 & 2 & -1 & & & \\ & -1 & 2 & & & \\ & & & \ddots & & \\ & & & & & -1\\ & & & & -1 & 2 \end{matrix} \right] \left[ \begin{matrix} y_1\\ y_2\\ y_3\\ \vdots\\ y_n\\ \end{matrix} \right] \equiv \eta^T M \eta\end{split}\]

where \(\eta\) is an \(n\)-dim vector and \(M\) is the matrix in the middle. Therefore, the integral becomes

\[\lim_{n\rightarrow\infty}(\sqrt{\mathrm{i}\pi\epsilon})^{-n-1}\int \mathrm{d}\eta\exp\{-\eta^T A \eta\}\]

where \(\mathrm d\eta\) is just the abbreviation of \(\prod\mathrm dy\) and \(A\equiv M/\mathrm i\epsilon\).

Note

It is a fairly common thing to transform something with multiple summation into the matrix form. You are suggested to have the vigilance about the summation which is possible to be transformed to matrix form since it may bring surprising extra clearance.

The integral is nothing other than a multi-dimensional Gaussian integral. We will directly invoke the result of the integral as there have been numerous materials on how to do the multi-dimensional Gaussian integral online. The result is

\[\int \mathrm{d}\eta\exp\{-\eta^T A \eta\} = \sqrt{\frac{\pi^n}{\det(A)_n}}\]

This inspires us to calculate the determinant of the matrix \(M\) (and thus matrix \(A\)). To do this, expand the determinant along the first row and we get the following recurrence relation

\[\det(M)_{n+1} = 2\det(M)_n - \det(M)_{n-1}\]

It is easy to see that this recurrence relation implies that the sequence \(\det(M)_n\) is actually a arithmetic sequence. Therefore, an evaluation of the first two elements of the sequence will bring you

\[\det(M)_n = n+1\]

Thus

\[\det(A)_n = \det(M/\mathrm i\epsilon)_n = (n+1)/(\mathrm i\epsilon)^n\]

with which the integral is evaluated

\[\int \mathrm{d}\eta\exp\{-\eta^T A \eta\} = \sqrt{\frac{(\mathrm i\epsilon\pi)^n}{n+1}}\]

Combine with the other factors and we have

\[K = K_c\cdot\lim_{n\rightarrow\infty}(\sqrt{\mathrm{i}\pi\epsilon})^{-n-1}\sqrt{\frac{(\mathrm i\epsilon\pi)^n}{n+1}} = K_c\cdot\lim_{n\rightarrow\infty}\sqrt{\frac{1}{\mathrm i\pi\epsilon(n+1)}}\]

Now, an important thing to notice is that \(\epsilon(n+1)\) is actually \(\Delta t = t'-t_0\). Thus, we have the final formula of the propagator

\[K = \frac{1}{\sqrt{\mathrm i\pi\Delta t}}\exp\{\mathrm iS_c\}\]

You are suggested to explicitly calculate the classical action \(S_c\) (notice that the classical path of a free particle is just a straight line) and compare this result with the one you may encounter in your previous Quantum Mechanics course.

Originally, we stop here. However, you might be pretty surprised about our later contexts if we do so. Hence, … we decide to surprise you now.

The modern path integral formalism of quantum theory has NOTHING to do with doing the path integral.

Yes, this is true and IMPORTANT. To make this less surprising, recall that we do not do the actual integral of the action in the Lagrangian formalism. Instead, we try to transform the integration problem into differentiation problem. So the existence of this section is nothing but to convince you that the integral truly exists and is well-defined.

Please do not feel to be cheated. Whenever you feel doubtful about our following derivation about the path integral, please remember to come here again to gain some confidence.