Pith. sign in

REVIEW 2 major objections 3 minor 87 references

Optimal Rigidity and Classification Results for the $k$-Hessian Equation of Lane--Emden Type

T0 review · 2 major / 3 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper proves that the exponent $p_* = k(n+2)/(n-2k)$ is the sharp Liouville threshold for the $k$-Hessian Lane–Emden equation and classifies critical solutions as explicit bubbles for $2k < n \le 4k$.

desk verdict The subcritical Liouville theorem is a strong twenty-year gap closure, but the critical classification has a wrong normalization and the n=4k case is unsupported as written; needs major revision before acceptance. read the letter →

arxiv 2608.04422 v1 pith:C3QBKRZK submitted 2026-08-05 math.AP

Wei Dai , Jingze Fu , Changfeng Gui , Guolin Qin This is my paper · ORCID
classification math.AP MSC 35J6035B5335B33
keywords k-HessianequationLane–EmdenLiouvilletheoremcriticalexponentbubbleNewtontensorHessianmeasurerigidity
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper studies nonnegative solutions of the fully nonlinear equation $\sigma_k(-D^2u)=u^p$ in $\mathbb{R}^n$ that are admissible, meaning $-D^2u$ lies in the cone $\Gamma_k$ where the first $k$ elementary symmetric functions of the Hessian are nonnegative. It proves that for $2\le k

What carries the argument

The load-bearing object is the vector field $J$ together with the matrix inequality (2.11). For $A\in\Gamma_k$, define $T_j(A)$ by the Newton-tensor expansion and $L_k(A)=\frac{n-k}{n}\sigma_k(A)I-T_k(A)$; the inequality $L_k(A)^2\preceq \frac{n-k}{n}\operatorname{tr}(L_k(A)A)T_{k-1}(A)$ is a quantitative Newton–Maclaurin estimate whose equality case (Lemma 2.5) forces all eigenvalues of the deleted tuple to coincide. The divergence of $J$ turns this linear-algebraic control into pointwise coercivity of weighted gradients, and in the critical case into nonnegativity whose vanishing implies the Hessian of $u^{-2k/(n-2k)}$ is a scalar matrix. In the endpoint dimension $n=4k$, the plain vector field degenerates and the proof replaces $J$ by $h^{-\varepsilon}J$, where $h$ solves an algebraic equation depending on $u$ and $|\nabla u|^2$; this restores the coercivity needed to conclude $\operatorname{div}J\equiv 0$.

What would settle it

A concrete check is to sample eigenvalues in $\Gamma_k$ and compute the smallest eigenvalue of $\frac{n-k}{n}\operatorname{tr}(L_k(A)A)T_{k-1}(A)-L_k(A)^2$; any negative value would invalidate the central rigidity step. Alternatively, numerically integrate the radial $k$-Hessian equation for $k=2$, $n=5$, and $p$ just below $p_*=14/3$; a bounded positive admissible solution would disprove the Liouville theorem.

Watch

Extended reading notes

Core claim

The central discovery is that a single divergence identity for the vector field $J=-u^M L_k(A)\nabla u-\tau u^{M-1}|\nabla u|^2 T_{k-1}(A)\nabla u$, with $A=-D^2u$, separates nonexistence from classification. The trace-free tensor $L_k(A)=\frac{n-k}{n}\sigma_k(A)I - T_k(A)$ and the quantitative Newton–Maclaurin inequality $L_k(A)^2 \preceq \frac{n-k}{n}\operatorname{tr}(L_k(A)A)T_{k-1}(A)$ control the mixed terms: in the subcritical range the divergence of $J$ dominates $u^{M+p-1}|\nabla u|^2$, so cutoff estimates force every integral of a positive power of $u$ to vanish; at the critical exponent the divergence is nonnegative and the cutoff argument forces $\operatorname{div}J\equiv 0$. The equality case of the matrix inequality then yields $D^2(u^{-2k/(n-2k)})=\lambda\,\mathrm{Id}$, so $u(x)=(a_0+b_0|x-x_0|^2)^{-(n-2k)/(2k)}$ with the normalization $\frac{n}{k}a_0\left(\frac{n-2k}{k}b_0\right)^k=1$. This is the fully nonlinear counterpart of the classical semilinear Liouville and classification theorems, with the same bubble family attaining equality in the sharp Hessian energy inequality.

Load-bearing premise

