[论文解读] Harmonic functions on metric measure spaces

Bobo Hua, Martin Kell+1 more|arXiv (Cornell University)|Aug 16, 2013

Geometric Analysis and Curvature Flows参考文献 52被引用 23

一句话总结

本文在Ricci曲率下有界（RCD$^*(K,N)$空间）的度量测度空间上建立了调和函数的局部梯度估计，将经典的Cheng-Yau估计推广至非光滑情形。此外，证明了多项式增长调和函数空间的最优维数界，表明此类空间的维数至多为 $ n $，其中 $ n $ 为体积增长维数，在非负Ricci曲率条件下成立。

ABSTRACT

In this paper, we study harmonic functions on metric measure spaces with Riemannian Ricci curvature bounded from below, which were introduced by Ambrosio-Gigli-Savaré. We prove a Cheng-Yau type local gradient estimate for harmonic functions on these spaces. Furthermore, we derive various optimal dimension estimates for spaces of polynomial growth harmonic functions on metric measure spaces with nonnegative Riemannian Ricci curvature.

研究动机与目标

• 将经典Cheng-Yau局部梯度估计从光滑情形推广至Ricci曲率下有界的度量测度空间。
• 推导RCD$^*(K,N)$空间上多项式增长调和函数空间的精确维数估计。
• 在非光滑度量测度空间中发展局部微分工具，以克服因缺乏高阶可微性而导致Bochner技巧失效的问题。
• 利用弱上梯度与截断函数，将Liouville型定理与平均值性质推广至非光滑情形。
• 在体积增长假设下建立最优维数界，证明多项式增长调和函数空间的维数至多为 $ n $，即体积增长维数。

提出的方法

• 通过将Erbar-Kuwada-Sturm的全局Bochner不等式应用于精心选取的截断函数，推导出RCD$^*(K,N)$空间上的局部Bochner不等式。
• 利用Jiang与Kell建立的$ W^{1,2}_{\text{loc}} $函数（其Laplacian属于$ L^p $）的局部Lipschitz正则性，确保弱上梯度定义良好。
• 使用无穷远处的平均值定理（定理5.4）在在某点为零的调和函数空间上定义极限内积 $ D $。
• 应用以 $ B_{R+\epsilon} $ 为支撑、在 $ B_R $ 上恒为1的截断函数 $ \chi_\epsilon $，满足 $ |\nabla \chi_\epsilon|_m \leq 1/\epsilon $，以控制边界项。
• 利用正次调和性 $ F^2 = \sum f_i^2 $（其中 $ \{f_i\} $ 为标准正交调和函数）导出涉及 $ \int |\nabla f_i|^2 $ 的积分不等式。
• 利用链式法则与正交变换不变性，得到 $ |\nabla F_\delta|_w \leq 1 $，从而推出 $ F(x) \leq d(x,p) $，并导出体积比估计 $ \frac{A_R}{|B_R|} \geq \frac{k - \epsilon_1}{R} $。

实验结果

研究问题

• RQ1 能否在具有$ \sigma $-有限测度的RCD$^*(K,N)$空间上，为调和函数建立类似Cheng-Yau的局部梯度估计？
• RQ2 在非负Ricci曲率的RCD$^*(K,N)$空间上，多项式增长调和函数空间的最大可能维数是多少？
• RQ3 RCD$^*(K,N)$空间中球体的体积增长如何约束多项式增长调和函数的维数？
• RQ4 无穷远处的平均值性质是否可用于在调和函数上定义极限内积，从而实现维数估计？
• RQ5 在不依赖DC-微分结构的前提下，能否在非光滑度量测度空间中实现Bochner不等式的局部化？

主要发现

• 在RCD$^*(K,N)$空间上建立了局部Bochner不等式，适用于属于 $ \mathcal{D}_{L^4_{\text{loc}}} (\Delta) $ 且满足 $ \Delta u \in W^{1,2}_{\text{loc}} \cap L^p_{\text{loc}} $（$ p > N $）的函数，确保 $ |\nabla u|_w^2 \in W^{1,2}_{\text{loc}} $。
• 无穷远处的平均值定理（定理5.4）表明 $ \lim_{R \to \infty} \fint_{B_R} |\nabla f|_m^2 dm = \text{ess sup}_X |\nabla f|_m^2 $，从而可定义极限内积 $ D $。
• 对任意有限维子空间 $ H'' \subset H^1(X) $ 满足 $ \dim H'' = k $，当 $ R $ 足够大时，体积比满足 $ \frac{A_R}{|B_R|} \geq \frac{k - \epsilon_1}{R} $，其中 $ A_R = \liminf_{\epsilon \to 0^+} \frac{|B_{R+\epsilon} \setminus B_R|}{\epsilon} $。
• 在多项式体积增长假设 $ |B_R| \leq C R^n $ 下，不等式 $ \left( \frac{R}{R_{\epsilon_1}} \right)^{k - \epsilon_1} \leq \frac{|B_R|}{|B_{R_{\epsilon_1}}|} $ 推出 $ k - \epsilon_1 \leq n $，故在极限下有 $ k \leq n $。
• 在非负Ricci曲率下，多项式增长次数至多为 $ d $ 的调和函数空间的维数至多为 $ n $，其中 $ n $ 为体积增长维数。
• 最优维数界 $ \dim \mathcal{H}^d \leq n $ 被达到，且该界是紧的，将经典黎曼几何结果推广至非光滑情形。