[Paper Review] Sharp Spectral Gap and Li-Yau's Estimate on Alexandrov Spaces

Zhongmin Qian, Hui-Chun Zhang+1 more|arXiv (Cornell University)|Feb 21, 2011

Geometric Analysis and Curvature Flows19 references4 citations

TL;DR

This paper establishes sharp spectral gap estimates and Li-Yau's gradient estimate for positive solutions of the heat equation on compact Alexandrov spaces with Ricci curvature bounded below. By extending Bakry–Qian's analytic approach using a Bochner-type formula on singular spaces, it proves a sharp lower bound for the first non-zero eigenvalue and derives a parabolic Harnack inequality, generalizing results from smooth Riemannian manifolds to metric measure spaces with curvature lower bounds.

ABSTRACT

In the previous work [35], the second and third authors established a Bochner type formula on Alexandrov spaces. The purpose of this paper is to give some applications of the Bochner type formula. Firstly, we extend the sharp lower bound estimates of spectral gap, due to Chen-Wang [9, 10] and Bakry-Qian [6], from smooth Riemannian manifolds to Alexandrov spaces. As an application, we get an Obata type theorem for Alexandrov spaces. Secondly, we obtain (sharp) Li-Yau's estimate for positve solutions of heat equations on Alexandrov spaces.

Motivation & Objective

• To extend sharp spectral gap estimates, originally known for smooth Riemannian manifolds, to compact Alexandrov spaces with Ricci curvature bounded below.
• To establish a Li–Yau type gradient estimate for positive solutions of the heat equation on Alexandrov spaces.
• To prove an Obata-type rigidity theorem for Alexandrov spaces under sharp spectral gap conditions.
• To overcome analytical challenges in singular spaces, such as lack of smooth maximum principle and bounded Hessian, via weak solution estimates and mean value inequalities.

Proposed method

• Adapted Bakry–Qian’s analytic method for spectral gap estimates, replacing smooth maximum principle with upper bound estimates for weak solutions of elliptic equations.
• Utilized a Bochner-type formula for Alexandrov spaces established in prior work [35], which allows curvature-dimension type analysis on singular spaces.
• Applied a mean value inequality for Poisson equations in [35] to control the Hessian of eigenfunctions in the absence of smoothness.
• Used the heat semigroup and time-dependent functionals to derive differential inequalities for the logarithmic gradient of solutions.
• Employed a comparison argument via one-dimensional model operators to bound the first non-zero eigenvalue in terms of curvature and diameter.
• Derived the Li–Yau estimate by analyzing the evolution of the logarithmic gradient of the heat kernel and proving a differential inequality involving the Laplacian of the logarithm.

Experimental results

Research questions

• RQ1 Can the sharp spectral gap estimate of Chen–Wang and Bakry–Qian be extended from smooth Riemannian manifolds to Alexandrov spaces with Ricci curvature bounded below?
• RQ2 Does the Li–Yau gradient estimate for positive heat solutions hold on Alexandrov spaces, and if so, under what conditions?
• RQ3 Is there an Obata-type rigidity theorem for Alexandrov spaces where equality in the spectral gap bound implies a specific geometric structure?
• RQ4 How can the analytic tools of Bakry–Qian be adapted to singular spaces lacking smoothness and bounded Hessian?

Key findings

• The first non-zero eigenvalue of a compact $n$-dimensional Alexandrov space with Ricci curvature $\geq (n-1)K$ satisfies $\lambda_1(M) \geq \lambda_1(K,n,d)$, where $d$ is the diameter and $\lambda_1(K,n,d)$ is the first non-zero Neumann eigenvalue of a one-dimensional model operator.
• If $\lambda_1(M) = n$ for an $n$-dimensional Alexandrov space with Ricci curvature $\geq n-1$, then $M$ is isometric to a spherical suspension over an $(n-1)$-dimensional Alexandrov space with curvature $\geq 1$, establishing an Obata-type rigidity result.
• A sharp Li–Yau gradient estimate holds: $|\nabla \log u|^2 - \frac{\partial}{\partial t}\log u \leq \frac{n}{2t}$ for any positive solution $u$ of the heat equation on $M \times (0,\infty)$.
• A parabolic Harnack inequality is derived: $u(x_1,t_1) \leq u(x_2,t_2)\left(\frac{t_2}{t_1}\right)^{n/2}\exp\left(\frac{|x_1x_2|^2}{4(t_2 - t_1)}\right)$, which is sharper than previous results.
• The proof overcomes the lack of smoothness in Alexandrov spaces by replacing the smooth maximum principle with weak solution estimates and using mean value inequalities for Poisson equations.
• The results generalize classical estimates from smooth Riemannian geometry to singular metric measure spaces with lower Ricci curvature bounds.