We consider a quantum system consisting of two subsystems (open system and environment). We have proved that the Wigner function of an open system is the integral of the Wigner function of a larger system with respect to coordinates of the phase space of the classical subsystem corresponding to the entourage.

中文翻译：

---

开放量子系统的维格纳函数

我们考虑一个由两个子系统（开放系统和环境）组成的量子系统。我们已经证明，一个开放系统的 Wigner 函数是一个更大系统的 Wigner 函数相对于该随行人员对应的经典子系统相空间坐标的积分。