The proof depends on a matrix inequality proved inside the paper—that the square of the trace-free tensor $L_k(A)$ is bounded by $\frac{n-k}{n}\operatorname{tr}(L_k(A)A)T_{k-1}(A)$ for every admissible Hessian $A$—together with its equality characterization; if either the inequality or the equality case had any exception, both the nonexistence theorem and the bubble classification would fail.

Editorial extensions

If this is right

  • The critical exponent $p_*$ is sharp: no nonnegative admissible solution exists for $0<p<p_*$, while radial positive solutions exist for every $p\ge p_*$.
  • For $2k<n\le 4k$ and $p=p_*$, every positive $C^2$ solution is a critical bubble, so the extremals of the sharp Hessian energy inequality are fully classified.
  • The same Liouville threshold holds for locally bounded weak solutions in the Hessian-measure sense, so the result does not depend on extra $C^2$ regularity.
  • For $n=2k$, every solution of the exponential equation satisfying the integral growth condition (1.15) is a logarithmic bubble, and its total mass is computed explicitly.
  • The Liouville theorem supplies universal boundary blow-up estimates of the form $\sup_\Omega \operatorname{dist}(x,\partial\Omega)\,u(x)^{(p-k)/(2k)}\le C$ for admissible solutions on bounded domains.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The proof suggests that the same matrix inequality should yield a quantitative stability theorem for the Hessian energy inequality: an appropriately Newton-tensor-weighted distance to the bubble family should be controlled by the energy deficit.
  • The dimensional line $2k<n\le 4k$ is where the cutoff powers have favorable signs; the weighted-vector-field trick used at $n=4k$ is a natural template for removing the growth and boundedness assumptions in $n>4k$, so those extra hypotheses may be technical.
  • A testable intermediate step is whether bounded solutions already satisfy the unconditional classification in dimensions $n=4k+3$ and higher, which would confirm that the remaining gap is a proof-technicality rather than a true phenomenon.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 3 minor

Summary. This paper studies nonnegative entire solutions of the k-Hessian Lane–Emden equation σ_k(−D^2u)=u^p in R^n with −D^2u∈Γ_k and 2≤k<n/2. The main results are: (i) an unconditional Liouville theorem in the subcritical range p_−<p<p_* for C^2 solutions (Theorem 1.1), extended to locally bounded Hessian-measure weak solutions (Theorem 1.2); (ii) classification at the critical exponent p=p_*: for 2k<n≤4k every nonnegative C^2 solution is a Hessian–Sobolev bubble (Theorem 1.5), with conditional statements for n>4k and an exponential counterpart at n=2k (Theorem 1.12). The proof introduces a quantitative Newton–Maclaurin matrix inequality (Lemma 2.4) with an equality case (Lemma 2.5), a vector field J whose divergence is coercive in the subcritical case and nonnegative in the critical case, and weighted cutoff estimates. The paper also contains an appendix justifying the distributional divergence calculations for C^2 solutions.

Significance. If the main results are correct, Theorem 1.1 closes a gap left open by Phuc–Verbitsky and Ou and identifies p_* as the sharp Liouville threshold for the k-Hessian equation; the critical classification extends the Caffarelli–Gidas–Spruck theorem to fully nonlinear Hessian equations. The matrix inequality (2.11) and its equality characterization are elegant and likely to be useful beyond this paper. The weak-solution extension and the careful C^2 justification are additional strengths. However, the critical classification contains algebraic errors in the bubble normalization and in the n=4k weighted argument. These errors affect the statement of Theorem 1.5 and the proof of the n=4k case, so the advertised classification is not established as written; the subcritical Liouville theorems appear independent of these specific constants and are plausibly sound.

major comments (2)
  1. [Theorem 1.5, Eq. (1.9)] The normalization (1.9) is algebraically wrong. Direct differentiation at x=x0 gives −D^2u(x0)=((n−2k)/k)b0 a0^{−n/(2k)} Id, hence σ_k(−D^2u(x0))=binom(n,k)((n−2k)/k b0)^k a0^{−n/2}. Since u(x0)^{p_*}=a0^{−(n+2)/2}, the equation forces binom(n,k) a0 ((n−2k)/k b0)^k = 1. The factor n/k in (1.9) is incorrect for k≥2; for k=2,n=8 it gives a0 b0^2=1/16, whereas Remark 1.6 requires a0 b0^2=1/112. Consequently the 'Conversely' assertion in Theorem 1.5 is false as stated, and Theorems 1.7, 1.8, and Corollary 1.10 inherit the wrong normalization condition in their conclusions.
  2. [Eqs. (5.18), (5.19), (5.24); Proposition 5.5] The n=4k weighted construction is incompatible with the standard bubble. At n=4k the bubble is w=u^{−1}=a0+b0|x−x0|^2, and the text states before (5.18) that one wants h=b0 for this function. Substituting h=b0 into (5.18) gives 4 binom(4k,k)^{2k−2} a0 b0^k = 1, while the corrected equation normalization gives a0 b0^k = 1/(2^k binom(4k,k)); for k=2 the left side equals 28, not 1, so h=b0 does not solve (5.18) for the actual bubble. Moreover, after the normalization u^2h=1, equation (5.19) yields u^{2k+1}=binom(4k,k)^{2k−2}(4−|∇u|^2/u), not the expression 2k binom(4k−1,k−1)(4−|∇u|^2/u) stated in (5.24). Since Proposition 5.5 and the subsequent inequality div(h^{−ε}J)≥(1/2)h^{−ε} divJ rely on these identities, the n=4k case of Theorem 1.5 is not proved as written.
