我觉得 @傅铁强 已经说得很明白了,我这里梳理一下思路。因为整个推导需要同时用到量子力学的基础知识,和(注意这里仅讨论平衡态统计力学,非平衡态统计力学还没有完善的理论)统计力学的基本假设:
统计力学里,有兴趣的是统计算符,而用得最多的,是玻尔兹曼算符(其他统计算符同理,反正在热力学极限下,所有的统计算符将给出一样的结果):
那么要做具体计算,显然弄一套让统计算符为对角的表象最为合适。肉眼观察,统计算符是哈密顿量的函数,那么能让哈密顿量成为对角的表象,也能让统计算符为对角的。
考虑密度算符( 是系综中系统的数目):
这里并没有规定 是什么态。它只需要是某一个Hilbert空间里的态矢量即可。注意系综里所有的系统,都共享同一个Hilbert空间。(以下推导使用了量子统计力学的独有的基本假设:先验无规相位假设)
这是一个非对角矩阵。但是平衡态统计力学里,只关心密度矩阵的迹,因为密度矩阵的信息是过量的,在平衡态统计力学里只有迹是有用的。容易验证上边的本征态表象下的密度矩阵仍然满足密度矩阵的三个主要性质。
(三个主要性质见这里:Dan C. Marinescu, Gabriela M. Marinescu, inClassical and Quantum Information, 2012)
性质1:
性质2:
这就是:
性质3:
正定。容易证明,留做习题。
(相关推导可见:Jay Theodore CremerJr., in Advances in Imaging and Electron Physics, 2012;William H. Louisell, Quantum Statistical Properties of Radiation, Wiley 1973)
密度矩阵入门级的详细讨论:
量子统计近几十年的发展表明,过去的想法有不完全的地方。Pathria的最新版统计力学已经写进去了本征值热化和多体局域化这两个重要论题。
很简单,因为你看的是经典统计力学。真正的量子统计力学不会只字不提密度矩阵算子光讲半天“哪个粒子占据了哪个能级上的哪个态”的。既然本质是经典理论,那当然不讨论量子叠加态了。这就跟玻尔的旧量子论一样的,虽然也用一些量子力学术语,但思路还是经典的。你不能指望它能完全重现所有的量子效应:
(以下可能有细节疏漏,请 @贾明子 @Triborg @赵明毅@渣渣健@正樹@赵泠@lesser@荀白龙@李长星@Mistmoore@田三川难波兎NO.2@Xi Yang@Pieris CuiHJo@PhilosopherMBJ@张越之@DerJungePrinz 诸位老师指教)