迈向量子动力学方程的严格推导

我们发展了一个严格的形式体系，用于描述量子多粒子系统状态在单粒子密度算符框架下的演化。对于由单粒子密度算符指定的初始状态，我们在迹类算子空间中建立了由量子 BBGKY 级联的柯西问题描述的量子多粒子态演化与由广义量子动力学方程及其解的显式定义泛函序列的柯西问题描述之间的等价性。讨论了特定量子动力学方程与广义量子动力学方程的联系。