量子力学力学量用算符表达.ppt

《量子力学力学量用算符表达.ppt》由会员分享，可在线阅读，更多相关《量子力学力学量用算符表达.ppt（69页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。

1、第第 3 章章力学量用算符表达力学量用算符表达1量子力学中的算符量子力学中的算符,表示对波函数表示对波函数(量子态量子态)的一的一种运算种运算.例如例如 讨论讨论量子力学中算符的一般性质量子力学中算符的一般性质:(a)线性算符线性算符称为线性算符，称为线性算符，凡满足下列规则的算符凡满足下列规则的算符,A3.1 算符的运算规则算符的运算规则2量子力学中的算符并不都是线性算符量子力学中的算符并不都是线性算符(例如复例如复共轭共轭),但但刻画可观测量的算符都是线性算符刻画可观测量的算符都是线性算符.为单位算符为单位算符与与 两个算符相等两个算符相等 其中其中,是任一波函数是任一波函数.注注意意其中

2、其中 和和 是是任意任意两个波函数，两个波函数，与与 是两是两个任意常数（一般为复数）个任意常数（一般为复数）.例如例如 就就是线性算符是线性算符.3(b)算符之和算符之和对于任意波函数对于任意波函数 ,有有显然显然,算符的求和满足交换律和结合律算符的求和满足交换律和结合律:所以所以,两个线性算符之和仍为线性算符两个线性算符之和仍为线性算符.4(c)算符之积算符之积算符算符 与与 之积之积,记为记为 ,定义为定义为 任意任意.一般说来一般说来,算符之积不满足交换律算符之积不满足交换律,即即这是算符与通常数的运算规则的唯一不同之处这是算符与通常数的运算规则的唯一不同之处!5由下列关系式由下列关系

3、式:概括概括量子力学中最基本的对易关系量子力学中最基本的对易关系:6对易式对易式(commutator)不难证明不难证明,对易式满足下列代数恒等式对易式满足下列代数恒等式:定义定义:7则量子力学中最基本的对易关系可以化成则量子力学中最基本的对易关系可以化成:角动量对易式角动量对易式角动量算符角动量算符:各分量表为各分量表为 8推出推出由代数恒等式由代数恒等式,不难证明不难证明Levi-Civita符号符号 是一个三阶反对称张量，定义如下：是一个三阶反对称张量，定义如下：9即即角动量各分量的对易式角动量各分量的对易式为为:可以写成可以写成还可以证明还可以证明:10在在球坐标系中球坐标系中 ,各分

4、量可各分量可表示成表示成则容易证明则容易证明:定义定义:11能够能够唯一唯一地解出地解出 ,则可以定义算符则可以定义算符 之逆之逆 为为 并非所有的算符都有逆算符并非所有的算符都有逆算符,例如投影算符就不存在逆例如投影算符就不存在逆.若算符若算符 之逆存在之逆存在,则则(d)逆算符逆算符设设设设 与与 之逆均存在之逆均存在,则则12(e)算符的函数算符的函数设给定一函数设给定一函数 ,其各阶导数均存在其各阶导数均存在,幂级数展开收敛幂级数展开收敛则可定义算符则可定义算符 的函数的函数 为为例如例如可定义可定义不难看出不难看出算符算符 的物理意义的物理意义,是与体系沿是与体系沿 方向平移方向平移

5、 有关的算符有关的算符.13两个两个(或多个或多个)算符的函数也可类似定义算符的函数也可类似定义.令令则则是指对体系的全部空间坐标进行积分是指对体系的全部空间坐标进行积分,是坐标空间体积元是坐标空间体积元.*定义一个量子体系的任意两个波函数定义一个量子体系的任意两个波函数(态态)与与 的标积的标积 14式中式中 与与 为任意常数为任意常数.则可以证明则可以证明:15 算符算符 的转置算符的转置算符 定义为定义为(f)转置算符转置算符即即式中式中 与与 是任意两个波函数是任意两个波函数.16 算符算符 的复共轭算符的复共轭算符 定义为定义为注意注意算符算符 的共轭算符的表达式与表象有关的共轭算符

