[论文解读] Heat kernel estimates for general symmetric pure jump Dirichlet forms

Zhen-Qing Chen, Takashi Kumagai+1 more|arXiv (Cornell University)|Aug 21, 2019

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

一句话总结

该论文在一般体积加倍和跳跃核条件下，为度量测度空间上对称纯跳跃 Dirichlet 型形式建立了稳定的两面热核估计，即使在轻尾跳跃核的情况下也成立。它通过内在几何与分析条件（如截断 Sobolev 不等式和 Faber-Krahn 型不等式）对热核估计、抛物 Harnack 不等式和容量界进行了表征。

ABSTRACT

In this paper, we consider the following symmetric non-local Dirichlet forms of pure jump type on metric measure space $(M,d,μ)$: $$\mathcal{E}(f,g)=\int_{M imes M} (f(x)-f(y))(g(x)-g(y))\,J(dx,dy),$$ where $J(dx,dy)$ is a symmetric Radon measure on $M imes M\setminus { m diag}$ that may have different scalings for small jumps and large jumps. Under general volume doubling condition on $(M,d,μ)$ and some mild quantitative assumptions on $J(dx, dy)$ that are allowed to have light tails of polynomial decay at infinity, we establish stability results for two-sided heat kernel estimates as well as heat kernel upper bound estimates in terms of jumping kernel bounds, the cut-off Sobolev inequalities, and the Faber-Krahn inequalities (resp.\ the Poincaré inequalities). We also give stable characterizations of the corresponding parabolic Harnack inequalities.

研究动机与目标

• 为度量测度空间上可能具有轻尾跳跃核的一般对称纯跳跃 Dirichlet 型形式推导稳定的两面热核估计。
• 通过内在几何与分析条件（如截断 Sobolev 不等式和 Faber-Krahn 不等式）表征热核上下界。
• 在跳跃核和测度空间的温和且可验证的假设下，建立抛物 Harnack 不等式的稳定表征。
• 将先前关于热核稳定性的结果推广至大跳跃具有多项式衰减或更轻尾的情况，包括由子ordinator 构造的次级过程。
• 统一并推广非局部与非扩散情形下现有的热核估计与容量界结果。

提出的方法

• 采用基于对称非局部 Dirichlet 型形式的框架，其形式通过 $ M \times M \setminus \text{diag} $ 上的对称 Radon 测度 $ J(dx,dy) $ 定义。
• 在测度空间 $ (M,d,\mu) $ 上应用体积加倍条件，确保 $ V(x,2r) \leq c_\mu V(x,r) $，以控制测度的增长。
• 引入并应用跳跃核界 $ J(x,y) \asymp \frac{1}{V(x,d(x,y))d(x,y)^{\alpha}} $，对小跳跃和大跳跃采用不同指数。
• 依赖截断 Sobolev 不等式和 Faber-Krahn 不等式推导热核估计，将函数不等式与转移密度界联系起来。
• 使用转移方法和次级化技术推导次级过程的估计，特别是具有轻尾跳跃核的过程。
• 应用 Abelian 与 Tauberian 定理分析子ordinator 分布的 Laplace 变换，推导转移密度的标度行为。

实验结果

研究问题

• RQ1 在跳跃核和测度空间满足何种条件下，热核具有两面估计？
• RQ2 截断 Sobolev 不等式与 Faber-Krahn 不等式如何与热核估计的稳定性相关联？
• RQ3 能否在几何与分析条件的框架下，对纯跳跃过程稳定表征抛物 Harnack 不等式？
• RQ4 当跳跃核在无穷远处具有轻尾（如次级化过程）时，热核估计会发生什么变化？
• RQ5 小跳跃与大跳跃的标度函数如何影响整体热核行为与容量估计？

主要发现

• 在体积加倍与温和跳跃核界下，论文建立了 $ \mathrm{UHK}(\phi_j, \phi_c) $，即两面热核估计，其中 $ \phi_j(r) = r^{\alpha_1} \vee r^\beta $ 且 $ \phi_c(r) = r^\beta $。
• 证明了对于次级过程 $ Y_t = X_{S_t} $，有 $ \mathrm{UHK}(\phi_j, \phi_c) $ 成立，其中 $ \phi_j(r) = r^{\alpha_1} \vee r^\beta $，且 $ \alpha_1 = \gamma_1 \beta $，即使 $ \gamma_2 > 1 $（表明为轻尾）。
• 在给定假设下，热核满足：当 $ t \leq 1 $ 时，$ p(t,x,y) \asymp \frac{1}{V(x,t^{1/\alpha_1})} \wedge (t J(x,y)) $；当 $ t \geq 1 $ 时，$ p(t,x,y) \asymp \frac{1}{V(x,t^{1/\beta})} $。
• 通过热核上界与 Abelian-Tauberian 定理，建立了速率 $ r^{\alpha_1} \vee r^\beta $ 的 Faber-Krahn 不等式。
• 退出时间满足 $ \mathbb{E}^x[\tau_{B(x_0,r)}] \asymp r^{\alpha_1} \vee r\beta $，相对容量满足 $ \mathrm{cap}_Y(B(x_0,r), B(x_0,2r)) \asymp \frac{V(x_0,r)}{r^{\alpha_1}} \vee \frac{V(x_0,r)}{r^\beta} $。
• 在链条件成立下，完整的抛物 Harnack 不等式 $ \mathrm{HK}(\phi_j, \phi_c) $ 成立，证实了过程的路径连续性与 Harnack 正则性。