dirac符号,正规乘积.doc

1.2 坐标、动量表象和粒子数表象 表象（representation）原指客观事物在人类大脑中的映象，量子力学中的“表象”最早由Dirac引入，用以描述不同坐标系下微观粒子体系的状态和力学量的具体表示形式。他把系统状态的波函数看成抽象空间中的态矢量在某个表象中的表示，力学量的本征函数即此空间的一组基矢。完备性是基矢成为表象的必要条件，但完备性的证明则因其烦琐和缺乏普适而有力的积分方法而成为历来困扰物理学家的一个难题，这极大地限制了新表象的发现。由于针对不同的问题选取适当的表象进行求解往往可以达到事半功倍的效果，而新表象的缺乏也使得对量子力学中某些问题的探讨变得异常困难。IWOP技术恰恰提供了构建各种新的表象的有效方法。它赋予基本的坐标、动量表象完备关系以清晰的数学内涵并将其化为纯高斯积分的形式，从而使其成为对于数学家而言“如同22=4一样简单的东西”；它也可以简化相干态完备性的证明，其结果与通常的展开相干态为粒子数态（Fock表象）的方法殊途同归；对于给定的基矢，通过类似的方法也可以容易地检验其完备性或做出合适的推广，导致大量新表象的出现，如多粒子纠缠态表象、相干纠缠态表象等，它们使量子力学理论绚丽多彩。在介绍IWOP技术之前，我们需要回顾一些必要的基础知识.令、 分别为厄米的坐标和动量算符，满足Heisenberg正则对易关系（为普朗克常数） （1.2.1） 和的本征态分别是 和，则有； ； （1.2.2）且， ， （1.2.3）Dirac给出的完备性关系是， 。 （1.2.4）态的引入可以从谐振子哈密顿量的因式分解法（factorization method）加以说明。在因式分解中引入了升、降算符概念，把谐振子相邻能级和本征态联系起来。假设一维谐振子的哈密顿量是 ， （1.2.5）用和 定义湮灭算符 和产生算符，是 的厄米共轭，即， （1.2.6）， （1.2.7）则易得 。 （1.2.8）一维谐振子的哈密顿量可改写为， （1.2.9）定义粒子数算符，它的本征态记为，则有，中的最低一个态 为基态，则必然有。容易证明， （1.2.10）张成的空间是完备的 （1.2.11）而且， ， （1.2.12）基态的波函数可由下式给出， （1.2.13）即， （1.2.14）其中c是归一化常数，可以由下式定出。 （1.2.15）所以。 （1.2.16）以下为方便起见，取自然单位 ，则由（1.2.4），（1.2.10）和（1.2.16）式得 。 （1.2.17）利用Hermite多项式表达式 （1.2.18）或。 （1.2.19）则（1.2.18） 式变为， （1.2.20）由（1.2.11）和（1.2.20），可以写出坐标本征态 的表象， （1.2.21）其中用了Hermite多项式的母函数公式。 （1.2.22）类似可以导出 ， （1.2.23）于是，动量本征态的表象为 ， （1.2.24）当恢复 后，和的表达式应分别是， （1.2.25）。 （1.2.26）注意：都为无量纲算符。可以证明与的内积是 ， （1.2.27）这恰是Fourier变换的核。1.3 有序算符内积分技术Pierre-Simon Laplace（拉普拉斯）曾说：“认识一个天才的研究方法，对于科学的进步。并不比发现本身更少用处”。量子力学的另一位创始人也十分重视理论方法，他曾说：“De Broglie能从一个巨大的理论框架上思考问题，这一点确实比我高明，那是我过去所不知道的。 De Broglie在数学技巧上的处理和我过去的工作差不多，只是稍微正规些，却并不优美，更没有从普遍性上加以说明。”正是这种对普遍性规律的追求，促使在汲取De Broglie科学思想的基础上，去寻找波动方程的数学表达式，从而建立一种更普遍的波动理论。本节介绍如何用正规乘积内的积分方法发展符号法, 以便对天才的Dirac的研究方法有更深刻的了解。 虽然正规乘积起源于量子场论, 并在Louisell的书5中有所介绍，我们觉得其有关性质需作进一步阐明。关于玻色算符和的任何多项式函数不失一般性可写为其中是正整数或零。利用玻色算符对易关系，总可以将所有的产生算符都移到所有湮灭算符的左边，这时我们称已被排列成正规乘积形式，以标记6。其有关性质是： 在正规乘积内部玻色子算符相互对易。即，又因，所以又有 C数可以自由出入正规乘积记号。 由于性质，故可对正规乘积内的C数进行积分或微分运算，前者要求积分收敛。 正规乘积内的正规乘积记号可以取消。 正规乘积与正规乘积之和为。 正规乘积算符的相干态矩阵元为. 真空投影算符的正规乘积展开式是。下面我们给出其严格证明，由粒子态的完备性可得， （1.3.1）设（待定），则， （1.3.2）即，有成立。利用这个关系可得 （1.3.3）以及= （1.3.4） 厄米共轭操作可以进入内部进行，即 这条也与性质密切相关，例如 。 正规乘积内部以下两个等式成立，它们也来源于性质。 （1.3.5） 对于多模情况，上式可作如下推广 （1.3.6）正因为有了正规乘积的这一系列性质，我们就可以很顺利地将形如（*1）（ket-bra型算符）的被积算符函数化成正规乘积内的积分形式，将内的玻色算符作积分参数处理，使积分得以实现。当然，在积分过程中和积分后的结果中都含有记号。如果将最后的结果的算符排成正规乘积形式，就可以将记号去掉。我们称此技术为正规乘积内的积分技术。 根据上述的对算符函数的积分思想，我们具体处理（*1）式。现将（1.2.24）代入，并令，得 ， （1.3.7）把代入，得， （1.3.8）可以看出，在的左边是产生算符函数，右边是湮灭算符函数，根据前面的性质，整个被积的算符函数已经是正规乘积形式，所以可将左边的移到第一个函数前，将右边的移到第三个函数后。根据性质在内所有玻色子算符相互对易, 就可以将三个函数进行指数上的普通加法，这样就实现了算符积分函数的 数化. 于是（1.3.8）写成， （1.3.9）现在和在“”内对易，可被视为普通积分参数，利用性质积分得 ， （1.3.10）其中 ， ， 。进一步要去掉（1.3.10）中的记号“”，为此，用性质，和导出算符恒等式 。 （1.3.11）则，（1.3.10）为， 。 （1.3.12） 这样我们就实现了对符号算符的积分。以上讨论也表明：投影算符具有测量算符的性质，在这个意义下，所以表象的完备性可以看成是测量的完备性，由此又可以看到波函数表达式中，左边的意义不如右边的意义深刻，因为隐含了投影算符对的测量。因为， ， （1.3.13）故知为单模压缩算符, 且有如下性质：么正性。根据，则 。 （1.3.14） 压缩性。利用算符恒等式， （1.3.15）诱导出压缩变换， （1.3.16）这就是著名的变换（也称为压缩变换）7，它被广泛地应用于量子光学、超导理论和原子核理论中。上述讨论表明用Dirac的动量本征态按前言中的（*1）式构造算符，并用技术积分后就给出诱导变换的么正算符；即在经典相空间中的尺度变换能够映射出量子么正变换，。另外，因为（1.3.12）式中，构成李代数, 单模压缩算符具有结构。看到这式子的对称美， 这些例子都表明了：Dirac的符号是可以用IWOP技术积分的, 构造有物理意义的ket-bra积分式并积分之, 就可以从Dirac的基本表象出发构造出许多量子力学么正变换，从而定义新的量子力学态矢。1.4 量子力学坐标, 动量表象和相干态表象完备式的纯高斯型积分形式 初学量子力学时，坐标和动量表象的完备性常是作为坐标系完备的基本常识(即在全空间找到粒子的几率为1)来理解，给我们留下很少的思考余地，以致很难发掘出它的深层次数理结构；然而用IWOP技术处理表象的完备性却是“柳暗花明又一村”。如坐标表象现在可以进一步写为 ， （1.4.1）考虑到，则。 （1.4.2）这是一个纯Gauss积分，这使人想起有关法国数学家ClaudJoseph Liouville（刘维尔）的一个小故事，Liouville对复变函数，椭圆函数，微分方程，积分方程，代数几何，超越数，数论都作出了贡献，发表了约400篇论文，纯粹与应用数学就是他在1836年创办的 (当时我国正处在清道光年间)，并担任编辑达40年之久。英国物理学家 J.J.Thomson（汤姆森电子荷质比的首次测定者)有一次在课堂上讲课，用了“数学家”这个词,话还没有讲完,就转向学