pith. sign in

arxiv: 2406.02460 · v5 · submitted 2024-06-04 · 🧮 math.AP · math.CA

Modified scattering for the three dimensional Maxwell-Dirac system

Sebastian Herr , Mihaela Ifrim , Martin Spitz This is my paper

Pith reviewed 2026-05-24 00:16 UTC · model grok-4.3

classification 🧮 math.AP math.CA
keywords global well-posednessmodified scatteringMaxwell-Dirac systemLorenz gaugewave packetsKlein-Gordon equations
0
0 comments X

The pith

The massive Maxwell-Dirac system in three dimensions has global solutions exhibiting modified scattering when started from small smooth decaying data.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes global well-posedness together with a precise description of long-time asymptotics for the massive Maxwell-Dirac system placed in the Lorenz gauge on three-dimensional space. It works directly on the Dirac equations by adapting wave-packet testing, while using the structural link to wave-Klein-Gordon equations to control the electromagnetic component. A reader would care because the result supplies a rigorous long-time picture for a classical model of electromagnetic fields interacting with relativistic spin-1/2 particles.

Core claim

For initial data that are small in a high-regularity weighted Sobolev norm, the massive Maxwell-Dirac system in the Lorenz gauge possesses global solutions whose behavior inside the light cone is captured by a modified scattering profile obtained through wave-packet testing.

What carries the argument

Wave-packet testing method applied directly to the Dirac equations, combined with the Lorenz gauge to close the estimates for the coupled system.

If this is right

  • Solutions exist for all time once the initial data satisfy the smallness condition.
  • The electromagnetic and Dirac fields admit explicit asymptotic expansions inside the light cone.
  • The proof structure avoids an additional smallness penalty that often appears in similar systems.
  • The same testing method yields control on the difference between the nonlinear solution and its linear counterpart at late times.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The direct Dirac-level approach may extend to other massive Dirac couplings where the wave-Klein-Gordon analogy is less immediate.
  • Modified scattering of this type could serve as a benchmark for numerical schemes that evolve the system to large times.
  • Relaxing the smallness assumption would require new ideas for handling possible resonances or slower decay.

Load-bearing premise

The initial data must be small enough in a high-regularity weighted Sobolev norm so that the wave-packet testing closes without extra loss of smallness.

What would settle it

An explicit small initial datum whose solution either ceases to exist globally or whose profile inside the light cone deviates from the predicted modified scattering asymptotics.

Figures

Figures reproduced from arXiv: 2406.02460 by Martin Spitz, Mihaela Ifrim, Sebastian Herr.

