[论文解读] Factorization and estimates of Dirichlet heat kernels for non-local operators with critical killings

Soobin Cho, Panki Kim+2 more|arXiv (Cornell University)|Sep 6, 2018

Nonlinear Partial Differential Equations参考文献 45被引用 7

一句话总结

本论文在 $C^{1,1}$ 域和 $\mathbb{R}^d\setminus\{0\}$ 中，针对临界杀灭势能的非局部算子，建立了狄利克雷热核的精确双边估计，采用了一种超越标准卡托类的因式分解方法。关键结果提供了依赖于杀灭势能中乘法常数的显式衰减速率，统一证明了先前的结果，并将对称 Lévy 过程临界扰动的稳定性分析扩展至新范围。

ABSTRACT

In this paper we discuss non-local operators with killing potentials, which may not be in the standard Kato class. We first discuss factorization of their Dirichlet heat kernels in metric measure spaces. Then we establish explicit estimates of the Dirichlet heat kernels under critical killings in $C^{1,1}$ open subsets of $\mathbb{R}^d$ or in $\mathbb{R}^d\setminus\{0\}$. The decay rates of our explicit estimates come from the values of the multiplicative constants in the killing potentials. Our method also provides an alternative and unified proof of the main results of \cite{CKS10a, CKS10b, CKS-AOP}.

研究动机与目标

• 将狄利克雷热核估计的稳定性扩展至标准卡托类之外的临界杀灭势能。
• 在 $C^{1,1}$ 开集和 $\mathbb{R}^d\setminus\{0\}$ 中，为具有临界杀灭势能的非局部算子的狄利克雷热核建立显式双边估计。
• 为临界扰动下的热核估计提供一个统一的概率框架，特别是针对 $\alpha \in (1,2)$ 的对称 $\alpha$-稳定过程。
• 证明热核估计的衰减速率由杀灭势能中的乘法常数直接决定，而非仅由势能的可积性决定。

提出的方法

• 利用费曼-费曼-卡茨半群和与杀灭势能相关的加法泛函，对狄利克雷热核进行因式分解。
• 应用分数阶哈代不等式，以证明在 $C^{1,1}$ 域中形式为 $c_1 \delta_D(x)^{-\alpha}$ 的势能具有临界性。
• 使用概率技术，包括强马尔可夫性质以及前向与后向半群之间的对偶性，分析加法泛函的行为。
• 通过与结合尺度不变性和距离依赖衰减的参考函数 $q_\gamma(t,x,y)$ 进行比较，建立转移密度的统一有界性。
• 利用卡托类条件 $\mu \in \mathbf{K}_T(D)$ 控制加法泛函的增长，并确保相关半群的正则性。
• 通过控制收敛定理和单调收敛定理证明时间平均加法泛函的收敛性，从而识别出 Revuz 测度。

实验结果

研究问题

• RQ1 能否为不属于标准卡托类的临界杀灭势能的非局部算子，推导出狄利克雷热核的精确双边估计？
• RQ2 热核的衰减速率如何依赖于杀灭势能 $\kappa(x) = c_1 \delta_D(x)^{-\alpha}$ 中的乘法常数？
• RQ3 通过概率方法，能否将卡托类扰动下热核估计的稳定性扩展至临界杀灭势能？
• RQ4 是否存在一个统一的概率框架，能够恢复并扩展关于右截断稳定过程和反射稳定过程热核估计的先前结果？
• RQ5 分数阶哈代不等式在刻画非局部算子中反幂势能临界性方面起什么作用？

主要发现

• 对于非局部算子 $\mathcal{L} - \kappa$，其中 $\kappa(x) = c_1 \delta_D(x)^{-\alpha}$，其狄利克雷热核的上下界估计与函数 $q_\gamma(t,x,y)$ 可比较，其中 $\gamma = \alpha - 1$，$\alpha \in (1,2)$。
• 热核的衰减速率由杀灭势能 $\kappa(x) = c_1 \delta_D(x)^{-\alpha}$ 中的乘法常数 $c_1$ 显式决定，$c_1$ 越大，衰减越快。
• 该方法为参考文献 [18]、[19] 和 [20] 中的主要结果提供了替代且统一的证明，此前这些结果需针对不同类别的过程分别处理。
• 在 $\mathbb{R}^d \setminus \{0\}$ 中，方程 $\partial_t = -(-\Delta)^{\alpha/2} + g \cdot \nabla - \kappa(x)$ 的基本解满足与区域情形相同的双边估计。
• 通过在加法泛函上使用改进的卡托型条件，热核估计在临界杀灭扰动下保持稳定，即使势能不在标准卡托类中。
• 本文证明了与加法泛函 $A_t = \int_0^t \kappa(X_s^D) ds$ 相关的 Revuz 测度是良定义的，并通过时间平均极限满足所需的收敛性质。