6、的表达式与表象有关.例如例如,在坐标表象中在坐标表象中(g)复共轭算符与厄米共轭算符复共轭算符与厄米共轭算符通常算符通常算符 的复共轭的复共轭 ,可如下构成可如下构成,即把即把 的表达的表达式中所有量换成其复共轭式中所有量换成其复共轭.而在动量表象中而在动量表象中17算符算符 之厄米共轭算符之厄米共轭算符 定义为定义为推出推出例如例如:可以证明可以证明由此可得由此可得18满足下列关系的算符满足下列关系的算符两个厄米算符之和仍为厄米算符两个厄米算符之和仍为厄米算符,但它们的积但它们的积,一一般不是厄米算符般不是厄米算符,除非除非 (可对易可对易).(h)厄米算符厄米算符称为厄米算符称为厄米算符,

7、也称为自共轭算符也称为自共轭算符.(实实)等都是厄米算符等都是厄米算符.19定理定理 体系的任何状态下体系的任何状态下,其厄米算符的平均值必为其厄米算符的平均值必为 实数实数.逆定理逆定理 在在任何状态任何状态下平均值均为实的算符必为厄米算下平均值均为实的算符必为厄米算 符符.实验上可观测量实验上可观测量,当然要求在任何态下平均值都是实数当然要求在任何态下平均值都是实数,因此因此,相应的算符必须是厄米算符相应的算符必须是厄米算符.关于厄米算符的重要定理关于厄米算符的重要定理:证明如下证明如下:在在 态下厄米算符态下厄米算符 的平均值为的平均值为20设设 为厄米算符为厄米算符,则在任意态则在任意

8、态 之下之下,以上是关于算符的一般规律和定则以上是关于算符的一般规律和定则,在在接下来的一节中我们将要学习一类特殊的算接下来的一节中我们将要学习一类特殊的算符符-厄米算符厄米算符,及其本征值与本征函数及其本征值与本征函数!推论推论21量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则 来描述其状态的大量完全相同的来描述其状态的大量完全相同的体系体系(系综系综),如进行多次测量如进行多次测量,所得结果的平所得结果的平均值将趋于一个确定值而每一次测量的结均值将趋于一个确定值而每一次测量的结果则围绕平均值有一个涨落果则围绕平均值有一个涨落.对于都用对于都

9、用涨落定义为涨落定义为 涨落涨落3.2 厄米算符的本征值与本征函数厄米算符的本征值与本征函数 厄米算符厄米算符,再利用再利用3.1节所学知识节所学知识,有有因为因为为厄米算符为厄米算符,必为实数必为实数,因而因而仍为仍为(1)(2)22量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则 如果体系处于一种特殊的态如果体系处于一种特殊的态,测量测量 所得结果是所得结果是唯一确定的唯一确定的,即涨落即涨落,则这种状态称为力学则这种状态称为力学量量的的本征态本征态.在本征态下在本征态下,由式由式(2)可以看出可以看出,被积函数必须为零被积函数必须为零,即即

10、必须满足必须满足或或23量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则一般一般,把常数记为把常数记为 ,并把本征态记为并把本征态记为 ,得到得到 称为称为 的一个的一个本征值本征值,为相应的为相应的本征态本征态.上上式即算符式即算符 的本征方程的本征方程.注意注意求解时求解时,作为力学量的本征态作为力学量的本征态,还要满还要满足物理上的一些要求足物理上的一些要求.24量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则 测量力学量测量力学量 时所有可能出现的值时所有可能出现的值,都是相应的线都是相应的

11、线性厄米算符性厄米算符 的本征值的本征值.当体系处于当体系处于 的本征态的本征态 时时,则每次测量所得结果都是完全确定的则每次测量所得结果都是完全确定的,即即 .量子力学中的一个量子力学中的一个基本假定基本假定:推出推出所以所以,在在 态下态下(设设 已归一化已归一化)定理定理1 厄米算符的本征值必为实厄米算符的本征值必为实.25量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则厄米算符的厄米算符的本征函数本征函数的一个的一个基本性质基本性质:定理定理2 厄米算符的属于不同本征值的本征函数厄米算符的属于不同本征值的本征函数,彼此彼此 正交正交.证明

