Pith. sign in

REVIEW 2 major objections 4 minor 45 references

On a semilinear parabolic equation with time-dependent source term on infinite graphs

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

Pith's one-line read The paper proves a spectral-gap threshold for finite-time blow-up versus global existence of solutions to $u_t=\Delta u+h(t)u^q$ on infinite weighted graphs.

desk verdict The paper's main blow-up theorem has an exponential sign error in its hypothesis, making it internally inconsistent with its own global existence result; the intended Fujita-type threshold on graphs is plausible but needs a major revision. read the letter →

arxiv 2502.13150 v1 pith:2Q6WBINK submitted 2025-02-12 math.AP

classification math.AP MSC 35A0135A0235B4435K0535K5835R02
keywords semilinearparabolicequationinfiniteweightedgraphsfinite-timeblow-upglobalexistenceheatkernelspectralgaptime-dependentsource
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 Cauchy problem $u_t=\Delta u+h(t)u^q$, $q>1$, on infinite weighted graphs, and asks whether solutions exist for all time or blow up in finite time. It claims that when the graph Laplacian has positive spectral bottom $\lambda_1(G)$, the answer is governed by the competition between the growth of $h$ and the decay rate $\lambda_1(G)$ of the heat semigroup: for $h(t)=e^{\alpha t}$, every nontrivial nonnegative solution blows up in finite time if $\alpha>(q-1)\lambda_1(G)$, while small data admit a global solution if $\alpha<(q-1)\lambda_1(G)$. This is the graph analogue of a known hyperbolic-space dichotomy, and it matters because it identifies the spectral gap, not volume growth alone, as the quantity controlling blow-up for time-dependent sources. The critical equality case is left open.

What carries the argument

The argument turns on the heat kernel $p(x,y,t)$ of the graph and the quantity $\lambda_1(G)$, the bottom of the $L^2$ spectrum of $-\Delta$. Two estimates do the work. On the blow-up side, the exponential-time asymptotic of the heat kernel gives $e^{t\Delta}u_0(x_0)\ge C_1e^{-[\lambda_1(G)+\varepsilon]t}$ for large $t$, and a Jensen-type integration on the weighted average $\Phi_x(t)=\sum_z p(x,z,T-t)u(z,t)\mu(z)$ yields $(q-1)H(T)[\Phi_x(0)]^{q-1}\le1$; comparing the two forces the contradiction when $H(T)^{1/(q-1)}$ outgrows $e^{[\lambda_1(G)+\varepsilon]T}$. On the global-existence side, the fixed point is placed in the complete metric space of functions bounded by multiples of $p(x,y_0,t+\gamma)$, and the contraction is small because the uniform exponential bound $p(x,y,t)\le Ce^{-\lambda_1(G)t}$ turns $u^{q-1}\le M^{q-1}p(\cdot,y_0,\cdot+\gamma)^{q-1}$ into an integrable factor $\delta^{q-1}e^{-\lambda_1(G)(q-1)s}h(s)$.

What would settle it

Construct a stochastically complete infinite weighted graph with $\lambda_1(G)>0$ whose heat kernel can be computed or sharply bounded, and check whether $\sup_{x,y}p(x,y,t)e^{\lambda_1(G)t}$ remains bounded as $t\to\infty$. If it is unbounded, the uniform estimate (2.7) behind the global-existence proof fails; if it stays bounded, the paper's global-existence mechanism has the estimate it needs.

Watch

Extended reading notes

Core claim

The central discovery, on the paper's own terms, is a dichotomy for the semilinear heat equation on stochastically complete infinite weighted graphs with $\lambda_1(G)>0$. Theorem 3.2 says that if $H(t)=\int_0^t h(s)\,ds$ satisfies $H(t)^{1/(q-1)}e^{[\lambda_1(G)+\varepsilon]t}\to+\infty$ for some $\varepsilon\in(0,\lambda_1(G))$, then no nontrivial nonnegative solution can be global; blow-up occurs in finite time. Theorem 3.4 says that if $\int_0^\infty h(t)e^{-\lambda_1(G)(q-1)t}\,dt<\infty$ and the initial datum is smaller than a small multiple of a heat kernel $p(\cdot,y_0,\gamma)$, then a global mild solution exists and stays under $M p(\cdot,y_0,t+\gamma)$. For $h(t)=e^{\alpha t}$ the two theorems combine into $\alpha>(q-1)\lambda_1(G)$ for universal finite-time blow-up and $\alpha<(q-1)\lambda_1(G)$ for small-data global existence, leaving only $\alpha=(q-1)\lambda_1(G)$ unresolved.

