Global existence of weak solutions for the Maxwell--Stefan system in the whole space

技术摘要：全空间内 Maxwell–Stefan 系统弱解的全局存在性

问题陈述
本文研究了等温 Maxwell–Stefan 系统的数学分析，这是一种描述流体混合物中多组分质量传输的强耦合交叉扩散模型。该系统定义在整个空间 $\mathbb{R}^3$ 上，而非有界区域。控制方程由质量平衡律 $\partial_t c_i + \text{div } J_i = 0$ 与将组分通量 $J_i$ 与化学势梯度 $\nabla \mu_i$ 联系起来的线性代数系统组成，并受限于约束条件 $\sum c_i = 1$ 和 $\sum J_i = 0$。

在全空间设置下的主要数学挑战在于，如果浓度 $c_i$ 在空间无穷远处趋于一个严格正的常数平衡态，则它们通常不具备有限质量（即 $\int_{\mathbb{R}^3} c_i \, dx = \infty$）。因此，在有界区域中作为 Lyapunov 函数的标准 Boltzmann/混合熵泛函会变得无穷大，从而无法使用。此外，由于 $H^1(\mathbb{R}^3)$ 到 $L^2(\mathbb{R}^3)$ 缺乏紧嵌入，也无法直接应用有界区域理论中所使用的全局紧性论证。

方法论
存在性证明遵循一种基于通过半径为 $R$ 的球体 $B_R$ 对 $\mathbb{R}^3$ 进行穷举逼近的策略，并结合相对熵框架。

1. 相对熵公式化： 作者没有使用标准熵，而是利用了相对于一个固定的、严格正的常数平衡态 $\bar{c}$ 的相对熵泛函 $H[c|\bar{c}]$。相对熵密度与标准熵的区别仅在于浓度项的一个仿射项。至关重要的是，这种修改保留了 Maxwell–Stefan 通量关系，因为化学势的梯度保持不变（$\nabla \log(c_i/\bar{c}_i) = \nabla \log c_i$）。
2. 有界区域上的逼近： 首先在具有齐次无通量边界条件（$J_i \cdot \nu = 0$）的球体 $B_R$ 上求解问题。利用 Jüngel 和 Stelzer [8] 开发的熵方法，建立了这些有界区域上弱解的存在性。
3. 一致估计： 关键步骤是导出与半径 $R$ 无关的估计。
   • 无通量边界条件确保了 $B_R$ 上的质量守恒，从而允许将标准熵不等式改写为关于常数态 $\bar{c}$ 的相对熵不等式。
   • 熵耗散项控制了浓度平方根的梯度（$\nabla \sqrt{c_i}$）以及通量（$J_i$）。
   • 这些估计纯粹依赖于熵性质和代数性质，明确避免了使用 Poincaré 不等式，因为随着 $R \to \infty$，Poincaré 常数会发散，导致不等式失效。
4. 极限传递： 为了使 $R \to \infty$ 时传递极限，作者采用了局部紧性论证。
   • 在全空间上定义近似解 $c^R$ 和 $J^R$ 的扩展（在 $B_R$ 之外设置 $c^R = \bar{c}$ 且 $J^R = 0$）。
   • $c^R - \bar{c}$ 在 $L^\infty(0, T; L^2(\mathbb{R}^3))$ 中的一致界以及 $\nabla \sqrt{c^R}$ 和 $J^R$ 在 $L^2((0, T) \times \mathbb{R}^3)$ 中的一致界允许进行弱收敛。
   • 通过在固定子域 $B_K$ 上使用 Aubin–Lions 引理，获得了 $L^2_{loc}$ 中的强局部收敛。这种强收敛足以在非线性 Maxwell–Stefan 关系中传递极限。
   • 利用 Fatou 引理以及相对熵和耗散项的下半连续性，恢复全局熵不等式。

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

• 存在性： 在初始数据 $c_0$ 满足 $0 \le c_{0,i} \le 1$，$\sum c_{0,i} = 1$ 且具有有限相对熵 $H[c_0|\bar{c}] < \infty$ 的假设下，存在全局时间弱解 $(c, J)$ 在 $(0, T) \times \mathbb{R}^3$ 上。
• 正则性： 解满足 $c_i - \bar{c}_i \in L^\infty(0, T; L^2(\mathbb{R}^3))$，$\nabla \sqrt{c_i} \in L^2((0, T) \times \mathbb{R}^3)$，以及 $J_i \in L^2((0, T) \times \mathbb{R}^3)$。
• 熵不等式： 解遵循全局相对熵不等式：
  $$H[c(t)|\bar{c}] + C \int_0^t \int_{\mathbb{R}^3} \sum_{i=1}^{n+1} |\nabla \sqrt{c_i}|^2 \, dx \, ds \le H[c_0|\bar{c}]$$
  对于几乎处处的 $t > 0$，其中 $C$ 仅取决于 Maxwell–Stefan 扩散系数。

意义与范围
本文声称提供了第一个关于全空间 $\mathbb{R}^3$ 上等温 Maxwell–Stefan 系统全局存在性弱解的证明。其重要性在于克服了无限质量和缺乏全局紧性的双重困难。

作者明确指出了结果的局限性和范围：

• 远场条件并非以逐点方式施加；相反，有限相对熵条件作为有限质量的自然替代，确保了解在相对熵意义上保持接近平衡态。
• 与有界区域的结果不同，本证明不依赖于 Poincaré 型不等式，也不产生向平衡态的指数收敛。
• 因此，该结果严格是一个关于全局有限熵弱解的存在性定理，而非长期弛豫或渐近稳定性结果。