[论文解读] Cheeger-harmonic functions in metric measure spaces revisited

Renjin Jiang|arXiv (Cornell University)|Jul 4, 2013

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

一句话总结

本文在具有局部加倍测度和局部弱 $ L^2 $-Poincaré 不等式的度量测度空间中，建立了 Cheeger-调和函数及非线性泊松型方程解的梯度估计。通过引入一种热半群型曲率条件，作者证明了 Cheeger-调和函数是局部利普希茨连续的，将先前需要 Ahlfors 正则性条件的结果推广到了更弱的局部加倍测度假设。

ABSTRACT

Let $(X,d,μ)$ be a complete metric measure space, with $μ$ a locally doubling measure, that supports a local weak $L^2$-Poincaré inequality. By assuming a heat semigroup type curvature condition, we prove that Cheeger-harmonic functions are Lipschitz continuous on $(X,d,μ)$. Gradient estimates for Cheeger-harmonic functions and solutions to a class of non-linear Poisson type equations are presented.

研究动机与目标

• 将先前关于 Cheeger-调和函数结果中的 Ahlfors 正则性条件放松为更弱的局部加倍测度假设。
• 在度量测度空间中建立一类非线性泊松型方程解的梯度估计。
• 在热半群型曲率条件下证明 Cheeger-调和函数是局部利普希茨连续的。
• 将 Yau 型梯度估计推广到几何假设最少的非光滑度量测度空间。
• 提供梯度界对加倍常数和 Poincaré 常数等几何参数的定量依赖关系。

提出的方法

• 通过不等式 $ T_t(g^2)(x) - [T_t(g)(x)]^2 \leq (2t + c_\kappa(T)t^2)T_t(|Dg|^2) $ 在 $ 0 < t < T $ 范围内表达一种热半群曲率条件。
• 应用 Moser 迭代技术，结合 Caccioppoli 不等式和 Sobolev-Poincaré 不等式，推导出解的 $ L^\infty $ 估计。
• 使用一个在 $ B(y_0, 3R/2) $ 上有紧支集且在 $ B(y_0, R) $ 上恒为 1 的截断函数 $ \phi $ 来实现估计的局部化。
• 采用 Cheeger 导数算子 $ D $，其满足乘积法则，且其范数与点态利普希茨常数等价。
• 将热半群曲率条件与局部弱 $ L^2 $-Poincaré 不等式及加倍测度相结合，推导出梯度界。
• 应用由加倍和 Poincaré 不等式推出的抛物型 Harnack 不等式，以推得 Hölder 连续性，并支持 Moser 迭代。

实验结果

研究问题

• RQ1 能否在比 Ahlfors 正则性更弱的局部加倍测度假设下，建立 Cheeger-调和函数的利普希茨正则性？
• RQ2 热半群曲率条件在确保非线性泊松方程解的梯度界中起什么作用？
• RQ3 Cheeger-调和函数的梯度估计如何依赖于加倍常数 $ C_Q(2R) $、Poincaré 常数 $ C_P(2R) $ 和曲率函数 $ c_\kappa(R^2) $ ？
• RQ4 Moser 迭代方法能否被适配以在无光滑结构的度量测度空间中得到精确的 $ L^\infty $ 和梯度估计？
• RQ5 梯度界的精确依赖关系如何体现于半径 $ R $、$ \lambda $ 的 $ L^\infty $-范数以及曲率函数 $ c_\kappa(R^2) $ ？

主要发现

• 在具有局部 $ Q $-加倍测度和局部弱 $ L^2 $-Poincaré 不等式的完备路径连通度量测度空间中，若热半群曲率条件成立，则 Cheeger-调和函数是局部利普希茨连续的。
• 在 $ 2B $ 中，方程 $ Lu = -\lambda u $ 解的梯度估计为 $ \| |Du| \|_{L^\infty(B)} \leq C \left( \frac{1}{R} + \sqrt{c_\kappa(R^2)} \right) \fint_{2B} |u| \, d\mu $，其中常数 $ C $ 依赖于 $ Q, C_Q(2R), C_P(2R), \|\lambda\|_{L^\infty(2B)}R^2 $。
• 对于正的调和函数，几乎处处在 $ B(y_0, R) $ 内有 $ |Du(x)| \leq C(Q, C_Q(1), C_P(1)) \left( \sqrt{c_\kappa(1)} + \frac{1}{R} \right) u(x) $，且当 $ R < 1/2 $ 时该常数与 $ R $ 无关。
• 当 $ Q \in (1,2) $ 时，通过结合 Caccioppoli 不等式与 Sobolev-Poincaré 不等式，可得到更优估计：$ \|u\|_{L^\infty(B)} \leq C(1 + \sqrt{\|\lambda\|_{L^\infty(2B)} R}) \fint_{B(y_0, 2R)} |u| \, d\mu $。
• 当 $ Q > 2 $ 时，Moser 迭代给出 $ \|\lambda\|_{L^\infty(2B)}R^2 $ 的多项式依赖关系，具体为 $ \|u\|_{L^\infty(B)} \leq C(Q, C_P(2R), C_Q(2R)) (1 + \|\lambda\|_{L^\infty(2B)} R^2)^{Q/4} \left( \fint_{B(y_0, 2R)} |u|^2 \, d\mu \right)^{1/2} $。
• 证明依赖于加倍与 Poincaré 不等式等价于抛物型 Harnack 不等式，后者蕴含椭圆型 Harnack 不等式，从而推出 Hölder 连续性；但若无曲率条件，则无法推出利普希茨正则性。