Existence of curvature flow with forcing in a critical Sobolev space

技术摘要：临界 Sobolev 空间中带强迫项的曲率流的存在性

问题陈述
本文研究了满足以下运动律的曲线流 $\Gamma(t) \subset \mathbb{R}^2$ 的全局时间存在性：
$$v(x, t) = h(x, t) + u(x, t)^\perp$$
其中 $v$ 是法向速度，$h$ 是平均曲率向量，$u^\perp$ 是给定向量场 $u$ 在曲线法向空间上的投影。初始数据 $\Gamma_0$ 是一个具有有限 1 维 Hausdorff 测度的闭 1-可测集。

核心挑战在于强迫项 $u$ 的正则性。作者考虑了 $u$ 属于“维度临界”Sobolev 空间的情形：
$$u \in L^\infty_{\text{loc}}([0, \infty); L^2(\mathbb{R}^2)) \cap L^2_{\text{loc}}([0, \infty); W^{1,2}(\mathbb{R}^2)).$$
这对应于标度不变的情形，即在抛物型标度下，强迫项的影响在解析上与曲率项相当。这与“亚临界”情形（其中 $u$ 具有更高的正则性或不同的积分指数，强迫项在小尺度下是可忽略的扰动）以及“超临界”情形（其中强迫项过于湍流，导致标准存在性理论无法适用）形成了对比。本文专门处理 $n=1$（$\mathbb{R}^2$ 中的曲线）的情形，其动机源于耦合两相流问题（Navier-Stokes/Allen-Cahn 极限），其中界面根据该运动律运动。

方法论
证明采用了通过积分变分（integral varifolds）使用 Brakke 形式化方法的变分法。该方法论通过以下步骤进行：

1. 逼近： 通过磨光（mollification）将粗糙的向量场 $u$ 逼近为一系列光滑且紧支撑的向量场 $u^{(m)}$。
2. 光滑强迫下的存在性： 利用先前研究成果（具体为 [9, 10, 19]）的修正结果，作者建立了对于光滑强迫项 $u^{(m)}$ 的近似流 $\{V_t^{(m)}\}$ 的存在性。这些近似流在 Brakke 意义下满足运动律，并保持特定的结构性质（例如，具有 120 度角的三向接点）。
3. 先验估计（核心创新）： 作者推导了仅依赖于初始长度 $H^1(\Gamma_0)$ 和由 $c_1(u, T)$ 定义的 $u$ 的范数的近似流一致估计。
   • 与亚临界情形不同（在亚临界情形下，Huisken 单调公式提供了对上密度比 $D(t)$ 的一致 $L^\infty$ 界），临界情形阻止了这种界限的存在，因为在单调公式的计算中无法控制强迫项 $u$。
   • 相反，作者利用了一种针对一维一般变分（1-dimensional general varifolds）的特定单调公式（命题 3.1），通过将密度比 $D(t)$ 绑定在曲率的 $L^2$ 范数上：$D(t) \lesssim \int |h| d\|V_t\|$。
   • 随后，他们应用 Meyers-Ziemer 不等式（定理 3.2），该不等式将 Sobolev 函数在可测集上的积分与其在环境空间中的梯度联系起来，前提是密度比是有界的。
   • 通过结合这些方法，他们完成了能量估计的闭合，从而获得了关于曲线长度以及曲率和强迫项在曲线上的 $L^2$ 范数的界，进而得到总长度的指数级界限（公式 1.6）。
4. 紧致性与极限过程： 利用一致界限，作者提取了一个收敛到极限变分 $\{V_t\}$ 的子序列。他们证明了该极限满足原始粗糙向量场 $u$ 的 Brakke 不等式。
5. 极限的结构： 作者分析了极限流的几何结构，证明其由有限数量的 $W^{2,2}$ 曲线组成，并在以 0、60 或 120 度角相交的接点处汇合。

主要结果
主定理（定理 2.3）确立了一族积分 1-变分 $\{V_t\}_{t \geq 0}$ 以及一族有限周长集合 $\{E_i(t)\}$，满足：

• 初始条件： $\|V_0\| = H^1 \lfloor \Gamma_0$。
• 运动律： 流满足带有法向速度 $h + u^\perp$ 的 Brakke 不等式（公式 2.14）。
• 正则性： 对于几乎所有的 $t$，支持集 $V_t$ 由有限数量的嵌入式 $W^{2,2}$ 曲线组成。如果 $N=2$（两相），则这些曲线为闭环；如果 $N \geq 3$，则它们形成具有 120 度角三向接点的网络。
• 全局界限： 流的 1 维 Hausdorff 测度（长度）满足：
  $$H^1(\Gamma(T)) \leq H^1(\Gamma_0) \exp(c_2 c_1(u, T))$$
  其中 $c_1(u, T)$ 涉及 $u$ 的 $L^2$ 范数以及 $\nabla u$ 的 $L^2$ 范数。
• 相演化： 集合 $\{E_i(t)\}$ 在 $L^1$ 意义下连续演化（在时间上是 Hölder 连续的），且其约化边界受变分测度控制。

意义与主张
本文声称提供了第一个在 $n=1$ 时，具有临界 Sobolev 标度强迫项的曲率流的全局存在性结果。

• 临界 vs. 亚临界： 作者强调，临界情形与亚临界情形（其中 $u$ 更正则）截然不同。在亚临界情形下，Huisken 单调公式允许对密度比进行一致控制，确保流表现为标准平均曲率流的一个扰动。在临界情形下，这种控制失效了；强迫项的影响在所有尺度上都与曲率相当。
• 维度 1 的技术必要性： 该策略高度依赖于针对一维变分的特定单调公式（公式 1.13），该公式将密度比与 $L^2$ 曲率联系起来。作者在“最后备注”中指出，该策略似乎无法推广到 $n > 1$ 的临界情形，因为不存在相应的密度比界限。
• 非平凡性： 保证了在正时间间隔内存在非平凡解，并且解可以经过奇异性（如曲线碰撞或接点形成），同时保持有限的表面测度。
• 动机： 本工作受到耦合两相流问题（Navier-Stokes/Allen-Cahn 极限）的启发，在这些问题中，界面的运动由曲率和流体速度共同驱动，而流速场自然地处于此处考虑的临界空间中。

作者对“超临界”情形保持谦逊，指出目前尚无通用的存在性定理，并暗示此类解可能并不存在，因为强迫场过于湍流，以至于无法维持有限的表面测度。