pith. sign in

arxiv: 1907.07873 · v1 · pith:BPQAX4ENnew · submitted 2019-07-18 · 🧮 math.AP

Entire and ancient solutions of a supercritical semilinear heat equation

Peter Pol\'a\v{c}ik , Pavol Quittner This is my paper

Pith reviewed 2026-05-24 19:59 UTC · model grok-4.3

classification 🧮 math.AP
keywords semilinear heat equationentire solutionsancient solutionsLiouville theoremsupercritical exponentradial symmetryblowup
0
0 comments X

The pith

For p larger than the Lepin exponent, all positive bounded radial entire solutions of the semilinear heat equation are steady states.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves a Liouville-type theorem for the equation u_t = Δu + u^p on R^N when p is supercritical. Specifically, when p exceeds the Lepin exponent p_L = 1 + 6/(N-10) for N > 10, positive bounded radial entire solutions must be stationary. This classification matters for understanding solutions that exist for all time, both forward and backward, in nonlinear parabolic equations. The result also includes classifications for ancient solutions and nonstationary cases where they occur, with applications to blowup phenomena. Radial symmetry is essential, as the theorem fails without it.

Core claim

The central discovery is a new Liouville-type theorem: if p > p_L where p_L = 1+6/(N-10) (or infinity for N≤10), then every positive bounded radial entire solution is a steady state. The paper also provides classification theorems for nonstationary entire solutions and ancient solutions when they exist.

What carries the argument

The Lepin exponent p_L combined with radial symmetry, used to establish that non-stationary solutions cannot exist in the specified range.

Load-bearing premise

The solutions under consideration are radially symmetric.

What would settle it

A counterexample consisting of a positive bounded non-stationary radial entire solution for some N>10 and p > p_L would disprove the theorem.

read the original abstract

We consider the semilinear heat equation $u_t=\Delta u+u^p$ on ${\mathbb R}^N$. Assuming that $N\ge 3$ and $p$ is greater than the Sobolev critical exponent $(N+2)/(N-2)$, we examine entire solutions (classical solutions defined for all $t\in {\mathbb R}$) and ancient solutions (classical solutions defined on $(-\infty,T)$ for some $T<\infty$). We prove a new Liouville-type theorem saying that if $p$ is greater than the Lepin exponent $p_L:=1+6/(N-10)$ ($p_L=\infty$ if $N\le 10$), then all positive bounded radial entire solutions are steady states. The theorem is not valid without the assumption of radial symmetry; in other ranges of supercritical $p$ it is known not to be valid even in the class of radial solutions. Our other results include classification theorems for nonstationary entire solutions (when they exist) and ancient solutions, as well as some applications in the theory of blowup of solutions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper studies the semilinear heat equation u_t = Δu + u^p on R^N for N ≥ 3 and p supercritical. It proves a Liouville-type theorem: when p exceeds the Lepin exponent p_L = 1 + 6/(N-10) (p_L = ∞ for N ≤ 10), every positive bounded radial entire solution is a steady state. The result fails without radial symmetry. Additional results classify nonstationary entire solutions (when they exist) and ancient solutions, with applications to blow-up theory.

Significance. If the proofs hold, the work provides a sharp threshold (the Lepin exponent) separating regimes where radial entire solutions must be stationary from those where non-stationary examples exist. The classification results and blow-up applications strengthen the understanding of global-in-time behavior for supercritical nonlinear parabolic equations.

major comments (2)
  1. [§1, Theorem 1.1] §1, Theorem 1.1: the statement that the result is new for p > p_L relies on a comparison with prior work on the range p_L > p > p_S; the manuscript should explicitly cite the precise theorems in the literature that are being improved upon (e.g., the radial non-stationary examples known for p < p_L).
  2. [§3] §3, the proof of the Liouville theorem: the reduction to a one-dimensional ODE via radial symmetry is central; the argument that the only bounded positive solutions of the resulting ODE are constants when p > p_L must be checked for completeness, particularly the handling of the case N = 11 where p_L is finite but close to the Sobolev exponent.
minor comments (2)
  1. [Theorem 1.1] The notation p_L is introduced in the abstract and §1 but the explicit formula 1 + 6/(N-10) should be restated once more in the statement of Theorem 1.1 for immediate readability.
  2. [Introduction] Figure 1 (if present) comparing the critical exponents p_S, p_L, and p_JL would benefit from a caption that also recalls the definition of each exponent.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and positive recommendation. We address the two major comments below.

