[论文解读] Stability of parabolic Harnack inequalities for symmetric non-local Dirichlet forms

Zhen-Qing Chen, Takashi Kumagai+1 more|arXiv (Cornell University)|Sep 24, 2016

Geometric Analysis and Curvature Flows参考文献 45被引用 11

一句话总结

本文在度量测度空间上，针对满足一般体积加倍条件的对称非局部Dirichlet型形式，建立了抛物Harnack不等式（PHI）的稳定性。证明了当跳跃测度在一致有界条件下发生扰动时，PHI保持不变，并通过热核估计、Poincaré不等式以及调和函数的Hölder正则性，提供了PHI的稳定等价刻画。

ABSTRACT

In this paper, we establish stability of parabolic Harnack inequalities for symmetric non-local Dirichlet forms on metric measure spaces under general volume doubling condition. We obtain their stable equivalent characterizations in terms of the jumping kernels, variants of cutoff Sobolev inequalities, and Poincaré inequalities. In particular, we establish the connection between parabolic Harnack inequalities and two-sided heat kernel estimates, as well as with the Hölder regularity of parabolic functions for symmetric non-local Dirichlet forms.

研究动机与目标

• 研究对称非局部Dirichlet型形式在跳跃测度扰动下的抛物Harnack不等式（PHI）的稳定性。
• 建立PHI在几何与分析条件（如双侧热核估计、Poincaré不等式、截断Sobolev不等式）下的等价刻画。
• 阐明非局部情形下PHI与调和函数Hölder正则性之间的关系。
• 确定在跳跃测度与另一测度一致可比较时，PHI是否在体积加倍条件下保持不变。
• 为一般度量测度空间中的PHI稳定性提供一个框架，将局部与高斯型扩散的结果推广至非局部过程。

提出的方法

• 采用一般度量测度空间框架，其中对称正则Dirichlet型形式为纯跳跃类型，由对称跳跃测度 $ J(dx,dy) $ 定义。
• 引入尺度函数 $ \phi(r) $ 以刻画过程的时间-空间标度，推广经典扩散情形下的 $ \phi(r) = r^2 $。
• 以体积加倍条件与Poincaré不等式作为基础假设，推导出稳定的等价条件。
• 应用Lévy系统公式与退出时间估计，分析命中概率，并建立 $ \mathrm{E}_{\phi} $ 条件。
• 通过涉及奇异Lévy测度的反例表明，即使 $ \mathrm{UJS} $ 不成立，仅凭 $ \mathrm{EHR} $ 与 $ \mathrm{E}_{\phi} $ 也无法推出 $ \mathrm{EHI} $ 或 $ \mathrm{PHI}(\phi) $。
• 依赖于原始跳跃测度 $ J $ 与扰动后跳跃测度 $ \widehat{J} $ 之间的比较技术，假设在不相交集合上满足 $ c_1 J \leq \widehat{J} \leq c_2 J $。

实验结果

研究问题

• RQ1 在对称非局部Dirichlet型形式中，跳跃测度的均匀扰动是否保持抛物Harnack不等式（PHI）的稳定性？
• RQ2 在体积加倍条件下，度量测度空间中PHI的稳定等价条件是什么？
• RQ3 在非局部情形下，PHI、双侧热核估计与调和函数Hölder正则性之间有何关系？
• RQ4 能否通过Poincaré不等式与截断Sobolev不等式刻画非局部Dirichlet型形式中的PHI？
• RQ5 条件 $ \mathrm{UJS} $（均匀跳跃尺寸）对PHI是否必要？还是PHI可在其不成立时仍成立？

主要发现

• PHI在跳跃测度的均匀比较下保持稳定：若 $ \mathrm{PHI}(\phi) $ 对 $ J $ 成立，则对满足 $ c_1 J \leq \widehat{J} \leq c_2 J $ 的 $ \widehat{J} $ 也成立。
• 在非局部情形下，PHI等价于体积加倍、Poincaré不等式与双侧热核估计的组合。
• 对于对称 $ \alpha $-稳定型过程，当 $ \phi(r) = r^\alpha $ 时，$ \mathrm{PHI}(\phi) $ 成立，且在跳跃核有界扰动下保持稳定。
• 在取值于 $ \mathbb{R}^3 $ 的独立 $ \alpha $-稳定过程的例子中，即使 $ \mathrm{PI}(\phi) $ 与 $ \mathrm{SCSJ}(\phi) $ 成立，$ \mathrm{EHR} $ 与 $ \mathrm{E}_{\phi} $ 仍无法推出 $ \mathrm{EHI} $ 或 $ \mathrm{PHI}(\phi) $。
• 在某些构造中 $ \mathrm{UJS} $ 的失效表明 $ \mathrm{PHI}(\phi) $ 不可能成立，从而证明了其在某些情形下的必要性。
• 本文证明了 $ \mathrm{E}_{\phi,\geq} $ 与 $ \mathrm{E}_{\phi,\leq} $ 条件（退出时间估计）足以推出 $ \mathrm{PHI}(\phi) $，且这些条件在测度扰动下保持稳定。