Recognition: 2 theorem links
· Lean TheoremBlow-up of solutions to semilinear parabolic equations driven by mixed local-nonlocal operators with large initial data
Pith reviewed 2026-05-11 03:14 UTC · model grok-4.3
The pith
Large initial data cause solutions to mixed local-nonlocal semilinear parabolic equations to blow up in finite time.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By adapting the Kaplan method to the present framework, we prove that solutions blow up in finite time whenever the initial datum is sufficiently large. In the prototype case f(u)=u^p, this conclusion holds for every p>1. As a particular case of our operator, we also include the fractional Laplacian; to the best of our knowledge, this type of result is new even in that special case.
What carries the argument
Adapting the Kaplan method to mixed local-nonlocal operators by integrating the equation against a suitable test function to obtain a differential inequality that forces the integral of the solution to explode in finite time.
If this is right
- Nonnegative solutions cannot exist globally in time for large initial data under the stated hypotheses on the reaction term.
- In the power nonlinearity case the blow-up conclusion holds for every exponent p greater than one.
- The result applies directly when the mixed operator reduces to the fractional Laplacian alone.
- Blow-up occurs uniformly across the family of mixed operators that include both local and nonlocal diffusion terms.
Where Pith is reading between the lines
- The presence of nonlocal terms does not stabilize the dynamics enough to allow global existence when the initial datum is large and the nonlinearity is superlinear.
- The same test-function technique might be applied to obtain blow-up criteria for other classes of mixed operators not treated here.
- Explicit lower bounds on the blow-up time could be extracted from the differential inequality derived in the proof.
- Numerical experiments on simple domains could check whether the predicted blow-up times match observed singularities.
Load-bearing premise
The reaction term must satisfy structural hypotheses such as superlinear growth at infinity and the initial datum must be large enough in an appropriate sense so that the integrated reaction dominates the diffusion contribution.
What would settle it
A global-in-time solution starting from a sufficiently large initial datum for f(u) = u^p with p > 1 under a mixed local-nonlocal operator would falsify the blow-up claim.
read the original abstract
We investigate finite-time blow-up for nonnegative solutions to the Cauchy problem associated with semilinear parabolic equations driven by a mixed local--nonlocal operator. The reaction term is assumed to satisfy suitable structural hypotheses, the prototype being $f(u)=u^p$ with $p>1$. By adapting the Kaplan method to the present framework, we prove that solutions blow up in finite time whenever the initial datum is sufficiently large. In the prototype case $f(u)=u^p$, this conclusion holds for every $p>1$. As a particular case of our operator, we also include the fractional Laplacian; to the best of our knowledge, this type of result is new even in that special case.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves finite-time blow-up for nonnegative solutions of semilinear parabolic Cauchy problems driven by mixed local-nonlocal operators, under structural assumptions on the reaction term (prototype f(u)=u^p, p>1). The argument adapts Kaplan's method: a positive test function (principal eigenfunction of the mixed operator) is used to derive a differential inequality for the weighted integral J(t) that forces blow-up when the initial datum is large enough. The result is stated to hold for every p>1 and is claimed to be new even when the operator reduces to the fractional Laplacian.
Significance. If the adaptation is carried out without gaps in the nonlocal estimates, the work extends classical blow-up criteria to a broader operator class that interpolates between local and nonlocal diffusion. The explicit inclusion of the fractional-Laplacian case as a corollary is a concrete contribution, since such blow-up statements were previously unavailable in that setting.
major comments (1)
- [§3] §3 (or the section containing the proof of the main blow-up theorem): the key step is the derivation of dJ/dt ≥ c J^p − λ J after testing the PDE against the positive eigenfunction φ. For the nonlocal piece this requires a precise lower bound on the double-integral term that recovers −λ ∫ u φ without sign errors or omitted boundary contributions. The manuscript must display the exact identity or estimate used for this term (analogous to integration-by-parts for the local Laplacian) so that the reader can verify the inequality holds for the full mixed operator.
minor comments (2)
- [Introduction] The precise definition of the mixed operator (including the range of the nonlocal parameter and the domain of the principal eigenfunction) should be stated once in the introduction and repeated verbatim in the statement of the main theorem.
- A short remark comparing the obtained blow-up time estimate with the pure local or pure nonlocal cases would help the reader gauge the effect of the mixing parameter.
Simulated Author's Rebuttal
We thank the referee for the positive assessment of the manuscript and for the constructive comment on the proof of the main theorem. We address the point below and will revise the manuscript to improve the exposition of the nonlocal estimates.
read point-by-point responses
-
Referee: [§3] §3 (or the section containing the proof of the main blow-up theorem): the key step is the derivation of dJ/dt ≥ c J^p − λ J after testing the PDE against the positive eigenfunction φ. For the nonlocal piece this requires a precise lower bound on the double-integral term that recovers −λ ∫ u φ without sign errors or omitted boundary contributions. The manuscript must display the exact identity or estimate used for this term (analogous to integration-by-parts for the local Laplacian) so that the reader can verify the inequality holds for the full mixed operator.
Authors: We agree that the nonlocal contribution should be written out explicitly. In the revised version we will insert a short auxiliary calculation immediately after the definition of J(t). Since φ is the principal eigenfunction of the mixed operator L = L_local + L_nonlocal, the weak formulation yields ∫ (L u) φ dx = λ ∫ u φ dx. The local part follows from the standard Green identity with vanishing boundary terms at infinity. For the nonlocal part the symmetry of the kernel together with the eigenvalue equation for φ produces the identity ∬ (u(x)−u(y))(φ(x)−φ(y)) K(x,y) dx dy = λ ∫ u φ dx minus the local contribution already accounted for; positivity of the kernel and of φ guarantees the correct sign and the absence of extra boundary integrals on the whole space. Substituting into the integrated PDE then gives the desired differential inequality J'(t) ≥ −λ J(t) + c ∫ f(u) φ dx, from which the blow-up conclusion follows exactly as in the classical Kaplan argument. We thank the referee for this suggestion, which will make the argument self-contained. revision: yes
Circularity Check
No circularity; standard adaptation of external Kaplan method
full rationale
The derivation adapts the classical Kaplan method by testing the PDE against the principal eigenfunction of the mixed local-nonlocal operator to derive a differential inequality dJ/dt ≥ c J^p - λ J for the weighted integral J(t) = ∫ u φ dx. This step uses the eigenvalue equation for the linear mixed operator (established independently via spectral theory for such operators) and standard integration-by-parts or weak-form estimates for the local and nonlocal pieces. The resulting ODE comparison then yields finite-time blow-up for large initial data, without any reduction to fitted parameters, self-definitional relations, or load-bearing self-citations. The claim for the fractional Laplacian case is presented as new, with no internal loop or renaming of known results.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The reaction term f satisfies suitable structural hypotheses allowing adaptation of the Kaplan method
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclearBy adapting the Kaplan method... Φ'(t) + λΦ(t) ≥ f(Φ(t)) ... Kaplan function κ(x) := C ε^{N/2} (1+ε|x|²)^{-β}
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclearEstimate of the nonlocal part... hypergeometric function H(N/2+s, β+s, ...)
Reference graph
Works this paper leans on
- [1]
-
[2]
C. Bandle, H.A. Levine,Fujita type phenomena for reaction - diffusion equations with convection like terms, Diff. Integral Eq.7(1994), 1169–1193. 2, 3, 12
work page 1994
- [3]
- [4]
- [5]
- [6]
- [7]
- [8]
- [9]
- [10]
-
[11]
M. Bonforte, J. Endal,Nonlocal Nonlinear Diffusion Equations. Smoothing Effects, Green Functions, and Functional Inequalities, J. Funct. Anal.284(2023) 109831
work page 2023
-
[12]
M. Bonforte, A. Figalli, J.L. V´ azquez,Sharp boundary behaviour of solutions to semilinear nonlocal elliptic equations, Calc. Var. Partial Differ. Equ.57, (2018), Article 57
work page 2018
-
[13]
M. Bonforte, P. Ibarrondo, M. Ispizua,The Cauchy-Dirichlet Problem for Singular Nonlocal Diffusions on Bounded Domains, DCDS-A43(2023) 1090-1142. 2 14 S. BIAGI, F. PUNZO, AND E. VECCHI
work page 2023
- [14]
-
[15]
L.M. Del Pezzo, R. Ferreira,Fujita exponent and blow-up rate for a mixed local and nonlocal heat equation, Nonlinear Anal. TMA255(2025) 113761. 2
work page 2025
-
[16]
A. De Pablo,An introduction to the problem of blow-up for semilinear and quasilinear parabolic equations, MAT Serie A12(2006). 1, 2, 3, 12
work page 2006
-
[17]
S. Dipierro, E. Proietti Lippi, E. Valdinoci,(Non)local logistic equations with Neumann conditions, Ann. Inst. H. Poincar´ e, Anal. Non Lin.,40(2023), 1093–1166. 2
work page 2023
-
[18]
S. Dipierro, E. Valdinoci,Description of an ecological niche for a mixed local/nonlocal dispersal: An evolution equation and a new Neumann condition arising from the superposition of Brownian and L ˜A©vy processes, Physica A: Stat. Mech. Appl.,575(2021) 126052. 2
work page 2021
-
[19]
F. Ferrari, I.E. Verbitsky,Radial fractional Laplace operators and hessian inequalities, J. Diff. Eq.253, (2012), 244–272. 10
work page 2012
-
[20]
Fujita,On the blowing up of solutions of the Cauchy problem foru t = ∆u+u 1+α, J
H. Fujita,On the blowing up of solutions of the Cauchy problem foru t = ∆u+u 1+α, J. Fac. Sci. Univ. Tokyo Sect. I13, (1966), 109–124. 1
work page 1966
-
[21]
K. Hayakawa,On nonexistence of global solutions of some semilinear parabolic differential equations, Proc. Japan Acad.49, (1973), 503–505. 1
work page 1973
-
[22]
N. Hayashi, E.I. Kaikina, P. I. Naumkin,Asymptotics for fractional nonlinear heat equations, J. London Math. Soc.72, (2005), 663–688. 2
work page 2005
- [23]
-
[24]
Kaplan,On the growth of solutions of quasilinear parabolic equations, Comm
S. Kaplan,On the growth of solutions of quasilinear parabolic equations, Comm. Pure Appl. Math.,16 (1963), 305–330. 2
work page 1963
-
[25]
K. Kobayashi, T. Sirao, H. Tanaka,On the growing up problem for semilinear heat equations, J. Math. Soc. Japan29(1977), 407–424. 1
work page 1977
-
[26]
V. Kumar, B.T. Torebek,Fujita-type results for the semilienar heat equations driven by mixed local-nonlocal operators, ArXiv preprint.https://arxiv.org/abs/2502.212732
-
[27]
J. Korvenp¨ a¨ a, T. Kuusi, G. Palatucci,The obstacle problem for nonlinear integro-differential operators, Calc. Var. Partial Differential Equations55, (2016), 1–30. 4
work page 2016
-
[28]
R. Laister, M. SierzegaA blow-up dichotomy for semilinear fractional heat equations, Math. Ann.381, (2021) 75–90. 2
work page 2021
-
[29]
Levine,The role of critical exponents in blowup theorems, SIAM Rev.32, (1990), 262–288
H.A. Levine,The role of critical exponents in blowup theorems, SIAM Rev.32, (1990), 262–288. 1
work page 1990
-
[30]
A. Lunardi, ”Analytic Semigroups and Optimal Regularity in Parabolic Problems”, Birkhauser/Springer Basel AG, Basel, 1995. 10
work page 1995
-
[31]
E. Mitidieri, S.I. Pohozaev,Towards a unified approach to nonexistence of solutions for a class of differ- ential inequalities,Milan J. Math.72, (2004), 129–162. 1
work page 2004
- [32]
- [33]
-
[34]
F. Punzo,Global solutions of semilinear parabolic equations with drift term on Riemannian manifolds, DCDS-A42(2022) 3733-3746. 10
work page 2022
-
[35]
P. Quittner, P. Souplet,Superlinear Parabolic Problems. Blow-up, Global Existence and Steady States, Birkh¨ auser, Basel, 2007. 1
work page 2007
-
[36]
Silvestre,Regularity of the obstacle problem for a fractional power of the Laplace operator, Ph.D
L. Silvestre,Regularity of the obstacle problem for a fractional power of the Laplace operator, Ph.D. thesis, Univ. Texas at Austin (2006). 4
work page 2006
-
[37]
Sugitani,On nonexistence of global solutions for some nonlinear integral equationsOsaka J
S. Sugitani,On nonexistence of global solutions for some nonlinear integral equationsOsaka J. Math.12, (1975), 45–51. 2 (S. Biagi)Dipartimento di Matematica Politecnico di Milano Via Bonardi 9, 20133 Milano, Italy Email address:stefano.biagi@polimi.it (F. Punzo)Dipartimento di Matematica Politecnico di Milano Via Bonardi 9, 20133 Milano, Italy Email addre...
work page 1975
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.