Path Integral Quantization in Quantum Mechanics and in Quantum Field
Total Page:16
File Type:pdf, Size:1020Kb
5 Path Integrals in Quantum Mechanics and Quantum Field Theory In chapter 4 we discussed the Hilbert space picture of QuantumMechanics and Quantum Field Theory for the case of a free relativistic scalar fields. Here we will present the Path Integral picture of Quantum Mechanics and of relativistic scalar field theories. The Path Integral picture is important for two reasons. First, it offers an alternative, complementary, picture of Quantum Mechanics in which the role of the classical limit is apparent. Secondly, it gives a direct route to the study regimes where perturbation theory is either inadequate or fails com- pletely. In Quantum mechanics a standard approach to such problems is the WKB approximation, of Wentzel, Kramers and Brillouin. However, as it happens, it is extremely difficult (if not impossible) the generalize the WKB approximation to a Quantum Field Theory. Instead, the non-perturbative treatment of the Feynman path integral, which in Quantum Mechanics is equivalent to WKB, is generalizable to non-perturbative problems in Quan- tum Field Theory. In this chapter we will use path integrals only for bosonic systems, such as scalar fields. In subsequent chapters we willalsogivea full treatment of the path integral, including its applications to fermionic fields, abelian and non-abelian gauge fields, classical statistical mechanics, and non-relativistic many body systems. There is a huge literature on path integrals, going back to theoriginal papers by Dirac (Dirac, 1933), and particularly Feynman’s 1942 PhD Thesis (Feynman, 2005), and his review paper (Feynman, 1948). Popular textbooks on path integrals include the classic by Feynman and Hibbs (Feynman and Hibbs, 1965), and Schulman’s book (Schulman, 1981), among many others. 5.1 Path Integrals and Quantum Mechanics 115 5.1 Path Integrals and Quantum Mechanics Consider a simple quantum mechanical system whose dynamics can be de- scribed by a generalized coordinate operatorq ˆ.Wewanttocomputethe amplitude F qf ,tf qi,ti = qf ,tf qi,ti (5.1) known as the Wightman function. This function represents theamplitude ( ∣ ) ⟨ ∣ ⟩ to find the system at coordinate qf at the final time tf knowing that it was at coordinate qi at the initial time ti.TheamplitudeF qf ,tf qi,ti is just amatrixelementoftheevolutionoperator ˆ − ( ∣ ) iH ti tf h̵ F qf ,tf qi,ti = qf e qi (5.2) ( )/ q ,t = , q ,t = q,t Let us set, for simplicity,( i∣ i ) 0 ⟨0 and∣ f f ∣ ⟩ .Then,fromthe definition of this matrix element, we find out that it obeys ∣ ⟩ ∣ ⟩ ∣ ⟩ ∣ ⟩ lim F q,t 0, 0 = q 0 = δ q (5.3) t→0 Furthermore, after some algebra( ∣ we) also⟨ find∣ ⟩ that( ) ∂F ∂ ∂ −iHtˆ h ih =ih q,t 0, 0 = ih q e ̵ 0 ̵ ∂t ̵ ∂t ̵ ∂t − ˆ / = ˆ iHt h̵ q He⟨ ∣ ⟩0 ⟨ ∣ ∣ ⟩ ′ / ′ ′ −iHtˆ h = dq q Hˆ q q e ̵ 0 (5.4) ⟨"∣ ∣ ⟩ / where we have used that, since⟨ ∣q ∣ is⟩⟨ a complete∣ ∣ set⟩ of states, the identity operator I has the expansion, called the resolution of the identity, {∣ ⟩} ′ ′ ′ I = dq q q (5.5) " Here we have assumed that the states are∣ ⟩⟨ orthonormal,∣ ′ ′ q q = δ q − q (5.6) Hence, ⟨ ∣ ⟩ ( ) ∂ ′ ′ ′ ih F q,t 0, 0 = dq q Hˆ q F q ,t 0, 0 ≡ Hˆ F q,t 0, 0 (5.7) ̵ ∂t " q In other words,( ∣F q,t) 0, 0 is⟨ the∣ solution∣ ⟩ ( of∣ the) Schr¨odinger( ∣ Equation) that satisfies the initial condition of Eq. (5.3). For this reason,theamplitude F q,t 0, 0 is called( the∣ Schr¨odinger) Propagator. ( ∣ ) 116 Path Integrals in Quantum Mechanics and Quantum Field Theory q f qf ,tf ( ) q′ q′,t′ q ( ) i qi,ti ′ t t ti( ) t f Figure 5.1 The amplitude to go from qi,ti to qf ,tf is a sum of products ′ ′ of amplitudes through the intermediate states q ,t . ∣ ⟩ ∣ ⟩ ∣ ⟩ The superposition principle tells us that the amplitude to find the system in the final state at the final time is the sum of amplitudes of theform ′ ′ ′ ′ ′ F q ,t q ,t = dq q ,t q ,t q ,t q ,t (5.8) f f i i " f f i i ′ where the system( is in∣ an arbitrary) set⟨ of states∣ ⟩⟨ at an∣ interme⟩ diate time t . Here we represented this situation by inserting the identityoperatorI at ′ the intermediate time t in the form of the resolution of the identity of Eq. (5.8). Let us next define a partition of the time interval ti,tf into N sub- intervals each of length ∆t, [ ] tf − ti = N∆t (5.9) Let tj ,withj = 0,...,N+ 1, denote a set of points in the interval ti,tf , such that { } [ ] ti = t0 ≤ t1 ≤ ...≤ tN ≤ tN+1 = tf (5.10) Clearly, tk = t0 + k∆t,fork = 1,...,N+ 1. By repeating the procedure used in Eq.(5.8) of inserting the resolution of the identity at theintermediate times tk ,wefind F q ,t q ,t = dq ...dq q ,t q ,t q ,t q ,t × ... {f }f i i " 1 N f f N N N N N−1 N−1 × ... q ,t q ,t ... q ,t q ,t ( ∣ ) ⟨ ∣ j j ⟩⟨j−1 j−1 ∣ 1 1 ⟩i i (5.11) ⟨ ∣ ⟩ ⟨ ∣ ⟩ 5.1 Path Integrals and Quantum Mechanics 117 Each factor qj,tj qj−1,tj−1 in Eq.(5.11) has the form − ˆ − − ˆ = iH tj tj−1 h̵ ≡ iH∆t h̵ qj,tj qj−⟨1,tj−1∣ qj e ⟩ qj−1 qj e qj−1 (5.12) ( )/ / In the limit N → ∞,with tf − ti fixed and finite, the interval ∆t becomes ⟨ ∣ ⟩ ⟨ ∣ ∣ ⟩ ⟨ ∣ ∣ ⟩ infinitesimally small and ∆t → 0. Hence, as N → ∞ we can approximate the expression for qj,tj qj∣−1,tj−1∣ in Eq.(5.12) as follows − q ,t q ,t = q e iH∆t h̵ q j j j−1 ⟨j−1 ∣ j ⟩ j−1 ∆/ t ˆ 2 = qj I − i H + O ∆t qj−1 ⟨ ∣ ⟩ ⟨ ∣ h̵ ∣ ⟩ t = ∆ ˆ 2 ⟨δ q∣$j − qj−1 − i ((qj H)q)j−%∣1 + O⟩ ∆t h̵ (5.13) ( ) ⟨ ∣ ∣ ⟩ (( ) ) which becomes asymptotically exact as N → ∞. q(t) qf qi t t ti ∆t f Figure 5.2 A history q t of the system. We can also introduce at each intermediate( ) time tj acompletesetof momentum eigenstates p using their resolution of the identity ∞ = {∣ ⟩}I dp p p (5.14) "−∞ Recall that the overlap between the states∣ ⟩⟨q ∣and p is 1 = ipq h̵ q p e ∣ ⟩ ∣ ⟩ (5.15) 2πh̵ / For a typical Hamiltonian of⟨ ∣ the⟩ form& pˆ2 Hˆ = + V qˆ (5.16) 2m ( ) 118 Path Integrals in Quantum Mechanics and Quantum Field Theory its matrix elements are ∞ 2 dpj − pj ˆ ipj qj qj−1 h̵ qj H qj−1 = e + V qj (5.17) "−∞ 2πh 2m ̵ ( )/ Within the⟨ ∣ same∣ level⟩ of approximation we can' also write( )( dpj pj qj + qj−1 qj,tj qj−1,tj−1 ≈ exp i qj − qj−1 − ∆tH pj, " 2πh̵ h̵ 2 (5.18) where⟨ we∣ have introduce⟩ the “mid-point) * ( rule” which) amounts* tothereplace-++, q → 1 q + q H p, q ment j 2 j j−1 inside the Hamiltonian .Puttingeverything together we find that the matrix element qf ,tf qi,ti becomes - . ( ) N ∞ N+1 ⟨ dpj ∣ ⟩ qf ,tf qi,ti = lim dqj N→∞ " # " # 2πh j=1 −∞ j=1 ̵ ⟨ ∣ ⟩ N+1 i qj + qj−1 exp p q − q − ∆tH p , h $ j j j−1 j 2 ⎧ ̵ j=1 ⎫ ⎪ ⎪ ⎨⎪ ) ( ) * +,⎬⎪(5.19) ⎪ ⎪ ⎩⎪ ⎭⎪ Therefore, in the limit N → ∞,holding ti − tf fixed, the amplitude qf ,tf qi,ti is given by the (formal) expression ∣ ∣ i tf ⟨ ∣ ⟩ dt pq˙ − H p, q h " q ,t q ,t = DpDqe̵ ti (5.20) f f i i " [ ( )] where we have⟨ used∣ the⟩ notation N dpjdqj DpDq ≡ lim (5.21) N→∞ # 2πh j=1 ̵ which defines the integration measure. The functions, or configurations, q t ,p t must satisfy the initial and final conditions = = ( ( ) ( )) q ti qi,qtf qf (5.22) Thus the matrix element (qf),tf qi,ti can( be) expressed as a sum over his- tories in phase space.Theweightofeachhistoryistheexponentialfactor of Eq. (5.20). Notice that⟨ the quantity∣ ⟩ in brackets it is just the Lagrangian L = pq˙ − H p, q (5.23) ( ) 5.1 Path Integrals and Quantum Mechanics 119 Thus the matrix element is just i S q,p q ,t q,t = DpDqeh̵ (5.24) f f " ( ) where S q,p is the action⟨ ∣ of each⟩ history q t ,p t .Alsonoticethat the sum (or integral) runs over independent functions q t and p t which are not required( ) to satisfy any constraint (apart( ( ) from( )) the initial and final conditions) and, in particular they are not the solution( ) of the equations( ) of motion. Expressions of these type are known as path-integrals.Theyare also called functional integrals, since the integration measure is a sum over a space of functions,insteadofafieldofnumbersasinaconventionalintegral. Using a Gaussian integral of the form (which involves an analytic contin- uation) 2 p ∆t ∆t 2 ∞ dp i pq˙ − m i q˙ e 2m h = e 2h (5.25) " 2πh ̵ 2πih∆t ̵ −∞ ̵ 6 ̵ ( ) we can integrate out explicitly the momenta in the path-integral and find a formula that involves only the histories of the coordinate alone. Notice that there are no initial and final conditions on the momenta since the initial and final states have well defined positions. The result is i tf dt L q,q˙ h " q ,t q ,t = Dqe̵ ti (5.26) f f i i " ( ) which is known as⟨ the Feynman∣ ⟩ Path Integral (Feynman, 2005, 1948). Here L q,q˙ is the Lagrangian, 1 L q,q˙ = mq˙2 − V q (5.27) ( ) 2 and the sum over histories(q t ) is restricted( by) the boundary conditions q ti = qi and q tf = qf .