[论文解读] On Schauder estimates for a class of nonlocal fully nonlinear parabolic equations

Hongjie Dong, Hong Zhang|arXiv (Cornell University)|Apr 1, 2016

Nonlinear Partial Differential Equations参考文献 19被引用 3

一句话总结

本文建立了具有粗糙、非对称核（阶数 $σ \in (0,2)$）的凹型完全非线性非局部抛物方程的Schauder估计，证明在数据和核具有Hölder连续性假设下，解具有 $C^{1+\alpha/\sigma,\sigma+\alpha}$ 正则性。主要贡献在于将Evans-Krylov型估计推广至非对称、非光滑核的情形，且在 $\sigma \to 2$ 时保持一致有界，并作为推论得出关于非局部椭圆方程的新结果。

ABSTRACT

We obtain Schauder estimates for a class of concave fully nonlinear nonlocal parabolic equations of order $σ\in (0,2)$ with rough and non-symmetric kernels. As a application, we prove that the solution to a translation invariant equation with merely bounded data is $C^σ$ in $x$ variable and $Λ^1$ in $t$ variable, where $Λ^1$ is the Zygmund space.

研究动机与目标

• 将Schauder估计推广至具有非对称和粗糙核的完全非线性非局部抛物方程，这些情形未被先前假设核对称性或光滑性的结果所覆盖。
• 证明在仅具有有界数据的平移不变方程中，解在空间上为 $C^{\sigma}$，在时间上为 $\Lambda^1$，即使核无正则性假设。
• 为具有粗糙和非对称核的非局部椭圆方程推导新的Schauder估计，这是该设定下的新贡献。
• 在 $\sigma \to 2$ 的极限下建立一致有界性，从而在局部情形下恢复经典Schauder估计。

提出的方法

• 作者采用爆破分析与Liouville型定理来证明正则性估计，无需假设核的对称性或光滑性。
• 他们引入经典插值不等式的改进版本，以控制解在空间和时间变量上的Hölder半范数。
• 关键技术步骤包括构造一个截断函数，并利用非局部版本的 $\Lambda^1$ 时间正则性来控制时间振荡。
• 证明依赖于尺度变换和局部化技术，以在 dyadic 柱体中推导先验估计，利用方程的凹性。
• 他们建立了解在环形区域中振荡的递归衰减估计，从而导出空间和时间上的Hölder正则性。
• 该方法通过时间平均化论证可同时应用于抛物与椭圆方程，即将椭圆情形约化为抛物情形。

实验结果

研究问题

• RQ1 能否在不假设核光滑性或对称性的前提下，为具有非对称和粗糙核的完全非线性非局部抛物方程建立Schauder估计？
• RQ2 具有有界数据和粗糙核的平移不变非局部抛物方程的解的最优正则性是什么？
• RQ3 正则性估计在 $\sigma \to 2$ 时的行为如何？是否能恢复经典Schauder估计？
• RQ4 Evans-Krylov定理能否推广至非对称核，且无需核具有 $C^2$ 正则性？
• RQ5 Zygmund空间 $\Lambda^1$ 在刻画非局部方程时间正则性中起什么作用？

主要发现

• 方程 $u_t = \inf_{a \in \mathcal{A}}(L_a u + f_a)$ 的解 $u$ 满足先验估计 $[u]_{1+\alpha/\sigma, \sigma+\alpha; Q_{1/2}} \leq C \|u\|_{\alpha/\sigma, \alpha; (-1,0) \times \mathbb{R}^d} + C C_0$，其中 $C_0 = \sup_a [f_a]_{\alpha/\sigma, \alpha; Q_1}$。
• 估计中的常数 $C$ 仅依赖于 $d, \lambda, \Lambda, \alpha, A, \sigma$，且在 $\sigma \to 2$ 时保持一致有界，确保与经典理论的连续性。
• 即使核为非对称且粗糙，具有有界数据的平移不变方程的解也被证明在空间上为 $C^\sigma$，在时间上为 $\Lambda^1$。
• 作者证明了在 $f_a$ 和 $K_a$ 具有Hölder连续性假设下，对任意 $\alpha \in (0, \hat{\alpha})$，其中 $\hat{\alpha} \in (0,1)$ 依赖于 $d, \sigma, \lambda, \Lambda$，均有 $C^{1+\alpha/\sigma, \sigma+\alpha}$ 正则性。
• 非局部抛物方程的结果蕴含了关于具有粗糙和非对称核的非局部椭圆方程的新Schauder估计，此前在该设定下尚无此类结果。
• 基于爆破分析与Liouville型定理的证明方法，可在不依赖于取消条件 $\int_{S_r} y K_a(t,x,y) \, ds = 0$（当 $\sigma = 1$ 时）的前提下处理非对称核，尽管在 $\sigma = 1$ 的情形中仍假设了该条件。