Load-bearing premise

The global-existence half rests on the assumption that on every graph with $\lambda_1(G)>0$ the heat kernel decays uniformly in space, $p(x,y,t)\le Ce^{-\lambda_1(G)t}$ for all $x,y$ and all large $t$; if some spectral-gap graph violates this uniform bound, the contraction argument has no basis.

Editorial extensions

If this is right

  • For any stochastically complete infinite graph with $\lambda_1(G)>0$ and $h(t)=e^{\alpha t}$ with $\alpha>(q-1)\lambda_1(G)$, every nontrivial nonnegative solution of the Cauchy problem blows up in finite time.
  • For $\alpha<(q-1)\lambda_1(G)$, sufficiently small initial data, pointwise no larger than a small heat-kernel bump, produce a global solution that stays under a moving heat kernel.
  • With $h\equiv1$, the theorem gives global small-data solutions for every $q>1$, so the new phenomenon introduced by the paper is the time-dependent driving term and its competition with the spectral gap.
  • The criterion $\int_0^\infty h(t)e^{-\lambda_1(G)(q-1)t}dt<\infty$ provides a checkable sufficient condition for global existence on any graph with a spectral gap.

Reading between the lines

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

  • Taken literally, condition (3.2) appears to carry the wrong sign: for $h(t)=e^{\alpha t}$, the displayed limit is $+\infty$ for every $\alpha>0$, which overlaps the global-existence range of Theorem 3.4; the proof's contradiction step requires $H(t)^{1/(q-1)}e^{-[\lambda_1(G)+\varepsilon]t}\to+\infty$ instead.
  • The same threshold should persist for more general growing sources such as $h(t)=t^\beta e^{\alpha t}$, with polynomial factors changing the behavior only at the critical value $\alpha=(q-1)\lambda_1(G)$.
  • Settling the open critical case on graphs will likely require sub-exponential corrections to the heat kernel, by analogy with the hyperbolic-space treatment that the paper cites for that case.
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

2 major / 4 minor

Summary. The paper studies the semilinear parabolic equation u_t = Δu + h(t)u^q on infinite weighted graphs with λ1(G) > 0. The main results are a finite-time blow-up theorem (Theorem 3.2) under a growth condition on H(t) = ∫ h, a local existence theorem (Theorem 3.3), and a global existence theorem (Theorem 3.4) for small initial data when ∫ h(t)e^{-λ1(q-1)t} dt < ∞. For the model case h(t) = e^{αt}, the authors claim a sharp threshold: blow-up for α > (q−1)λ1 and global existence for α < (q−1)λ1. The proofs use heat-kernel estimates, a Jensen-inequality argument, and contraction mappings in a heat-kernel-weighted metric space.

Significance. The intended result is a meaningful extension of Fujita-type thresholds from hyperbolic space to graphs with a spectral gap, and the contraction method in a heat-kernel-weighted space is a useful technical contribution. However, the main blow-up theorem as stated is internally inconsistent with the global existence theorem, so the significance can only be assessed after the sign error in (3.2) and (4.7) is corrected and the provenance of the uniform heat-kernel bound (2.7) is clarified.

major comments (2)
  1. [Theorem 3.2, Eq. (3.2), proof (4.7)] The hypothesis of Theorem 3.2 has the wrong sign in the exponential. Combining Lemma 4.1 (Eq. (4.1)) and Lemma 4.2 (Eq. (4.4)) gives C1 e^{-(λ1+ε)T} ≤ Φ(0) ≤ (1/(q−1))^{1/(q−1)} H(T)^{-1/(q−1)}, so rearrangement yields H(T)^{1/(q−1)} e^{-(λ1+ε)T} ≤ constant. A contradiction requires H(T)^{1/(q−1)} e^{-(λ1+ε)T} → ∞, i.e., hypothesis (3.2) should have e^{-[λ1+ε]t} instead of e^{[λ1+ε]t}. As written, (3.2) is satisfied for h(t)=e^{αt} with any α>0, including 0<α<(q−1)λ1, where Theorem 3.4 guarantees a global small-data solution because (3.3) holds. The two theorems therefore contradict each other in an open parameter range. The intended threshold α>(q−1)λ1 is recovered after the sign correction.
  2. [Proposition 2.4] The statement 'by combining together [9, Theorems 2.1, 2.2]' is not reliable because reference [9] is Fujita's 1966 paper on blow-up for u_t=Δu+u^{1+α}, which does not address graph heat kernels. The uniform bound p(x,y,t) ≤ C e^{-λ1(G)t} in (2.7) is used essentially in Lemma 6.2 and Proposition 6.3 to control u^{q−1}, so its validity for the class of weighted graphs considered must be established or correctly referenced (e.g., [4], [8], [10], or [26]).
