A Pogorelov estimate and a Liouville type theorem to parabolic $k$-Hessian equations

Haoyang Sheng; Ni Xiang; Yan He

arxiv: 1907.07006 · v1 · pith:5NZJSOFBnew · submitted 2019-07-16 · 🧮 math.AP

A Pogorelov estimate and a Liouville type theorem to parabolic k-Hessian equations

Yan He , Haoyang Sheng , Ni Xiang This is my paper

Pith reviewed 2026-05-24 20:49 UTC · model grok-4.3

classification 🧮 math.AP

keywords parabolic k-Hessian equationPogorelov estimateLiouville theoremk+1-convex-monotone solutionquadratic growthentire solutiontime derivative bound

0 comments

The pith

Any k+1-convex-monotone solution of the parabolic k-Hessian equation with bounded time derivative and quadratic initial growth is linear in time plus quadratic in space.

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

The paper establishes a Liouville-type theorem for the parabolic equation -u_t σ_k(D²u) = 1 defined on all of space-time up to time zero. Under the conditions that the solution is k+1-convex-monotone, its time derivative stays between two positive constants, and the initial slice at t=0 grows at most quadratically, every solution must be exactly a linear function of time added to a quadratic polynomial in the spatial variables. A sympathetic reader cares because the result gives an explicit classification that replaces the nonlinear PDE with algebraic conditions on the coefficients of the quadratic form.

Core claim

Any k+1-convex-monotone solution u to -u_t σ_k(D²u)=1 in R^n × (-∞,0] with u(x,0) satisfying quadratic growth and 0<m1≤-u_t≤m2 must be a linear function of t plus a quadratic polynomial of x.

What carries the argument

The k+1-convex-monotone condition, which supplies the convexity and monotonicity needed to run Pogorelov-type estimates that bound second derivatives and force the solution into quadratic form.

If this is right

All solutions in this class take the explicit form u(x,t)=at + quadratic polynomial in x.
The coefficients of the quadratic polynomial must satisfy algebraic identities obtained by substituting into the equation.
The equation admits no other entire solutions once the convexity-monotonicity and derivative bounds are imposed.

Where Pith is reading between the lines

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

The same classification technique may extend to parabolic equations involving other symmetric functions of the Hessian.
The result supplies a tool for studying the asymptotic shape of solutions whose initial data at t=0 is close to quadratic.
It remains open whether the monotonicity assumption can be removed when stronger a-priori bounds on higher derivatives are available.

Load-bearing premise

The solution must satisfy the k+1-convex-monotone condition together with the uniform bounds 0<m1≤-u_t≤m2.

What would settle it

An explicit k+1-convex-monotone function u satisfying the equation, the time-derivative bounds, and quadratic growth at t=0 but containing a non-quadratic term such as |x|^4 would falsify the claim.

read the original abstract

We consider Pogorelov type estimates and Liouville type theorems to parabolic $k$-Hessian equations of the form $-u_t \sigma_k (D^2u) =1$ in $\mathbb{R}^n\times (-\infty, 0]$. We derive that any \textbf{$k+1$-convex-monotone} solution to $-u_t \sigma_k (D^2u) =1$ when $u(x,0)$ satisfies a quadratic growth and $0<m_1\le -u_t\le m_2$ must be a linear function of $t$ plus a quadratic polynomial of $x$.

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 gives a conditional Liouville theorem for parabolic k-Hessian equations that extends Pogorelov estimates under k+1-convex-monotonicity and bounded time derivative.

read the letter

The main point is that any k+1-convex-monotone solution to -u_t σ_k(D²u)=1 on R^n × (-∞,0] with quadratic growth at t=0 and 0 < m1 ≤ -u_t ≤ m2 must be linear in t plus quadratic in x. This is the stated conclusion from the abstract, and the stress-test note finds no internal contradiction in how the hypotheses are listed. The work adapts Pogorelov-type estimates to the parabolic k-Hessian setting by using the monotonicity condition and the uniform bounds on the time derivative to close the argument. That combination looks like a legitimate step beyond the elliptic or k=1 cases that are already in the literature. The paper does well in making the structural assumptions explicit so the reader knows exactly what is required for the classification to hold. The statement is presented as derived from the PDE under those conditions rather than from any fitted or circular quantity. The soft spots are the strength of the assumptions themselves. The k+1-convex-monotone requirement plus the strict positive bounds on -u_t narrow the result to a limited class of solutions, and it is not obvious how often those conditions arise or can be verified in applications. The quadratic growth condition at the initial time is standard but still restrictive for a Liouville statement. Without the full proof I cannot check the details of how the time dependence is controlled or whether the estimates remain sharp when k > 1. This is aimed at specialists in fully nonlinear parabolic PDEs who work on a priori estimates and classification results. A reader already following Hessian-type equations might pick up the method for comparison, but the result is too conditional to interest a wider audience. It deserves a serious referee because the technical extension is clearly stated and the hypotheses are laid out without visible gaps in the claim itself.

