Papers
Topics
Authors
Recent
Search
2000 character limit reached

From magnetized Coulombic quantum dynamics to magnetized fluids

Published 19 Aug 2026 in math.AP | (2608.18476v1)

Abstract: We extend the quantum modulated energy developed in [17] in order to de- rive the magnetized pressureless Euler-Poisson equation as a semiclassical and mean field semiclassical limit from the magnetized Schrödinger-Poisson and von-Neumann equations, respectively. Local well-posedness of the underlying monokinetic PDE is also addressed. In both limits, the magnetic field is external and may be spatially non-uniform. Our results fall in the broader scope of semiclassical and quantum mean field limits for magnetized quantum dynamics.

Authors (1)

Summary

  • The paper proves that magnetized Schrödinger-Poisson and many-body von Neumann dynamics converge to the magnetized pressureless Euler-Poisson system, with rates of order O(ℏ²) and O(ℏ² + N^−β), respectively.
  • The analysis combines quantum modulated energy, magnetic commutator cancellations, and Coulomb-flow estimates to control singular interactions and establish convergence up to the first fluid blow-up time.
  • The results apply to external magnetic potentials satisfying smoothness and decay assumptions, while global convergence, weaker velocity regularity, general non-decaying fields, and self-consistent magnetic fields remain open problems.

Overview

The paper under review establishes rigorous semiclassical and mean-field semiclassical limits for magnetized Coulombic quantum dynamics, deriving the magnetized pressureless Euler-Poisson system in three dimensions. Two limit regimes are treated: the semiclassical limit 0\hbar \to 0 from the magnetized Schrödinger-Poisson equation (SPA), and the joint limit +1/N0\hbar + 1/N \to 0 from the NN-body magnetized von Neumann equation (v-NA). In both cases the target is the monokinetic system

tρ+divx(ρu)=0,tu+uDxu+uJ+xVρ=0,\partial_t \rho + \operatorname{div}_x(\rho u) = 0, \qquad \partial_t u + u D_x u + u\mathbf{J} + \nabla_x V * \rho = 0,

where V(x)=(4πx)1V(x) = (4\pi|x|)^{-1} is the repulsive Coulomb kernel and J=DxADxTA\mathbf{J} = D_x A - D_x^T A is the antisymmetrized Jacobian of the magnetic vector potential AA. The method is a magnetized adaptation of the quantum modulated energy technique introduced by Golse–Paul, combined with the commutator estimates of Serfaty for Coulomb flows. To the author's knowledge, the NN-body result is the first mean-field limit for quantum many-body dynamics that are simultaneously singular (Coulomb) and magnetized.

Main results

Both theorems are conditional on a technical assumption (A1–A2) on AA: smoothness, together with polynomial decay of all derivatives of curlxA\operatorname{curl}_x A at rate +1/N0\hbar + 1/N \to 00 and boundedness of all first derivatives of +1/N0\hbar + 1/N \to 01. This assumption is borrowed from Lührmann's work on mean-field quantum dynamics with magnetic fields and accommodates spatially non-uniform magnetic fields, including linear vector potentials corresponding to constant magnetic fields. The convergence is weak, in +1/N0\hbar + 1/N \to 02 for the density and +1/N0\hbar + 1/N \to 03 for the current, uniformly on +1/N0\hbar + 1/N \to 04 for any +1/N0\hbar + 1/N \to 05 preceding the first blow-up time of the Euler-Poisson solution, and requires the initial modulated energy to vanish as +1/N0\hbar + 1/N \to 06 (resp. +1/N0\hbar + 1/N \to 07).

The first theorem treats the one-body problem. Given +1/N0\hbar + 1/N \to 08 with +1/N0\hbar + 1/N \to 09 and classical data NN0, the magnetized quantum density NN1 and the magnetized current

NN2

