Recognition: no theorem link
On the existence and nonexistence of global solutions of the semilinear heat equation
Pith reviewed 2026-05-13 05:04 UTC · model grok-4.3
The pith
The forward similarity transform enables the potential well method to classify global existence versus finite-time blow-up for semilinear heat equations in the range p_F < p < p_S.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By means of the forward similarity transform, the original semilinear heat equation is converted into a new parabolic equation to which the potential well method applies in weighted Sobolev spaces without destroying the blow-up or global-existence properties of the original solutions. The resulting criterion distinguishes initial data that generate global solutions from initial data that generate solutions blowing up in finite time, for all p satisfying p_F < p < p_S.
What carries the argument
The forward similarity transform that recasts the scaling-invariant equation into one where the potential well method applies directly in weighted Sobolev spaces.
If this is right
- Initial data lying inside the potential well of the transformed problem produce global solutions.
- Initial data lying outside the potential well produce solutions that blow up in finite time.
- The classification holds uniformly for every exponent strictly between the Fujita value 1 + 2/n and the Sobolev critical value (n + 2)/(n - 2) when n ≥ 3.
- The same criterion recovers the known global-existence versus blow-up dichotomy at the critical Sobolev exponent itself.
Where Pith is reading between the lines
- Direct numerical integration of the original equation for selected n and p could be used to check the boundary predicted by the transformed criterion.
- The same change-of-variables idea may remove scaling obstructions in other scale-invariant parabolic or hyperbolic problems.
- The weighted Sobolev spaces arising here may be adaptable to related equations posed on unbounded domains or with singular coefficients.
Load-bearing premise
The forward similarity transform preserves the blow-up or global-existence properties of the original solutions when the potential well method is applied in weighted Sobolev spaces.
What would settle it
A numerical solution of the original equation for some p in (p_F, p_S) and initial data that the transformed criterion predicts should exist globally, yet which instead blows up in finite time.
read the original abstract
We consider the semilinear heat equation $$ u_t-\Delta u=|u|^{p-1}u,\ \ (t,x)\in\mathbb{R}^+\times\mathbb{R}^n. $$ The well-known difficulty with this problem is that the potential well method cannot be applied directly, due to the scaling invariance which leads to a potential well of zero depth. We employ the forward similarity transform to convert the equation into a new parabolic equation, so that we can apply the potential well method in weighted Sobolev spaces. As a result, we obtain a new criterion that establishes whether solutions to the heat equation blow up in finite time or exist globally. This work extends the partial results of Ikehata et al. (\textit{Ann. Inst. H. Poincar\'e Anal. Non Lin\'eaire}, \textbf{27} (2010) 877-900) from critical Sobolev exponent to the case $p_F<p<p_S$, where $p_F=1+2/n$ is the Fujita exponent and $p_S=(n+2)/(n-2)$ (for $n\ge3$) is the critical Sobolev exponent.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript considers the semilinear heat equation u_t - Δu = |u|^{p-1}u on R^+ × R^n. It employs the forward similarity transform to recast the problem as a new parabolic equation, enabling application of the potential well method in weighted Sobolev spaces. This produces a criterion distinguishing finite-time blow-up from global existence and extends the partial results of Ikehata et al. from the critical Sobolev exponent to the range p_F < p < p_S.
Significance. If the technical correspondence holds, the work supplies a new criterion for the global-versus-blow-up dichotomy in the subcritical range, building on standard functional-analytic tools and a cited prior result. The extension beyond the critical Sobolev case is a clear advance, and the use of weighted spaces to restore a positive-depth well is a natural technical step.
major comments (1)
- [Abstract and the section introducing the forward similarity transform] The central claim requires that solutions of the transformed equation exist globally in the new time variable τ (or blow up) if and only if the original solutions exist globally in t (or blow up in finite time). The manuscript states this preservation in the abstract and introduction but does not supply a detailed verification that the energy functional, mountain-pass geometry, and stable/unstable sets remain invariant under the transform and the choice of T when working in the weighted spaces for p_F < p < p_S. This equivalence is load-bearing for the new criterion.
minor comments (1)
- [Introduction] Notation for the weighted Sobolev spaces and the precise statement of the new criterion could be collected in a single preliminary section for easier reference.
Simulated Author's Rebuttal
Thank you for the careful review and constructive feedback. We address the major comment below and will revise the manuscript to provide the requested detailed verification.
read point-by-point responses
-
Referee: [Abstract and the section introducing the forward similarity transform] The central claim requires that solutions of the transformed equation exist globally in the new time variable τ (or blow up) if and only if the original solutions exist globally in t (or blow up in finite time). The manuscript states this preservation in the abstract and introduction but does not supply a detailed verification that the energy functional, mountain-pass geometry, and stable/unstable sets remain invariant under the transform and the choice of T when working in the weighted spaces for p_F < p < p_S. This equivalence is load-bearing for the new criterion.
Authors: We agree that the equivalence is central and that the current manuscript would benefit from an explicit verification. The forward similarity transform is defined by fixing T as the maximal existence time (or infinity for global solutions), with the change of variables u(t,x)=(T-t)^{-1/(p-1)}v(τ,y) where τ=-log(T-t) and y=x/√(T-t). In the weighted spaces, the energy functional transforms with a multiplicative factor that preserves its sign and the mountain-pass geometry because the weight e^{-|y|^2/4} compensates exactly for the scaling induced by the nonlinearity. The Nehari functional and the stable/unstable sets are likewise invariant under this map for p_F < p < p_S, as the weighted Sobolev embedding and the specific form of the potential well depth remain positive. We will add a dedicated subsection (approximately 1.5 pages) with these explicit calculations and the choice of T, to be placed after the introduction of the transform. revision: yes
Circularity Check
No circularity; derivation uses standard change of variables and external citation
full rationale
The paper's central step is the forward similarity transform v(τ,y) = (T-t)^{1/(p-1)} u(t,x) with τ = -log(T-t), y = x/√(T-t), which converts the original semilinear heat equation into a new parabolic PDE with drift and linear terms. The potential well method is then applied in weighted Sobolev spaces to this transformed equation, yielding a criterion distinguishing global existence from finite-time blow-up. This criterion is obtained by analyzing the energy functional and invariant sets of the transformed problem, which are independent of the original solution data. The cited Ikehata et al. result (different authors) provides the base case at the critical Sobolev exponent; the extension to p_F < p < p_S follows from the transformed dynamics and standard embeddings, without any fitted parameters, self-definitional loops, or load-bearing self-citations. The derivation chain is self-contained and does not reduce any claimed prediction to its inputs by construction.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard Sobolev embeddings and potential-well theory hold in the weighted spaces after transformation
- domain assumption The forward similarity transform preserves the finite-time blow-up versus global-existence dichotomy of the original equation
Reference graph
Works this paper leans on
- [1]
- [2]
-
[3]
M.A. del Pino, M. Musso and J. Wei, Geometry driven type II higher dimensional blow-up for the critical heat equation, J. Funct. Anal., (2021), 280(1): 108788
work page 2021
-
[4]
F. Fang, B. Zhang, Global existence and blow-up for semilinear parabolic equation with critical exponent inR n, Electron. J. Qual. Theory Differ. Equ., (2022), 2022(3): 1–23
work page 2022
- [5]
-
[6]
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 Sec. I., (1966), 13: 109–124
work page 1966
-
[7]
V.A. Galaktionov, J.L. V´ azquez, Continuation of blow-up solutions of nonlinear heat equations in several space dimensions, Comm. Pure Appl. Math., (1997), 50(1): 1–67
work page 1997
-
[8]
R. Ikehata, M. Ishiwata and T. Suzuki, Semilinear parabolic equation inR n associated with critical Sobolev exponent, Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire, (2010), 27(3): 877–900
work page 2010
-
[9]
M. Ishiwata, T. Suzuki, Positive solution to semilinear parabolic equation associated with critical Sobolev exponent, NoDEA Nonlinear Differential Equations Appl., (2013), 20(4): 1553–1576
work page 2013
-
[10]
Kavian, Remarks on the large time behaviour of a nonlinear diffusion equation, Ann
O. Kavian, Remarks on the large time behaviour of a nonlinear diffusion equation, Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire, (1987), 4(5): 423–452
work page 1987
- [11]
-
[12]
H.A. Levine, Some nonexistence and instability theorems for solutions of formally parabolic equations of the formP u t =−Au+f(u), Arch. Ration. Mech. Math., (1973), 51: 371–386
work page 1973
-
[13]
X. Li, B. Liu, Finite time blow-up and global existence for the nonlocal complex Ginzburg- Landau equation, J. Math. Anal. Appl., (2018), 466(1): 961–985
work page 2018
-
[14]
L.E. Payne, D.H. Sattinger, Saddle points and instability of nonlinear hyperbolic equations, Israel J. Math., (1975), 22(3-4): 273–303
work page 1975
-
[15]
P. Pol´ aˇ cik, E. Yanagida, On bounded and unbounded global solutions of a supercritical semilinear heat equation, Math. Ann., (2003), 327(4): 745–771
work page 2003
-
[16]
P. Quittner, P. Souplet, Superlinear parabolic problems. Birkh¨ auser Advanced Texts: Basler Lehrb¨ ucher. [Birkh¨ auser Advanced Texts: Basel Textbooks]. Birkh¨ auser/Springer, Cham, 2019
work page 2019
-
[17]
Sattinger, On global solution of nonlinear hyperbolic equations, Arch
D.H. Sattinger, On global solution of nonlinear hyperbolic equations, Arch. Ration. Mech. Math., (1968), 30: 148–172
work page 1968
-
[18]
Wang, On the cauchy problem for reaction-diffusion equations, Trans
X. Wang, On the cauchy problem for reaction-diffusion equations, Trans. Amer. Math. Soc., (1993), 337(2): 549–590
work page 1993
-
[19]
Weissler, Existence and nonexistence of global solutions for a semilinear heat equation, Israel J
F.B. Weissler, Existence and nonexistence of global solutions for a semilinear heat equation, Israel J. Math., (1981), 38(1-2): 29–40
work page 1981
-
[20]
R. Xu, Y. Chen, Y. Yang, S. Chen, J. Shen, T. Yu and Z. Xu, Global well-posedness of semilinear hyperbolic equations, parabolic equations and Schr¨ odinger equations, Electron. J. Differ. Equ., (2018), 2018(55): 1–52
work page 2018
- [21]
-
[22]
Zhang, Finite time blow-up for a heat equation inR N, Appl
K. Zhang, Finite time blow-up for a heat equation inR N, Appl. Math. Lett., (2025), 163: 109441. Kaiqiang Zhang, School of Computer Science and Technology, Dongguan University of Technology, Dongguan 523808, China Email address:mathzhangkq@gmail.com Zhiyu Li, School of Mathematics and Information Science, Shandong Technology and Busi- ness University, Yan...
work page 2025
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.