[论文解读] Liouville-type theorems on the complete gradient shrinking Ricci solitons

Huabin Ge, Shijin Zhang|arXiv (Cornell University)|Sep 30, 2016

Geometric Analysis and Curvature Flows参考文献 14被引用 3

一句话总结

本文通过证明非平凡正 $f$-调和函数的不存在性，并推导出 $L^p$ Liouville 定理，建立了完备梯度收缩 Ricci 孤子上的 Liouville 型定理。利用在 Bakry-Émery Ricci 曲率有界条件下对 $f$-调和函数的精细局部梯度估计，以及收缩孤子的特殊结构，作者导出一个 Harnack 不等式，并得出在多项式体积增长条件下，正 $f$-调和函数必为常数的结论。

ABSTRACT

We prove that there does not exist non-constant positive $f$-harmonic function on the complete gradient shrinking Ricci solitons. We also prove the $L^{p}(p\geq 1 \ { m or}\ 0

研究动机与目标

• 建立完备梯度收缩 Ricci 孤子上的 Liouville 型定理，特别是关于非平凡正 $f$-调和函数不存在性的结果。
• 将经典 Liouville 结果从具有非负 Ricci 曲率的流形上的调和函数推广到具有非负 Bakry-Émery Ricci 曲率的度量测度空间上的 $f$-调和函数。
• 推导完备梯度收缩 Ricci 孤子上 $f$-次调和与 $f$-超调和函数的 $L^p$ Liouville 定理。
• 利用精细梯度估计，获得此类孤子上正 $f$-调和函数的 Harnack 不等式。
• 证明在收缩孤子上，具有次线性增长或多项式体积增长的正 $f$-调和函数必为常数。

提出的方法

• 在满足 ${\rm Ric}_f \geq -(n-1)K$ 且在 $B_p(2R)$ 上有 $|\nabla f| \leq \theta(R)$ 的光滑度量测度空间上，推导出正 $f$-调和函数的新局部梯度估计，得到 $\sup_{B_p(R)} |\nabla \log u| \leq \frac{c(n)}{1-\epsilon}(\frac{1}{R} + \frac{K^{1/4} + \theta(R)^{1/2}}{R^{1/2}}) + \frac{1}{\sqrt{\epsilon(1-\epsilon)}}\theta(R) + \frac{(n-1)\sqrt{K}}{\sqrt{1-\epsilon}}$。
• 将该梯度估计应用于完备梯度收缩 Ricci 孤子，其中 $f$ 与平方距离函数等价，得到 $\sup_{B_p(R)} |\nabla \log u| \leq \frac{20n}{R} + 2R + 3C$（当 $R > C$ 时）。
• 利用梯度估计导出的 Harnack 不等式 $u(x) \leq u(p) e^{3d(x)^2}$，适用于 $d(x) \geq \max\{2C, 10n\}$。
• 应用加权 $L^1$ 可积性论证：对于正的 $f$-调和函数 $u$，在多项式体积增长下有 $\int_M \log(1+u) e^{-f} dv < \infty$，从而推出 $\Delta_f \log(1+u) = 0$。
• 利用恒等式 $\Delta_f h = -|\nabla h|^2$（其中 $h = \log(1+u)$）以及 $\Delta_f h = 0$ 蕴含 $|\nabla h|^2 = 0$，故 $h$ 为常数，从而 $u$ 为常数。
• 将结果推广至 $L^p$ 设置：对于 $p \geq 1$ 或 $0 < p \leq 1$，具有适当衰减性的 $f$-次调和或 $f$-超调和函数被证明为常数。

实验结果

研究问题

• RQ1 在完备梯度收缩 Ricci 孤子上，是否存在非平凡正 $f$-调和函数？
• RQ2 在 $L^p$ 可积性或体积增长条件下，能否在完备梯度收缩 Ricci 孤子上建立 $f$-调和函数的 Liouville 型定理？
• RQ3 在完备梯度收缩 Ricci 孤子上，正 $f$-调和函数的最优 Harnack 型估计是什么？
• RQ4 势函数 $f$ 如何影响收缩孤子上 $f$-调和函数的行为？
• RQ5 在何种 $f$ 和体积增长条件下，可通过加权 $L^1$ 可积性推出 $f$-调和函数的常数性？

主要发现

• 在任何完备梯度收缩 Ricci 孤子上，均不存在非平凡正 $f$-调和函数。
• Harnack 不等式成立：对任意满足 $d(x) \geq \max\{2C, 10n\}$ 的 $x$，有 $u(x) \leq u(p) e^{3d(x)^2}$，其中 $C$ 是依赖于孤子的几何常数。
• 对于 $p \geq 1$ 或 $0 < p \leq 1$，在完备梯度收缩 Ricci 孤子上，任何非负 $f$-次调和函数或正的 $f$-超调和函数若属于 $L^p$，则必为常数。
• $f$-Laplacian 满足 $\Delta_f \log(1+u) = 0$，对任意正的 $f$-调和函数 $u$ 成立，这意味着 $|\nabla \log u| = 0$，故 $u$ 为常数。
• 梯度估计 $\sup_{B_p(R)} |\nabla \log u| \leq \frac{20n}{R} + 2R + 3C$ 在 $R > C$ 时成立，该估计由势函数的几何结构与曲率界导出。
• 孤子的体积增长至多为 $n$ 次多项式，这确保了 $\log(1+u)$ 关于测度 $e^{-f} dv$ 的可积性，从而支持 Liouville 结论的成立。