[论文解读] Perturbation by non-local operators

Zhen-Qing Chen, Jieming Wang|arXiv (Cornell University)|Dec 29, 2013

Nonlinear Partial Differential Equations参考文献 28被引用 15

一句话总结

本文建立了非局部算子 $ \mathcal{L}^b = \Delta^{\alpha/2} + \mathcal{S}^b $ 的基本解 $ q^b(t,x,y) $ 的存在性、唯一性以及精确的双边估计，其中 $ \mathcal{S}^b $ 是由有界对称核 $ b(x,z) $ 驱动的非局部扰动。关键结果是在 $ b(x,z) $ 具有温和下界时，$ q^b $ 严格正、连续，并生成一个具有强 Feller 性质的保守 Feller 过程，唯一地解了该算子的局部鞅问题。

ABSTRACT

Suppose that $d\ge 1$ and $0

研究动机与目标

• 建立一类非对称非局部算子 $ \mathcal{L}^b = \Delta^{\alpha/2} + \mathcal{S}^b $（其中 $ 0 < \beta < \alpha < 2 $）的基本解 $ q^b(t,x,y) $ 的存在性与唯一性。
• 推导 $ q^b(t,x,y) $ 的精确双边估计，表明其行为关键依赖于扰动核 $ b(x,z) $ 的结构。
• 证明 $ q^b $ 唯一地确定一个具有强 Feller 性质的保守 Feller 过程 $ X^b $，并唯一地解了 $ (\mathcal{L}^b, \mathcal{S}(\mathbb{R}^d)) $ 的局部鞅问题。
• 将结果推广至 $ b(x,z) $ 不一定为小量的情形，通过缩放与扰动技术将其约化为 $ \|b\|_\infty $ 较小的情形。

提出的方法

• 通过 $ \alpha $-稳定过程转移密度的扰动，采用非局部 Feynman-Kac 半群方法构造基本解 $ q^b(t,x,y) $。
• 该方法依赖于 Lévy 系统公式来刻画跳跃测度 $ J^b(x,y) $，并证明其满足 $ c_1|x-y|^{-(d+\alpha)} \leq J^b(x,y) \leq c_2|x-y|^{-(d+\alpha)} $。
• 关键技术工具是截断 $ b_0(x,z) = b(x,z)\mathbf{1}_{\{|z| \leq 1\}} $，通过缩放将问题约化至小扰动情形。
• 证明使用了具有乘性泛函 $ F $ 的非局部 Feynman-Kac 半群 $ T^{b,F}_t $，该 $ F $ 由比值 $ J^b/J^{b_0} $ 导出，从而得到密度 $ \widetilde{q}(t,x,y) $。
• 通过证明生成元为 $ \mathcal{L}^{b,F} $ 的半群 $ T^{b,F}_t $ 与 $ \mathcal{L}^b $ 一致，且 $ \widetilde{q} $ 满足与 $ q^b $ 相同的半群，从而确立了局部鞅问题解的唯一性。
• 通过与稳定转移密度 $ p_0(t,x,y) $ 比较，导出精确估计：$ C_4 p_0(t,x,y) \leq q^b(t,x,y) \leq C_3 p_0(t,x,y) $，其中 $ t \in (0,1] $。

实验结果

研究问题

• RQ1 在何种 $ b(x,z) $ 条件下，非局部算子 $ \mathcal{L}^b = \Delta^{\alpha/2} + \mathcal{S}^b $ 允许存在严格正、连续的基本解？
• RQ2 对 $ q^b(t,x,y) $ 的精确双边估计如何依赖于 $ b(x,z) $ 的结构，特别是与梯度型扰动相比有何不同？
• RQ3 能否唯一地解 $ \mathcal{L}^b $ 的局部鞅问题？其解是否生成一个具有强 Feller 性质的保守 Feller 过程？
• RQ4 扰动核 $ b(x,z) $ 与跳跃强度 $ J^b(x,y) $ 之间有何关系？这又如何影响转移密度？

主要发现

• 在条件 $ b(x,z) \geq -\frac{\mathcal{A}(d,-\alpha)}{\mathcal{A}(d,-\beta)} |z|^{\beta - \alpha} $ 下，基本解 $ q^b(t,x,y) $ 存在，且在 $ (0,\infty) \times \mathbb{R}^d \times \mathbb{R}^d $ 上严格正且连续。
• 解 $ q^b $ 唯一地确定一个具有强 Feller 性质的保守 Feller 过程 $ X^b $，并唯一地解了 $ (\mathcal{L}^b, \mathcal{S}(\mathbb{R}^d)) $ 的局部鞅问题。
• 建立了精确的双边估计：$ C_4 p_0(t,x,y) \leq q^b(t,x,y) \leq C_3 p_0(t,x,y) $，其中 $ t \in (0,1] $，且 $ p_0 $ 为 $ \alpha $-稳定过程的转移密度。
• 估计结果表现出与扰动核类型密切相关的行为，与梯度型扰动形成鲜明对比，其推导基于与 Lévy 系统的比较及扰动技术。
• 该模型包含 SDE $ dX_t = dY_t + c(X_{t-}) dZ_t $，其中 $ Y $ 与 $ Z $ 是独立的对称 $ \alpha $-与 $ \beta $-稳定过程，且 $ b(x,z) = |c(x)|^\beta $，其解为强马尔可夫过程，生成元为 $ \mathcal{L}^b $。