Figure 1
Figure 1. Figure 1: Region CT in 3+1 space-time dimension; “cup” region definition x t T T /2 2T 4T Hρ CT /2 CT t = |x| [PITH_FULL_IMAGE:figures/full_fig_p018_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Overlapping CT regions and also (4.2) C<T := {t ∈ [0, 4T] , t2 − x 2 ≤ 4T 2 }. For interpolation purposes, we will also use a slight enlargement C + T of CT where we add a lower cap, thus working with the region we define next (4.3) C + T := CT ∪ {(t, x) ∈ [T/2, T] ∩ R 3 , t2 − x 2 ≥ T 2 /4}; explicitly, this is a slab with a cap removed on top and with a similar cup added at the bottom. Our main bootstrap… view at source ↗
Figure 3
Figure 3. Figure 3: 1D vertical section of space-time regions C ± T S region along the side of the cone t = r, which intersects both the interior and the exterior of the cone. To also include this region in our analysis we redefine (5.11) CT1 := {(t, x) : |t − r| ≤ 2, T ≤ t ≤ 2T} , where S ∼ 1. 5.1. The bounds for the Dirac equation. We will prove our pointwise bounds for the Dirac equation separately in each of the regions o… view at source ↗
read the original abstract

In this work we prove global well-posedness for the massive Maxwell-Dirac system in the Lorenz gauge in $\mathbb{R}^{1+3}$, for small, sufficiently smooth and decaying initial data, as well as modified scattering for the solutions. Heuristically we exploit the close connection between the massive Maxwell-Dirac and the wave-Klein-Gordon equations, while developing a novel approach which applies directly at the level of the Dirac equations. The modified scattering result follows from a precise description of the asymptotic behavior of the solutions inside the light cone, which we derive via the method of testing with wave packets of Ifrim-Tataru.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The manuscript proves global well-posedness for the massive Maxwell-Dirac system in the Lorenz gauge on R^{1+3} for small, sufficiently smooth and decaying initial data, together with modified scattering. The argument proceeds by a direct analysis of the Dirac equations (exploiting their heuristic link to wave-Klein-Gordon systems) and obtains the modified scattering statement from a precise description of the solution asymptotics inside the light cone via the Ifrim-Tataru wave-packet testing method.

Significance. If the estimates close, the result would supply a new direct route to long-time behavior for a physically relevant coupled hyperbolic system, avoiding reduction to a wave-Klein-Gordon formulation. The application of wave-packet testing to obtain modified scattering inside the light cone is a technical strength that could be reusable for other Dirac-type systems.

major comments (1)
  1. The abstract asserts that the Lorenz gauge is preserved and that the wave-packet testing applies without additional smallness loss, but no explicit verification of gauge preservation or of the precise function-space norms appears in the provided text; this step is load-bearing for the global well-posedness claim.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting the need for explicit verification of gauge preservation and the function-space norms used in the wave-packet testing argument. We address the comment below and will revise the manuscript to improve clarity on these points.

read point-by-point responses

  1. Referee: [—] The abstract asserts that the Lorenz gauge is preserved and that the wave-packet testing applies without additional smallness loss, but no explicit verification of gauge preservation or of the precise function-space norms appears in the provided text; this step is load-bearing for the global well-posedness claim.

    Authors: We agree that an explicit verification of Lorenz gauge preservation should appear in the text for self-containedness, even though it follows from the compatibility of the initial constraint with the evolution (the divergence of the current vanishes by the Dirac equation, preserving the Lorenz condition). We will add a dedicated remark or short subsection after the statement of the main theorem that recalls the constraint and verifies preservation along the flow. Regarding wave-packet testing, the norms are precisely those of the Ifrim-Tataru framework (with the same smallness threshold as the data), and no extra loss occurs; we will insert a clarifying sentence in the section introducing the testing method. These additions will be made in the revised version. revision: yes

Circularity Check

0 steps flagged

Minor self-citation to wave-packet method; derivation remains independent

full rationale

The paper establishes global well-posedness and modified scattering for the massive Maxwell-Dirac system via a direct analytic argument on the Dirac equations combined with the Ifrim-Tataru wave-packet testing method. The sole self-citation is to the cited testing procedure (one co-author overlap), but this is not load-bearing: the central claims are proved against external Sobolev and weighted norms without any reduction of a 'prediction' to a fitted input, self-definition, or ansatz smuggled via citation. No equation or theorem in the derivation chain collapses to its own inputs by construction, and the argument is self-contained against standard PDE benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on standard Sobolev embedding and dispersive estimates for the wave and Dirac operators; no free parameters or invented entities are introduced in the abstract.

axioms (1)
  • standard math Standard Sobolev embedding and Strichartz estimates for the wave and Dirac operators hold in 3D
    Invoked implicitly to close the bootstrap argument for small data.

pith-pipeline@v0.9.0 · 5634 in / 1098 out tokens · 19516 ms · 2026-05-24T00:16:18.508019+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. A non-linear damping structure and global stability of wave-Klein-Gordon coupled system in $\mathbb{R}^{3+1}$

    math.AP 2025-07 unverdicted novelty 3.0

    Establishes global existence for wave-Klein-Gordon systems with nonlinear damping induced by coefficient constraints, proved via bootstrap argument with hyperboloidal foliation and vector field methods.

Reference graph

Works this paper leans on

36 extracted references · 36 canonical work pages · cited by 1 Pith paper

  1. [1]

    R. A. Adams and J. J. F. Fournier. Sobolev spaces, volume 140 of Pure Appl. Math., Academic Press . New York, NY: Academic Press, 2nd ed. edition, 2003

    work page 2003

  2. [2]

    Bechouche, N

    P. Bechouche, N. J. Mauser, and S. Selberg. On the asymptotic analysis of the Dirac-Maxwell system in the nonrelativistic limit. J. Hyperbolic Differ. Equ. , 2(1):129–182, 2005

    work page 2005

  3. [3]

    Bejenaru and S

    I. Bejenaru and S. Herr. The cubic Dirac equation: small initial data in H 1(R3). Comm. Math. Phys. , 335(1):43–82, 2015

    work page 2015

  4. [4]

    Bejenaru and S

    I. Bejenaru and S. Herr. The cubic Dirac equation: small initial data in H 1 2 (R2). Comm. Math. Phys. , 343(2):515–562, 2016

    work page 2016

  5. [5]

    Bejenaru and S

    I. Bejenaru and S. Herr. On global well-posedness and scattering for the massive Dirac-Klein-Gordon system. J. Eur. Math. Soc. (JEMS) , 19(8):2445–2467, 2017

    work page 2017

  6. [6]

    Bournaveas

    N. Bournaveas. Local existence for the Maxwell-Dirac equations in three space dimensions. Comm. Partial Differential Equations , 21(5-6):693–720, 1996

    work page 1996

  7. [7]

    Bournaveas and T

    N. Bournaveas and T. Candy. Global well-posedness for the massless cubic Dirac equation. Int. Math. Res. Not. IMRN , (22):6735–6828, 2016

    work page 2016

  8. [8]

    Y. Cho, S. Kwon, K. Lee, and C. Yang. The modified scattering for Dirac equations of scattering-critical nonlinearity. ArXiv Preprint, arXiv:2208.12040, 2022

    work page arXiv 2022

  9. [9]

    C. C. Cloos. On the long-time behavior of the three-dimensional Dirac-Maxwell equation with zero mag- netic field. PhD thesis, Universit¨ at Bielefeld, 2020. URL: http://nbn-resolving.de/urn:nbn:de:0070-pub- 29493984

    work page 2020

  10. [10]

    D Ancona, D

    P. D Ancona, D. Foschi, and S. Selberg. Null structure and almost optimal local well-posedness of the Maxwell-Dirac system. Amer. J. Math. , 132(3):771–839, 2010

    work page 2010

  11. [11]

    D’Ancona, D

    P. D’Ancona, D. Foschi, and S. Selberg. Null structure and almost optimal local regularity for the Dirac-Klein-Gordon system. J. Eur. Math. Soc. (JEMS) , 009(4):877–899, 2007

    work page 2007

  12. [12]

    D’Ancona and S

    P. D’Ancona and S. Selberg. Global well-posedness of the Maxwell-Dirac system in two space dimensions. J. Funct. Anal., 260(8):2300–2365, 2011

    work page 2011

  13. [13]

    M. J. Esteban, V. Georgiev, and E. S´ er´ e. Stationary solutions of the Maxwell-Dirac and the Klein- Gordon-Dirac equations. Calc. Var. Partial Differ. Equ. , 4(3):265–281, 1996

    work page 1996

  14. [14]

    Flato, J

    M. Flato, J. C. H. Simon, and E. Taflin. Asymptotic completeness, global existence and the infrared problem for the Maxwell-Dirac equations. Mem. Amer. Math. Soc. , 127(606):x+311, 1997. 62

    work page 1997

  15. [15]

    Gavrus and S.-J

    C. Gavrus and S.-J. Oh. Global well-posedness of high dimensional Maxwell-Dirac for small critical data. Mem. Amer. Math. Soc. , 264(1279):v+94, 2020

    work page 2020

  16. [16]

    Georgiev

    V. Georgiev. Small amplitude solutions of the Maxwell-Dirac equations. Indiana Univ. Math. J. , 40(3):845–883, 1991

    work page 1991

  17. [17]

    L. Gross. The Cauchy problem for the coupled Maxwell and Dirac equations. Comm. Pure Appl. Math. , 19:1–15, 1966

    work page 1966

  18. [18]

    Ifrim and A

    M. Ifrim and A. Stingo. Almost global well-posedness for quasilinear strongly coupled Wave-Klein- Gordon systems in two space dimensions, 2019. arXiv: 1910.12673, 52 pages

    work page arXiv 2019

  19. [19]

    Ifrim and D

    M. Ifrim and D. Tataru. Global bounds for the cubic nonlinear Schr¨ odinger equation (NLS) in one space dimension. Nonlinearity, 28(8):2661–2675, 2015

    work page 2015

  20. [20]

    Ifrim and D

    M. Ifrim and D. Tataru. Two dimensional water waves in holomorphic coordinates II: Global solutions. Bull. Soc. Math. France, 144(2):369–394, 2016

    work page 2016

  21. [21]

    Ifrim and D

    M. Ifrim and D. Tataru. The lifespan of small data solutions in two dimensional capillary water waves. Arch. Ration. Mech. Anal., 225(3):1279–1346, 2017

    work page 2017

  22. [22]

    Ifrim and D

    M. Ifrim and D. Tataru. Testing by wave packets and modified scattering in nonlinear dispersive PDE’s. Trans. Amer. Math. Soc. Ser. B , 11:164–214, 2024

    work page 2024

  23. [23]

    Klainerman and M

    S. Klainerman and M. Machedon. On the Maxwell-Klein-Gordon equation with finite energy. Duke Math. J., 74(1):19–44, 1994

    work page 1994

  24. [24]

    Krieger and J

    J. Krieger and J. L¨ uhrmann. Concentration compactness for the critical Maxwell-Klein-Gordon equation. Ann. PDE, 1(1):Art. 5, 208, 2015

    work page 2015

  25. [25]

    Krieger, J

    J. Krieger, J. Sterbenz, and D. Tataru. Global well-posedness for the Maxwell-Klein-Gordon equation in 4 + 1 dimensions: small energy. Duke Math. J. , 164(6):973–1040, 2015

    work page 2015

  26. [26]

    K. Lee. Scattering results for the (1+4) dimensional massive maxwell-dirac system under lorenz gauge condition, 2023

    work page 2023

  27. [27]

    Masmoudi and K

    N. Masmoudi and K. Nakanishi. Nonrelativistic limit from Maxwell-Klein-Gordon and Maxwell-Dirac to Poisson-Schr¨ odinger.Int. Math. Res. Not. , (13):697–734, 2003

    work page 2003

  28. [28]

    Masmoudi and K

    N. Masmoudi and K. Nakanishi. Uniqueness of finite energy solutions for Maxwell-Dirac and Maxwell- Klein-Gordon equations. Commun. Math. Phys. , 243(1):123–136, 2003

    work page 2003

  29. [29]

    Masmoudi and K

    N. Masmoudi and K. Nakanishi. Uniqueness of finite energy solutions for Maxwell-Dirac and Maxwell- Klein-Gordon equations. Comm. Math. Phys. , 243(1):123–136, 2003

    work page 2003

  30. [30]

    Metcalfe, D

    J. Metcalfe, D. Tataru, and M. Tohaneanu. Price’s law on nonstationary space–times. Adv. Math. , 230(3):995–1028, 2012

    work page 2012

  31. [31]

    Oh and D

    S.-J. Oh and D. Tataru. Global well-posedness and scattering of the (4 + 1)-dimensional Maxwell-Klein- Gordon equation. Invent. Math., 205(3):781–877, 2016

    work page 2016

  32. [32]

    Oh and D

    S.-J. Oh and D. Tataru. Local well-posedness of the (4+1)-dimensional Maxwell-Klein-Gordon equation at energy regularity. Ann. PDE, 2(1):Art. 2, 70, 2016

    work page 2016

  33. [33]

    Oh and D

    S.-J. Oh and D. Tataru. Energy dispersed solutions for the (4 + 1)-dimensional Maxwell-Klein-Gordon equation. Amer. J. Math. , 140(1):1–82, 2018

    work page 2018

  34. [34]

    Psarelli

    M. Psarelli. Maxwell-Dirac equations in four-dimensional Minkowski space. Comm. Partial Differential Equations, 30(1-3):97–119, 2005

    work page 2005

  35. [35]

    Pusateri

    F. Pusateri. Modified scattering for the boson star equation. Commun. Math. Phys. , 332(3):1203–1234, 2014

    work page 2014

  36. [36]

    D. Tataru. Strichartz estimates in the hyperbolic space and global existence for the semilinear wave equation. Trans. Amer. Math. Soc., 353(2):795–807, 2001. 63 (S. Herr) F akult¨at f ¨ur Mathematik, Universit ¨at Bielefeld, Postfach 10 01 31, 33501 Biele- feld, Germany Email address : herr@math.uni-bielefeld.de (M. Ifrim) Department of Mathematics, 480 L...

    work page 2001