minor comments (3)
  1. [Section 1.5] The paragraph beginning 'The rest of the paper is organized as follows' appears twice, verbatim, before Section 2; one copy should be deleted.
  2. [Corollary 1.13] The sentence 'Thenumust be the Aubin-Talenti type bubble' contains a typo and should read 'Then u must be the Aubin-Talenti type bubble'.
  3. [Remark 3.2] The remark says that the rearrangement for −1<δ<0 'does not follow from a one-sided Hessian inequality'; this is helpful, but the phrase 'the rearrangement uses the equality σ_k(A)=u^p' could be expanded to clarify that the sign change in b_s is the reason for the rearrangement.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the subcritical Liouville proof and the critical classification are self-contained, with no fitted parameters and no prediction that reduces to an input by construction.

full rationale

The derivation chain is self-contained. The main new technical input, Lemma 2.4 (the quantitative Newton–Maclaurin matrix inequality, Eq. (2.11)), is proved in Section 2 from the standard Newton–Maclaurin inequalities and elementary eigenvalue identities, and its equality case Lemma 2.5 is also proved there. Neither is imported from prior work by the authors. The vector field J in Sections 3 and 5 is constructed from the solution itself, and the coercivity/nonnegativity of div J is derived from (2.11) and the equation, not assumed. The subcritical Liouville theorem follows from the cutoff integral estimates of Lemma 3.1 and Proposition 3.3 plus the pointwise lower bound of Lemma 3.4; the prior nonexistence results of Phuc–Verbitsky and Ou are invoked only to cover the complementary range p<=p_- in Corollary 1.3, and are not used inside the gap proof. The critical classification in Theorem 1.5 uses div J >= 0, the cutoff argument forcing div J = 0, and the equality case of the matrix inequality; again every step is proved in the paper. Self-citations appear in the literature review and in references to radial existence [84], but none is load-bearing for the main rigidity argument. I therefore find no circularity and assign a low score. This does not certify the paper error-free: the normalization (1.9) in Theorem 1.5 is algebraically suspicious, since direct differentiation of the bubble at x0 gives binom(n,k) a0 ((n-2k)/k b0)^k = 1 rather than (n/k) a0 ((n-2k)/k b0)^k = 1, and the n=4k weighted estimate in (5.18)-(5.24) depends on that normalization. Those concerns are correctness issues, not circularity, and they do not raise the circularity score.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No fitted parameters. The proof introduces auxiliary vector fields J and J-tilde, and the weighted function h in the n = 4k case, but these are explicitly constructed mathematical objects, not postulated entities with independent falsifiable handles. All background facts are standard or cited.

assumptions (4)
  • standard math Newton-Maclaurin inequalities and Garding cone theory for Gamma_k, including equality characterization, as in Lemma 2.1.
    Used throughout to prove the quantitative matrix inequality (2.11), positivity of Newton tensors, and the lower bound on -Delta u.
  • domain assumption Trudinger-Wang Hessian measure theory: weak continuity, comparison principles, and potential estimates for k-convex functions.
    Needed for Theorem 1.2's weak formulation, the approximation argument in Lemma 4.2, and Lemma 4.1.
  • domain assumption Prior Liouville thresholds for p <= p_-: Phuc-Verbitsky for k < p <= p_- and Ou for 0 < p <= k.
    Corollary 1.3 combines these prior nonexistence results with the new gap result; they are not used inside the proof of the gap interval.
  • domain assumption Admissibility and regularity hypotheses: -D^2u in Gamma_k (or -u in Phi_k for weak solutions) and u >= 0, with C^2 or locally bounded weak regularity.
    This is the ellipticity and solution class hypothesis of the equation, stated in (1.1) and (1.6).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Optimal Rigidity and Classification Results for the $k$-Hessian Equation of Lane--Emden Type." pith.science (2026). https://pith.science/paper/C3QBKRZK