converge to NN3 and NN4 respectively, in the sense that NN5 provided NN6. The second theorem is the NN7-body analogue: for symmetric density operators NN8 with finite NN9, the one-body marginal density tρ+divx(ρu)=0,tu+uDxu+uJ+xVρ=0,\partial_t \rho + \operatorname{div}_x(\rho u) = 0, \qquad \partial_t u + u D_x u + u\mathbf{J} + \nabla_x V * \rho = 0,0 and current tρ+divx(ρu)=0,tu+uDxu+uJ+xVρ=0,\partial_t \rho + \operatorname{div}_x(\rho u) = 0, \qquad \partial_t u + u D_x u + u\mathbf{J} + \nabla_x V * \rho = 0,1 converge to tρ+divx(ρu)=0,tu+uDxu+uJ+xVρ=0,\partial_t \rho + \operatorname{div}_x(\rho u) = 0, \qquad \partial_t u + u D_x u + u\mathbf{J} + \nabla_x V * \rho = 0,2 and tρ+divx(ρu)=0,tu+uDxu+uJ+xVρ=0,\partial_t \rho + \operatorname{div}_x(\rho u) = 0, \qquad \partial_t u + u D_x u + u\mathbf{J} + \nabla_x V * \rho = 0,3 as tρ+divx(ρu)=0,tu+uDxu+uJ+xVρ=0,\partial_t \rho + \operatorname{div}_x(\rho u) = 0, \qquad \partial_t u + u D_x u + u\mathbf{J} + \nabla_x V * \rho = 0,4, again uniformly on tρ+divx(ρu)=0,tu+uDxu+uJ+xVρ=0,\partial_t \rho + \operatorname{div}_x(\rho u) = 0, \qquad \partial_t u + u D_x u + u\mathbf{J} + \nabla_x V * \rho = 0,5.

Well-posedness of the underlying equations

The paper assembles the analytic prerequisites. Global well-posedness of (SPA) in the magnetic Sobolev space tρ+divx(ρu)=0,tu+uDxu+uJ+xVρ=0,\partial_t \rho + \operatorname{div}_x(\rho u) = 0, \qquad \partial_t u + u D_x u + u\mathbf{J} + \nabla_x V * \rho = 0,6 is imported from Lührmann, with the observation that the tρ+divx(ρu)=0,tu+uDxu+uJ+xVρ=0,\partial_t \rho + \operatorname{div}_x(\rho u) = 0, \qquad \partial_t u + u D_x u + u\mathbf{J} + \nabla_x V * \rho = 0,7-dependent problem follows from the tρ+divx(ρu)=0,tu+uDxu+uJ+xVρ=0,\partial_t \rho + \operatorname{div}_x(\rho u) = 0, \qquad \partial_t u + u D_x u + u\mathbf{J} + \nabla_x V * \rho = 0,8 case by the scaling tρ+divx(ρu)=0,tu+uDxu+uJ+xVρ=0,\partial_t \rho + \operatorname{div}_x(\rho u) = 0, \qquad \partial_t u + u D_x u + u\mathbf{J} + \nabla_x V * \rho = 0,9. The magnetic Sobolev spaces are necessary because V(x)=(4πx)1V(x) = (4\pi|x|)^{-1}0 is not assumed bounded, which is precisely what allows constant magnetic fields; V(x)=(4πx)1V(x) = (4\pi|x|)^{-1}1 does not coincide with the ordinary Sobolev space without boundedness of V(x)=(4πx)1V(x) = (4\pi|x|)^{-1}2.

