1 IntroductionThe standard formulations of <strong>Quantum</strong> <strong>Mechanics</strong> were developed by Schröd<strong>in</strong>ger, Heisenbergand others <strong>in</strong> the 1920s. Already 1933 Dirac published a paper where he suggestsexp(iS/¯h) to correspond to the propagator, where S is the classical action. <strong>Feynman</strong>developed this idea, concern<strong>in</strong>g other paths than only the classical one and publisheda third complete formulation of <strong>Quantum</strong> <strong>Mechanics</strong> <strong>in</strong> 1948 ([1]). As we will see, thisformulation provides a much more <strong>in</strong>tuitive <strong>in</strong>troduction to the quantum theory. First ofall we will have to state the fundamental concepts of <strong>Quantum</strong> <strong>Mechanics</strong>. S<strong>in</strong>ce they arewell known to the reader I will do that very shortly but <strong>in</strong> a way which is useful for thedevelopment of the theory <strong>in</strong> later sections.2 The <strong>Path</strong> Integral Formulation of <strong>Quantum</strong> <strong>Mechanics</strong>The goal of this section is to <strong>in</strong>troduce <strong>Quantum</strong> <strong>Mechanics</strong> <strong>in</strong> a completely different wayfrom how it is usually done <strong>in</strong> textbooks.2.1 Probability and Probability AmplitudeLet’s start with the famous imag<strong>in</strong>ary double-slit experiment: We have an electron source<strong>in</strong> some po<strong>in</strong>t A, a screen B with two holes through which the electrons might pass, anda detector plane C. We def<strong>in</strong>e P 1 (x) as the probability that, if we close hole number2, an electron is detected at the position x <strong>in</strong> C. Analogously for P 2 (x). It is a wellknown experimental fact that P (x), the probability to arrive at x with both holes open,is not equal to (P 1 (x) + P 2 (x)) as long as we do not detect which hole the electron hasgone through. We can state a correct law for P (x) mathematically as follows: there arecomplex numbers Φ 1 and Φ 2 such thatP = |Φ| 2 , where Φ = Φ 1 + Φ 2 , P 1 = |Φ 1 | 2 , P 2 = |Φ 2 | 2 (1)We call Φ(x) the probability amplitude for arrival at x.2.2 Probability Amplitude for a <strong>Path</strong>Instead of only hav<strong>in</strong>g one screen and two holes as <strong>in</strong> 2.1, we can th<strong>in</strong>k about <strong>in</strong>sert<strong>in</strong>gmore screens and hav<strong>in</strong>g several holes <strong>in</strong> each screen. The number of possible paths (eachof which will have some ”partial” amplitude Φ i (x)) from A to some po<strong>in</strong>t x on C <strong>in</strong>creases.The total amplitude Φ(x) for an electron start<strong>in</strong>g <strong>in</strong> A to reach this po<strong>in</strong>t x on C <strong>in</strong> acerta<strong>in</strong> time T will be the sum of all partial amplitudes Φ i (x). To formulate this moreformally, we shall limit ourselves to a one-dimensional problem. The generalization toseveral dimensions is obvious.We def<strong>in</strong>e P (b, a) as the probability to go from a po<strong>in</strong>t x a at the time t a to the po<strong>in</strong>t x b att b . We now know that we can write the probability P (b, a) = |K(b, a)| 2 of an amplitudeK(b, a) to go from a to b. This amplitude is the sum of all the partial amplitudes 1 , onefor each possible path from (x a , t a ) to (x b , t b ). We now write the partial amplitudes asΦ[x(t)].∑K(b, a) =Φ[x(t)] (2)all paths from a to bThe question is how each path x(t) contributes to the total amplitude. It is so to speakthe central po<strong>in</strong>t <strong>in</strong> the <strong>Path</strong> Integral theory of <strong>Quantum</strong> <strong>Mechanics</strong> that <strong>Feynman</strong> postulates2 : The paths contribute equally <strong>in</strong> magnitude, but the phase of their contribution1 This corresponds to <strong>Feynman</strong>s postulate I <strong>in</strong> [1].2 Postulate II <strong>in</strong> [1]2
is the classical action S <strong>in</strong> units of the quantum of action ¯h , i.e.where the classical action S is def<strong>in</strong>ed by:Φ[x(t)] = const e (i/¯h)S[x(t)] (3)S[x(t)] =∫ tb2.3 The <strong>Path</strong> Integral and the Wave Functiont aL(ẋ, x, t) dt (4)The ma<strong>in</strong> question is, how to perform the sum over all paths. We divide the time <strong>in</strong>terval(t b − t a ) <strong>in</strong> N <strong>in</strong>tervals of length ɛ. For each path x(t) we can write x i = x(t i ) [Nɛ =t b − t a , ɛ = t i+1 − t i , t 0 = t a , t N = t b , x 0 = x a , x N = x b ] and get as a result for”the sum over all paths”:1K(b, a) = limɛ→0 A∫ ∫∫· · ·e (i/¯h)S[b,a] dx 1Adx 2A · · · dx N−1Awith some normalization factor A, which we need for the convergence of the whole expression.Its value shall be determ<strong>in</strong>ed later (but it will naturally depend on ɛ). 3K(b, a) is called the Kernel of the motion. We will denote it asK(b, a) =∫ ba(5)e (i/¯h)S[x(t)] Dx(t) (6)and call it <strong>in</strong> this notation the configuration space path <strong>in</strong>tegral or <strong>Feynman</strong> path <strong>in</strong>tegral.For K(b, a) there is a rule for comb<strong>in</strong><strong>in</strong>g amplitudes for events occur<strong>in</strong>g <strong>in</strong> succession<strong>in</strong> time:∫K(b, a) = K(b, c)K(c, a)dx c , if t a < t c < t b (7)x c[this rule follows from the fact S[b, a] = S[b, c] + S[c, a] (which is true from the def<strong>in</strong>itionof the action. It holds for any po<strong>in</strong>t c ly<strong>in</strong>g on the path from a to b). To prove (7), simply<strong>in</strong>sert the relation above <strong>in</strong> Eq. (6).]This procedure can be extended from only hav<strong>in</strong>g one to N −1 <strong>in</strong>termediate steps betweena and b. We get the expression∫ ∫K(b, a) = · · K(b, N−1)K(N−1, N−2) · · · K(i+1, i) · · · K(1, a)dx 1 dx 2 · · · dx N−1 .∫x 1 x 2·x N−1(8)If we compare now to (5), we f<strong>in</strong>d for the kernel for two po<strong>in</strong>ts separated by an <strong>in</strong>f<strong>in</strong>itesimaltime <strong>in</strong>terval ɛ, which is correct to first order 4 <strong>in</strong> ɛ:K(i + 1, i) = 1 [ ( iɛA exp ¯h L xi+1 − x i, x i+1 + x i, t i+1 + t iɛ 2 2Deal<strong>in</strong>g with <strong>Quantum</strong> <strong>Mechanics</strong> we are however more used to have some wave functionΨ(x, t) rather than the kernel 5 . We can derive a expression for Ψ(x, t) from (7):Ψ(x 2 , t 2 ) =∫ ∞−∞)](9)K(x 2 , t 2 ; x 1 , t 1 )Ψ(x 1 , t 1 )dx 1 (10)In physical terms: The total amplitude to arrive at (x 2 , t 2 ) is equal the sum over allpossible values of x 1 of the amplitude to be at x 1 (at a fixed time t 1 ) multiplyed by theamplitude to go from 1 to 2.3 To be precise: In (5) the action is def<strong>in</strong>ed by S = P i S(x i+1, x i ), where S(x i+1 , x i ) =m<strong>in</strong> R t i+1t iL(ẋ(t), x(t))dx, which obviously corresponds to the classical action on the <strong>in</strong>terval (x i , x i+1 ).4 Detailed calculations and <strong>Feynman</strong>s own ”justification” are found <strong>in</strong> [1]5 Actually the kernel K(x 2 , t 2 ; x 1 , t 1 ) = Ψ(x 2 , t 2 ) is a wave function as well.3