Pith. sign in

REVIEW 1 major objections 1 minor 31 references

Large Time Behavior of the Klein-Gordon-Schr\"{o}dinger system

T0 review · 1 major / 1 minor · reviewed 2026-08-07 · deepseek-v4-flash

Pith's one-line read Small localized data in the 3D Klein-Gordon-Schrödinger system scatter to free waves.

desk verdict Serious attack on a real open problem; the proof is coherent, but the load-bearing constant A=10 is asserted rather than proved and the parameter margin is razor-thin. read the letter →

arxiv 2506.09863 v2 pith:7E3J27LV submitted 2025-06-11 math.AP math-phmath.MP

classification math.APmath-phmath.MP MSC 35B4035Q5535L0535Q41
keywords Klein-Gordon-Schrödingersystemglobalexistenceandscatteringspace-timeresonancemethodsmalllocalizeddatadispersiveestimatesquadraticnonlinearityplasmaoscillations
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 paper proves that small, sufficiently regular and localized initial data for the three-dimensional Klein-Gordon-Schrödinger system produce global solutions that decay and scatter to free waves at infinity. The result matters because the system is a standard model of particle-wave interaction whose two components disperse at different speeds, and its main obstruction is a two-dimensional space-time resonant set that does not come with a null-form cancellation. The proof uses the space-time resonance method to decompose the quadratic interactions and controls each piece with a bootstrap argument. The theorem requires high regularity, $N\ge 4000$, but it gives explicit decay rates for both components and achieves global existence with scattering in $H^N\times H^N$ for the physical three-dimensional case.

What carries the argument

The central device is the space-time resonance method, which classifies frequencies where the phase is stationary in time and in frequency. The system is written in first-order form using $V^\pm = (\partial_t \mp i\langle\nabla\rangle)v$, and the profiles $f=e^{-it\Delta}u$, $g^\pm=e^{\mp it\langle\nabla\rangle}V^\pm$ convert the nonlinearity into oscillatory integrals with phases $\Phi_{f\pm}=|\xi|^2 \pm \langle\eta\rangle - |\xi-\eta|^2$ and $\Phi_g = \langle\xi\rangle - |\xi-\eta|^2 + |\eta|^2$. The main object is the union of space-time resonant sets $R=\{\Phi=0\}\cap\{\nabla_\eta\Phi=0\}$; for the plus-Schrödinger phase it is the two-dimensional manifold $R_{f+}=\{\xi=\lambda\eta,\ |\eta|=R\}$ with $\lambda=1+1/(2\langle R\rangle)$, while the minus and Klein-Gordon resonant sets are empty. The proof splits the Duhamel terms by cutoffs $\chi_T,\chi_S,\chi_R$ into time-resonant, space-resonant, and fully resonant pieces, and controls each piece through Coifman-Meyer type bilinear estimates and the symbol bounds collected in Corollary 2.6.

What would settle it

Evaluate the $S^\infty$ norm of the symbol $m_7=\varphi((\xi,\eta)/(M s^{\delta_3}))\chi_{S_g}^{s^{-\delta_3}}(i\Phi_g)^{-1}$ for large $s$ near $\xi=0$. If it grows faster than $s^{10\delta_3}$, the condition $18\delta_1>6(A+3)\delta_3$ is violated for the paper's values $\delta_1=2.2\times 10^{-3}$, $\delta_3=5.05\times 10^{-4}$, and the decay estimates in Propositions 4.3, 4.4, and 5.3 would not follow.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: if $\epsilon_0 = \|u_0\|_{H^N}+\|x u_0\|_{H^1}+\|v_0\|_{H^N}+\|v_1\|_{H^{N-1}}+\|x v_0\|_{H^4}+\|x v_1\|_{H^3}$ is finite and sufficiently small and $N\ge 4000$, then the system has a unique global solution $(u(t),v(t))$ in $H^N\times H^N$ satisfying $\|u(t)\|_{W^{1,p}}\le C\epsilon_0\langle t\rangle^{-1/2-3\delta_1}$ and $\|v(t)\|_{L^p}\le C\epsilon_0\langle t\rangle^{-1+3\delta_1}$, and the solution scatters to a free Schrödinger/Klein-Gordon solution with rate $\epsilon_0^2\langle t\rangle^{-3\delta_1/2}$ in $H^N$. The same conclusion is extended in Theorem 1.2 to equations where the Klein-Gordon symbol $\langle k\rangle$ is replaced by a Klein-Gordon type symbol $\nu(|k|)$ satisfying mild derivative conditions. The author's contribution is to show that even with a nonempty two-dimensional resonant manifold and no null structure present, the quadratic coupling is weak enough for dispersion to win.