For the V(x)=(4πx)1V(x) = (4\pi|x|)^{-1}3-body von Neumann equation, self-adjointness of V(x)=(4πx)1V(x) = (4\pi|x|)^{-1}4 is proved via Kato's perturbation theorem. The key estimate controls the pair interaction V(x)=(4πx)1V(x) = (4\pi|x|)^{-1}5 using the 3D Hardy inequality combined with the diamagnetic inequality V(x)=(4πx)1V(x) = (4\pi|x|)^{-1}6, yielding V(x)=(4πx)1V(x) = (4\pi|x|)^{-1}7 with V(x)=(4πx)1V(x) = (4\pi|x|)^{-1}8 after choosing V(x)=(4πx)1V(x) = (4\pi|x|)^{-1}9 small. Stone's theorem then produces the unitary propagator, and a trace estimate shows the modulated energy is well defined for all times.

The magnetized Euler-Poisson system is shown to be locally well posed in J=DxADxTA\mathbf{J} = D_x A - D_x^T A0 by a contraction argument in a Banach space of velocity fields controlled in J=DxADxTA\mathbf{J} = D_x A - D_x^T A1. The proof requires a stability estimate for the transport equation in the J=DxADxTA\mathbf{J} = D_x A - D_x^T A2 norm and an J=DxADxTA\mathbf{J} = D_x A - D_x^T A3 propagation estimate for transported densities. The choice of the bi-Laplacian control on J=DxADxTA\mathbf{J} = D_x A - D_x^T A4 is dictated by the later needs of the modulated energy argument, which requires J=DxADxTA\mathbf{J} = D_x A - D_x^T A5. Local, rather than global, well-posedness is natural since Euler-Poisson solutions may blow up in finite time for general data.

Formal derivation of the magnetized monokinetic system

A proposition of independent interest shows that the zeroth and first velocity moments of the magnetized Vlasov-Poisson equation,

J=DxADxTA\mathbf{J} = D_x A - D_x^T A6

satisfy a moment system with the Lorentz-type term J=DxADxTA\mathbf{J} = D_x A - D_x^T A7. Inserting the monokinetic ansatz J=DxADxTA\mathbf{J} = D_x A - D_x^T A8 and rewriting in terms of J=DxADxTA\mathbf{J} = D_x A - D_x^T A9 yields the target Euler-Poisson system. The computation exploits AA0 and the antisymmetry of AA1, the latter ensuring AA2. This derivation clarifies why AA3, rather than the full curl, appears in the limiting fluid equation.

The semiclassical limit

The core of the argument is the computation of the time derivative of the magnetized quantum modulated energy

AA4

Working with the magnetic Hartree equation satisfied by the rank-one projector AA5, the author derives

AA6

where AA7. The decisive new ingredient is a cancellation lemma: for antisymmetric AA8, the magnetic contributions arising from AA9 cancel identically against the NN0 terms from the Euler equation. The identity rests on the fact that NN1 and NN2 are commuting multiplication operators. This cancellation is the magnetic counterpart of the structural alignment between the quantum commutator structure and the classical Lorentz force; without it, the Grönwall argument would fail.

Both residual terms are then bounded: the trace term by NN3, and the interaction term by NN4, using the identity NN5. Grönwall's lemma yields NN6, so the convergence rate in NN7 is at least NN8 modulo the initial data. The convergence of NN9 to AA0 then follows by standard arguments unaffected by the magnetic field.

The mean-field semiclassical limit

The AA1-body argument uses a renormalized modulated energy

AA2

