Newton–Leibniz integration for ket–bra operators in quantum mechanics (IV)—Integrations within Weyl ordered product of operators and their applications

We show that the technique of integration within normal ordering of operators [Hong-yi Fan, Hai-liang Lu, Yue Fan, Ann. Phys. 321 (2006) 480–494] applied to tackling Newton–Leibniz integration over ket–bra projection operators, can be generalized to the technique of integration within Weyl ordered product (IWWOP) of operators. The Weyl ordering symbol is introduced to find the Wigner operator’s Weyl ordering form Δ(p,q) =  δ(p − P)δ(q − Q) , and to find operators’ Weyl ordered expansion formula. A remarkable property is that Weyl ordering of operators is covariant under similarity transformation, so it has many applications in quantum statistics and signal analysis. Thus the invention of the IWWOP technique promotes the progress of Dirac’s symbolic method.