Pith. sign in

REVIEW 1 major objections 5 minor 42 references

Critical $p$-Laplace equations with monotone coefficients: Liouville classification and a Schoen-type Harnack inequality

T0 review · 1 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash

Pith's one-line read This paper proves that every positive entire solution of the critical p-Laplace equation with a bounded, nonincreasing coefficient is an explicit Aubin-Talenti profile, and derives a scale-invariant Harnack inequality from that…

desk verdict A promising new mechanism for the critical p-Laplace classification, but the central drift computation in Proposition 3.13 does not close as printed and needs a correction before the main theorems can stand. read the letter →

arxiv 2608.09113 v1 pith:6HTMCJXZ submitted 2026-08-10 math.AP math.DG

classification math.APmath.DG MSC 35J9235B0835B33
keywords Criticalp-LaplacianLiouvilletheoremHarnackinequalityAubin-TalentiprofilemonotonecoefficientPohozaevidentityinvarianttensorfirst-contactargument
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 positive weak solutions of $-\Delta_p u = u^{p^*-1} h(u)$ in $\mathbb{R}^n$ for $1

What carries the argument

The proof transforms the unknown by $w=V^{-1/a}$ and works with the nonlinear stress $X_w=|\nabla w|^{p-2}\nabla w$; the transformed equation becomes $w\,\mathrm{div}\,X_w=b_p|\nabla w|^p+c_\tau(w)$. Monotonicity of $h$ enters through two nonnegative quantities: the Pohozaev defect $nG(s)-asg(s)\geq 0$ and the Stieltjes measure $X_w\cdot D(e_\tau(w))\geq 0$, where $e_\tau$ is the singular part of the transformed coefficient. The heart of the classification is a weak Bochner identity for the modified $P$-function $Q_w=\mathrm{div}\,X_w-e_\tau(w)$: $L_w Q_w$ equals a nonnegative trace-free tensor term plus the favorable Stieltjes defect. A multiplier $\phi_{\ell,m}$ constructed from a backwards ODE converts this identity into a pointwise coercive inequality on superlevel sets, yielding the global bound $Q_w\leq c_{\tau,0}$; a tangent analysis at minima and a punctured-ball barrier then upgrade this to equality, forcing the tensor defect to vanish and producing the explicit profile. The Harnack half uses a first-contact blow-down, identifies the blow-down limit as an exact $p$-harmonic pole through the Pohozaev sign and comparison arguments, and obtains the necessary de-concentration via nonlinear potential estimates.

What would settle it

The theorem predicts that a positive entire solution exists only if $h$ is constant on $(0,M]$, where $M$ is the solution's maximum. A concrete check would be to solve the radial ODE for $-\Delta_p u=u^{p^*-1}h(u)$ with $h(s)=e^{-s}$, which is positive, bounded, and nonincreasing on $(0,\infty)$: existence of any global positive solution with finite maximum would contradict Corollary 1.4, as would a numerical radial solution that does not match the explicit Aubin-Talenti formula.

Watch

Extended reading notes

Core claim

