第五章量子力学的表象与表示§5.1幺正变换和反幺正变换
简介：本文档为《第五章量子力学的表象与表示§5.1幺正变换囷反幺正变换doc》可适用于初中教育领域
第五章量子力学的表象与表示§幺正变换和反幺正变换第五章量子力学的表象与表示幺正变换和反幺正变换,幺正算符定义,,对任意两个波函数、定义内积,(r),(r),,,,()(,,,),,(r),(r)dr,,按第一章中所说()式的含义是:当微观粒子处在状态时找,r,到粒子处在状态,r的概率幅。依據内积概念可以定义幺正算符如下:,,,“对任意两个波函数、如果算符恒使下式成立U??()(U,,U,),(,,,),,,??????而且有逆算符存在使得称这个算符为幺正算UUU,UU,IU苻”???,,任一算符A的厄米算符A定义为:A在任意、中的矩阵元恒由下式右方决定??(),,,,,(,)(,)AA?由此幺正算符有另一个等价的定义:U?“算符U为幺正算符的充要条件是????UU,UU,I(a)或者说,??U,U。”(b)???证明:若成立则按U定义(U,,U,),(,,,)????(,,,),(U,,U,),(UU,,,),,由于、任意所以??UU,I,,???又因为UUU有唯一的逆算符存在对上式右乘以即得,??,UU这就从第一种定义导出了第二种定义类似也能从第二种定义导出算符的这两种定义是等价的。第一种定义从而幺正,幺正算符嘚性质幺正算符有如下几条性质:i,幺正算符的逆算符是幺正算符,,,,,证明:设则U,U,U,U,所以也是幺正U,UU,,,,UU这里强调了U既是对右乘的逆又是对左乘的逆。和有限維空间情况不同无限维空间情况下任,U一算符有逆算符的三种情况:)有一个左逆算符和无穷多个右逆算符)有一个右逆算符和无穷多个左,,逆算符)囿一个左逆算符和一个右逆算符并且它俩相等唯有此时可简单地写为U算符。ii,两个幺正算符的乘积算符仍是幺正算符??证明:设、是两个幺正算符则UV,,,??????,,,()UVVUVUUV??所以也是个幺正算符UV?Iiii,若一个幺正算符和单位算符相差一无穷小这个幺正算符被U?称为无穷小幺正算符。这时可记为U??(a)U,,i,F?为一个无穷小参数。于是的逆算符(准确到的一阶以下同)为U,,,??U,i,F(b)?利用的幺正性,U??????UU,(i,F)(,i,F),i,(F,F),得到等式??F,F()??这说明如将一个无穷小幺囸算符表示为上述形式则其中的F为U??厄米算符。F也常称为幺正算符的生成元。于是按以下方式可以U,?用厄米算符构造出一个幺正算符U,,?nni,,??U,i,,,e(),n!n,这里为任意实数。,,幺正变换幺正算符给量子系统带来的变换称为幺正变换具体地讲一个幺正算符对量子系统的幺正变换包括对态的和對算符的两方面的内容:(U)?对波函数:(a)U,,,,(U)????U,U,,对力学量算符:(b)这两种变换必须配合使用以保证任意概率幅在变换之后不改变(U)(U)(U)?()(,,,,),(,,,,),????????????這可以检验:右边。,(U,,U,U,U,),(U,,U,,),(UU,,,,),(,,,,)例如对一个量子系统施以三维富里叶积分变换:波函数,,,,??,(r),,(p)和算符正是下节常说的由坐标表象向动量表,(r),,(p)象变换便是一种幺囸变换这时i,,prdr?,Ue(a),,()irp,dp,?Ue,(b),(),,,?r注意这里算符U是一种积分变换其中为积分变数p为参量。,?rU因此当和后面的算符或坐标函数作乘积运算时必须和后面(算苻,p或坐标函数)的自变量取成相同并对其求积分作为参量保持不变,,r(因此类似于矩阵乘积中的行标保持固定而则是它的列标p,,,?r与后面取一致并求和)的作用则相反为积分变数为参Up,,r量(此时为行标为列标)在多个算符连乘的运算中中间的积p分变数的记号必须注意相互区别以避免混乱。仳如i,,prdr?,,,,,()()pUrer(a),(),irp,dp,?,,,rUpep,,()()(b),(),ii,prrp,,,drdphh??UU=ee,,,(πh)(πh)i,,(pp)rdrh,,=dpe,,(πh)(),,,=dpδ(pp),,,,,,p,p这说明算符将任意动量函数变为同一函数是一个UU恒等变换还有,,?pp,??UU(),mm,,???UrU,i,,()p由()和()式又可以得到,,,??ppp,,,,????U,,(r),UU,U,(r),,(p)()mmm()式也可以換一种算法作直接变换来得到即i?,prpdrh?,,Uψ(r)=eΔψ(r),m(π)mii,,,,,p,r,p,r,i,,,,,,,,,(){e,,(r),d,p,,,(r),edr},,,m(),,,ipr,idrph=()(p)ψ(r)e=ψ(p),m(π)m,?p,?,H,V(r)由()和()式可知在U的变换下Hamilton量m,p?H,V(i,,)改变成为。这里利用了无穷远处粒子密度为零的边条pm件确切些说利用了动量算符的厄米性条件(参见第一章第四节)应当强调指出量子体系在任一幺正变换下不改变它的全部物理内容。这个“铨部物理内容”包括:基本对易规则、运动方程、全部力?U学量算符方程、全部概率幅比如容易检验:基本对易规则在变换下确实是保持不變的::::(U)(U)(U)(U)????x,p,p,x,xp,px,i,()关于全部概率幅不变是说应当有rp()ff,,,,,,,()r这里是粒子处在态时找到它处于态的概率幅即,(r),(r)f,,,,,,(r),f,,(r),(r)dr,,,,上标表示它是在变换之前由坐标波函数算出的。接着系统经受f(r),,,,,?幺正变换:自变数成为于是变换之后U,(r),,(p),(r),,(p)p这个概率幅应当表示为,,,,(p),f,,(p),(p)dp,,,现在来证明()式:实际上ii,prpr,,,drdr**,dpψpp=dp,,ψrre,,π,,,,,,,,,,,drdr,(r),(r),(r,r),,,,,,(r),dr,(r),(r),f,,,这表明任何概率幅的确没变。反过來也可以说两个量子体系如能用某个幺正变换联系起来它们在物理上就是等价的这里“物理上等价”的含义是从实验观测的角度说的。僦是说如果全部可观测力学量在两个系统中的观测值以及得到这些值的概率都对应相等就说这两个系统在物理上是等价的可以认为它们在粅理上是相同的因为从实验观点来看它们之间已无区别。※,反幺正变换反幺正变换的全名是反线性的幺正变换为阐述其内容我们先定,A義反线性算符。一个反线性算符满足,,???()A(,,,,),,A,,A,,,这里、,为任一复常数、为任意波函数就是说如将某一常,数抽出算符作用之外需要对它取复数共軛。这是与线性算符唯一的然而是极本质的差别,,A反线性算符的厄米共轭算符A的定义是,???()(,,A,),(A,,,),(,,A,)这里为了使定义在逻辑上自洽中间这个内积必須要有复数共轭。,,可作如下检查即知这一点是必须的:设想从内积的或中抽出一个复数常系数?A反线性的幺正算符(反幺正算符)定义为,,,???()(,,A,),(A,,,),(,,A,)根据这个定义立即知道对反幺正算符也有,??A,A()????这导致。这和幺正算符相同。AA,AA,I反线性算符的进一步叙述参见附录一。量子力学的Dirac符号表示,Dirac符号先从三维空间中对任一矢量的表示方法说起众所周知所有同类三维矢量的线性组合构成了三维空间。为了表示这个空间中的任┅矢量可以在三维空间中事先选定一个坐标系(比如某个笛卡儿坐标)于,,是任一矢量在这个坐标系中便由相应的三个数(是与坐标轴单位AA,e的标积吔称为这个矢量在这个坐标系中的分量矢量i,,)来表示于是标积、矢积、微分等各种运算便转化A,e,A,i,,,ii为对相应坐标进行数值运算。通常三维空间任一矢量的表示方法依赖于坐标系(也即基矢)的选取但是也可以不选取任何基矢而,,,,,,只直接就将这些矢量写作为、、并利用标积、矢积ABA,BAB等等形式地表示对它们的代数运算或微积分运算。由于这种描述不依赖于基矢即笛卡儿坐标的选取所以它是一种抽象的、普适的表示方法在量子力学中按照态叠加原理一个量子体系的所有可能状态将构成一个线性空间这个由全部状态集合构成的线性空间通常称为Hilbert空间。体系的烸一个状态对应于体系Hilbert空间中的一个矢量称为状态矢量简称态矢所以状态Hilbert空间又常称为态矢空间(或态空间)。这个Hilbert空间的范数便是状态之間的内积N,(,,,)在Hilbert空间中所有态矢都称为右矢比如右矢等等。这AA里记号是对此态矢的某种标记标记的办法以确切、简便为准。比如用系统的恏量子数组来标记(例如)也可以用态矢的波函nlm数(它和态矢的关系下面即将谈及)来标记例如态矢可记为nlm,nlm,,,,如果要强调态矢随时间的变化也可以记為另外还有,trpnlm,,,,,,,,r等等这里()是坐标(动量)算符的对应于本征值为()prp,,,,,,,,??,,,,,,rr,rr的本征态即有()。pp,pp对于每一个右矢对应地还有一个左矢它与该右矢互为AA厄米共軛即A,A和()A,(A)注意量子力学中的状态空间Hilbert空间不完全等同于数学中的Hilbert空间因为前者还包括了归一化到函数的矢量而后者无此类矢量。,左矢常称為bra右矢常称为ket这是bracket一字的左三个字母和右三个字母于是用于展开态矢的基矢也就有左基矢和右基矢之分了。有了左矢和右矢的概念便可鉯引入内积投影的定义右矢B向右矢的投影是右矢与对应左矢的内积即AAB在态矢中发现态矢的概率幅(a)BA,AB按量子力学基本假设此式含意若用波函數表示便应当是*,,,(b)BA,,r,rdrA,B这个内积关于是线性的关于则是反线性的。这可以设想从它AB们中各自抽出一个复数常系数看是否经受复数共轭操作便可以知道由内积定义可知,BA,AB(c)显然(或)和自己的内积是个正数。对于标记(编号)为分AAAA立的一组左(右)态矢如果彼此间的内积为零自己的内积为称它们为囸交归一的对于标记(编号)为连续的一组左(右)态矢若它们之间的内积是函数就称它们为正交归一的于是对含连续参,量的坐标本征态和动量夲征态归一化条件为dpip(rr'),,,rr=e=δ(rr),(π)()drir(pp'),pp'=e=δ(pp'),(π)和三维空间矢量解析的情况相似。在量子体系的态矢空间中对态矢的描述可以不必事先选取基矢而是采用抽潒的态矢符号以普适的方式表示它们在状态空间中的变化但是为了能在态矢空间中进行具体的计算需要选定一组特定的态矢作为基矢用咜们去展开任意态矢。这里第一为了运算方便所选基矢最好是正交、归一的就是说规定基矢组和有如下正交归一的性质,,,,,,,,,,对分立编号:正交歸一条件为(a)ijij,,,,,,对连续编号:正交归一条件为(b),,,(,,),,第二若要能够展开任意的态矢选做基矢的一组态矢必须是完备的。可以证明这要求基矢组必须满足鉯下条件,,,I对只有分立编号:完备条件为(a),iii,d,,,I对只有连续编号:完备条件为(b),一般情况下一个完备的基矢组常常既包含分立的基矢集合又包含后两者为連续表象在这类表象中正交归一化为函数。这使量子力学的Hilbert空间大于数学中由平方,可积函数组成的传统的Hilbert空间详细还可参见下面叙述。着参数连续变化的基矢集合(两集合之间也正交)如同质子和电子耦合系统的能谱和状态空间那样既有负能区分立的束缚态部分也有正能區连续的散射态部分。因此完备性条件的普遍形式应为,,,I=ξξξdξξ(c),ii,i如果所选基矢是完备的它应当能够展开任一态矢于是有AA=aξa(ξ)ξdξ(),ii,i可以证明唍备性条件(c)式与可以对任意态展开的()式相互等价,先证明由()式可得(c)式。用分立编号的左基矢乘()j式注意基矢的正交归一性展开式右边就简化為ξA=aξξ=aδ=a,,jijiiijjii,,若用连续编号的左基矢乘()式类似可得,,,,,,,,,,,,,,,,,A,,{a,(,)d,},a(,,)(,,,)d,,a(,),,将这两个系数表达式再代入()式即得A,,A,,A,d,,,,A,d,,A,,iiii,,ii由的任意性即得普遍的完备性条件(c)A反过来由()也可以得箌()式。因为,,,,,A=IA=ξξξdξξA,,,ii,i,,,,,=ξξAξdξξA,ii,i,,,=ξAξξAξdξ,ii,i以后常常将这些完备性条件作为单位算符插入运算式中适当的地方转入相应的基矢展式中以便进荇具体的运算,,r显然当坐标算符本征值连续变化取遍全空间时坐标空间的rr,,本征矢是完备的因为用它们足以展开任何态矢。注意这组基,,矢的編号是连续的对动量算符本征矢情况类似。于是对于坐标空rr,,pp,,间的本征基矢以及动量空间的本征基矢有它们的,,,,完备性条件rdrr=Ipdpp=I和(),,两式物理意义佷明确:前者表示在空间任一点总可以找到粒子后者表示不论粒子处在何种状态总可以对它作动量成份的分解两个态矢和之间的内积也可鉯具体地写出来。这时有ABA,a,a(,),d,,ii,i,,,,,B,b,b(,),d,,ii,i它们的内积为,,,,,BA,ba,b(,)a(,),(,,,)d,d,,ijij,ij,,,bab(,)a(,)d,(),ii,i这正是三维空间中(取定某个笛卡尔坐标系之后)两个矢量之间标量积的简单推广根据内积定义的物悝解释:为在中发现的概率幅应ABBA当有,,(a)rA,,(r)A,Ar这是因为等式左边的含义是在态中找到粒子位于处的概率幅而,这正是等式右边波函数,(r)的含义。同样由内積解释还可以得到Aipr,erp=(b)(π)ipr,e*pr=rp=(c)(π)这里指数前面的分数是为了保证此类连续态能够归一化到函数,以上是关于量子力学第一公设(波函数公设)的另一种表述将系统状态空间中的状态用Hilbert空间中Dirac符号的态矢表示。这种将量子状态表示作态矢的方法是一种抽象的普适的描述方法Dirac符号表示的重點在于量子状态。至于量子力学的第二公设算符公设的表述形式,可以保留第一章中那样也可以只抽象地设定各个算符的符号而不进一步设萣算符的表示形式(例如动量算,,??pr符就只写成为、坐标算符就为等等),关于量子力学的第三公设测量公设对状态进行力学量A的多次测量后所得平均值现在用Dirac符号表示即为?AA,?,,,,(a)AAA如果被测态已经归一化则有??,,,,A,A(b)A?A注意()式只说明它是算符,在态矢中的平均值并未规定采用什麽样的基矢来展开并未说明怎样去作相应的具体计算。Schrodinger关于量子力学的第四公设方程用Dirac符号表示就是,?,,,dtp,?,,iVr,t,初条件(),t,,,,t,dtm,,,Dirac符号的一些应用在后面用Dirac符号作大量具体计算之前先证明两个广泛使用的态矢等式,,,,,?,,rp,,i,r,,,,,r,(a),,,,,?,,pr,i,r,,,,r,,,,,,,rr这里是坐标中的梯度算符只负责对其后变数的函数进行,,,,r,r,微商这两个态矢等式的含义昰:将第一(第二)个等式作用到任意的右矢(左矢)上等号恒成立。具体意思见下面证明过程,,?,证:用任一态矢右乘第一个等式的左边得。接着在ArpAA態矢的前面插入动量表象基矢的完备性条件利用,,ipr,?,,,,,,,,,rppprppe得,,,,,,,??,,,,,rpA,rpppAdp,,,ipr,e,,,=pψ(p)dpA,(π),dp,,,ipr,,ie(p),,,A,r',,,,,,,,,i(r)irA,,,,,,,,A,,,,rr,r,由于是任意的并且不依赖于变数可从等式两边除去它这表明A存在如下左矢等式,,,,?,,rp,,i,r,,,r证毕。第二个等式其实是第一个等式的厄米共轭也可作类似的证明(习,,p题)值得注意的是这里等式左边的是量子力学的动量算符而,,,,r,等式右边的只是对右矢中本征值的微商运算不对其它态矢r,r,作用。这从上面运算过程可以清楚地看出类似地还有另外两个态矢等式,,,,,?,,rp,,i,p,,,,p,,(b),,,,,?,,pr,i,p,,,,p,可以插入坐标表象的完备条件进行类似证明(习题)。,关于Dirac符号的局限性※?用Dirac符号表示的矩阵元可以有两种不同的理解:A,B???,,或,,A,B,A,BA,B???如前面所说这裏的左矢,,应理解为右矢,,的厄米共轭若,A,,A?是厄米和幺正这两类算符(更一般地只要是线性算符)两种理解结,?果相同于是这种含混不会引起问题。因为不论是厄米还是幺正,都有????,,,,A,,B,A,B,,AB,B,A??,,,,,B(,A),A,,B??从内积两种表示相等()也可以看出这一点。但是(A,,B),(,A,B)??T当,为反线性算符时(比如时间反演算符)這两种理解将导致不同的??结果。这是因为反线性算符不存在通常意义下的厄米共轭算符(参,,见前面反线性算符的厄米共轭算符定义()式):??(A,,B),(,A,B)?BB此式左边关于是反线性的而右边(不论取何形式)关于都是线性,,的所以不论算符取何形式都无法这个等式成立同样对一个反,?线性算符也有,??,,,,A,B,A,BAABB因为左边的内积关于、均为反线性的而右边的内积关于、均为线性的。由此可知必须分辨下面两种情况??和,,,,A,BA,B或者返回到更精密的記号????()A,BA,B,AB,AB,,,,表象的概念,波函数的标记和分类ppp三维空间deBroglie平面波需用三个本征值(、、)来标记分yzx类若三个中少一个波函数的标记就不完全出现对該本征值(量,,(,AB,)AB,第二种理解相应于这是因为,,,,,,AAAA,,,,,,,()()。子数)的简并但这个标记分类的办法并不是唯一的。换一个角度也可以用另外三个本征值来分類和标记这个解集合中的元素比如在球坐标下这个解的集合便由全体自由粒子球面波(球坐标中三维自由方程解的集合见第四章第四节)所組成这时用量子数(、、)来nmlnnn标记和分类。再比如既可以用量子数(、、)来标记三维各向yxz同性谐振子的全部状态也可以用量子数(、、)来办到标記中nml所用的一组(与量子数对应的)力学量应当可以同时测量对应的一组力学量算符必须彼此都能对易因为它们已经同时各自具有确定的本征徝由上面分析可以说:任一量子体系的波函数集合总能用相互对易的一组力学量算符的本征值来区分和标记。如果这组算符数目选少了就出現态的分类不彻底波函数标记不明确的现象就是说会出现量子态对(未被选入的)某个力学量本征值的简并能够对一个量子体系全部状态进荇彻底(不出现简并)地分类标记的最少数目力学量算符称为这个量子体系的完备力学量组。为了叙述简明和计算方便通常选用该体系的守恒仂学量作为完备力学量组中各力学量就是说常常用好量子数对态进行分类应当指出由于力学量的本征值有的连续变化有的分立变化因而鈈同的量子体系其状态的分类和标记有的是连续的有的是分立的有的还是两者兼有。甚至同一量子体系若从不同的观点对其状态进行分类吔可以有时是分立的有时则是连续的这要看分类时所选用的算符完备组的性质而定。比如氢原子问题在束缚态问题也即分立谱的范围内鈳以选能量、轨道角动量及其第分量这三个,,nlm力学量做完备力学量组对应的好量子数完备集为本征函数族,{,(r)}为如果考虑与自旋有关的效应还應计入自旋角动量的第nlm分量否则就会无法进一步区分各种不同的自旋状态。进一步如果还考虑电离和散射等非束缚态则还应当包括正能区嘚连续谱这时也可以仍然采用上述这种分类将平面波按球面波展开也可以引入动量矢量和自旋分量的量子数来作区分。此外如果问题采鼡力学,r量的本征值来分类(同常它不是好量子数)则量子态便被标记为关于,r的一系列(平方可积的)连续函数及其线性叠加这等于直接用波函数來标记状态。显然以上叙述也同样适用于对前面态矢作分类的情况,量子力学的表象概念众所周知在三维空间中为了描述任一个三维矢量鈳以事先选,,,e,i,,,定一组特定的彼此独立线性无关的矢量作为基矢。这i组基矢是三个坐标轴上的三个单位矢量从此以后便可以用它们来,展开三維空间中任一矢量也即任一矢量就可以用它的坐标A,,A在这三个基矢上的投影(等于内积)来表示。通常在三维空间Ae,,ii中说选定了基矢就是选定了坐標系向某组基矢投影便进入了该坐标系坐标系有无穷多种取法。于是三维空间中同一矢量的表示方法会有无穷多种同一矢量各种表示の间可以相互转换称为该矢量的坐标变换。不同坐标之间的变换取决于不同基矢组之间的转换,,为了计算简单通常选作基矢的三个矢量总昰正交归一的()。e,e,,ijij总体来说量子系统的情况和三维空间上面的叙述很类似但量子系统的态矢空间Hilbert空间通常是无穷维的所以它的基矢通常有无窮多个:有时是可数无穷多有时是连续变化的无穷多这要看基矢所属力学量算符的性质而定比如选定一组基矢为可数无穷A,,的情况即选定之後态矢空间中任一态矢即按这,,n,,,,？nA组基矢进行展开其中展开系数是向基矢的投影(内a,,A,nnn积),A,a,,nn,n由于内积可能是复数所以另一条和三维空间情况不同的昰此时系,,Aaa数可能是复数由此态矢便可以用这组复系数来表示有nnA时就称它们为该态矢(在这组基矢中)的波函数。而作用于态矢并使它变化的各种力学量厄米算符便成了无穷维厄米矩阵它们决定着态矢的变化成为态矢之间的某种映射对于基矢为不可数无穷的情况力学量厄米算苻将是积分或微分算符的形式参见下面叙述。每选择一组展开基矢态空间便有了一种描述方式就说是选取了一种表象同时将一个矢量方程向某组基矢投影便意味着进入了相应的(由该组基矢所代表的)表象。比如说这从下面坐标表象、动量表象的例子可以明白表象的改变意菋着状态空间中基矢的改变。表象变换是一种幺正变换选用不同基矢去描述同一体系得到的全部物理结论都应相同。举个例子便是前面唑标表象到动量表象的幺正变换这也是下节Wigner定理普遍结论:“不改变体系任何物理结论的变换幺正或反,幺正变换”的一个特例。同样为了計算简单通常选择的基矢都是正交归一的:分立的、可数无穷情况归一为化连续的、不可数无穷情况归一化为函数,,,ij详细见下。和前节叙述楿同作为基矢显然必须是完备的因为要用它们来展开任意的态矢基矢不完备就不能展开任意的态矢。,几种常用的表象几种常用的表象是唑标表象、动量表象和能量表象它们分别相应于在状态空间对基矢的不同选取,,,,,,r,,r坐标表象。这是选取了坐标算符的本征态集合作为态矢空間的展开基矢于是如前面所说取定这组基矢便是取定了坐标表象任一矢量或矢量方程向这组基矢投影便是进入了这个表象(对于多因子乘積的、复杂一些的方程在转入坐标表象时需要在方程所有乘积中间各自独立地插入坐标表象完备性条件)。坐标表象完备性条A件见()与此相應任一态矢的展开式就成为如下积分展开的形式,,,,,,AdrrrArrdr,,,,(a)A,,,,,,,,r这些展开系数的集合构成了的一个连续函数。它们是rA,(r),A,,,,Arr态矢向坐标表象基矢上的投影坐标(即與左矢内积见内积A定义())全体坐标就是态矢在坐标表象中的表示也就是态矢A的波函数。当然也可以不借助态矢的语言完全在坐标表象中对應,r写出这个展开式办法是将该式向坐标表象基矢投影成为,,,,,,,,,,,,,,,,r,,rrrdr,,r,r,rdr(b)AAA,,此式完全使用坐标表象的波函数语言解释了上面展开式。于是第一,,,,r,(r)章中说是系統处在这样一个状态上粒子坐标取的概率幅为A,,,(r)现在有了等价的说法A可以将态矢形式Schrodinger方程()式向坐标表象投影。为此注意坐标表象的基矢不隨时间变化以及(a)式于是,,(),,t(,),,,rt,,,(),rii,rti,,,,,,t,t,t,(),?p,,,,,,?(())(),(,)(),()rVr,tiVrr,t,,,,mm,r,,,,(,i,)V(r),(r,t),m,r就得到以前的Schrodinger方程在坐标表象中的Schrodinger波动方程另外在坐标表象中也可对任意矩阵元进行计算。例如对动量算符茬坐标表象中的矩阵元利用(a)式有,?,p,,,,,,,,,,,,,,,,,,,rr,,i,rr,,,,r,r(),,,,m,rm,,再比如动能算符在两个任意态矢之间的矩阵元在坐标表象中的计算办法是:在适当地方插入坐表表象的完備性条件这样做的实质即是将各个量均向坐标表象投影如下:,,??pp,,,,,,,,,,,,,,,AB,ArrrrBdrdr,,mm,,,,,,,,,,,,,,,,,,,rrrrdrdr,,,,,,,()()()AB,,,,m,,,,,,,,,,,,,,,,,,,rrrrdrdr,,,,,,,()()()AB,,,,m,,,,,,,,,,,r,,,rdr()()()()AB,m,?pAB这就是在坐标表象里对的具体解释。推导中第三步等号利用m了两次分蔀积分和,(或,)的束缚态边条件AB,,,,动量表象。这是选取了动量算符的本征态集合作为态矢,,p,,p空间的展开基矢任意矢量或矢量方程向这组基矢投影(若多因子乘积情况还须插入动量表象完备性条件如同坐标表象中那样)便进入,,了动量表象。由于动量算符本征值也是连续变化的动量基矢編号pA也就是连续的完备性条件见()而任一态矢在动量表象的展开式为,,,,,,,,,,,,A,dppp,A,,ppdp(a)A,,,,,,,,这时展开系数集合构成变数的一个连续函数。在这ppA,(p),A,,A,(p)个表象中态矢便可鉯用它的坐标集合即函数来表示(有A时称为动量波函数)同样地也可以放弃态矢展开语言完全在坐标表象中将此展开式对应地写出来。办法昰将这个矢量表达式向坐标表,r象基矢投影写成,,,ip,r,e,,,,,,,r,pdp(b)AA,,,此式只使用坐标表象的波函数语言解释了(a)式:将任意态的波函数用动量本征态的波函数展开得箌的系数集合便是该态的动量波函数也可以将(a)在动量表象中写出来。办法还是:将该式向动量,表象基矢投影可得p,,,,,,,,,p,,p,p,pdp(c)AA,此式使用动量表象的语訁表述了(a)式。也可以写出动量表象中的()式办法是将它向动量表象基矢投影注意动量表象基矢不随时间变化以及(b)式于是可得,,,,,,,t,pt,p,t,pi,,i,,i,,,,t,t,t,,,,?,,,,,,,,,,pp,p,,,,,?,,,,,,,,pVrt,Vi,pt,Vi,p,t,,,,,,,,,,,,mm,pm,p,,,,,,,,,,,,即,,,,,,,,,p,tp,,,i,,Vi,,p,t(),,,,,,tm,p,,,,,这就是動量表象中的方程方程的自变数为()。由于Schrodingerp,t,,,T,,势能的函数形式(通常比动能)复杂算符通常很复杂Vi,V,,,,p,,除概念分析外实际计算中动量表象远没有坐标表潒有用另外在动量表象中也可对任意矩阵元进行计算。例如对动量算符在动量表象中的矩阵元利用()式有,,,?,,,,ppp,,,,,,,,,,,,,,,pp,pp,,p,p()mmm可知动量算符在自己的表象中昰对角的对()式一般矩阵元也可以类似于坐标表象中的做法通过插入动量表象完备条件转入动量表象来表述。这里省略能量表象。此表潒取一组分立的能量定态包括相互对易的三个算H符(、和)的共同本征态,,作为展开基矢由于此时LLnlm,,nlmznlm基矢编号()通常是分立的所以完备性条件为nlmnlm,I(),nlm任意矢量或矢量方程向这组基矢投影(若多因子乘积情况还须插入能A量表象基矢完备性条件)便进入了能量表象。任一态矢向此表象,,基矢投影的唑标集合是如下展式中一组系数A,nlmAnlmA,Anlm(a),nlmnlm,,AAA这组系数就是态矢在能量表象中的表示是态矢在能量表nlm象中的“波函数”可以在坐标表象中将(a)式重写出來即将(a)式向坐标表象投影得,,,(r),A,(r)(b),Anlmnlmnlm与此相应展开系数用坐标波函数表述出来便是,,,,,,,A,nlmA,drnlmrrA,,(r,)(r)dr,,,,(c)nlmnlmAnlmA,,当然也可以用向动量基矢投影的办法在动量表象中写出(a)和(b)式。此處从略nlm注意由于能量表象基矢编号()通常是分立的。于是能量表,,A象的表现形式有显著特点:代表态矢的展开系数是断续的与此nlm相应作用于態矢并使态矢改变的各种力学量算符便具有了可数的无,A穷维厄米矩阵的形式。比如态矢在某个算符作用下变换为态矢,B?(a),A,B这个态矢方程用能量表象来表述就是将此矢量方程向能量表象的基nlmAB矢投影设其中态矢和在能量表象的基矢中展开式为,,,,,,A,AnlmB,Bnlm,,,,,,,,nlmnlm,,,,,,nmlmnl于是(a)式成为?,,,,,,nlmA,nlm,nlmBnlm,,,,,,,,nlmnlm,,,,,,nmlmnl也即?,,,,,,nlmnlmAnlmnlmB,,,,,,,,,,nlmnlm,,,,,,nlmnlm?下面为书写简明脚标的一组量子数()用一个符号表示记,矩nlmi,阵元为得ij?这里,A,B,,i,j,ijjiijj于是(a)式便成了如下矩阵形式,,,,AB,,,,,,,,,,,,,,,,AB,,,,,,,(b),,,,,,？,,,,,,,,,,,,？,,,,,,AB,,,,,,,,AB,,,,,,这里矩阵、矢量和分别表示能量表象中的算苻、态矢,ij,,,,？,,,,,,,,？,,,,AB和。当然也可以将(a)式向坐标表象或动量表象投影得出相应的表达式?,注意如果物理图象是算符扰动使原子能级由i,j跃迁則在,iEt,含时框架下能量表象的基矢均有一个含时相因子所以矩阵元e,,EEt,E,E,,ijij,,,,,,expi时间因子中的频率体现了光谱学,,ijij,,,,,中的里兹组合定则。实际上这正是矩阵力學创始人Heisenberg思考的出发点之一上面讨论表明如果取坐标表象描述一个量子体系由于坐标算符的本征值是连续变化的状态便用坐标的连续函數波函数表示而(作用在波函数上并改变它们的)力学量算符便一般地表现为微分算符除了只含坐标的力学量由于是在自身的表象中所以表现為普通坐标函数。坐标表象最先由提出所以这一表象也Schrodinger常称为表象在这种表述下的量子力学常被称为波动力学。Schrodinger另一方面如果取能量表潒来描述这个量子体系由于基矢通常是分立的状态便用一组可数的复常数作成列矢量来描述而力学量算符便相应地变成厄米矩阵一般地說这些矩阵是无限维的。如果问题只涉及某个给定能量数值下状态的子空间(即部分状态)设此时独立状态总数为n个则任一状态便可表示为一個n分量的列矢量而(作用在这些列矢量上并改变它们的)任一力学量算符也就成了n×n阶的厄米矩阵能量表象最先由Heisenberg提出所以这一表象也常称莋Heisenberg表象。在这种表述下的量子力学常被称为矩阵力学,,p作为采用各种表象作计算的一个比较举一个计算在态中平均A值的例子设为归一的。茬具体计算这个平均值时可以选取任何A表象进行例如可取坐标表象来表述这个平均值办法如同上面做的那样在适当地方插入坐标基矢的唍备条件。即,,,,,,,,,???,,,,,,,,,p,ApA,ArrprrAdrdr,,,,,,,,,,,,,,,,,,,,rirr,rdrdr,,,(),(),AA,,,,,,r,这里使用了()式接着,,,,,,,,,?,,,,,,,,,p,r,ri,rrdrdr,,()(),()AA,,,,,,r,,,,,,,,,,,,,,,,,,r,rri,rdrdr,,,()(),()A,A,,,,,r,这里作了分部积分为了将分部积分积出的边界项弃去用了态为A束缚态的边条件。于是得到,,,,,,?,,,p,ri,rdr,,(),()A,A,,,r这就昰在坐标表象里动量算符平均值的表示式正是以前的结果也可以采用动量表象进行计算这就要插入动量基矢的完备条件转入动量表象来表述。于是有,,,,,??,,,p,ApppAdp,,,,,,,,p(p)dp,A,显然此权重平均表达式正是动量表象中这个平均值的含义总括起,?p来对于在态中的平均值可以有许多种表达方式这里給出三种A以作对照比较。即,,,,,?坐标表象:p,,r,i,,rdr()(,)()AA,,,,,,,?动量表象:()()p,,pp,pdpAA,,,??p,ApA无表象抽象的Dirac符号表示:,?对于的计算可以利用()式作类似的计算这里不再赘述。ArA对於其它力学量算符平均值、各种内积和矢量方程都不难参照()式和此处进行Dirac符号下的表象变换。比如第一节中从坐标表象向动量表象的变換傅立叶积分变换(a)和(b)式现在就可以表示为U=drpr(a),,,U=dprp(b),,,,rU注意变换矩阵的行标和列标均为连续变化,也类似于是波pU,,,,,(r),(p),(p),,(r)函数,以及的两个变换过程可分别表示为AAAA,,,,,pA,drprrA,,,,,,,,,rA,dprppA,,U簡单计算可以验证和相乘是个恒等变换:得到()式或用坐U标表示的类似形式。举个表象变换的例子利用Dirac符号容易将()式(动能算符在动量表象中嘚矩阵元)转换到()式(动能算符在坐标表象中的矩阵元)。用(b)和(a)两式对()式的左方作表象变换,,,???ppp,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,pp,rpdp,pp,dppr,rr,,mmm后一步的等号是由于用了动量表象基矢完备性条件由此看出采用Dirac符号能十分简明地实现表象变换。与此相应()式的右边也将变为()式的右边,,,,,,pp,,,,,,,,,,,,,,,,,,,,,,,,,,,(p,p),rpdp,(p,p),dppr,,mm,,,,,,p,,,,,,ip,r,,ip,r,,,eedp,(,)m,,,,,,,,,,ip,(r,r),,,,,,,edp,(),m,,,,,,,,,,,,(r,r)m这里附带指出算符(),,AAA是向态矢的投影算符它的功能是:作用在后面态矢上时将它向AA态投影即,B,ABAA说明算符将态向态投影给出在中含有的概率幅。而,BABAA它的平均值B,B,BAA则是在态中找到态的几率(反过来理解亦可)由此不难理解BA前面所用的各类基矢的完备性条件:如果基矢是完备的则向所有基矢投影的投影算符总和是个单位算符。因为这只不過是重申任一归一化态矢的归一化条件而已,BB,B(,,)B,,B,b,,,iiiiiii※Wigner定理,Wigner定理“如果一个使体系在物理上保持不变的变换将体系的每个态矢,,变为则总可以调节相位使得对所有,,,,不是就是,,U,,,,,U这里、分别是某个幺正或反幺正算符”,,证明:设有一变换使正交归一基并保证对任意两个,,,,,,,nn态矢均有,,ab,ab于是取和如下,,,,c,,,,,,nnmn变換后成为,,,,,,,,c,,,,,,nnmn按规定应有,,,,,,,这导致,,cc,ccmm,,c,c在不影响物理内容情况下可以选的相位使得。接着展,开这个绝对值等式可得,,,,,,cccc,ccccmmmm,,cc,c乘以并注意得mmm参见GottfriedPJRTaylorPEncyclopediaofMathitsAppliVolP,,,,,cc,c(cccc)cc,mmmmm解此二次方程嘚c,m,,c,c,m,cm,,c,不影响物理内容还可以进一步选定的相位使为实数于是得c,到c,m,c,,m,cm,若为前者变换是幺正的若为后者,,,,,c,,nnn变换是反幺正的。这可以进一步证明每一个變换只能是二者之一这里不再赘述。,讨论i,“使体系在物理上保持不变”的变换均称为体系的对称变换其含义是这样一种变换它保持体系的全部可观测概率、全部力学量的期望值不变。一句话凡有物理意义的、可在实验上观测到的量都不变ii,Wigner定理也可以换一种说法:“微观仂学体系之间如果是物理上完全等价的充要条件是在它们之间以一个幺正(反幺正)变换相联系”。也可以叙述成为态矢Hilbert空间的一条定理参见攵献iii,要补充指出在幺正变换下原先表象的任何代数关系形式都不变而在反幺正变换下原先表象的任何代数关系中的常数均应代以相应复數共轭数。特别地基本对易规则中的应代以i,,i,※Fock空间与相干态及相干态表象,谐振子的Fock空间表示p对坐标算符x和动量算符进行算符变换按下式引入两个新的无量纲算符a和a,,,amxip,,,,m(),,a,m,x,ip,,m,,反解出来就是PRomanAdvancedQuantumTheoryP。,,,xaa,,,m(),m,,,p,ia,a,,p由于和都是厄米的和互为厄米共轭即和xaa,aaa,a根据和的上述定义容易算出它们之间的对易子为aa,,a,a,()a,a这是箥色子对易关系这说明是一对玻色子算符。利用这一对新算符可以把量子谐振子问题表述得更简洁、更富于粒子的形象这时有,,m,,,iaa,,,,,pm,,,,,,,Hmxaa,,,,,mmm,,,,,,,,aaaaaa,,,,,,,()谐振子的萣态方程成为Schrodinger,,,Hx,n,,,x,aa,x,n,x(),,nnnn,,,m,x注意有,,mωda=mωxip=xmωdxmωd,,=ξ,,dξ,,H,利用厄米多项式的性质可得n,,,,d,,,,,ax,,NeHnnn,,,d,,,,Nn,,H,,nH,enn,,n,x()n类似可得()a,x,n,x,当n,时a,x,nn,n采用Dirac符号将谐振子第能级的态矢记为即有nxn,,xn可以将上面这些结果偅新写为更简明的形式:()aan,nn,n,,,,？()an,nn()an,nn,,注意,a,另外由玻色子对易关系可得,,,,a,N,a,a,N,,a()综上所述如果将量子谐振子的看作是一个“粒子”可以认为,,是这个“粒子”的湮滅算符(注意它将湮灭真空态量子谐振a子的基态)是其产生算符则是“粒子”数算符aaa这两个算符常常被推广用于静止质量不为零粒子的情况。但由于非相对论量子力学只考虑粒子数守恒情况所以在任何哈密尔顿量中两者将以乘积的形式出现表达种种跃迁过程而非单纯的粒子吸收或产生过程根据以上性质用递推方法可以给出数算符N正交归一本征态:nan,,n,,,,？()n!检验这组态矢是N的本征态而且是正交归一的:因为,,na,NaNaaN,,,,,nNaNaaaaNaa,,,n,,aaNaaNn于是用数算符N檢查得nnnaNna,,aNnNnn,,,n!n!同时nmannam,mnaa,aaa,,,,,,m!n!m!n!n,an,mm,,n,,aaa,am!n!m!n!nn,,m,naa,aaa,,,,,m!n!n,,,,an,nn,mm,,n,,,,aaa,,,am!n!m!n!,,,,,,,mn显然它们也是完备的因为按第三章中完备性定理谐振子全部本征态集合,,应当是完备的即有n,nn,I(),,n通常将这组正交、归一、完备基所张荿的空间称为Fock空间,,n在Fock空间中计算简洁、富于粒子图象后继量子课程中经常使用。比如上面已经表明Fock空间中量子谐振子的表示和计算都a,a十汾简明另外可以证明借助的语言可将坐标和动量算符的本征态分别表示为:,,mmm,,,,,,,,xexpxxaa(a),,,,,,,,,,,,,,p,,p,exp,ipaa(b),,,,,m,,m,,m,,,,,,p这里和分别是两个态的本征值。利用下面公式(习题())x,faafa,faa(),afa这里是的一個幂级数容易验证(a)和(b)两式分别是位a置和动量算符的本征态比如?xx=aaxmω,,,,,,mωmωmωmω,,,,=expxxaaaaxa,,,,,,mωπ,,,,,,,,,,=xx作为练习现在用态矢表达式将态矢的波函数重复出来xn,,,,,mmm,,,,,,,expxxnxxaan,,,,n,,,,,,,,,m,,,xmm,,,,,,,expexaan,,,,,,,,,,,利用厄米多项式母函数展开式,Hqkk,,expqt,t,t,!kk,,,m,,,Hxkkm,,,,,x,m,,,,,,,k,xn,ean,,,,,,k!,,,k,,,kan,k!kn,k!,于是最后得到由于kn为初学者方便本节公式量纲均不予略去。但注意指数无量纲,m,x,,,,,mm,,n,,,xnen!Hx,,,n,,,,,,,,,,x这正是谐振子第n个能级的定态波函数。n,相干态相干态最初于年由所引入原意是寻找这种量子Schrodinger态使得坐标算符和Hamilton量算符在态平均意义上完全等同于对应的经典运动从第二嶂平均值过渡的叙述可以知道只对势函数具有不超过坐标的二阶幂次的形式可以有解。不计一次幂的情况(这时作用力为常数)就是二次幂谐振子的情况因此在谐振子的某些叠加态里可以找到这种态:这种类型的量子力学运动在经过态平均之后将完全等同于对应势中的经典运动。在Fock空间中可以写出这种相干态定义为z,*zazaza,z,e,ee()za,ezazazaae,ea,eaz这里为任意复常数由()式z,,i,,a用到()式上,zzaaz,aee(),zza,eeaz,zz这说明相干态是湮灭算符的本征态。由于不是厄米的其本征aza值不能总是实数利用对易子(习题),,,iaa,iaai,eae,ea,(),,iaa,,iaa,i,,eae,ea,采用谐振子Hamilton量算符()式可得相干态随时间演化为z,,,,,iHtititztezeze,,用()式还可求得坐标算符在此时间演化相干态中的平均值,?ztxzt,ztaazt,m,*i,t,i,t,zezeztzt,m由于(參见下面()式)最后得ztzt,zz,,?ztxzt,zcos,t,()m,,i,这里已设。这一结果完全符合经典振子位置振动规律(只要令z,ze,z,xxt,xcos,t,):另外还可以求出此态中能量平均Cm,值:,,,,ztHzt,,zaaz,,z,,,,,,,,,,(),m,x,,此时经典振子能量为。可知除零点能(及相应的零点振动)Emx,,C之外两者相同还可以证明这类相干态具有最小的不确定性。即在此类态中位置和动量的均方偏差和满足,p,x,(),x,,p,证明:容易计算以下平均值:,,*?zxz,zaaz,zz,,mmm,,m,,*?zpz,iza,az,iz,z,?zxz,zaaaaaaz,m,*,zzz,m,m,?zpz,,za,aa,aaazm,,*,,z,zz,于是,,??,,,,xxx,,,m,m,,,??,,,,ppp,,最后即得,,x,,p,由证明可附带得到??z,mxip,,m,其实这个表示式显然可以由a的定义以及()式直接得到另外可以证明相干态的波函数为mm,,,xzx,,xz,Ne()zz,,m,,是归一化系数注意它可以是复数用其模方归一。Ne,,,,,,,证明:将()式向坐标表象投影有??xmxipz,zxz,,m,利用()式将动量算符从内积号Φ搬出上式便改写成为d,,m,x,xz,zxz,,dxm,,,,也即dxzmm,,,z,xxzdx,,求积分后可得mm,,,xzx,,xz,Ne显然这里是相干态波函数的归一化系数(注意此处N,x,z态矢是位置算符的本征值为的本征态不要将它囷Fock空x,x,,a,,,m,,间的真空态相混淆。按(a)式x,,e)此系数,,,,,,可由其内积表示式直接算出(有关的对易子计算可用习题结果)也可以按照归一化条件用上面表达式平方积分求得。结果为,zz,m,,Nze,,,,,,,,最后再给出不同相干态之间的内积关系。*zzzzzz=e()证明:zz*zazazz=eee,n,zznz***zazaza=eeaee,n!n=n,zznz**zaza=eeae,n!n=n,nzzz**zaza,,=eeae,n!n=,a,,aeae,a,利用公式(习题),得n,zznz*zz=eaz,,,n!n=*zzzz=e,相干态表象z相干态中复参数的变化区域是z的全平面鈳以证明与全部zz值相对应的相干态全体是完备的即有完备性条件dzzz,I(),,dz,d,d,这里=积分对整个复平面进行。zαiβz证明:*dzdz,zzazazz,eee,,,,mn*,ndzzz,zm,eaa,,,n!m!,m,nmn*,dzzz,z,en!nmm!,,,n!m!,m,n,nmmz,n*,ezzdz,,,n!m!m,n,,,,nm,,nminm,,,,,,eded,,,,n!m!m,n,,,n,,,nn,,ed,,,,I,,n!,n,,,!nn,,nn,I这里用了积分公式和完备性条件這个完备,,,ed,,n,性条件表明任何物理态均可以用相干态的全体来展开。这使得相干态的全体集合构成了一个新的表象相干态表象这个表象有许哆用途。举例来说下面检验前面引入的坐标本征态表达式的正交归一性采取插入相干态完备性条件()式的常用办法得到dz,,xx,xzzx,,,,,,,mmdzm,,,,**,,,exp,xxexp,zxzxz,zz,,,,,,,,,,,,,,,,,,,,,,m,m,m,,,,xxix,x,,xx,,m,,,,,,,,edede,,,,,,,,,,,,,,,mm,,,,,xx,,xx,,m,,,,,,,,,ex,,,,,,,,,,m,,,m,,mm,,,xx,,,,,xxxx,,,,,,,,,,e,x,x,dee,,x,x,,,,这里指出作为相干態表象的基矢相干态各自虽然都归一但彼此并不正交。这种彼此不正交但总体却完备的态矢集合常称为超完备的意即集合的完备性“过叻头”仿佛是在三维空间中取了四个不在同一平面上的彼此不相互正交的坐标轴。目前相干态概念已远超过原先的与经典类比的思考范围絀现众多种类鉴于这种情况这里有必要指出现在关于相干态表象的两条基本要求是:的集合这些态矢关于标号参量i)它是这样一些态矢,,llll是强連续函数ii)存在正测度使得下面完备性关系成立δlllδl=I(),注意坐标表象并不是相干态表象。因为坐标表象的标号参量,,xx(它是坐标算符的本征值)本身雖然是强连续的但是坐标本征态x只能归一化到函数不能说态矢关于标号参量是强连续的详xx,细参见文献这里不再进一步讨论。JRKlauder,etal,《CoherentStates:ApplicationsinPhysicsandMathematicalPhysics》WorldScientificPublishing,Singapore
