Interfaces and non-uniqueness in a cross-diffusion system with independent drifts

技术摘要：具有独立漂移项的交叉扩散系统中的界面与非唯一性

问题陈述
本文研究了一个描述两种种群密度 $\rho(t, x)$ 和 $\mu(t, x)$ 演化的一维交叉扩散系统，该系统受制于一个依赖于总密度 $S = \rho + \mu$ 的共同压力律以及不同的外部漂移势 $V$ 和 $W$。该系统由下式控制：
$$\begin{aligned} \partial_t\rho - \partial_x(\rho \partial_x f'(\rho + \mu)) - \partial_x(\rho \partial_x V) &= 0, \\ \partial_t\mu - \partial_x(\mu \partial_x f'(\rho + \mu)) - \partial_x(\mu \partial_x W) &= 0. \end{aligned}$$
核心问题在于探讨当初始数据是分离的（即 $\rho_0$ 和 $\mu_0$ 具有不相交的支持集且在单个界面处相遇）且漂移项不同时，Cauchy 问题（初值问题）的适定性。作者特别考察了漂移项将两相向界面处推挤的机制（即 $\partial_x W(0) - \partial_x V(0) > 0$）。虽然之前的文献已经确立了在某些条件下分离解的存在性及其保持分离的特性，但本研究质疑了这些解与通过消失粘性（vanishing-viscosity）极限获得的解相比是否具有唯一性。

方法论
作者采用相对熵方法来区分不同的解的概念。其核心方法论包括：

1. 相对熵泛函： 他们定义了一个泛函 $\Phi[\rho, \mu] = \int_{\mathbb{R}} h(\rho, \mu) dx$，其中 $h(u, v) = (u+v)\log(u+v) - u\log u - v\log v$。该泛函是非负的，且当且仅当密度是分离的（$\rho\mu = 0$）时为零。
2. 粘性逼近： 他们分析了添加了粘性项（$\varepsilon \partial_{xx}$）的系统，并研究了当 $\varepsilon \to 0$ 时的极限。他们推导了粘性层级的熵耗散恒等式，并利用该恒等式获得消失粘性解的相对熵的下界。
3. 界面处的分布分析： 一个关键的技术步骤是表征量 $q = \partial_x \rho - \frac{\rho}{S}\partial_x S$ 在界面处的分布导数。对于具有锐利界面的分离解，该项的行为类似于狄拉克测度（Dirac mass）。
4. 通过混合实现矛盾： 作者证明，如果漂移项将两相推向彼此，则消失粘性解的相对熵下界严格大于零，这意味着发生了混合。相反，分离解保持 $\Phi \equiv 0$。这种矛盾确立了非唯一性。
5. 处理一般数据： 对于一般初始数据，作者必须确保界面不会消失（产生真空）或跳离引起混合的区域。他们利用了：
   • 先前研究 [56] 中关于分离解的正则性结果。
   • 解耦漂移-扩散方程的比较原理和 Harnack 不等式，用以证明如果界面处形成真空，物种会瞬时混合，从而与分离假设相矛盾。
   • 受行波启发，在慢扩散机制（$\alpha > 1$）下构造压力子解，以证明界面的持久性。

主要贡献与结果

1. 平稳态的显式非唯一性：
   作者构造了一个显式的平稳分离解 $(\bar{\rho}, \bar{\mu})$，其中压力梯度在界面两侧平衡了漂移项。他们证明该解是一个有效的弱解，但不能成为消失粘性解。在漂移项将两相推向彼此的条件下，消失粘性极限必然产生重叠（混合），而显式的平统计解则保持分离。

2. 一般初始数据的非唯一性：
   将结果从平稳态扩展到更广泛的情况，本文证明了对于一大类压力律（包括幂律 $f'(s) \sim s^{\alpha-1}$，其中 $\alpha > 1/3$）和一般的分离初始数据，Cauchy 问题至少存在两个不同的弱解：

   • 分离解（通过如 [56] 中的最小移动方案构造）。
   • 消失粘性解（通过如 [58] 中的紧致性论证构造）。
     这些解之所以不同，是因为消失粘性解产生了混合区（正相对熵），而分离解则没有。

3. 熵耗散不等式：
   一个核心技术结果是为消失粘性解推导出的不等式：
   $$\Phi[\rho(t), \mu(t)] \geq \int_0^t \langle q(s), \partial_x V - \partial_x W \rangle ds$$
   该不等式量化了由漂移差异引起的混合效应，并作为区分不同解类的主要工具。

意义与主张
本文声称提供了此类具有独立漂移项的特定交叉扩散系统中非唯一性的首次证明。作者强调：

• 物理解 vs. 数学解： 这一现象说明，由消失粘性所选择的“物理”解（允许混合）与数学上有效的分离解是不同的。这挑战了该系统在弱解类中的适定性。
• Muskat 问题类比： 这种行为与 Muskat 问题非常相似，在 Muskat 问题中，不同密度流体之间的不稳定界面会自发产生混合区。
• 现有理论的局限性： 这项工作强调，标准的交叉扩散系统存在理论（通常依赖于光滑逼近的紧致性）可能会选择出并不保持分离的解，即使分离解确实存在。
• 适用范围： 作者明确指出，这些结果仅适用于物种不表现出自扩散行为的交叉扩散系统。他们指出，具有自扩散项的系统具有更高的正则性，从而防止了锐利界面的形成，因此这种非唯一性机制预计不会应用于单物种对流扩散模型或具有自扩散的交叉扩散系统。

文章结论指出，对于具有将两相推向彼此的独立漂移项的交叉扩散系统，如果不使用更严格的选择准则（如消失粘性极限）来区分分离态和混合态，Cauchy 问题在弱解类中是病态的。