[论文解读] Elliptic Harnack inequalities for symmetric non-local Dirichlet forms

Zhen-Qing Chen, Takashi Kumagai+1 more|arXiv (Cornell University)|Mar 28, 2017

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

一句话总结

该论文在具有状态依赖性尺度的一般度量测度空间上，针对对称非局部Dirichlet型式，建立了椭圆Harnack不等式（EHI）的稳定性，且在正则性条件下成立。证明了EHI蕴含调和函数的先验Hölder正则性，并以EHI为框架，给出了抛物Harnack不等式（PHI）的新等价刻画，将经典结果推广至非局部和非一致设置。

ABSTRACT

We study relations and characterizations of various elliptic Harnack inequalities for symmetric non-local Dirichlet forms on metric measure spaces. We allow the scaling function be state-dependent and the state space possibly disconnected. Stability of elliptic Harnack inequalities is established under certain regularity conditions and implication for a priori Hölder regularity of harmonic functions is explored. New equivalent statements for parabolic Harnack inequalities of non-local Dirichlet forms are obtained in terms of elliptic Harnack inequalities.

研究动机与目标

• 研究对称非局部Dirichlet型式在一般度量测度空间上各种椭圆Harnack不等式（EHI）之间的关系与刻画。
• 在特定正则性条件下，建立EHI的稳定性，尤其允许状态依赖性尺度和非连通状态空间。
• 探讨EHI在非局部设置下对调和函数先验Hölder正则性的含义。
• 基于EHI，推导抛物Harnack不等式（PHI）的新等价表述，将经典对偶结果推广至非局部过程。
• 将先前关于EHI与PHI的结果推广至非局部算子和欧几里得空间之外，涵盖非一致和非测地线设置。

提出的方法

• 作者通过在 $L^2(M;\mu)$ 上具有跳跃核 $J(dx,dy)$ 的正则对称Dirichlet型式 $({\cal E},{\cal F})$，分析纯跳型的对称非局部Dirichlet型式。
• 利用相关Hunt过程 $X_t$ 及其转移密度 $p(t,x,y)$，通过强马氏性质和尾部估计推导退出时间估计 $\mathbb{E}^x[\tau_{B(x,r)}]$。
• 论文采用依赖于空间位置 $x$ 的尺度函数 $\phi(x,r)$，以允许非一致或状态依赖行为。
• 关键估计包括退出时间的界：当 $r \leq 1$ 时，$\mathbb{E}^x[\tau_{B(x,r)}] \asymp r^{\alpha(x)}$；当 $r > 1$ 时，$\mathbb{E}^x[\tau_{B(x,r)}] \asymp r^{\alpha_1}$，其中 $\alpha(x)$ 随 $x$ 变化。
• 作者利用强马氏性质和指数尾部界推导出 $\mathbb{P}^x(\tau_{B(x,r)} > kt) \leq 2^{-k}$，进而得到矩估计。
• 通过非局部设置下的Moser迭代法，建立EHI、PHI及其他函数不等式（FK、PI、CSJ）之间的等价性。

实验结果

研究问题

• RQ1 在具有状态依赖性尺度的一般度量测度空间中，Dirichlet型式在扰动下，椭圆Harnack不等式（EHI）在何种条件下保持稳定？
• RQ2 在非局部设置下，EHI是否如在局部情形中一样，蕴含调和函数的先验Hölder正则性？
• RQ3 对于非局部过程，抛物Harnack不等式（PHI）在何种意义上可由椭圆Harnack不等式（EHI）等价刻画？
• RQ4 在非一致尺度下的非局部Dirichlet型式中，函数不等式FK、PI与CSJ如何与EHI和PHI关联？
• RQ5 经典的Harnack不等式框架能否推广至具有非局部生成元的非连通或非测地度量测度空间？

主要发现

• 在Dirichlet型式满足正则性条件时，即使尺度函数 $\phi(x,r)$ 为状态依赖性，椭圆Harnack不等式（EHI）仍保持稳定。
• 对于变指数 $\alpha(x)$ 的分数阶Laplacian，退出时间满足：当 $r \leq 1$ 时，$\mathbb{E}^x[\tau_{B(x,r)}] \asymp r^{\alpha(x)}$；当 $r > 1$ 时，$\mathbb{E}^x[\tau_{B(x,r)}] \asymp r^{\alpha_1}$，其中 $\alpha_1 = \sup \alpha(x)$。
• 通过Moser迭代法证明，EHI在非局部设置下蕴含调和函数的先验Hölder正则性（EHR）。
• 在相同正则性假设下，抛物Harnack不等式（PHI）与EHI等价，从而以EHI为框架，为PHI提供了新刻画。
• 函数不等式FK($\phi$)、PI($\phi$)与CSJ($\phi$)均被EHI所蕴含，确立了函数与分析性质的层级关系。
• 结果将经典的Moser型正则性与Harnack理论推广至非局部、非一致，甚至可能非连通的度量测度空间。