[论文解读] Uniform Hölder Estimates on Semigroups Generated by Non-Local Operators of Variable Order

Dejun Luo, Jian Wang|arXiv (Cornell University)|Mar 13, 2014

advanced mathematical theories参考文献 21被引用 5

一句话总结

该论文在指数函数 $\alpha(x)$ 和跳跃强度 $n(x,z)$ 的适度正则性条件下，利用概率耦合方法，为由变指数非局部算子生成的半群建立了统一的 Hölder 估计。关键结果是在 $\alpha(x)$ 为对数一致连续且 $n(x,z)$ 有界且一致连续时，半群具有 Hölder 连续性，将正则性理论推广至具有空间变跳跃指数的非局部过程。

ABSTRACT

We consider the non-local operator of variable order as follows $$Lf(x)= \int_{\R^d\setminus\{0\}}\big(f(x+z)-f(x)-\ \I_{\{|z|\le 1\}}\big)\frac{n(x,z)}{|z|^{d+α(x)}}\,dz.$$ Under mild conditions on $α(x)$ and $n(x,z)$, we establish the Hölder regularity for the associated semigroups. The proof is based on the probabilistic coupling method, and it successfully applies to both stable-like processes in the sense of Bass and time-change of symmetric stable processes.

研究动机与目标

• 为与变阶非局部算子相关的马尔可夫半群建立 Hölder 正则性。
• 将正则性理论从常阶稳定过程推广至具有空间变跳跃指数的算子。
• 确定确保半群 Hölder 连续性的 $\alpha(x)$ 和 $n(x,z)$ 的最小条件。
• 将概率耦合方法应用于具有变阶和非对称跳跃核的非局部生成元。
• 将结果推广至稳定类似过程及时间改变的对称稳定过程。

提出的方法

• 证明依赖于概率耦合方法，以控制两个耦合过程之间的距离。
• 通过函数 $f_n(|x-y|)$ 构造一个时空耦合方案，以估计耦合过程的生成元。
• 通过将耦合过程的生成元 $\widetilde{L}$ 分解为 $\widetilde{L}_1$ 和 $\widetilde{L}_2$ 来分析其性质，并对各部分进行估计。
• 关键估计涉及由于 $\alpha(x)$ 和 $n(x,z)$ 变化引起的跳跃核差异，利用条件 $\lim_{|x-y|\to 0} |\alpha(x)-\alpha(y)| \log \frac{1}{|x-y|} = 0$。
• 使用函数 $\varphi \in \mathscr{D}_{\alpha_0}$ 控制耦合时间的衰减，确保生成元中具有负漂移。
• 通过结合对生成元和耦合时间的估计，推导出半群 Hölder 范数的界。

实验结果

研究问题

• RQ1 在何种 $\alpha(x)$ 和 $n(x,z)$ 条件下，变阶非局部算子生成的半群具有 Hölder 连续性？
• RQ2 概率耦合方法能否推广至具有空间变跳跃指数的非局部算子？
• RQ3 对 $\alpha(x)$ 的对数一致连续性如何影响半群的正则性？
• RQ4 $n(x,z)$ 的对称性或有界性在确保 Hölder 正则性中起什么作用？
• RQ5 该结果能否应用于稳定类似过程和时间改变的稳定过程？

主要发现

• 在假设 (H) 下，包括 $\alpha(x)$ 的对数一致连续性以及 $n(x,z)$ 有界且一致连续，变阶非局部算子关联的半群具有统一的 Hölder 连续性。
• 通过控制耦合过程生成元的耦合方法建立 Hölder 连续性，从而导出负漂移条件。
• 关键估计 $\widetilde{L}f_n(|x-y|) \leq C_0 \varphi'(2\varepsilon) \varepsilon^{2-\alpha_0} < 0$ 确保了有限的期望耦合时间。
• 该结果适用于巴兹意义下的稳定类似过程以及时间改变的对称稳定过程。
• 当 $n(x,z) = n(x,-z)$ 或 $\inf \alpha(x) > 1$ 时，条件 (H4) 成立，涵盖了重要的非局部生成元类别。
• 半群的 Hölder 范数被有界为 $\|h\|_\infty \left[ \frac{1}{\int_0^\varepsilon \varphi(s) ds} - \frac{1}{t C_0 \varphi'(2\varepsilon) \varepsilon^{2-\alpha_0}} \right]$，提供了定量估计。