量子系统哈密顿量的必要条件

Original 汪克林曹则贤中国物理学会期刊网 2022-10-06

|作者：汪克林¹ 曹则贤^2，†

(1 中国科学技术大学近代物理系)

(2 中国科学院物理研究所)

本文选自《物理》2022年第9期

摘要在此前的量子理论中，哈密顿量被要求是厄米算符，这既保证了其本征值谱为实又保证了动力学演化过程几率守恒。近年来，一些非厄米哈密顿量被发现同样满足这两条要求。然而，这两条要求都是哈密顿量可描述量子系统动力学的充分条件而非必要条件。文章中我们从量子化条件和动力学演化方程出发，考察一般形式的哈密顿量，表述为产生算符和湮灭算符之正规积的形式，欲为恰当的哈密顿量所应满足的必要条件。对于形如Ĥ=p̂²+ix̂³和Ĥ=p̂²-x̂⁴这样的近年来得到广泛关注的非厄米哈密顿量，容易验证它们满足必要性条件。必要性条件可以用来及时排除那些不恰当的非厄米哈密顿量形式。

关键词 哈密顿量，厄米性，非厄米哈密顿量，必要条件，量子化条件，动力学方程

01引言

作为用来描述物理系统动力学的哈密顿量，当被用于量子系统时，过去一直被要求是厄米算符，满足Ĥ=Ĥ⁺。对哈密顿量施加这个狄拉克厄米性条件的理由是，哈密顿量的厄米性保证其能量谱全为实数，且保证系统在动力学演化过程中几率守恒，因为哈密顿量的厄米特性保证了动力学演化算符e^-iĤt(设定ℏ=1)是酉正的。这个厄米性条件本质上应该算是个数学意义上的要求。因为数学上的清晰证明，这个条件此前在物理文献中被爽快地接受了下来而未予深入讨论。然而，应该看到狄拉克厄米性条件只是个充分条件，却不是必要条件。2007年，Bender在一篇综述性文章中指出，可以找到一些非厄米的哈密顿量形式，比如Ĥ=p̂²+ix̂³和Ĥ=p̂²-x̂⁴，满足本征值谱为实以及保证演化过程中几率守恒这两个条件^[1]。基于非厄米哈密顿量的量子理论研究近年来得到了广泛的关注，也获得了很多新颖的关于非厄米哈密顿量所描述之量子体系的认识。然而，就笔者对文献的有限把握而言，关于什么样的哈密顿量是恰当的哈密顿量，即可用来描述量子体系动力学的哈密顿量，相关问题之必要条件的讨论是不充分的，如果不是未曾引起注意的话。有必要从量子理论的某些一般性要求出发，找到恰当的哈密顿量应满足的必要性条件。至于意义，一个最直接的作用就是可以迅速排除那些肯定无效的非厄米哈密顿量候选形式。实际上，尽可能全面地考察量子理论中的一些论述是有益的，一些先入为主的观念确曾妨碍了对问题的及时正确认识。比如，非厄米哈密顿算符此前只被用来描述耗散过程，它被认为不可能是基本的，因为相应的演化算符不是酉正的。如今我们知道这种观念有许多值得商榷的地方。

关于是否有必要讨论量子问题之充分必要条件的问题，在量子力学建立之初就有一个典型案例，即辐射能量量子化作为得到黑体辐射普朗克公式之充分必要条件的证明对确立量子理论的意义。1900年，普朗克引入辐射能量量子化的假设E=nhν，n=0，1，2‧‧‧ 得到了描述黑体辐射谱的普朗克公式。此后，普朗克为了摆脱这个辐射能量量子化假设进行了十余年的挣扎，为他赢得了“违背自己意愿的革命家”的称号。1912年，数学家庞加莱给出了辐射能量量子化是得到黑体辐射公式之充分必要条件的证明^[2]。令人忍俊不禁的是，这个工作以后，普朗克否定自己提出的能量量子化假设的努力才终告消停，在这个过程中普朗克还提出了零点能的概念，以消除前述表述E=nhν中由n=0所带来的一些困惑^[3]。

本文中，我们将从量子化条件(对偶物理量之间的对易关系)和动力学演化用薛定谔方程描述(演化算符为e^-iĤt)这两个量子理论的基本要求出发，讨论可描述量子系统的恰当的哈密顿量所应该满足的必要性条件。此处具体讨论以一维情形为例，结论可以推广到多维空间的情形。

02推导与讨论

哈密顿量是对偶的一对算符，位置算符x̂，和动量算符p̂，的函数。加于位置算符和动量算符之上的所谓量子化条件，表现为对易关系

可对算符x̂，p̂作变换

其中的湮灭算符a，和产生算符a⁺，满足关系式

这样，就把关于哈密顿量的讨论从用算符x̂，p̂的表示转向用算符a，a⁺的表示。

在算符a，a⁺表示中，哈密顿量总可以表示为正规积的形式

上述表示的合理性，可参考一般张量的表示或者几何代数中一般多矢量的表示加以理解。比如，一般的逆变二阶张量T^μν总可以写成由逆变矢量直积而来的特殊二阶张量A^μB^ν相加而成，T^μν=A^μB^ν+A' ^μB'^ν+A'' ^μB'' ^ν+…^[4]。在代数几何中，一般多矢量可以由不同阶(grade)的齐次多矢量相加构成，而一定阶的齐次多矢量总可以表述为由基矢量通过外积所构成的单纯叶(pure blade)之和，形式与(4)可相类比^[5]。将一般代数量表示为基之积然后求和，这是代数的本义。接下来关于哈密顿量的讨论都基于(4)式所给的一般形式。

