Pith. sign in

REVIEW 3 major objections 10 minor 19 references

Almost optimal local well-posedness for the Maxwell-Klein-Gordon system with data in Fourier-Lebesgue spaces

T0 review · 3 major / 10 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that, in three space dimensions and in the Lorenz gauge, the Maxwell-Klein-Gordon system is locally well-posed for large data in Fourier-Lebesgue spaces at almost scaling-critical regularity, closing the gap between the…

desk verdict A real Fourier-Lebesgue extension of low-regularity MKG theory in Lorenz gauge, but the proof leans on the author's earlier r=2 estimates and one omitted verification, so accept conditionally. read the letter →

arxiv 1908.05651 v3 pith:W45QHFGF submitted 2019-08-15 math.AP

Hartmut Pecher This is my paper · ORCID
classification math.AP MSC 35Q6135L70
keywords Maxwell-Klein-Gordonlocalwell-posednessFourier-LebesguespacesLorenzgaugenullformswave-Sobolevscaling-criticalregularitybilinearestimates
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The Maxwell-Klein-Gordon equations couple a charged scalar field to an electromagnetic field, and a natural question is how rough the initial data can be while still guaranteeing a unique local solution. This paper answers that question in three space dimensions, in the Lorenz gauge, for data in Fourier-Lebesgue spaces $\hat H^{s,r}$ with $10$ and produces a unique local solution, with the field strength $F_{\mu\nu}$ keeping the full regularity of the data. Since the scaling-critical regularity is $s_c=3/r-1$, the required exponent approaches this lower bound as $r\to 1$, making the result almost optimal in the scaling sense. A reader should care because it closes the previously open gap between the known $L^2$-based threshold $s>3/4$ and the scaling-critical value $1/2$, in the limit $r\to 1$.

What carries the argument

