[论文解读] On Lp -theory for parabolic and elliptic integro-differential equations with scalable operators in the whole space

R. Mikulevíčius, C. Phonsom|arXiv (Cornell University)|May 23, 2016

advanced mathematical theories参考文献 6被引用 6

一句话总结

本文在全空间 $\mathbb{R}^d$ 上建立了具有可缩放、可能非对称 Lévy 测度的抛物型与椭圆型积分微分方程在 $L_p$-空间中的解的存在性与唯一性。通过验证与算子相关的一族向量场的 Hörmander 条件，并应用 Calderón–Zygmund 理论，本文在 Lévy 测度满足可缩放性与可积性假设下，证明了解的 $L_p$-估计，将分数阶 Sobolev 空间结果推广至一般可缩放算子。

ABSTRACT

Elliptic and parabolic integro-differential model problems are considered in the whole space. By verifying Hörmander condition, the existence and uniqueness is proved in L_{p}-spaces of functions whose regularity is defined by a scalable, possibly nonsymmetric, Levy measure. Some rough probability density function estimates of the associated Levy process are used as well.

研究动机与目标

• 在全空间 $\mathbb{R}^d$ 上建立具有可缩放、可能非对称 Lévy 测度的抛物型与椭圆型积分微分方程的 $L_p$-理论。
• 在由参考 Lévy 测度 $\pi_0$ 定义的基于 $L_p$ 的函数空间中，证明解的存在性与唯一性。
• 在 Lévy 测度满足可缩放性条件时，建立解的 $L_p$-估计，且估计结果在缩放下一致。
• 通过概率与调和分析工具，将已知的分数阶拉普拉斯算子结果推广至一般可缩放积分微分算子。

提出的方法

• 验证与积分微分算子 $L^\pi$ 相关的一族向量场的 Hörmander 条件，以确保算子的拟椭性。
• 利用 Calderón–Zygmund 分解与极大函数估计，控制弱型范数并推导 $L_p$-有界性。
• 在核函数满足衰减条件（特别是涉及核函数非对角衰减的平移不变性的条件 (5.5)）下，应用奇异积分算子的 $L_p$-估计。
• 通过关联 Lévy 过程的粗糙密度估计，控制算子在临界低正则性区域的行为。
• 依赖可缩放性假设（假设 D($\kappa,l$)）将符号 $\psi^\pi(\xi)$ 与参考符号 $\psi^{\pi_0}(\xi)$ 进行比较，确保在不同尺度下具有统一控制。
• 通过 Lévy–Itô 积分表示算子并利用 $\chi_\sigma(y)$ 进行截断，以受控方式处理非局部奇异性。

实验结果

研究问题

• RQ1 在何种 Lévy 测度 $\pi$ 的条件下，抛物型柯西问题 $\partial_t u = Lu - \lambda u + f$ 在基于 $L_p$ 的函数空间中存在唯一解？
• RQ2 当 Lévy 测度可缩放但未必对称或旋转不变时，能否建立解的 $L_p$-估计？
• RQ3 Hörmander 条件如何适用于具有普遍可缩放 Lévy 测度的非局部算子？其对拟椭性与正则性有何含义？
• RQ4 Calderón–Zygmund 理论在何种程度上可被推广至具有非光滑符号的非局部算子，尤其是在傅里叶乘子方法失效时？
• RQ5 参考测度 $\pi_0$ 在定义 $L_p$-函数尺度中的作用是什么？$\pi$ 相对于 $\pi_0$ 的可缩放性如何影响解的估计？

主要发现

• 本文证明了抛物型问题 (1.1) 与椭圆型问题 (1.2) 在基于 $L_p$ 的空间 $\mathcal{H}_p^{\pi_0}(E)$ 与 $H_p^{\pi_0}(\mathbb{R}^d)$ 中解的存在性与唯一性。
• 在可缩放性条件 (1.3) 与 $\pi$ 的可积性假设下，解估计 $\|u\|_{\mathcal{H}_p^{\pi_0}} \leq C\|f\|_{L_p(E)}$ 与 $\|u\|_{H_p^{\pi_0}} \leq C\|g\|_{L_p(\mathbb{R}^d)}$ 成立。
• 已验证与 $L^\pi$ 相关的向量场族满足 Hörmander 条件，从而确保算子的拟椭性，并使 Calderón–Zygmund 理论得以应用。
• 该方法即使在符号 $\psi^\pi(\xi)$ 关于 $\xi$ 不光滑时仍适用，从而避免了对标准傅里叶乘子理论的依赖。
• 结果将已知的分数阶拉普拉斯算子 $(-\Delta)^{\sigma/2}$ 的 $L_p$-估计推广至更广泛的可缩放、可能非对称的非局部算子类。
• 证明依赖于 Calderón–Zygmund 分解与弱型估计，关键的核衰减条件 (5.5) 确保了关联奇异积分算子在 $L_p$ 中的有界性。