Pith. sign in

REVIEW 3 major objections 4 minor 41 references

Nonexistence results for the semilinear wave equation on graphs

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

Pith's one-line read This paper proves that, on infinite weighted graphs, the semilinear wave inequality $u_{tt}-\Delta u \ge v|u|^\sigma$ has no nonzero global very weak solutions under weighted volume-growth conditions.

desk verdict The sign-changing theorem is a real novelty, but it currently rests on a test-function admissibility gap: φ_R decays like e^{-δ d/R}, not e^{-δ d}, so the invoked integration-by-parts and approximation results do not apply as written. read the letter →

arxiv 2506.08697 v2 pith:2WITJMDP submitted 2025-06-10 math.AP

classification math.AP MSC 35A0135A0235B4435K0535K5835R02
keywords semilinearwaveequationweightedgraphsgraphLaplaciannonexistenceofglobalsolutionssign-changingveryweakvolumegrowthtestfunctionmethod
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

This paper proves that, on infinite weighted graphs, the semilinear wave inequality $u_{tt}-\Delta u \ge v|u|^\sigma$ has no nonzero global-in-time very weak solutions, provided the weighted volume of suitable space-time regions grows slowly enough and the initial data satisfy a sign or decay condition. The statement covers both nonnegative solutions and, under stronger hypotheses, solutions that may change sign; for sign-changing solutions the authors develop a new technique using test functions supported on the whole graph with exponential decay, because they show compactly supported cut-offs cannot work. These are sufficient conditions, not necessary ones: they identify growth rates (involving the distance-function parameter $\alpha$ and the exponent $\sigma$) beyond which global existence is impossible on the graph. If correct, the results provide discrete counterparts of classical nonexistence theorems for wave equations on Euclidean space and Riemannian manifolds, and they give explicit examples on lattices, trees, and product graphs.

What carries the argument

The machinery is a family of cut-off test functions engineered so that the nonlinear term absorbs the linear terms. For nonnegative solutions the test function is compactly supported, $\phi_R(x,t)=\varphi((d(x,x_0)^{\theta_1}+t^{\theta_2})/R^{\theta_1})$, and the control comes from the estimate $-\Delta\phi_R\le C R^{-(1+\alpha)}\mathbf{1}_{F_R}$ together with Young's inequality and the volume bound (3.1). For sign-changing solutions, Proposition 5.1 shows that a nonzero cut-off satisfying $|\Delta\psi^\gamma|\le C\psi^\beta F$ with $\psi(x_1)=0$ must vanish everywhere, so compact support is impossible; the authors instead use $\phi_R(x,t)=\eta^s(t/R^{(1+\alpha)/2})\psi((d(x,x_0)-j)/R)$ with $\psi(r)=e^{-\delta r}$ for large $r$, and the bound $|\Delta\phi_R|\le C R^{-(1+\alpha)}\eta^s e^{-\delta d/R}\mathbf{1}_{V\setminus B_R(x_0)}$. The supporting identity is Proposition 5.2, an integration-by-parts formula for the graph Laplacian valid when one factor lies in the weighted $\ell^1$ space $X_\delta$ and the other decays like $e^{-\delta d}$, which lets the Laplacian act on the test function instead of on $u$.

What would settle it

To test the proof, compute the truncated sums in Remark 5.3 explicitly for $\phi_R$ from (5.3) on the lattice $\mathbb{Z}$ with $v\equiv 1$ and $\sigma=2$: if the sums and time integrals are finite whenever $u\in L^1_{\rm loc}([0,\infty),X_\delta)$ and (3.9)-(3.10) hold, the admissibility step is justified; if they diverge under those hypotheses, the proof has a gap. To refute the theorem itself, one would need a nonzero very weak solution of the inequality on a graph satisfying (2.6), with $\sum_x u_1\mu\ge 0$, $u_0,u_1\in X_\delta$, $u\in L^1_{\rm loc}([0,\infty),X_\delta)$, and (3.9)-(3.10).

Watch

Extended reading notes

Core claim