Load-bearing premise

The whole bootstrap closes on the assertion that the oscillatory-integral symbols grow at most like fixed small powers of time with the specific constant $A=10$; if that growth were any larger, the chosen parameters would fail the inequalities that make the decay estimates work.

Editorial extensions

If this is right

  • For all small localized data in the stated Sobolev class, solutions do not blow up in finite time and remain bounded in $H^N$.
  • The Schrödinger component decays like $\langle t\rangle^{-1/2-3\delta_1}$ in $W^{1,p}$ and the Klein-Gordon component decays like $\langle t\rangle^{-1+3\delta_1}$ in $L^p$, rates that make the quadratic nonlinearity integrable in time.
  • Both components converge to free waves in $H^N$ as $t\to\infty$, with convergence rate $\epsilon_0^2\langle t\rangle^{-3\delta_1/2}$.
  • The proof works for the generalized Klein-Gordon symbol $\nu(|k|)$ of Theorem 1.2, so the result does not depend on the exact dispersion relation $\langle k\rangle$.

Reading between the lines

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

  • A natural extension, not claimed in the paper, is that the same resonance-separation structure should handle other two-field systems with mixed dispersions once the outcome and germ frequency sets are disjoint and the resonant manifold is a sphere.
  • The tight parameter margins and the requirement $N\ge 4000$ suggest the method is far from optimal; improving the symbol bounds by even a small amount would likely lower the regularity needed.
  • The paper proves scattering but leaves open explicit asymptotic profiles for $u$ and $v$; the resonance decomposition used here is a natural starting point for deriving them.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

1 major / 1 minor

Summary. The paper studies the 3D Klein-Gordon–Schrödinger system (1.1) with quadratic nonlinearity and proves, for sufficiently small and localized initial data with N≥4000, global existence and scattering in H^N×H^N. The proof uses the space-time resonance method: Duhamel terms are decomposed into resonant, time-resonant, and space-resonant contributions, and a bootstrap closes energy, localization, and decay estimates for both the Schrödinger component F and the Klein-Gordon component G. The main theorem asserts explicit decay rates ||u(t)||_{W^{1,p}} ≲ ε0 ⟨t⟩^{-1/2-3δ1} and ||v(t)||_{L^p} ≲ ε0 ⟨t⟩^{-1+3δ1}, with scattering to free solutions. A secondary theorem extends the result to a generalized Klein-Gordon dispersion symbol ν(|k|).

Significance. If the proof is correct, this is a substantive result: it establishes small-data global existence and scattering for a system with a two-dimensional space-time resonant set and no null-form structure, which is exactly the difficult case for the space-time resonance method. The paper is well structured: the bootstrap is coherent, the parameter choices are explicit, and the reduction to bilinear symbol estimates is a clear route. The main weakness is that the crucial S∞-norm bound in Corollary 2.6 is asserted rather than proved; because the bootstrap inequalities have a very narrow margin for the selected parameters, this gap is load-bearing and must be addressed before the paper can be accepted.

major comments (1)
  1. Theorem 1.2 is stated as a full theorem, but its proof is only a sketch. In particular, the construction of the analogues of Lemmas 2.7–2.9 for the generalized symbol ν(|k|) is asserted to follow 'in the same way,' and the dependence of the symbol bounds on the constants c0, C0 is not tracked. Since Theorem 1.2 is a nontrivial extension of the main result and involves a new phase function, the reader cannot verify that all cutoff constructions carry over with the same parameters. Please either provide the complete details or state Theorem 1.2 as a remark with a precise indication of what must be checked.
minor comments (1)
  1. [Section 4.3] In the estimate for the term (4.6), the condition is stated as (A+3/2)δ3 − 3δ1 < 1/2. With the chosen numerical values this holds, but the displayed calculation '≤ ε^3 ...' seems to require an additional power of ε that is not explicitly tracked; please clarify the constant assignments in the final line.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the bootstrap proof is self-contained, and the unverified A=10 symbol bound is a correctness gap, not a circular step.

full rationale

