The semiclassical limit from the Pauli-Poisswell to the Euler-Poisswell system by WKB methods

The self-consistent Pauli-Poisswell equation for 2-spinors is the first order in $1/c$ semi-relativistic approximation of the Dirac-Maxwell equation for 4-spinors coupled to the self-consistent electromagnetic fields generated by the density and current density of a fast moving electric charge. It consists of a vector-valued magnetic Schrödinger equation with an extra term coupling spin and magnetic field via the Pauli matrices coupled to 1+3 Poisson type equations as the magnetostatic approximation of Maxwell's equations. The Pauli-Poisswell equation is a consistent $O(1/c)$ model that keeps both relativistic effects magnetism and spin which are both absent in the non-relativistic Schrödinger-Poisson equation and inconsistent in the magnetic Schrödinger-Maxwell equation. We present the mathematically rigorous semiclassical limit $\hbar \rightarrow 0$ of the Pauli-Poisswell equation towards the magnetic Euler-Poisswell equation. We use WKB analysis which is valid locally in time only. A key step is to obtain an a priori energy estimate for which we have to take into account the Poisson equations for the magnetic potential with the current as source term. Additionally we obtain the weak convergence of the monokinetic Wigner transform and strong convergence of the density and the current density. We also prove local wellposedness of the Euler-Poisswell equation which is global unless a finite time blow-up occurs.