The central claim is that global nonexistence for the wave inequality on a weighted graph is governed by weighted volume growth, with a qualitative difference between the nonnegative and sign-changing cases. Theorem 3.1 says that if $\Delta d(\cdot,x_0)\le C/d(\cdot,x_0)^\alpha$ and the space-time volume condition (3.1) holds, then any nonnegative very weak solution with the initial-velocity condition (3.3) is identically zero. Theorem 3.4 removes the sign assumption but requires the two-sided Laplacian bound $|\Delta d|\le C/d^\alpha$, the summability of $u$, $u_0$, $u_1$ in the weighted $\ell^1$ space $X_\delta$, and the stronger weighted volume conditions (3.9)-(3.10); then $u\equiv 0$. The proof for sign-changing solutions is the paper's main technical contribution: after Proposition 5.1 rules out compactly supported cut-offs, the authors use the whole-graph test function (5.3) and justify the resulting infinite sums through Proposition 5.2 and Remark 5.3.

Load-bearing premise

The load-bearing premise is that the whole-graph test function $\phi_R$, with spatial decay only $e^{-\delta d(x,x_0)/R}$, is admissible in the very-weak-solution inequality and in the integration-by-parts formula even though those tools are stated for decay $e^{-\delta d(x,x_0)}$; without a proof that the truncated sums converge, the passage $R\to\infty$ is not justified.

Editorial extensions

If this is right

  • On the integer lattice $\mathbb{Z}^N$, the theorems reproduce the classical critical range: for $v\equiv 1$ they cover $1<\sigma\le (N+1)/(N-1)$ when $N\ge 2$, and all $\sigma>1$ when $N=1$ (Example 6.1).
  • On homogeneous trees, the results allow exponentially growing potentials, such as $g(x)=C\,d(x,x_0)^{(\sigma-3)/2}N^{(\sigma-1)d(x,x_0)}$, and still conclude that the only global very weak solution is zero (Example 6.2).
  • For finite weighted graphs, Corollary 7.2 gives a clean statement: if the potential is time-independent and $\sum_x u_1(x)\mu(x)\ge 0$, then no nonzero global very weak solution exists, with no further volume-growth condition.
  • The sign-changing result adds a new obstruction: even solutions that are not nonnegative are forced to vanish, provided they are summable in $X_\delta$ and the weighted volume conditions (3.9)-(3.10) hold.

Reading between the lines

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

  • The whole-graph test-function technique is not tied to the scalar inequality; it should extend to systems of wave inequalities or higher-order hyperbolic inequalities on graphs, with the exponential rate in $\psi$ adjusted to the order of the operator.
  • The decay $e^{-\delta d(x,x_0)/R}$ in the volume conditions suggests that the effective weight varies with the scale $R$; the sharp boundary for nonexistence may be expressible as a large-deviation rate for the graph's volume measure rather than as a polynomial exponent.
  • A testable extension would be to weaken $u\in L^1_{\rm loc}([0,\infty),X_\delta)$ to a moment condition on $u$ that still makes the truncated sums in Proposition 5.2 converge; that would separate the essential summability assumption from the technical admissibility of the test function.
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 / 4 minor

Summary. The paper studies the semilinear wave inequality u_tt - Δu ≥ v|u|^σ on infinite weighted graphs and claims nonexistence of nonzero global very weak solutions. For nonnegative solutions (Theorem 3.1) the proof adapts the parabolic arguments of the authors' preprint [34], using compactly supported test functions and weighted volume growth conditions. For sign-changing solutions (Theorem 3.4) the paper introduces a novel technique: test functions supported on the whole graph with exponential decay, together with an ℓ^1-type assumption u ∈ L^1_loc([0,∞), X_δ). Corollaries cover the cases v ≥ g and v ≡ 1, and a separate result treats finite graphs.

Significance. If the sign-changing theorem were correct, it would be a substantial extension of known Euclidean and manifold nonexistence results to discrete structures and would introduce a new test-function technique for hyperbolic inequalities on graphs. The nonnegative result is a plausible adaptation of existing parabolic techniques. However, the central proof of the sign-changing theorem contains a load-bearing gap: the globally supported test function does not satisfy the decay hypotheses under which the paper's own approximation and integration-by-parts tools are proved. Since the advertised novelty is precisely the sign-changing result, the paper cannot be accepted in its current form.