Referee Report

2 major / 2 minor

Summary. The manuscript establishes Pogorelov-type estimates and a Liouville-type theorem for the parabolic k-Hessian equation −u_t σ_k(D²u)=1 on R^n×(−∞,0]. It proves that any k+1-convex-monotone solution satisfying quadratic growth of u(·,0) and the uniform bounds 0<m1≤−u_t≤m2 must be of the form linear in t plus a quadratic polynomial in the spatial variables.

Significance. If the estimates and classification hold, the result supplies a conditional Liouville theorem for entire solutions of a fully nonlinear parabolic Hessian equation, extending elliptic Pogorelov and Liouville theory to the parabolic setting under an explicit structural hypothesis (k+1-convex-monotonicity). The uniform bounds on −u_t and the initial quadratic growth are used in a natural way to close the argument.

major comments (2)

[§3] §3 (Pogorelov estimate): the derivation of the interior estimate appears to rely on the k+1-convex-monotone condition to control the sign of certain commutators; however, the precise point at which this condition is invoked to obtain the C^{2,1} bound is not isolated, making it difficult to verify that the estimate remains valid when the monotonicity constant is allowed to approach zero.
[Theorem 1.2] Theorem 1.2 (Liouville statement): the passage from the Pogorelov estimate to the global classification uses a rescaling argument that invokes the quadratic growth at t=0; it is not clear whether the constant in the quadratic growth can be taken arbitrarily large while keeping the same conclusion, or whether an implicit dependence on that constant enters the final form of the solution.

minor comments (2)

[Introduction] The definition of “k+1-convex-monotone” is stated only in the introduction; a self-contained paragraph in §2 would improve readability.
[§2] Notation for the elementary symmetric functions σ_k is standard, but the paper should explicitly record the normalization σ_k(λ) = sum of products of k distinct eigenvalues.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed and constructive report. The comments highlight points where the exposition can be strengthened for clarity. We address each major comment below and will incorporate revisions accordingly.

read point-by-point responses

Referee: [§3] §3 (Pogorelov estimate): the derivation of the interior estimate appears to rely on the k+1-convex-monotone condition to control the sign of certain commutators; however, the precise point at which this condition is invoked to obtain the C^{2,1} bound is not isolated, making it difficult to verify that the estimate remains valid when the monotonicity constant is allowed to approach zero.

Authors: We agree that the role of the k+1-convex-monotone condition should be isolated more explicitly. In the proof of Theorem 3.1, the condition is used in the computation of the evolution of the auxiliary function Φ (specifically, after differentiating the equation twice and applying the commutator formula in (3.8)–(3.10)), where it ensures that the terms involving the third derivatives of u carry a favorable sign via the monotonicity of σ_k on the k+1-convex cone. This step occurs immediately before the application of the maximum principle to obtain the C^{2,1} bound. The estimate does require the monotonicity constant to be strictly positive; as the constant approaches zero the bound may degenerate, consistent with the necessity of the structural hypothesis. We will revise Section 3 to add an explicit remark isolating this invocation and clarifying the dependence on the monotonicity constant. revision: yes
Referee: [Theorem 1.2] Theorem 1.2 (Liouville statement): the passage from the Pogorelov estimate to the global classification uses a rescaling argument that invokes the quadratic growth at t=0; it is not clear whether the constant in the quadratic growth can be taken arbitrarily large while keeping the same conclusion, or whether an implicit dependence on that constant enters the final form of the solution.

Authors: The rescaling in the proof of Theorem 1.2 (see (4.3)–(4.5)) normalizes the quadratic growth constant C appearing in the assumption on u(·,0) by choosing λ and μ depending on C. After passing to the limit, the limiting solution is always of the form at + Q(x) with Q quadratic, where the coefficients of Q may depend on C but the structural form does not. Thus the conclusion holds for any finite C; the theorem does not claim uniformity of the coefficients with respect to C. We will add a short remark after the statement of Theorem 1.2 and in the proof to make this dependence explicit and confirm that the classification remains valid for arbitrarily large but finite C. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained from PDE and explicit assumptions

