量子力学的表述形式课件.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《量子力学的表述形式课件.ppt》由用户(ziliao2023)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 量子力学 表述 形式 课件
- 资源描述:
-
1、第三章 量子力学的表述形式前面两章分别讨论了量子力学关于系统状态的假定,关于力学量的假定和关于运动方程的假定。除关于多粒子系统的全同性原理留到下一章讨论外,已基本学完了量子力学的原理。任何一种运动形态的规律都有不同的表述形式。量子力学的表述形式也是多样的。在这一章,我们将建立希尔伯特空间的概念,并讨论由于希尔伯特空间中基底选择的不同,使量子力学原理有不同的表象。以及由于对时间演化的处理方法不同,使量子力学有不同的绘景。量子力学理论也会由于所采用的量子化方案不同而有不同的形式。本教程主要采用正则量子化方案,即通过引入对易关系使力学量由c数变成q数(算符)而实现量子化,见5.3.2。1948年费曼
2、提出了另一种量子化方案,即路径积分量子化,它在现代量子理论中有广泛的应用。在第六章中将对路径积分量子化作简单介绍。3.1 希尔伯特空间 狄拉克符号这正是傅立叶变换和反变换的公式。这两个公式表明,由(x,t)唯一决定了c(p,t);由c(p,t)也唯一决定了(x,t)。(一)几个不同表象的例子我们先通过一个简单例子说明,量子力学理论能够有不同的表述形式。在5.2.2中讨论了用算符 F 的本征函数系展开任意函数(r,t)的问题,如那一节的(2.61)(2.62)式。为了具体起见,令 F 为动量 p,并且只考虑一维情况。上述两个式子成为)1.1()(),(),(dpxtpctxp(1.2),()()
3、,(dxtxxtpcppxipex)/(21)(3.1.1 希尔伯特空间 c(p,t)称为(x,t)的傅立叶变换(象函数),(x,t)称为c(p,t)的傅立叶变换(原函数)。)3.1(),(21),()/(dpetpctxpxi(1.4),(21),()/(dxetxtpcpxi 归一化的本征函数因此,完全可以用c(p,t)代替(x,t)作为描述量子态的态函数。由于c(p,t)以p为变量,所以称为动量表象的态函数。相应地称(x,t)为坐标表象的态函数。在动量表象中和在坐标表象中一样,可以解决量子力学的问题。【例1】粒子在均匀力场U(x)=-Fx中运动,求定态波函数。这是一个二阶变系数常微分方程
4、,可以用级数解法求解我们用傅里叶变换法,令(1.6)(21)()(21)(dpexpcdpepcxxpixpixx(1.5)()()(2222xExFxdxxd)(21 )(2)/(2222dpepcpdxddpepcpidxdxpixpixx)(21)()(2)/(dpedppdcxxidxexxidpdcpxipxi解解:定态方程是将这几个式子和(1.6)式一道,代入方程(1.5)式。由于函数系exp(i/h)px的正交完备性,被积函数应相等,得到这就是能量为E的定态在动量表象中的态函数。这是c(p)的一阶微分方程,可以直接积分,得到(1.8)6(exp)(2EppFiApc(1.7)()
5、()(22pEcdppdcFipcp 由于在解方程时能量E未受到限制,所以能谱连续。动量的几率分布|cE(p)|2=|A|2是常数,说明动量以均匀的几率分布。用积分形式写出的坐标表象波函数,位置几率密度是|(x)|2(1.9)(6exp21)(2dppFxEpFix坐标的几率分布可以通过将(1.8)式代入(1.6)的第一式而得到我们看到,量子力学的状态既可以用坐标作为变量来描述(坐标表象),也可以用动量作为变量来描述(动量表象);更一般地,也应该可以用其它力学量,例如F作为变量来描述。为了具体起见,假定F有分立谱,如5.2.2(2.57),(2.58)式。为了书写简单,仍然只考虑一维,其中,i
6、(x)是力学量F的本征函数,(1.10)()(),(xtctxiii(1.11),2,1 ),()()(*idxtxxtcii ,2,1 )()(ixfxFiii(x,t)能用i(x)展开成(1.10)式:本征函数系i(x)的完备性展开系数ci(t)能写成(1.11)式:本征函数系i(x)的正交归一性。由(1.10),(1.11)式可见,(x,t)和ci(t)相互单值决定只要给定(x,t)就知道了ci(t),i=1,2,;而只要给定ci(t),i=1,2,也就知道了(x,t)。因此,完全可以用ci(t)(i=1,2,)来代替(x,t)作为描述系统状态的态函数。这样的描述方式称为F表象表象。(二
7、)希尔伯特空间量子力学理论既可以用坐标作自变量表述,也可以用动量作自变量表述;更一般地说,可以用任一力学量完全组作自变量表述(上例是一维运动,只要一个变量x或p或F就形成自变量完全组)。这许多不同表述,相互之间完全等效。问题:问题:为什么同一理论有这么多不同表述方式呢?这些不同表述所反映的共同本质是什么呢?为了有助于回答这一问题,回忆一下三维空间中的经典力学经典力学的运动状态既可以在坐标系K中用x(t),y(t),z(t)描述;也可以在坐标系K中用x(t),y(t),z(t)描述。为什么同一个力学系统的运动状态可以用不同方式描述呢?其原因是:在这许多不同描述方式的背后有一个共同的客观物理对象质
8、点的位置矢量r(t)。力学运动状态的不同描述方式是位置矢量用不同坐标基矢展力学运动状态的不同描述方式是位置矢量用不同坐标基矢展开的不同分量形式。开的不同分量形式。与此类似,可以预期,量子力学的运动状态之所以有不同描述方式(不同表象)的原因,是这许多不同描述方式背后有一个共同的客观物理对象状态矢量;量子力学运动状态的不同描述方式是状态矢量用不同基矢展开的不同分量形式在5.2.2中讨论厄米算符本征函数的正交性时曾经指出,本征函数,或者更一般地说任意状态的波函数,可以看成是一个无穷维复矢量空间中的矢量状态矢量。这一复矢量空间是通常的三维矢量空间的推广讨论厄米算符的本征函数形成正交完备函数系时,还曾经
9、将它和转动惯量的惯量主轴形成三维空间的正交坐标系相对比(1.13)01*2Niiiaaaaa厄米算符可以看成是矢量空间中的对称矩阵的推广。转动惯量的主轴可以作为三维空间中的正交坐标系来展开任意矢量厄米算符的本征函数系,是一个正交完备函数系,也可以用来作为坐标基矢来展开任意状态矢量。这一推广过程有以下几步:在实N维矢量空间中,矢量的分量只能取实数值,推广成复N维矢量空间,矢量的分量可以取复数值。此时,在矢量点积的定义中,左边一个矢量的分量应取复共轭。这样才能保证任意矢量a和它自身的点积恒正,即矢量模的平方按照这样的定义,两个不同矢量按相反次序的点积,即:并不相等,而是相互复共轭:iiiiiiab
10、abbaba *和(1.14)*)(abba将空间维数N由有限推广到无穷。当N有限时,矢量模的平方(1.13)式取有限值;当N时,(1.13)式右方成为无穷积数,可能发散。因此,对于这种无穷维空间的矢量应加上模有限的条件:(1.15)1*收敛iiiaa空间维数的标号由取分立值的 i 推广成取连续值的 x,aif(x)。并将ai所应满足的条件(1.15)式推广成为加在f(x)上的条件在5.1.2的末尾曾指出:“无限运动”的波函数不满足(1.16)式。然而,真正的无限运动并不存在。所谓“无限运动”只不过是运动范围达到了宏观的尺度。所以,对(1.16)式的违反实际上只是形式的这相当于要求(x)能按5
11、.1.2(2.12)式归一化将三维空间中的对称矩阵()推广到无穷维空间,成为厄米算符AA*FF(1.16)()(*收敛dxxx三维空间中的对称矩阵(例如由转动惯量张量的分量组成的矩阵)有三个正交的主轴。这三个主轴方向的单位矢量称为对称矩阵的本征矢量,由它们组成的坐标系可以展开三维空间中的任意矢量。这表明,对称矩阵的本征矢量形成三维空间中的完备矢量组。由此推广,就要求厄米算符的本征函数满足形成完备函数系,用它可以展开任意函数,iiiifF的(1.17)(x)(1iiicx即:展开式右边的函数项无穷级数收敛到(x)。按照以上方式得到的模有限的无穷维复线性空间称为希希尔伯特空间尔伯特空间。量子力学理
12、论是建立在希尔伯特空间的基础上量子系统的状态由希尔伯特空间中的矢量描述,而力学量由希尔伯特空间中的厄米算符描述。三维空间中的矢量a在不同坐标系中有不同的分量形式,而各不同的分量形式代表同一个客观对象,因而都可以等效地用来作计算。与此类似,希尔伯特空间中的状态矢量也可以用不同的“坐标系”展开成(x),c(p),。这就是量子力学理论能够有不同表象的本质原因。在三维空间里对矢量进行具体计算,总是要选定坐标系,用这一坐标系中的分量形式运算;然而在推导公式和理解公式的物理意义时,采用抽象的矢量形式更为方便。与此类似,将量子力学理论用希尔伯特空间中的抽象矢量形式表述出来,也能使表述更简练,意义更清楚。有了
13、这种抽象的表述,在进行实际计算时,可以根据不同问题的需要进入不同的表象。在以下几节里,我们就来给出量子力学理论的这种抽象表述,并说明从这种抽象表述进入具体表象的方法。3.1.2 态矢量这一节在希尔伯特空间里给出量子力学原理的表述。态矢量满足叠加原理:如果|a,|b是两个态矢量,则|c=|a+|b (2.1)也是一个态矢量,其中,是两个任意复数。(一)态矢量状态用希尔伯特空间的矢量描述,称为态矢量。希尔伯特空间的矢量,可以用狄拉克所创立的符号表示。这种符号是一个尖角指向右边的括号,并将标志不同状态的参量写在括号内。例如,状态a 的态矢量记为|a物理量F的第 i个本征态矢量记为|i,等等。通常称这
14、种矢量为狄拉克右矢,简称为右矢。(ket)态矢量的加法满足交换律和结合律:|a+|b=|b+|a,(2.2)|a+(|b+|c)=(|a+|b)+|c.(2.3)数和态矢量的乘法也满足结合律:(|a)=()|a (2.4)(1|a1+2|a2|+n|an)=0 (2.5)如果n个矢量,|a1,|a2,,|an存在以下关系:其中1,2,n不全为零,则称这n个矢量线性线性相关相关。如果找不到n个 不全为零的数使(2.5)式成立,则称这n个矢量线性独立线性独立。特别是,如果|a=|b,0,则称|a和|b线性相关,否则就称|a和|b线性独立。(二)态矢量的点积和每一个右矢对应有一个左矢(bra),用尖
15、角指向左边的括号表示,如a|,i|。右矢和左矢相互共轭:(2.6)aaaa这里的“共轭”是希尔伯特空间里一种抽象意义下的共轭,它的具体含义要在定义了矢量点积以后才明了。状态a的态矢量可以等效地用右矢|a或左矢a|表示。两个状态a 和b的态矢的点积是一个复数,记为:a|b 是一个复数。(2.7)状态a,b 的态矢的点积是取a的左矢形式和b的右矢形式相乘。(2.8)(ababba两个矢量点积的共轭,等于它们各自的共轭按相反的次序取点积:由于a|b是一个普通的 复数,所以它的共轭就是复共轭,因此,a|b*=b|a.(2.9)这和5.4.1(1.14)式一致。态矢的点积必须是左矢形式和右矢形式相乘,而
16、不能用右矢和右矢或者左矢和左矢相乘,即不能写|a|b或a|b|。形象化地说,点积一定要两头尖,形成完整的括号(bracket),如(2.7)式。3.1.3希尔伯特空间中的算符由于右矢本身是抽象矢量,所以算符F 不能写成具体形式,而只能用右矢之间的对应关系(2.10)式来定义。希尔伯特空间中的算符F是一种对应规则,它把希尔伯特空间的任意矢量对应成另一矢量:F|a=|c (2.10)希尔伯特空间的抽象算符,简单地用大写字母表示,而不在上面加尖角,以区别于具体表象(例如x表象)中的算符。如果算符F满足以下条件(F(|a+|b)=F|a+F|b,(2.11)则称F为线性算符线性算符。前面已经定义了复数
17、和矢量|b的乘积|b,从这个意义上可以把复数也看成一个线性算符。按定义,a|b=a|b (2.12)(2.13)FaFaaF线性算符 F 的厄米共轭算符定义为(2.13)式和(2.8)式一样,都是根据一条普遍的规则:两个对象(矢量和矢量,或算符和矢量,或算符和算符)相乘的厄米共轭等于它们各自的厄米共轭按相反次序相乘。(2.14)*aFbaFbbFabFa对于算符和态矢,“相乘”是指算符对态矢的作用。利用它还可以写:显然有:(F+)+=F.(2.15)如果线性算符F和它自身厄米共轭F+=F,(2.16)则称F为厄米自共轭算符,简称厄米算符。线性算符的一个例子是右矢和左矢的并矢:。为了看到它的确是
18、一个算符,将它作用到任意矢量|c上 ba cbacba(2.17)*aFbbFa算符厄米性的条件狄拉克矢量的连乘满足结合律:cbacba dcbacba但是,b|c是一个数b|c=,而乘矢量|a得另一矢量|d,因而有:ba ba这就表明 是一个算符。矢量|a和|b有两种乘积:两头尖两头尖a|b是点积点积,得到一个数数;两头平两头平 是并矢并矢,得到一个算符算符厄米算符的本征值与本征矢(2.18)fffFifiFi算符F的本征值方程是f i或f 称为算符F的本征值,|i 或|f 称为和本征值f i或f 对应的本征矢。关于厄米算符的本征值和本征矢有以下定理。证明时假定本征值谱分立。在连续谱情况下,
19、证明是类似的定理一 厄米算符的本征值是实数。证:设F+=F,F|i=f i|i。用本征矢 i|点乘上式,得到i|F|i=i|f i|i=f ii|i按(2.9)式取上式的共轭,得到i|F|i*=(f ii|i)*=f i*i|i再利用(2.17)式知上两式左边相等,因而f i*=f i,f i为实数。【证毕】定理二厄米算符对应于不同本征值的本征矢相互正交。证:设 F+=F,F|i=f i|i,F|j=f j|j用本征矢j|和i|分别点乘以上二式:j|F|i=f ij|i,i|F|j=f ji|j.取前一式的共轭,并利用厄米条件(2.17)式,得到 i|F|j=j|F|i*=f i*j|i*=f
20、 ii|j这里用了定理一,f i*=f i。和以上第二式相减得到(f I f j)i|j=0按假设f if j,故i|j=0证毕如果和厄米算符 F 的某一个本征值 f I 相对应,有一个以上的线性独立本征矢:|ia,|ib,,则称本征值f I 有简简并并。定理三如果|ia,|ib是对应于厄米算符F的本征值f i的线性独立本征矢,则它们的线性叠加|ia+|ib也是对应于同一本征值的本征矢,即:设 F|ia=f i|ia,F|ib=f i|ib,则 F(|ia+|ib)=f i(|ia+|ib).(2.20)证:按(2.11)式 F(|ia+|ib)=F|ia+F|ib =f i|ia+f i|i
21、b =f i(|ia+|ib)【证毕】由此可见,如果本征值f i 有简并,则和这一本征值对应有无穷多本征矢。这些本征矢形成希尔伯特空间的一个线性矢量子空间。用 s 表示这一线性空间中独立矢量的最大数目(即这一线性空间的维数),则称本征值f i 有 s 重简并。为了对这一论断增加形象的理解,回忆转动惯量张量有两个主值相等的情况。此时,惯性椭球成为旋转椭球,在这两个相等主值对应的两个主轴所在平面上的截面是一个圆。这一平面上的任意矢量,都是对应同一主值的惯量主轴。这种矢量有无穷多个,它们形成一个二维线性空间(平面)。厄米算符 F 对应于不同本征值的本征矢相互正交。当本征值有 s 重简并时,和它对应的
22、本征矢不一定正交,但是可以按定理三从这些本征矢所形成的线性空间中选出 s 个正交矢量.这样做了以后,就得到了F 的一个正交完备矢量组用i 给这一矢量组中的矢量重新编号,成为|i,i=1,2,.(2.21)这一组矢量满足正交归 一化条件:i|j=ij(2.22)i|j=ij(2.22)同时,它们又具有完备性,即:希尔伯特空间的任意矢量|a可以用矢量组(2.21)展开:(2.23)1iaaii(2.24)ij11aiaaajiaaiiijjjj此时,右边的矢量项无穷级数收敛到矢量|a,为了求(2.23)式中的展开系数a i,可以先将此式右边的哑标i 改写为j,然后用i|点乘等式两边:(2.25)1
23、1iiiaiiaia如果矢量组(2.21)式是完备的,则展开式(2.23)成立。将(2.24)式代入(2.23)式,得到 以上假定F的本征值有分立谱,对于连续谱情况,定理一至定理三仍然成立,只是(2.22)(2.26)式改动如下:(2.25)11iiiaiiaia由此可见,是恒等算符,它作用在任意矢量上仍得到这一矢量本身。(2.26)式就是矢量组(2.21)的完备性条件。(2.26)11iii(2.27)(ffff正交归一条件:(2.28)1dfff完备性条件:(2.29)dffaaf矢量展开式:(2.30)afaf展开式系数:(五)力学量用厄米算符表示力学量用希尔伯特空间中的线性厄米算符表示
24、。具体含义如下:(2.31)1aiaiaaiii力学量F 所能取的值是它的算符的本征值。考虑用矢量|a描述的状态,将|a用 F 的本征矢量组展开,如(2.23)(2.24)式(2.32)22aiawii则在状态|a中,物理量 F 取值 f I 的几率是关于力学量同时有确定值的条件5.2.3定理一和定理二,以及5.2.3中定义的力学量完全组,也可以用希尔伯特空间中的抽象矢量和抽象算符表述出来。(六)运动方程(2.33),tHtdtdi态矢量随时间的演化由希尔伯特空间的一个线性厄米算符H决定:H称为哈米顿算符。在|,t 中只有一个变量 t,因而对t的求导是全导数,而不是偏导数。5.4.3 表象和表
25、象变换厄米算符 F 本征值方程 F|i=f i|i 或 F|f=f|f 在上一节里,我们用希尔伯特空间中的抽象矢量和抽象算符表述了量子力学的基本原理。在进行具体计算时,常常需要选用具体的“坐标系”,即进入具体的表象(一)态矢量在F 表象中的分量形式正如三维空间中的对称矩阵(例如转动惯量张量)的三个本征矢量可以作为三维空间中的坐标系的基矢一样,希尔伯特空间中的厄米算符的本征矢量组也可以作为希尔伯特空间中的“坐标系”的基矢。表象基矢|i,i=1,2,;或|f,f-,1dffaaiaafii或展开任意矢量afaaiafi 或矢量分量分量ai=i|a(i=1,2,)或af=f|a(-f J的态,故 J
展开阅读全文