Nonlocal-to-local limit for linear transport equations with measure initial data

技术摘要：具有测度初始数据的线性输运方程的非局部到局部极限

问题陈述
本研究致力于从其相关的非局部形式中严格推导局部线性输运方程。具体而言，本文研究了如下 Cauchy 问题在 $\varepsilon \to 0$ 时的极限：
$$\begin{cases} \partial_t u_\varepsilon + B \cdot \nabla_x (\eta_\varepsilon * u_\varepsilon) = 0, & (t, x) \in (0, \infty) \times \mathbb{R}^d \\ u_\varepsilon(0, x) = u_0, & x \in \mathbb{R}^d \end{cases}$$
其中 $\eta_\varepsilon(x) = \varepsilon^{-d}\eta(x/\varepsilon)$ 是单位近似（approximation of the identity），$B$ 是给定的向量场，且初始数据 $u_0$ 是一个有限 Radon 测度。目标是证明 $u_\varepsilon$ 收敛于局部方程 $\partial_t u + B \cdot \nabla_x u = 0$ 的唯一分布解 $u$。

虽然非局部到局部极限在非线性守恒律（例如交通流模型中的 Burgers 型方程）中已有深入研究，但针对线性输运方程的文献较为有限。现有结果通常依赖于一维论证、要求核函数 $\eta$ 具有特定的对称性或各向异性，或者限制初始数据具有特定的符号（非负性）。本文旨在将这些结果推广到任意维度、通用核函数以及有符号测度初始数据。

方法论
本文采用结合了适定性理论、傅里叶分析和紧性论证的多方面方法：

1. 适定性理论（第 2 节）：

   • 作者首先为具有测度初始数据的非局部方程 (1.1) 建立了严格的存在性与唯一性理论。
   • 对于有界向量场 $B$，他们利用方程积分形式上的不动点论证（Banach 收缩原理），并结合通过平滑化处理 $BV$ 核函数的逼近论证。
   • 对于线性增长向量场（特别是自由输运/Liouville 情况，其中 $B(x,v) = (v,0)$），标准的有界性论证失效。相反，作者通过将其转换到傅里叶空间来处理该方程。这把非局部 PDE 转化为了频率域内带有源项的线性输运方程。他们应用广义 Duhamel 原理来建立存在性，并在加权 $L^2$ 空间（$H^{-s}$）中导出能量估计。

2. 傅里叶分析与收敛性（第 3 & 4 节）：

   • 常数输运与自由输运： 对于常数 $B$ 和自由输运情况，作者利用傅里叶变换方程的显式结构。他们推导出了解的傅里叶变换（$\hat{u}_\varepsilon$ 和 $\hat{u}$）的精确公式。收敛性的证明依赖于在 $H^{-s}$ 范数下对这些傅里叶表示之差应用控制收敛定理（dominated convergence theorem）。
   • 一般非正 $B$： 对于一维情形下的任意非正 $B$，由于缺乏显式解，傅里叶方法无法直接应用。相反，作者利用核函数的特定各向异性结构（支撑在 $\mathbb{R}^-$ 且单调递增）来证明解的正性保持。这使得他们能够导出 $L^1$ 界限，并利用弱紧性（Banach-Alaoglu 定理）提取收敛子序列。随后，他们通过将解与光滑函数进行测试并利用核函数的奇偶部分性质来确定极限。

主要贡献与结果
本文提出了三个主要定理，扩展了线性输运方程非局部到局部极限的研究范围：

• 定理 1.1（常数输运）： 建立了常数向量场 $B$ 在任意维度（$d \geq 1$）下的极限。该结果适用于 $H^{-s} \cap \mathcal{M}$（有符号测度）初始数据，并涵盖了一类广泛的核函数，包括那些不具备对称性但其傅里叶变换满足特定非退化条件（例如实值或实部非零）的核函数。
• 定理 1.2（自由输运/Liouville）： 将极限扩展到任意维度的自由输运方程（$B=(v,0)$）。这要求核函数 $\eta$ 是偶函数（以确保傅里叶变换为实值），且初始数据具有非零的傅里叶变换。收敛性在 $H^{-s}$ 范数下得到证明。
• 定理 1.3（一维任意非正 $B$）： 证明了一维情形下一般非正向量场 $B(x) \leq 0$ 的极限。该结果的显著之处在于处理了各向异性核（支撑在 $\mathbb{R}^-$）和非负测度初始数据。其证明依赖于正性保持和 $L^1$ 估计。

意义与主张
作者声称，其工作在以下四个特定方面显著推广了现有关于线性输运方程非局部到局部极限的文献：

1. 维度： 不同于以往依赖于真正一维论证的工作，这些结果在任意维度下均有效（定理 1.1 和 1.2）。
2. 初始数据： 这些推导适用于分布解中的测度初始数据，而非局限于 $L^p$ 或光滑函数。
3. 核函数的通用性： 结果覆盖了更广泛的单位近似类。定理 1.1 不需要对称性或各向异性，这与要求施加此类约束的先前研究形成对比。
4. 有符号数据： 对于常数和自由输运情形（定理 1.1 和 1.2），初始数据必须具有特定符号的假设（这在非线性 Burgers 型极限中通常至关重要）是多余的，从而允许使用有符号测度。

论文总结道，尽管在没有粘性的情况下，高维线性输运方程的非局部到局部极限此前是一个开放问题，但结合傅里叶方法（针对线性 $B$）和正性保持论证（针对一般非正 $B$），为这些极限提供了一个在显著放宽假设下的稳健框架。