full rationale

The paper states a conditional Liouville theorem: under the explicit hypotheses of k+1-convex-monotonicity, quadratic growth of initial data, and uniform bounds m1 ≤ -u_t ≤ m2, solutions to the parabolic k-Hessian equation -u_t σ_k(D²u)=1 are linear in t plus quadratic in x. This is presented as derived from the PDE structure plus the listed structural assumptions; no step reduces by definition to its own output, no fitted parameter is relabeled as a prediction, and no load-bearing uniqueness claim rests solely on self-citation. The central result remains independent of its inputs once the convexity-monotonicity condition is granted.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities beyond the stated conditions on the solution.

axioms (2)

domain assumption The solution is k+1-convex-monotone
Required for the Liouville conclusion in the abstract statement.
domain assumption 0 < m1 ≤ -u_t ≤ m2
Uniform bound on the time derivative stated as a hypothesis.

pith-pipeline@v0.9.0 · 5638 in / 1260 out tokens · 20718 ms · 2026-05-24T20:49:29.720848+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages · 2 internal anchors

[1]

Ball J. M.. Diﬀerentiability properties of symmetric and isotropic fu nctions. Duke Math. J., 1984, 51, no.3: 699–728

work page 1984
[2]

Liouville property and regularity of a Hessian quotient equation

Bao J.G., Chen J.Y., Guan B., Ji M.. Liouville property and regularity of a Hessian quotient equation. Amer. J. Math., 2003, 125, no.2: 301–316

work page 2003
[3]

Optimal concavity of some Hessian operators and the prescri bed σ2 curva- ture measure problem

Chen C.Q.. Optimal concavity of some Hessian operators and the prescri bed σ2 curva- ture measure problem. Sci. China Math., 2013, 56, no.3: 639–651

work page 2013
[4]

An extension to a theorem of J¨ ogens, Calabi, and Pogorelov

Caﬀarelli L., Li Y.Y.. An extension to a theorem of J¨ ogens, Calabi, and Pogorelov. Comm. Pure Appl. Math., 2003, 56, no.5: 549–583

work page 2003
[5]

A Variational Theory of the Hessian Equation

Chou K.S., Wang X.J.. A Variational Theory of the Hessian Equation. Comm. Pure Appl. Math., 2001, 9: 1029–1064

work page 2001
[6]

Rigidity theorems for the entire solutions of 2-Hessian equ ation

Chen L., Xiang N.. Rigidity theorems for the entire solutions of 2-Hessian equ ation. J Diﬀ. Equa

work page
[7]

A Liouville problem for the sigma-2 equation

Chang, S.A., Yuan, Y.. A Liouville problem for the sigma-2 equation. Disc. Cont. Dyna. Syst., 2010, 28, no.2 : 659–664

work page 2010
[8]

Interior C 2 regularity of convex solutions to prescribing scalar curvature equations

Guan P.F., Qiu G.H.. Interior C 2 regularity of convex solutions to prescribing scalar curvature equations. Duke Math. J., 2019, 168, no.9: 1641–1663

work page 2019
[9]

Global C 2 Estimates for Convex Solutions of Curva- ture Equations

Guan P.F., Ren C.Y., Wang Z.Z.. Global C 2 Estimates for Convex Solutions of Curva- ture Equations. Comm. Pure Appl. Math. 2015, 68(8): 1287–1325

work page 2015
[10]

Elliptic Partial Diﬀerential Equations of the Second Order

Gilbarge D., Trudinger N.S.. Elliptic Partial Diﬀerential Equations of the Second Order . Second edition, Springer, 1998

work page 1998
[11]

, Huang Q

