[论文解读] On the singular limit problem for nonlocal conservation laws: A general approximation result for kernels with fixed support

Alexander Keimer, Lukas Pflug|arXiv (Cornell University)|Oct 13, 2023

Navier-Stokes equation solutionsMathematics被引用 3

一句话总结

本文建立了具有固定支撑核的非局部守恒律解在核趋近于狄拉克测度时，收敛于其局部熵解的结论。通过引入一个代理非局部量并利用精确的核估计，作者在不依赖单调性假设的前提下，证明了在 C(L1_loc) 中的强收敛性，将可接受核的类别扩展至先前结果之外。

ABSTRACT

We prove the convergence of solutions of nonlocal conservation laws to their local entropic counterpart for a fundamentally extended class of nonlocal kernels when these kernels approach a Dirac distribution. The nonlocal kernels are assumed to have fixed support and do not have to be monotonic. With sharp estimates of the nonlocal kernels and a surrogate nonlocal quantity, we prove compactness in $C(L^{1}_{ ext{loc}})$ which allow passing to the limit in the weak formulation. A careful analysis of the entropy condition of local conservation laws together with the named estimators for the considered kernels enable it to prove the entropy admissibility of the nonlocal equation in the limit, completing the convergence proof.

研究动机与目标

• 建立非局部守恒律在广泛非局部核类下向其局部对应物的奇异极限。
• 消除对核单调性的假设需求，该假设在如交通流等应用中具有限制性。
• 通过基于代理非局部量的紧致性论证，证明在 C(L1_loc) 中的收敛性。
• 通过允许具有固定支撑和非单调行为的核，推广现有收敛结果。
• 为双曲PDE中局部守恒律的非局部近似提供严格的理论基础。

提出的方法

• 引入一个代理非局部量 Eη(t,x)，定义为解的指数加权，从而在非局部项中完整表达动力学行为。
• 利用对非局部核及其导数的精确估计，控制 L1_loc 空间中的非局部算子。
• 在非局部方程的弱形式中应用 C(L1_loc) 中的紧致性结果，以通过极限。
• 采用带有熵不等式的弱形式，并通过针对核类的估计器证明极限中的熵可接受性。
• 依赖于非局部算子及其近似在总 variation 和 L∞ 范数上的统一有界性。
• 将经典紧致性定理与针对核特性的定制估计相结合，以处理非单调、固定支撑的核。

实验结果

研究问题

• RQ1 具有非单调、固定支撑核的非局部守恒律，当核趋近于狄拉克测度时，是否收敛于局部熵解？
• RQ2 核的非单调性是否导致收敛性失效？若如此，能否通过新的分析工具克服？
• RQ3 能否在不依赖核的空间缩放前提下，为非局部项在 C(L1_loc) 中建立紧致性？
• RQ4 对于此类广义核类，熵条件在极限中是否保持不变？
• RQ5 该收敛结果能否推广至具有间断性或缺乏光滑性的核？

主要发现

• 当 η → 0 时，非局部守恒律的解 qη 在 C([0,T]; L1_loc(R)) 中强收敛于局部守恒律的唯一熵解 q∗。
• 非局部量 W[qη, γη] 同样在 C([0,T]; L1_loc(R)) 中强收敛于 q∗，确认了非局部公式的自洽性。
• 代理量 Eη 在 C([0,T]; L1_loc(R)) 中强收敛于 q∗，作为紧致性与极限传递的关键工具。
• 即使核为间断且非单调，只要其在零附近满足弱单调性原理，收敛性依然成立。
• 证明建立了非局部算子的总变差与 L∞ 范数的统一有界性，从而在 C(L1_loc) 中实现紧致性。
• 该结果通过消除对核空间缩放的需求，并推广至非单调、固定支撑核，从而推广了先前的收敛定理。