major comments (3)
  1. [Section 5, Eq. (5.3) and Remark 5.3 / Proposition 5.2] The test function φ_R defined in (5.3) satisfies |φ_R(x,t)| ≤ C e^{-δ d(x,x0)/R} (and similarly for its derivatives), not the bound |φ_R(x,t)| ≤ C e^{-δ d(x,x0)} required by Remark 5.3 and Proposition 5.2. For R > 1 the decay e^{-δ d/R} is slower than e^{-δ d}, so φ_R does not meet the hypotheses of those results. Consequently the extension of the very weak solution inequality (2.4) to φ_R, used as Eq. (5.4), and the identity Σ_x Δu φ_R = Σ_x u Δφ_R obtained from Proposition 5.2 are not justified by the stated assumptions. The summability u ∈ L^1_loc([0,∞), X_δ) does not ensure convergence of Σ_x u(x,t)(φ_R)_tt(x,t) or Σ_x u(x,t)Δφ_R(x,t): for example, on V = Z with μ ≡ 1 and δ = 1, the constant function u ≡ 1 belongs to X_δ, yet Σ_x e^{-δ|x|/R} = ∞ for every R > 1. All subsequent Young and Hölder estimates in the proof of Theorem 3.4 depend on this unjustified step.
  2. [Remark 5.3] The approximation argument in Remark 5.3 is also incomplete with respect to the nonlinear term. For the truncated test functions φ_k the very weak solution inequality has right-hand side ∫_0^T Σ_{x∈B_k} v|u|^σ φ_k. Passing to the limit k → ∞ requires convergence or at least a meaningful limit of Σ_x v|u|^σ φ. The assumption u ∈ L^1_loc([0,∞), X_δ) only controls Σ_x |u| e^{-δ d}; it does not imply any global summability of v|u|^σ with a weight. The definition of very weak solution only gives v|u|^σ ∈ L^1_loc at each vertex. Thus the right-hand side of (2.4) for the whole-graph φ_R may be infinite, and the inequality in the form used to derive (5.4) and the subsequent estimates is not established.
  3. [Section 4, proof of Theorem 3.1] The proof of the nonnegative result is not self-contained. The key estimate (4.2) is obtained 'following the same procedure of [34, Theorem 2.6]', and the final conclusion is said to follow 'by an application of Hölder inequality, in a similar way as [34, Theorem 2.6]' without presenting those details. Since [34] is an unpublished preprint of the same authors and is not included in the manuscript, the referee cannot verify the decisive final step of Theorem 3.1 from the material provided. The authors should either reproduce the relevant argument or cite a published reference that contains it.
minor comments (4)
  1. [Abstract] The abstract contains missing spaces ('Weinvestigatethe semilinear wave equation') which should be corrected.
  2. [Corollary 3.5, proof] The sentence 'is enough to observe that it' should read 'is enough to observe that'.
  3. [Section 5, Proposition 5.1 discussion] The phrase 'we would need to construct a a suitable compactly supported nonnegative cut-off function' contains a duplicated article 'a'.
  4. [Theorem 3.4, condition (3.8)] The condition Σ_x u_1(x)μ(x) ≥ 0 is used together with u_1 ∈ X_δ to justify that the sums of the positive and negative parts of u_1 over V are finite; this implication should be stated explicitly, since the condition alone involves an infinite sum that need not converge in general.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular derivation: the nonexistence theorems rest on test-function estimates under stated volume-growth assumptions; the main caveats (delegation to prior [34], decay mismatch for φ_R) are proof gaps rather than circular reductions.

full rationale