This is a pure mathematics proof and is not circular. Theorem 1.1 is proved by a standard bootstrap argument: the bootstrap assumptions (3.1) bound the solution in norms that include the target decay rates, and the paper derives the improved estimate (3.2) through dispersive estimates (Lemmas 2.1 and 2.2), symbol estimates (Corollary 2.6 and Lemma 2.4), and parameter choices in Section 2.6. Using the target decay rate inside the bootstrap norm is the normal bootstrap method, not a definitional identification of the conclusion with an input. The parameters N, δ1, δ2, and δ3 are chosen after the symbol estimates and are proof devices rather than fitted constants; the theorem does not assume its own conclusion. The self-citations [20] and [30] provide background and motivation from the Hartree/Coulomb model and phase-mixing estimates, but the proof of Theorem 1.1 does not rely on them as load-bearing inputs. The statement in Section 2.6 that 'It can be shown that A=10 is acceptable' is an unverified technical claim, and the tight margin in the inequality (A+3)δ3 < 3δ1 is a genuine correctness risk, but it is not circularity: Corollary 2.6 is an independent estimate that would need verification, and failure of that estimate would break the proof rather than make it circular. No equation is defined in terms of the target result, no fitted parameter is renamed as a prediction, and no uniqueness theorem or ansatz is imported solely from the author's prior work. The derivation chain from the linear estimates through the bilinear symbol bounds to the bootstrap closure is self-contained modulo standard external estimates and the explicitly flagged technical verification.

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

The proof rests on standard dispersive estimates and multilinear symbol theorems from the literature, and on the specific smallness/localization assumptions on the initial data. The only ad hoc elements are the choice of technical parameters (A, N, delta1, delta2, delta3) and the carefully engineered cutoff functions that isolate the resonant sets; these are internal to the proof and do not add free parameters to the theorem. No new physical entities are introduced.

assumptions (7)
  • standard math Schrödinger and Klein-Gordon dispersive estimates (Lemmas 2.1 and 2.2) hold as stated, including the Strichartz estimates with the indicated Sobolev losses.
    These are cited to [29] and [9], and used to prove the energy and decay estimates in Sections 4 and 5.
  • standard math The bilinear multiplier estimates, Coifman-Meyer theorem and its variable-coefficient variants (Lemmas 2.4 and 2.5), hold as stated.
    These are cited to [10] and used to bound the multilinear operators obtained after integration by parts in time and in frequency.
  • domain assumption The initial data satisfy the smallness and localization conditions (1.5): H^N norms and weighted H^1 norms are finite and epsilon0 is sufficiently small.
    This is the hypothesis of Theorems 1.1 and 1.2; it is assumed rather than derived.
  • ad hoc to paper The technical parameters A=10, N>=4000, delta1=2.2e-3, delta2=4e-2, delta3=5.05e-4 satisfy all bootstrap inequalities in Section 2.6.
    These values are chosen by hand to close the bootstrap; the assertion 'A=10 is acceptable' is not fully demonstrated. The margins are tight, e.g., 18 delta1 - 6(A+3) delta3 is about 2e-4.
  • ad hoc to paper The cutoff functions of Lemmas 2.7-2.9 exist with the stated derivative bounds, isolating the space-time resonant sets.
    These cutoffs are constructed in the paper; their bounds are used in every integration by parts step.
  • domain assumption The phase functions have the stated derivative bounds and the resonant sets compute as in (2.4)-(2.6), with the separation O intersection G = empty.
    These are derived by direct computation in Section 2.2, and the separation is verified numerically (R in (0.868,0.869)).
  • domain assumption For Theorem 1.2, the symbol nu(|k|) is of Klein-Gordon type with c0 <k> <= nu <= C0 <k>, the derivative bounds, and nu''(r) <= 2.
    The condition nu'' <= 2 is imposed so the resonant set structure remains analogous to (1.1).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Large Time Behavior of the Klein-Gordon-Schr\"{o}dinger system." pith.science (2026). https://pith.science/paper/7E3J27LV