@misc{pith2026260804422,
  author       = {Pith},
  title        = {Pith review of: Optimal Rigidity and Classification Results for the $k$-Hessian Equation of Lane--Emden Type},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/C3QBKRZK}},
  note         = {Machine review of arXiv:2608.04422}
}
abstract

In this paper, we establish optimal Liouville theorems and classification results for the \(k\)-Hessian Lane--Emden equation \[ \sigma_k(-D^2u)=u^p\quad\text{in }\R^n,\qquad -D^2u\in\overline{\Gamma_k},\qquad u\geq 0, \] where \(2\leq k<\frac{n}{2}\) and $p>0$. Let $p_- = \frac{nk}{n-2k}$ and the critical Hessian--Sobolev exponent $p_* = \frac{(n+2)k}{n-2k}$. Phuc and Verbitsky proved nonexistence of positive solutions for \(k<p\leq p_-\), while Ou subsequently covered the cases \(p\in(0,k]\). We completely closed this gap and proved the optimal Liouville theorem for any \(p_-<p<p_*\): any nonnegative \(C^2\) entire solution must be identically zero. We also prove the optimal Liouville theorem for nonnegative locally bounded Hessian-measure weak solutions. This identifies the critical exponent \(p_*\) as the sharp Liouville threshold, since radial positive solutions exist for \(p\geq p_*\). For the critical case \(p=p_*\), we proved that nontrivial nonnegative \(C^2\) entire solution must be the Aubin-Talenti type bubble without any assumptions for \(2k<n\leq 4k\), under boundedness assumption for $n=4k+1$ and $4k+2$, and under some appropriate integral growth conditions or pointwise asymptotic behavior assumptions for any \(n>4k\) and the limiting case $n=2k$. In particular, we provide a fully nonlinear counterparts of the classical Liouville and classification theorems of Gidas--Spruck, Gidas--Ni--Nirenberg, and Caffarelli--Gidas--Spruck.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

87 extracted references · 75 canonical work pages

  1. [1]

    Aubin, Probl` emes isop´ erim´ etriques et espaces de Sobolev,J

    T. Aubin, Probl` emes isop´ erim´ etriques et espaces de Sobolev,J. Differential Geom.11(1976), no. 4, 573–598

    1976

  2. [2]

    J. Bao, H. Li and Y. Y. Li, On the exterior Dirichlet problem for Hessian equations,Trans. Amer. Math. Soc.366(2014), no. 12, 6183–6200

    2014

  3. [3]

    Bianchi and H

    G. Bianchi and H. Egnell, A note on the Sobolev inequality,J. Funct. Anal.100(1991), no. 1, 18–24

    1991

  4. [4]

    Caffarelli, B

    L. Caffarelli, B. Gidas and J. Spruck, Asymptotic symmetry and local behavior of semilinear elliptic equations with critical Sobolev growth,Comm. Pure Appl. Math.42(1989), no. 3, 271–297

    1989

  5. [5]

    Caffarelli, P

    L. Caffarelli, P. Guan and X.-N. Ma, A constant rank theorem for solutions of fully nonlinear elliptic equations,Comm. Pure Appl. Math.60(2007), no. 12, 1769–1791

    2007

  6. [6]

    Caffarelli, L

    L. Caffarelli, L. Nirenberg and J. Spruck, The Dirichlet problem for nonlinear second-order elliptic equa- tions. III. Functions of the eigenvalues of the Hessian,Acta Math.155(1985), 261–301

    1985

  7. [7]

    Caffarelli, L

    L. Caffarelli, L. Nirenberg and J. Spruck, Nonlinear second-order elliptic equations. V. The Dirichlet problem for Weingarten hypersurfaces,Comm. Pure Appl. Math.41(1988), no. 1, 47–70

    1988

  8. [8]

    D. Cao, W. Dai and Y. Li, Radial symmetry and sharp asymptotic behaviors of nonnegative solutions to weighted doublyD 1,p-critical quasi-linear nonlocal elliptic equations with Hardy potential,Sci. China Math.69(2026), no. 5, 1143–1196

    work page 2026

