REVIEW 2 major objections 5 minor 55 references
The Existence of Full-Dimensional KAM tori for one-dimensional nonlinear Klein-Gordon equation
T0 review · 2 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read The paper proves that the one-dimensional nonlinear Klein-Gordon equation in the non-relativistic limit admits full-dimensional, linearly stable KAM tori with subexponential amplitude decay for every speed of light c≥1.
desk verdict First NLKG full-dimensional KAM tori claim, but the frequency space Π_c in (6) is not the image of the parameter space, so Theorem 1.4 as stated is false. 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 mechanism is a KAM iteration lemma (Lemma 3.1) that, at each step, eliminates the non-normal-form terms R0 and R1 by solving a homological equation, then controls the new error R2. Three objects carry the argument. First, the frequency window Π_c, defined by ω_n - c√($c^{2}$+$n^{2}$) ∈ [0, $c^{3}$/(√($c^{2}$+$n^{2}$)+1)], is the parameter space for nonresonance conditions whose right-hand side depends only on the three largest active indices. Second, the weighted ℓ^∞ Hamiltonian norms include the factor ⟨n/c⟩ = √(1+$n^{2}$/$c^{2}$), which makes the frequency shift small in the non-relativistic limit and compensates for the lack of a 1/n saving. Third, the zero-momentum condition (13), inherited from the transformation in [FM23], eliminates resonant monomials q_n\bar q_{-n} that would otherwise break linear stability under periodic boundary conditions.
What would settle it
Compare the reachable width max_{v∈[0,1]} c√($c^{2}$+$n^{2}$+v) - c√($c^{2}$+$n^{2}$) ≈ c/(2√($c^{2}$+$n^{2}$)) with the window width in (6), $c^{3}$/(√($c^{2}$+$n^{2}$)+1). For c=10, n=1000, the reachable width is about 0.005 while the window width is about 1; checking whether T_n = $ω_n^{2}$/$c^{2}$ - $c^{2}$ - $n^{2}$ stays in [0,1] for the constructed V^* would settle whether the claimed parameter V actually lies in V.
Extended reading notes
Core claim
On its own terms, the paper establishes Theorem 1.4: for any 2<σ≤3, r>1, γ'>0, and any c≥1, there is a set R⊂Π_c of measure O(γ') such that for every frequency ω∈Π_c\R there is a parameter V∈V and a small nonlinearity strength ϵ for which the NLKG equation has an invariant torus E whose amplitudes satisfy (1/4)$e^{{-2r\ln^\sigma\lfloor n\rfloor}}$ ≤ |I_n| ≤ $4e^{{-2r\ln^\sigma\lfloor n\rfloor}}$, whose frequencies are exactly ω, and which is linearly stable. The torus is full-dimensional in the sense that every Fourier mode is excited, not just finitely many; the decay is subexponential, slower than super-exponential but faster than any polynomial.
Load-bearing premise
The proof collapses if the frequency window in (6) is not exactly the image of the parameter cube V_n∈[0,1], since the window as written is about $c^{3}$/n wide while the parameters only reach about c/(2n).
Editorial extensions
If this is right
- For every c≥1 there is a set of frequencies of positive measure for which equation (2) admits full-dimensional, linearly stable invariant tori with the prescribed frequencies.
- The amplitude decay rate e^{-2r\ln^\sigma\lfloor n\rfloor}, with 2<σ≤3, is slower than any super-exponential decay, so the result gives maximal tori in Gevrey-type spaces rather than only analytic or Sobolev tori.
- The iterative construction is uniform in c, so the same KAM scheme works across the whole non-relativistic range from c=1 to c=∞.
- The exceptional frequency set R has measure O(γ'), so the surviving frequencies form a large Cantor-like set inside Π_c.
- Linear stability follows from the fact that the final normal form is of order two around the torus, making the tori elliptic.
Reading between the lines
- Beyond the paper: the same KAM scheme should produce a Cantor family of full-dimensional tori parameterized by the residual frequencies, since the iteration is uniform in the parameter V.
- Beyond the paper: the c-uniform measure estimates suggest the result persists under small analytic perturbations f with a zero of order at least three, provided the zero-momentum structure is preserved.
- Beyond the paper: replacing the convolution potential by a different finite-rank perturbation may break the ⟨n/c⟩ frequency-shift compensation, so the method is tuned to the non-relativistic scaling rather than generic potentials.
- Beyond the paper: a direct comparison between the width of Π_c and the image of the parameter cube V would settle whether Theorem 1.4 needs a smaller frequency window or a larger parameter range.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies almost-periodic solutions of the one-dimensional nonlinear Klein-Gordon equation (2) on [-π,π] with periodic boundary conditions in the non-relativistic limit c≥1. The main theorem (Theorem 1.4) claims that for every 2<σ≤3, r>1, γ′>0 and c≥1, outside a small-measure set R⊂Π_c of frequencies there is an invariant torus for (2) with prescribed frequencies ω, amplitudes comparable to e^{-2r ln^σ⌊n⌋}, and linear stability. The proof follows Bourgain's full-dimensional KAM scheme: a weighted norm for Hamiltonians (§2), an abstract iterative KAM lemma (§3), application to NLKG via the [FM23] transformation (§4), and measure estimates for the nonresonance conditions (§5). Several key lemmas are adapted from the author's earlier papers [Con24] and [CY21].
Significance. If correct, the result would be a substantial extension of the full-dimensional KAM literature: it unifies the NLS and NLW regimes of NLKG in the singular limit c→∞, handles the double eigenvalues of periodic boundary conditions via the momentum condition, and achieves subexponential decay σ≤3 for every c≥1. The paper is largely self-contained in its KAM iteration structure and gives quantitative bounds (e.g., estimates (32)-(36)). However, the correctness of the stated theorem depends on two issues in the printed manuscript: the frequency box Π_c in (6) is not the image of the parameter space V, and the coefficient bound (68) appears to have the wrong scaling in c. Both are fixable locally, but as printed the proof does not establish Theorem 1.4.
major comments (2)
- [§1.2, Eq. (6); §3.2, Eq. (58)] The frequency space Π_c defined in (6) is not the image of V={V_n∈[0,1]} under λ_n(V)=c√(c²+n²+V_n). For each n, the reachable range of λ_n-c√(c²+n²) has width c(√(c²+n²+1)-√(c²+n²)) ~ c/(2n), while the interval in (6) has width c³/(√(c²+n²)+1) ~ c³/n; the ratio is about 2c². Hence the sentence after (6) asserting the existence of V for every ω∈Π_c is false. In particular, for ω near the upper endpoint, T_n=ω_n²/c²-c²-n² in (58) exceeds 1 (for c=1 and large n it is about 2), so the initialization V*_0=T in §3.2 is not admissible, and the inverse-function theorem argument in (59)-(60) can produce a limit V* outside V. The literal statement of Theorem 1.4 therefore collapses for frequencies in the unused upper part of Π_c. The fix is to replace the upper endpoint in (6) by c(√(c²+n²+1)-√(c²+n²)) (or a fixed universal multiple of it) and to re-check the measure estimates in §5, which currently use the oversized endpoint, e.g., in (71) and (85). Since the corrected interval is smaller, the measure estimates should improve rather than fail.
- [§4.1, Eq. (68); §4.2] As printed, the coefficient bound (68) reads |R_{n1...n4}^{σ1...σ4}| ≤ Cε (c√(c²+n_1²)···c√(c²+n_4²))^{1/2}. This grows with n and c; for the monomial with n_1=...=n_4=0 the bound is ~ε c⁴, so the claim ∥R∥_{ρ0}≤Cε at the start of §4.2 fails for large c, contrary to the text's assertion in §2 that the coefficients decay with c. The intended expression is presumably (c/√(c²+n_i²))^{1/2}, which is the eigenvalue of D^{-1/2} with D as defined in (64), and which makes the product with the factor ⟨n/c⟩^{1/2} in the norm (14) exactly 1. The definition of d_n just above (68) has the same missing-fraction ambiguity. Please correct the displayed formulas and verify that the final Hamiltonian norm is indeed uniformly bounded in c.
minor comments (5)
- [§5] The word 'samll' appears in Lemmas 5.1, 5.2, and 5.3; it should be 'small'.
- [§1.2 / §5] Theorem 1.4 states meas R=O(γ′), while Lemma 5.1 proves meas R=O(γ^{1/3}); the relation between γ and γ′ should be stated explicitly.
- [§4.1] The symbol V is used both for the convolution potential in (2) and for the parameter space in (5), which is confusing in (63)-(67); a different letter for one of them would help.
- [§3.1] The iteration parameters η_s and λ_s are introduced with an ambiguous formula (η_{s+1}=1/(20λ_s)η_s versus η_{s+1}=(1/20)λ_sη_s), and the displayed product after (56) should be checked for consistency with the chosen definition.
- [§5] The proof of Lemma 5.1 uses the notation n*_i(ℓ) for a decreasing rearrangement of a multiset; a formal definition of the multiset (including the multiplicity encoded by ℓ_n) would improve readability.
Circularity Check
No significant circularity: the derivation is a KAM construction using published technical lemmas from prior work; the Π_c coverage issue is a correctness concern, not a circular reduction.
full rationale
No circularity found. The main theorem is proved by a KAM iteration (Section 3) applied to a Hamiltonian derived from the NLKG equation (Section 4), with the nonresonant set controlled by measure estimates (Section 5). The parameters and frequency shifts are determined by the equation's own normal form and by the prescribed frequencies ω, not fitted to any target conclusion. Heavy use is made of [Con24] and [CY21] for technical lemmas (e.g., Lemmas 2.4-2.7, 2.10, Claim 3.2, and the measure estimate in Lemma 5.3), but these are published, parameter-free combinatorial and norm estimates with stated assumptions that do not include the NLKG result being proved; they are genuine mathematical inputs rather than the conclusion in disguise. The only serious issue apparent in the manuscript is a correctness/coverage problem: Π_c in (6) has width c^3/(√(c^2+n^2)+1) ≈ c^3/n, while the range of λ_n(V) = c√(c^2+n^2+V_n) with V_n∈[0,1] has width c/(√(c^2+n^2+1)+√(c^2+n^2)) ≈ c/(2n), so as stated Π_c is not the image of V under λ_n and Theorem 1.4's 'there exists V∈V' can fail near the upper endpoint. That is a mathematical error rather than a circular reduction: no equation or fitted parameter is defined in terms of the theorem's conclusion.
Assumptions & free parameters
assumptions (4)
- domain assumption The nonlinearity f is real analytic with a zero of order three at the origin; in the application f(u)=ϵu^3.
- domain assumption The convolution potential V has Fourier coefficients V_n∈[0,1] and serves as the external KAM parameter; frequencies are λ_n(V)=c√(c^2+n^2+V_n).
- domain assumption The zero momentum condition (13) holds for the Hamiltonian formulation, following the method of [FM23].
- standard math Standard results: inverse function theorem, Cauchy estimates, and the combinatorial estimates (Lemma 2.4, Claim 3.2) imported from [Con24] and [CY21].
Cite this review
Pith. "Pith review of The Existence of Full-Dimensional KAM tori for one-dimensional nonlinear Klein-Gordon equation." pith.science (2026). https://pith.science/paper/EVF5JVZU
@misc{pith2026250506526,
author = {Pith},
title = {Pith review of: The Existence of Full-Dimensional KAM tori for one-dimensional nonlinear Klein-Gordon equation},
year = {2026},
howpublished = {\url{https://pith.science/paper/EVF5JVZU}},
note = {Machine review of arXiv:2505.06526}
}
read the original abstract
In this paper, we investigate the almost-periodic solutions for the one-dimensional nonlinear Klein-Gordon equation within the non-relativistic limit under periodic boundary conditions. Specifically, by employing the method introduced in \cite{Bourgain2005JFA}, we establish the existence and linear stability of full-dimensional tori with subexponential decay for the equation.
Reference graph
Works this paper leans on
-
[1]
M. Berti and P. Bolle. Sobolev quasi-periodic solutions of multidimensional wave equations with a multiplicative potential. Nonlinearity , 25(9):2579--2613, 2012
work page 2012
-
[2]
D. Bambusi, A. Belloni, and F. Giuliani. Non relativistic limit of the nonlinear K lein- G ordon equation: Uniform in time convergence of KAM solutions. arXiv:2501.17691 , 2025
- [3]
- [4]
- [5]
-
[6]
D. Bambusi, J.M. Delort, B. Gr\'ebert, and J. Szeftel. Almost global existence for H amiltonian semilinear K lein- G ordon equations with small C auchy data on Z oll manifolds. Comm. Pure Appl. Math. , 60(11):1665--1690, 2007
work page 2007
-
[7]
J. Bernier and B. Gr\'ebert. Birkhoff normal forms for H amiltonian PDE s in their energy space. J. \'Ec. polytech. Math. , 9:681--745, 2022
work page 2022
-
[8]
J. Bernier, B. Gr e bert, and T. Robert. Infinite dimensional invariant tori for nonlinear S chr \"o dinger equations. arXiv:2412.11845 , 2024
arXiv 2024
Show all 55 references
-
[9]
Bobenko and S.B
A.I. Bobenko and S.B. Kuksin. The nonlinear K lein- G ordon equation on an interval as a perturbed sine- G ordon equation. Comment. Math. Helv. , 70(1):63--112, 1995
1995
-
[10]
Biasco, J.E
L. Biasco, J.E. Massetti, and M. Procesi. Almost periodic invariant tori for the NLS on the circle. Ann. Inst. H. Poincar\' e Anal. Non Lin\' e aire , 38(3):711--758, 2021
2021
-
[11]
Biasco, J.E
L. Biasco, J.E. Massetti, and M. Procesi. Small amplitude weak almost periodic solutions for the 1 D NLS . Duke Math. J. , 172(14):2643--2714, 2023
2023
-
[12]
Bechouche, N.J
P. Bechouche, N.J. Mauser, and S. Selberg. Nonrelativistic limit of K lein- G ordon- M axwell to S chr\"odinger- P oisson. Amer. J. Math. , 126(1):31--64, 2004
2004
-
[13]
Bourgain
J. Bourgain. Construction of approximative and almost periodic solutions of perturbed linear S chr\" o dinger and wave equations. Geom. Funct. Anal. , 6(2):201--230, 1996
1996
-
[14]
Bourgain
J. Bourgain. Quasi-periodic solutions of H amiltonian perturbations of 2 D linear S chr\" o dinger equations. Ann. of Math. (2) , 148(2):363--439, 1998
1998
-
[15]
Bourgain
J. Bourgain. Green's Function Estimates for Lattice S chr\" o dinger Operators and Applications . Princeton University Press, Princeton, 2005
2005
-
[16]
Bourgain
J. Bourgain. On invariant tori of full dimension for 1 D periodic NLS . J. Funct. Anal. , 229(1):62--94, 2005
2005
-
[17]
H. Cong, J. Liu, Y. Shi, and X. Yuan. The stability of full dimensional KAM tori for nonlinear S chr\" o dinger equation. J. Differential Equations , 264(7):4504--4563, 2018
2018
-
[18]
H. Cong. The existence of full dimensional KAM tori for nonlinear S chr \"o dinger equation. Mathematische Annalen , 390:671--719, 2024
2024
-
[19]
Craig and C.E
W. Craig and C.E. Wayne. Newton's method and periodic solutions of nonlinear wave equations. Comm. Pure Appl. Math. , 46(11):1409--1498, 1993
1993
-
[20]
Chierchia and J
L. Chierchia and J. You. KAM tori for 1 D nonlinear wave equations with periodic boundary conditions. Comm. Math. Phys. , 211(2):497--525, 2000
2000
-
[21]
Cong and X
H. Cong and X. Yuan. The existence of full dimensional invariant tori for 1-dimensional nonlinear wave equation. Ann. Inst. H. Poincar\' e Anal. Non Lin\' e aire , 38(3):759--786, 2021
2021
-
[22]
J.M. Delort. On long time existence for small solutions of semi-linear K lein- G ordon equations on the torus. J. Anal. Math. , 107:161--194, 2009
2009
-
[23]
Eliasson, B
L.H. Eliasson, B. Gr\'ebert, and S.B. Kuksin. K AM for the nonlinear beam equation. Geom. Funct. Anal. , 26(6):1588--1715, 2016
2016
-
[24]
Eliasson and S.B
L.H. Eliasson and S.B. Kuksin. K AM for the nonlinear S chr\" o dinger equation. Ann. of Math. (2) , 172(1):371--435, 2010
2010
-
[25]
Feola, B
R. Feola, B. Gr\'ebert, and F. Iandoli. Long time solutions for quasilinear H amiltonian perturbations of S chr\"odinger and K lein- G ordon equations on tori. Anal. PDE , 16(5):1133--1203, 2023
2023
-
[26]
Feola and J.E
R. Feola and J.E. Massetti. Sub-exponential stability for the beam equation. J. Differential Equations , 356:188--242, 2023
2023
-
[27]
J. Geng. Almost periodic solutions for a class of higher dimensional S chr\"odinger equations. Front. Math. China , 4(3):463482, 2009
2009
-
[28]
J. Geng. Invariant tori of full dimension for a nonlinear S chr\"odinger equation. J. Differential Equations , 252(1):1--34, 2012
2012
-
[29]
Giulini and A
D. Giulini and A. Großardt. The schrödinger–newton equation as a non-relativistic limit of self-gravitating klein–gordon and dirac fields. Classical and Quantum Gravity , 29(21):215010, oct 2012
2012
-
[30]
Gentile and M
G. Gentile and M. Procesi. Periodic solutions for a class of nonlinear partial differential equations in higher dimension. Comm. Math. Phys. , 289(3):863--906, 2009
2009
-
[31]
Gr\'ebert and E
B. Gr\'ebert and E. Paturel. K AM for the K lein G ordon equation on S ^d . Boll. Unione Mat. Ital. , 9(2):237--288, 2016
2016
-
[32]
Geng and S
J. Geng and S. Xue. Invariant tori for two-dimensional nonlinear S chr\"odinger equations with large forcing terms. J. Math. Phys. , 60(5):052703, 30, 2019
2019
-
[33]
J. Geng, X. Xu, and J. You. An infinite dimensional KAM theorem and its application to the two dimensional cubic S chr\"odinger equation. Adv. Math. , 226(6):5361--5402, 2011
2011
-
[34]
Geng and J
J. Geng and J. You. A KAM theorem for H amiltonian partial differential equations in higher dimensional spaces. Commun. Math. Phys. , 262(2):343--372, 2006
2006
-
[35]
o schel. Invariant C antor manifolds of quasi-periodic oscillations for a nonlinear S chr\
S.B. Kuksin and J. P\" o schel. Invariant C antor manifolds of quasi-periodic oscillations for a nonlinear S chr\" o dinger equation. Ann. of Math. (2) , 143(1):149--179, 1996
1996
-
[36]
S.B. Kuksin. Hamiltonian perturbations of infinite-dimensional linear systems with imaginary spectrum. Funktsional. Anal. i Prilozhen. , 21(3):22--37, 95, 1987
1987
-
[37]
S.B. Kuksin. Nearly integrable infinite-dimensional H amiltonian systems , volume 1556 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, 1993
1993
-
[38]
S.B. Kuksin. Analysis of H amiltonian PDE s , volume 19 of Oxford Lecture Series in Mathematics and its Applications . Oxford University Press, Oxford, 2000
2000
-
[39]
S.B. Kuksin. Fifteen years of KAM for PDE . In Geometry, topology, and mathematical physics , volume 212 of Amer. Math. Soc. Transl. Ser. 2 , pages 237--258. Amer. Math. Soc., Providence, RI, 2004
2004
-
[40]
Liu and X
J. Liu and X. Yuan. Spectrum for quantum D uffing oscillator and small-divisor equation with large-variable coefficient. Comm. Pure Appl. Math. , 63(9):1145--1172, 2010
2010
-
[41]
Masmoudi and K
N. Masmoudi and K. Nakanishi. Nonrelativistic limit from M axwell- K lein- G ordon and M axwell- D irac to P oisson- S chr\"odinger. Int. Math. Res. Not. , (13):697--734, 2003
2003
-
[42]
Niu and J
H. Niu and J. Geng. Almost periodic solutions for a class of higher-dimensional beam equations. Nonlinearity , 20(11):2499--2517, 2007
2007
-
[43]
P\" o schel
J. P\" o schel. A KAM -theorem for some nonlinear partial differential equations. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) , 23(1):119--148, 1996
1996
-
[44]
P\" o schel
J. P\" o schel. Quasi-periodic solutions for a nonlinear wave equation. Comment. Math. Helv. , 71(2):269--296, 1996
1996
-
[45]
o schel. On the construction of almost periodic solutions for a nonlinear S chr\
J. P\" o schel. On the construction of almost periodic solutions for a nonlinear S chr\" o dinger equation. Ergodic Theory Dynam. Systems , 22(5):1537--1549, 2002
2002
-
[46]
Pasquali
S. Pasquali. Almost global existence for the nonlinear K lein- G ordon equation in the nonrelativistic limit. J. Math. Phys. , 59(1):011502, 15, 2018
2018
-
[47]
Pasquali
S. Pasquali. A N ekhoroshev type theorem for the nonlinear K lein- G ordon equation with potential. Discrete Contin. Dyn. Syst. Ser. B , 23(9):3573--3594, 2018
2018
-
[48]
Pasquali
S. Pasquali. Dynamics of the nonlinear K lein- G ordon equation in the nonrelativistic limit. Ann. Mat. Pura Appl. (4) , 198(3):903--972, 2019
2019
-
[49]
M. Procesi. Stability and recursive solutions in H amiltonian PDE s. In I CM --- I nternational C ongress of M athematicians. V ol. 5. S ections 9--11 , pages 3552--3574. EMS Press, Berlin, [2023] 2023
2023
-
[50]
C.E. Wayne. Periodic and quasi-periodic solutions of nonlinear wave equations via KAM theory. Comm. Math. Phys. , 127(3):479--528, 1990
1990
-
[51]
X. Yuan. Invariant manifold of hyperbolic-elliptic type for nonlinear wave equation. Int. J. Math. Math. Sci. , (18):1111--1136, 2003
2003
-
[52]
X. Yuan. Quasi-periodic solutions of nonlinear S chr\"odinger equations of higher dimension. J. Differential Equations , 195(1):230--242, 2003
2003
-
[53]
X. Yuan. Quasi-periodic solutions of completely resonant nonlinear wave equations. J. Differential Equations , 230:213--274, 2006
2006
-
[54]
X. Yuan. Recent progress on nonlinear wave equations via KAM theory. In Control theory and related topics , pages 387--395. World Sci. Publ., Hackensack, NJ, 2007
2007
-
[55]
X. Yuan. K AM theorem with normal frequencies of finite limit points for some shallow water equations. Comm. Pure Appl. Math. , 74(6):1193--1281, 2021
2021
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.