Local Wellposedness and Global Weak Solutions of the Pauli-Darwin/Poisswell Equations
Pierre Germain, Norbert J. Mauser, Jakob Möller
TL;DR
The authors establish the first rigorous local well-posedness results in $H^s(\mathbb{R}^3)$ with $s>\tfrac{3}{2}$ and global finite-energy weak solutions for the Pauli-Darwin and Pauli-Poisswell semi-relativistic Pauli systems coupled to self-consistent Maxwell-type fields. They develop a parabolic regularization that yields energy dissipation, derive robust elliptic bounds for the potentials $V$ and $A$, and employ compactness (Aubin–Lions) to pass to the limit, obtaining global weak solutions in the energy space. The work contextualizes the models within semi-relativistic quantum electrodynamics and contrasts them with the broader Schrödinger–Maxwell literature, highlighting spin coupling via the Pauli operator and the Leray projection’s role in enforcing divergence-free currents. Together, these results advance the rigorous mathematical theory of first-order semi-relativistic quantum models with self-consistent electromagnetic fields and lay groundwork for future research at lower regularity and in broader gauge settings.
Abstract
We construct local (in time) strong solutions in {$H^s(\mathbb{R}^3)$, $s>3/2$} and global weak solutions with finite energy for both the Pauli-Darwin and the Pauli-Poisswell systems. These are the first rigorous results on local and global wellposedness for these nonlinear first-order semi-relativistic quantum models for fast moving electrons. The Pauli equation is essentially a vector-valued magnetic Schrödinger equation for a 2-spinor with an additional Stern-Gerlach term coupling spin and magnetic field, keeping terms up to first order in $1/c$, where $c$ denotes the speed of light. The self-consistent electromagnetic field is computed from the charge density and current density by semi-relativistic approximations of the Maxwell equations: the Poisswell equation at $O(1/c)$ and the Darwin equation at $O(1/c^2)$.\\ We present the physics and asymptotic relations and provide proofs that rely on energy estimates for the strong solutions and compactness with an appropriate regularization for the weak solutions.
