Lipschitz regularity of harmonic map heat flows into $CAT(0)$ spaces

技术摘要：向 CAT(0) 空间映射的调和映射热流的 Lipschitz 正则性

问题陈述
本文探讨了关于向 CAT(0) 空间映射的弱解在正则性方面的长期悬而未决的问题。虽然 Mayer 和 Jost 在 20 世纪 90 年代通过度量空间中的梯度流理论，确立了此类弱解的存在性、唯一性和长时间收敛性，但这些解在空间和时间变量上是否具有 Lipschitz 正则性的问题仍未得到解决。此前，Lin、Segatti、Sire 和 Wang（2026）的工作提供了一个部分答案，即对于一类特定的 CAT(0) 空间（即可嵌入到欧几里得空间且具有特定渐近性质的空间），证明了其在空间变量上的 Lipschitz 连续性和在时间变量上的 1/2-Hölder 连续性。作者旨在为任意 CAT(0) 空间提供一个完整的回答，证明其在两个变量上的 Lipschitz 正则性，并建立一个抛物型 Bochner 型不等式。

方法论
作者结合了内在几何分析、粘性解理论以及从其先前关于调和映射的工作中改编而来的非线性流技术。证明策略分为三个主要阶段：

1. 局部 Hölder 连续性：
   作者首先建立了弱解的局部 Hölder 连续性。他们将 De Giorgi-Nash-Moser 理论应用于抛型情形。一个关键难点在于，由于右侧缺乏时间导数，标准的抛型 Poincaré 不等式对于一般的 $W^{1,2}$ 函数并不成立。然而，通过利用梯度流的正则性（具体而言，是流在 $t > 0$ 时在 $L^2$ 度量下的 Lipschitz 连续性），他们证明了一个修正后的局部 Poincaré 不等式。这使得他们能够导出距离函数 $d_Y(P, u(x,t))$ 的次解属性，从而通过迭代论导出局部 Hölder 连续性。

2. 时间 Lipschitz 连续性：
   为了证明时间变量上的 Lipschitz 连续性，作者为两个弱解之间的平方距离 $w(x,t) = d_Y^2(u(x,t), v(x,t))$ 建立了一个至关重要的“次解属性”。他们证明了在分布意义下 $(\Delta - \partial_t)w \geq 2R_{u,v}$，其中 $R_{u,v}$ 是与能量密度差相关的非负项。通过选择 $v(x,t) = u(x, t+s)$ 并对该次解应用极大值原理，他们导出了时间差的一致界限，从而证明了映射 $t \mapsto u(x, \cdot)$ 是局部 Lipschitz 连续的。

3. 空间 Lipschitz 连续性：
   空间正则性的建立是通过构造一个非线性“Hamilton-Jacobi”流实现的。与涉及两个空间变量的椭圆情形不同，抛型情形最初暗示了对两个时间变量（$t$ 和 $s$）的依赖，这使得推导抛型 PDE 变得复杂。利用先前已建立的时间 Lipschitz 连续性，作者定义了一个仅依赖于单个时间变量的“修正后”流：
   $$f_\epsilon(x, t) := \inf_{y \in \Omega} \left( \frac{e^{-2Kt} d^2(x, y)}{2\epsilon} - d_Y(u(x, t), u(y, t)) \right)$$
   他们证明了该函数是热方程的一个粘性超解。通过将此流与空间梯度范数联系起来（通过渐近平均值不等式和 Hardy-Littlewood 最大函数的性质），他们界定了空间 Lipschitz 常数，从而建立了局部空间 Lipschitz 连续性。

4. Bochner 不等式：
   最后，作者通过将距离函数的幂次从指数 2 提升到更高的整数 $p$ 来改进 Hamilton-Jacobi 方法。通过分析当 $p \to \infty$ 时的极限，他们导出了一个关于空间 Lipschitz 常数的 Eells-Sampson 型 Bochner 不等式。

主要结果
论文确立了以下主要定理：

• 定理 1.3（主要正则性结果）： 令 $M$ 为 Ricci 曲率下界为 $K$ 的完备黎曼流形，$(Y, d_Y)$ 为任意 CAT(0) 空间。对于具有有界初始数据的任何调和映射热流弱解 $u(x,t)$，$u$ 在 $\Omega \times (0, +\infty)$ 上关于空间和时间均是局部 Lipschitz 连续的。
• 定理 1.3 (ii)（Bochner 不等式）： 点空间 Lipschitz 常数，定义为 $\text{lip}_x u(x,t) := \limsup_{y \to x} \frac{d_Y(u(x,t), u(y,t))}{d(y,x)}$，属于 $V_{2,loc} \cap L^\infty_{loc}$，并满足如下分布不等式：
  $$(\Delta - \partial_t)(\text{lip}_x u)^2 \geq 2|\nabla \text{lip}_x u|^2 + 2K(\text{lip}_x u)^2$$
  这是调和映射 Bochner 不等式的抛型类比。

意义与主张
作者声称为向奇异度量空间映射的调和映射热流的 Lipschitz 正则性问题提供了“完整的回答”，消除了先前部分结果（Lin 等人）中要求的限制性嵌入假设。这些结果对于任何 CAT(0) 空间都成立，无论其是否局部紧致。

论文强调，所导出的 Bochner 不等式（定理 1.3(ii)）是一个重要的工具，类似于经典的 Eells-Sampson 不等式，该不等式在几何群论的刚性定理中起着核心作用。作者指出，他们在第 3、4、5 节中的论证可以推广到从 RCD 空间到 CAT(0) 空间的映射，尽管空间 Lipschitz 证明（第 7 节）目前依赖于粘性解理论，而该理论在 RCD 空间上的抛型方程中尚未完全发展成熟。

这项工作直接建立在 Mayer 和 Jost 的基础梯度流理论以及 Lin、Segatti、Sire 和 Wang 最近的椭圆逼近方法之上，通过扩展这些框架实现了完整的时空正则性。