read point-by-point responses

  1. Referee: [§1, Theorem 1.1] §1, Theorem 1.1: the statement that the result is new for p > p_L relies on a comparison with prior work on the range p_L > p > p_S; the manuscript should explicitly cite the precise theorems in the literature that are being improved upon (e.g., the radial non-stationary examples known for p < p_L).

    Authors: We agree that explicit citations will clarify the novelty. In the revised version we will add precise references to the theorems establishing existence of non-stationary radial entire solutions for p_S < p < p_L (for instance the constructions appearing in the works that first exhibited such examples below the Lepin exponent). revision: yes

  2. Referee: [§3] §3, the proof of the Liouville theorem: the reduction to a one-dimensional ODE via radial symmetry is central; the argument that the only bounded positive solutions of the resulting ODE are constants when p > p_L must be checked for completeness, particularly the handling of the case N = 11 where p_L is finite but close to the Sobolev exponent.

    Authors: The reduction to the radial ODE is standard and fully detailed in §3. The subsequent ODE analysis proving that the only bounded positive solutions are constants for p > p_L is complete and applies uniformly for all N ≥ 3, including the case N = 11 (where p_L = 7). The phase-plane or energy estimates used do not require special treatment at N = 11. We therefore see no need for additional changes, though a short clarifying remark can be inserted if desired. revision: no

Circularity Check

0 steps flagged

No significant circularity

full rationale

This is a pure mathematics paper establishing a Liouville-type theorem for radial entire solutions of the semilinear heat equation via analysis. The central claim (positive bounded radial entire solutions are steady states for p > p_L) is derived through standard PDE techniques including energy methods, comparison principles, and asymptotic analysis, none of which reduce by construction to fitted inputs, self-definitions, or self-citation chains. The paper explicitly notes the necessity of radial symmetry and the failure of the result in other regimes, indicating an independent proof rather than a renaming or tautological restatement. No load-bearing steps match the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on the abstract, the paper invokes standard tools of PDE analysis such as maximum principles and Sobolev embeddings; no free parameters, invented entities, or ad-hoc axioms are mentioned.

axioms (1)
  • standard math Standard Sobolev embeddings and maximum principles for semilinear parabolic equations
    Typical background assumptions for Liouville theorems in this area.

pith-pipeline@v0.9.0 · 5721 in / 1196 out tokens · 33958 ms · 2026-05-24T19:59:49.074718+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

