[论文解读] Schauder estimates for an integro-differential equation with applications to a nonlocal Burgers equation

Cyril Imbert, Tianling Jin+1 more|arXiv (Cornell University)|Apr 25, 2016

Advanced Mathematical Physics Problems参考文献 9被引用 5

一句话总结

本文为一类具有非对称核的线性积分微分方程建立了Schauder估计，使非局部Burgers方程解的高阶正则性得以实现。通过引入一种扰动框架，该框架通过系数冻结和源项恢复有效对称性，作者证明了在源项和核具有$C^{\beta}$正则性时，解具有$C^{1+\beta}$正则性，从而完成了对具有$L^∞$初值的非局部Burgers方程的全局适定性理论。

ABSTRACT

We obtain Schauder estimates for a general class of linear integro-differential equations. The estimates are applied to a scalar non-local Burgers equation and complete the global well-posedness results obtained in \cite{ISV}.

研究动机与目标

• 为一类具有非对称、非偶核的线性积分微分方程建立Schauder型估计，这些方程超出了现有正则性理论的适用范围。
• 解决非局部Burgers方程核缺乏对称性的问题，该问题阻碍了对称或散度型算子已知Schauder估计的直接应用。
• 通过证明从$L^∞$初值出发的高阶正则性，完成对非局部Burgers方程的全局适定性理论。
• 为通过将核分解为对称部分与余项，实现非局部方程正则性的逐步提升提供一个框架。
• 将Schauder估计的适用范围扩展至流体力学和变分模型中出现的非局部方程，特别是具有非对称但Hölder连续核的方程。

提出的方法

• 作者通过冻结系数并引入一个主动源项，重新表述原始方程，将算子分解为对称部分$K$和余项$G$。
• 他们定义了一类更广泛的方程（7），其中核$K$和$G$满足特定的Hölder连续性和大小条件：$K$为偶函数且在时空上Hölder连续，$G$在时空上小且Hölder连续且有界。
• 对称部分$K$满足Schauder理论的标准假设，而$G$被视为低阶扰动。
• 该方法依赖于扰动论证：对称部分允许应用已有的Schauder估计，而余项$G$则通过其Hölder正则性和衰减性加以控制。
• 核心技术在于对扰动方程（7）的解导出先验的$C^{1+\beta}$估计，利用核的结构和源项$f$的正则性。
• 通过将该框架应用于非局部Burgers方程，将其中的核表示为由$w = u^2$导出的$m(t,x,y)$，并验证$K$和$G$满足所需的假设条件。

实验结果

研究问题

• RQ1 能否将Schauder估计扩展到不满足现有理论所要求标准对称性条件的非对称、非偶核的线性积分微分方程？
• RQ2 非局部Burgers方程核的非对称性是否阻碍了已知正则性结果的应用？若如此，是否可通过扰动框架克服这一障碍？
• RQ3 能否在核无对称性的情况下，从$L^∞$初值出发，为非局部Burgers方程的解建立高阶正则性（$C^{1+\beta}$）？
• RQ4 在利用核的结构和方程的抛物性质的前提下，解的正则性能够被提升到何种程度，超越$C^α$？
• RQ5 是否可以通过结合De Giorgi型结果获得的$C^α$正则性与新Schauder理论获得的$C^{1+\beta}$估计，实现对具有$L^∞$初值的非局部Burgers方程的全局适定性？

主要发现

• 本文为一类具有非对称核的线性积分微分方程（7）建立了新的Schauder估计，证明了在$K$和$G$满足Hölder正则性假设时，解的$C^{1+\beta}$正则性由解的$L^∞$范数和源项$f$的$C^\beta$范数控制。
• 关键结果（定理1.1）提供了定量估计：$\|u\|_{C^{1+\beta}_{x,t}((-1,0]\times\mathbb{R}^n)} \leq C(\|u\|_{L^∞} + \|f\|_{C^\beta})$，其中常数$C$仅依赖于$n, \lambda, \Lambda, \alpha, \beta$，且$\beta < \alpha$。
• 对于非局部Burgers方程，作者证明了正则光滑周期解$u$满足$\|u\|_{C^k_{x,t}((-1,0]\times\mathbb{R}^n)} \leq C$对所有$k$成立，其中常数$C$依赖于$n, k, \|u\|_{L^∞}$和$\min u$，依据推论1.2。
• 通过对方程求导并迭代应用Schauder估计，实现了$C^{1+\beta}$正则性，由于$m$及其导数满足所需的Hölder有界性，这归因于$m(t,x,y) = C(n)\frac{\sqrt{w(t,x)w(t,y)}}{\sqrt{w(t,x)}+\sqrt{w(t,y)}}$的结构。
• 具有$L^∞$初值的非局部Burgers方程的全局适定性得以完成：解在瞬时即成为$C^\infty$，且在时间上全局存在，由于能量守恒和耗散结构，其指数收敛至常数状态。
• 只要解和核足够光滑以使积分表达式经典地定义良好，该方法在弱于$C^{1+\alpha}$的正则性假设下依然有效。