On Lions' density patch problem at a critical level of regularity

这是一份关于论文《ON LIONS' DENSITY PATCH PROBLEM AT A CRITICAL LEVEL OF REGULARITY》（临界正则性下的 Lions 密度补丁问题）的详细技术总结。

1. 研究背景与问题定义

核心问题：
本文研究的是二维空间中，被真空包围的均匀不可压缩流体（即“密度补丁”问题）的演化。流体区域 $D \subset \mathbb{R}^2$ 随时间演化为 $D_t$，其边界由流体速度场 $u$ 的流映射决定。该问题由非齐次不可压缩 Navier-Stokes 方程描述：
$$\begin{cases} \partial_t(\rho u) + \text{div}(\rho u \otimes u) - \nu \Delta u + \nabla P = 0, \\ \partial_t \rho + \text{div}(\rho u) = 0, \\ \text{div } u = 0, \end{cases}$$
其中初始密度 $\rho_0 = \mathbf{1}_D$ 是区域 $D$ 的特征函数（表示流体内部密度为 1，外部真空为 0），初始速度 $u_0$ 满足散度为零。

Lions 提出的核心疑问：
P.-L. Lions 在其著作中提出，如果初始区域 $D$ 具有某种几何正则性（如 Lipschitz 边界），那么在时间演化过程中，边界 $D_t$ 的正则性是否会保持？即界面是否会形成奇点？

本文的突破点：
以往的研究多假设初始速度属于 $H^1$ 或 $L^2$ 空间，或者在非真空（密度有正下界）的情况下讨论。本文在临界正则性框架下解决了这一问题，具体针对：

1. 存在真空的情况（$\rho_0$ 在边界处有跳跃）。
2. 临界空间：初始速度 $u_0 \in \dot{B}^0_{2,1}(\mathbb{R}^2)$。这是 Navier-Stokes 方程在二维下的临界 Besov 空间，比 $L^2$ 更精细，但比 $H^1$ 更弱。

2. 主要困难与核心方法

文章指出了在临界正则性和真空存在下的主要数学困难，并提出了相应的解决策略：

A. 困难 1：补丁外速度场的可积性缺失

在二维空间中，标准的能量估计仅控制 $\sqrt{\rho}u \in L^\infty(L^2)$ 和 $\nabla u \in L^2(L^2)$。由于 $\rho$ 在补丁外为零，这无法直接给出补丁外 $u$ 的 $L^p$ 有界性。而在三维中，Sobolev 嵌入 $H^1 \hookrightarrow L^6$ 可以解决此问题，但在二维临界情况下，$H^1 \hookrightarrow \text{BMO}$ 不足以提供 $L^p$ 控制。

解决方法：动态 Gagliardo-Nirenberg 不等式与局部化估计

• 作者证明了密度补丁的支撑集（support）随时间以 $\sqrt{t}$ 的速度扩散（Prop 3.9），即 $\text{supp } \rho(t) \subset D + B_{C\sqrt{t}}(0)$。
• 利用这一性质，作者建立了一个局部化的、带时间权重的 Gagliardo-Nirenberg 不等式（Cor 3.6）：
  $$t^{\frac{1}{2} - \frac{1}{p}} \|v\|_{L^p(D_{R,t})} \lesssim t^{\frac{1}{2}} \|\n�v\|_{L^2} + \|\rho(t)v\|_{L^2}$$
  其中 $D_{R,t}$ 是初始补丁的 $\sqrt{t}$ 邻域。这使得在补丁及其邻域内恢复了临界尺度的可积性，从而能够处理非线性项和唯一性证明中的积分项。

B. 困难 2：$L^2$ 初始数据无法保证 Lipschitz 正则性

对于 $u_0 \in L^2$，即使对于线性热方程，$\|\nabla u(t)\|_{L^\infty}$ 在 $t \to 0$ 或 $t \to \infty$ 时也不一定是可积的（通常表现为 $1/t$ 衰减），这导致无法证明流映射的有限总畸变（finite total distortion），进而无法保证边界正则性的传播。

解决方法：原子分解与伽利略变换（Galilean Transform）

• 原子分解：利用 $u_0 \in \dot{B}^0_{2,1}$ 的性质，将初始速度分解为一系列原子 $u_{0,j}$，每个原子属于亚临界空间 $\dot{H}^\eta \cap \dot{H}^{-\eta}$。
• 伽利略变换与动量守恒：这是本文最关键的创新点之一。
  • 定义每个原子的平均动量 $M_j = \frac{1}{|D|} \int \rho_0 u_{0,j}$。
  • 引入伽利略变换，将参考系移动到以速度 $M_j$ 运动的框架中：$u_{M_j}(t, x) = u(t, x+M_j t) - M_j$。
  • 在这个移动框架中，速度场的平均动量为零。利用 Poincaré 不等式，可以消除常数项带来的 $O(1)$ 衰减障碍。
  • 结果证明，在移动框架下，$\|\nabla u_{M_j}(t)\|_{L^\infty}$ 具有更快的衰减率（$t^{-1-\eta/2}$），从而使得 $\int_0^\infty \|\nabla u(t)\|_{L^\infty} dt < \infty$ 成立。
  • 由于梯度在平移下不变，原速度场的梯度也满足此积分条件。