在薛定谔图景中讨论量子系统的演化问题，湮灭算符和产生算符，a，a⁺，是不依赖于时间的常算符，系统的状态函数随时间改变，遵从薛定谔方程。如果转而在Heisenberg图景中讨论，动力学算符须看作是时间依赖的，任意力学量算符Ô(t)随时间t的变化遵从方程

在接下来的讨论中我们将采用Heisenberg图景。时间依赖的湮灭算符、产生算符应记为a(t)，a⁺(t)的形式，不过为了简单，我们依然采用a，a⁺的记号，只要谨记接下来的讨论是在Heisenberg图景下进行的即可。

对于这样的力学体系，有

故而结合动力学方程(5)有关系式p̂=Mi[Ĥ，x̂]，也即

求(7)式与湮灭算符a的对易式，得

求(7)式与产生算符a⁺的对易式，得

结合(8)与(9)，可得等式

根据量子化条件(3)，有如下计算结果

这样，由(10)式左侧可得

由右侧可得

也就是说，量子化条件和动力学算符演化方程要求(4)式中的哈密顿量一般形式须满足关系式

等式(12)中，左右两侧的第一项是相同的，可相抵消，故得

注意，(13)式不是数学意义上的恒等式，它并不总是成立的。(13)式构成一个一般形式的哈密顿量可以作为量子系统的恰当的哈密顿量，即在存在量子化条件(3)的前提下可用于方程(5)以描述量子系统的动力学演化过程，的必要条件。

进一步地，可在(13)式左侧引入替换(n-2)→n，右侧引入替换(m-2)→m，将(13)式改写成

由于(5)式、(12)—(14)式中不同(m, n)组合的项是相互独立的，故而条件(12)—(14)意味着要求

这就是(4)式中一般形式的哈密顿量作为恰当的哈密顿量首先应该满足的必要条件。

在一般物理问题中，形如

的哈密顿量，其中算符x̂的幂指数n都是一个小的整数，因此哈密顿量一般形式中的算符幂指数(m, n)也是小的整数。对于m，n≤3的情形，必要条件(15)式具体罗列如下：

其它的(m, n)组合可以此类推。

现在考察(15)式可作为量子体系之恰当的哈密顿量应满足的必要条件，是否经得起检验。一般粒子处于外势中的量子系统，其哈密顿量取(16)式的形式。利用变换(2)，可将(16)式中的哈密顿量改写成产生算符和湮灭算符的函数

具体地，对于当前受到广泛关注的非厄米哈密顿量

和

可以验证，当表示成产生算符和湮灭算符的正规积形式时，它们确实满足(15)式的必要条件。对于(18)式的哈密顿量，正规积形式中包括3(a⁺)²a+a³项，显然这满足关系式6A₀₃=2A₂₁。又，对于(19)式的哈密顿量，正规积形式包括6(a⁺)²a²+a⁴项，显然满足关系式12A₀₄=2A₂₂。对于形如Ĥ=p̂²+V₀x̂⁵的哈密顿量，问题稍微复杂一点，其正规积形式中，可见A₂₃=10，A₄₁=5，满足条件6A₂₃=12A₄₁；可见A₃₂=10，A₅₀=1，满足条件2A₃₂=20A₅₀；可见A₀₃=9，A₂₁=27，满足条件6A₀₃=2A₂₁。由此可以得出结论，不妨也将Ĥ=p̂²+V₀x̂⁵当作一个恰当的哈密顿量加以研究，虽然我们不知道这个形式的哈密顿量可以用于什么样的量子体系。

接下来我们考察一下反例。比如如下形式的哈密顿量

将势能项表示成产生算符和湮灭算符的正规积形式，其中有(a⁺)²a-a³项，显然不满足关系式6A₀₃=2A₂₁。由此可以判定，形如(20)式的哈密顿量不是恰当的哈密顿量。又比如形如

的哈密顿量，其势能项表示成产生算符和湮灭算符的正规积形式时，有(a⁺)⁴项，但(a⁺)²a²项缺失，显然不满足关系式12A₀₄=2A₂₂。此外，有2(a⁺)³a-2a⁺a³项，它也不满足关系式6A₁₃=6A₃₁。由此可以判定，形如(21)式的哈密顿量不是恰当的哈密顿量。

03小结

对于“什么样的哈密顿量才是可以用来描述量子体系的恰当的哈密顿量”这样的基本问题，至今的讨论，包括关于非厄米哈密顿量的研究，关注的都是充分条件。本文开启了对必要条件的讨论，得到了关于表示为湮灭算符和产生算符之正规积形式的哈密顿量在量子化条件的前提下可用于动力学演化方程所应该满足的必要条件。可以验证，那些过去已被当作恰当的量子系统哈密顿量，包括近年来得到关注的非厄米哈密顿量，是符合本文得到的必要条件的；反之，形如Ĥ=p̂²+V₀p̂x̂²或者Ĥ=p̂²+V₀p̂x̂³这样的没被采用过的哈密顿量则明显不符合必要条件。未来在构造量子体系的物理模型时，为了判定所采取的哈密顿量形式，尤其是非厄米哈密顿量，是否恰当时，通过这里的必要性条件检验是必要的。