12、如下证明如下:设设并设并设 存在存在,对对 取复共轭取复共轭,得到得到上式右乘上式右乘 ,积分积分,得到得到由于由于 ,上式左边上式左边=,因此得因此得如如 ,则必有则必有26量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则简并问题简并问题在在能级简并的情况下能级简并的情况下,仅根据能量本征值并不能把各仅根据能量本征值并不能把各能量的简并态确定下来能量的简并态确定下来.在处理力学量本征问题时在处理力学量本征问题时,特别是特别是能量能量的本征值问题的本征值问题,常常出现本征态的常常出现本征态的简并简并,这这与体系的与体系的对称性对称性有密切关系有密

13、切关系.设力学量设力学量 的本征方程表为的本征方程表为即属于本征值即属于本征值 的本征态有的本征态有 个个,则称本征值则称本征值 为为 重简并重简并.27量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则 出现简并时出现简并时,简并态的选择是不唯一的简并态的选择是不唯一的,而且也不一而且也不一定彼此正交定彼此正交,但总可以把它们适当线性叠加但总可以把它们适当线性叠加,使之彼此使之彼此正交正交.在线性代数中在线性代数中,通常采用通常采用Schmidt正交化程序正交化程序来进行正来进行正交化交化.令令 因为因为所以只要选择所以只要选择 ,使使 ,即可得

14、证即可得证.证明如下证明如下28量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则 在常见问题中在常见问题中,当出现简并时当出现简并时,往往是用往往是用(除除 之之外的外的)其他力学量的本征值来对简并态进行分类其他力学量的本征值来对简并态进行分类,从而从而把它的简并态确定下来把它的简并态确定下来.两个力学量是否可以有共同本征态两个力学量是否可以有共同本征态?或者说或者说是否可以同时测定是否可以同时测定?此时此时,正交性问题将自动解决正交性问题将自动解决.这就涉及两个或多这就涉及两个或多个力学量的共同本征态问题个力学量的共同本征态问题.这将是下一节不

15、确定度关系要讨论的问题这将是下一节不确定度关系要讨论的问题!29量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则引引入入下面我们普遍地分析此问题下面我们普遍地分析此问题.当体系处于力学量当体系处于力学量 的本征态时的本征态时,对其测量对其测量,可得一可得一个确定值个确定值,而不会出现涨落而不会出现涨落.但在其本征态下去测量但在其本征态下去测量另一个力学量另一个力学量 时时,却不一定得到一个确定值却不一定得到一个确定值.分析下列积分不等式分析下列积分不等式 其中其中,为体系的为体系的任意任意一个波函数一个波函数,为为任意实任意实参数参数.3.3.1

16、 不确定度关系的严格证明不确定度关系的严格证明设有两个任意的力学量设有两个任意的力学量 和和30量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则引进厄米算符引进厄米算符则则因为与为厄米算符，因为与为厄米算符，所以所以 ,则得则得为实，不妨取为实，不妨取31量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则即即与与 为厄米算符为厄米算符,与与 又均为实数又均为实数,与与 也是厄米的也是厄米的.在上式中，在上式中，让让则则(1)式仍成立式仍成立.再考虑到再考虑到 就可得出就可得出32量子力学教程量子力学教

17、程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则或简记为或简记为(2)上式就是任意两个力学量上式就是任意两个力学量 与与 在任意量子在任意量子态下的涨落必须满足的关系式态下的涨落必须满足的关系式,即即Heisenberg的的不确定不确定度关系度关系(uncertainty relation)的普遍表达式的普遍表达式.33量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则能是例外能是例外),或者说他们或者说他们不能有共同本征态不能有共同本征态.以以找出找出它们的它们的共同本征态共同本征态.由由(2)式可以看出式可以看出,若两

