[论文解读] Stability of heat kernel estimates for symmetric non-local Dirichlet forms

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

Nonlinear Partial Differential Equations被引用 9

一句话总结

该论文在一般体积加倍条件下，建立了度量测度空间上对称非局部Dirichlet型形式的双侧热核估计与上界估计的稳定性。通过跳跃核、截断Sobolev不等式和Faber-Krahn不等式，提供了稳定等价刻画，解决了长期悬而未决的重大问题：当行走维数大于2时，证明了α ≥ 2的α稳定类似过程的热核估计。

ABSTRACT

In this paper, we consider symmetric jump processes of mixed-type on metric measure spaces under general volume doubling condition, and establish stability of two-sided heat kernel estimates and heat kernel upper bounds. We obtain their stable equivalent characterizations in terms of the jumping kernels, variants of cut-off Sobolev inequalities, and the Faber-Krahn inequalities. In particular, we establish stability of heat kernel estimates for $α$-stable-like processes even with $α\ge 2$ when the underlying spaces have walk dimensions larger than $2$, which has been one of the major open problems in this area.

研究动机与目标

• 建立度量测度空间上对称跳跃过程的双侧热核估计与上界估计的稳定性。
• 通过跳跃核、截断Sobolev不等式和Faber-Krahn不等式等稳定几何与分析条件，刻画热核估计。
• 解决当行走维数大于2时，α ≥ 2的α稳定类似过程的热核估计稳定性这一开放问题。
• 为相关Hunt过程的保守性与随机完备性提供充分条件。

提出的方法

• 利用Beurling-Deny公式将Dirichlet型形式分解为纯跳跃部分，聚焦于$ M \times M \setminus \text{diag} $上的对称Radon测度$ J $。
• 通过函数不等式与容量估计，建立热核估计与$ \mathrm{UHK}(\theta) $、$ \mathrm{J}_{\theta,\text{leq}} $、$ \mathrm{CSJ}(\theta) $、$ \mathrm{FK}(\theta) $等条件之间的等价性。
• 应用Meyer分解与Lévy系统公式，将跳跃过程的动力学与底层跳跃核及退出时间行为联系起来。
• 利用Caccioppoli不等式与$ L^1 $-平均值不等式，在体积加倍与弱Poincaré型条件下导出尺度不变估计。
• 通过截断函数$ \varphi_n $的正则化方法与$ \Gamma^{(\rho)} $-范数下的能量估计，证明过程的保守性。
• 应用能量衰减法与Gronwall型不等式，控制相关演化方程解的$ L^2 $-范数。

实验结果

研究问题

• RQ1 在何种条件下，双侧热核估计在底层Dirichlet型形式的扰动下保持稳定？
• RQ2 当行走维数大于2时，能否为α ≥ 2的α稳定类似过程建立热核估计？
• RQ3 热核估计的稳定等价刻画在跳跃核、截断Sobolev不等式与Faber-Krahn不等式方面如何表述？
• RQ4 如何通过内在几何与分析条件刻画对称跳跃过程的保守性？
• RQ5 体积加倍条件在非局部Dirichlet型形式的热核估计稳定性中起什么作用？

主要发现

• 在一般体积加倍条件下，双侧热核估计保持稳定，且可通过跳跃核与截断Sobolev不等式实现稳定等价刻画。
• 该论文在行走维数大于2时，成功建立了α ≥ 2的α稳定类似过程的热核估计稳定性，解决了长期悬而未决的重大问题。
• 在体积加倍条件下，条件$ \mathrm{UHK}(\theta) $等价于$ \mathrm{J}_{\theta} + \mathrm{E}_{\theta} $，其中$ \mathrm{E}_{\theta} $为平均退出时间条件。
• 结合$ \mathrm{J}_{\theta,\text{leq}} $与$ \mathrm{CSJ}(\theta) $，Faber-Krahn不等式$ \mathrm{FK}(\theta) $可推出存在尺度不变能量不等式$ \mathrm{E}_{\theta} $。
• 保守性由$ \mathrm{SCSJ}(\theta) + \mathrm{J}_{\theta,\text{leq}} $蕴含，且在这些条件下过程为随机完备。
• 通过$ \Gamma^{(\rho)} $-范数与Gronwall型论证提出的新能量衰减估计，证明了$ Q_t^{(\rho)} \mathbf{1} = 1 $ μ-a.e.，从而确认了保守性。