Wigner function properties for electromagnetic systems

Using the Wigner-Vlasov formalism, an exact three-dimensional solution of the Schr"odinger equation for a scalar particle in an electromagnetic field is constructed. Electric and magnetic fields are nonuniform. According to the exact expression for the wave function, the search for two types of Wigner function is conducted. The first function is the usual Wigner function with a kinetic momentum. The second Wigner function is constructed on the basis of the Weyl-Stratonovich transform [Javanainen et al., Phys. Rev. A 35, 2791 (1987); Nedjalkov et al., Phys. Rev. B 99, 014423 (2019)]. It turns out that the second function, unlike the first one, has areas of negative values for wave functions with the Gaussian distribution (Hudson's theorem). An example of an electromagnetic quantum system described by a non-Gaussian wave function has successfully been found. The second Wigner function is positive over the whole phase space for the non-Gaussian wave function. This result is analogous to the Hudson theorem for the gauge invariant Wigner function. On the one hand, knowing the Wigner functions allows one to find the distribution of the mean momentum vector field and the energy spectrum of the quantum system. On the other hand, within the framework of the Wigner-Vlasov formalism, the mean momentum distribution and the magnitude of the energy are initially known. Consequently, the mean momentum distributions and energy values obtained according to the Wigner functions can be compared with the exact momentum distribution and energy values. This paper presents this comparison and describes the differences. The Vlasov-Moyal approximation of average acceleration flow has been built in phase space for a quantum system with an electromagnetic field. The obtained approximation makes it possible to cut the Vlasov chain off at the second equation and also to analyze the Boltzmann H-function evolution. By averaging the Vlasov-Moyal approximation over momentum space we can derive an expression for the electromagnetic force of the classical system. This averaging makes the high-order quantum terms disappear from the ``motion equation.''