Segregated solutions of a degenerate cross-diffusion system with drifts

技术摘要：带有漂移项的退化交叉扩散系统的分离解

问题陈述
本文研究了一个带有独立漂移项的一维退化交叉扩散系统分离弱解的全局存在性。该系统由下式给出：
$$\begin{cases} \partial_t \varrho = \partial_x \left( \varrho \partial_x (f'(\varrho + \mu) + V) \right), \\ \partial_t \mu = \partial_x \left( \mu \partial_x (f'(\varrho + \mu) + W) \right), \end{cases}$$
其中 $\varrho$ 和 $\mu$ 分别代表两种竞争物种的密度，$V$ 和 $W$ 是给定的 Lipschitz 连续漂移势，$f$ 是一个基于总质量 $S = \varrho + \mu$ 控制相互作用的凸函数。主要目标是证明从分离初始数据出发的解在所有时刻都保持分离（即 $\varrho(x)\mu(x) = 0$ 几乎处处成立）。

该系统具有与能量泛函相关的 Wasserstein 梯度流结构，该泛函为：
$$E[\varrho, \mu] = \int_{\mathbb{R}} f(\varrho + \mu) \, dx + \int_{\mathbb{R}} (\varrho V + \mu W) \, dx.$$
作者应对的挑战在于标准抛物型理论在此失效，因为缺乏最大值原理且会形成尖锐的界面（分离边界）。此外，现有关于该特定系统（带有漂移项）的文献依赖于对势能顺序或初始配置的限制性假设，或者侧重于“完全混合”的解。

方法论
核心策略是对问题进行拉格朗日重构（Lagrangian reformulation）。作者没有直接分析欧拉坐标下的密度 $\varrho$ 和 $\mu$，而是利用总密度的累积质量函数 $F_t(x) = \int_{-\infty}^x (\varrho + \mu) \, dy$ 及其（伪）逆函数 $u_t = F_t^{-1}$。

1. 拉格朗日重构： 通过假设一种特定的分离结构，即 $\varrho$ 和 $\mu$ 的支撑集由拉格朗日坐标空间（通过 $F_t$）中的一个固定可测集 $A \subset [0, 2]$ 决定，该系统坍缩为关于逆函数 $u_t$ 的单个标量方程。该方程呈现为如下形式的抛物型 PDE：
   $$\partial_t u = \partial_y (\tilde{f}'(u')) - b(y, u),$$
   其中 $\tilde{f}(s) = s f(1/s)$，且 $b$ 是由 $V$ 和 $W$ 推导出的漂移项。对于 $f(s) \sim s^\alpha$，这类似于一个 $p$-Laplace 方程，其中 $p = 1-\alpha \in (-\infty, 1)$。

2. 变分方法： 作者在 $L^2 \cap BV_{loc}$ 框架下使用极小化移动方案（minimising movement scheme，即隐式欧拉格式）求解该拉格朗日方程。他们定义了函数空间（具有非减导数的函数空间）上的能量泛函 $\mathcal{E}$，并构造了离散时间步 $\tau$ 下的极小化序列 $\{v_k\}$。

3. 分析工具：

   • 单调性方法： 证明过程高度依赖于 Minty–Browder 单调性论证，以建立离散方案在时间步 $\tau \to 0$ 时的强收敛性。
   • BV 与 $L^2$ 估计： 作者推导了 $L^2$ 和 $BV_{loc}$ 中的一致界限以确保紧性。关键步骤之一是证明导数的绝对连续部分保持严格正值（$u' > 0$），从而防止拉格朗日映射坍缩并确保逆变换的有效性。
   • 处理奇异性： 作者仔细处理了导数测度 $(\partial_y u)_s$ 的奇异部分，表明 $\tilde{f}'(u')$ 在奇异部分的支撑集上消失，从而有效地在极限过程中将奇异成分与正则成分解耦。

主要贡献与结果
本文确立了以下主要结果：

• 分离解的全局存在性： 作者证明了交叉扩散系统 (1.1) 的全局弱解 $(\varrho_t, \mu_t)$ 的存在性，该解保持了初始数据的分离性质。这对于任意分离的初始配置和一般的 Lipschitz 漂移均成立，无需要求漂移项有利于分离，也不要求质量严格有序（例如 $\varrho$ 完全位于 $\mu$ 的左侧）。
• 广泛的扩散类型： 结果适用于广泛的扩散行为，包括：
  • 多孔介质型（$f(s) = s^\alpha, \alpha > 1$）。
  • 对数熵型（$f(s) = s \log s - s$）。
  • 快扩散型（$f(s) = -s^\alpha$），其中指数 $\alpha \in (1/3, 1)$。
• 拉格朗日问题的适定性： 本文为相关的拉格朗日问题提供了严格的存在性理论（定理 3.6），刻画了空间 $u \in L^\infty_{loc}([0, \infty); X) \cap H^1_{loc}([0, \infty); L^2)$ 中的解 $u$，其中 $X = L^2 \cap BV_{loc}$。
• 梯度流结构的创新性： 该工作展示了拉格朗日重构如何产生一个具有 $p < 1$ 的类 $p$-Laplace 结构的抛物型问题，并通过 $L^2 \cap BV_{loc}$ 中的梯度流进行求解。这种方法与以往利用比例关系公式或补偿紧性方法的做法截然不同。

意义与主张
作者将这项工作定位为交叉扩散系统理论（特别是关于保持分离性方面）的一次重要进展。

• 与前人工作的比较： 文中指出，虽然之前的研究（如 [31, 46, 47, 51]）建立了各种初始数据和扩散类型的全局存在性，但它们通常侧重于“完全混合”的解，或需要对物种的初始顺序施加限制性假设。针对分离解的研究 [42] 虽然进行了探讨，但对势能和初始数据施加了非常苛刻的条件。
• 消除限制： 本文声称消除了这些限制，允许任意的分离初始数据和一般的漂移项。作者指出，其结果在这些方面比 [42] “强得多”。
• 方法论贡献： 作者强调，其贡献不仅在于获得尽可能通用的存在性结果，更在于利用变分技术研究特定的分离动力学。拉格朗日重构以及对所得 $p < 1$ 类 $p$-Laplace 方程使用单调性方法的处理方式，被视为与现有文献互补的创新技术成就。

总之，本文通过将问题转化为拉格朗日框架，利用极小化移动方案求解，并利用单调性和低正则性空间中的紧性论证严谨地进行极限传递，为分离型交叉扩散系统的分离解提供了一套稳健的存在性理论。