39 extracted references · 39 canonical work pages · 1 internal anchor

  1. [1]

    Abramowitz and I.A

    M. Abramowitz and I.A. Stegun, Handbook of mathematical functions , National Bureau of Standards, 1964

    work page 1964

  2. [2]

    Amann, Linear and quasilinear parabolic problems I , Birkh¨ auser, 1995

    H. Amann, Linear and quasilinear parabolic problems I , Birkh¨ auser, 1995

    work page 1995

  3. [3]

    Bartsch, P

    T. Bartsch, P. Pol´ aˇ cik and P. Quittner, Liouville-type theorem s and asymptotic behavior of nodal radial solutions of semilinear heat equ a- tions, J. European Math. Soc. 13 (2011), 219–247

    work page 2011

  4. [4]

    Bebernes and D

    J. Bebernes and D. Eberly, A description of self-similar blow-up fo r dimensionsn ≥ 3, Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire5 (1988), 1–21

    work page 1988

  5. [5]

    Bidaut-V´ eron, Initial blow-up for the solutions of a semiline ar parabolic equation with source term

    M.-F. Bidaut-V´ eron, Initial blow-up for the solutions of a semiline ar parabolic equation with source term. Equations aux d´ eriv´ ees partielles et applications, articles d´ edi´ es ` a Jacques-Louis Lions, Gauthier-Villars, Paris, 1998, pp. 189–198

    work page 1998

  6. [6]

    Budd and Y.-W

    C. Budd and Y.-W. Qi, The existence of bounded solutions of a semi- linear elliptic equation, J. Differential Equations 82 (1989), 207–218

    work page 1989

  7. [7]

    Chen and C

    W. Chen and C. Li, Classification of solutions of some nonlinear elliptic equations, Duke Math. J. 63 (1991), 615–622

    work page 1991

  8. [8]

    Chen and P

    X.-Y. Chen and P. Pol´ aˇ cik,Asymptotic periodicity of positive solutions of reaction diffusion equations on a ball , J. Reine Angew. Math. 472 (1996), 17–51

    work page 1996

  9. [9]

    M. Fila, H. Matano, and P. Pol´ aˇ cik, Existence of L1-connections be- tween equilibria of a semilinear parabolic equation, J. Dynam. Differ- ential Equations 14 (2002), 463–491

    work page 2002

  10. [10]

    Fila and N

    M. Fila and N. Mizoguchi, Multiple continuation beyond blow-up, Dif- ferential Integral Equations 20 (2007), 671–680

    work page 2007

  11. [11]

    Fila and A

    M. Fila and A. Pulkkinen, Backward selfsimilar solutions of supercr itical parabolic equations, Appl. Math. Letters 22 (2009), 897–901. 37

    work page 2009

  12. [12]

    Fila and E

    M. Fila and E. Yanagida, Homoclinic and heteroclinic orbits for a sem i- linear parabolic equation, Tohoku Math. J. 63 (2011), 561–579

    work page 2011

  13. [13]

    Gidas and J

    B. Gidas and J. Spruck, Global and local behavior of positive solu tions of nonlinear elliptic equations, Comm. Pure Appl. Math. 34 (1981), 525– 598

    work page 1981

  14. [14]

    Giga and R.V

    Y. Giga and R.V. Kohn, Characterizing blowup using similarity vari- ables, Indiana Univ. Math. J. 36 (1987), 1–40

    work page 1987

  15. [15]

    Gui, W.-M

    C. Gui, W.-M. Ni, and X. Wang, On the stability and instability of positive steady states of a semilinear heat equation in Rn, Comm. Pure Appl. Math. 45 (1992), 1153–1181

    work page 1992

  16. [16]

    Herrero and J.J.L

    M.A. Herrero and J.J.L. Vel´ azquez, A blow up result for semilinear heat equations in the supercritical case, Preprint 1994

    work page 1994

  17. [17]

    L.A. Lepin, Countable spectrum of eigenfunctions of a nonlinear heat-conduction equation with distributed parameters, Differentsial’nye Uravneniya 24 (1988), 1226–1234 (English translation: Differential Equations 24 (1988), 799–805)

    work page 1988

  18. [18]

    Lepin, Self-similar solutions of a semilinear heat equation, Mat

    L.A. Lepin, Self-similar solutions of a semilinear heat equation, Mat. Model. 2 (1990) 63–74 (in Russian)

    work page 1990

  19. [19]

    Matano and F

    H. Matano and F. Merle, On nonexistence of type II blowup for a super- critical nonlinear heat equation, Commun. Pure Appl. Math. 57 (2004), 1494–1541

    work page 2004

  20. [20]

    Matano and F

    H. Matano and F. Merle, Classification of type I and type II beha viors for a supercritical nonlinear heat equation, J. Funct. Anal. 256 (2009), 992–1064

    work page 2009

  21. [21]

    Matano and F

    H. Matano and F. Merle, Threshold and generic type I behaviors for a supercritical nonlinear heat equation, J. Funct. Anal. 261 (2011), 716– 748

    work page 2011

  22. [22]

    Matos, Convergence of blow-up solutions of nonlinear heat e quations in the supercritical case, Proc

    J. Matos, Convergence of blow-up solutions of nonlinear heat e quations in the supercritical case, Proc. Roy. Soc. Edinburgh Sect. A 129 (1999), 1197–1227. 38

    work page 1999

  23. [23]

    Merle and H

    F. Merle and H. Zaag, Optimal estimates for blowup rate and beh avior for nonlinear heat equations, Comm. Pure Appl. Math. 51 (1998), 139– 196

    work page 1998

  24. [24]

    Mizoguchi, Nonexistence of backward self-similar blowup solut ions to a supercritical semilinear heat equation, J

    N. Mizoguchi, Nonexistence of backward self-similar blowup solut ions to a supercritical semilinear heat equation, J. Funct. Anal. 257 (2009), 2911–2937

    work page 2009

  25. [25]

    Mizoguchi, On backward self-similar blow-up solutions to a supe r- critical semilinear heat equation, Proc

    N. Mizoguchi, On backward self-similar blow-up solutions to a supe r- critical semilinear heat equation, Proc. Roy. Soc. Edinburgh Sect. A 140 (2010), 821–831

    work page 2010

  26. [26]

    Mizoguchi, Blow-up rate of type II and the braid group theor y, Trans

    N. Mizoguchi, Blow-up rate of type II and the braid group theor y, Trans. Amer. Math. Soc. 363 (2011), 1419–1443

    work page 2011

  27. [27]

    Mizoguchi, Nonexistence of type II blowup solution for a semilin ear heat equation, J

    N. Mizoguchi, Nonexistence of type II blowup solution for a semilin ear heat equation, J. Differ. Equations 250 (2011), 26-32

    work page 2011

  28. [28]

    Naito and T

    Y. Naito and T. Senba, Existence of peaking solutions for semiline ar heat equations with blow-up profile above the singular steady state , Nonlinear Anal. 181 (2019), 265–293

    work page 2019

  29. [29]

    On the multiplicity of self-similar solutions of the semilinear heat equation

    P. Pol´ aˇ cik and P. Quittner, On the multiplicity of self-similar solutions of the semilinear heat equation, Preprint arXiv:1906.11159

    work page internal anchor Pith review Pith/arXiv arXiv 1906

  30. [30]

    Pol´ aˇ cik, P

    P. Pol´ aˇ cik, P. Quittner and Ph. Souplet, Singularity and decayestimates in superlinear problems via Liouville-type theorems. Part I: elliptic equ a- tions and systems, Duke Math. J. 139 (2007), 555–579

    work page 2007

  31. [31]

    Pol´ aˇ cik and P

    P. Pol´ aˇ cik and P. Quittner and Ph. Souplet, Singularity and dec ay es- timates in superlinear problems via Liouville-type theorems. Part II: Parabolic equations, Indiana Univ. Math. J. 56 (2007), 879–908

    work page 2007

  32. [32]

    Pol´ aˇ cik and E

    P. Pol´ aˇ cik and E. Yanagida, On bounded and unbounded global solu- tions of a supercritical semilinear heat equation, Math. Ann. 327 (2003), 745–771

    work page 2003

  33. [33]

    Pol´ aˇ cik and E

    P. Pol´ aˇ cik and E. Yanagida, A Liouville property and quasiconvergence for a semilinear heat equation, J. Differential Equations 208 (2005), 194–214. 39

    work page 2005

  34. [34]

    Quittner, Liouville theorems for scaling invariant superlinear p arabol- ic problems with gradient structure, Math

    P. Quittner, Liouville theorems for scaling invariant superlinear p arabol- ic problems with gradient structure, Math. Ann. 364 (2016), 269–292

    work page 2016

  35. [35]

    Quittner, Uniqueness of singular self-similar solutions of a sem ilinear parabolic equation, Differential Integral Equations , 31 (2018), 881–892

    P. Quittner, Uniqueness of singular self-similar solutions of a sem ilinear parabolic equation, Differential Integral Equations , 31 (2018), 881–892

    work page 2018

  36. [36]

    Quittner and Ph

    P. Quittner and Ph. Souplet, Superlinear parabolic problems. Blow- up, global existence and steady states , Birkh¨ auser Advanced Texts, Birkh¨ auser, Basel 2007

    work page 2007

  37. [37]

    Seki, Type II blow-up mechanisms in a semilinear heat equation w ith critical Joseph-Lundgren exponent, J

    Y. Seki, Type II blow-up mechanisms in a semilinear heat equation w ith critical Joseph-Lundgren exponent, J. Funct. Anal. , 275 (2018), 3380– 3456

    work page 2018

  38. [38]

    Troy, The existence of bounded solutions of a semilinear hea t equation, SIAM J

    W.C. Troy, The existence of bounded solutions of a semilinear hea t equation, SIAM J. Math. Anal. 18 (1987), 332–336

    work page 1987

  39. [39]

    Wang, On the Cauchy problem for reaction-diffusion equation s, Trans

    X. Wang, On the Cauchy problem for reaction-diffusion equation s, Trans. Amer. Math. Soc. 337 (1993), 549–590. 40

    work page 1993