where AA3 and the additive AA4 correction (from Duerinckx's lemma) guarantees non-negativity despite the Coulomb singularity. The time-derivative computation parallels the one-body case, with the same magnetic cancellation lemma applied particle by particle, and the interaction part reorganizes into

AA5

Bounding this term requires Serfaty's commutator estimate for Coulomb flows, giving AA6 for some AA7. The resulting Grönwall inequality,

AA8

is the main quantitative output: the joint convergence holds with rate AA9.

Admissible initial data

The paper constructs wave functions realizing curlxA\operatorname{curl}_x A0 for initial data curlxA\operatorname{curl}_x A1 with curlxA\operatorname{curl}_x A2, curlxA\operatorname{curl}_x A3, and curlxA\operatorname{curl}_x A4 with curlxA\operatorname{curl}_x A5. The construction partitions the support of curlxA\operatorname{curl}_x A6 into cubes of width curlxA\operatorname{curl}_x A7 and builds a WKB-type superposition curlxA\operatorname{curl}_x A8 with curlxA\operatorname{curl}_x A9, subject to the scaling condition +1/N0\hbar + 1/N \to 000. The kinetic part is controlled through three terms: an +1/N0\hbar + 1/N \to 001 term from +1/N0\hbar + 1/N \to 002, a cutoff-gradient term +1/N0\hbar + 1/N \to 003, and a localization error +1/N0\hbar + 1/N \to 004 from the Lipschitz variation of +1/N0\hbar + 1/N \to 005. The tensor product ansatz +1/N0\hbar + 1/N \to 006 then reduces the +1/N0\hbar + 1/N \to 007-body initial energy to the one-body one, plus a +1/N0\hbar + 1/N \to 008 self-interaction remainder that vanishes since +1/N0\hbar + 1/N \to 009.

Notably, the author points out that the admissible-data construction of Ben-Porat–Chen–Yuan for the quantum quasi-neutral limit does not transfer here, since it perturbs the Laplacian by a gradient, which would force the magnetic field to vanish.

Limitations and open questions

Several restrictions are acknowledged. The assumption A1–A2 excludes general magnetic fields with non-decaying curl beyond the linear case; in particular, the treatment of arbitrary uniform fields via linear potentials is covered, but the decay condition on +1/N0\hbar + 1/N \to 010 is a genuine constraint for non-uniform fields. The convergence is weak (+1/N0\hbar + 1/N \to 011 and +1/N0\hbar + 1/N \to 012) and holds only up to the first blow-up time of the Euler-Poisson solution; no global-in-time result is claimed, and blow-up can occur in finite time for repulsive Euler-Poisson. The regularity demanded of +1/N0\hbar + 1/N \to 013 — Lipschitz with bounded Laplacian — is stronger than what the modulated energy argument strictly needs, and the author explicitly raises whether it can be relaxed. The obstacle is identified precisely: for +1/N0\hbar + 1/N \to 014 with +1/N0\hbar + 1/N \to 015, controlling +1/N0\hbar + 1/N \to 016 would require uniform-in-+1/N0\hbar + 1/N \to 017 +1/N0\hbar + 1/N \to 018 bounds on +1/N0\hbar + 1/N \to 019, which in the unmagnetized case follow from propagation of quantum moments but whose magnetized extension appears non-trivial for general Lipschitz +1/N0\hbar + 1/N \to 020. The author further notes that such a propagation of quantum moments result would likely be a key ingredient for deriving the magnetized Vlasov-Poisson equation as a semiclassical limit from (SPA), which remains open. Finally, the derivation targets external magnetic fields only; the self-consistent case, i.e. monokinetic PDEs with self-consistent magnetic fields from quantum many-body dynamics, is left as the principal open problem.

Conclusion

The paper extends the quantum modulated energy method to magnetized Coulombic quantum dynamics and obtains, with explicit rates +1/N0\hbar + 1/N \to 021, the magnetized pressureless Euler-Poisson system as both a semiclassical and a mean-field semiclassical limit. The mathematical substance lies in identifying the exact cancellation structure between the magnetic commutator +1/N0\hbar + 1/N \to 022 and the Lorentz term +1/N0\hbar + 1/N \to 023 in the limiting fluid equation, a cancellation that persists at the +1/N0\hbar + 1/N \to 024-body level and combines with Serfaty's Coulomb commutator estimates to close the Grönwall argument. The results are conditional on vanishing initial modulated energy, for which admissible WKB-type data are constructed, and on the decay assumptions A1–A2 on the vector potential.

Paper to Video (Beta)

No one has generated a video about this paper yet.

Whiteboard

No one has generated a whiteboard explanation for this paper yet.