[论文解读] Heat kernels for non-symmetric diffusion operators with jumps

Zhen-Qing Chen, Eryan Hu+2 more|arXiv (Cornell University)|Nov 17, 2016

Nonlinear Partial Differential Equations参考文献 13被引用 5

一句话总结

该论文在 $ d \geq 2 $ 维空间中，针对具有 Lévy 型跳跃的时间依赖、非对称扩散算子，建立了热核的存在性、唯一性以及精确的双侧估计。在扩散系数与跳跃核具有较弱正则性条件的前提下，作者利用概率与分析方法，推导出最优的上界与下界、梯度估计及分数阶导数估计，将经典热核理论推广至非局部、非对称情形。

ABSTRACT

For $d\geq 2$, we establish the existence and uniqueness of heat kernels for a large class of time-dependent second order diffusion operator with jumps, which is the sum of time-dependent of a second order elliptic differential operators non-divergence form and a non-local $α$-stable-type operator with bounded time-dependent coefficient. Moreover, we obtain sharp two-sided estimates, gradient estimate and fractional derivative estimate for the heat kernels under some mild conditions. Our approach is mainly analytic but also uses some probabilistic techniques.

研究动机与目标

• 建立具有跳跃分量的时间非齐次、非对称扩散算子热核的存在性与唯一性。
• 在系数与跳跃核的正则性假设最小化的前提下，推导热核的精确双侧估计。
• 将梯度与分数阶导数估计推广至具有有界跳跃核的非局部、非对称算子。
• 为具有非 Lipschitz 系数与跳跃噪声的 SDE 提供严格的分析框架，包括其转移密度。

提出的方法

• 作者采用基于参数法的摄动方法，通过非跳跃部分的基本解与跳跃分量的迭代修正项，将热核表示为级数展开形式。
• 将热核 $ Z(t,x;s,y) $ 定义为后向柯尔莫哥洛夫方程 $ \partial_t Z + \mathscr{L}_t^a Z = 0 $ 的解，其中 $ \mathscr{L}_t^a $ 为二阶椭圆部分。
• 跳跃算子 $ \mathscr{L}^\kappa_t $ 通过有界核 $ \kappa(t,x,z) $ 建模，非局部积分项通过 Lévy 系统表示法进行控制，以处理跳跃贡献。
• 关键步骤在于利用 $ Z_0 $ 与摄动项 $ \Phi $ 的有界性，证明参数法级数的收敛性，估计形式为 $ (s-t)^{-d/2} $ 与 $ |x-y|^{-d-\alpha} $。
• 证明依赖于漂移项 $ b(t,x) $ 的 Kato 类条件，以确保摄动级数的可积性与稳定性。
• 通过关联过程的强 Feller 性质与马氏性，利用比较原理证明唯一性。

实验结果

研究问题

• RQ1 在扩散矩阵 $ a(t,x) $、漂移 $ b(t,x) $ 与跳跃核 $ \kappa(t,x,z) $ 的何种最小正则性条件下，热核存在且唯一？
• RQ2 对于具有 $ \alpha $-稳定型跳跃的非对称、时间依赖扩散算子，其热核的精确双侧估计为何？
• RQ3 在较弱假设下（包括 $ b \in $ Kato 类），能否推导出热核的梯度与分数阶导数估计？
• RQ4 当存在非 Lipschitz 系数与非局部跳跃时，转移密度的行为如何？

主要发现

• 在一致椭圆性、$ a(t,x) $ 的 Hölder 连续性及 $ b(t,x) \in $ Kato 类的条件下，$ d \geq 2 $ 时热核 $ p(t,x;s,y) $ 存在且唯一。
• 建立了精确的双侧估计：$ C^{-1} \left( t^{-d/2} \wedge (\kappa t)^{-d/\alpha} \right) \wedge \left( t^{-d/2} e^{-\lambda |x|^{2}/t} + \frac{\kappa t}{|x|^{d+\alpha}} \right) \leq p(t,x) \leq C \left( t^{-d/2} \wedge (\kappa t)^{-d/\alpha} \right) \wedge \left( t^{-d/2} e^{-\lambda^{-1} |x|^{2}/t} + \frac{\kappa t}{|x|^{d+\alpha}} \right) $。
• 导出了梯度估计：$ |\nabla_x p(t,x;s,y)| \lesssim t^{-1/2} p(t,x;s,y) $，表明热核在空间上具有正则性。
• 获得了分数阶导数估计：$ |\Delta^{\alpha/2}_x p(t,x;s,y)| \lesssim t^{-\alpha/2} p(t,x;s,y) $，反映了跳跃分量的非局部特性。
• 热核满足 Chapman-Kolmogorov 方程且非负，确保其作为转移密度具有概率一致性。
• 通过利用关联过程的强 Feller 性质与马氏性，采用比较论证方法，证明了热核的唯一性。