minor comments (4)
  1. [Section 5 (Lemmas 5.1, 5.2 and proof of Theorem 3.3)] The letter 'X' is used instead of 'G' in several places (e.g., 'for all x ∈ X', 'y ∈ X', 'G×(0,T)'), which is confusing and should be made uniform.
  2. [Proposition 6.3, last line] The expression 'e^{-λ0(q−1)s}' should read 'e^{-λ1(G)(q−1)s}'.
  3. [Proposition 2.4] The notation 'for any t>0 ... for all t ≥ t' overloads t; a different symbol, such as t0, should be used for the threshold time.
  4. [Proofs of Theorems 3.3 and 3.4] The name 'Caccioppoli' is misspelled as 'Cacioppoli' in both occurrences of the Banach-Caccioppoli theorem.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular reasoning: the proofs use external heat-kernel estimates and contraction arguments, and the main flaw is a non-circular algebra sign error.

full rationale

The derivation chain is self-contained and does not reduce any conclusion to its inputs. Theorem 3.2's blow-up proof combines Lemma 4.1, a heat-kernel lower bound deduced from the spectral asymptotic (2.6), with Lemma 4.2, an ODE comparison giving an upper bound in terms of H(T); neither lemma assumes finite-time blow-up, so the contradiction argument is not circular. Theorem 3.4's global existence is proven by a Banach contraction argument in the heat-kernel weighted space M, using the external uniform heat-kernel upper bound (2.7) and the integrability assumption (3.3); no fitted parameter is renamed as a prediction. Self-citations such as [16] are comparative or methodological and are not load-bearing. Two non-circular concerns should be flagged. First, Proposition 2.4 attributes the uniform heat-kernel bound to '[9, Theorems 2.1, 2.2]', but [9] is Fujita's 1966 blow-up paper, not a graph heat-kernel reference; this is a provenance or citation defect, not a circular step. Second, a sign error appears in the rearrangement leading to (4.7): from C1 e^{-[λ1+ε]T} ≤ C H(T)^{-1/(q-1)} the correct inequality is H(T)^{1/(q-1)} e^{-[λ1+ε]T} ≤ C/C1, so hypothesis (3.2) should use e^{-[λ1+ε]t}, not e^{[λ1+ε]t}. As written, this makes Theorem 3.2 and Remark 3.5 contradict Theorem 3.4 for h(t)=e^{αt} with 0<α<(q−1)λ1. That is an internal correctness problem, not circular reasoning. Since the central claims do not reduce by definition or by self-citation to their premises, the circularity score is 0.

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

The results rely on standard heat-kernel theory for weighted graphs and on two structural assumptions: positive spectral gap λ1(G)>0 and, for global existence, a uniform exponential heat-kernel bound. No parameters are fitted to data; constants ε, δ, M are auxiliary choices in the proofs. The central flaw is an algebraic sign error, not a hidden fit.

assumptions (5)
  • standard math Heat kernel of the graph Laplacian exists and satisfies symmetry, semigroup identity, and mass bound (2.4).
    Definition of minimal heat kernel on weighted graphs; used throughout in the mild formulation (Def. 3.1).
  • standard math Heat kernel asymptotic: lim_{t→∞} log p(x,y,t)/t = −λ1(G).
    Cited to [26, Prop 4.5]; used in Lemma 4.1 to get lower bound (4.1).
  • domain assumption Uniform exponential heat kernel bound p(x,y,t) ≤ C e^{-λ1(G)t} for t ≥ t̄.
    Prop 2.4; cited incorrectly to [9]. This bound is essential for the global existence contraction (Lemmas 6.2, Prop 6.3) and may fail for general weighted graphs without extra structure.
  • standard math Positivity improving property of the heat semigroup.
    Prop 2.5; used in Lemma 4.2 to divide by Φ_x(t)>0.
  • domain assumption Stochastic completeness for the blow-up theorem.
    Theorem 3.2 assumes it; the proof does not explicitly use full stochastic completeness, only properties (2.4), (2.5).

how reviews work

0 comments
Cite this review

