REVIEW 3 major objections 3 minor 31 references
Construction of multi solitary waves with symmetry for the damped nonlinear Klein-Gordon equation
T0 review · 3 major / 3 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read For the damped Klein-Gordon equation, the paper constructs symmetric multi-solitons with logarithmic spacing and proves every multi-soliton must contain both signs.
desk verdict A substantial multi-soliton construction with a correctable but load-bearing sign error in the main hypothesis; worth refereeing after revision. 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 argument is carried by a modulation decomposition near a sum of translated ground states, combined with an energy and bootstrap control of the remainder. The decisive object is the balance condition (1.5): for each vertex $\omega$, the signed sum $\sigma(\omega)\sum_{\iota\in\Omega_\omega}\sigma(\iota)(\omega-\iota)$ over nearest neighbours is required to equal $\gamma\omega$ for one constant $\gamma>0$. This condition collapses the system of centre-of-mass ODEs into the single scalar equation $\dot r(t)=\frac{\gamma}{2\alpha}g(r(t))$, where $g$ is the leading interaction function, asymptotic to $g_0 q(r)$ with $q$ the radially decaying ground-state profile; solving this equation produces the logarithmic separation law. The unstable direction of the linearized flow is then controlled by choosing the initial unstable mode through a topological argument.
What would settle it
Run a high-precision numerical simulation of the damped nonlinear Klein-Gordon equation in dimension 2 with initial data close to two same-sign ground states placed far apart; if the centres spread apart at a logarithmic rate and the two-hump profile persists, then Theorem 1.8 is false.
Extended reading notes
Core claim
The central claim is Theorem 1.3: under a rigidity assumption on a finite configuration $\Omega$ with symmetry group $G$ and an algebraic balance condition on the nearest-neighbour vectors, there is a solution $u(t,x) = \sum_{\omega\in\Omega}\sigma(\omega)Q(x-d(t)\omega)+\varepsilon(t,x)$ of the damped Klein-Gordon equation, with the error bounded by $O(t^{-1})$ in $H^1\times L^2$ and with $d(t)=\lambda_\Omega(\ln t-\frac{d-1}{2}\ln\ln t)+c_\Omega+O(\ln\ln t/\ln t)$. The companion claim is Theorem 1.8: every $K$-soliton with $K\ge2$ contains both signs. The construction covers regular polygons with alternating signs, regular polyhedra with a centre, regular simplices, orthoplexes, and hypercubes, and it sharpens earlier existence results by identifying the exact logarithmic asymptotics.
Load-bearing premise
The construction rests on an exact algebraic balance: for every vertex, the signed sum of the vectors to its nearest neighbours must point exactly along the vertex's own position vector with one common positive constant; this condition fails for configurations such as a regular hexagon with a centre, and the whole logarithmic law depends on it.
Editorial extensions
If this is right
- In every configuration covered by Corollary 1.5, a genuine multi-soliton exists with the prescribed sign pattern and with centres expanding to infinity.
- The inter-soliton interaction is asymptotically $\ln t$, not linear in $t$, so the damped equation exhibits the strong-interaction regime generically rather than exceptionally.
- The refined expansion $d(t)=\lambda_\Omega(\ln t-\frac{d-1}{2}\ln\ln t)+c_\Omega+O(\ln\ln t/\ln t)$ is a precise, testable prediction for the centre positions at large times.
- No multi-soliton can have all components of the same sign, even if convergence to the multi-soliton structure is only assumed along a sequence of times.
- The results generalize and sharpen earlier existence statements for alternating-sign planar polygons and for two-soliton damped Klein-Gordon configurations.
Reading between the lines
- If the logarithmic law is robust, the constants $\lambda_\Omega$ and $c_\Omega$ should be observable in numerical simulations, and the $\ln\ln t$ correction should be detectable over long time windows.
- The balance condition failure for regular polygons with seven or more sides suggests a transition: for the hexagon the interaction is critical, while for more sides the nearest-neighbour interaction should push vertices together rather than apart, which may explain a non-existence threshold.
- The no-same-sign theorem suggests that repulsion between like-sign ground states is a structural phenomenon for damped scalar field equations; extending the argument to systems with several fields or to excited states may require new mechanisms.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the damped nonlinear Klein-Gordon equation and constructs multi-solitary waves whose centers lie on expanding symmetric configurations (regular polygons, polyhedra, polytopes), with a logarithmic law for the nearest-neighbor distance. The main existence result, Theorem 1.3, is conditional on an algebraic balance condition (1.5) and a rigidity property (Definition 1.2). The paper also proves, in Theorem 1.8, that any multi-soliton must contain both signs. The proof combines modulation theory, a Lyapunov/bootstrap argument, and a Brouwer no-retraction argument to select the unstable mode.
Significance. If the sign and normalization issues are resolved, the result would be a substantial extension of the 2-soliton analysis in [7] and of Feireisl's earlier construction [13], providing explicit multi-solitons with a precise logarithmic separation law in dimensions 2–5. The non-existence of same-sign multi-solitons is also a natural and valuable general statement. The paper is carefully structured, and the proof strategy is coherent: the bootstrap estimates, the refined distance functional, and the transversality argument are serious and mostly self-contained apart from the cited modulation and energy lemmas. However, the current statement has load-bearing inconsistencies in the sign convention of (1.5), the formulas in Corollary 1.5, and the initial-size hypothesis in Proposition 3.2; these undermine the claim as written.
major comments (3)
- [Sec. 1.3, Eq. (1.5) and Corollary 1.5] The sign in the balance condition is inconsistent with the examples in Corollary 1.5. For the alternating square Omega={1,i,-1,-i} with sigma_{e^{ik pi/2}}=(-1)^k, the nearest neighbours of omega=1 are i and -i, both with sign -1. The left-hand side of (1.5) is (+1)[(-1)(1-i)+(-1)(1-(-i))]= -2, so (1.5) forces gamma=-2, not gamma=2 sin(pi/4)=sqrt(2) as claimed. Similarly, for a 'polyhedron with center' with sigma_0=-1 and sigma_omega=+1 for vertices, the left-hand side at a vertex is -omega, so (1.5) would give gamma=-1, not gamma=1. Thus Theorem 1.3 does not apply to the configurations that are advertised as its main examples. The proof of Proposition 3.2 then switches between the vector (omega-vartheta) in (1.5) and (vartheta-omega) in the use of (2.39); the sign relations among (2.39), (2.44), and (1.5) are not consistent as printed, and they determine the sign of r-dot in (3.17) and hence the logarithmic law. This issue is central, not cosmetic, and needs to be resolved by fixing the sign convention and correcting the formulas for gamma (and lambda_Omega) in Corollary 1.5.
- [Sec. 1.3, Corollary 1.5] The first sentence of Corollary 1.5 asserts that regular polytopes together with their symmetry groups are rigid in O_d(R) according to Definition 1.2, but no proof is provided. This rigidity is load-bearing: Proposition 3.2 uses it to obtain the representation y_vartheta(t)=lambda(t)R(t)vartheta+tau(t) for all times, which is the basis for reducing the vector ODE to the scalar equation for r(t). Without a proof (or a precise reference), the existence of the specific examples in Corollary 1.5 is not established.
- [Sec. 3, Proposition 3.2, assumption (3.4)] Assumption (3.4) only requires q_*(Omega) <= delta for the initial configuration, but the bootstrap estimate (3.13) and the statement in Step 1 that 'it holds from (3.4) ... q_*(z(0)) <= delta^2' require the initial interaction to be of order delta^2. The assertion q_*(z(0)) <= delta^2 is not a consequence of the stated condition. This can be repaired by applying the proposition to a sufficiently large rescaling C Omega, with q_*(C Omega) <= delta^2, or by restating (3.4) with delta^2; as written, the bootstrap opening is not justified.
minor comments (3)
- [Sec. 2.4, Eq. (2.39)] In the statement of (2.39) the numerator is written as y_vartheta - y_omega, while the derivation in (2.44) and the later use in the proof require y_omega - y_vartheta (or a consistent global sign change). Please check and correct the sign convention so that (2.39), (2.44), and the computation after (3.16) are mutually consistent.
- [Sec. 1.6, Remark 1.6] Once the sign convention in (1.5) is corrected, the discussion in Remark 1.6 (hexagon case gamma=0, dodecahedron case gamma<0) needs to be re-examined under the same convention; the current wording is tied to the inconsistent sign choice.
- [Abstract and Section 1] There are numerous typographical artifacts in the text (e.g., 'mul ti solitary', 'configuration', 'd /greaterorequalslant|Omega|') that should be cleaned up in the revision.
Circularity Check
No significant circularity: the symmetric multi-soliton construction is driven by an algebraic hypothesis and ODE integration, not by fitting or by a self-referential uniqueness claim.
full rationale
The claimed derivation chain in Theorems 1.3 and 1.8 does not reduce to its inputs. The key hypothesis (1.5) is an algebraic condition on the fixed configuration (Omega,sigma); it is not fitted from data or from the constructed solution, and the logarithmic law (1.7) is obtained by integrating the resulting scalar ODE dot r = (gamma/(2alpha))g(r) after the bootstrap (Eqs. (3.17)-(3.25)). The unstable mode is removed by a Brouwer no-retraction argument, not by assuming the conclusion. The main self-cited analytic ingredients -- Lemma 2.1 ('The proofs are a combination of that of [7, Lemma 2.1] and [6, Lemma 3.2]'), Lemma 2.5 ('See [6], proof of Lemma 2.4'), and Lemma 2.7 ('reminiscent of [6, Lemma 3.12]') -- are published technical estimates from the authors' earlier papers. These are load-bearing in the proof, but they do not presuppose the K-soliton existence or the same-sign non-existence proved here, so under the stated review rules they count as independent evidence rather than circularity. No fitted parameter is renamed as a prediction. Theorem 1.8 is a genuine generalization of the K=2 result in [7], deriving a contradiction from energy decay and the modulation ODEs. Two caveats are flagged as rigor or correctness issues, not circularity: Corollary 1.5 is asserted without proof ('The regular polytopes together with their symmetry groups in dimension n <= d are rigid in Od(R)'), and the printed sign in (1.5) appears inconsistent with the advertised 'polyhedron with a center' examples and with the sign used in the derivation around (2.39)-(3.16). These do not make the central derivation circular.
Assumptions & free parameters
assumptions (6)
- domain assumption Local well-posedness of (DLKG) in H¹×L² (Proposition 1.1).
- domain assumption Existence, uniqueness, radial symmetry and exponential decay of the ground state Q solving (1.3).
- domain assumption Spectral and coercivity properties of L = −Δ + 1 − pQ^{p−1} (Lemma 1.9): unique negative eigenvalue −ν0², kernel spanned by translations, coercivity (1.12).
- domain assumption Energy functional bounds and time variation for the nonlinear perturbed energy (Lemma 2.5).
- domain assumption Rigidity of regular polytopes and validity of condition (1.5) for the listed examples (Corollary 1.5).
- standard math Brouwer's no-retraction theorem.
Cite this review
Pith. "Pith review of Construction of multi solitary waves with symmetry for the damped nonlinear Klein-Gordon equation." pith.science (2026). https://pith.science/paper/NHUQFM6Y
@misc{pith2026241111703,
author = {Pith},
title = {Pith review of: Construction of multi solitary waves with symmetry for the damped nonlinear Klein-Gordon equation},
year = {2026},
howpublished = {\url{https://pith.science/paper/NHUQFM6Y}},
note = {Machine review of arXiv:2411.11703}
}
abstract
We are interested in the nonlinear damped Klein-Gordon equation \[ \partial_t^2 u+2\alpha \partial_t u-\Delta u+u-|u|^{p-1}u=0 \] on $\mathbb{R}^d$ for $2\le d\le 5$ and energy sub-critical exponents $2 < p < \frac{d+2}{d-2}$. We construct multi-solitons, that is, solutions which behave for large times as a sum of decoupled solitons, in various configurations with symmetry: this includes multi-solitons whose soliton centers lie at the vertices of an expanding regular polygon (with or without a center), of a regular polyhedron (with a center), or of a higher dimensional regular polytope. We give a precise description of these multi-solitons: in particular the interaction between nearest neighbour solitons is asymptotic to $\ln (t)$ as $t \to +\infty$. We also prove that in any multi-soliton, the solitons can not all share the same sign. Both statements generalize and precise results from \cite{F98}, \cite{Nak} and are based on the analysis developed in \cite{CMYZ,CMY}.
Reference graph
Works this paper leans on
-
[7]
De scription and classification of 2-solitary waves for nonlinear damped Klein-Gordon equa tions
Rapha¨ el Cˆ ote, Yvan Martel, Xu Yuan, and Lifeng Zhao. De scription and classification of 2-solitary waves for nonlinear damped Klein-Gordon equa tions. Comm. Math. Phys. , 388(3):1557–1601, 2021
work page 2021
-
[13]
Finite energy travelling waves for no nlinear damped wave equations
Eduard Feireisl. Finite energy travelling waves for no nlinear damped wave equations. Quart. Appl. Math. , 56(1):55–70, 1998
work page 1998
-
[1]
Peter W. Bates and Christopher K. R. T. Jones. Invariant m anifolds for semilinear partial differential equations. In Dynamics reported, Vol. 2, volume 2 of Dynam. Report. Ser. Dynam. Systems Appl. , pages 1–38. Wiley, Chichester, 1989
work page 1989
-
[2]
H. Berestycki and P.-L. Lions. Nonlinear scalar field equ ations. I. Existence of a ground state. Arch. Rational Mech. Anal. , 82(4):313–345, 1983
work page 1983
-
[3]
Lo ng time dynamics for damped Klein- Gordon equations
Nicolas Burq, Genevi` eve Raugel, and Wilhelm Schlag. Lo ng time dynamics for damped Klein- Gordon equations. Ann. Sci. ´Ec. Norm. Sup´ er. (4), 50(6):1447–1498, 2017
work page 2017
-
[4]
High-speed excited multi-solitons in nonlinear Schr¨ odinger equations
Rapha¨ el Cˆ ote and Stefan Le Coz. High-speed excited multi-solitons in nonlinear Schr¨ odinger equations. J. Math. Pures Appl. (9) , 96(2):135–166, 2011
work page 2011
-
[5]
Construction of multi-soliton solutions for the L2-supercritical gKdV and NLS equations
Rapha¨ el Cˆ ote, Yvan Martel, and Frank Merle. Construction of multi-soliton solutions for the L2-supercritical gKdV and NLS equations. Rev. Mat. Iberoam. , 27(1):273–302, 2011
work page 2011
-
[6]
Long-time asym ptotics of the one-dimensional damped nonlinear Klein-Gordon equation
Rapha¨ el Cˆ ote, Yvan Martel, and Xu Yuan. Long-time asym ptotics of the one-dimensional damped nonlinear Klein-Gordon equation. Arch. Ration. Mech. Anal. , 239(3):1837–1874, 2021
work page 2021
Show all 31 references
-
[8]
Multi-solitons for nonlinear Klein-Gordon equations
Rapha¨ el Cˆ ote and Claudio Mu˜ noz. Multi-solitons for nonlinear Klein-Gordon equations. Fo- rum Math. Sigma , 2:Paper No. e15, 38, 2014
2014
-
[9]
Asymptotics of solutions wit h a compactness property for the nonlinear damped Klein-Gordon equation
Rapha¨ el Cˆ ote and Xu Yuan. Asymptotics of solutions wit h a compactness property for the nonlinear damped Klein-Gordon equation. Nonlinear Anal., 218:Paper No. 112768, 34, 2022
2022
-
[10]
Soliton resolution along a se- quence of times for the focusing energy critical wave equati on
Thomas Duyckaerts, Hao Jia, Carlos Kenig, and Frank Mer le. Soliton resolution along a se- quence of times for the focusing energy critical wave equati on. Geom. Funct. Anal., 27(4):798– 862, 2017
2017
-
[11]
Clas sification of radial solutions of the focusing, energy-critical wave equation
Thomas Duyckaerts, Carlos Kenig, and Frank Merle. Clas sification of radial solutions of the focusing, energy-critical wave equation. Camb. J. Math. , 1(1):75–144, 2013
2013
-
[12]
Convergence to an equilibrium for sem ilinear wave equations on unbounded intervals
Eduard Feireisl. Convergence to an equilibrium for sem ilinear wave equations on unbounded intervals. Dynam. Systems Appl. , 3(3):423–434, 1994
1994
-
[14]
Global dynamics around 2-solitons for the nonlinear damped klein-gordon equations
Kenjiro Ishizuka and Kenji Nakanishi. Global dynamics around 2-solitons for the nonlinear damped klein-gordon equations. Annals of PDE , 9(1):2, 2023
2023
-
[15]
A remark on the convergence of glo bal and bounded solutions for a semilinear wave equation on RN
Mohamed Ali Jendoubi. A remark on the convergence of glo bal and bounded solutions for a semilinear wave equation on RN . J. Dynam. Differential Equations , 14(3):589–596, 2002
2002
-
[16]
Dynamics of strongly interacting unsta ble two-solitons for generalized korteweg-de vries equations
Jacek Jendrej. Dynamics of strongly interacting unsta ble two-solitons for generalized korteweg-de vries equations. Preprint arXiv:1802.06294 , 2018
2018 arXiv
-
[17]
Krieger, K
J. Krieger, K. Nakanishi, and W. Schlag. Global dynamic s above the ground state energy for the one-dimensional NLKG equation. Math. Z. , 272(1-2):297–316, 2012
2012
-
[18]
Krieger and W
J. Krieger and W. Schlag. Stable manifolds for all monic supercritical focusing nonlinear Schr¨ odinger equations in one dimension. J. Amer. Math. Soc. , 19(4):815–920, 2006
2006
-
[19]
Uniqueness of positive solutions of ∆ u − u + up = 0 in Rn
Man Kam Kwong. Uniqueness of positive solutions of ∆ u − u + up = 0 in Rn. Arch. Rational Mech. Anal. , 105(3):243–266, 1989
1989
-
[20]
Asymptotic decomposition for non linear damped Klein-Gordon equa- tions
Ze Li and Lifeng Zhao. Asymptotic decomposition for non linear damped Klein-Gordon equa- tions. J. Math. Study , 53(3):329–352, 2020
2020
-
[21]
Asymptotic N -soliton-like solutions of the subcritical and critical ge neralized Korteweg-de Vries equations
Yvan Martel. Asymptotic N -soliton-like solutions of the subcritical and critical ge neralized Korteweg-de Vries equations. Amer. J. Math. , 127(5):1103–1140, 2005
2005
-
[22]
Multi solitary waves for no nlinear Schr¨ odinger equations.Ann
Yvan Martel and Frank Merle. Multi solitary waves for no nlinear Schr¨ odinger equations.Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire, 23(6):849–864, 2006
2006
-
[23]
Construction of multi-sol itons for the energy-critical wave equation in dimension 5
Yvan Martel and Frank Merle. Construction of multi-sol itons for the energy-critical wave equation in dimension 5. Arch. Ration. Mech. Anal. , 222(3):1113–1160, 2016
2016
-
[24]
Codimension one threshold manifold for the critical gKdV equation
Yvan Martel, Frank Merle, Kenji Nakanishi, and Pierre R apha¨ el. Codimension one threshold manifold for the critical gKdV equation. Comm. Math. Phys. , 342(3):1075–1106, 2016
2016
-
[25]
Constructi on of 2-solitons with logarithmic distance for the one-dimensional cubic Schr¨ odinger syste m
Yvan Martel and Ticfacen Vinh Nguycftilen. Constructi on of 2-solitons with logarithmic distance for the one-dimensional cubic Schr¨ odinger syste m. Discrete Contin. Dyn. Syst. , 40(3):1595–1620, 2020. 30 RAPHA ¨EL C ˆOTE AND HAIMING DU
2020
-
[26]
Strongly interacting blow up bubbles for the mass critical nonlinear Schr¨ odinger equation.Ann
Yvan Martel and Pierre Rapha¨ el. Strongly interacting blow up bubbles for the mass critical nonlinear Schr¨ odinger equation.Ann. Sci. ´Ec. Norm. Sup´ er. (4), 51(3):701–737, 2018
2018
-
[27]
Robert M. Miura. The Korteweg-de Vries equation: a surv ey of results. SIAM Rev. , 18(3):412–459, 1976
1976
-
[28]
Invariant manifolds and dispersive Hamiltonian evolu- tion equations
Kenji Nakanishi and Wilhelm Schlag. Invariant manifolds and dispersive Hamiltonian evolu- tion equations . Zurich Lectures in Advanced Mathematics. European Mathem atical Society (EMS), Z¨ urich, 2011
2011
-
[29]
Existence of multi-solita ry waves with logarithmic relative dis- tances for the NLS equation
Ticfacen Vinh Nguycftilen. Existence of multi-solita ry waves with logarithmic relative dis- tances for the NLS equation. C. R. Math. Acad. Sci. Paris , 357(1):13–58, 2019
2019
-
[30]
Strongly interacting mult i-solitons with logarithmic relative dis- tance for the gKdV equation
Nguycftilen Ticfacen Vinh. Strongly interacting mult i-solitons with logarithmic relative dis- tance for the gKdV equation. Nonlinearity, 30(12):4614–4648, 2017
2017
-
[31]
V. E. Zakharov and A. B. Shabat. Exact theory of two-dime nsional self-focusing and one- dimensional self-modulation of waves in nonlinear media. Soviet Physics JETP , 34(1):62–69, 1972. IRMA UMR 7501, Universit ´e de Strasbourg, CNRS, F-67000 Strasbourg, France & USIAS, Unive...
1972
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.