Show all 87 references
  1. [9]

    D. Cao, W. Dai and G. Qin,Super poly-harmonic properties, Liouville theorems and classification of nonnegative solutions to equations involving higher-order fractional Laplacians, Trans. Amer. Math. Soc., 374(2021), no. 7, 4781-4813

    2021

  2. [10]

    S.-Y. A. Chang, M. J. Gursky and P. C. Yang, An equation of Monge–Amp` ere type in conformal geometry, and four-manifolds of positive Ricci curvature,Ann. of Math. (2)155(2002), no. 3, 709–787

    2002

  3. [11]

    S.-Y. A. Chang, M. J. Gursky and P. C. Yang, Entire solutions of a fully nonlinear equation, inLectures on Partial Differential Equations, New Stud. Adv. Math.2, International Press, Somerville, MA, 2003, 43–60

    2003

  4. [12]

    C. Chen, L. Hu and B. Wang, Nonexistence results of positive solutions ofp-Hessian type equations and inequalities,Math. Ann.393(2025), no. 2, 1741–1767

    2025

  5. [13]

    W. Chen, W. Dai and G. Qin, Liouville type theorems, a priori estimates and existence of solutions for critical and super-critical order Hardy–H´ enon type equations inR n,Math. Z.303(2023), no. 4, Paper No. 104, 36 pp

    2023

  6. [14]

    Chen and C

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

    1991

  7. [15]

    Chou and X.-J

    K.-S. Chou and X.-J. Wang, A variational theory of the Hessian equation,Comm. Pure Appl. Math.54 (2001), no. 9, 1029–1064

    2001

  8. [16]

    B. Chu, Y. Y. Li and Z. Li, Liouville theorems for conformally invariant fully nonlinear equations. I, arXiv:2311.07542v2, 2024

    2024 arXiv

  9. [17]

    Ciraolo, A

    G. Ciraolo, A. Figalli and A. Roncoroni,Symmetry results for critical anisotropicp-Laplacian equations in convex cones, Geom. Funct. Anal.,30(2020), 770-803

    2020

  10. [18]

    M. G. Crandall, H. Ishii and P.-L. Lions, User’s guide to viscosity solutions of second order partial differential equations,Bull. Amer. Math. Soc. (N.S.)27(1992), no. 1, 1–67

    1992

  11. [19]

    W. Dai, L. Duan, C. Gui and Y. Li, Nonradial solutions for the critical quasi-linear H´ enon equation involvingp-Laplacian inR N ,Proc. Lond. Math. Soc.132(2026), no. 4, Article e70148. 58 WEI DAI, JINGZE FU, CHANGFENG GUI, GUOLIN QIN

    2026

  12. [20]

    W. Dai, L. Duan, C. Gui and Y. Li, Nonradial solutions for the quasi-linear H´ enon typeN-Laplacian Liouville equation, arXiv: 2607.24012, 60 pp

    arXiv

  13. [21]

    W. Dai, C. Gui, Y. Hu and S. Peng, Nonlinear Neumann boundary problems forn-Laplacian Liouville equation on a half space, arXiv: 2602.06414, 49 pp

  14. [22]

    W. Dai, Y. Li and Z. Liu, Radial symmetry and sharp asymptotic behaviors of nonnegative solutions toD 1,p-critical quasi-linear static Schr¨ odinger–Hartree equation involvingp-Laplacian−∆ p,Math. Ann. 391(2025), no. 2, 2653–2708

    2025

  15. [23]

    Dai and G

    W. Dai and G. Qin, Classification of nonnegative classical solutions to third-order equations,Adv. Math. 328(2018), 822–857

    2018

  16. [24]

    Dai and G

    W. Dai and G. Qin, Liouville type theorem for critical order H´ enon–Lane–Emden type equations on a half space and its applications,J. Funct. Anal.281(2021), no. 10, Paper No. 109227, 37 pp

    2021

  17. [25]

    Dai and G

    W. Dai and G. Qin, Liouville-type theorems for fractional and higher-order H´ enon–Hardy type equations via the method of scaling spheres,Int. Math. Res. Not. IMRN2023(2023), no. 11, 9001–9070

    2023

  18. [26]

    Damascelli, S

    L. Damascelli, S. Merch´ an, L. Montoro and B. Sciunzi, Radial symmetry and applications for a problem involving the−∆ p(·) operator and critical nonlinearity inR N ,Adv. Math.265(2014), 313–335

    2014

  19. [27]

    Esposito, A classification result for the quasi-linear Liouville equation,Ann

    P. Esposito, A classification result for the quasi-linear Liouville equation,Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire35(2018), no. 3, 781–801

    2018

  20. [28]

    H. Fang, B. Ma and W. Wei, A Liouville’s theorem for some Monge–Amp` ere type equations,J. Funct. Anal.285(2023), no. 4, Paper No. 109973, 47 pp

    2023

  21. [29]

    Figalli and Y

    A. Figalli and Y. R.-Y. Zhang, Sharp gradient stability for the Sobolev inequality,Duke Math. J.,171 (2022), no. 12, 2407–2459

    2022

  22. [30]

    G ˚ arding, An inequality for hyperbolic polynomials,J

    L. G ˚ arding, An inequality for hyperbolic polynomials,J. Math. Mech.8(1959), no. 6, 957–965

    1959

  23. [31]

    Ghoussoub and C

    N. Ghoussoub and C. Gui, On De Giorgi’s conjecture in dimensions 4 and 5,Ann. of Math. (2)157 (2003), no. 1, 313–334

    2003

  24. [32]

    Gidas, W.-M

    B. Gidas, W.-M. Ni and L. Nirenberg, Symmetry and related properties via the maximum principle, Comm. Math. Phys.68(1979), no. 3, 209–243

    1979

  25. [33]

    Gidas and J

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

    1981

  26. [34]

    M. del M. Gonz´ alez, Singular sets of a class of locally conformally flat manifolds,Duke Math. J.129 (2005), no. 3, 551–572

    2005

  27. [35]

    Guan and X.-N

    P. Guan and X.-N. Ma, The Christoffel–Minkowski problem I: Convexity of solutions of a Hessian equa- tion,Invent. Math.151(2003), no. 3, 553–577

    2003

  28. [36]

    Guan, The Dirichlet problem for a class of fully nonlinear elliptic equations,Comm

    B. Guan, The Dirichlet problem for a class of fully nonlinear elliptic equations,Comm. Partial Differential Equations19(1994), nos. 3–4, 399–416

    1994

  29. [37]

    Guan, X.-N

    P. Guan, X.-N. Ma and F. Zhou, The Christoffel–Minkowski problem. III. Existence and convexity of admissible solutions,Comm. Pure Appl. Math.59(2006), no. 9, 1352–1376

    2006

  30. [38]

    P. Guan, C. Ren and Z. Wang, GlobalC 2-estimates for convex solutions of curvature equations,Comm. Pure Appl. Math.68(2015), no. 8, 1287–1325

    2015

  31. [39]

    Gui and A

    C. Gui and A. Moradifam, The sphere covering inequality and its applications,Invent. Math.214(2018), no. 3, 1169–1204

    2018

  32. [40]

    C. Gui, F. Hang and A. Moradifam,The sphere covering inequality and its dual, Comm. Pure Appl. Math.,73(2020), no. 12, 2685-2707

    2020

  33. [41]

    Z.-C. Han, Y. Y. Li and E. V. Teixeira, Asymptotic behavior of solutions to theσ k-Yamabe equation near isolated singularities,Invent. Math.182(2010), no. 3, 635–684

    2010

  34. [42]

    N. M. Ivochkina, N. S. Trudinger and X.-J. Wang, The Dirichlet problem for degenerate Hessian equations, Comm. Partial Differential Equations29(2004), nos. 1–2, 219–235

    2004

  35. [43]

    Kilpel¨ ainen and J

    T. Kilpel¨ ainen and J. Mal´ y, The Wiener test and potential estimates for quasilinear elliptic equations, Acta Math.172(1994), no. 1, 137–161

    1994

  36. [44]

    D. A. Labutin, Potential estimates for a class of fully nonlinear elliptic equations,Duke Math. J.111 (2002), no. 1, 1–49. OPTIMAL LIOUVILLE THEOREMS AND CLASSIFICATION RESULTS 59

    2002

  37. [45]

    Lin, A classification of solutions of a conformally invariant fourth order equation inR n,Comment

    C.-S. Lin, A classification of solutions of a conformally invariant fourth order equation inR n,Comment. Math. Helv.73(1998), no. 2, 206–231

    1998

  38. [46]

    Li and Y

    A. Li and Y. Y. Li, On some conformally invariant fully nonlinear equations,Comm. Pure Appl. Math. 56(2003), no. 10, 1416–1464

    2003

  39. [47]

    Li and Y

    A. Li and Y. Y. Li, On some conformally invariant fully nonlinear equations. II. Liouville, Harnack and Yamabe,Acta Math.195(2005), no. 1, 117–154

    2005

  40. [48]

    Y. Y. Li, Conformally invariant fully nonlinear elliptic equations and isolated singularities,J. Funct. Anal.233(2006), no. 2, 380–425

    2006

  41. [49]

    Ma, and Q.-Z Ou, A Liouville theorem for a class semilinear elliptic equations on the Heisenberg group,Adv

    X.-N. Ma, and Q.-Z Ou, A Liouville theorem for a class semilinear elliptic equations on the Heisenberg group,Adv. Math.,413(2023), Paper No. 108851, 20 pp

    2023

  42. [50]

    Ma, Q.-Z

    X.-N. Ma, Q.-Z. Ou and T. Wu, Jerison-Lee identities and Semi-linear subelliptic equations on CR manifolds, preprint, arXiv:2311.16428, 38 pp

    arXiv

  43. [51]

    Ma and G

    X.-N. Ma and G. Qiu, The Neumann problem for Hessian equations,Comm. Math. Phys.366(2019), no. 1, 1–28

    2019

  44. [52]

    Ma and D

    X.-N. Ma and D. Zhang, The exterior Dirichlet problem for the homogeneousk-Hessian equation, arXiv:2207.13504, 2022

    2022 arXiv

  45. [53]

    Martinazzi, Classification of solutions to the higher order Liouville’s equation onR 2m,Math

    L. Martinazzi, Classification of solutions to the higher order Liouville’s equation onR 2m,Math. Z.263 (2009), no. 2, 307–329

    2009

  46. [54]

    M. A. Navarro and J. S´ anchez, A characterization of semistable radial solutions ofk-Hessian equations, J. Math. Anal. Appl.497(2021), no. 2, Paper No. 124902, 14 pp

    2021

  47. [55]

    M. A. Navarro and J. S´ anchez, Some results for semi-stable radial solutions ofk-Hessian equations with weight onR n,Proc. Roy. Soc. Edinburgh Sect. A153(2023), no. 5, 1751–1776

    2023

  48. [56]

    Ou, Nonexistence results for Hessian inequality,Methods Appl

    Q. Ou, Nonexistence results for Hessian inequality,Methods Appl. Anal.17(2010), no. 2, 213–224

    2010

  49. [57]

    Ou, On the classification of entire solutions to the criticalp-Laplace equation,Math

    Q. Ou, On the classification of entire solutions to the criticalp-Laplace equation,Math. Ann.392(2025), no. 2, 1711–1729

    2025

  50. [58]

    Pol´ aˇ cik, P

    P. Pol´ aˇ cik, P. Quittner and P. Souplet, Singularity and decay estimates in superlinear problems via Liouville-type theorems. I. Elliptic equations and systems,Duke Math. J.139(2007), no. 3, 555–579

    2007

  51. [59]

    N. C. Phuc and I. E. Verbitsky, Local integral estimates and removable singularities for quasilinear and Hessian equations with nonlinear source terms,Comm. Partial Differential Equations31(2006), 1779–1791

    2006

  52. [60]

    N. C. Phuc and I. E. Verbitsky, Quasilinear and Hessian equations of Lane–Emden type,Ann. of Math. (2)168(2008), no. 3, 859–914

    2008

  53. [61]

    N. C. Phuc and I. E. Verbitsky, Singular quasilinear and Hessian equations and inequalities,J. Funct. Anal.256(2009), no. 6, 1875–1906

    2009

  54. [62]

    R. C. Reilly, On the Hessian of a function and the curvatures of its graph,Michigan Math. J.20(1973), 373–383

    1973

  55. [63]

    Sciunzi, Classification of positiveD 1,p(RN )-solutions to the criticalp-Laplace equation inR N ,Adv

    B. Sciunzi, Classification of positiveD 1,p(RN )-solutions to the criticalp-Laplace equation inR N ,Adv. Math.291(2016), 12–23

    2016

  56. [64]

    Serrin and H

    J. Serrin and H. Zou, Cauchy–Liouville and universal boundedness theorems for quasilinear elliptic equa- tions and inequalities,Acta Math.189(2002), 79–142

    2002

  57. [65]

    Sheng, N

    W.-M. Sheng, N. S. Trudinger and X.-J. Wang, The Yamabe problem for higher order curvatures,J. Differential Geom.77(2007), no. 3, 515–553

    2007

  58. [66]

    Sun and Y

    L. Sun and Y. Wang, Critical quasilinear equations on Riemannian manifolds, arXiv:2502.08495v2, 2025

    2025 arXiv

  59. [67]

    Talenti, Best constant in Sobolev inequality,Ann

    G. Talenti, Best constant in Sobolev inequality,Ann. Mat. Pura Appl. (4)110(1976), 353–372

    1976

  60. [68]

    Tian and X.-J

    G.-J. Tian and X.-J. Wang, Moser–Trudinger type inequalities for the Hessian equation,J. Funct. Anal. 259(2010), no. 8, 1974–2002

    2010

  61. [69]

    N. S. Trudinger, On the Dirichlet problem for Hessian equations,Acta Math.175(1995), no. 2, 151–164

    1995

  62. [70]

    N. S. Trudinger, On new isoperimetric inequalities and symmetrization,J. Reine Angew. Math.488 (1997), 203–220. 60 WEI DAI, JINGZE FU, CHANGFENG GUI, GUOLIN QIN

    1997

  63. [71]

    N. S. Trudinger, Weak solutions of Hessian equations,Comm. Partial Differential Equations22(1997), nos. 7–8, 1251–1261

    1997

  64. [72]

    N. S. Trudinger and X.-J. Wang, Hessian measures. I,Topol. Methods Nonlinear Anal.10(1997), no. 2, 225–239

    1997

  65. [73]

    N. S. Trudinger and X.-J. Wang, Hessian measures. II,Ann. of Math. (2)150(1999), no. 2, 579–604

    1999

  66. [74]

    N. S. Trudinger and X.-J. Wang, Hessian measures. III,J. Funct. Anal.193(2002), no. 1, 1–23

    2002

  67. [75]

    N. S. Trudinger and X.-J. Wang, On the weak continuity of elliptic operators and applications to potential theory,Amer. J. Math.124(2002), no. 2, 369–410

    2002

  68. [76]

    N. S. Trudinger and X.-J. Wang, A Poincar´ e type inequality for Hessian integrals,Calc. Var. Partial Differential Equations6(1998), no. 4, 315–328

    1998

  69. [77]

    Tso, On symmetrization and Hessian equations,J

    K. Tso, On symmetrization and Hessian equations,J. Analyse Math.52(1989), 94–106

    1989

  70. [78]

    Tso, Remarks on critical exponents for Hessian operators,Ann

    K. Tso, Remarks on critical exponents for Hessian operators,Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire 7(1990), no. 2, 113–122

    1990

  71. [79]

    I. E. Verbitsky, The Hessian Sobolev inequality and its extensions,Discrete Contin. Dyn. Syst.35(2015), 6165–6179

    2015

  72. [80]

    V´ etois, A priori estimates and application to the symmetry of solutions for criticalp-Laplace equations, J

    J. V´ etois, A priori estimates and application to the symmetry of solutions for criticalp-Laplace equations, J. Differential Equations260(2016), no. 1, 149–161

    2016

  73. [81]

    J. A. Viaclovsky, Conformal geometry, contact geometry, and the calculus of variations,Duke Math. J. 101(2000), no. 2, 283–316

    2000

  74. [82]

    Wang, A class of fully nonlinear elliptic equations and related functionals,Indiana Univ

    X.-J. Wang, A class of fully nonlinear elliptic equations and related functionals,Indiana Univ. Math. J. 43(1994), no. 1, 25–54

    1994

  75. [83]

    Wang, Thek-Hessian equation, inGeometric Analysis and PDEs, Lecture Notes in Math.1977, Springer, Dordrecht, 2009, 177–252

    X.-J. Wang, Thek-Hessian equation, inGeometric Analysis and PDEs, Lecture Notes in Math.1977, Springer, Dordrecht, 2009, 177–252

    1977

  76. [84]

    Wang and Y

    Y. Wang and Y. Lei, On critical exponents of ak-Hessian equation in the whole space,Proc. Roy. Soc. Edinburgh Sect. A149(2019), no. 6, 1555–1575

    2019

  77. [85]

    Wang and L

    Y. Wang and L. Tian, Remarks on fully nonlinear equations associated with the doubling lemma,Appli- cable Anal.99(2020), no. 14, 2457–2464

    2020

  78. [86]

    Wei and X

    J. Wei and X. Xu, Classification theorems for solutions of higher order conformally invariant equations, Math. Ann.313(1999), no. 2, 207–228

    1999

  79. [87]

    J. N. Whiteley, On Newton’s inequality for real polynomials,Amer. Math. Monthly76(1969), no. 8, 905–909. School of Mathematical Sciences, Beihang University (BUAA), Beijing 100191, P. R. China, and Key Laboratory of Mathematics, Informatics and Behavioral Semantics, Ministry o...

    1969

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.