The Existence, uniqueness, and regularity of weak solutions for a thermodynamically consistent two-phase flow model in porous media

技术摘要：热力学一致性两相流模型的弱解存在性、唯一性与正则性研究

问题陈述
本文针对由 Kou 等人 [25, 35] 最初提出的、具有热力学一致性的多孔介质中不可压缩且不混溶的两相流模型，对其数学分析进行了研究。虽然该模型已开发出能量稳定的数值方法，但此前仍缺乏关于其弱解存在性、唯一性和正则性的严谨数学基础。该模型通过对数自由能函数来表征毛细管作用，确保符合热力学第二定律，并具有优雅的数学对称性。主要的挑战在于系统的高度非线性特征，特别是饱和度、化学势与压力之间的耦合关系，且该过程不依赖于缺乏物理意义的人造变量。

研究方法
作者采用多阶段分析方法来确立模型的适定性（well-posedness）：

1. 离散化与逼近： 研究始于构建该模型弱形式的全隐式时间半离散近似以及全离散近似（使用 Galerkin 方法）。所选的主要变量为化学势 ($\mu_w$) 和真实相压力 ($p$)，避免了在经典分析中经常需要使用的各种人工全局压力或补压。
2. 通过不动点定理证明存在性： 为了证明全离散格式的存在性，作者利用了“向量场零点”定理（Brouwer 不动点定理的一个变体）。这涉及定义一个连续映射，并证明其在有限维空间中足够大的球体边界上满足特定的强制性条件。
3. 取极限过程： 通过弱收敛技术推导出半离散和连续模型的解的存在性。这一步骤的关键在于导出一致的能量稳定性估计以及饱和度的有界性。应用 Aubin-Lions-Simon 引理来提取强收敛子序列，从而使离散格式的极限满足连续弱形式。
4. 唯一性分析： 在假设化学势在空间上满足 Lipschitz 连续（具有随时间变化的 $L^2$ Lipschitz 常数）的情况下，确立了唯一性。证明过程利用两个潜在解之差，通过应用 Grönwall 不等式来表明该差值必须为零。
5. 正则性理论： 为了建立高阶正则性，作者引入了人工压力和补压（遵循 Chen [19] 的框架），将系统转化为耦合的椭圆-抛物型系统。通过利用椭圆偏微分方程（PDE）的正则性理论，并在假设完全 Neumann 边界条件下，推导出压力和化学势的 $H^2$ 正则性。

主要贡献与结果

• 弱解的存在性： 本文证明了这一新型热力学一致性模型中弱解 $(S_w, \mu_w, p)$ 的存在性。一个显著的结果是，该证明不需要对高阶导数项的有界性做出假设，而这在经典模型中通常是一个约束，往往需要使用非物理的补压。
• 唯一性： 作者确立了弱解的唯一性。不同于以往工作需要人工全局压力的 Lipschitz 连续性（这隐含了饱和度的 Hölder 连续性），本研究假设的是化学势 $\mu_ w$ 的 Lipschitz 连续性。
• 正则性： 在关于定义域几何形状（凸区域且具有 $C^{1,\beta}$ 边界）、初始数据及材料参数的特定假设下，本文确立了弱解具有更高的正则性。具体而言，饱和度 $S_w$ 属于 $L^\infty(0, T; H^1(\Omega)) \cap H^1(0, T; L^2(\Omega))$，而化学势 $\mu_w$ 和压力 $p$ 属于 $L^2(0, T; H^2(\Omega)) \cap L^\infty(0, T; H^1(\Omega))$。
• 饱和度界限： 通过利用化学势的单调性以及对边界数据和源项的特定条件，分析严谨地证明了饱和度保持在具有物理意义的范围内（$S_\epsilon \le S_w \le 1 - S_\epsilon$）。

意义
本文声称是第一篇对 [25, 35] 中提出的特定热力学一致性两相流模型进行严谨适定性（存在性、唯一性和正则性）研究的工作。通过避免使用人工变量并依赖作为主要变量的物理化学势，该分析为模型的结构提供了更直接的数学辩护。研究结果证实了该模型在数学上是适定的，从而验证了此前为其开发的能量稳定数值方法的有效性，并为未来涉及岩石压缩性或孔隙粘弹性介质的扩展研究提供了理论基础。