Pith. "Pith review of On a semilinear parabolic equation with time-dependent source term on infinite graphs." pith.science (2026). https://pith.science/paper/2Q6WBINK

@misc{pith2026250213150,
  author       = {Pith},
  title        = {Pith review of: On a semilinear parabolic equation with time-dependent source term on infinite graphs},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2Q6WBINK}},
  note         = {Machine review of arXiv:2502.13150}
}
abstract

We are concerned with semilinear parabolic equations, with a time-dependent source term of the form $h(t)u^q$ with $q>1$, posed on an infinite graph. We assume that the bottom of the $L^2$-spectrum of the Laplacian on the graph, denoted by $\lambda_1(G)$, is positive. In dependence of $q, h(t)$ and $\lambda_1(G)$, we show global in time existence or finite time blow-up of solutions.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

45 extracted references · 40 canonical work pages

  1. [9]

    Fujita, On the blowing up of solutions of the Cauchy problem for ut = ∆ u + u1+α , J

    H. Fujita, On the blowing up of solutions of the Cauchy problem for ut = ∆ u + u1+α , J. Fac. Sci. Univ. Tokyo Sect. I 13 (1966), 109–124

  2. [16]

    Grillo, G

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

  3. [4]

    Barlow, T

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

  4. [8]

    Folz, Gaussian upper bounds for heat kernels of continuous time si mple random walks , Electronic Journal of Probability, 16 (2011), 1693-1755

    M. Folz, Gaussian upper bounds for heat kernels of continuous time si mple random walks , Electronic Journal of Probability, 16 (2011), 1693-1755

  5. [10]

    Introduction to Analysis on Graphs

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

  6. [26]

    Graphs and Dis crete Dirichlet Spaces

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

  7. [1]

    Adriani, A.G

    A. Adriani, A.G. Setti, Inner-outer curvatures, ollivier-ricci curvature and vol ume growth of graphs , Proc. Amer. Math. Soc. 149 (2021), 4609-4621

  8. [2]

    Bandle, H

    C. Bandle, H. Brunner, Blowup in diffusion equations: A survey , J. Comput. Appl. Math. 97 (1998), 3–22

