$L^2(\mathbb{R}^2)$ Well-Posedness and Logarithmic Lipschitz Regularity for the Density Patch Problem

技术摘要：$L^2(\mathbb{R}^2)$ 适定性与密度斑块问题的对数 Lipschitz 正则性

问题陈述

本研究探讨了带有真空条件的二维非均匀不可压缩纳维-斯托克斯（Navier–Stokes）系统的密度斑块问题。初始配置由密度 $\rho_0 = \mathbf{1}_D$ 组成，其中 $D \subset \mathbb{R}^2$ 是一个有界 Lipschitz 区域的指示函数，代表被真空包围的均匀流体斑块，以及一个散度自由的速度场 $u_0 \in L^2_\sigma(\mathbb{R}^2)$。

核心问题在于：

1. 唯一性： 对于这种在真空区域失去椭圆性的退化系统，在自然能量能级（$u_0 \in L^2$）下是否存在唯一解？
2. 几何正则性： 初始斑块边界 $\partial D$ 的几何正则性是否随时间保持？具体而言，斑块边界是否始终保持为 1 维豪斯多夫维数，还是会产生奇异性（如尖点）从而增加其维数？

方法论

1. 通过相对能量与流失真控制实现唯一性
为了证明唯一性（定理 A），作者采用了一种针对低正则性数据的相对能量论证方法。核心难点在于真空环境，因为在这种情况下，标准的 Ladyzhenskaya 型不等式会失效，由于加权范数 $\|\sqrt{\rho} \delta u\|_{L^2}$ 仅控制密度支撑集上的速度差。

• 局部估计： 证明过程并未使用全局估计，而是利用了演化斑块 $X(t, D)$ 上的局部 $L^4$ 估计。这依赖于“抛物型位移”性质 $|X(t, x) - x| \lesssim \sqrt{t}$，该性质在立即强解中成立。
• 处理真空失配： 能量差中的一个关键项涉及两个传输斑块之间的失配。作者引入了一个复合流映射 $Y_\tau(s, x) = X_2(s; \tau, X_1(\tau, x))$，用于追踪两个潜在解之间的相互作用。
• 流失真： 由于速度场不是 Lipschitz 的（仅为 $L^2$），流场并非一致 Lipschitz。作者证明了流的失真满足一个涉及权重函数 $w_M(t, s) = \exp(M\sqrt{\log(t/s)})$ 的特定界限。这使得在不需要 $\nabla u \in L^1_t L^\infty_x$ 的情况下，也能控制密度失配的传输。
• Gronwall 论证： 通过将这些局部估计与时间加权能量泛函以及传输方程的双对性公式相结合，作者完成了 Gronwall 论证，从而确立了唯一性。

2. 通过原子分解实现对数 Lipschitz 正则性
为了建立速度场的正则性（定理 B），本文将经典的 Chemin–Lerner 结果扩展到了带有真空的非均匀情形。

• 原子分解： 利用齐次索伯列夫空间 $\dot{H}^{-s}$ 与 $\dot{H}^s$ 之间的实插值法，将初始数据 $u_0 \in L^2$ 分解为一系列散度自由的原子 $\{u_{j,0}\}$。
• 线性化演化： 每个原子根据由全速度场驱动的线性化系统进行演化。作者利用已知的线性化解的衰减估计（源自文献 [9, 23]），这些估计显示了抛物型随时间衰减的特性。
• 求和策略： 通过将原子的求和拆分为低频和高频部分来估计速度差 $|u(t, x) - u(t, y)|$。通过选择依赖于 $|x-y|$ 的截断频率 $N$，作者推导出了如下形式的对数 Lipschitz 估计：
  $$|u(t, x) - u(t, y)| \leq \gamma(t) |x-y| (-\log |x-y|)^{1-\eta}$$
  其中 $\eta \in (0, 1/2)$。该证明避开了频率定位技术（傅里叶分析），转而采用原子分解，使得论证对于无法使用傅里叶方法的场景具有鲁棒性。

主要贡献与结果

• 定理 A（唯一性）： 本文确立了对于初始数据 $(\rho_0, u_0)$（其中 $\rho_0 = \mathbf{1}_D$ 且 $u_0 \in L^2_\sigma(\mathbb{R}^2)$）的“立即强解”的唯一性。结合文献 [23] 中的存在性结果，这完成了密度斑块问题在自然能量空间 $L^2$ 下的全局适定性。
• 定理 B（对数 Lipschitz 正则性）： 对于严格正密度以及带有真空的密度斑块，速度场满足一个具有时间相关系数 $\gamma(t) \in L^1_{loc}$ 的对数 Lipschitz 估计。这把 Chemin 和 Lerner [5] 的经典结果扩展到了带有真空的非均匀情形。
• 推论 1.3（维数保持）： 作为对数 Lipschitz 正则性的结果，相关的流映射 $X(t, \cdot)$ 属于 $L^\infty_{loc}([0, \infty); C^{1-\varepsilon}(\mathbb{R}^2))$（对于任何 $\varepsilon \in (0, 1)$）。因此，斑块边界的豪斯多夫维数在所有时刻均得到保持：
  $$\dim_H(\partial D(t)) = 1 \quad \forall t \geq 0.$$

意义与主张

本文声称解决了在临界能量能级 $L^2$ 下密度斑块问题的唯一性问题，这一能级此前因动量方程在真空中的退化性而处于开放状态。作者指出，虽然以往的结果需要更高的正则性（例如 $u_0 \in H^1$ 或 Besov 空间 $\dot{B}^0_{2,1}$），但本工作是在自然的能量能级上进行的。

关于几何正则性，论文表明虽然边界仍是一个 1 维对象（豪斯多夫维数为 1），但速度场缺乏 Lipschitz 正则性（这是 $L^2$ 数据的固有属性）阻碍了界面作为 Lipschitz 曲线的保持。作者明确指出，尖点形成的可能性仍然是一个开放问题，目前尚不清楚斑块的周长是否会随时间变得无穷大。强调对数 Lipschitz 估计中 $\eta > 0$ 条件的意义在于，它是防止边界维数增长的精确阈值，从而将此结果与经典的 $\eta=0$ 情况区分开来，在后者中维数理论上可能会增长。

其方法论被呈现为一种利用原子分解和流失真估计的鲁棒替代方案，而非基于傅里叶的频率定位，这可能适用于其他无法使用傅里叶方法的场景。