陶俊琦 王 蒙 程剑剑 郑 华
(陕西师范大学物理学与信息技术学院,陕西 西安 710119)
Glauber公式在量子力学中有着十分重要的应用,特别是量子力学中的问题被转化成算符操作后,比如利用平移算符作用在真空态上产生谐振子的相干态。Glauber公式给出了两个算符之和的指数与算符指数之积的关系,它的具体表达式为
应用Glauber公式的条件是算符与算符分别与它们的对易子[]对易。由于量子力学中常见的坐标与动量算符、产生与湮灭算符之间都满足Glauber公式的应用条件。因此Glauber公式是量子力学中十分重要的公式之一。对Glauber公式的证明也是非常重要的内容。笔者通过对量子力学的学习与对大量量子力学教材和习题集的调研发现[1-22],对Glauber公式的证明方法主要有两种。笔者认为这两种方法都有其优缺点,我们在正文中会做详细讨论。笔者在本文中通过构造的方法,利用Baker-Hausdorff公式和算符的指数展开公式,给出了一种新的Glauber公式的证明方法。此方法不仅简洁、简单,同时具有思辨性,可以作为Glauber公式证明的另一种教学选择。
量子力学教材中,第一种常用证明方法如下[2](注:不同教材和习题集的证明方法可能与下述证明方法略有不同,但本质上属于同一种方法)。先构造一个含有参变量的算符指数的函数
其中λ为参变量。然后对参变量求导
利用Baker-Hausdorff公式
和算符与算符分别与它们的对易子]对易,可得
将式(5)代入式(3),可得
然后将(λ)除到式(6)左侧的分母
对上式积分后得到满足条件(0)=1的解为
在式(8)中令λ=1,即证明了Glauber公式
容易看出式(9)即式(1)的变体。
上述证明过程中,我们需要注意式(7)。在式(7)左侧(λ)被除到了分母。(λ)是构造的含有参变量的算符指数的函数,然而与算符对应的矩阵是没有除法的。这是笔者认为的此证明方法存在的一点瑕疵。但如果忽略式(8)的求解过程式(7),直接将式(8)代入式(6)进行验证,此证明方法的瑕疵就消失了。
第二种常用的证明方法如下[14]。首先我们需要证明以下公式(详细证明见参考文献[14],在此我们就不赘述了)
其中符号()n表示不能使用普通代数中的二项式定理进行展开,必须考虑算符的对易性质。而符号[]n-2i表示不考虑算符与算符对易性质,可以用代数中的二项式定理展开,但算符一律写在算符的前面。上述两种符号相应的二次幂展开式如下
利用算符的指数函数展开,我们可以得到如下关系
然后利用式(10)和式(13),即可直接证明Glauber公式
此证明方法非常严格,但需要提前证明式(10)和式(13)。如果考虑所有必须的证明过程,整个证明过程略显复杂。
从上述两种常用证明方法的讨论中可以看出,两种证明方法各有其优缺点。第一种方法虽然简洁明了,但存在一点瑕疵;第二种证明方法虽然严谨,但却略显复杂。笔者将在下文中给出了一种新的比较简洁的Glauber公式的证明方法。
利用Baker-Hausdorff公式(式(4)中令λ=1)可得
因此,可以构造如下恒等式
将所有构造的恒等式两边都乘以与其幂指数n相应的常数因子后相加并利用算符指数函数的展开式,可以得到
利用算符与算符分别与它们的对易子[]对易和式(16),可得
当算符与算符对易时,即[]=0,我们有。因此我们可以猜测,当算符与算符不对易时有
我们要求当[]=0 时,f([])=1。但f([])的具体形式是不知道的。由于我们所讨论的是算符指数的运算,根据“物以类聚”的逻辑,自然的一种猜想为f([])=ex[],其中x为待定系数。式(23)可以写为
将式(24)代入式(22)的右边
对比最后两行,只有当x=-时才成立。因此Glauber公式得证
笔者对Glauber公式在量子力学教材中的两种常用证明方法的优缺点进行了相应的讨论,并给出了一种新的证明Glauber公式的方法。该证明方法十分简洁和简单,只利用了Baker-Hausdorff公式和算符的指数展开公式,但需要加入一点思辨进行合理的猜想。这为学生学习证明Glauber公式提供了一种新的思路,同时对提高学生的创新能力也具有一定的启发意义。