Walking the derivation chain, I find no step in which a stated nonexistence theorem is equivalent to its own hypotheses by construction. Theorems 3.1 and 3.4 are proved by the standard test-function method: choose a cut-off (compactly supported in Section 4, exponentially decaying in Section 5), apply the very weak formulation (2.4), and combine Young and Hölder inequalities with the stated weighted-volume growth assumptions. The volume conditions (3.1), (3.9), (3.10), and their corollaries are sufficient hypotheses, not fitted parameters renamed as predictions, so there is no fitted-input circularity. The self-citations to the authors' preprint [34] are real but not circular in the prohibited sense: Section 4 says 'we will skip the overlapping parts and refer to [34] for all the details' and the final step is 'in a similar way as [34, Theorem 2.6]', but [34] establishes a parabolic analog, not the hyperbolic result being proved; the paper still performs the hyperbolic estimates itself. This is proof-delegation rather than result-importation, so it raises reproducibility and completeness concerns without making the derivation identical to its input. I also note a non-circular technical gap: in Theorem 3.4, the test function (5.3) has ψ((d(x,x0)-j)/R) = e^{-δ(d-j)/R}, which decays like e^{-δ d/R}, slower than the e^{-δ d} required by Remark 5.3 and Proposition 5.2; the whole-graph sums in (5.4) are therefore not justified by the stated assumptions. This is a correctness issue, not a circularity, and should be weighed in a separate mathematical review.

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

The central claims rest on the previous self-cited theorem [34], the sketched extension of the test-function class in Remark 5.3, and the exponential-decay integration by parts in Proposition 5.2. No numbers are fitted to data, and the paper introduces no new entities.

assumptions (4)
  • domain assumption Theorem 2.6 of [34] is correct and provides the omitted estimate for -Δφ and the final Hölder-convergence step used to conclude u ≡ 0 in Theorem 3.1.
    The proof of Theorem 3.1 explicitly skips to [34, Section 3] and [34, Theorem 2.6]; that source is a non-machine-checked preprint by the same authors.
  • domain assumption The very weak solution inequality (2.4) can be extended to test functions that are not compactly supported in space but decay like C e^{-δ d(x,x0)} together with their time derivatives.
    Remark 5.3 gives a sketch via truncation to balls; the theorem as used later requires this extension to hold for slower decay, which is not proved.
  • domain assumption Proposition 5.2 integration by parts holds for u with weighted ℓ1 decay and φ satisfying |φ| ≤ C e^{-δ d(x,x0)}.
    The proof is written with that exact rate, but the φ_R used in Theorem 3.4 decays at the slower rate e^{-δ d/R}.
  • standard math The equivalence in Remark 2.3 between |Δd| ≤ C/d^α and |Δd^{1+α}| ≤ C holds for α ∈ [0,1].
    Used to translate the geometric hypotheses into test-function bounds; the Taylor-expansion argument is standard.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Nonexistence results for the semilinear wave equation on graphs." pith.science (2026). https://pith.science/paper/2WITJMDP

@misc{pith2026250608697,
  author       = {Pith},
  title        = {Pith review of: Nonexistence results for the semilinear wave equation on graphs},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2WITJMDP}},
  note         = {Machine review of arXiv:2506.08697}
}
read the original abstract

We investigate the semilinear wave equation with potential on weighted graphs. We establish sufficient conditions for the nonexistence of global-in-time solutions. Both nonnegative and sign-changing solutions are considered. In particular, the proof for sign-changing solutions relies on a novel technique for this type of result.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

41 extracted references · 35 canonical work pages

  1. [34]

    D. D. Monticelli, F. Punzo, J. Somaglia,Nonexistence of solutions to parabolic problems with a potential on weighted graphs,preprint (2024), arxiv:2404.12058

  2. [1]

    Avdonin, Y

    S. Avdonin, Y. Zhao,Exact controllability of the wave equation on graphs, Applied Math. and Optim. 85 (2022) 1–44

  3. [2]

    Avdonin, S

    S. Avdonin, S. Nicaise,Source identification problems for the wave equation on graphs, Inverse Problems 31 (2015), 095007

  4. [3]

    Barlow, T

    M. Barlow, T. Coulhon, A. Grigor’yan,Manifolds and graphs with slow heat kernel decay, Invent. Math. 144 (2001), 609–649

  5. [4]

    Phragm\`en-Lindel\"of type theorems for elliptic equations on infinite graphs

    S. Biagi, F. Punzo,Phragmèn-Lindelöf type theorems for elliptic equations on infinite graphs, preprint (2024) arXiv:2406.06505

  6. [5]

    Biagi, G

    S. Biagi, G. Meglioli, F. Punzo,A Liouville theorem for elliptic equations with a potential on infinite graphs, Calc. Var. Partial Differ. Equ.63, 165 (2024)

  7. [6]

    Biagi, G

    S. Biagi, G. Meglioli, F. Punzo, Phragm` n-Lindelöf type theorems for parabolic equations on infinite graphs, preprint (2025) arXiv:2504.08407

  8. [7]

    Chamizo, H

    F. Chamizo, H. Iwaniec,On the sphere problem,Rev. Mat. Iberoamericana11, (1995), 417–429. 26 D.D. MONTICELLI, F. PUNZO, AND J. SOMAGLIA

