[论文解读] A priori Holder estimate, parabolic Harnack principle and heat kernel estimates for diffusions with jumps

Zhen-Qing Chen, Takashi Kumagai|ArXiv.org|Aug 29, 2008

Nonlinear Partial Differential Equations参考文献 11被引用 12

一句话总结

本文建立了与结合扩散和跳跃分量的非局部算子相关的抛物函数的先验 Hölder 估计以及抛物 Harnack 原理。推导了此类过程的精确双边热核估计，将经典结果推广至满足稳定类似缩放行为的一般 Lévy 核的跳跃-扩散过程。

ABSTRACT

In this paper, we consider the following type of non-local (pseudo-differential) operators $\LL $ on $\R^d$: $$ \LL u(x) =\frac12 \sum_{i, j=1}^d \frac{\partial}{\partial x_i} (a_{ij}(x) \frac{\partial}{\partial x_j}) + \lim_{\eps \downarrow 0} \int_{\{y\in \R^d: |y-x|>\eps\}} (u(y)-u(x)) J(x, y) dy, $$ where $A(x)=(a_{ij}(x))_{1\leq i, j\leq d}$ is a measurable $d imes d$ matrix-valued function on $\R^d$ that is uniform elliptic and bounded and $J$ is a symmetric measurable non-trivial non-negative kernel on $\R^d imes \R^d$ satisfying certain conditions. Corresponding to $\LL$ is a symmetric strong Markov process $X$ on $\R^d$ that has both the diffusion component and pure jump component. We establish a priori Hölder estimate for bounded parabolic functions of $\LL$ and parabolic Harnack principle for positive parabolic functions of $\LL$. Moreover, two-sided sharp heat kernel estimates are derived for such operator $\LL$ and jump-diffusion $X$. In particular, our results apply to the mixture of symmetric diffusion of uniformly elliptic divergence form operator and mixed stable-like processes on $\R^d$. To establish these results, we employ methods from both probability theory and analysis.

研究动机与目标

• 为一类结合扩散和跳跃分量的非局部算子所关联的有界抛物函数建立先验 Hölder 连续性。
• 证明此类算子的正抛物函数的抛物 Harnack 原理。
• 推导相关强马氏过程的双边精确热核估计。
• 将纯扩散或纯稳定类似过程的经典结果推广至具有一般缩放行为的混合跳跃-扩散过程。
• 统一非局部算子中变系数与奇异跳跃核的研究中的概率与分析方法。

提出的方法

• 使用一个非局部算子 $\mathcal{L}$，其定义为一致椭圆散度型扩散部分与具有核 $J(x,y)$ 的奇异积分跳跃部分之和，其中 $J(x,y) \leq \kappa_0 |x-y|^{-d-\beta}$。
• 应用概率技术，包括空间-时间集合的退出时间与命中概率，以推导转移密度的估计。
• 采用一个时间-空间过程 $Z_t = (V_t, X_t)$，其具有反向时间演化，以分析命中概率并构造耦合论证。
• 使用函数 $\widetilde{\phi}(r) = \phi(r) \wedge r^2$ 来处理不同缩放范围，特别是小跳跃与大跳跃的情形。
• 基于中间时间步长 $t/N$ 应用链式论证，以在短时间范围内推导下界，此时出现高斯型衰减。
• 依赖比较原理与先前工作的估计（例如，[CK2], [SV]），并将其适配至当前设定，其中一般 $\phi$ 满足 (1.7) 与 (1.8)。

实验结果

研究问题

• RQ1 在何种条件下，具有混合扩散与跳跃分量的非局部算子的抛物 Harnack 原理成立？
• RQ2 对于满足稳定类似缩放行为的一般 Lévy 核的跳跃-扩散过程，其精确双边热核估计是什么？
• RQ3 能否为这类非局部算子的有界抛物函数建立先验 Hölder 正则性？
• RQ4 跳跃核 $J(x,y)$ 的缩放特性如何影响热核的正则性与衰减行为？
• RQ5 经典结果在扩散过程与稳定过程中的适用性，在具有变系数与非齐次跳跃强度的一般混合情形下，能推广到何种程度？

主要发现

• 为 $\mathcal{L}$ 的有界抛物函数建立了先验 Hölder 估计，确保在一般跳跃-扩散动力学下的局部正则性。
• 抛物 Harnack 原理成立：对任意 $\delta > 0$，存在 $c_1 > 0$，使得对非负抛物函数 $h$，有 $\sup_{Q(\delta\widetilde{\phi}(R),z,R)} h \leq c_1 \inf_{B(z,R)} h(0,\cdot)$。
• 推导出双边精确热核估计：当 $t \lesssim r^2$ 时，$p(t,x,y) \asymp t^{-d/2} \exp(-c r^2/t)$；当 $t \gtrsim r^2$ 时，$p(t,x,y) \asymp t \cdot |x-y|^{-d} \phi(|x-y|)^{-1}$，其中 $r = |x-y|$。
• 证明了下界：当 $|x-y| \leq c_2 \widetilde{\phi}^{-1}(t)$ 时，有 $p(t,x,y) \geq c_1 (\widetilde{\phi}^{-1}(t))^{-d}$，其中 $\widetilde{\phi}(r) = \phi(r) \wedge r^2$。
• 热核在长时间尺度下表现出稳定类似行为，在短时间尺度下呈现高斯型衰减，具体取决于 $\phi$ 的缩放特性。
• 结果适用于一致椭圆扩散与混合稳定类似过程的混合情形，将已知估计推广至非齐次、变系数设定。