Guti´errez C.E. , Huang Q.. A generalization of a theorem by Calabi to the parabolic Monge-Amp` ere equation. Indi. Univ. Math. J., 1998, 47: 1459C-1480

work page 1998
[12]

Fully nonlinear equations on Riemannian manifolds with negative curvature

Gursky, Matthew J., Viaclovsky, Jeﬀ A.. Fully nonlinear equations on Riemannian manifolds with negative curvature. Indi. Univ. Math. J., 2003, 52, no.2: 399–419

work page 2003
[13]

A Rigidity theorem for parabolic 2-Hessian equations

He Y., Pan C., Xiang N.. Rigidity theorems for the entire solutions of parabolic 2- Hessian equation. arXiv:1906.06682

work page internal anchor Pith review Pith/arXiv arXiv 1906
[14]

A Liouville type theorem to $2$-Hessian equations

He Y., Sheng H.Y., Xiang N.. A Pororelov estimate and a Liouville type theorem to 2-Hessian equations. arXiv:1906.10588

work page internal anchor Pith review Pith/arXiv arXiv 1906
[15]

An interior estimate for convex solutions and a rigidity theorem

Li M., Ren C.Y., Wang Z.Z.. An interior estimate for convex solutions and a rigidity theorem. J Func. Anal., 2016, 270: 2691–2714

work page 2016
[16]

Hessian estimates for convex solutions to quadratic Hessian equation

McGonagle M., Song C., Yuan Y.. Hessian estimates for convex solutions to quadratic Hessian equation. Ann. Inst. H. Poincar Anal. Non Linaire, 2019, 36, no.2: 451– 454

work page 2019
[17]

A Bernstein type theorem for parabolic k-Hessian equations , Non

Nakamori S., Takimoto K.. A Bernstein type theorem for parabolic k-Hessian equations , Non. Anal., 2015, 117: 211–220

work page 2015
[18]

Clay Mathematics Proceedings, 2005, 2: 283–309

Spruck J., Geometric aspects of the theory of fully nonlinear elliptic equations. Clay Mathematics Proceedings, 2005, 2: 283–309

work page 2005
[19]

and Yuan Y

Warren M. and Yuan Y.. Hessian estimates for the σ2-equation in dimension 3. Comm. Pure Appl. Math., 2009, 62: 305–322

work page 2009
[20]

On J ¨orgens, Calabi, and Pogorelov type theorem and isolated singularities of parabolic Monge-Amp` ere equations

Xiong J.G.; Bao J.G.. On J ¨orgens, Calabi, and Pogorelov type theorem and isolated singularities of parabolic Monge-Amp` ere equations. J. Diﬀ. Equa., 2011, 250, no.1: 367– 385 28 YAN HE, HAOYANG SHENG, NI XIANG

work page 2011
[21]

An extension of J ¨orgens-Calabi-Pogorelov theorem to parabolic Monge-Amp` re equation

Zhang W., Bao J.G., Wang B.. An extension of J ¨orgens-Calabi-Pogorelov theorem to parabolic Monge-Amp` re equation. Calc. Var. Part. Diﬀ. Equa., 2018, 57, no.3: 57–90 F aculty of Mathematics and Statistics, Hubei Key Laborator y of Applied Mathe- matics, Hubei University, Wuhan 430062, P.R. China E-mail address : helenaig@hotmail.com; 907026694@qq.com; n...

work page 2018

[1] [1]

Ball J. M.. Diﬀerentiability properties of symmetric and isotropic fu nctions. Duke Math. J., 1984, 51, no.3: 699–728

work page 1984

[2] [2]

Liouville property and regularity of a Hessian quotient equation

Bao J.G., Chen J.Y., Guan B., Ji M.. Liouville property and regularity of a Hessian quotient equation. Amer. J. Math., 2003, 125, no.2: 301–316

work page 2003

[3] [3]

Optimal concavity of some Hessian operators and the prescri bed σ2 curva- ture measure problem

Chen C.Q.. Optimal concavity of some Hessian operators and the prescri bed σ2 curva- ture measure problem. Sci. China Math., 2013, 56, no.3: 639–651

work page 2013

[4] [4]

An extension to a theorem of J¨ ogens, Calabi, and Pogorelov

Caﬀarelli L., Li Y.Y.. An extension to a theorem of J¨ ogens, Calabi, and Pogorelov. Comm. Pure Appl. Math., 2003, 56, no.5: 549–583

work page 2003

[5] [5]

A Variational Theory of the Hessian Equation

Chou K.S., Wang X.J.. A Variational Theory of the Hessian Equation. Comm. Pure Appl. Math., 2001, 9: 1029–1064

work page 2001

[6] [6]

Rigidity theorems for the entire solutions of 2-Hessian equ ation

Chen L., Xiang N.. Rigidity theorems for the entire solutions of 2-Hessian equ ation. J Diﬀ. Equa

work page

[7] [7]

A Liouville problem for the sigma-2 equation

Chang, S.A., Yuan, Y.. A Liouville problem for the sigma-2 equation. Disc. Cont. Dyna. Syst., 2010, 28, no.2 : 659–664

work page 2010

[8] [8]

Interior C 2 regularity of convex solutions to prescribing scalar curvature equations

Guan P.F., Qiu G.H.. Interior C 2 regularity of convex solutions to prescribing scalar curvature equations. Duke Math. J., 2019, 168, no.9: 1641–1663

work page 2019

[9] [9]

Global C 2 Estimates for Convex Solutions of Curva- ture Equations

Guan P.F., Ren C.Y., Wang Z.Z.. Global C 2 Estimates for Convex Solutions of Curva- ture Equations. Comm. Pure Appl. Math. 2015, 68(8): 1287–1325

work page 2015

[10] [10]

Elliptic Partial Diﬀerential Equations of the Second Order

Gilbarge D., Trudinger N.S.. Elliptic Partial Diﬀerential Equations of the Second Order . Second edition, Springer, 1998

work page 1998

[11] [11]

, Huang Q

Guti´errez C.E. , Huang Q.. A generalization of a theorem by Calabi to the parabolic Monge-Amp` ere equation. Indi. Univ. Math. J., 1998, 47: 1459C-1480