Show all 45 references
  1. [3]

    Bandle, M.A

    C. Bandle, M.A. Pozio, A. Tesei, The Fujita exponent for the Cauchy problem in the hyperbolic space, J. Diff. Eq. 251 (2011), 2143–2163

  2. [5]

    Biagi, G

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

  3. [6]

    Biagi, F

    S. Biagi, F. Punzo, Phragmèn-Lindelöf type theorems for elliptic equations on infinite graphs , arXiv:2406.06505 (2024) 12 F ABIO PUNZO AND ALESSANDRO SACCO

  4. [7]

    Deng, H.A

    K. Deng, H.A. Levine, The role of critical exponents in blow-up theorems: the sequ el, J. Math. Anal. Appl. 243 (2000), 85–126

  5. [11]

    Grigor’yan, A

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

  6. [12]

    Grillo, G

    G. Grillo, G. Meglioli, F. Punzo, Smoothing effects and infinite time blowup for reaction-diffu sion equations: an approach via Sobolev and Poincaré inequalities , J. Math. Pures Appl. 151 (2021), 99–131

  7. [13]

    Grillo, G

    G. Grillo, G. Meglioli, F. Punzo, Global existence of solutions and smoothing effects for clas ses of reac- tion–diffusion equations on manifolds, J. Evol. Eq. 21 (2021), 2339–2375

  8. [14]

    Grillo, G

    G. Grillo, G. Meglioli, F. Punzo, Global existence for reaction-diffusion evolution equatio ns driven by the p-Laplacian on manifolds , Math. Eng. 5 (2023), 1-38

  9. [15]

    Grillo, G

    G. Grillo, G. Meglioli, F. Punzo, Blow-up versus global existence of solutions for reaction– diffusion equations on classes of Riemannian manifolds , Ann. Mat. Pura Appl. 202 (2023), 1255-1270

  10. [17]

    Grillo, M

    G. Grillo, M. Muratori, F. Punzo, Blow-up and global existence for solutions to the porous med ium equation with reaction and slowly decaying density , J. Diff. Eq. 269 (2020), 8918-8958

  11. [18]

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

  12. [19]

    Hayakawa, On nonexistence of global solutions of some semilinear para bolic differential equations , Proc

    K. Hayakawa, On nonexistence of global solutions of some semilinear para bolic differential equations , Proc. Japan Acad. 49 (1973), 503–505

  13. [20]

    B. Hua, J. Jost, Lq harmonic functions on graphs , Israel J. Math. 202 (2014), 475-490

  14. [21]

    B. Hua, M. Keller, Harmonic functions of general graph Laplacians. Calc. Var. Part. Diff. Eq., 51 (2014), 343-362

  15. [22]

    B. Hua, D. Mugnolo, Time regularity and long-time behavior of parabolic p-Lapl ace equations on infinite graphs, J. Diff. Eq. 259 (2015), 6162-6190

  16. [23]

    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

  17. [24]

    Huang, M

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

  18. [25]

    Kobayashi, T

    K. Kobayashi, T. Sirao, H. Tanaka, On the growing up problem for semilinear heat equations , J. Math. Soc. Japan 29 (1977), 407–424

  19. [27]

    D. Lenz, M. Schmidt, I. Zimmermann, Blow-up of nonnegative solutions of an abstract semilinear heat equation with convex source Calc. Var. 62 140 (2023)

  20. [28]

    H. A. Levine, The role of critical exponents in blowup theorems , SIAM Rev. 32 (1990), 262–288

  21. [29]

    Y. Lin, Y. Wu, The existence and nonexistence of global solutions for a sem ilinear heat equation on graphs , Calc. Var. 56, 102 (2017)

  22. [30]

    Y. Lin, Y. Wu, Blow-up problems for nonlinear parabolic equations on loca lly finite graphs , Acta Math. Scientia 38B(3) (2018), 843–856

  23. [31]

    Mastrolia, D.D

    P. Mastrolia, D.D. Monticelli, F. Punzo, Nonexistence of solutions to parabolic differential inequa lities with a potential on Riemannian manifolds, Math. Ann., 367 (2017), 929–963

  24. [32]

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

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

  25. [33]

    Meglioli, F

    G. Meglioli, F. Punzo, Uniqueness in weighted ℓp spaces for the Schrödinger equation on infinite graphs , Proc. Amer. Math. Soc. (to appear)

  26. [34]

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

  27. [35]

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

  28. [36]

    Semigroup Methods for Evolution Equation s on Networks

    D. Mugnolo, "Semigroup Methods for Evolution Equation s on Networks", Springer (2016)

  29. [37]

    Punzo, Blow-up of solutions to semilinear parabolic equations on R iemannian manifolds with negative sectional curvature, J

    F. Punzo, Blow-up of solutions to semilinear parabolic equations on R iemannian manifolds with negative sectional curvature, J. Math Anal. Appl., 387 (2012), 815–827. 13

  30. [38]

    Punzo, Global solutions of semilinear parabolic equations with dr ift on Riemannian manifolds , Discrete Contin

    F. Punzo, Global solutions of semilinear parabolic equations with dr ift on Riemannian manifolds , Discrete Contin. Dyn. Syst., 42 (2022) 3733–3746

  31. [39]

    Punzo, M

    F. Punzo, M. Svagna, Uniqueness for the Schrödinger Equation on Graphs with Pote ntial Vanishing at Infinity , arXiv:2407.05757 (2024)

  32. [40]

    Punzo, A

    F. Punzo, A. Tesei, Blow-up on metric graphs and Riemannian manifolds , DCDS-B 28 (2023) 6362–6392

  33. [41]

    Punzo, A

    F. Punzo, A. Tesei, Monotonicity results for semilinear parabolic equations o n metric graphs , submitted (2025)

  34. [42]

    Punzo, A

    F. Punzo, A. Tesei, Extinction and propagation phenomena for semilinear parab olic equations on metric trees , in preparation

  35. [43]

    Z. Wang, J. Yin, A note on semilinear heat equation in hyperbolic space , J. Diff. Eq. 256 (2014), 1151–1156

  36. [44]

    Wu, On nonexistence of global solutions for a semilinear heat eq uation on graphs , Nonlinear Analysis 171 (2018) 73–84

    Y. Wu, On nonexistence of global solutions for a semilinear heat eq uation on graphs , Nonlinear Analysis 171 (2018) 73–84

  37. [45]

    Q. S. Zhang, Blow-up results for nonlinear parabolic equations on manif olds, Duke Math. J., 97(3) (1999), 515–539. Dipar timento di Ma tema tica, Politecnico di Milano, Piazza Leonardo da Vinci 32, 20133 Milano, Italy. E-mail address: fabio.punzo@polimi.it Dipar timento di Ma...

Pith tools

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