量子力学教程(第二版)(精)

量子力学教程(第二版)3.3共同本征函数引入下面我们普遍地分析此问题.当体系处于力学量的本征态时,对其测量,可得一个确定值,而不会出现涨落.但在其本征态下去测量另一个力学量时,却不一定得到一个确定值.ˆAˆB分析下列积分不等式其中,为体系的任意一个波函数,为任意实参数.2ˆˆid0IAB3.3.1不确定度关系的严格证明ˆAˆ,B设有两个任意的力学量和量子力学教程(第二版)3.3共同本征函数ˆˆˆˆ,/iCABC引进厄米算符222IACB222222/2/40ACABCA则因为与为厄米算符，所以ˆAˆBˆˆˆˆi,iIABAB2ˆˆˆˆˆˆˆˆ,i,i,,AAABBABB222ˆˆˆˆ,i,,,AABB222/40BCA2/2CA,则得C为实，不妨取量子力学教程(第二版)3.3共同本征函数2221,4ABC或表成2211ˆˆ,22ABCAB即1与为厄米算符,与又均为实数,与也是厄米的.ˆAˆBABˆˆAAAˆˆBBB在上式中，让ˆˆ,AAˆˆ,BB则(1)式仍成立.再考虑到就可得出ˆˆˆˆ,,,ABAB221ˆˆˆˆ,2ABAB量子力学教程(第二版)3.3共同本征函数1ˆˆˆˆ,2ABAB或简记为(2)上式就是任意两个力学量与在任意量子态下的涨落必须满足的关系式,即Heisenberg的不确定度关系(uncertaintyrelation)的普遍表达式.AB量子力学教程(第二版)3.3共同本征函数能是例外),或者说他们不能有共同本征态.以找出它们的共同本征态.由(2)式可以看出,若两个力学量与不AB对易,则一般说来与不能同时为零,即AB与不能同时测定.(但的特殊态可ˆBˆAˆˆ,0AB反之,若两个厄米算符与对易,则可以AB找出这样的态,使与同时满足,即可0B0A量子力学教程(第二版)3.3共同本征函数坐标的共同本征态,即函数,,xyzrδ0000δxyzrrr000δδδxxyyzz000000,,,,,xyzxyz实0r相应本征值为例如量子力学教程(第二版)3.3共同本征函数采用球坐标,角动量的平方算符表示为2222211sinsinsinl2221sinsinsinzl3.3.2的共同本征态,球谐函数2,zll由于角动量的三个分量不对易,一般无共同本征态.分量(例如)的共同本征态.zl2,0(,,)lxyzl2l,可以找出但由于与任何一个量子力学教程(第二版)3.3共同本征函数考虑到的本征函数可以同时也取为的本征态2,0,zll2lzli1e,2mm0,1,2,m22Y,Y,l其中,是的本征值(无量纲),待定.22l并代入本征方程Ym,的本征函数已分离变量,即令2l此时,量子力学教程(第二版)3.3共同本征函数化简本征方程,得221ddsin0,sinddsinm0cos(1),令则222dd10dd1m22222dd120dd1m或这就是连带Legendre方程.量子力学教程(第二版)3.3共同本征函数在区域中,微分方程有两个正则奇点,其余各点均为常点.11,时,方程有一个多项式解(另一解为无穷级数),即连带Legendre多项式0,1,2,,l1,ll可以证明,只当,Pmlml1它在区域中是有界的,是物理上可接受的解.量子力学教程(第二版)3.3共同本征函数利用正交归一性公式11!2dδ21!PPmmlllllmllm21!1cos2!Pmmlmlllmlm,1,,1,mllll0sindδlmlmll满足定义一个归一化的部分的波函数(实)量子力学教程(第二版)3.3共同本征函数0,1,2,,l,1,,1,mllll2*,00dsindY,Y,δδlmlmllmmi!21Y,1cose4!Pmmmlmllmllm所以,的正交归一的共同本征函数表示为2,zllYY,zlmlmlm22Y1Y,lmlmlllYlm为球谐函数,它们满足量子力学教程(第二版)3.3共同本征函数在上面的式子中,和的本征值都是量子化的.2lzl对于给定,的本征函数是不确定的,因为共有个简并态.就是用的本征值来确定这些简并态.,1,,1,,mlllll21lYlm2lzl轨道角动量量子数磁量子数ml量子力学教程(第二版)3.3共同本征函数3.3.3对易力学量完全集(CSCO)它们的共同本征态记为,设有一组彼此独立而且互相对易的厄米算符12ˆˆˆ(,,),AAA表示一组完备的量子数.设给定一组量子数之后,就能够完全确定体系的唯一一个可能状态,则我们称12ˆˆ(,,)AA构成体系的一组对易可观测量完全集(completesetofcommutingObservables,简记为CSCO),在中文教材中,习惯称为对易力学量完全集,或简称为力学量完全集.对易力学量完全集的概念与体系的一个量子态的制备密切相关.量子力学教程(第二版)3.3共同本征函数按照态叠加原理,体系的任何一个状态均可用来展开a利用的正交归一性,上式中的展开系数(,)a可确切定出.2a表示在态下,测量力学量A得到A值的概率.这是波函数的统计诠释的最一般的表述.(这里假定量子数,或力学量,A不连续变化.若连续变化,则,d而相应的展开系数的模方代表概率密度.例如,坐标表象和动量表象的展开,即属此情况.)量子力学教程(第二版)3.3共同本征函数如体系的Hamilton量不显含时间(/0),tHt则H为守恒量.在此情况下,如对易力学量完全集中包含有体系的Hamilton量,则完全集中各力学量都是守恒量,这种完全集又称为对易守恒量完全集(acompletesetofcommutingconservedobservables,简记为CSCCO.)包括H在内的守恒量完全集的共同本征态,当然是定态,所相应的量子数都称为好量子数.在这种展开中,(无论ψ是什么态,定态或非定态),2a是不随时间改变的.量子力学教程(第二版)3.3共同本征函数关于CSCO,再做几点说明:(1)CSCO是限于最小集合,即从集合中抽出任何一个可观测量后,就不再构成体系的CSCO.所以要求CSCO中各观测量是函数独立的.(2)一个给定体系的CSCO中,可观测量的数目一般等于体系自由度的数目,但也可以大于体系自由度的数目.(3)一个给定体系往往可以找到多个CSCO,或CSCCO.在处理具体问题时,应视其侧重点来进行选择.一个CSCCO的成员的选择,涉及体系的对称性.量子力学教程(第二版)3.3共同本征函数体系的量子态用一组彼此对易的力学量完全集的共同本征函数来展开,在数学上涉及完备性问题.这是一个颇为复杂的问题.李政道曾经给出关于本征态的完备性的如下重要的定理.定理:设ˆH为体系的一个厄米算符,对于体系的任一态ˆ,(,)/(,)H有下界(即总是大于某一个固定的数c),但无上界,则ˆH的本征态的集合,构成体系的态空间中的一个完备集,即体系的任何一个量子态都可以用这一组本征态完全集来展开.量子力学教程(第二版)3.3共同本征函数这里有两点值得提到:(a)自然界中真实存在的物理体系的Hamilton算符ˆH都应为厄米算符(保证所有能量本征值为实),并且应有下界(能量无下界是不合理的,在自然界中未发现这种情况).因此,体系的任一量子态总可以放心地用包含ˆH在内的一个CSCCO的共同本征态完全集来展开.(b)在ˆH本征值有简并的情况下,对于给定能量本征值,本征态尚未完全确定,此时需要用包含Hamilton量在内的一个CSCCO,根据他们的本征值把本征态完全确定下来,以便于对任何量子态进行确切的展开.量子力学教程(第二版)3.3共同本征函数3.3.4量子力学中力学量用厄米算符表达与Schrödinger方程是量子力学的一个基本假定一样,量子体系的可观测量(力学量)用一个线性厄米算符来描述,也是量子力学的一个基本假定,它们的正确性应该由实验来判定.“量子力学中力学量用相应的线性厄米算符来表达”,其含义是多方面的:量子力学教程(第二版)3.3共同本征函数(1)在给定状态ψ之下,力学量A的平均值A由下式确定:ˆ(,)/(,)AA(2)在实验上观测某力学量A,它的可能取值A就是算符ˆA的某一个本征值.由于力学量观测值总是实数,所以要求相应的算符必为厄米算符.(3)力学量之间关系也通过相应的算符之间的关系反映出来.例如,两个力学量A与B,在一般情况下,可以同时具有确定的观测值的必要条件为ˆˆ,0.AB量子力学教程(第二版)3.3共同本征函数ˆˆ[,]0,AB反之,若则一般说来,力学量A与B不能同时具有确定的观测值．特别是对于H不显含t的体系,一个力学量A是否是守恒量,可以根据ˆA与ˆH是否对易来判断.