Logarithmic gradient estimate and Universal bounds for semilinear elliptic equations revisited

Zhihao Lu

arxiv: 2308.14026 · v2 · submitted 2023-08-27 · 🧮 math.AP

Logarithmic gradient estimate and Universal bounds for semilinear elliptic equations revisited

Zhihao Lu This is my paper

Pith reviewed 2026-05-24 07:47 UTC · model grok-4.3

classification 🧮 math.AP

keywords Cheng-Yau gradient estimatesemilinear elliptic equationsBakry-Émery Ricci curvatureuniversal boundsLiouville theoremHarnack inequalityRiemannian manifolds

0 comments

The pith

Complete and optimal Cheng-Yau gradient estimates hold for subcritical semilinear elliptic equations on manifolds with Bakry-Émery Ricci curvature bounded below.

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

The paper derives complete and optimal Cheng-Yau gradient estimates together with universal bounds for solutions of subcritical semilinear elliptic equations. These results apply on Riemannian manifolds whose Bakry-Émery Ricci curvature admits a lower bound. A reader would care because the estimates settle a long-standing question and immediately yield both a new proof of the Gidas-Spruck Liouville theorem and a Harnack inequality.

Core claim

We derive the complete and optimal Cheng--Yau gradient estimates and universal bounds for subcritical semilinear elliptic equations on Riemannian manifolds with (Bakry-Émery) Ricci curvature bounded below. This answers a fundamental question that has existed for a long time. As a corollary, this provides a new proof of the Gidas-Spruck classical Liouville theorem. The Harnack inequality is also obtained.

What carries the argument

Logarithmic gradient estimate that supplies pointwise control on the gradient of the solution under the given curvature and growth hypotheses.

Load-bearing premise

The Bakry-Émery Ricci curvature is bounded from below and the nonlinearity satisfies a subcritical growth condition.

What would settle it

A concrete counterexample on a manifold with Bakry-Émery Ricci curvature bounded below, consisting of a subcritical semilinear equation whose positive solution violates the claimed gradient bound, would falsify the result.

read the original abstract

