Time evolution of Wigner functions governed by bipartite Hamiltonian system with kinetic coupling

for the bipartite hamiltonian system with kinetic coupling, we derive time evolution equation of wigner functions by virtue of the bipartite entangled state representation and entangled wigner operator, which just indicates that choosing a good representation indeed provides great convenience for us to deal with the dynamics problem.