[论文解读] Comparability and regularity estimates for symmetric nonlocal Dirichlet forms

Bartłomiej Dyda, Moritz Kaßmann|arXiv (Cornell University)|Sep 30, 2011

Advanced Harmonic Analysis Research参考文献 11被引用 10

一句话总结

本文通过核函数的有界性和衰减假设，建立了对标准分数阶拉普拉斯算子的对称非局部Dirichlet型形式在局部和全局范围内的可比较性的充分条件。证明了在核函数满足较弱的可积性和下界条件时，相应的能量形式满足一致可比较性和截断函数估计，从而为积分微分方程解的霍尔德正则性估计提供了支持。

ABSTRACT

The aim of this work is to study comparability of nonlocal Dirichlet forms. We provide sufficient conditions on the kernel for local and global comparability. As an application we prove a-priori estimates in Hölder spaces for solutions to integrodifferential equations. These solutions are defined with the help of symmetric nonlocal Dirichlet forms.

研究动机与目标

• 建立对称非局部Dirichlet型形式相对于分数阶拉普拉斯能量的局部可比较性的充分条件。
• 在核函数的温和假设下，推导出一致的截断函数估计（B），从而为非局部方程的正则性理论提供支持。
• 在全空间 ℝᵈ 中提供全局可比较性结果，将一般非局部能量与标准分数阶拉普拉斯算子联系起来。
• 刻画那些使得能量形式与标准分数阶索伯列夫能量可比较的核函数，即使核函数的有界性不一致。
• 通过可比较性和截断函数估计，将局部PDE的正则性技术推广至非局部算子。

提出的方法

• 引入一族通过核函数 $ k_{\beta}(x,y) $ 定义的对称非局部Dirichlet型形式，其中 $ \beta \in (\alpha_0, 2) $，并研究其与标准分数阶拉普拉斯能量的可比较性。
• 施加结构假设：核函数在环形区域上的上界（U0）、局部上界衰减（U1）和下界（L1），以确保可比较性。
• 利用普朗歇尔恒等式和傅里叶分析，将能量形式与傅里叶变换的 $ L^2 $-范数联系起来，通过 $ \int |e^{i\xi \cdot z} - 1|^2 L(z) \, dz $ 实现比较。
• 应用具有受控能量增长的截断函数 $ \tau \in C_c^\infty $，即 $ \sup_x \int (\tau(y) - \tau(x))^2 k(x,y) \, dy \leq c \rho^{-\alpha} $，以模仿局部Dirichlet型形式的技术。
• 推导弱哈纳克不等式，并利用其获得积分微分方程解的霍尔德正则性估计。
• 通过不等式 $ \mathcal{E}^k(u,u) \leq c(\mathcal{E}^\alpha(u,u) + \|u\|_{L^2}^2) $ 证明全局可比较性，其中常数对 $ \alpha \to 2^- $ 的依赖关系是精确的。

实验结果

研究问题

• RQ1 在何种核函数 $ k(x,y) $ 条件下，非局部Dirichlet型形式与标准分数阶拉普拉斯能量在局部范围内可比较？
• RQ2 在核函数满足较弱的可积性和下界假设时，能否为非局部形式建立一致的截断函数估计？
• RQ3 对于非局部能量与分数阶索伯列夫能量全局可比较的核函数，其精确刻画是什么？
• RQ4 如何利用可比较性结果推导出非局部积分微分方程解的先验霍尔德估计？
• RQ5 在 $ \alpha \to 2^- $ 时，何种条件能保证可比较性和截断函数估计中的常数保持一致？

主要发现

• 定理1表明：若核函数满足（U0）、（U1）和（L1），则局部可比较性（A）和截断函数估计（B）均成立，且常数与 $ \alpha \in (\alpha_0, 2) $ 无关。
• 本文表明标准核函数 $ k_\alpha(x,y) \asymp |x-y|^{-d-\alpha} $ 满足这些条件，但结果可推广至非一致核函数，例如仅在 $ |x| \leq 0.1|y| $ 或反之支持的核函数。
• 建立了全局可比较性：在（U0）和（U1）条件下，有 $ \mathcal{E}^k(u,u) \leq c(\mathcal{E}^\alpha(u,u) + \|u\|_{L^2}^2) $，其中常数 $ c $ 依赖于 $ C_0, C_1, \alpha, d $，且当 $ C_0, C_1 $ 一致时，对 $ \alpha \in (\alpha_0, 2) $ 保持一致。
• 定理15提供了精确刻画：全局可比较性成立当且仅当条件（K2, $ r_0 $）成立，该条件控制核函数在角度方向上的下尾行为。
• 下界条件（L1）蕴含（K2, $ r_0 $）在 $ r_0 = 1 $ 时成立，且 $ \alpha $ 的一致性意味着（K2, $ r_0 $）中常数 $ c_0 $ 的一致性。
• 结果使得可将局部PDE的正则性技术转移到非局部方程中，通过弱哈纳克不等式导出解的霍尔德估计。