18、个力学量若两个力学量 与与 不不对易对易,则一般说来则一般说来 与与 不能同时为零不能同时为零,即即 与与 不能同时测定不能同时测定.(但但 的的特殊态特殊态可可反之反之,若两个厄米算符若两个厄米算符 与与 对易对易,则可以则可以找出这样的态找出这样的态,使使 与与 同时满足同时满足,即可即可34量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则 坐标坐标 的共同本征态的共同本征态,即即 函数函数相应本征值为相应本征值为例如例如35量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则采用球坐标采用球坐标,

19、角动量的平方算符表示为角动量的平方算符表示为3.3.2 的共同本征态的共同本征态,球谐函数球谐函数由于角动量的三个分量不对易由于角动量的三个分量不对易,一般无共同本征态一般无共同本征态.分量分量(例如例如 )的共同本征态的共同本征态.,可以找出可以找出但由于但由于与任何一个与任何一个36量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则 考虑到考虑到 的本征函数可以同时也取为的本征函数可以同时也取为的本征态的本征态其中其中,是是 的本征值的本征值(无量纲无量纲),待定待定.并代入本征方程并代入本征方程的本征函数已分离变量的本征函数已分离变量,即令即

20、令此时此时,37量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则化简本征方程化简本征方程,得得令令则则或或这就是这就是连带连带Legendre方程方程.38量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则 在在 区域中区域中,微分方程有两个正则奇点微分方程有两个正则奇点,其余各点均为常点其余各点均为常点.时时,方程有一个多项式解方程有一个多项式解(另一解为无穷级数另一解为无穷级数),即连带即连带Legendre 多项式多项式 可以证明可以证明,只当只当它在它在区域中是有界的区域中是有界的,是物理上可

21、接受的解是物理上可接受的解.39量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则利用正交归一性公式利用正交归一性公式满足满足定义一个归一化的定义一个归一化的部分的波函数部分的波函数(实实)40量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则所以所以,的正交归一的共同本征函数表示为的正交归一的共同本征函数表示为 为球谐函数为球谐函数,它们满足它们满足41量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则 在上面的式子中在上面的式子中,和和 的本征值都是量子

22、化的的本征值都是量子化的.对于给定对于给定 ,的本征函数是不确定的的本征函数是不确定的,因为因为 共有共有 个简并态个简并态.就就是用是用 的本征值来确定这些简并态的本征值来确定这些简并态.轨道角动量量子数轨道角动量量子数 磁量子数磁量子数42量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则3.3.3 对易力学量完全集对易力学量完全集(CSCO)它们的共同本征态记为它们的共同本征态记为 设有一组彼此独立而且互相对易的厄米算符设有一组彼此独立而且互相对易的厄米算符表示一组完备的量子数表示一组完备的量子数.设给定一组量子数设给定一组量子数之后之后,就

23、能够完全确定体系的唯一就能够完全确定体系的唯一一个可能状态一个可能状态,则我们称则我们称构成体系的一组构成体系的一组对易可对易可观测量完全集观测量完全集(complete set of commuting Observables,简记简记为为CSCO),在中文教材中在中文教材中,习惯称为对易力学量完全集习惯称为对易力学量完全集,或简或简称为力学量完全集称为力学量完全集.对易力学量完全集的概念与体系的一个对易力学量完全集的概念与体系的一个量子态的制备密切相关量子态的制备密切相关.43量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则 按照态叠加原理按

24、照态叠加原理,体系的任何一个状态体系的任何一个状态 均可用均可用 来展开来展开利用利用的正交归一性的正交归一性,上式中的展开系数上式中的展开系数可确切定出可确切定出.表示在表示在态下态下,测量力学量测量力学量得到得到值的概率值的概率.这是波函数的统计诠释的最一般的表述这是波函数的统计诠释的最一般的表述.(这里假定量子数这里假定量子数或力学量或力学量不连续变化不连续变化.若若连续变化连续变化,则则而相应的展开系数的模方代表概而相应的展开系数的模方代表概率密度率密度.例如例如,坐标表象和动量表象的展开坐标表象和动量表象的展开,即属此情况即属此情况.)44量子力学教程量子力学教程(第二版第二版)3.

25、1 3.1 算算 符符 的的 运运 算算 规规 则则如体系的如体系的 Hamilton 量不显含时间量不显含时间则则H 为守恒量为守恒量.在此情况下在此情况下,如对易力学量完全集中包含如对易力学量完全集中包含有体系的有体系的Hamilton量量,则完全集中各力学量都是守恒量则完全集中各力学量都是守恒量,这种完全集又称为这种完全集又称为对易守恒量完全集对易守恒量完全集(a complete set ofcommuting conserved observables,简记为简记为CSCCO.)包括包括 H 在内的守恒量完全集的共同本征态在内的守恒量完全集的共同本征态,当然是定当然是定态态,所相应的

26、量子数都称为所相应的量子数都称为好量子数好量子数.在这种展开中在这种展开中,(无论无论 是什么态是什么态,定态或非定态定态或非定态),是不随时间是不随时间改变的改变的.45量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则关于关于CSCO,再做几点说明再做几点说明:(1)CSCO是限于是限于最小集合最小集合,即从集合中抽出任何一个可即从集合中抽出任何一个可观测量后观测量后,就不再构成体系的就不再构成体系的CSCO.所以要求所以要求CSCO中各观测量是中各观测量是函数独立的函数独立的.(2)一个给定体系的一个给定体系的CSCO中中,可观测量的数目一般

27、等于可观测量的数目一般等于体系自由度的数目体系自由度的数目,但也可以大于体系自由度的数目但也可以大于体系自由度的数目.(3)一个给定体系往往可以找到多个一个给定体系往往可以找到多个CSCO,或或CSCCO.在处理具体问题时在处理具体问题时,应视其侧重点来进行选择应视其侧重点来进行选择.一个一个CSCCO的成员的选择的成员的选择,涉及体系的对称性涉及体系的对称性.46量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则 体系的量子态用一组彼此对易的力学量完全集的共同体系的量子态用一组彼此对易的力学量完全集的共同本征函数来展开本征函数来展开,在数学上涉及

28、完备性问题在数学上涉及完备性问题.这是一个颇这是一个颇为复杂的问题为复杂的问题.李政道曾经给出关于本征态的完备性的如李政道曾经给出关于本征态的完备性的如下重要的定理下重要的定理.定理定理:设设为体系的一个厄米算符为体系的一个厄米算符,对于体系的任一态对于体系的任一态有下界有下界(即总是大于某一个固定的数即总是大于某一个固定的数c),但无上界但无上界,则则的本征态的集合的本征态的集合,构成体系的态空间中构成体系的态空间中的一个完备集的一个完备集,即体系的任何一个量子态都可以用这一即体系的任何一个量子态都可以用这一组本征态完全集来展开组本征态完全集来展开.47量子力学教程量子力学教程(第二版第二版

29、)3.1 3.1 算算 符符 的的 运运 算算 规规 则则这里有两点值得提到这里有两点值得提到:(a)自然界中真实存在的物理体系的自然界中真实存在的物理体系的Hamilton 算符算符都应为厄米算符都应为厄米算符(保证所有能量本征值为实保证所有能量本征值为实),并且应有并且应有下界下界(能量无下界是不合理的能量无下界是不合理的,在自然界中未发现这种在自然界中未发现这种情况情况).因此因此,体系的任一量子态总可以放心地用包含体系的任一量子态总可以放心地用包含在内的一个在内的一个CSCCO的共同本征态完全集来展开的共同本征态完全集来展开.(b)在在本征值有简并的情况下本征值有简并的情况下,对于给定

30、能量本征值对于给定能量本征值,本征态尚未完全确定本征态尚未完全确定,此时需要用包含此时需要用包含Hamilton量在内量在内的一个的一个CSCCO,根据他们的本征值把本征态完全确定下根据他们的本征值把本征态完全确定下来来,以便于对任何量子态进行确切的展开以便于对任何量子态进行确切的展开.48量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则3.3.4 量子力学中力学量用厄米算符表达量子力学中力学量用厄米算符表达 与与Schrdinger方程是量子力学的一个基本假定一样方程是量子力学的一个基本假定一样,量子体系的可观测量量子体系的可观测量(力学量力学

31、量)用一个线性厄米算符来用一个线性厄米算符来描述描述,也是量子力学的一个基本假定也是量子力学的一个基本假定,它们的正确性应它们的正确性应该由实验来判定该由实验来判定.“量子力学中力学量用相应的线性厄米算符来表达量子力学中力学量用相应的线性厄米算符来表达”,其含义是多方面的其含义是多方面的:49量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则(1)在给定状态在给定状态 之下之下,力学量力学量 A 的的平均值平均值由下式由下式确定确定:(2)在实验上观测某力学量在实验上观测某力学量A,它的它的可能取值可能取值就是算符就是算符的某一个本征值的某一个本征

32、值.由于力学量观测值总是实数由于力学量观测值总是实数,所以所以要求相应的算符必为厄米算符要求相应的算符必为厄米算符.(3)力学量之间关系也通过相应的算符之间的关系反映力学量之间关系也通过相应的算符之间的关系反映 出来出来.例如例如,两个力学量两个力学量 A 与与 B,在一般情况下在一般情况下,可以同时可以同时具有确定的观测值的必要条件为具有确定的观测值的必要条件为50量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则 反之反之,若若 则一般说来则一般说来,力学量力学量 A 与与 B 不能不能同时具有确定的观测值同时具有确定的观测值 特别是对于特别是

33、对于H 不显含不显含 t 的体系的体系,一个力学量一个力学量 A 是否是否是守恒量是守恒量,可以根据可以根据与与是否对易来判断是否对易来判断.51量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则3.4.1 连续谱本征函数是不能归一化的连续谱本征函数是不能归一化的一维粒子的动量本征值为一维粒子的动量本征值为的本征函数的本征函数(平面波平面波)为为可以取可以取中连续变化的一切中连续变化的一切实数实数值值.不难看出，只要不难看出，只要则则 在量子力学中在量子力学中,坐标和动量的取值是连续变化坐标和动量的取值是连续变化的的;角动量的取值是离散的角动量的取

34、值是离散的;而能量的取值则视边条而能量的取值则视边条件而定件而定.例如例如52量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则 当然当然,任何真实的波函数都不会是严格的平任何真实的波函数都不会是严格的平面波面波,而是某种形式的波包而是某种形式的波包.它只在空间某有它只在空间某有限区域不为零限区域不为零.如果此波包的广延比所讨论的问题中的特征长度如果此波包的广延比所讨论的问题中的特征长度大得多大得多,而粒子在此空间区域中各点的概率密度变化而粒子在此空间区域中各点的概率密度变化极微极微,则不妨用平面波来近似描述其状态则不妨用平面波来近似描述其状态.是

35、不能归一化的是不能归一化的.在上例中在上例中,连续谱的本征函数是不能归一化的连续谱的本征函数是不能归一化的.53量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则 可以引用数学上的可以引用数学上的Dirac的的 为方便地处理连续谱本征函数的为方便地处理连续谱本征函数的“归一化归一化”,我我们们 函数函数.3.4.2 函数函数 函数的定义函数的定义54量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则由由Fourier积分公式积分公式,对于分段连续函数对于分段连续函数(b)函数也可表成函数也可表成比较式比

36、较式(a)与与(b),领域连续的任何函数领域连续的任何函数 对于在对于在(a)等价地表示为等价地表示为:55量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则平面波的平面波的“归一化归一化”问题问题,还可以采用数学上还可以采用数学上传统的做法传统的做法 即先让粒子局限于有限空间即先让粒子局限于有限空间 中运动中运动(最最 后才让后才让 ).动量本征态为动量本征态为 在周期条件下在周期条件下3.4.3 箱归一化箱归一化 此时此时,为了为了保证动量算符保证动量算符 为厄米算符为厄米算符,就要就要求波函数满足周期性边条件求波函数满足周期性边条件.56量子

37、力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则 同样同样,不能归一化的坐标本征态也可类似处理不能归一化的坐标本征态也可类似处理.因此因此,若取动量本征态为若取动量本征态为则则 这样这样,就用就用 函数的形式把平面波的函数的形式把平面波的“归一化归一化”表示出来了表示出来了.57量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则由周期条件由周期条件,得得(粒子波长粒子波长 即即 ).即即 或或 所以所以 或或可以看出可以看出 动量的可能取值动量的可能取值 就是不连续的就是不连续的.只要只要58量子力学教程

38、量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则此时此时,与与 相应的动量本征态取为相应的动量本征态取为利用正交归一化条件利用正交归一化条件利用这一组正交归一完备的函数利用这一组正交归一完备的函数 ,可以构成可以构成如下如下 函数函数:59量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则现在让现在让即动量的可能取值趋于连续变化即动量的可能取值趋于连续变化.于是于是此时此时,可以把可以把 ,而而或或60量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则在处理具体问题时

39、在处理具体问题时,如要避免如要避免计算过程中计算过程中出现的平面出现的平面波波“归一化归一化”困难困难,则可以用箱归一化波函数则可以用箱归一化波函数 代替不能归一化的代替不能归一化的 .在计算的在计算的最后结果最后结果才让才让 .正交完备的归一化波函数为正交完备的归一化波函数为 结论结论则则 函数可如下构成函数可如下构成:三维情况三维情况 61量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则 上式表明上式表明,相空间一个体积元相空间一个体积元 相当于有一个量子态相当于有一个量子态.而而最后最后,当当 时时 将连续变化将连续变化62量子力学教程量子

40、力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则设有设有一组彼此对易一组彼此对易,且函数独立的厄米算符且函数独立的厄米算符 它们的它们的共同本征函数共同本征函数记为记为 ,是是一组量子数一组量子数的笼统记号的笼统记号.3.4.4 力学量完全集力学量完全集定义定义 设给定设给定 之后之后就能够确定体系的一个可能状态，就能够确定体系的一个可能状态，则称则称 构成体系的一组力学量完全集构成体系的一组力学量完全集.63量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则 表示在表示在 下测量下测量 得到得到 值的概率值的概率.

41、这是波函数统计诠释的一般表述这是波函数统计诠释的一般表述.按照态叠加原理按照态叠加原理,体系的任何一个状态体系的任何一个状态 均可用均可用 展展开开(这里假定这里假定 的本征值是的本征值是离散的离散的)利用利用 的正交归一性的正交归一性 的归一化条件的归一化条件64量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则例如例如 一维谐振子一维谐振子,Hamilton 量本身就构成力学量完全量本身就构成力学量完全集集(也是也是守恒量完全集守恒量完全集).对于一维自由粒子对于一维自由粒子 由于能量本征态有简由于能量本征态有简并并,并不构成力学量完全集并不构

42、成力学量完全集.但把空间反射但把空间反射 考虑进去考虑进去,力学量完全集可以选为力学量完全集可以选为 对于一维粒子对于一维粒子,动量动量 就构成力学量完全集就构成力学量完全集与此类似与此类似,坐标坐标 也可以构成力学量完全集也可以构成力学量完全集.65量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则注意注意 体系的一组力学量完全集中体系的一组力学量完全集中,力学量的个数力学量的个数并不一定等于自由度的数目并不一定等于自由度的数目.一般说来一般说来,力学量完全集力学量完全集中力学量的个数中力学量的个数体系的自由度数目体系的自由度数目.用用一一组组力

43、力学学量量完完全全集集的的共共同同本本征征函函数数来来展展开开体体系系的的任任意意波波函函数数,在在数数学学上上涉涉及及完完备备性性这这样样一一个个颇颇为复杂的问题为复杂的问题.66量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则经验经验 如如力力学学量量完完全全集集中中包包含含有有体体系系的的Hamilton量量,而而本征值又有下界本征值又有下界,则可以证明则可以证明,这一组这一组力学量完全集的共同本征态构成该体系的态空力学量完全集的共同本征态构成该体系的态空间的一组完备的基矢间的一组完备的基矢,即体系的任何一个态均可即体系的任何一个态均可用它

44、们展开用它们展开.自然界中实际的物理体系的自然界中实际的物理体系的 的本征值都有的本征值都有下界下界.因此因此,体系的任何态总可以用包含体系的任何态总可以用包含 在内的在内的一组力学量完全集的共同本征态来展开一组力学量完全集的共同本征态来展开.在在 不显含不显含 的情况下的情况下,这种力学量完全集称为这种力学量完全集称为守恒量完全集守恒量完全集.在量子力学中在量子力学中,找寻体系的守恒量完全找寻体系的守恒量完全集是一个极重要的问题集是一个极重要的问题.67量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则 量子力学中的量子力学中的力学量用相应的线性

45、厄米算符来力学量用相应的线性厄米算符来表达表达,其含义如下其含义如下:实验上实验上观测观测 的可能值的可能值,必为算符必为算符 的某一本征值的某一本征值.在量子态在量子态 之下之下,力学量力学量 的的平均值平均值由下式确定由下式确定,力学量之间的关系通过力学量之间的关系通过相应的算符之间的关系反相应的算符之间的关系反映出来映出来.例如两个力学量例如两个力学量 与与 可以同时具有确可以同时具有确定的观测值的必要条件定的观测值的必要条件,在一般情况下在一般情况下,为为反之反之,若若 则一般说来则一般说来,力学量力学量 与与 不能不能同时测定同时测定.68量子力学教程量子力学教程(第二版第二版)3.1 3.1 算算 符符 的的 运运 算算 规规 则则 特别是特别是,在在 不显含不显含 的情况下的情况下,一个力学量一个力学量是否是守恒量是否是守恒量,可以根据可以根据 与与 是否是否对易对易来判断来判断.具体详见具体详见 4.1 节节!69