Our goal in this chapter is to show that quantum mechanics and quantum 64257eld theory can be completely reformulated in terms of path integrals The path integral formulation is particularly useful for quantum 64257eld theory 1 From Quantum Mechanic ID: 22616
Download Pdf The PPT/PDF document "Path Integrals Path integrals were inven..." is the property of its rightful owner. Permission is granted to download and print the materials on this web site for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.
Eq.(1.4)canbecheckedbydierentiatingbothsideswithrespecttotandverifyingthatj (t)iasdenedbyEq.(1.4)satisestheSchrodingerequation,andalsothecorrectboundaryconditionlimt!tij (t)i=j 0i:(1.6)WecallthesolutionEq.(1.4)`formal'onlybecauseisnoeasiertoevaluatetheexponentialoftheHamiltonianthanitistosolvetheSchrodingerequation.TherealuseofEq.(1.4)isforprovinggeneralresults.Thequantity^U(t;ti)def=ei^H(tti)(1.7)thatappearsinEq.(1.4)iscalledthetimeevolutionoperator.Ifweknowthisoperator,itisclearthatweknoweverythingthereistoknowaboutthewaythesystemevolvesintime.Itisalsosucienttondthematrixelementof^Ubetweenarbitrarypositioneigenstateshqfj^U(tf;ti)jqii:(1.8)Thisquantityissometimescalledthetimeevolutionkernel.(Notethatthenalstateappearsontheleft.Wewillalwayswriteourexpressionssothat`latertimesareontheleft.')WebeginourderivationofthepathintegralbydividingthetimeintervalfromtitotfintoNequalintervalsoflengtht=tfti N:(1.9)(WewilleventuallytakethelimitN!1,t!0.)Wewritethetimeevolutionoperatorasei^H(tti)=ei^Htei^Htei^Ht| {z }Nfactors:(1.10)Wetheninsertacompletesetofstatesbetweeneachofthefactorsaboveusingthecompletenessrelation1=Zdqjqihqj:(1.11)Inthisway,weobtainhqfj^U(tf;ti)jqii=ZdqN1Zdq1hqfjei^HtjqN1ihqN1jei^HtjqN2ihq1jei^Htjqii:(1.12)2 andtheidentitiesf(^q)jqi=f(q)jqi;hpjf(^p)=hpjf(p);(1.20)whichholdforanarbitraryfunctionf.NoticewhathashappenedinEq.(1.18):wehaveusedthecompletenessrelationtoreplacetheoperators^pand^qwithintegralsoverclassicalquantitiespandq.SubstitutingEq.(1.18)intoEq.(1.14),weobtainhqfj^U(tf;ti)jqii=ZdqN1dpN1 2Zdq1dp1 2Zdp0 2exp(iN1Xn=0tpnqn+1qn tH(pn;qn)):(1.21)InthecontinuumlimitN!1,t!0,wecanidentifyqn+1qn t!_q(t);N1Xn=0tf(tn)!Ztftidtf(t):(1.22)WecanthenwriteEq.(1.21)inthecompactform hqfj^U(tf;ti)jqii=q(tf)=qfZq(ti)=qid[p]d[q]eiSH[p;q]; (1.23)where SH[p;q]=Ztftidthp(t)_q(t)H(p(t);q(t))i; (1.24)andwehaveusedtheabbreviationsd[p]def=N1Yn=0dpn 2;d[q]def=N1Yn=1dqn:(1.25)Eq.(1.23)iscalledapathintegral(orfunctionalintegral)becausetheintegralisoverall`phase-spacepaths'(p(t);q(t)).Thepathq(t)mustsatisfytheboundaryconditionsq(ti)=qi,q(tf)=qf,whilethepathp(t)iscompletelyunconstrainedandisnotrelatedtoq(t)(or_q(t))inanyway.Weemphasizethatp(t)andq(t)aredenedbyintegratingoverthevaluesofp(t)andq(t)independentlyateachvalueoft,sothepathsthatcontributetothefunctionalintegralareingeneralhighlydiscontinuous.Itisoftenusefultohaveanintuitivepictureofthepathintegralasstatingthata4 neededtomakeexpressionswell-dened.Forexample,inthisapproachthetransfermatrixbecomesTq0;q0=Zdp 2exp(i(q0q)pit(1i)"p2 2m+V(q)#):(1.30)Thisintegraliswell-denedaslongas0becausethecoecientofp2intheexponenthasanegativerealpartthatsuppressestheintegrandasp!1.WenowperformtheintegraloverpinEq.(1.30).TheintegralhastheformofageneralizedGaussianintegralZ11dpe1 2Ap2+Bp;Re(A)0:(1.31)Wecanevaluatethisintegralbycompletingthesquareintheexponent1 2Ap2+Bp=1 2ApB A2+B2 2A(1.32)andshiftingthevariableofintegrationtop0=pB=A:Z11dpe1 2Ap2+Bp=eB2=(2A)Z11dp0e1 2Ap02=eB2=(2A)2 A1=2:(1.33)ThistrickfordoingGaussianintegralswillbeusedrepeatedly.Applyingthisformula,weobtainTq0;q=m 2it1=2exp(it(1i)24m 2 q0q t(1i)!2V(q)35):(1.34)Notethatthetimealwaysappearswithasmallnegativeimaginarypart.Omittingtheifactorsforbrevity,thetime-evolutionkernelishqfj^U(tf;ti)jqii=m 2itN=2ZdqN1Zdq1exp(iN1Xn=0t"m 2qn+1qn t2V(qn)#):(1.35)NotethatthereisonefactorC=m 2it1=2(1.36)foreachqintegral,withonefactorleftover.Wethereforedenethepathintegralmeasuretobed[q]def=N1Yn=1Cdqn:(1.37)6 where0istakentozeroattheendofthecalculation.Notethatthisisequivalenttotheiprescriptionthatwasusedtomakethepathintegralwell-denedabove.Insertingacompletesetofenergyeigenstates,wegethqfj^U(0;T(1i))jqii=XneiEnTeEnThqfjnihnjqii:(1.44)TakingT!1,the-dependenttermsuppressesthecontributionofallexcitedstates,leavingonlythecontributionfromthegroundstaten=0:hqj^U(0;T(1i))jqii!eiE0T 0(qf) 0(qi):(1.45)Viewedasafunctionofqf,thisgivesthegroundstateofthesystemuptoa(singular)normalizationfactor.Therefore,wecanwrite 0(qf)=Nq(0)=qfZd[q]eiS[q]: (1.46)Here,theintegralisoverallpathsfromti!1withtheiprescriptionisunder-stood,andNisa(singular)normalizationfactor.Thefactthattheiprescriptionprojectsoutthegroundstatewillbeusedfrequentlyinthefollowing.Thesingularnormalizationfactorsshouldnotbotheryoutoomuch.Conceptually,theyariseforthesamereasonasnon-normalizablestatesinquantummechanics,andwewillseehowtodealwiththemwhenwestartusingthepathintegraltocomputephysicalquantities.2FromPathIntegralstoQuantumMechanicsWenowreversetheprocedureaboveandshowhowtoreconstructtheoperatorformofquantummechanicsfromthepathintegral.Thatis,weattempttodeneaquantum-mechanicalevolutionoperatorbythepathintegralwithagivenaction.Thereisonegeneralizationoftheprevioussectionthatwillbeneededhere.Inthediscussionabove,thepathintegralmeasureisindependentofq(seeEq.(1.36)).Asimpleexampleofaquantum-mechanicalsystemwithanontrivialpathintegralmeasureisgivenbyaparticlewithaposition-dependentmass,denedbytheLa-grangianL=1 2m(q)_q2V(q):(2.1)Thecanonicalmomentumisp=@L @_q=m(q)_q;(2.2)8 where~L(q;_q)=1 2m(q)_q2+i 2m0(q) m(q)_q(m0(q))2 8m3(q)+V(q):(2.10)Again,the`extra'termscomefromtheoperatorordering.ThemeasurefactorisC(q)= m(q) 2it!1=2:(2.11)TheLagrangianappearinginthepathintegralisnotthesameastheclassicalLa-grangianwestartedwith.Thisshouldnotworryus,sinceweshouldaprioriallowallpossibletermsconsistentwithsymmetries(andrestrictedbyexperimentaldataifweareattemptingtodescribetherealworld).Anotherfeatureofthisexampleisthefactthatthemeasurefactordependsonq.Thepathintegralforthissystemcanthenbewritten hqfj^U(tf;ti)jqii=C(qi)q(tf)=qfZq(ti)=qid[q]eiS[q]: (2.12)Herethemeasureisdenedbyd[q]=limN!1N1Yn=1C(qn)dqn;(2.13)wherethetimeintervalfromtitotfisdiscretizedintoNstepsasbefore.ThefactthatthemeasurefactorinEq.(2.12)involvesqiratherthanqforiginatesinthefactthatwechosetoorderthequantumHamiltoniansothat^pistotheleftof^q,ratherthantheotherwayaround.Itisclearthatphysicalquantitiesshouldnotdependonthischoice,andwewillseethatindeedthemeasurefactorC(q)cancelsoutwhenwecomputephysicalquantities.Wewanttoseeifwecandenethetimeevolutionoperatorusingtheright-handsideofthepathintegralEq.(2.12)withthegeneralizedmeasure.(Eq.(2.12)denesthematrixelementsofthetimeevolutionoperatorforacompletesetofstates,whichisthesameasdeningtheoperator.)Inordertodeneaconsistenttimeevolution,theoperator^U(tf;ti)denedbythepathintegralmustbeunitary,anditmustsatisfythe`timecompositionrule'^U(tf;ti)=^U(tf;t)^U(t;ti)(2.14)10 Tocheckthis,wecomputehq0j^Tjqi=Zd(q)hq0jeiq^peitL(^q;q=t)jqi=Zd(q)hq0jq+qieitL(q;q=t)=eitL(q;(q0q)=t):(2.22)Notethatthisdenesthematrixelementsof^Tinacompletesetofstates,sothesolutionisunique.Withthisresult,wecanwritethepathintegralasanintegral(sum)overinter-mediatestates:hqNj^U(tN;t0)jq0i=ZdqN1dq1hqNj^T^CjqN1ihq1j^T^Cjq0i;(2.23)where^C=C(^q).Thiscanbewrittenmuchmorecompactlyastheoperatorstatement^U(tN;t0)=(^T^C)N:(2.24)Thatis,^T^Cistheinnitesmaltimeevolutionoperator.Weseethat^Uisunitaryifandonlyiftheoperator^T^Cisunitary.Theoperator^TdenedbyEq.(2.21)isnotunitarybyitself,sinceitisanintegral(sum)ofunitaryoperators.Unitarityof^T^Cisequivalenttohq0j(^T^C)y(^T^C)jqi!hq0jqi=(q0q):(2.25)AshortcalculationanalogoustoEq.(2.22)giveshq0j(C^T)y(C^T)jqi=C(q0)C(q)Zd(q)exp(it"Lq;q tL q0;qq0+q t!#):Theintegralontheright-handsideisafunctionofqandq0thatissharplypeakedatq=q0forsmallt.Thereasonisthatforq06=q,thephaseoftheintegrandoscillateswildly,suppressingthevalueoftheintegral.Theintegralbecomesmoreandmoresharplypeakedast!0,andwehavehq0j(C^T)y(C^T)jqi!jC(q)j2(sharplypeakedfunctionofq0q):(2.26)WecanchooseC(q)(asafunctionoft)sothatthishasunitareainthelimitt!0,i.e.theintegralisequalto(qq0).12 Notethatthereareindependentquantumoperators^(~x)and^(~x)ateachspatialpoint~x.Tomakethiswell-dened,wecanreplacethespatialcontinuumwithadiscretesquarelatticeofpointswithspacinga:~x=a(n1;n2;n3);(3.4)wheren1;n2;n3areintegers.Wethenhaveindependentoperators^~xand^~xateachlatticesite.ThequantumHamiltonianthen^H=X~xa32641 2^2~x+1 2X~j0@^~x+~j^~x a1A2+V(^~x)375;(3.5)where~jrunsovertheunitlatticevectors(a;0;0);(0;a;0);(0;0;a).Wenowretracethestepsleadinguptothepathintegral.Wewanttoevaluatethetimeevolutionkernelhfj^U(tf;ti)jii=hfjei^H(tfti)jii;(3.6)wherejiisaneigenstateoftheeldoperator:^~xji=~xji:(3.7)(Thatis,jiisasimultaneouseigenstateofalloftheoperators^~x.)WeagainbreakthetimeintervalintoNintervalsoflengtht=(tfti)=N,andinsertacompletesetofstatesjibetweeneachinterval.Inthisway,weobtaintheHamiltonianpathintegralhfj^U(tf;ti)jii=(~x;tf)=f(~x)Z(~x;ti)=i(~x)d[]d[]eiSH[;];(3.8)withHamiltonianactionSH[;]=N1Xn=0tX~xa3"~x;n~x;n+1~x;n t1 22~x;n1 2X~j ~x+~j;n~x;n a!2V(~x;n)#(3.9)!ZtftidtZd3x_1 221 2~r2V();(3.10)14 isnite,andtheintegralscanbeapproximatednumerically.Thisapproachiscalled`latticeeldtheory,'andthereiscurrentlyamajorresearcheortunderwaytoperformquantumeldtheorycalculationsusingthisapproach.16