Propagation of Quantum Expectations with Husimi Functions

We analyse the dynamics of expectation values of quantum observables for the time-dependent semiclassical Schrödinger equation. To benefit from the positivity of Husimi functions, we switch between observables obtained from Weyl and Anti-Wick quantization. We develop and prove a second order Egorov type propagation theorem with Husimi functions by establishing transition and commutator rules for Weyl and Anti-Wick operators. We provide a discretized version of our theorem and present numerical experiments for Schrödinger equations in dimensions two and six that validate our results.