Stable blowup profile for a semilinear Heat Equation with spatially inhomogeneous nonlinearity
Pith reviewed 2026-05-10 02:08 UTC · model grok-4.3
The pith
A closed-form self-similar blowup solution to the semilinear heat equation with defocusing Hénon nonlinearity stays stable under small non-radial perturbations in three dimensions for all admissible coupling values.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For the three-dimensional focusing semilinear heat equation with an added defocusing Hénon-type term, the model admits an explicit self-similar blowup solution whenever c lies in (0, c*). By working in intersection Sobolev spaces with additional angular regularity, finite-codimension stability of this profile is proved for all admissible c. Spectral analysis of the linearized operator around the profile further yields stable blowup in the cubic-quintic case when c is sufficiently close to c*. For small c the authors apply a modified GGMT criterion to bound the number of unstable eigenvalues from above.
What carries the argument
Intersection Sobolev spaces equipped with additional angular regularity, which control non-radial perturbations while permitting a complete spectral analysis of the linearized operator about the self-similar solution.
If this is right
- The explicit blowup profile persists for an open set of initial data of full codimension in the chosen function space.
- In the cubic-quintic nonlinearity the profile is asymptotically stable when the coupling parameter is close to its critical value.
- For small coupling the number of unstable directions around the profile is bounded above by a computable integer.
- The same function-space setting can be used to track the evolution of angular modes that break radial symmetry.
Where Pith is reading between the lines
- The angular-regularity technique may adapt to other evolution equations whose blowup profiles are known explicitly but lack full radial symmetry.
- Numerical integration of the PDE with carefully chosen non-radial perturbations could directly measure the dimension of the unstable manifold and test the finite-codimension result.
- If the bound on unstable eigenvalues for small c is sharp, it would give a precise count of the codimension for that regime.
Load-bearing premise
The proof relies on the existence of the closed-form self-similar solution for every c in (0, c*) together with the claim that the chosen function spaces capture all physically relevant perturbations.
What would settle it
A concrete small non-radial initial datum in the function space whose solution departs from the predicted self-similar blowup rate or profile would show the stability statement is false.
read the original abstract
We study the focusing semilinear heat equation with an additional defocusing H\'enon-type nonlinearity, the coupling of which is measured by a constant $c >0$. For $c \in (0,c^*)$, the model admits a closed-form self-similar blowup solution in every space dimension $d \geq 1$. Restricting ourselves to the three-dimensional case, we study the stability of this solution under small non-radial perturbations. By working in intersection Sobolev spaces with additional angular regularity, we prove finite co-dimension stability for all admissible values of $c$. Furthermore, we analyze the spectrum of the underlying linearized operator and we prove stable blowup for the cubic-quintic case and $c$ sufficiently close to $c^*$. Finally, we discuss the situation for small values of $c$ and use a modified version of the classical GGMT criterion to give an upper bound on the number of unstable eigenvalues.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript constructs an explicit closed-form self-similar blowup profile for the focusing semilinear heat equation with defocusing Hénon-type nonlinearity for all c in (0,c*) and every dimension d≥1, verifies the profile satisfies the PDE by direct substitution, and restricts to d=3 to prove finite co-dimension stability of this profile under small non-radial perturbations. Stability is obtained in intersection Sobolev spaces equipped with additional angular regularity, which permits decomposition into spherical-harmonic modes and closure of the nonlinear estimates. The spectrum of the linearized operator is analyzed directly: perturbation theory yields stable blowup for the cubic-quintic case when c is sufficiently close to c*, while a modified GGMT criterion supplies an upper bound on the number of unstable eigenvalues for small c.
Significance. If the stability and spectral results hold, the work supplies a concrete, explicitly constructed example of stable blowup in a spatially inhomogeneous nonlinearity setting, extending the literature on self-similar blowup profiles beyond the homogeneous or radial cases. The explicit ODE solution, direct verification, and use of angular regularity to control non-radial modes constitute clear technical strengths that can be checked independently of the stability proof.
major comments (2)
- [spectrum analysis section] The modified GGMT criterion invoked for small c must be shown to remain valid after the angular-mode decomposition; the paper should supply the precise statement of the modified criterion and verify that the angular regularity does not introduce additional positive eigenvalues (see the paragraph following the statement of the main stability theorem).
- [stability theorem] The finite co-dimension stability claim relies on the intersection Sobolev spaces with angular regularity being sufficient to absorb all relevant perturbations; a brief justification is needed that the chosen norms control the non-radial terms that could otherwise destabilize the profile (see the paragraph on the function space setup).
minor comments (4)
- [preliminaries] The notation for the intersection Sobolev spaces should be introduced with an explicit definition or reference to a standard source before it is used in the stability statement.
- [small-c discussion] A short table or list summarizing the number of unstable eigenvalues obtained from the modified GGMT criterion for representative small values of c would improve readability.
- [abstract] The abstract states 'finite co-dimension stability for all admissible values of c' while the body restricts the full stability result to the cubic-quintic case near c*; the abstract should be aligned with the precise statements in the text.
- [profile construction] A few typographical inconsistencies appear in the display of the self-similar ODE (e.g., missing parentheses around the nonlinearity terms); these should be corrected for clarity.
Simulated Author's Rebuttal
We thank the referee for the careful reading, positive evaluation, and constructive suggestions. The comments highlight points where additional clarification will strengthen the exposition. We address each major comment below and will revise the manuscript accordingly.
read point-by-point responses
-
Referee: [spectrum analysis section] The modified GGMT criterion invoked for small c must be shown to remain valid after the angular-mode decomposition; the paper should supply the precise statement of the modified criterion and verify that the angular regularity does not introduce additional positive eigenvalues (see the paragraph following the statement of the main stability theorem).
Authors: We agree that a more explicit treatment is desirable. In the revised manuscript we will insert the precise statement of the modified GGMT criterion immediately after the main stability theorem. We will then verify its validity on the angular-mode decomposed system by noting that the linearized operator is diagonal with respect to spherical harmonics, that the angular regularity is preserved by the flow, and that the radial spectral bounds already control the sign of all eigenvalues; consequently the angular decomposition introduces no new positive eigenvalues. revision: yes
-
Referee: [stability theorem] The finite co-dimension stability claim relies on the intersection Sobolev spaces with angular regularity being sufficient to absorb all relevant perturbations; a brief justification is needed that the chosen norms control the non-radial terms that could otherwise destabilize the profile (see the paragraph on the function space setup).
Authors: We accept the suggestion. In the function-space-setup paragraph we will add a short paragraph explaining that the intersection of the weighted Sobolev space with the angular-regularity space controls the non-radial spherical-harmonic modes through the embedding into L^∞ and the decay of the profile, thereby ensuring that small non-radial perturbations remain absorbed by the finite-codimension stable manifold. revision: yes
Circularity Check
No significant circularity detected
full rationale
The paper constructs the self-similar blowup profile explicitly by solving the associated ODE for c in (0,c*) and verifies it satisfies the PDE by direct substitution. Stability is established via functional-analytic techniques in intersection Sobolev spaces with angular regularity, decomposing perturbations into spherical harmonics and closing nonlinear estimates. The linearized operator spectrum is analyzed directly using perturbation theory for the cubic-quintic case near c* and a modified GGMT criterion for small c, without any reduction of predictions to fitted inputs, self-definitional loops, or load-bearing self-citations. All steps are self-contained against standard external mathematical tools and benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard properties of intersection Sobolev spaces with angular regularity in three dimensions
- domain assumption Existence of closed-form self-similar blowup solution for c in (0, c*)
Reference graph
Works this paper leans on
-
[1]
Stable self-similar blowup in the super- critical heat flow of harmonic maps, 2016
Paweł Biernat, Roland Donninger, and Birgit Schörkhuber. Stable self-similar blowup in the super- critical heat flow of harmonic maps, 2016
work page 2016
-
[2]
The Clarendon Press, Oxford University Press, New York, 1998
Thierry Cazenave and Alain Haraux.An introduction to semilinear evolution equations, volume 13 of Oxford Lecture Series in Mathematics and its Applications. The Clarendon Press, Oxford University Press, New York, 1998. Translated from the 1990 French original by Yvan Martel and revised by the authors
work page 1998
-
[3]
Noboru Chikami, Masahiro Ikeda, and Koichi Taniguchi. Optimal well-posedness and forward self- similar solution for the Hardy-Hénon parabolic equation in critical weighted Lebesgue spaces.Non- linear Anal., 222:Paper No. 112931, 28, 2022
work page 2022
-
[4]
Unconditional uniqueness and non-uniqueness for Hardy-Hénon parabolic equations.Math
Noboru Chikami, Masahiro Ikeda, Koichi Taniguchi, and Slim Tayachi. Unconditional uniqueness and non-uniqueness for Hardy-Hénon parabolic equations.Math. Ann., 390(3):3765–3825, 2024
work page 2024
-
[5]
Stability of ODE blow-up for the energy critical semilinear heat equation.C
Charles Collot, Frank Merle, and Pierre Raphaël. Stability of ODE blow-up for the energy critical semilinear heat equation.C. R. Math. Acad. Sci. Paris, 355(1):65–79, 2017
work page 2017
-
[6]
Linear stability of the skyrmion.Int
Matthew Creek, Roland Donninger, Wilhelm Schlag, and Stanley Snelson. Linear stability of the skyrmion.Int. Math. Res. Not. IMRN, (8):2497–2537, 2017
work page 2017
-
[7]
Stable blowup for the supercritical yang-mills heat flow, 2016
Roland Donninger and Birgit Schörkhuber. Stable blowup for the supercritical yang-mills heat flow, 2016
work page 2016
-
[8]
Springer-Verlag, New York, 2000
Klaus-Jochen Engel and Rainer Nagel.One-parameter semigroups for linear evolution equations, vol- ume 194 ofGraduate Texts in Mathematics. Springer-Verlag, New York, 2000. With contributions by S. Brendle, M. Campiti, T. Hahn, G. Metafune, G. Nickel, D. Pallara, C. Perazzoli, A. Rhandi, S. Romanelli and R. Schnaubelt
work page 2000
-
[9]
Daoyuan Fang and Chengbo Wang. Weighted Strichartz estimates with angular regularity and their applications.Forum Math., 23(1):181–205, 2011
work page 2011
-
[10]
C. Fermanian Kammerer, F. Merle, and H. Zaag. Stability of the blow-up profile of non-linear heat equations from the dynamical system point of view.Math. Ann., 317(2):347–387, 2000
work page 2000
-
[11]
On similarity solutions of a heat equation with a nonhomoge- neous nonlinearity.J
Stathis Filippas and Achilles Tertikas. On similarity solutions of a heat equation with a nonhomoge- neous nonlinearity.J. Differential Equations, 165(2):468–492, 2000
work page 2000
-
[12]
Qiuping Geng and Jun Wang. Existence of sign-changing solutions for the Hénon type parabolic equation with singular initial data.Commun. Pure Appl. Anal., 23(2):165–194, 2024
work page 2024
-
[13]
F. Gesztesy, B. Simon, and G. Teschl. Zeros of the Wronskian and renormalized oscillation theory. Amer. J. Math., 118(3):571–594, 1996
work page 1996
- [14]
-
[15]
Existence and stability of shrinkers for the harmonic map heat flow in higher dimensions.Calc
Irfan Glogić, Sarah Kistner, and Birgit Schörkhuber. Existence and stability of shrinkers for the harmonic map heat flow in higher dimensions.Calc. Var. Partial Differential Equations, 63(4):Paper No. 96, 33, 2024
work page 2024
-
[16]
Stable singularity formation for the Keller-Segel system in three dimensions.Arch
Irfan Glogić and Birgit Schörkhuber. Stable singularity formation for the Keller-Segel system in three dimensions.Arch. Ration. Mech. Anal., 248(1):Paper No. 4, 40, 2024
work page 2024
-
[17]
Irfan Glogić and Birgit Schörkhuber. Nonlinear stability of homothetically shrinking yang-mills soli- tons in the equivariant case.Communications in Partial Differential Equations, 45(8):887–912, March 2020
work page 2020
-
[18]
The Kato-Ponce inequality.Comm
Loukas Grafakos and Seungly Oh. The Kato-Ponce inequality.Comm. Partial Differential Equations, 39(6):1128–1157, 2014. 34
work page 2014
-
[19]
The kolmogorov–riesz compactness theorem.Expositiones Mathematicae, 28(4):385–394, 2010
Harald Hanche-Olsen and Helge Holden. The kolmogorov–riesz compactness theorem.Expositiones Mathematicae, 28(4):385–394, 2010
work page 2010
-
[20]
Junichi Harada. Stability of nondegenerate ODE type blowup for the Fujita type heat equation.arXiv e-prints, page arXiv:2406.14218, June 2024
-
[21]
RazvanGabrielIagarandArielSánchez.Aspecialself-similarsolutionandexistenceofglobalsolutions for a reaction-diffusion equation with Hardy potential.J. Math. Anal. Appl., 517(1):Paper No. 126588, 22, 2023
work page 2023
-
[22]
Are the incompressible 3d Navier-Stokes equations locally ill-posed in the natural energy space?J
Hao Jia and Vladimir Sverak. Are the incompressible 3d Navier-Stokes equations locally ill-posed in the natural energy space?J. Funct. Anal., 268(12):3734–3766, 2015
work page 2015
-
[23]
Stability of the blow-up profile for equations of the typeut = ∆u+ |u|p−1u.Duke Math
Frank Merle and Hatem Zaag. Stability of the blow-up profile for equations of the typeut = ∆u+ |u|p−1u.Duke Math. J., 86(1):143–195, 1997
work page 1997
-
[25]
Michael Reed and Barry Simon.Methods of modern mathematical physics. II. Fourier analysis, self- adjointness. Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1975
work page 1975
-
[26]
International Series in Pure and Applied Mathe- matics
Walter Rudin.Principles of mathematical analysis. International Series in Pure and Applied Mathe- matics. McGraw-Hill Book Co., New York-Auckland-Düsseldorf, third edition, 1976
work page 1976
-
[27]
Angular regularity and Strichartz estimates for the wave equation.Int
Jacob Sterbenz. Angular regularity and Strichartz estimates for the wave equation.Int. Math. Res. Not., (4):187–231, 2005. With an appendix by Igor Rodnianski
work page 2005
-
[28]
American Mathematical Society, Providence, RI, 2009
Gerald Teschl.Mathematical methods in quantum mechanics, volume 99 ofGraduate Studies in Math- ematics. American Mathematical Society, Providence, RI, 2009. With applications to Schrödinger operators
work page 2009
-
[29]
Joachim Weidmann.Spectral theory of ordinary differential operators, volume 1258 ofLecture Notes in Mathematics. Springer-Verlag, Berlin, 1987. F akultät für Mathematik, Universität Bielefeld, D-33501 Bielefeld, Germany Email address:irfan.glogic@uni-bielefeld.de Universität Innsbruck, Institut für Mathematik,, Technikerstraße 13, 6020 Innsbruck, Austria ...
work page 1987
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.