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 →
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 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.
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
- 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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- [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.
- [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)
- [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.
- [Proposition 6.3, last line] The expression 'e^{-λ0(q−1)s}' should read 'e^{-λ1(G)(q−1)s}'.
- [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.
- [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
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
assumptions (5)
- standard math Heat kernel of the graph Laplacian exists and satisfies symmetry, semigroup identity, and mass bound (2.4).
- standard math Heat kernel asymptotic: lim_{t→∞} log p(x,y,t)/t = −λ1(G).
- domain assumption Uniform exponential heat kernel bound p(x,y,t) ≤ C e^{-λ1(G)t} for t ≥ t̄.
- standard math Positivity improving property of the heat semigroup.
- domain assumption Stochastic completeness for the blow-up theorem.
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.
Reference graph
Works this paper leans on
-
[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
work page 1966
- [16]
- [4]
-
[8]
M. Folz, Gaussian upper bounds for heat kernels of continuous time si mple random walks , Electronic Journal of Probability, 16 (2011), 1693-1755
work page 2011
-
[10]
Introduction to Analysis on Graphs
A. Grigor’yan, "Introduction to Analysis on Graphs", A MS University Lecture Series 71 (2018)
work page 2018
-
[26]
Graphs and Dis crete Dirichlet Spaces
M. Keller, D. Lenz, R.K. Wojciechowski, "Graphs and Dis crete Dirichlet Spaces", Springer (2021)
work page 2021
-
[1]
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
work page 2021
- [2]
Show all 45 references
-
[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
2011
-
[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)
2024
-
[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
2024 arXiv
-
[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
2000
-
[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
2001
-
[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
2021
-
[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
2021
-
[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
2023
-
[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
2023
-
[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
2020
-
[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)
2020
-
[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
1973
-
[20]
B. Hua, J. Jost, Lq harmonic functions on graphs , Israel J. Math. 202 (2014), 475-490
2014
-
[21]
B. Hua, M. Keller, Harmonic functions of general graph Laplacians. Calc. Var. Part. Diff. Eq., 51 (2014), 343-362
2014
-
[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
2015
-
[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
2012
-
[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
2020
-
[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
1977
-
[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)
2023
-
[28]
H. A. Levine, The role of critical exponents in blowup theorems , SIAM Rev. 32 (1990), 262–288
1990
-
[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)
2017
-
[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
2018
-
[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
2017
-
[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)
2025
-
[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)
-
[34]
D. D. Monticelli, F. Punzo, J. Somaglia, Nonexistence results for semilinear elliptic equations on weighted graphs, arXiv:2306.03609 (2023)
2023 arXiv
-
[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)
2024 arXiv
-
[36]
Semigroup Methods for Evolution Equation s on Networks
D. Mugnolo, "Semigroup Methods for Evolution Equation s on Networks", Springer (2016)
2016
-
[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
2012
-
[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
2022
-
[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)
2024 arXiv
-
[40]
Punzo, A
F. Punzo, A. Tesei, Blow-up on metric graphs and Riemannian manifolds , DCDS-B 28 (2023) 6362–6392
2023
-
[41]
Punzo, A
F. Punzo, A. Tesei, Monotonicity results for semilinear parabolic equations o n metric graphs , submitted (2025)
2025
-
[42]
Punzo, A
F. Punzo, A. Tesei, Extinction and propagation phenomena for semilinear parab olic equations on metric trees , in preparation
-
[43]
Z. Wang, J. Yin, A note on semilinear heat equation in hyperbolic space , J. Diff. Eq. 256 (2014), 1151–1156
2014
-
[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
2018
-
[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...
1999
Reviewed August 8, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.