dirac符号,正规乘积.docVIP

§1.2 坐标、动量表象和粒子数表象 表象（representation微观粒子体系的状态和力学量的具体表示形式×2 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型算符）的被积算符函数化成正规乘积内的积分形式，将内的玻色算符作积分参数处理，使积分得以实现。当然，在积分过程中和积分后的结果中都含有记号。如果将最后的结果的算符排成正规乘积形式，就可以将记号去掉。我们称此技术为正规乘积内的积分技