[论文解读] Estimates of Dirichlet heat kernel for symmetric Markov processes

Tomasz Grzywny, Kyung-Youn Kim+1 more|arXiv (Cornell University)|Dec 9, 2015

Nonlinear Partial Differential Equations参考文献 44被引用 10

一句话总结

本文在 $C^{1,1}$ 开集内，针对受各向同性单峰 Lévy 过程（满足弱标度条件）支配的对称纯跳跃马尔可夫过程，建立了狄利克雷热核的精确双边估计。通过结合潜在论与路径分析的创新方法，作者推导出显式界，从而得到具有精确衰减速率的尺度不变边界哈纳克不等式与格林函数估计。

ABSTRACT

We consider a large class of symmetric pure jump Markov processes dominated by isotropic unimodal Lévy processes with weak scaling conditions. First, we establish sharp two-sided heat kernel estimates for these processes in $C^{1,1}$ open sets. As corollaries of our main results, we obtain sharp two-sided Green function estimates and a scale invariant boundary Harnack inequality with explicit decay rates in $C^{1,1}$ open sets.

研究动机与目标

• 将狄利克雷热核的精确估计从 Lévy 过程推广至更广泛的满足弱标度条件的对称纯跳跃马尔可夫过程。
• 为在 $C^{1,1}$ 开集外被吸收的过程的转移密度建立双边估计。
• 为这类域中调和函数推导出具有显式衰减速率的尺度不变边界哈纳克不等式。
• 作为热核界的一个推论，提供精确的格林函数估计。
• 将先前关于分数阶拉普拉斯算子与单峰 Lévy 过程的结果统一并推广至非各向同性、非 Lévy 的过程，其跳跃具有指数衰减或有限范围特征。

提出的方法

• 通过满足 $\underline{c}(R/r)^{\underline{\alpha}} \leq \phi(R)/\phi(r) \leq \overline{C}(R/r)^{\overline{\alpha}}$ 的函数 $\phi$，在 Lévy 测度上使用弱标度条件，其中 $0 < r \leq R$。
• 通过 $\nu(r) = \phi(r)^{-1} r^{-d}$ 构造跳跃核，以确保与弱标度和可积性相容。
• 应用半群性质与狄尼金公式，以控制生成元与转移密度。
• 使用关键结构估计 $p_D(t,x,y) \asymp \mathbb{P}_x(\tau_D > t) \mathbb{P}_y(\tau_D > t) p(t,x,y)$。
• 验证 [7, 假设 A–D] 与 [35, 第4节] 中的条件，以建立具有尺度与平移不变性的边界哈纳克不等式 (BHI)。
• 通过格林函数估计与命中时间概率，比较正则调和函数，证明边界哈纳克不等式。

实验结果

研究问题

• RQ1 能否为跳跃核满足弱标度条件的对称马尔可夫过程（超越 Lévy 情形）建立精确的双边狄利克雷热核估计？
• RQ2 此类过程在 $C^{1,1}$ 域中格林函数与调和函数的精确衰减速率为何？
• RQ3 对于具有弱标度 Lévy 测度的非各向同性、非 Lévy 对称马尔可夫过程，是否存在尺度不变的边界哈纳克不等式？
• RQ4 生存概率 $\mathbb{P}_x(\tau_D > t)$ 与自由热核如何共同决定有界域中的狄利克雷热核？
• RQ5 该因子分解 $p_D(t,x,y) \asymp \mathbb{P}_x(\tau_D > t) \mathbb{P}_y(\tau_D > t) p(t,x,y)$ 在具有指数衰减或有限范围跳跃的非 Lévy 过程中能在多大程度上被推广？

主要发现

• 在 $C^{1,1}$ 开集内，针对受各向同性单峰 Lévy 过程（满足弱标度条件）支配的对称纯跳跃马尔可夫过程，建立了狄利克雷热核 $p_D(t,x,y)$ 的精确双边估计。
• 格林函数 $G_D(x,y)$ 满足：当 $x,y$ 属于半径 $r<1$ 的球内时，有 $G_D(x,y) \asymp \phi(|x-y|) \cdot |x-y|^{-d}$，其中常数仅依赖于 $\phi$、$d$ 与标度参数。
• 存在具有显式衰减速率的尺度不变边界哈纳克不等式：对任意 $x,y \in D \cap B(z,r/2)$，有 $\frac{f(x)}{f(y)} \leq c_1 \frac{g_1(x)}{g_1(y)}$，其中 $g_1$ 是在 $U$ 中的正则调和函数。
• 边界哈纳克不等式与格林函数估计中的常数与位置 $x_0$ 及尺度 $r<1$ 无关，确保了平移与尺度不变性。
• 结果可推广至跳跃核呈指数衰减（$\beta \in (0,\infty)$）的对称马尔可夫过程与有限范围跳跃过程，从而超越了 Lévy 过程的范畴。
• 证明依赖于验证 [7, 假设 A–D] 与 [35, 第4节] 中的条件，从而获得具有统一常数的稳健、不变形式的边界哈纳克不等式。