[论文解读] Nonlocal Dissipation Measure and L 1 Kinetic Theory For Fractional Conservation Laws

Nathaël Alibaud, Boris Andreïanov+1 more|arXiv (Cornell University)|Oct 21, 2019

Navier-Stokes equation solutions参考文献 43被引用 4

一句话总结

本论文提出了一种针对具有非局部和非线性扩散项的标量守恒律的动能形式化方法，引入了一种新颖的非局部耗散度量，实现了在 L¹ 初始数据下的适定性与 L¹ 压缩性。该方法将二阶动能理论工具适配于分数阶 PDE，通过非局部耗散度量的显式表达式，证明了在 t=0 处的唯一性与强 L¹ 连续性。

ABSTRACT

We introduce a kinetic formulation for scalar conservation laws with nonlocal and nonlinear diffusion terms. We deal with merely L 1 initial data, general self-adjoint pure jump L{\\'e}vy operators, and locally Lipschitz nonlinearities of porous medium kind possibly strongly degenerate. The cornerstone of the formulation and the uniqueness proof is an adequate explicit representation of the nonlocal dissipation measure. This approach is inspired from the second order theory unlike the cutting technique previously introduced for bounded entropy solutions. The latter technique no longer seems to fit our setting. This is moreover the first time that the more standard and sharper tools of the second order theory are faithfully adapted to fractional conservation laws.

研究动机与目标

• 在初始数据的可积性假设最小化的前提下，建立具有非局部和非线性扩散项的标量守恒律的适定性理论。
• 发展一种动能形式化方法，将二阶理论工具扩展至分数阶 PDE，克服先前基于有界熵解技术的局限性。
• 提出并严格刻画纯跳跃 Lévy 算子的非局部耗散度量，从而实现唯一性与稳定性证明。
• 证明对于仅具有 L¹ 初始数据的动能解，在 t=0 处满足强 L¹ 连续性。

提出的方法

• 提出一种基于特征函数 χ(ξ; u) 的动能形式化方法，用于在相空间中表示解，从而实现 PDE 的弱形式化。
• 通过涉及 Lévy 测度 μ 的主值积分，引入非局部耗散度量 n 的显式表达式，该表达式由算子 g 定义。
• 采用基于光滑化核与截断函数的正则化技术，处理奇异性，并确保在弱与强 L¹ 拓扑下的收敛性。
• 利用动能形式化推导出涉及测度 m 与耗散 n 的恒等式，通过相空间中的分部积分法实现唯一性证明。
• 应用单调收敛定理与稳定性估计，令 t→0 时取极限，建立初始数据在强 L¹ 拓扑下的收敛性。
• 依赖于 μ 的自伴性与有限二阶矩条件，确保积分微分算子 g 的适定性。

实验结果

研究问题

• RQ1 能否为具有非局部与非线性扩散项的分数阶守恒律构造出动能形式化，即使解无界？
• RQ2 非局部耗散度量如何被显式表示，并用于 L¹ 框架下的唯一性证明？
• RQ3 尽管缺乏局部正则性，能否忠实地将二阶动能理论工具适配于分数阶 PDE？
• RQ4 动能解在 t=0 处是否满足强 L¹ 连续性，即使初始数据仅为 L¹？
• RQ5 非局部耗散度量在弱极限下是否稳定，从而支持收敛性证明？

主要发现

• 本论文为具有非局部与非线性扩散项的标量守恒律建立了适定性理论，适用于 L¹ 初始数据，其适用范围超越了经典的 L∞ 框架。
• 推导出非局部耗散度量 n 的显式表达式，该表达式是唯一性证明的核心，并使得二阶动能工具能够被适配于分数阶 PDE。
• 动能解满足 L¹ 压缩性，意味着在 L¹ 范数下具有唯一性与稳定性。
• 证明了在 t=0 处的强连续性：即使初始数据仅为 L¹，解在 t→0 时也收敛于初始数据，且收敛方式为 L¹(Rd) 收敛。
• 证明了非局部耗散度量 n 在弱极限下保持稳定，这对于处理 t→0 的极限并证明初始数据的收敛性至关重要。
• 该方法通过采用更稳健的、基于显式度量的替代方法，克服了以往截断技术的局限性，适用于无界解。