The machinery is the family of Fourier-Lebesgue wave-Sobolev spaces $X^r_{s,b,\pm}$, with norm $\|u\|_{X^r_{s,b,\pm}}=\|\langle\xi\rangle^s\langle\tau\pm|\xi|\rangle^b\hat u(\tau,\xi)\|_{L^{r'}_{\tau\xi}}$, which measure spatial regularity $s$ and wave-frequency regularity $b$ in $L^{r'}$. A transfer principle reduces the nonlinear PDE to multilinear estimates for the nonlinearities in these spaces. For the troublesome term $A_\mu\partial^\mu\varphi$, the Lorenz gauge and the Hodge decomposition separate the divergence-free part, whose symbol is controlled by a null form, from the curl-free part, which becomes a null form after using $\partial_t A_0=\nabla\cdot A$; this is what lets the bilinear null-form estimates apply despite one quadratic term lacking the classical null condition. The proof then combines new estimates near $r=1$ with previously known endpoint estimates at $r=2$ by complex interpolation, using a fractional Leibniz rule to add small amounts of regularity $\omega>0$. A general contraction-mapping theorem for such systems closes the argument.

What would settle it

A direct check of the load-bearing estimate in Lemma 2.12 at a single intermediate exponent, say r=3/2, would settle the interpolation step: choose X^r_{s,b}-functions concentrated on the wave cone and see whether $\|A_\mu\partial^\mu\varphi\|_{X^r_{s-1,b-1+}}$ is bounded by a constant times $\|\nabla A\|_{X^r_{l-1,1-}}\|\varphi\|_{X^r_{s,b}}$. An explicit counterexample there would refute the proof, while successful verification at several r values would support the interpolation.

Watch

Extended reading notes

Core claim

The central claim is that, under the Lorenz condition and the compatibility conditions (12)-(19), the Cauchy problem for the Maxwell-Klein-Gordon system is locally well-posed in three dimensions for large data in the Fourier-Lebesgue spaces $\hat H^{s,r}$, provided $1<r\le 2$, $s=5/(2r)-1/2+\delta$, and $l=3/r-1+\delta$ with $\delta>0$. Here $\hat H^{s,r}$ is the space of distributions whose Fourier transform lies in $L^{r'}$ with weight $\langle\xi\rangle^s$. The solution is constructed in the associated wave-Sobolev spaces $X^r_{s,b,\pm}$; the scalar field $\varphi$ lives at regularity $s$, the potential $A$ is controlled through $\nabla A$ at regularity $l-1$, and the field strength satisfies $\nabla F_{\mu\nu},\partial_t F_{\mu\nu}\in X^r_{s-2,b}[0,T]$. Because $s$ and $l$ converge to the scaling-critical exponents $3/r-1$ as $r\to 1$, the theorem gives almost optimal low-regularity well-posedness, and as a corollary $\varphi$ and $F_{\mu\nu}$ are continuous in time with the expected regularity.

Load-bearing premise

The proof rests on the assumption that the multilinear estimates known at the two ends of the range, r just above 1 and r=2, blend correctly through interpolation for every intermediate r, with the fractional Leibniz rule preserving the needed extra smoothness; if this blending fails anywhere in the middle, the contraction argument behind the main theorem does not go through.

Editorial extensions

If this is right

  • For every $1<r\le 2$ and every $\delta>0$, the Maxwell-Klein-Gordon system in Lorenz gauge has a unique local solution for large data in $\hat H^{s,r}$ with $s=5/(2r)-1/2+\delta$.
  • As $r\to 1$, the required regularity $s$ approaches the scaling-critical value $3/r-1$, so the gap between the known $L^2$ threshold $s>3/4$ and the scaling-critical $1/2$ is closed within the Fourier-Lebesgue scale.
  • The field strength $F_{\mu\nu}$ preserves the regularity of the data, even though the potential $A$ itself may lose regularity compared with $\varphi$.
  • The solution depends continuously on the initial data, and higher regularity of the data is preserved by the flow.
  • The same conclusion transfers to the original second-order system (1)-(5) under the Lorenz gauge condition and the stated compatibility conditions.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The theorem suggests that the true critical threshold for local well-posedness of Maxwell-Klein-Gordon in three dimensions may be exactly the scaling value $s_c=3/r-1$ within the Fourier-Lebesgue family, and that reaching $r=1$ itself would require new estimates rather than interpolation of the current ones.
  • It also suggests that the historically noted gap at $r=2$ is an artifact of restricting to $L^2$-based Sobolev spaces rather than an intrinsic obstruction of the equations.
  • A testable extension is to carry the same Fourier-Lebesgue argument to the Coulomb gauge or to dimensions $n\neq 3$, where the potential and field strength scale differently.
  • The same device might apply to coupled wave-Klein-Gordon systems whose quadratic derivative nonlinearities lack a null condition, provided the field strength still satisfies null-form wave equations.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 10 minor

Summary. The paper proves a local well-posedness result for the Maxwell-Klein-Gordon system in Lorenz gauge in three space dimensions, with initial data in Fourier-Lebesgue spaces. For 1<r≤2, s=5/(2r)-1/2+δ, l=3/r-1+δ, δ>0, and data satisfying (12)-(19), the author obtains a unique local solution of the first-order system (21)-(28) in X-spaces, with ∇A^hom in X^r_{l-1,1-ε0} and A^inh in X^r_{l,1-ε0}. The proof combines bilinear and trilinear estimates for r close to 1, which are proven using Foschi-Klainerman type estimates, with r=2 endpoint estimates quoted from the author's previous paper [15], and then interpolates to the full range 1<r≤2. The paper also proves regularity of the electromagnetic field F and states, as Theorem 1.3, that the original system (1)-(5) admits a unique local solution with the corresponding regularity.

Significance. If the proof is correct, this is a substantial advance: it closes, as r→1, the gap between the known L2-based threshold s>3/4 at r=2 and the scaling-critical value s_c=3/r-1, and it does so for large data in Lorenz gauge despite the absence of a null condition in one nonlinearity. The r=1+ estimates for products and null forms are new and are derived in detail, and the overall interpolation strategy is natural. The paper is honest about its reliance on the author's prior r=2 endpoint estimates and on an omitted calculation in Theorem 1.3; those are the main points that need attention before the result can be considered fully verified.

major comments (3)
  1. [Proof of Theorem 1.3] The proof of Theorem 1.3, which is the main statement for the original Maxwell-Klein-Gordon system, is omitted: the text says 'we omit the calculation' and refers to [15], Section 6 and [18], Section 5. This step is load-bearing because it converts the solution of the first-order system (21)-(28) into a solution of (1)-(5) satisfying the Lorenz gauge and the initial conditions, and it also uses the derivation of the wave equations (29)-(30). The paper should either include this calculation or state the exact correspondence as a lemma with a complete proof, since the validity of the main theorem depends on it.
  2. [Lemmas 2.12-2.15] The r=2 endpoint estimates are quoted from the author's preprint [15], Chapter 5 and Chapter 6, rather than being re-derived. These estimates are the anchor for the bilinear complex interpolation that produces Lemmas 2.12-2.15 for all 1<r≤2, and any misstatement of the admissible b-deficit or of the exact Sobolev exponents at r=2 would invalidate the contraction estimates (36)-(37) in Theorem 1.1. I checked the interpolation arithmetic: with θ=2-2/r, the b-exponents are consistent with the stated b>1/r and b-1+ in the target spaces. But the verification gap remains: the paper should either reproduce the quoted claims or state them in full with precise hypotheses so that the interpolation step can be audited.
  3. [Lemma 2.12] The sentence 'By the fractional Leibniz rule this inequality remains true for ω>0' is an unproved assertion that is needed to pass from the ω=0 case, where s=2 and l=3/2+1/(2r), to the full δ>0 range. The fractional Leibniz rule is not automatic for the X^r_{s,b} norms with the specific combination of spaces used here, and the paper should supply the argument or a reference that covers this exact situation. This is also where the condition on ε in Lemma 2.8 and the 'r=1+' convention interact with the interpolation, so the details should be written out.
minor comments (10)
  1. [Throughout] The notation 'r=1+' is informal. It should be defined, for example as 'for every r in (1,1+ε) with ε sufficiently small', so that the statements of Lemmas 2.4-2.11 have a precise quantifier over r.
  2. [Lemma 2.8, first paragraph] In the proof of Lemma 2.8, the displayed equation for the hyperbolic case contains the duplicated expression 'I = I =' after the integral; this is a typo.
  3. [Abstract] The abstract says the assumed regularity is 'almost optimal with respect to scaling as r→1' and refers to the critical value s_c=1/2. Since s_c=3/r-1 depends on r and tends to 2 as r→1, the sentence should distinguish the r-dependent critical value from the classical H^s critical value at r=2.
  4. [Section 2, proof of Lemma 2.4] The proof uses choices of exponents with signs '3/α1 ±' and '3±' without explaining that the sign is chosen according to |ξ|≥1 or |ξ|≤1. Please add a sentence making this explicit.
  5. [References] Reference [15] is an arXiv preprint; if the published version has appeared or if the numbering of claims differs, the author should update the reference to allow the reader to locate the quoted estimates.
  6. [Theorem 1.4] The general local well-posedness theorem is quoted from [7] with a reference to a generalization to systems, but the proof of the system version for the Maxwell-Klein-Gordon equations is not given. A few sentences explaining how Theorem 1.4 applies to the coupled system (21)-(22) would improve readability.
  7. [Equation (9)] The definition of the Fourier-Lebesgue norm writes ||f||_{\hat H^{s,r}} = ||<ξ>^s \hat f(ξ)||_{\hat L^{r'}}, but the notation \hat L^{r'} is not defined; it should say that this is the L^{r'} norm in the frequency variable. (Use backslash-free notation in the text.)
  8. [Lemma 2.12, proof] The interpolation parameter is given as θ=2-2/r, but the text does not specify which endpoint corresponds to r=1+ and which to r=2, nor how the Sobolev exponents s and l behave under interpolation. Adding a short interpolation diagram would remove ambiguity.
  9. [Section 3, Proof of Theorem 1.2] The proof of (40) uses interpolation between r=1+ and r=2 after checking the two endpoint cases. The argument is plausible, but the interpolation statement for the product ||φ0∂kφ0||_{\hat H^{s-2,r}} is not written out; a brief justification would help.
  10. [Equation (38)] The linear estimate (38) is stated with T^{0+} and then used in the proof of Theorem 1.2. The dependence on T should be made explicit, since the uniqueness time T in Theorem 1.1 depends on the data and the output regularity in Theorem 1.2 is asserted for that same T.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the proof uses prior r=2 estimates and omitted calculations as inputs, but the r=1+ estimates and interpolation are independent content.

full rationale

No circular step is exhibited. Theorem 1.1 is proved by estimating the nonlinearities in X^r_{s,b}-spaces. The Section 2 estimates are proved for r=1+ via Foschi-Klainerman bilinear estimates and then interpolated with r=2 endpoint estimates quoted from the author's previous paper [15]. This is reliance on a prior, parameter-free result, not a reduction of the target theorem to its own definition: the r=2 estimates are inputs, and the new r=1+ estimates plus the bilinear complex interpolation provide the extension to 1<r<2. The scaling-critical comparison is computed independently from the scaling of the norms, so the phrase 'almost optimal' is not a prediction manufactured from the assumptions. Theorem 1.3's return to the original system is delegated to [15] with the sentence 'Because these facts were proven in [15], Section 6 (see also [18], Section 5) we omit the calculation.' That is an acknowledged reliance on prior work, including the same author's earlier paper, but it is not circular: it is a standard citation of a separately stated equivalence and does not equate a conclusion with an input by construction. If the cited [15] endpoint estimates or the omitted equivalence calculation were wrong, the present theorem could fail, but that is a correctness/verification risk, not circularity. The paper contains no fitted constants, no parameter called a prediction that was fit to the data it predicts, and no uniquess theorem imported from the authors to force a choice. Therefore the appropriate finding is no significant circularity.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No empirical fitting or invented objects. The proof is a contraction-mapping argument in X^r_{s,b} spaces whose load is carried by multilinear estimates based on the Foschi-Klainerman bilinear estimates and the author's prior r=2 endpoint results.

assumptions (6)
  • standard math Foschi-Klainerman bilinear spacetime estimates [5, Prop. 4.3, 4.5, Lemma 4.4] are valid as quoted.
    Used throughout Section 2 to evaluate elliptic and hyperbolic integrals in Lemmas 2.1-2.3, 2.7 and 2.8; no proof is included.
  • standard math Grünrock's transfer principle and general local well-posedness theorem [7] apply to the first-order Maxwell-Klein-Gordon system.
    Proposition 1.1 and Theorem 1.4 are stated and used to convert multilinear estimates into contraction estimates.
  • standard math The r=2 endpoint estimates quoted from the author's previous paper [15] are correct.
    Lemmas 2.12-2.15 take the r=2 case from [15], Chapters 5 and 6; the current paper does not re-derive them.
  • domain assumption Lorenz gauge condition and compatibility conditions (15)-(19) are consistent and imply the data regularity (20).
    Theorem 1.1 applies only to data satisfying these conditions; they are derived from gauge invariance and Maxwell's equations.
  • domain assumption The wave equations (29)-(30) for Fμν are valid and contain the stated null-form quadratic terms.
    Invoked in Theorem 1.2 and referenced to [17], Section 3.2 and [15], Section 2.
  • standard math Bilinear complex interpolation between r=1+ and r=2 preserves the required X^r_{s,b} norms and the b>1/r condition.
    Used in Lemmas 2.12-2.15 to pass from the endpoint cases to all 1<r≤2; this is the load-bearing interpolation step.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Almost optimal local well-posedness for the Maxwell-Klein-Gordon system with data in Fourier-Lebesgue spaces." pith.science (2026). https://pith.science/paper/W45QHFGF

@misc{pith2026190805651,
  author       = {Pith},
  title        = {Pith review of: Almost optimal local well-posedness for the Maxwell-Klein-Gordon system with data in Fourier-Lebesgue spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/W45QHFGF}},
  note         = {Machine review of arXiv:1908.05651}
}
abstract

We prove a low regularity local well-posedness result for the Maxwell-Klein-Gordon system in three space dimensions for data in Fourier - Lebesgue spaces $\widehat{H}^{s,r}$ , where $\|f\|_{\widehat{H}^{s,r}} = \|\langle \xi \rangle^s \widehat{f}(\xi)\|_{\widehat{L}^{r'}}$ , $\frac{1}{r}+\frac{1}{r'} = 1$ . The assumed regularity for the data is almost optimal with respect to scaling as $r \to 1$ . This closes the gap between what is known in the case $r=2$ , namely $s > \frac{3}{4}$ , and the critical value $s_c = \frac{1}{2}$ with respect to scaling.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

  1. [15]

    Low regularity local well-posedness for the (N+1)-dimensional Maxwell-Klein-Gordon equations in Lorenz gauge

    H. Pecher: Low regularity local well-posedness for the (N+1)-dimensi onal Maxwell-Klein- Gordon equation in Lorenz gauge . arXiv:1705.00599

    work page Pith review arXiv

  2. [18]

    Selberg and A

    S. Selberg and A. Tesfahun: Finite-energy global well-posedness of the Maxwell-Klein -Gordon system in Lorenz gauge . Comm. PDE 35 (2010), 1029-105

    work page 2010

  3. [1]

    d’Ancona, D

    P. d’Ancona, D. Foschi, and S. Selberg: Null structure and almost optimal local regularity of the Maxwell-Dirac system . American J. Math. 132 (2010), 771-839

    work page 2010

  4. [2]

    d’Ancona, D

    P. d’Ancona, D. Foschi, and S. Selberg: Atlas of products for wave-Sobolev spaces in R1+3. Transactions AMS 364 (2012), 31-63

    work page 2012

  5. [3]

    Cuccagna: On the local existence for the Maxwell-Klein-Gordon system in R3+1

    S. Cuccagna: On the local existence for the Maxwell-Klein-Gordon system in R3+1. Comm. PDE 24 (1999), 851-867

    work page 1999

  6. [4]

    Czubak and N

    M. Czubak and N. Pikula: Low regularity well-posedness for the 2D Maxwell-Klein-Go rdon equation in the Coulomb gauge . Comm. Pure Appl. Anal. 13 (2014), 1669-1683

    work page 2014

  7. [5]

    Foschi and S

    D. Foschi and S. Klainerman: Bilinear spacetime estimates for homogeneous wave equatio ns. Ann. Sci. Ecole Norm. Sup. (4) 33 (2000), 211-274

    work page 2000

  8. [6]

    Grigoryan and A

    V. Grigoryan and A. Nahmod: Almost critical well-posedness for nonlinear wave equatio ns with Qµν null forms in 2D . Math. Res. Lett. 21 (2014), 313-332

    work page 2014

Show all 19 references
  1. [7]

    Gr¨ unrock: An improved local well-posedness result for the modified KdV equation

    A. Gr¨ unrock: An improved local well-posedness result for the modified KdV equation. Int. Math. Res. Not. 2004 (61) (2004), 3287-3308

    2004

  2. [8]

    Gr¨ unrock: On the wave equation with quadratic nonlinearities in three space dimensions

    A. Gr¨ unrock: On the wave equation with quadratic nonlinearities in three space dimensions . J. Hyperbolic Differ. Equ. 8 (2011), 1-8

    2011

  3. [9]

    Gr¨ unrock and L

    A. Gr¨ unrock and L. Vega: Local well-posedness for the modified KdV equation in almost critical ˆH r,s -spaces. Trans. Amer. Math. Soc., 361 (2009), 5681-5694

    2009

  4. [10]

    M. Keel, T. Roy and T. Tao: Global well-posedness of the Maxwell-Klein-Gordon equati on below the energy norm . Discrete Cont. Dyn. Syst. 30 (2011), 573-621

    2011

  5. [11]

    Klainerman and M

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

    1994

  6. [12]

    Klainerman and S

    S. Klainerman and S. Selberg: Bilinear estimates and applications to nonlinear problems . Comm. Contemp. Math. 4 (2002), 223-295

    2002

  7. [13]

    Machedon and J

    M. Machedon and J. Sterbenz: Almost optimal local well-posedness for the (3+1)- dimensi onal Maxwell-Klein-Gordon equations . J. AMS 17 (2004), 297-359

    2004

  8. [14]

    Pecher: Local well-posedness for low regularity data for the higher -dimensional Maxwell- Klein-Gordon system in Lorenz gauge

    H. Pecher: Local well-posedness for low regularity data for the higher -dimensional Maxwell- Klein-Gordon system in Lorenz gauge . Journal of Mathematical Physics 59 (2018), 101503

    2018

  9. [16]

    Pecher: Low regularity local well-posedness for the Maxwell-Klein -Gordon equations in Lorenz gauge

    H. Pecher: Low regularity local well-posedness for the Maxwell-Klein -Gordon equations in Lorenz gauge . Adv. Diff. Equs. 19 (2014), 359-386

    2014

  10. [17]

    Selberg: Almost optimal local well-posedness of the Maxwell-Klein- Gordon equations in 1+4 dimensions

    S. Selberg: Almost optimal local well-posedness of the Maxwell-Klein- Gordon equations in 1+4 dimensions . Comm. PDE 27 (2002), 1183-1227

    2002

  11. [19]

    Tao: Multilinear weighted convolutions of L2-functions, and applications to non-linear dispersive equations

    T. Tao: Multilinear weighted convolutions of L2-functions, and applications to non-linear dispersive equations . Amer. J. Math. 123 (2001), 839-908

    2001

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.