12.07.2015 Views

Feynman Path Integrals in Quantum Mechanics

Feynman Path Integrals in Quantum Mechanics

Feynman Path Integrals in Quantum Mechanics

SHOW MORE
SHOW LESS
  • No tags were found...

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!