Newton–Leibniz integration for ket-bra operators in quantum mechanics (V)—Deriving normally ordered bivariate-normal-distribution form of density operators and developing their phase space formalism

We show that Newton–Leibniz integration over Dirac’s ket-bra projection operators with continuum variables, which can be performed by the technique of integration within ordered product (IWOP) of operators [Hong-yi Fan, Hai-liang Lu, Yue Fan, Ann. Phys. 321 (2006) 480], can directly recast density operators and generalized Wigner operators into normally ordered bivariate-normal-distribution form, which has resemblance in statistics. In this way the phase space formalism of quantum mechanics can be developed. The Husimi operator, entangled Husimi operator and entangled Wigner operator for entangled particles with different masses are naturally introduced by virtue of the IWOP technique, and their physical meanings are explained.