The central claim is that monotonicity of the coefficient $h$ restores complete rigidity for the critical $p$-Laplace equation. For every $\tau\in[0,\infty]$ and every normalized solution $V$ of $-\Delta_p V=g_\tau(V)$ with $0<V\leq 1$ and $V(0)=1$, where $g_\tau(s)=s^{p^*-1}h(\tau s)$, the solution must be $V(x)=(1+\gamma_\tau|x|^{p'})^{-a}$ with the explicit constant $\gamma_\tau$ given in the paper. For finite $\tau$, the existence of such a profile also forces $h$ to be constant on the whole interval $(0,\tau]$, so the equation becomes a pure power on the amplitude range the solution actually attains. This classification is then applied to prove the scale-invariant Harnack estimate of Theorem 1.2, and Corollary 1.4 removes all auxiliary hypotheses: every positive entire solution is an Aubin-Talenti profile. For the purely critical equation with $h\equiv\lambda$, the paper shows that the Liouville classification and the Schoen-type Harnack inequality are equivalent.

Load-bearing premise

The proof relies on $h$ being nonincreasing: that monotonicity makes the Pohozaev defect $nG(s)-asg(s)$ and the Stieltjes measure $X_w\cdot D(e_\tau(w))$ nonnegative, and without those signs the classification and the Harnack proof do not go through.

Editorial extensions

If this is right

  • Every bounded normalized blow-up profile in the compact family $g_\tau$ is explicit, so blow-up analysis for monotone coefficients can proceed without assuming the limiting equation is a pure power.
  • The scale-invariant estimate $(\sup_{B_R}u)(\inf_{B_{2R}}u)^{p-1}\leq C R^{p-n}$ holds for all nonnegative solutions in $B_{3R}$, with $C$ depending only on $n$, $p$, and the equation.
  • Any positive entire solution is an explicit Aubin-Talenti profile, so no other shapes occur even with no decay, growth, or energy assumptions.
  • An entire solution can exist only if $h$ is constant on $(0,M]$, where $M$ is the solution's maximum; in particular, strictly decreasing nonincreasing coefficients admit no positive entire solution.
  • For $h\equiv\lambda$, the Liouville classification and the Schoen-type Harnack inequality are equivalent within the framework developed in the paper.

Reading between the lines

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

  • If the same first-contact scheme works for coefficients with a one-sided defect of controlled sign, the Harnack estimate may extend beyond monotone $h$ to a larger class of nonlinearities.
  • Because the proof replaces moving spheres with potential-theoretic de-concentration, the mechanism may be adaptable to variable-exponent or anisotropic $p$-Laplace operators, where no Kelvin transform exists.
  • The flatness conclusion suggests a testable dichotomy: for any $h$ that is strictly decreasing on $(0,M)$, numerical shooting for the radial equation should find no bounded entire solution, which would corroborate the sharpness of Corollary 1.4.
  • Theorem 1.2 is stated with $C=C(n,p,g)$ and does not claim uniformity over all nonincreasing $h$ with the same bounds $L$ and $\Lambda$; upgrading to such uniformity would require tracking constants through the compactness and de-concentration steps.
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

1 major / 5 minor

Summary. The paper studies positive weak solutions of the critical p-Laplace equation -Δ_p u = u^{p^*-1} h(u), where h is positive, bounded, continuous, and nonincreasing. Theorem 1.1 classifies all normalized, bounded, positive entire solutions in the compact family determined by h as Aubin–Talenti profiles and shows that, for finite amplitude, h is necessarily flat on the range of the profile. The proof introduces a transformed variable w = u^{-1/a}, a modified P-function Q_w, a weak Bochner-type identity with a nonnegative Stieltjes defect, a specially constructed multiplier solving a one-dimensional ODE, and a final tangent/barrier argument that upgrades the scalar bound Q_w ≤ c_{τ,0} to tensor rigidity. Theorem 1.2 establishes a scale-invariant sup-inf Harnack estimate, and Corollary 1.4 derives a fully unrestricted Liouville theorem.

Significance. If the proof is repaired, this is a substantial contribution: it extends the classification-to-Harnack correspondence to the full range 1 < p < n for a natural class of monotone critical nonlinearities, without finite-energy, growth, or prescribed-decay assumptions. The weak Bochner identity with a singular monotone defect, the target-dependent multiplier, and the first-contact de-concentration mechanism based on the Kilpeläinen–Malý potential estimates are original and structurally important. The paper is also careful about regularity, the BV/Stieltjes decomposition, and the use of the corrected strict-comparison statement. These strengths justify serious consideration once the algebra issue below is resolved.

major comments (1)
  1. [Section 3.3, Eq. (3.52)] Equation (3.52) does not follow from the printed definition of b in (3.41). From (3.44) and the definition of ζ in (3.41), one has X_w·∇M = φ|∇w|^p w^{-1} ζ and X_w·∇Q = |∇w|^p w^{-1}(ζ + θ Q). Substituting the vector field b from (3.41) into b·∇M therefore gives b·∇M = 2(p-1)θ φ w^{1-n} |∇w| Q/(n-1) ζ, which contains a residual factor |∇w| and has no term -(Q-k_τ)/b_p. The printed (3.52), by contrast, has no |∇w| and includes -(Q-k_τ)/b_p. Consequently, the exact cancellation of the linear-in-ζ terms between (3.51) and (3.52) is not justified, and the key differential inequality (3.42) of Proposition 3.13 is unproven as written. Since Proposition 3.17 relies on (3.42) to obtain the global bound Q_w ≤ c_{τ,0}, and that bound is the foundation of Theorem 1.1, the central classification is not established by the printed argument. The defect appears local and repairable: for example, replacing the drift in (3.41) by b = 2(p-1)θ w^{2-n}|∇w|^{-p}[Q/(n-1) - (Q-k_τ)/b_p] X_w makes the cancellation in (3.52) true. The authors should correct the definition of b, the displayed computation of b·∇M, and re-verify the subsequent estimates that use the drift.
minor comments (5)
  1. [Equation (4.35)] The string 'Lsq≤g_j(s)≤Λs^q' should read 'L s^q ≤ g_j(s) ≤ Λ s^q'; as printed, 'Lsq' is ambiguous.
  2. [Section 4.5, Step 1] After (4.40), the identity ϵ_j^a W_j = ρ_j^{-ap'} ρ_j^α v_j(ρ_j x) is correct because ap' = α, but the chain is easy to misread; writing ρ_j^{-α}ρ_j^α v_j(ρ_j x) = v_j(ρ_j x) explicitly would improve clarity.
  3. [Proof of Theorem 1.2] The passage 'Multiplying by A_jσ_j^{n-p} and using (4.66) yields ...' is printed twice in succession; one of the two identical computations should be deleted.
  4. [Proposition 4.5, Step 5] The symbol 'C K M' in (4.54) and 'CKM' in the surrounding text should be typeset consistently as C_{KM} or C_KM.
  5. [Section 4.2, opening] The sentence beginning 'Theproofisinspiredbythefirst-crossingconstruction...' has missing spaces; this should be corrected in the final version.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the classification and Harnack proofs are self-contained, with the only self-citation to [35] acknowledged and non-load-bearing.

full rationale

The derivation chain is acyclic. Theorem 1.1 is proved without assuming the Aubin–Talenti conclusion: the transform w=V^{-1/a} and the stress X_w=|\nabla w|^{p-2}\nabla w lead to the transformed equation (3.4), the weak Bochner identity (3.21) (with the nonnegative singular defect coming from monotonicity of h), and a multiplier \phi_{\ell,m} defined by the linear ODE (3.31) whose coefficients are c_\tau, k_\tau, e_\tau — all determined by the given h, not by the target profile. The flatness conclusion h(s)=h(\tau) for s\le\tau is derived from e_\tau\equiv 0 after rigidity, so it is a consequence rather than an input. Theorem 1.2 uses Theorem 1.1 to identify the blow-up limit and then proves the first-contact Proposition 4.5 self-containedly via the Pohozaev sign, comparison principles, and the Kilpeläinen–Malý Wolff-potential bound; it does not cite [35] for any of these steps. Corollary 1.4 combines Theorem 1.2 with the finite-amplitude flatness and the external classification [12]; the dependency graph never loops back to the claim being proved. The only self-citation, [35], is explicitly described as conditional and is strengthened or removed rather than used as a black box; hence it is not load-bearing. The manuscript even flags its own limitations (Remark 1.3: no uniformity in g; Appendix B: no simpler p=2 argument), which further indicates the claims are not being forced by definition or by self-citation. The score of 2 reflects the acknowledged minor self-citation, not an actual circular step.

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

The paper introduces the transformed function w=V^{-1/a}, the modified P-function Q_w, and the ODE-designed multiplier φ_{ℓ,m}, but these are mathematical objects constructed from the solution, not new postulated entities. The coefficient h is an input, not a fitted parameter; the constants in the results depend on n,p,g but are not tuned to data.

assumptions (5)
  • domain assumption h ∈ C((0,∞)) is positive, bounded and nonincreasing, with limits h_0 and h_∞ (1.4).
    Stated as the main hypothesis; used in Lemma 2.1 and throughout to control signs of Pohozaev defects and compactness of the family g_τ.
  • standard math Kilpeläinen-Malý potential estimates (truncated Wolff potentials) for p-superharmonic functions (Theorem 1.6 in [26]).
    Used in Proposition 2.4 to prove local boundedness and in Proposition 4.5 Step 5 to obtain the Morrey bound (4.54).
  • standard math Kichenassamy-Véron isolated singularity expansion for p-harmonic functions, with the erratum [25].
    Used in Proposition 4.3 to expand blow-down limits near isolated poles and compute Pohozaev flux.
  • standard math Ciraolo-Gatti classification [12, Theorem 1.2] of bounded positive solutions to the pure critical p-Laplace equation with sharp infimum decay.
    Used at the end of Corollary 1.4 to identify the pure-power solution after h is shown flat.
  • standard math Standard p-Laplace regularity: Tolksdorf C^{1,γ} estimates, Vázquez strong minimum principle, Harnack inequality for equations with bounded coefficients.
    Used in Section 2 to bootstrap regularity and in Lemmas 2.6-2.7 and Proposition 4.5.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Critical $p$-Laplace equations with monotone coefficients: Liouville classification and a Schoen-type Harnack inequality." pith.science (2026). https://pith.science/paper/6HTMCJXZ

@misc{pith2026260809113,
  author       = {Pith},
  title        = {Pith review of: Critical $p$-Laplace equations with monotone coefficients: Liouville classification and a Schoen-type Harnack inequality},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6HTMCJXZ}},
  note         = {Machine review of arXiv:2608.09113}
}
abstract

We investigate positive weak solutions of the critical $p$-Laplace equation $$ -\Delta_p u = u^{p^*-1} h(u), \qquad 1 < p < n, $$ where $h$ is a positive, bounded, continuous, and nonincreasing function. Our first main result is a complete classification of normalized, bounded, positive entire solutions for every equation in a compact family determined by $h$: Any such solution must coincide with an Aubin--Talenti profile. Moreover, the existence of an Aubin--Talenti profile as a solution implies that $h$ is constant on the entire interval of values attained by that profile. Subsequently, applying this classification result, we establish the following scale-invariant Schoen-type estimate $$ \left(\sup_{B_R} u\right)\left(\inf_{B_{2R}} u\right)^{p-1} \le C R^{p-n} $$ for nonnegative weak solutions defined in $B_{3R}$. As a direct corollary, we obtain a fully unrestricted Liouville theorem: Every positive entire solution must coincide with an Aubin--Talenti profile. For the purely critical equation, we also show that the corresponding Liouville classification is equivalent to a Schoen-type Harnack inequality. The arguments developed in this work constitute quasilinear counterparts of the Kelvin transform and the method of moving spheres, which are classically available only in the semilinear framework, and furthermore provide alternative proofs of the corresponding classical significant results.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

42 extracted references · 38 canonical work pages

  1. [1]

    Ambrosio and G

    L. Ambrosio and G. Dal Maso,A general chain rule for distributional derivatives, Proc. Amer. Math. Soc.108(1990), 691–702

  2. [2]

    C. A. Antonini, G. Ciraolo, and A. Farina,Interior regularity results for inhomogeneous anisotropic quasilinear equations, Math. Ann.387(2023), 1745–1776

  3. [3]

    Bianchi, H

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

  4. [4]

    L. A. Caffarelli, B. Gidas, 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

  5. [5]

    Catino, D

    G. Catino, D. D. Monticelli, and A. Roncoroni,On the criticalp-Laplace equation, Adv. Math. 433(2023), Paper No. 109331, 38 pp

  6. [6]

    L. Chen, W. Dai, C. Gui, and Y. Luo,Liouville theorems forp-Laplacian equations in convex cones without finite-energy condition, arXiv:2605.29281 (2026)

  7. [7]

    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

  8. [8]

    Cianchi, N

    A. Cianchi, N. Fusco, F. Maggi, A. Pratelli,The sharp Sobolev inequality in quantitative form. Journal of the European Mathematical Society11(2009), 1105–1139

Show all 42 references
  1. [9]

    Ciraolo, A

    G. Ciraolo, A. Farina, and C. C. Polvara,Classification results, rigidity theorems and semilinear PDEs on Riemannian manifolds: aP-function approach, J. Eur. Math. Soc. (2025), published online first

  2. [10]

    Ciraolo, A

    G. Ciraolo, A. Figalli, F. Maggi,A quantitative analysis of metrics onRn with almost constant positive scalar curvature, with applications to fast diffusion flows. Int. Math. Res. Not. IMRN 2018, no.21, 6780–6797

  3. [11]

    Ciraolo, A

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

  4. [12]

    Ciraolo and M

    G. Ciraolo and M. Gatti,Classification results for bounded positive solutions to the criticalp- Laplace equation, Nonlinear Anal.272(2026), Article 114190

  5. [13]

    Ciraolo and M

    G. Ciraolo and M. Gatti,On the stability of the critical p-Laplace equation, J. Funct. Anal. 291 (2026), no. 7, Paper No. 111575

  6. [14]

    Damascelli, S

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

  7. [15]

    Degiovanni, A

    M. Degiovanni, A. Musesti, and M. Squassina,On the regularity of solutions in the Pucci–Serrin identity, Calc. Var. Partial Differential Equations18(2003), 317–334

  8. [16]

    B. Deng, L. Sun, J. Wei,Sharp quantitative estimates of Struwe’s decomposition. Duke Math. J. 174(2025), 159–228

  9. [17]

    DiBenedetto,C 1+α local regularity of weak solutions of degenerate elliptic equations, Nonlinear Anal.7(1983), no

    E. DiBenedetto,C 1+α local regularity of weak solutions of degenerate elliptic equations, Nonlinear Anal.7(1983), no. 8, 827–850

  10. [18]

    L. C. Evans and R. F. Gariepy,Measure Theory and Fine Properties of Functions, revised edition, CRC Press, Boca Raton, 2015

  11. [19]

    Figalli, F

    A. Figalli, F. Glaudo,On the sharp stability of critical points of the Sobolev inequality. Arch. Ration. Mech. Anal.237(2020), 201–258

  12. [20]

    Figalli, R

    A. Figalli, R. Neumayer,Gradient stability for the Sobolev inequality: the casep≥2. J. Eur. Math. Soc. (JEMS)21(2019), no. 2, 319–354

  13. [21]

    Figalli, Y

    A. Figalli, Y. Zhang,Sharp gradient stability for the Sobolev inequality. Duke Math. J.171(2022), 2407–2459. LIOUVILLE CLASSIFICATION AND HARNACK INEQUALITIES 65

  14. [22]

    Gilbarg and N

    D. Gilbarg and N. S. Trudinger,Elliptic Partial Differential Equations of Second Order, Classics in Mathematics, Springer, Berlin, 2001

  15. [23]

    Heinonen, T

    J. Heinonen, T. Kilpeläinen, and O. Martio,Nonlinear potential theory of degenerate elliptic equations, Dover Publications, Mineola, NY, 2006

  16. [24]

    Kichenassamy and L

    S. Kichenassamy and L. Véron,Singular solutions of thep-Laplace equation, Math. Ann.275 (1986), 599–615

  17. [25]

    Kichenassamy and L

    S. Kichenassamy and L. Véron,Erratum: Singular solutions of thep-Laplace equation, Math. Ann.277(1987), 352

  18. [26]

    Kilpeläinen and J

    T. Kilpeläinen and J. Malý,The Wiener test and potential estimates for quasilinear elliptic equations, Acta Math.172(1994), 137–161

  19. [27]

    Kuusi, G

    T. Kuusi, G. Mingione,Universal potential estimates. J. Funct. Anal. 262 (2012), no. 10, 4205– 4269

  20. [28]

    Y. Y. Li,A Harnack type inequality: the method of moving planes, Comm. Math. Phys.200 (1999), no. 2, 421–444

  21. [29]

    Y. Y. Li and L. Zhang,Liouville-type theorems and Harnack-type inequalities for semilinear elliptic equations, J. Anal. Math.90(2003), 27–87

  22. [30]

    Lindqvist,A Remark on the Kelvin Transform for a Quasilinear Equation, arXiv:1606.02563 (2016)

    P. Lindqvist,A Remark on the Kelvin Transform for a Quasilinear Equation, arXiv:1606.02563 (2016)

  23. [31]

    G. Liu, Y. R.-Y. Zhang,Sharp stability for critical points of the Sobolev inequality in the absence of bubbling, arXiv:2503.02340 (2025)

  24. [32]

    Ma and T

    X.-N. Ma and T. Wu,The application of the invariant tensor technique in the classification of solutions to semilinear elliptic and sub-elliptic partial differential equations(in Chinese), Sci. Sin. Math.54(2024), no. 10, 1627–1648

  25. [33]

    Obata,The conjectures on conformal transformations of Riemannian manifolds, J

    M. Obata,The conjectures on conformal transformations of Riemannian manifolds, J. Differential Geometry6(1971/72), 247–258

  26. [34]

    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

  27. [35]

    Qin and Y

    G. Qin and Y. R.-Y. Zhang,A Pohozaev-type neck proof of a conditional Harnack inequality in the criticalp-Laplacian setting, arXiv:2606.05990 (2026)

  28. [36]

    Schoen and D

    R. Schoen and D. Zhang,Prescribed scalar curvature on then-sphere, Calc. Var. Partial Differ- ential Equations4(1996), no. 1, 1–25

  29. [37]

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

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

  30. [38]

    Tolksdorf,Regularity for a more general class of quasilinear elliptic equations, J

    P. Tolksdorf,Regularity for a more general class of quasilinear elliptic equations, J. Differential Equations51(1984), 126–150

  31. [39]

    J. L. Vázquez,A strong maximum principle for some quasilinear elliptic equations, Appl. Math. Optim.12(1984), 191–202

  32. [40]

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

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

  33. [41]

    Vétois,A note on the classification of positive solutions to the criticalp-Laplace equation in Rn, Adv

    J. Vétois,A note on the classification of positive solutions to the criticalp-Laplace equation in Rn, Adv. Nonlinear Stud.24(2024), no. 3, 543–552

  34. [42]

    Yan and H

    S. Yan and H. Zhou,Domain variations and Pohozaev identities for weak solutions ofp-Laplacian equation, Acta Math. Sci. Ser. B (Engl. Ed.)46(2026), no. 2, 519–528. State Key Laboratory of Mathematical Sciences, Academy of Mathematics and Systems Science, Chinese Academy of Sci...

Pith tools

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