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 →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
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.
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
- 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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- 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)
- [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
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
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.
- standard math The bilinear multiplier estimates, Coifman-Meyer theorem and its variable-coefficient variants (Lemmas 2.4 and 2.5), hold as stated.
- 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.
- 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.
- 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.
- 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.
- 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.
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.
Reference graph
Works this paper leans on
-
[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
work page 1984
-
[2]
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...
work page 1977
-
[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
work page 2015
-
[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
work page 2015
-
[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
arXiv 2025
-
[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
work page 2018
-
[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
2020
-
[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
work page 2022
Show all 31 references
-
[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
2008
-
[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
2011
-
[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
2014
-
[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
2009
-
[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
2009
-
[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
2023
-
[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
2013
-
[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
2014
-
[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
2020
-
[18]
Toan T. Nguyen. Landau damping below survival threshold.arXiv preprint, arXiv:2412.18620, 2024
2024 arXiv
-
[19]
Toan T. Nguyen. A new framework for particle-wave interaction.arXiv preprint, arXiv:2410.13703, 2024
2024 arXiv
-
[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
2023 arXiv
-
[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
1994
-
[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
2012
-
[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
2012
-
[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
2013
-
[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
2003
-
[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
2004
-
[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
2005
-
[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
2024 arXiv
-
[29]
Number 106
Terence Tao.Nonlinear dispersive equations: local and global analysis. Number 106. American Mathematical Soc., 2006
2006
-
[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
2024 arXiv
-
[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
1991
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.