Singular limit for nonlocal conservation laws with non-locality in density and velocity

问题陈述
本文研究了一个在密度和速度两方面都具有非局域性的标量非局域守恒律的奇异极限。其控制方程为：
$$\begin{cases} \partial_t u^\varepsilon + \partial_x \left( V_1(V_2(u^\varepsilon) * \eta_\varepsilon) u^\varepsilon \right) = 0, \\ u^\varepsilon(0, x) = u_0(x), \end{cases}$$
其中 $V_1$ 和 $V_2$ 是速度函数，$\eta_\varepsilon$ 是逼近单位元的重标度核。作者旨在严格证明非局域解 $u^\varepsilon$ 在 $\varepsilon \to 0$ 时收敛到相应非线性守恒律的经典局部解 $u$：
$$\partial_t u + \partial_x \left( V_1(V_2(u)) u \right) = 0,$$
这一特定问题在之前的文献 [10] 中被作为一个开放性问题提出，该文献建立了非局域模型的适定性，但并未证明其极限过程。

背景与挑战
论文指出，虽然退化情况（即 $V_2 = \text{Id}$）下的奇异极限已有充分研究，但具有速度非局域性的一般情况则面临显著困难。标准的紧性论证（例如通过 $L^1$ 守恒性和 Banach-Alaoglu 定理）不足以在非线性项 $V_1(V_2(u^\varepsilon) * \eta_\varepsilon)u^\varepsilon$ 中通过极限过程。以往处理一般情况的尝试通常局限于单调初始数据或特定的核选择（如指数核）。一个主要的挑战在于确定核 $\eta$ 以及速度函数所需的精确假设，以确保在激波形成前的经典解收敛。

方法论
证明策略依赖于在激波形成前建立经典解（$W^{2,\infty}$）的收敛性。其方法论分为以下步骤：

1. 变量代换： 作者引入变量 $U^\varepsilon = V_2(u^\varepsilon)$ 和 $U = V_2(u)$。证明的核心在于推导 $U^\varepsilon - U$ 的演化方程，并建立其趋于零的性质。
2. 最大值原理分析： 通过分析控制 $U^\varepsilon - U$ 的方程，作者在最大值点处评估 $L^\infty$ 范数 $\| (U^\varepsilon - U)(t, \cdot) \|_\infty$ 的时间导数。这涉及将差分方程乘以差分的符号函数。
3. 项的估计： 由此产生的微分不等式被分解为代表通量差异和非局域相互作用的项（$I$ 和 $J$）。
   • 作者利用 $V_2$ 的双 Lipschitz 性以及 $V_1, V_2$ 的正则性来限制通量项的差异。
   • 至关重要的是，他们利用各向异性核 $\eta$ 的特定结构（支撑在 $\mathbb{R}^-$ 上、非减且非负）来处理非局域卷积项。具体而言，他们表明核的导数与符号函数之间的相互作用会产生非正贡献，从而允许进行有利的估计。
4. 逼近论证： 证明首先在假设核 $\eta$ 是 Lipschitz 连续的情况下进行。为了将结果扩展到满足各向异性条件（可积、有界、支撑在 $\mathbb{R}^-$ 上、非减）的一般核，作者采用了逼近引理。他们构造了一个收敛于目标核的 Lipschitz 核序列，并利用解对核的稳定性来通过极限过程。
5. Grönwall 不等式： 估计最终导出一个形式为 $\frac{d}{dt} \|U^\varepsilon - U\|_\infty \leq O(\varepsilon) + C \|U^\varepsilon - U\|_\infty$ 的微分不等式。应用 Grönwall 不等式即可得到所需的收敛速率。

主要结果
主要结果，定理 1.1，指出在以下假设下：

• 初始数据 $u_0 \in W^{2,\infty}(\mathbb{R})$ 且 $u_0 \geq 0$。
• 核 $\eta$ 满足各向异性条件 (I)：$\eta \in L^1 \cap L^\infty$，$\text{supp}(\eta) \subset \mathbb{R}^-$，$\int \eta = 1$，且 $\eta$ 在 $\mathbb{R}^-$ 上是非减的。
• 速度函数 $V_1, V_2$ 具有足够的正则性（$W^{3,\infty}_{loc}$）并满足特定的单调性条件（$V_1' \geq 0, V_2' \leq 0$），且 $V_2$ 在解的取值范围内是双 Lipschitz 的。

那么，对于任何小于经典解 $u$ 最大存在时间 $T^*$ 的时间 $T$（即在激波形成之前），非局域解 $u^\varepsilon$ 在 $L^\infty$ 范数下以线性速率收敛到局部解 $u$：
$$\sup_{t \in [0, T]} \| (u^\varepsilon - u)(t, \cdot) \|_\infty = O(\varepsilon).$$

意义与范围
本文为 [10] 中提出的关于具有密度和速度双重非局域性的非局域守恒律奇异极限的问题提供了肯定的回答。作者强调，其方法涵盖了一般的各向异性核，消除了先前文献中对特定核形状（如指数核）或单调初始数据的限制。

作者明确指出了当前工作的局限性：该结果仅在经典解直至激波形成的时间内有效。他们指出，将此推导扩展到全局时间内的熵相容解（这将处理激波形成问题）仍是一个留待未来研究的开放问题。本文并未提出新的应用或实验设置，而是专注于对指定类方程的极限过程进行严格的数学论证。