[论文解读] Regularity for fully nonlinear nonlocal parabolic equations with rough kernels

Joaquim Serra|arXiv (Cornell University)|Jan 18, 2014

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

一句话总结

本文通过一种新颖的Liouville型定理和爆破/紧致性方法，建立了具有粗糙核的完全非线性非局部抛物方程的粘性解在空间和时间上的正则性。证明了有界解在空间上具有 Hölder 指数 $\beta < \min\{\sigma, 1+\alpha\}$ 的 Hölder 连续性，在时间上具有指数 $\beta/\sigma$ 的 Hölder 连续性，将先前结果推广至抛物情形及 $\sigma \leq 1$ 的情况。

ABSTRACT

We prove space and time regularity for solutions of fully nonlinear parabolic integro-differential equations with rough kernels. We consider parabolic equations $u_t = \I u$, where $\I$ is translation invariant and elliptic with respect to the class $\mathcal L_0(σ)$ of Caffarelli and Silvestre, $σ\in(0,2)$ being the order of $\I$. We prove that if $u$ is a viscosity solution in $B_1 imes (-1,0]$ which is merely bounded in $\R^n imes (-1,0]$, then $u$ is $C^β$ in space and $C^{β/σ}$ in time in $\overline{B_{1/2}} imes [-1/2,0]$, for all $β&lt; \min\{σ, 1+α\}$, where $α&gt;0$. Our proof combines a Liouville type theorem ---relaying on the nonlocal parabolic $C^α$ estimate of Chang and Dávila--- and a blow up and compactness argument.

研究动机与目标

• 建立完全非线性非局部抛物方程在类 $\mathcal{L}_0(\sigma)$ 中具有粗糙核的内部正则性估计，其中 $\sigma \in (0,2)$。
• 在相同粗糙核假设下，将 $C^{1+\alpha}$ 正则性理论从椭圆型推广至抛物型方程。
• 解决在非局部设定下，增量商的 $L^\infty$ 范数全局控制不足的问题，该问题阻碍了经典迭代方法的应用。
• 提出一种基于Liouville型定理和爆破/紧致性方法的新证明策略，其适用范围超越了先前方法的局限。
• 证明 $\sigma \leq 1$ 情况下的正则性结果，此时经典 $C^{1+\alpha}$ 估计因远处振荡的强烈影响而失效。

提出的方法

• 为全局解的非局部抛物方程 $u_t = \tilde{I}u$ 建立一个Liouville型定理，证明有界全局解若一阶矩为零，则必为仿射函数。
• 使用爆破与紧致性方法：在关注点附近对解进行缩放，并从一系列缩放函数中提取极限解。
• 应用Chang与Dávila的非局部抛物型 $C^\alpha$ 估计，控制缩放解的增长，确保其收敛至全局解。
• 在缩放过程中利用最小二乘法的最优性条件（零均值与线性项消失），以增强对称性并控制极限行为。
• 通过在扩展的抛物柱体 $Q_R^{\sigma_m}$ 上对增量商的振荡进行递推估计，控制缩放解的增长。
• 在缩放方程中取极限，证明极限解满足平移不变的、椭圆型的非局部方程，若解不光滑则导致矛盾。

实验结果

研究问题

• RQ1 能否为属于 $\mathcal{L}_0(\sigma)$ 的粗糙核完全非线性非局部抛物方程的粘性解建立空间 $C^{\beta}$ 和时间 $C^{\beta/\sigma}$ 正则性？
• RQ2 由于增量商的全局 $L^\infty$ 控制丧失，经典迭代方法是否在非局部方程与粗糙核下失效？
• RQ3 能否利用Liouville型定理绕过非局部设定下迭代方法的失败，从而推导出内部正则性估计？
• RQ4 在粗糙核假设下，是否可将 $C^{1+\alpha}$ 正则性结果推广至 $\sigma \leq 1$ 的情形，此时先前方法失效？
• RQ5 在非局部抛物方程与粗糙核背景下，对于在 $\mathbb{R}^n \times (-1,0]$ 上仅有界的解，其最优正则性阈值是什么？

主要发现

• 在 $\mathbb{R}^n \times (-1,0]$ 上有界的解 $u$，若在 $B_1 \times (-1,0]$ 上满足 $u_t = \mathrm{I}u$，则在 $\overline{B_{1/2}} \times [-1/2,0]$ 上具有空间 $C^\beta$ 和时间 $C^{\beta/\sigma}$ 正则性，对所有 $\beta < \min\{\sigma, 1+\alpha\}$ 成立。
• 正则性阈值 $\beta < \min\{\sigma, 1+\alpha\}$ 是最优的：当 $\sigma \leq 1$ 时，最优空间正则性为 $C^{\sigma - \epsilon}$；当 $\sigma > 1$ 时，为 $C^{1+\alpha - \epsilon}$。
• 该证明引入了一种基于Liouville定理和爆破/紧致性方法的新策略，避免了因缺乏全局 $L^\infty$ 控制而导致经典迭代方案失效的问题。
• 该方法具有灵活性，可推广至具有时间依赖性的非局部方程以及边界正则性问题。
• 结果在 $\sigma \in (0,2)$ 上一致成立，包括 $\sigma \leq 1$ 的情形，而此前的 $C^{1+\alpha}$ 估计需依赖更光滑的核。
• 紧致性论证在假设缩放序列不收敛于仿射函数时产生矛盾，从而证明解必为正则的。