[Paper Review] Measure Estimates, Harnack Inequalities and Ricci Lower Bound

Yu Wang, Xiangwen Zhang|arXiv (Cornell University)|Feb 28, 2011

Geometric Analysis and Curvature Flows16 references3 citations

TL;DR

This paper establishes a novel Alexandrov-Bakelman-Pucci-type measure estimate for Riemannian metric-measure spaces with Bakry-Émery Ricci curvature lower bounds, enabling new Harnack inequalities for the modified Laplacian and fully nonlinear operators without relying on Sobolev or gradient estimates. The key contribution is a contact set-based integral inequality linking curvature bounds to measure estimates via a generalized distortion coefficient.

ABSTRACT

On a Riemannian metric-measure space, we establish an Alexandrov-Bakelman-Pucci type measure estimate connecting Bakry-Émery Ricci curvature lower bound, modified Laplacian and the measure of certain special sets. We apply this estimate to prove Harnack inequalities for the modified Laplacian operator and fully non-linear operators. These inequalities seem not available in the literature; And our proof, solely based on the ABP estimate, does not involve any Sobolev inequalities nor gradient estimate. We also propose a question regarding the characterization of Ricci lower bound by the Harnack inequality.

Motivation & Objective

• To extend Alexandrov-Bakelman-Pucci techniques to Riemannian metric-measure spaces with Bakry-Émery Ricci curvature lower bounds.
• To derive Harnack inequalities for the modified Laplacian and fully nonlinear operators under local Ricci lower bounds.
• To establish a measure estimate connecting the measure of contact sets to curvature and the modified Laplacian, avoiding standard geometric analysis tools.
• To propose a characterization of Ricci lower bounds via Harnack inequalities, suggesting a new perspective on curvature-inequality duality.

Proposed method

• Replacing linear functions in classical ABP with paraboloids defined by squared distance functions $\rho^2(\cdot, y)$.
• Defining contact sets $A(a,E/\Omega,u)$ as points where $u + a\rho^2(\cdot,y)$ touches its infimum over $\overline{\Omega}$.
• Using the exponential map $F[u](x) = \exp_x(\nabla u(x))$ to replace the gradient map in the ABP framework.
• Deriving a measure estimate where $\nu[E] \leq \int_{A} \mathcal{D}_{K,N,r}[u/a](x)^N \nu(dx)$ for finite $N$, or an exponential form for $N=\infty$.
• Applying Calderón-Zygmund decompositions and the ABP estimate to derive Harnack inequalities for non-divergence operators.
• Extending results to fully nonlinear operators like Pucci extremal operators by controlling the Hessian via $\mathcal{M}^+_{\theta}$ and $\mathcal{M}^-_{\theta}$.

Experimental results

Research questions

• RQ1 Can ABP techniques be generalized to Riemannian metric-measure spaces with Bakry-Émery Ricci curvature bounds?
• RQ2 Do Harnack inequalities for the modified Laplacian hold under local Ricci lower bounds without using Sobolev or gradient estimates?
• RQ3 Can the Ricci lower bound be characterized via Harnack inequalities, as suggested by the ABP-based measure estimate?
• RQ4 How does the dependence on sectional curvature enter into Harnack estimates for non-divergence operators when $\theta \neq 1$?
• RQ5 Is the dependence on $\mathcal{E}_\theta(r)$ necessary in non-divergence Harnack estimates, or can it be replaced by Ricci curvature alone?

Key findings

• A new ABP-type measure estimate is established: $\nu[E] \leq \int_{A(a,E/B_r,u)} \mathcal{D}_{K,N,r}[u/a](x)^N \nu(dx)$ for $N < \infty$, with $\mathcal{D}_{K,N,r}$ involving the modified Laplacian and curvature parameters.
• For $N = \infty$, the measure estimate takes the exponential form $\nu[E] \leq \int_{A} \exp(\mathcal{D}_{K,\infty,r}[u/a]) \, \nu(dx)$.
• Harnack inequalities for the modified Laplacian are proven under local $N$-Bakry-Émery Ricci curvature lower bounds, without relying on Sobolev or gradient estimates.
• The results extend to fully nonlinear Pucci operators, with Harnack constants depending on $R\sqrt{K} + \mathcal{E}_\theta(2R)$, reflecting sectional curvature dependence.
• The dependence on $\mathcal{E}_\theta(R)$ in the non-divergence case cannot be replaced by Ricci curvature alone, as shown by eigenvalue analysis of the Hessian.
• The framework recovers known Harnack inequalities in the case of zero sectional curvature, and extends them to spaces with Ricci lower bounds.