[论文解读] Heat Kernels for Non-symmetric Non-local Operators

Zhen-Qing Chen, Xicheng Zhang|arXiv (Cornell University)|Mar 27, 2017

advanced mathematical theories参考文献 34被引用 9

一句话总结

本文综述了非对称非局部算子的热核估计的最新进展，重点在于通过扰动方法和 Lévy 系统技术建立存在性及精确的双边估计。研究结果表明，在跳跃核满足适当条件时，热核与稳定类似基核保持可比较性，将经典的 Aronson 型估计推广至具有可变指数和非局部扰动的非对称情形。

ABSTRACT

We survey the recent progress in the study of heat kernels for a class of non-symmetric non-local operators. We focus on the existence and sharp two-sided estimates of the heat kernels and their connection to jump diffusions.

研究动机与目标

• 建立欧氏空间中非对称非局部算子的热核存在性及精确双边估计。
• 将经典的 Aronson 型估计推广至非对称和可变指数的非局部算子。
• 通过提供 |x| ≤ t^{1/α} 情况下的完整论证，弥补 [26, (3.20)] 证明中的漏洞。
• 分析非局部扰动对热核行为的影响，特别是针对非负性和可比较性条件。
• 通过 Feynman-Kac 变换框架，将热核估计与跳跃扩散理论及 Lévy 系统联系起来。

提出的方法

• 利用 Lévy 系统表示法刻画相关马尔可夫过程的转移密度和跳跃动力学。
• 通过级数展开 ∑_{n=0}^∞ q^κ_n(t,x,y) 应用递归扰动方案，其中每一项通过涉及非局部算子 S^κ 的迭代积分定义。
• 将非局部生成元表示为 ∫(f(x+z)−f(x)−∇f(x)·z𝟏_{|z|≤1}) j^κ(x,z) dz，其中 j^κ(x,z) 由具有可变指数 α(x) 的幂律核给出。
• 采用冻结系数法推导可变指数算子的精确边界，利用 α(x) 的 Hölder 连续性。
• 应用 Feynman-Kac 变换下的稳定性结果，以在乘法扰动下保持热核估计。
• 利用 Lévy-Khintchine 表示法刻画 Lévy 指标，并推导底层 Lévy 过程的路径性质。

实验结果

研究问题

• RQ1 在何种条件下，非对称非局部算子会存在具有精确双边估计的热核？
• RQ2 非局部扰动如何影响热核与基稳定类似核的可比较性？
• RQ3 在何种条件下可保证非对称非局部算子的基本解的非负性？
• RQ4 Aronson 型估计能否推广至具有 Hölder 连续指数函数的可变指数非局部算子？
• RQ5 Feynman-Kac 变换如何保持非对称跳跃扩散的热核估计？

主要发现

• 对于跳跃密度 j^κ(x,z) 满足 0 < c₁/|z|^{d+α} ≤ j^κ(x,z) ≤ c₂/|z|^{d+α} 的非对称非局部算子，热核 q^κ(t,x,y) 在 (0,T] × ℝ^d × ℝ^d 上满足 q^κ(t,x,y) ≍ p(t,x,y)。
• 若 κ(x,z) ≥ −𝒜(d,−α)/𝒜(d,−β) |z|^{β−α} 几乎处处成立，则基本解 q^κ(t,x,y) 的非负性得以保证。
• 通过为 |x| ≤ t^{1/α} 情况提供完整估计，弥补了 [26, (3.20)] 证明中的漏洞，所得边界比先前声称的更优。
• 在 α(x) 的 Hölder 连续性及 κ(x,z) 的适当有界性条件下，可变指数算子 𝒟f(x) = ∫(f(x+z)−f(x)−∇f(x)·z𝟏_{|z|≤1}) κ(x,z)/|z|^{d+α(x)} dz 的热核被证明具有双边估计。
• 在对称与非对称跳跃过程下，Feynman-Kac 变换下的热核估计稳定性得以确立。
• 递归级数 ∑_{n=0}^∞ q^κ_n(t,x,y) 收敛，并求解扰动演化方程 ∂_t u = (ℒ + S^κ)u，其中 S^κ 作用于空间变量 z。