C. 困难 3：解的构造与唯一性

在真空存在且初始数据仅为 $L^2$ 时，直接构造强解并证明能量等式成立非常困难。

解决方法：提升法（Lifting）与拼接法（Gluing）

• 提升法：首先通过正则化密度（$\rho_0 + 1/n$）构造弱解序列，证明其收敛到一个“立即强解”（immediately strong solution），满足能量不等式。
• 拼接法：为了获得更强的连续性（$\sqrt{\rho}u \in C([0, \infty); L^2)$）和能量等式，利用原子分解将解写为 $u = \sum u_j$。每个 $u_j$ 对应线性化系统，具有更好的正则性。通过证明部分和 $u_J$ 强收敛到 $u$，从而将能量等式传递给极限解。

3. 主要结果

定理 1.4 ($L^2$ 数据的存在性)

对于 $u_0 \in L^2_\sigma(\mathbb{R}^2)$ 和 $\rho_0 = \mathbf{1}_D$（$D$ 为有界 Lipschitz 区域），存在全局“立即强解”。该解满足能量不等式，动量守恒，且密度支撑集以 $\sqrt{t}$ 速度传播。

定理 1.5 ($\dot{B}^0_{2,1}$ 数据的适定性)

若 $u_0 \in \dot{B}^0_{2,1}(\mathbb{R}^2)$，则存在唯一的全局解，且满足：

1. Lipschitz 正则性传播：$\int_0^\infty \|\nabla u(t)\|_{L^\infty} dt < \infty$。这意味着流映射 $X(t)$ 是双 Lipschitz 的，初始 Lipschitz 边界的正则性在时间演化中得以保持（$D_t$ 始终为 Lipschitz 域）。
2. 弱 - 强唯一性：如果存在一个 Besov 解和一个普通的立即强解具有相同的初始数据，则它们几乎处处相等。

定理 1.6 (更高正则性)

如果初始区域 $D$ 是 $C^{1,\gamma}$ 类，且 $u_0 \in \dot{B}^\gamma_{2,1}$，则 $D_t$ 始终保持 $C^{1,\gamma}$ 正则性。这推广了之前的结果，覆盖了临界情形。

定理 1.7 (长时渐近行为)

解表现出刚性运动特征：

1. 速度收敛：速度场 $u(t)$ 在补丁内指数衰减到平均动量 $M$：
   $$\|u(t) - M\|_{L^2(D_t)} \lesssim e^{-\lambda t}$$
2. 渐近域：存在一个保测度的双 Lipschitz 映射 $X_\infty$，使得在去除刚性平移 $Mt$ 后，流映射收敛：
   $$\|X(t, \cdot) - Mt - X_\infty(\cdot)\|_{L^\infty(D)} \to 0 \quad (t \to \infty)$$
   这意味着流体区域 $D_t$ 最终收敛到一个固定的形状 $D_\infty$，并整体以速度 $M$ 匀速漂移。

4. 技术细节与关键引理

• 相对能量不等式 (Relative Energy Inequality)：附录中详细推导了适用于非齐次 Navier-Stokes 方程的相对能量不等式，这是证明唯一性和稳定性的核心工具。
• 反向抛物系统 (Backward Parabolic System)：为了处理负 Sobolev 范数（$\dot{H}^{-\eta}$）的衰减估计，作者引入了一个反向时间演化的对偶系统，利用对偶性将负范数估计转化为正范数估计。
• 有限传播速度：证明了密度支撑集不会瞬间扩散到全空间，而是限制在初始区域的 $\sqrt{t}$ 邻域内，这对于控制非线性项至关重要。

5. 意义与贡献

1. 解决了 Lions 的开放问题：在临界正则性框架下（$\dot{B}^0_{2,1}$），首次证明了密度补丁边界的 Lipschitz 正则性在时间演化中得以保持。
2. 临界空间的突破：将适定性理论从 $H^1$ 或 $L^2$ 推进到了临界 Besov 空间 $\dot{B}^0_{2,1}$，这是二维不可压缩流体方程自然尺度下的最佳空间。
3. 真空情形的处理：克服了真空（密度为零）导致动量方程退化的困难，建立了全局存在性和唯一性。
4. 长时渐近分析：揭示了粘性流体在密度补丁配置下的长时行为：内部速度差异被粘性耗散，最终只剩下由初始动量决定的刚性平动，且形状趋于稳定。
5. 方法论创新：提出的“伽利略变换 + 原子分解”策略，巧妙地利用动量守恒消除了长时衰减中的常数项障碍，为处理具有非零平均动量的流体问题提供了新的分析工具。

综上所述，这篇文章在数学流体力学领域取得了重要进展，不仅完善了非齐次 Navier-Stokes 方程在真空和临界正则性下的理论框架，还深入揭示了密度补丁演化的几何和动力学性质。