We derive the complete and optimal Cheng--Yau gradient estimates and universal bounds for subcritical semilinear elliptic equations on Riemannian manifolds with (Bakry-\'{E}mery) Ricci curvature bounded below. This answers a fundamental question that has existed for a long time. As a corollary, this provides a new proof of the Gidas-Spruck classical Liouville theorem. The Harnack inequality is also obtained.

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 claims to have settled the optimal Cheng-Yau gradient estimates and universal bounds for subcritical semilinear equations under Bakry-Émery Ricci lower bounds.

read the letter

The punchline is that this paper says it has worked out the complete and optimal Cheng-Yau gradient estimates and universal bounds for subcritical semilinear elliptic equations on Riemannian manifolds where the Bakry-Émery Ricci curvature is bounded from below. It also gives a new proof of the Gidas-Spruck Liouville theorem as a corollary and derives the Harnack inequality. What is new here is the claim that these estimates are now fully settled in this setting, answering a question that has been open for some time. The paper sticks to the standard hypotheses of a curvature lower bound and subcritical growth on the nonlinearity, which are the minimal conditions one would expect for such results. The paper does a reasonable job of framing the result as filling that gap and extracting the Liouville theorem from it. The approach seems direct from the description. The soft spots are mainly that the abstract provides no outline of the proof, so we cannot assess whether the maximum principle is applied correctly or if the estimates are truly optimal without additional assumptions creeping in. The stress-test note found no internal inconsistency from the given description, but that leaves the actual mathematics unexamined. This kind of work is for researchers in geometric analysis who deal with elliptic equations on manifolds and related inequalities like Harnack and Liouville theorems. A reader who has followed the literature on Cheng-Yau estimates would be the one to get value from checking the details. Overall, if the full paper contains a rigorous derivation without hidden gaps, it is worth sending out for peer review so that experts can verify the calculations and the optimality claim.

Referee Report

0 major / 4 minor

Summary. The manuscript derives the complete and optimal Cheng-Yau logarithmic gradient estimates together with universal bounds for solutions of subcritical semilinear elliptic equations on Riemannian manifolds whose Bakry-Émery Ricci curvature is bounded from below. It also supplies a new proof of the Gidas-Spruck Liouville theorem and obtains the associated Harnack inequality.

Significance. If the derivations hold, the work resolves a long-standing question by furnishing optimal gradient estimates under the standard minimal hypotheses (lower Bakry-Émery Ricci bound plus subcritical growth). The direct derivation without auxiliary fitting parameters and the new proof of the classical Liouville theorem constitute clear strengths.

minor comments (4)

[§1] The introduction should more explicitly contrast the new logarithmic estimate with the earlier non-optimal bounds cited in the literature (e.g., the constants appearing in references [3] and [7]).
[Theorem 1.1] In the statement of the main gradient estimate (Theorem 1.1), the dependence on the lower bound of the Bakry-Émery Ricci curvature should be written out explicitly rather than left implicit in the constant C.
[§2] A short remark clarifying why the subcritical growth condition is sharp (i.e., what fails at the critical exponent) would improve readability.
[Corollary 1.3] The Harnack inequality corollary is stated without an explicit constant; adding the dependence on the curvature bound and the nonlinearity would make the result more usable.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, recognition of significance, and recommendation of minor revision. No major comments appear in the report, so we have no specific points requiring response or revision.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper claims a direct derivation of Cheng-Yau gradient estimates and universal bounds from the stated assumptions (Bakry-Émery Ricci lower bound plus subcritical growth). No load-bearing step reduces by construction to a fitted input, self-definition, or self-citation chain; the Gidas-Spruck corollary follows routinely once the gradient bound is obtained. The derivation chain is independent of the target result and relies on standard maximum-principle techniques under the given hypotheses.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract supplies no explicit free parameters, invented entities, or non-standard axioms; the work rests on background results from Riemannian geometry and elliptic PDE theory.

axioms (1)

standard math Standard results from Riemannian geometry and the theory of elliptic partial differential equations
The derivation presupposes established facts about manifolds, curvature, and semilinear equations.

pith-pipeline@v0.9.0 · 5579 in / 1158 out tokens · 53950 ms · 2026-05-24T07:47:47.235083+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel (J-cost uniqueness) unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We use the Bernstein method to provide logarithmic gradient estimates... auxiliary function F = (u + ε)^{-βγ}(|∇w|²/w² + d f(x,u)/u)
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Ric ≥ −Kg ... Bakry-Émery Ricci curvature bounded below

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

15 extracted references · 15 canonical work pages

[1]

Current trends in potential theory, 115–122, Theta Ser

Bakry, Dominique and Qian, Zhongmin, Volume comparison theorems without Jacobi ﬁelds. Current trends in potential theory, 115–122, Theta Ser. Adv. Math., 4, Theta, Bucharest, 2005

work page 2005
[2]

(French) Math

Bernstein, Serge, Sur la g´ en´ eralisation du probl` eme de Dirichlet. (French) Math. Ann. 62 (1906), no. 2, 253–271

work page 1906
[3]

(French) Math

Bernstein, Serge, Sur la g´ en´ eralisation du probl` eme de Dirichlet. (French) Math. Ann. 69 (1910), no. 1, 82–136

work page 1910
[4]

Bidaut-V´ eron, Marie-Francoise and Pohozaev, Stanisl av, Nonexistence results and estimates for some non- linear elliptic problems. J. Anal. Math. 84 (2001), 1–49

work page 2001
[5]

Caﬀarelli, Luis A., Gidas, Basilis and Spruck, Joel, Asymptotic symmetry and local behavior of semilinear elliptic equations with critical Sobolev growth. Comm. Pure Appl. Math. 42 (1989), no. 3, 271–297. 6If α = 1 and V satisﬁes (9.9), for any σ ̸= − 2, by Theorem 9.5, there exists R0 = R0(n, α, σ, L) > 0 such that equation (9.1) does not have positive s...

work page 1989
[6]

Cheng, Shiu Yuen and Yau, Shing-Tung, Diﬀerential equations on Riemannian manifolds and their geo metric applications. Comm. Pure Appl. Math. 28 (1975), no. 3, 333–354

work page 1975
[7]

Dancer, Edward Norman, Superlinear problems on domains with holes of asymptotic sh ape and exterior problems. Math. Z. 229 (1998), no. 3, 475–491

work page 1998
[8]

Gidas, Basilis and Spruck, Joel, Global and local behavior of positive solutions of nonlinea r elliptic equations . Comm. Pure Appl. Math. 34 (1981), no. 4, 525–598

work page 1981
[9]

Li, Jiayu, Gradient estimates and Harnack inequalities for nonlinear parabolic and nonlinear elliptic equations on Riemannian manifolds . J. Funct. Anal. 100 (1991), no. 2, 233–256

work page 1991
[10]

Acta Math

Li, Peter and Yau, Shing-Tung, On the parabolic kernel of the Schr¨ odinger operator. Acta Math. 156 (1986), no. 3-4, 153–201

work page 1986
[11]

Li, YanYan and Zhang, Lei, Liouville-type theorems and Harnack-type inequalities fo r semilinear elliptic equations. J. Anal. Math. 90 (2003), 27–87

work page 2003
[12]

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

work page 2007
[13]

Discrete Contin

Souplet, Philippe, Universal estimates and Liouville theorems for superlinea r problems without scale invari- ance. Discrete Contin. Dyn. Syst. 43 (2023), no. 3-4, 1702–1734

work page 2023
[14]

Acta Math

Serrin, James and Zou, Henghui, Cauchy-Liouville and universal boundedness theorems for q uasilinear elliptic equations and inequalities. Acta Math. 189 (2002), no. 1, 79–142

work page 2002
[15]

Yau, Shing Tung, Harmonic functions on complete Riemannian manifolds. Comm. Pure Appl. Math. 28 (1975), 201–228. (Zhihao Lu) School of Mathematical Sciences, University of Science and Technology of China, Hefei 230026,P.R.China Email address : lzh139@mail.ustc.edu.cn

work page 1975

[1] [1]

Current trends in potential theory, 115–122, Theta Ser

Bakry, Dominique and Qian, Zhongmin, Volume comparison theorems without Jacobi ﬁelds. Current trends in potential theory, 115–122, Theta Ser. Adv. Math., 4, Theta, Bucharest, 2005

work page 2005

[2] [2]

(French) Math

Bernstein, Serge, Sur la g´ en´ eralisation du probl` eme de Dirichlet. (French) Math. Ann. 62 (1906), no. 2, 253–271

work page 1906

[3] [3]

(French) Math

Bernstein, Serge, Sur la g´ en´ eralisation du probl` eme de Dirichlet. (French) Math. Ann. 69 (1910), no. 1, 82–136

work page 1910

[4] [4]

Bidaut-V´ eron, Marie-Francoise and Pohozaev, Stanisl av, Nonexistence results and estimates for some non- linear elliptic problems. J. Anal. Math. 84 (2001), 1–49

work page 2001

[5] [5]

Caﬀarelli, Luis A., Gidas, Basilis and Spruck, Joel, Asymptotic symmetry and local behavior of semilinear elliptic equations with critical Sobolev growth. Comm. Pure Appl. Math. 42 (1989), no. 3, 271–297. 6If α = 1 and V satisﬁes (9.9), for any σ ̸= − 2, by Theorem 9.5, there exists R0 = R0(n, α, σ, L) > 0 such that equation (9.1) does not have positive s...

work page 1989

[6] [6]

Cheng, Shiu Yuen and Yau, Shing-Tung, Diﬀerential equations on Riemannian manifolds and their geo metric applications. Comm. Pure Appl. Math. 28 (1975), no. 3, 333–354

work page 1975

[7] [7]

Dancer, Edward Norman, Superlinear problems on domains with holes of asymptotic sh ape and exterior problems. Math. Z. 229 (1998), no. 3, 475–491

work page 1998

[8] [8]

Gidas, Basilis and Spruck, Joel, Global and local behavior of positive solutions of nonlinea r elliptic equations . Comm. Pure Appl. Math. 34 (1981), no. 4, 525–598

work page 1981

[9] [9]

Li, Jiayu, Gradient estimates and Harnack inequalities for nonlinear parabolic and nonlinear elliptic equations on Riemannian manifolds . J. Funct. Anal. 100 (1991), no. 2, 233–256

work page 1991

[10] [10]

Acta Math

Li, Peter and Yau, Shing-Tung, On the parabolic kernel of the Schr¨ odinger operator. Acta Math. 156 (1986), no. 3-4, 153–201

work page 1986

[11] [11]

Li, YanYan and Zhang, Lei, Liouville-type theorems and Harnack-type inequalities fo r semilinear elliptic equations. J. Anal. Math. 90 (2003), 27–87

work page 2003

[12] [12]

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

work page 2007

[13] [13]

Discrete Contin

Souplet, Philippe, Universal estimates and Liouville theorems for superlinea r problems without scale invari- ance. Discrete Contin. Dyn. Syst. 43 (2023), no. 3-4, 1702–1734

work page 2023

[14] [14]

Acta Math

Serrin, James and Zou, Henghui, Cauchy-Liouville and universal boundedness theorems for q uasilinear elliptic equations and inequalities. Acta Math. 189 (2002), no. 1, 79–142

work page 2002

[15] [15]

Yau, Shing Tung, Harmonic functions on complete Riemannian manifolds. Comm. Pure Appl. Math. 28 (1975), 201–228. (Zhihao Lu) School of Mathematical Sciences, University of Science and Technology of China, Hefei 230026,P.R.China Email address : lzh139@mail.ustc.edu.cn

work page 1975