Pith. sign in

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 →

arxiv 2411.11703 v2 pith:NHUQFM6Y submitted 2024-11-18 math.AP

classification math.AP MSC 35B4035C0835L71
keywords dampedKlein-Gordonequationmulti-solitonslogarithmicdistanceregularpolytopessymmetrymodulationanalysisgroundstatesnonlineardispersiveequations
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 studies the damped nonlinear Klein-Gordon equation and asks whether solutions can look, for large times, like several solitary waves moving apart. It constructs such multi-solitons when the wave centres sit at the vertices of a rigidly symmetric expanding configuration, including regular polygons, polyhedra, and higher-dimensional regular polytopes, and it gives a precise law for the separation: the distance from the centre scales like $\ln t - \frac{d-1}{2}\ln\ln t$, with computable constants. The paper also proves a rigidity statement in the opposite direction: any multi-soliton with at least two components must contain solitons of both signs, so all-same-sign clusters are impossible. If correct, these results turn the heuristic that damping makes logarithmic spreading generic into a theorem for a large class of symmetric configurations.

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.

Watch

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

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

  • 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.
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

3 major / 3 minor

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)
  1. [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.
  2. [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.
  3. [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)
  1. [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.
  2. [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.
  3. [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

0 steps flagged · score 2.0 of 10

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 0 free parameters · 6 assumptions · 0 invented entities

The central claim rests on standard PDE well-posedness, ground state and spectral theory, and on several lemmas imported from the authors' earlier papers. No constants are fitted to data; asymptotic constants are computed from the PDE and geometry. The main unproved inputs are the geometric rigidity and balance conditions for the listed examples.

assumptions (6)
  • domain assumption Local well-posedness of (DLKG) in H¹×L² (Proposition 1.1).
    Invoked to define solutions, obtain the energy identity (1.2), and justify modulation lemmas; based on [3].
  • domain assumption Existence, uniqueness, radial symmetry and exponential decay of the ground state Q solving (1.3).
    Q is the building block of solitons; the decay estimate (1.10) is used throughout the interaction estimates. Based on [2,19].
  • 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).
    Used to define unstable modes Y, Z± and to prove energy coercivity. Based on [8].
  • domain assumption Energy functional bounds and time variation for the nonlinear perturbed energy (Lemma 2.5).
    The lemma is stated but the proof is deferred to [6]; it is central to the bootstrap estimates. This is an import from the authors' previous work.
  • domain assumption Rigidity of regular polytopes and validity of condition (1.5) for the listed examples (Corollary 1.5).
    Corollary 1.5 is asserted without a proof; the list of examples with γ values is not derived in the text. The main theorem depends on these premises for the applications.
  • standard math Brouwer's no-retraction theorem.
    Used in Step 2 of Proposition 3.2 to select the unstable mode a+ producing a global solution.

how reviews work

0 comments
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}.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

31 extracted references · 30 canonical work pages

  1. [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

  2. [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

  3. [1]

    Bates and Christopher K

    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

  4. [2]

    Berestycki and P.-L

    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

  5. [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

  6. [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

  7. [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

  8. [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

Show all 31 references
  1. [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

  2. [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

  3. [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

  4. [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

  5. [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

  6. [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

  7. [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

  8. [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

  9. [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

  10. [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

  11. [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

  12. [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

  13. [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

  14. [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

  15. [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

  16. [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

  17. [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

  18. [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

  19. [27]

    Robert M. Miura. The Korteweg-de Vries equation: a surv ey of results. SIAM Rev. , 18(3):412–459, 1976

  20. [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

  21. [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

  22. [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

  23. [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...

Pith tools

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