Liouville theorem for subcritical nonlinear heat equation

Yang Zhou

arxiv: 2505.12264 · v2 · pith:NOHFWTFUnew · submitted 2025-05-18 · 🧮 math.AP

Liouville theorem for subcritical nonlinear heat equation

Yang Zhou This is my paper

Pith reviewed 2026-05-22 15:01 UTC · model grok-4.3

classification 🧮 math.AP

keywords Liouville theoremsemilinear heat equationancient solutionsLi-Yau estimatesubcritical exponentnonnegative solutions

0 comments

The pith

Nonnegative ancient solutions to the subcritical semilinear heat equation are constant.

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

The paper proves that all nonnegative ancient solutions of the equation ∂u/∂t = Δu + u^p are constant when the exponent p lies in the subcritical range. It reaches this conclusion by first establishing a Li-Yau-type estimate that bounds the spatial gradient and time derivative of such solutions on the whole past-time cylinder R^n × (−∞, 0). The estimate is then paired with an existing result of Merle and Zaag to force the solution to be independent of both space and time. A reader would care because the constancy statement rules out any nontrivial global-in-time behavior and thereby classifies all possible ancient solutions in this regime.

Core claim

We obtain a Li-Yau-type estimate for nonnegative ancient solutions to the subcritical semilinear heat equation ∂u/∂t = Δu + u^p in R^n × (−∞, 0). Combining this estimate with Merle-Zaag's result then yields that every such solution must be constant, which is the stated Liouville theorem.

What carries the argument

Li-Yau-type estimate for nonnegative ancient solutions, derived under the subcritical condition on p and used to control gradients over all negative times.

If this is right

Every nonnegative ancient solution must be independent of both space and time.
No nontrivial growth or oscillation is possible for these solutions in the subcritical regime.
The equation admits a complete classification of its ancient solutions when p is subcritical.
The same constancy conclusion applies uniformly across all space dimensions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The technique of combining a new gradient estimate with an existing monotonicity result could be tested on related semilinear parabolic equations with different nonlinearities.
If the Li-Yau estimate extends to the critical or supercritical range, the same proof path might yield constancy there as well.
The result supplies a concrete obstruction to the existence of certain blow-up profiles that would otherwise live for all negative times.

Load-bearing premise

The subcritical range of the exponent p is what permits derivation of the Li-Yau-type estimate for nonnegative ancient solutions.

What would settle it

Discovery of even one non-constant nonnegative solution that satisfies the equation for all times in the past would show the claimed constancy is false.

read the original abstract

We obtain a Li-Yau-type estimate for nonnegative ancient solutions to the subcritical semilinear heat equation $\frac{\p u}{\p t}=\De u+u^p$ in $\rz^n\times(-\infty,0)$. Then, we combine the Li-Yau type estimate and Melre-Zaag's result to prove the Liouville theorem of this equation.

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.

Desk Editor's Note private letter to a colleague

The paper derives a Li-Yau-type estimate for nonnegative ancient solutions to the subcritical semilinear heat equation and combines it with Merle-Zaag to get a Liouville result, with the main question being whether the nonlinear term is controlled cleanly.

read the letter

The main takeaway is that this paper produces a Li-Yau gradient estimate tailored to nonnegative ancient solutions of u_t = Δu + u^p in the subcritical range for p, then feeds that estimate into Merle-Zaag's result to conclude the solutions must be constant. The subcritical condition is used to manage the extra term that the nonlinearity adds to the usual calculation. What the paper does well is identify a regime where the standard Li-Yau machinery can be adapted without major new inventions. They apply the parabolic operator to a quantity built from |∇ log u|^2, pick up the contribution p u^{p-1} |∇u|^2 from the equation, and use subcriticality to absorb or sign-control it via interpolation or Young-type bounds. Once that estimate is available, the appeal to Merle-Zaag is direct and does not introduce circularity. The citation pattern is appropriate, resting on the cited classification result rather than re-deriving everything. The soft spot is the closure of the differential inequality itself. The stress-test note correctly flags that if the absorption step fails when p approaches the critical threshold, or if extra dimension-dependent constants appear that are not uniform for ancient solutions, the estimate does not hold and the Liouville conclusion does not follow. The abstract gives the logical outline but no explicit constants or test-function choices, so a referee would need to verify that the inequality closes for the full claimed range without hidden restrictions on n or on the behavior as t goes to minus infinity. If those details check out, the argument is proportionate and the result is a useful incremental step. This paper is for specialists working on ancient solutions, gradient estimates, and classification theorems for semilinear parabolic equations. A reader already familiar with Li-Yau methods and Merle-Zaag-type results would get concrete value from the adapted estimate. It deserves peer review because the claim is specific, the method is standard but newly applied here, and the potential gap is technical rather than conceptual.

Referee Report

2 major / 2 minor

Summary. The manuscript claims to derive a Li-Yau-type gradient estimate for nonnegative ancient solutions of the subcritical semilinear heat equation ∂u/∂t = Δu + u^p on R^n × (−∞, 0). It then combines this estimate with a cited result of Merle-Zaag to conclude that all such solutions are constant, establishing a Liouville theorem.

