[论文解读] Sharp logarithmic Sobolev inequalities on gradient solitons and applications

José A. Carrillo, Lei Ni|ArXiv.org|Jun 15, 2008

Geometric Analysis and Curvature Flows参考文献 24被引用 13

一句话总结

该论文通过从势函数 $ f $ 构造参考概率测度，在梯度收缩和膨胀的里奇孤立子上建立了精确的对数 Sobolev 不等式（LSI）。证明了这些测度满足具有非负不变量 $ u_s $ 的几何意义下精确的 LSI，并表明在非负里奇曲率下，非平坦的收缩孤立子具有零渐近体积比，该结果推广了佩雷尔曼的结果，且无需假设曲率算子有界。

ABSTRACT

We show that gradient shrinking, expanding or steady Ricci solitons have potentials leading to suitable reference probability measures on the manifold. For shrinking solitons, as well as expanding soltions with nonnegative Ricci curvature, these reference measures satisfy sharp logarithmic Sobolev inequalities with lower bounds characterized by the geometry of the manifold. The geometric invariant appearing in the sharp lower bound is shown to be nonnegative. We also characterize the expanders when such invariant is zero. In the proof various useful volume growth estimates are also established for gradient shrinking and expanding solitons. In particular, we prove that the {\it asymptotic volume ratio} of any gradient shrinking soliton with nonnegative Ricci curvature must be zero.

研究动机与目标

• 通过几何势函数在梯度收缩和膨胀的里奇孤立子上建立精确的对数 Sobolev 不等式（LSI）。
• 刻画 LSI 中的精确几何不变量 $ \nu_s $，并证明在非负里奇曲率下其值非负。
• 证明任何非平坦的梯度收缩孤立子若具有非负里奇曲率，则其渐近体积比为零，从而推广佩雷尔曼的结果。
• 通过体积增长估计和熵方法，将 Bakry-Émery 准则与 HWI 不等式推广至非紧致孤立子。
• 通过证明当且仅当为高斯孤立子 $ \mathbb{R}^n $ 时等式成立，验证 LSI 的精确性。

提出的方法

• 在流形上构造参考概率测度 $ \frac{e^{-f}}{(4\pi\tau)^{n/2}} $，通过势函数 $ f $ 进行归一化，以定义用于 LSI 分析的加权测度。
• 应用 Bakry-Émery 准则与 HWI 不等式，利用里奇孤立子方程 $ R_{ij} + f_{ij} - \frac{1}{2\tau}g_{ij} = 0 $ 作为关键几何约束推导 LSI。
• 利用里奇流的自相似结构，将孤立子与一族度量 $ g(\eta) $ 关联，从而实现基于熵的估计。
• 通过热核与 $ L^p $-估计建立体积增长估计，借助 Sobolev 嵌入与紧致性论证。
• 在里奇曲率有界 $ |\operatorname{Ric}| \leq A $ 的条件下，利用熵微分不等式证明 $ \mu(g,\sigma) $ 熵泛函的有界性。
• 将精确常数 $ \nu_s $ 表示为仅依赖于 $ f $ 及其在 $ f $ 最小值点处的标量曲率 $ S $ 的不变量，且与 $ \tau $ 无关。

实验结果

研究问题

• RQ1 能否在具有非负里奇曲率的非紧致梯度收缩孤立子上建立精确的对数 Sobolev 不等式？
• RQ2 LSI 中不变量 $ \nu_s $ 的几何意义及其最小性为何？它在何种情况下为零？
• RQ3 具有非负里奇曲率的非平坦梯度收缩孤立子的渐近体积比是否为零？
• RQ4 在里奇曲率有界条件下，体积增长估计与熵泛函在梯度孤立子上的行为如何？
• RQ5 LSI 的精确性是否可验证？等式是否仅在高斯孤立子 $ \mathbb{R}^n $ 时成立？

主要发现

• 在任意梯度收缩孤立子上，势函数 $ e^{-f} $ 是可积的，可归一化为概率测度 $ \frac{e^{-f}}{(4\pi\tau)^{n/2}} $。
• 存在一个具有几何意义的精确对数 Sobolev 不等式，其不变量 $ \nu_s $ 在 $ |\operatorname{Rm}| \leq A $ 条件下非负，且当且仅当孤立子等距同构于 $ \mathbb{R}^n $ 时为零。
• 任何非平坦的梯度收缩孤立子若具有非负里奇曲率，则其渐近体积比为零，该结论无需假设曲率算子有界。
• 对于满足 $ \operatorname{Ric} = \frac{1}{2}g $ 的紧致爱因斯坦流形，有 $ \nu_s = \frac{n}{2} - \log V(M) + \frac{n}{2}\log(4\pi) \geq 0 $，且仅在 $ n \to \infty $ 的极限下取等。
• 不变量 $ \nu_s $ 满足 $ \nu_s(\mathbb{S}^{2k}) = \log\left(\frac{e^k (2k-1)!}{(2(2k-1))^k (k-1)!}\right) $，随 $ k $ 增大而减小，且当 $ k \to \infty $ 时趋近于 $ \frac{1}{2}\log\frac{e}{2} $。
• LSI 的精确性得到确认：当 $ \rho $ 为归一化的势函数 $ \frac{e^{-f}}{(4\pi\tau)^{n/2}} $ 时等式成立，且在 $ \mathbb{R}^n $ 上 $ \nu_s = 0 $。