Show all 41 references
  1. [8]

    von Criegern,Nonexistence Results for a General Class of Parabolic Problems with a Potential on Weighted Graphs, preprint (2025) arXiv:2504.03878

    D.-E. von Criegern,Nonexistence Results for a General Class of Parabolic Problems with a Potential on Weighted Graphs, preprint (2025) arXiv:2504.03878

  2. [9]

    Fricker, Einfuhrung die gitterpunktlehre,Birkhauser Verlag, 1982

    F. Fricker, Einfuhrung die gitterpunktlehre,Birkhauser Verlag, 1982

  3. [10]

    Friedman, J.-P

    J. Friedman, J.-P. Tillich,Wave equations for graphs and the edge-based Laplacian, Pacific J. Math., 216 (2004), 229–266

  4. [11]

    Grigor’yan, Introduction to Analysis on Graphs, AMS University Lecture Series 71 (2018)

    A. Grigor’yan, Introduction to Analysis on Graphs, AMS University Lecture Series 71 (2018)

  5. [12]

    Grigor’yan, Y

    A. Grigor’yan, Y. Lin, Y. Yang,Kazdan-Warner equation on graph, Calc. Var. Partial Differ. Equ.55 (2016), 1–13

  6. [13]

    Grigor’yan, Y

    A. Grigor’yan, Y. Lin, Y. Yang,Yamabe type equations on graphs, J. Diff. Eq.261 (2016), 4924–4943

  7. [14]

    Grigor’yan, A

    A. Grigor’yan, A. Telcs,Sub-Gaussian estimates of heat kernels on infinite graphs, Duke Math. J.109 (2001), 451–510

  8. [15]

    Grillo, G

    G. Grillo, G. Meglioli, F. Punzo,Blow-up and global existence for semilinear parabolic equations on infinite graphs, preprint (2024) arXiv:2406.15069

  9. [16]

    Q. Gu, X. Huang, Y. Sun,Semi-linear elliptic inequalities on weighted graphs, Calc. Var. Partial Differ. Equ. 62 (2023)

  10. [17]

    Q. Gu, Y. Sun, J. Xiao, F. Xu,Global positive solution to a semi-linear parabolic equation with potential on Riemannian manifold, Calc. Var. Partial Differ. Equ.59 170 (2020)

  11. [18]

    F. Han, B. Hua,Uniqueness class of solutions to a class of linear evolution equations, J. Diff. Eq.409 (2024), 441–460

  12. [19]

    B. Hua, Y. Lin,Stochastic completeness for graphs with curvature dimension conditions, Adv. Math. 306 (2017), 279–302

  13. [20]

    B. Hua, L. Wang,Dirichlet p-Laplacian eigenvalues and Cheeger constants on symmetric graphs, Adv. Math. 364 (2020), 106997

  14. [21]

    Huang,On uniqueness class for a heat equation on graphs, J

    X. Huang,On uniqueness class for a heat equation on graphs, J. Math. Anal. Appl.393 (2012), 377–388

  15. [22]

    Huang, M

    X. Huang, M. Keller, M. Schmidt,On the uniqueness class, stochastic completeness and volume growth for graphs, Trans. Amer. Math. Soc.373 (2020), 8861–8884

  16. [23]

    M. N. Huxley,Exponential sums and lattice points. II,Proc. London Math. Soc.66 (1993), 279–301

  17. [24]

    Kato, Blow-up of solutions of some nonlinear hyperbolic equations, Comm

    T. Kato, Blow-up of solutions of some nonlinear hyperbolic equations, Comm. Pure Appl. Math 33 (1980), 501–505

  18. [25]

    Keller, D

    M. Keller, D. Lenz, R.K. Wojciechowski, Graphs and Discrete Dirichlet Spaces, Springer (2021)

  19. [26]

    Keller, C

    M. Keller, C. Rose,Anchored heat kernel upper bounds on graphs with unbounded geometry and anti- trees,Calc. Var. Partial Differ. Equ.63, 20 (2024)

  20. [27]

    Y. Lin, Y. Xie, The existence of the solution of the wave equation on graphs , preprint (2019), arXiv:1908.02137

  21. [28]

    Y. Lin, Y. Wu,The existence and nonexistence of global solutions for a semilinear heat equation on graphs, Calc. Var. Partial Differ. Equ.56, (2017), 1–22

  22. [29]

    Meglioli, On the uniqueness for the heat equation with density on infinite graphs, J

    G. Meglioli, On the uniqueness for the heat equation with density on infinite graphs, J. Diff. Eq.425 (2025), 728–762

  23. [30]

    Meglioli, F

    G. Meglioli, F. Punzo,Uniqueness in weightedℓp spaces for the Schrödinger equation on infinite graphs, Proc. Amer. Math. Soc. 153 (2025), 1519–1537

  24. [31]

    Meglioli, F

    G. Meglioli, F. Punzo, Uniqueness of solutions to elliptic and parabolic equations on metric graphs, preprint (2025) arXiv:2503.02551

  25. [32]

    Mitidieri and S

    E. Mitidieri and S. Pohozaev,Nonexistence of weak solutions for some degenerate elliptic and parabolic problems on Rn, J. Evol. Equ.1 (2001), 189–220

  26. [33]

    D. D. Monticelli, F. Punzo, J. Somaglia, Nonexistence results for semilinear elliptic equations on weighted graphs,preprint (2023), arxiv:2306.03609

  27. [35]

    D. D. Monticelli, F. Punzo, M. Squassina,Nonexistence for hyperbolic problems on Riemannian mani- folds, Asymptot. Anal. 120 (2020), 87–101

  28. [36]

    Mugnolo, Semigroup Methods for Evolution Equations on Networks, Springer (2014)

    D. Mugnolo, Semigroup Methods for Evolution Equations on Networks, Springer (2014)

  29. [37]

    Punzo, A

    F. Punzo, A. Tesei,Monotonicity results for semilinear parabolic equations on metric graphs, preprint (2025) arXiv:2502.08361

  30. [38]

    Punzo, A

    F. Punzo, A. Tesei,Extinction and propagation phenomena for semilinear parabolic equations on metric trees, preprint (2025) arXiv:2505.10712. NONEXISTENCE FOR THE W A VE EQUATION ON GRAPHS 27

  31. [39]

    Ru,A nonexistence result for a nonlinear wave equation with damping on a Riemannian manifold, Bound

    Q. Ru,A nonexistence result for a nonlinear wave equation with damping on a Riemannian manifold, Bound. Value Probl.198 (2016)

  32. [40]

    Shaeffer,The equation utt − ∆u = |u|p for the critical value of p, Proc

    J. Shaeffer,The equation utt − ∆u = |u|p for the critical value of p, Proc. Royal. Soc. Edinburgh101 (1985), 31–44

  33. [41]

    Wu,On nonexistence of global solutions for a semilinear heat equation on graphs, Nonlinear Anal

    Y. Wu,On nonexistence of global solutions for a semilinear heat equation on graphs, Nonlinear Anal. 171 (2018), 73–84. (D.D. Monticelli) Politecnico di Milano, Dipartimento di Matematica, Piazza Leonardo da Vinci 32, 20133 Milano, Italy Email address: dario.monticelli@polimi.i...

Pith tools

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