[论文解读] $C^{\sigma+\alpha}$ regularity for concave nonlocal fully nonlinear elliptic equations with rough kernels

Joaquim Serra|arXiv (Cornell University)|May 5, 2014

Nonlinear Partial Differential Equations参考文献 6被引用 9

一句话总结

本文建立了针对阶数 $\sigma \in (0,2)$ 的凹非局部完全非线性椭圆方程在 $L^0(\sigma)$ 类粗糙核下的 $C^{\sigma+\alpha}$ 内部正则性估计。通过利用一个 Liouville 定理与一种爆破（紧致性）过程，作者证明了当外部数据属于 $C^\alpha$ 时，此类方程的解在单位球内部具有 $C^{\sigma+\alpha}$ 正则性，从而解决了非局部正则性理论中的两个开放问题。

ABSTRACT

We establish $C^{\sigma+\alpha}$ interior estimates for concave nonlocal fully nonlinear equations of order $\sigma\in(0,2)$ with rough kernels. Namely, we prove that if $u\in C^{\alpha}(\mathbb R^n)$ solves in $B_1$ a concave translation invariant equation with kernels in $\mathcal L_0(\sigma)$, then $u$ belongs to $C^{\sigma+\alpha}(\overline{ B_{1/2}})$, with an estimate. More generally, our results allow the equation to depend on $x$ in a $C^\alpha$ fashion. Our method of proof combines a Liouville theorem and a blow-up (compactness) procedure. Due to its flexibility, the same method can be useful in different regularity proofs for nonlocal equations.

研究动机与目标

• 解决关于 $C^{\sigma+\alpha}$ 正则性是否对属于 $L^0(\sigma)$ 类（即无需 $C^2$ 光滑性条件）的粗糙核凹非局部完全非线性方程成立的开放问题。
• 为具有 $x$ 的 $C^\alpha$ 依赖性的非平移不变方程建立类似 Schauder 的 $C^{\sigma+\alpha}$ 估计。
• 证明当核为粗糙时，$C^\alpha$ 外部数据对于 $C^{\sigma+\alpha}$ 内部正则性是必要的，因为有界外部数据不足以保证正则性。
• 发展一种基于爆破与 Liouville 论证的稳健方法，可适用于多种非局部正则性问题。
• 展示当核为粗糙时，解可能因高度振荡的外部数据而损失 $C^{\sigma+\alpha}$ 正则性。

提出的方法

• 采用结合 Liouville 型定理的爆破（紧致性）过程来证明正则性估计。
• 使用通过仅满足逐点有界性 $\lambda |y|^{-n-\sigma} \leq K(y) \leq \Lambda |y|^{-n-\sigma}$ 的粗糙核定义的极值算子 $M^-_{L^0}$，无需光滑性假设。
• 采用反证法：假设沿某序列有 $\|u_m\|_{C^{\sigma+\alpha}} \to \infty$，并通过增量商的积分估计导出矛盾。
• 分析在振荡外部数据下二阶增量差 $\delta^2 u(x,y) = \frac{1}{2}(u(x+y)+u(x-y)-2u(x))$ 的行为。
• 通过构造显式反例，使用快速振荡的外部数据 $\text{sign} \, \sin(m\pi x)$，证明 $C^\alpha$ 外部正则性是最优的。
• 利用障碍函数与摄动估计控制解在边界附近的增长，依赖于外部数据的 $C^\alpha$ 正则性。

实验结果

研究问题

• RQ1 对于属于 $L^0(\sigma)$ 类（即无需 $C^2$ 光滑性条件）的粗糙核凹非局部方程，$C^{\sigma+\alpha}$ 正则性是否成立？
• RQ2 能否为具有 $x$ 的 $C^\alpha$ 依赖性的非平移不变非局部方程建立类似 Schauder 的 $C^{\sigma+\alpha}$ 估计？
• RQ3 当核为粗糙时，$C^\alpha$ 外部数据正则性是否对 $C^{\sigma+\alpha}$ 内部正则性是必要的？
• RQ4 爆破与 Liouville 定理的方法能否推广至证明非凹情形下非局部方程的正则性？
• RQ5 具有粗糙核的非局部算子对外部数据中的高频振荡有多敏感？这种敏感性是否会导致 $C^{\sigma+\alpha}$ 正则性失效？

主要发现

• 若外部数据属于 $C^\alpha(R^n \setminus B_1)$，则属于 $L^0(\sigma)$ 类粗糙核的凹非局部方程在 $B_{1/2}$ 内部的解具有 $C^{\sigma+\alpha}$ 正则性，且存在定量估计。
• $C^\alpha$ 外部数据假设是紧致的：存在解序列，其外部数据有界但 $C^{\sigma+\alpha}$ 半范数发散，表明 $C^\alpha$ 是必要的。
• 证明方法基于 Liouville 定理与爆破分析，具有高度灵活性，可推广至其他非局部正则性问题。
• 对于属于 $L^\alpha$ 类的核（即满足尺度不变 $C^\alpha$ 的核），即使仅要求外部数据有界，$C^{\sigma+\alpha}$ 正则性依然成立。
• 证明通过构造显式反例，使用振荡外部数据 $\text{sign} \, \sin(m\pi x)$，表明若无 $C^\alpha$ 外部正则性，$C^{\sigma+\alpha}$ 正则性将不成立。
• 关键矛盾源于在两个接近点处比较 $\delta^2 u$ 的积分与核权重，其中外部数据的振荡行为迫使差值存在非零下界，从而与假设的 Hölder 连续性矛盾。