Significance. If the Li-Yau estimate is valid in the stated range, the argument supplies a clean classification of ancient solutions for the subcritical semilinear heat equation. The approach leverages an existing classification theorem rather than reproving non-existence from scratch, which keeps the manuscript focused and potentially reusable for related parabolic problems.

major comments (2)

[§3] §3 (derivation of the Li-Yau estimate): the differential inequality obtained after applying the parabolic operator to |∇log u|^2 + f(t) must absorb the contribution p u^{p-1} |∇u|^2. The manuscript invokes subcriticality for this absorption step, but the precise range of p (e.g., whether it includes the boundary value) and the interpolation constants used are not displayed explicitly; without this, it is impossible to verify that the inequality closes for all p in the claimed subcritical regime.
[Theorem 1.1] Theorem 1.1 and the subsequent application of Merle-Zaag: the Li-Yau estimate is stated to imply that any nonnegative ancient solution satisfies a uniform bound on |∇u|/u that forces constancy via Merle-Zaag. However, the manuscript does not record the precise form of the gradient bound (e.g., whether it is |∇u|^2/u^2 ≤ C/|t| or a weaker integrated version) nor confirm that this bound is compatible with the hypotheses of the cited Merle-Zaag theorem; this link is load-bearing for the Liouville conclusion.

minor comments (2)

The abstract and introduction use “Melre-Zaag” while the bibliography lists “Merle-Zaag”; standardize the spelling.
[Theorem 1.1] Notation for the ancient time interval (−∞,0) is introduced only in the abstract; repeat the domain explicitly in the statement of Theorem 1.1.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive evaluation and the detailed, constructive comments. We address each major comment below and have revised the manuscript to improve explicitness and verifiability while preserving the original arguments.

read point-by-point responses

Referee: [§3] §3 (derivation of the Li-Yau estimate): the differential inequality obtained after applying the parabolic operator to |∇log u|^2 + f(t) must absorb the contribution p u^{p-1} |∇u|^2. The manuscript invokes subcriticality for this absorption step, but the precise range of p (e.g., whether it includes the boundary value) and the interpolation constants used are not displayed explicitly; without this, it is impossible to verify that the inequality closes for all p in the claimed subcritical regime.

Authors: We agree that the absorption step should be displayed more explicitly to facilitate verification. In the revised Section 3 we will state the precise subcritical range (1 < p < (n+2)/(n-2) for n ≥ 3, with the natural extensions for n = 1,2) and insert the intermediate calculation that absorbs p u^{p-1} |∇u|^2 via Young's inequality with constants depending only on n and p. This makes the closure of the differential inequality fully transparent without altering the argument. revision: yes
Referee: [Theorem 1.1] Theorem 1.1 and the subsequent application of Merle-Zaag: the Li-Yau estimate is stated to imply that any nonnegative ancient solution satisfies a uniform bound on |∇u|/u that forces constancy via Merle-Zaag. However, the manuscript does not record the precise form of the gradient bound (e.g., whether it is |∇u|^2/u^2 ≤ C/|t| or a weaker integrated version) nor confirm that this bound is compatible with the hypotheses of the cited Merle-Zaag theorem; this link is load-bearing for the Liouville conclusion.

Authors: We accept that the precise form of the bound and its compatibility with Merle-Zaag should be recorded explicitly. The Li-Yau estimate derived in the paper yields the pointwise bound |∇u|^2/u^2 ≤ C/(-t) for t < 0. This is stronger than the integrated or averaged conditions typically required by Merle-Zaag's classification theorem for ancient solutions. In the revised manuscript we will state this bound verbatim after Theorem 1.1 and add a short paragraph confirming that it satisfies the hypotheses of the cited result, thereby closing the argument for constancy. revision: yes

Circularity Check

0 steps flagged

No circularity: new Li-Yau estimate derived from equation and combined with independent external result

full rationale

The paper states it obtains a Li-Yau-type estimate for nonnegative ancient solutions to the subcritical semilinear heat equation and then combines this estimate with Merle-Zaag's result to prove the Liouville theorem. The derivation of the estimate proceeds by applying the parabolic operator to a quantity involving |∇log u|^2 and using the PDE to produce a differential inequality, with subcriticality used to control the nonlinear term. This step is presented as a direct calculation from the equation rather than a self-definition or fit. Merle-Zaag's result is an external citation whose authors do not overlap with the present paper and is invoked only after the estimate is established. No load-bearing step reduces by construction to its own inputs, no self-citation chain is used for uniqueness, and the central claim retains independent content from the new estimate. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard background results in PDE theory and the cited Melre-Zaag theorem; no free parameters or new invented entities are introduced based on the abstract.

axioms (2)

domain assumption Nonnegative ancient solutions to the semilinear heat equation are sufficiently smooth to allow derivation of gradient estimates.
Invoked implicitly when stating the Li-Yau-type estimate holds for such solutions.
domain assumption Melre-Zaag's result applies directly to the solutions satisfying the new estimate.
Used to bridge the estimate to the constancy conclusion.

pith-pipeline@v0.9.0 · 5563 in / 1306 out tokens · 62133 ms · 2026-05-22T15:01:07.740367+00:00 · methodology

Liouville theorem for subcritical nonlinear heat equation

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)