@misc{pith2026250609863,
  author       = {Pith},
  title        = {Pith review of: Large Time Behavior of the Klein-Gordon-Schr\"odinger system},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7E3J27LV}},
  note         = {Machine review of arXiv:2506.09863}
}
read the original abstract

We establish the global existence and scattering for small and localized solutions of the Klein-Gordon-Schr\"{o}dinger system in three dimensions. The system consists of coupled semilinear Schr\"{o}dinger and Klein-Gordon equations with quadratic nonlinearities. This model is motivated by the study of plasma oscillations arising from the Hartree equation near a translation-invariant equilibrium with the Coulomb potential. Our proof relies on the space-time resonance method. The main difficulty comes from the two dimensional space-time resonant set and the absence of null form structure.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

31 extracted references · 24 canonical work pages

  1. [1]

    Probl` eme de Cauchy pour des syst` emes hyperboliques semi-lin´ eaires.Ann

    Alain Bachelot. Probl` eme de Cauchy pour des syst` emes hyperboliques semi-lin´ eaires.Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire, 1(6):453–478, 1984

  2. [2]

    Baillon and John M

    J.-B. Baillon and John M. Chadam. The Cauchy problem for the coupled Schroedinger- Klein-Gordon equations. InContemporary developments in continuum mechanics and partial differential equations (Proc. Internat. Sympos., Inst. Mat., Univ. Fed. Rio de Janeiro, Rio de Janeiro, 1977), volume 30 ofNorth-Holland Math. Stud., pages 37–44. North-Holland, Amsterdam...

  3. [3]

    Carlos Banquet, Lucas C. F. Ferreira, and Elder J. Villamizar-Roa. On existence and scattering theory for the Klein-Gordon-Schr¨ odinger system in an infiniteL2-norm setting.Ann. Mat. Pura Appl. (4), 194(3):781–804, 2015

  4. [4]

    On global solutions of a Zakharov type system.Nonlinearity, 28(9):3419–3441, 2015

    Thomas Beck, Fabio Pusateri, Phil Sosoe, and Percy Wong. On global solutions of a Zakharov type system.Nonlinearity, 28(9):3419–3441, 2015

  5. [5]

    Scattering for the positive density Hartree equation.Arxiv preprint, arXiv:2504.19552, 2025

    Antoine Borie, Sonae Hadama, and Julien Sabin. Scattering for the positive density Hartree equation.Arxiv preprint, arXiv:2504.19552, 2025

  6. [6]

    On the scattering problem for infinitely many fermions in dimensionsdě3 at positive temperature.Ann

    Thomas Chen, Younghun Hong, and Nataˇ sa Pavlovi´ c. On the scattering problem for infinitely many fermions in dimensionsdě3 at positive temperature.Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire, 35(2):393–416, 2018

  7. [7]

    Collot and A.-S

    C. Collot and A.-S. de Suzzoni. Stability of equilibria for a Hartree equation for random fields. J. Math. Pures Appl. (9), 137:70–100, 2020

  8. [8]

    Stability of steady states for Hartree and Schr¨ odinger equations for infinitely many particles.Ann

    Charles Collot and Anne-Sophie de Suzzoni. Stability of steady states for Hartree and Schr¨ odinger equations for infinitely many particles.Ann. H. Lebesgue, 5:429–490, 2022

Show all 31 references
  1. [9]

    Strichartz and smoothing estimates of dispersive equations with magnetic potentials.Comm

    Piero D’Ancona and Luca Fanelli. Strichartz and smoothing estimates of dispersive equations with magnetic potentials.Comm. Partial Differential Equations, 33(4-6):1082–1112, 2008

  2. [10]

    Global existence for coupled Klein-Gordon equations with different speeds

    Pierre Germain. Global existence for coupled Klein-Gordon equations with different speeds. Ann. Inst. Fourier (Grenoble), 61(6):2463–2506, 2011

  3. [11]

    Global existence for the Euler-Maxwell system.Ann

    Pierre Germain and Nader Masmoudi. Global existence for the Euler-Maxwell system.Ann. Sci. ´Ec. Norm. Sup´ er. (4), 47(3):469–503, 2014

  4. [12]

    Global solutions for 3D quadratic Schr¨ odinger equations.Int

    Pierre Germain, Nader Masmoudi, and Jalal Shatah. Global solutions for 3D quadratic Schr¨ odinger equations.Int. Math. Res. Not. IMRN, (3):414–432, 2009

  5. [13]

    Scattering theory for the Gross- Pitaevskii equation in three dimensions.Commun

    Stephen Gustafson, Kenji Nakanishi, and Tai-Peng Tsai. Scattering theory for the Gross- Pitaevskii equation in three dimensions.Commun. Contemp. Math., 11(4):657–707, 2009

  6. [14]

    Asymptotic stability of a wide class of stationary solutions for the Hartree and Schr¨ odinger equations for infinitely many particles.arXiv preprint arXiv:2308.15929, 2023

    Sonae Hadama. Asymptotic stability of a wide class of stationary solutions for the Hartree and Schr¨ odinger equations for infinitely many particles.arXiv preprint arXiv:2308.15929, 2023. 31

  7. [15]

    Scattering for the Zakharov system in 3 dimen- sions.Comm

    Zaher Hani, Fabio Pusateri, and Jalal Shatah. Scattering for the Zakharov system in 3 dimen- sions.Comm. Math. Phys., 322(3):731–753, 2013

  8. [16]

    The Hartree equation for infinitely many particles, II: Dispersion and scattering in 2D.Anal

    Mathieu Lewin and Julien Sabin. The Hartree equation for infinitely many particles, II: Dispersion and scattering in 2D.Anal. PDE, 7(6):1339–1363, 2014

  9. [17]

    The Hartree and Vlasov equations at positive density.Comm

    Mathieu Lewin and Julien Sabin. The Hartree and Vlasov equations at positive density.Comm. Partial Differential Equations, 45(12):1702–1754, 2020

  10. [18]

    Toan T. Nguyen. Landau damping below survival threshold.arXiv preprint, arXiv:2412.18620, 2024

  11. [19]

    Toan T. Nguyen. A new framework for particle-wave interaction.arXiv preprint, arXiv:2410.13703, 2024

  12. [20]

    Nguyen and Chanjin You

    Toan T. Nguyen and Chanjin You. Plasmons for the Hartree equations with Coulomb inter- action.arXiv preprint, arXiv:2306.03800, 2023

  13. [21]

    Asymptotic behavior of solutions for the coupled Klein- Gordon-Schr¨ odinger equations

    Tohru Ozawa and Yoshio Tsutsumi. Asymptotic behavior of solutions for the coupled Klein- Gordon-Schr¨ odinger equations. InSpectral and scattering theory and applications, volume 23 ofAdv. Stud. Pure Math., pages 295–305. Math. Soc. Japan, Tokyo, 1994

  14. [22]

    Low regularity well-posedness for the 3D Klein-Gordon-Schr¨ odinger system

    Hartmut Pecher. Low regularity well-posedness for the 3D Klein-Gordon-Schr¨ odinger system. Commun. Pure Appl. Anal., 11(3):1081–1096, 2012

  15. [23]

    Some new well-posedness results for the Klein-Gordon-Schr¨ odinger system

    Hartmut Pecher. Some new well-posedness results for the Klein-Gordon-Schr¨ odinger system. Differential Integral Equations, 25(1-2):117–142, 2012

  16. [24]

    Space-time resonances and the null condition for first-order systems of wave equations.Comm

    Fabio Pusateri and Jalal Shatah. Space-time resonances and the null condition for first-order systems of wave equations.Comm. Pure Appl. Math., 66(10):1495–1540, 2013

  17. [25]

    Scattering theory for the coupled Klein-Gordon-Schr¨ odinger equations in two space dimensions.J

    Akihiro Shimomura. Scattering theory for the coupled Klein-Gordon-Schr¨ odinger equations in two space dimensions.J. Math. Sci. Univ. Tokyo, 10(4):661–685, 2003

  18. [26]

    Wave operators for the coupled Klein-Gordon-Schr¨ odinger equations in two space dimensions.Funkcial

    Akihiro Shimomura. Wave operators for the coupled Klein-Gordon-Schr¨ odinger equations in two space dimensions.Funkcial. Ekvac., 47(1):63–82, 2004

  19. [27]

    Scattering theory for the coupled Klein-Gordon-Schr¨ odinger equations in two space dimensions

    Akihiro Shimomura. Scattering theory for the coupled Klein-Gordon-Schr¨ odinger equations in two space dimensions. II.Hokkaido Math. J., 34(2):405–433, 2005

  20. [28]

    Phase mixing for the Hartree equation and Landau damping in the semiclassical limit.arXiv preprint, arXiv:2412.14842, 2024

    Marnie Smith. Phase mixing for the Hartree equation and Landau damping in the semiclassical limit.arXiv preprint, arXiv:2412.14842, 2024

  21. [29]

    Number 106

    Terence Tao.Nonlinear dispersive equations: local and global analysis. Number 106. American Mathematical Soc., 2006

  22. [30]

    Phase mixing estimates for the nonlinear Hartree equation of infinite rank.arXiv preprint, arXiv:2408.15972, 2024

    Chanjin You. Phase mixing estimates for the nonlinear Hartree equation of infinite rank.arXiv preprint, arXiv:2408.15972, 2024. 32

  23. [31]

    V. E. Zakharov and E. I. Schulman.Integrability of Nonlinear Systems and Perturbation Theory, pages 185–250. Springer Berlin Heidelberg, Berlin, Heidelberg, 1991. 33

Pith tools

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