Global well-posedness in the critical Besov space of the skew mean curvature flow in $\mathbb{R}^d: d\ge 5$

技术摘要：$\mathbb{R}^d$ 中偏斜平均曲率流在临界 Besov 空间中的全局适定性（$d \geq 5$）

问题陈述
本文研究了对于 $d \geq 5$ 维情形，$\mathbb{R}^{d+2}$ 中余维数为 2 的浸入子流形的偏斜平均曲率流（SMCF）的 Cauchy 问题。SMCF 是一种描述定向浸入子流形 $\Sigma_t$ 演化的色散几何流，其演化方程为 $\partial_t F = J(F)H(F)$，其中 $H$ 是平均曲率向量，$J$ 是法丛上的复结构。

核心挑战在于，在临界 Besov 空间 $\dot{B}^{s}_{2,1}(\mathbb{R}^d)$ 中建立小数据的全局适定性，其中缩放临界正则度指数为 $s = s_c = \frac{d}{2} - 1$。以往针对 $d \geq 4$ 的结果要求初始数据具有严格高于缩放阈值的正则度（例如，当 $d \geq 5$ 时，$s_d > d/2 + 1/2 + 1/(2(d-1))$）。临界情况之所以困难，是因为该流是一个耦合了度量与规范变量椭圆系统的拟线性薛定谔型方程；而在临界正则度下，不存在用于吸收非线性频率相互作用的“导数余量”（derivative margin）。

方法论与公式化
作者在演化的曲面上采用了调和坐标（harmonic coordinate）系统，并对法联络使用了 Coulomb 规范（Coulomb gauge）。这种公式化将几何流简化为一个由以下部分组成的系统：

1. 一个关于复平均曲率 $\psi$ 的拟线性薛ric Schrödinger 方程。
2. 一个决定几何变量（度量扰动 $h$、第二基本形式 $\lambda$、切向速度 $V$ 以及联络 $A$）和规范变量 $B$ 的椭圆系统。

该系统通过基于频率包络（frequency envelopes）的 bootstrap 论证进行分析。作者定义了一组变量 $u_1 = \psi, u_2 = \lambda, u_3 = \nabla h, u_4 = V, u_5 = A$，它们具有相同的缩放特性，并将 $B$ 单独处理，因为其缩放性质不同。

关键技术贡献
主要的难点在于临界正则度下控制频率相互作用，此时标准的 Strichartz 和能量估计是不充分的。本文引入了两种互补的时空估计，这些估计源自质量与动量平衡律：

1. 通过新型 Div-Curl 引理实现的双线性估计：
   为了控制低-高（low-high）和高-低（high-low）相互作用，作者利用了一个新的 div-curl 引理（由第四作者 Yi Zhou 引入）。通过将低频波的质量密度与高频波的方向动量密度应用于此引理，作者推导出了一个具有半阶导数增益（$\rho^{-1/2}$）的双线性估计。这种增益对于处理椭圆方程和交换子中出现的抛积项（paraproducts）至关重要。

   • 机制： 该估计利用方向分解 $P_{\rho, \gamma}$，通过牺牲一个高频因子来换取一个特定方向上的导数。

2. 相互作用 Morawetz 估计：
   为了控制同频（comparable-frequency）和高-高（high-high）相互作用，作者将相互作用 Morawetz 估计（最初为半线性薛定谔方程开发）适配到了拟线性情形中。这提供了平移不变且不依赖于方向乘子的关键时空界（$L^4_t L^2_z$ 型范数）。

   • 机制： 该估计提供了必要的积分性，以控制由二次几何项相互作用产生的四次表达式。

结构性利用
证明过程高度依赖于特定的几何结构：

• Codazzi 恒等式： 这些恒等式为复第二基本形式 $\lambda$ 构成了一个协变 div-curl 系统，从而允许进行椭圆重构，使得从 $\psi$ 到 $\lambda$ 的主映射阶数为零。
• Gauss 方程抵消： 度量方程中的二次曲率贡献出现在特定的组合 $(\lambda \wedge \lambda)_{\gamma\sigma} = \lambda_{\gamma\sigma}\psi - \lambda_{\alpha\gamma}\lambda^{\alpha}_{\sigma}$ 中。这种张量结构在两个同频高频相互作用产生极低输出频率时表现出抵消特性。这种增益在五维情形下对于补偿逆椭圆算子的奇异性至关重要。
• 度量演化结构： 度量系数的时间导数被证明要么是微分后的椭圆项，要么是曲率变量的二次项，这使得它在临界 bootstrap 范围内是微扰性的。

主要结果
本文确立了以下内容：

• 定理 1.1： 对于 $d \geq 5$，若初始复平均曲率 $\psi_0$ 在临界 Besov 空间 $\dot{B}^{s_c}_{2,1}(\mathbb{R}^d)$ 中足够小，则该 Schrödinger-椭圆系统是全局适定的。解在临界空间中满足一致先验界。
• 推论 1.2： 因此，对于从 $\mathbb{R}^d$ 到 $\mathbb{R}^{d+2}$ 的映射，若初始子流形是欧几里得平面在临界正则度下的充分小的扰动，则偏斜平均曲率流在调和坐标和 Coulomb 规范下存在唯一的全局解。

意义与主张
本文声称改进了以往的小数据全局正则性结果，通过降低所需的正则度至缩放临界指数 $s_c = d/2 - 1$。

• 它解决了临界 Besov 空间 $\dot{B}^{d/2-1}_{2,1}$ 中的问题，而此前的工作（如 Huang-Li-Tataru）要求正则度严格高于缩向（例如对于 $d \geq 5$，要求 $s > d/2 + 1/2 + 1/(2(d-1))$）。
• 作者强调，其论证是用新型 div-curl 引理（用于低-高控制）与相互作用 Morawetz 估计（用于高-高控制）的精确结合，取代了通常由高于缩放情形提供的“导数余量”。
• 该工作将这些色散技术扩展到了拟线性几何流的应用中，特别是解决了 SMCF 在临界状态下固有的微妙频率相互作用问题。

证明过程通过构造一系列光滑逼近序列完成，利用 bootstrap 论证建立一致的临界界，并使用一个比临界低一阶的弱差异估计（weak difference estimate）来证明唯一性和对初始数据的连续依赖性。