work page 1998

[12] [12]

Fully nonlinear equations on Riemannian manifolds with negative curvature

Gursky, Matthew J., Viaclovsky, Jeﬀ A.. Fully nonlinear equations on Riemannian manifolds with negative curvature. Indi. Univ. Math. J., 2003, 52, no.2: 399–419

work page 2003

[13] [13]

A Rigidity theorem for parabolic 2-Hessian equations

He Y., Pan C., Xiang N.. Rigidity theorems for the entire solutions of parabolic 2- Hessian equation. arXiv:1906.06682

work page internal anchor Pith review Pith/arXiv arXiv 1906

[14] [14]

A Liouville type theorem to $2$-Hessian equations

He Y., Sheng H.Y., Xiang N.. A Pororelov estimate and a Liouville type theorem to 2-Hessian equations. arXiv:1906.10588

work page internal anchor Pith review Pith/arXiv arXiv 1906

[15] [15]

An interior estimate for convex solutions and a rigidity theorem

Li M., Ren C.Y., Wang Z.Z.. An interior estimate for convex solutions and a rigidity theorem. J Func. Anal., 2016, 270: 2691–2714

work page 2016

[16] [16]

Hessian estimates for convex solutions to quadratic Hessian equation

McGonagle M., Song C., Yuan Y.. Hessian estimates for convex solutions to quadratic Hessian equation. Ann. Inst. H. Poincar Anal. Non Linaire, 2019, 36, no.2: 451– 454

work page 2019

[17] [17]

A Bernstein type theorem for parabolic k-Hessian equations , Non

Nakamori S., Takimoto K.. A Bernstein type theorem for parabolic k-Hessian equations , Non. Anal., 2015, 117: 211–220

work page 2015

[18] [18]

Clay Mathematics Proceedings, 2005, 2: 283–309

Spruck J., Geometric aspects of the theory of fully nonlinear elliptic equations. Clay Mathematics Proceedings, 2005, 2: 283–309

work page 2005

[19] [19]

and Yuan Y

Warren M. and Yuan Y.. Hessian estimates for the σ2-equation in dimension 3. Comm. Pure Appl. Math., 2009, 62: 305–322

work page 2009

[20] [20]

On J ¨orgens, Calabi, and Pogorelov type theorem and isolated singularities of parabolic Monge-Amp` ere equations

Xiong J.G.; Bao J.G.. On J ¨orgens, Calabi, and Pogorelov type theorem and isolated singularities of parabolic Monge-Amp` ere equations. J. Diﬀ. Equa., 2011, 250, no.1: 367– 385 28 YAN HE, HAOYANG SHENG, NI XIANG

work page 2011

[21] [21]

An extension of J ¨orgens-Calabi-Pogorelov theorem to parabolic Monge-Amp` re equation

Zhang W., Bao J.G., Wang B.. An extension of J ¨orgens-Calabi-Pogorelov theorem to parabolic Monge-Amp` re equation. Calc. Var. Part. Diﬀ. Equa., 2018, 57, no.3: 57–90 F aculty of Mathematics and Statistics, Hubei Key Laborator y of Applied Mathe- matics, Hubei University, Wuhan 430062, P.R. China E-mail address : helenaig@hotmail.com; 907026694@qq.com; n...

work page 2018