Path Integral and Propagator¶
Note
This section requires knowledge on Green’s function. Although we will briefly review some basics, you are still suggested to pick up a textbook on Mathematical Methods of Physics for a careful review.
In this section, you will make your first acquaintance with path integral. In quantum theory, path integral is a method of constructing the propagator. So we begin with the propagator.
Schrödinger’s Equation and Propagator¶
Warning
The symbols invoked in this section (e.g. \(\psi\)) have a dedicated meaning, which will be different from other sections in this project.
First, we need to recall Green’s function. Mathematically, Green’s function \(G(x;x')\) of an operator \(L\) is defined as
This method is very useful to solve equations like
since if we know the Green’s function \(G(x;x')\) of \(L\), the solution is simply
One can easily verify if notice
where the second equality is due to the fact that \(L\) consists only operation on \(x\) and is totally irrelevant to \(x'\).
In Quantum Mechanics, we have the Schrödinger’s equation
All within the bracket can be viewed as an operator, and thus possesses a Green’s function
With this propagator, we can calculate the state of anytime after from an initial state
Therefore, the initial state \(|\psi(t)\rangle\) propagates to the final state \(|\psi(t')\rangle\) with the help of \(K(x,t;x',t')\). As a consequence, \(K(x,t;x',t')\) is called the propagator.
Path Integral¶
The previous argument is only one way to construct Quantum Mechanics, i.e. suppose the Schrödinger equation holds -> derivation of the propagator. In 1948, Feynman proposed another way of reasoning: path integral -> propagator -> Schrödinger equation.
Feynman suggest the propagator takes the form
Note
Rigorously speaking, we should use \(\propto\) instead of \(=\) in the above equation, since the RHS may produce annoying constant factors. However, this factor can be eliminated through normalisation. Therefore, all the subsequent path integral will automatically carry this normalisation process.
where \(S[x]\) is the action of the system, and \(\int\mathcal{D}x\) is the so-called path integral. Next, we carefully examine the above equation.
Take 1D free particle for example. The Lagrangian of 1D free particle is
Thus, the action is
Suppose we now work on the start point \(x, t\) and end point \(x', t'\). The path integral requires “integrating along all paths”. However, the “all path” can be hard to manipulate, since it is something uncountable. More specifically, it should be something like
where every point within interval \((t,t')\) needs an integration. This is clearly impossible since there are uncountable elements within \((t,t')\). Hence, we come up with the idea of a kind of “sampling”.
For an arbitrary large number (\(n\)) of points within \((t,t')\) (the “sample” of \(n\) points), the following formula
exists, we define this result as the integration of all path, i.e. the path integral of \([...]\). The fact that the size of the “sample” can be arbitrarily large insures that the integral actually goes over every path.
Note
The trick to turn some infinite objects to something arbitrary can be very common in Mathematics. For instance, the concept infinitely large can be in fact arbitrarily large or no upper bound. The limit in Mathematics also follows similar idea.
To formally implement this, insert \(n\) points into \((t,t')\) and perform \(n\) integrations
where we also expand the integration in the action into discrete form, and \(\epsilon = (t'-t)/(n+1)\) is the size of each small interval. Then, ask the “sample size” \(n\) to go to infinity
where we also adjust the order and introduce a normalisation factor \(C(\epsilon)\) to ensure the convergence. You should be able to prove this adjustment once notice that all \(x(t_i)\) are independent variables. The above formula is the definition of the path integral
As a practice, you should try to write down the definition of a general path integral
You may find the above elucidation hard to comprehend. That’s normal. Try to draw some diagrams or analyse step by step. It might help.