[论文解读] Lipschitz continuity of harmonic maps between Alexandrov spaces

Hui-Chun Zhang, Xi-Ping Zhu|arXiv (Cornell University)|Nov 6, 2013

Geometric Analysis and Curvature Flows参考文献 33被引用 6

一句话总结

该论文通过证明从下有界曲率的亚历山德罗夫空间到非正曲率度量空间的调和映射是局部Lipschitz连续的，解决了长期悬而未决的开放问题，从而将先前的Hölder连续性结果推广。证明结合了热流技术、次解估计以及具有曲率下界的度量测度空间上的能量衰减分析，在几何假设最小的条件下建立了精确的正则性。

ABSTRACT

In 1997, J. Jost [27] and F. H. Lin [39], independently proved that every energy minimizing harmonic map from an Alexandrov space with curvature bounded from below to an Alexandrov space with non-positive curvature is locally Hölder continuous. In [39], F. H. Lin proposed a challenge problem: Can the Hölder continuity be improved to Lipschitz continuity? J. Jost also asked a similar problem about Lipschitz regularity of harmonic maps between singular spaces (see Page 38 in [28]). The main theorem of this paper gives a complete resolution to it.

研究动机与目标

• 解决F. H. Lin（1997）和J. Jost（2000）提出的开放问题：从下有界曲率的亚历山德罗夫空间到非正曲率空间的调和映射是否为局部Lipschitz连续。
• 在经典PDE方法失效的奇异几何设定中，建立调和映射的精确正则性。
• 将调和映射的正则性理论从光滑黎曼流形推广至具有曲率下界的度量测度空间。
• 在奇异空间背景下，完整解决Lipschitz正则性问题，其应用涵盖几何群论与刚性定理。

提出的方法

• 在乘积空间 $ B_q(R/4) \times (1/4, 3/4) $ 上采用热流方法，定义函数 $ v(t,x,\lambda) $ 以捕捉能量衰减与次解行为。
• 将度量测度空间上具有曲率下界的热方程的次解概念应用于Bakry-Émery曲率条件。
• 采用改进的能量泛函 $ \mathscr{H}(t) $ 来追踪 $ v(t,\cdot,\cdot)/t $ 的 $ L^2 $-范数，通过能量项与振幅项估计其时间导数。
• 利用控制收敛定理与热核估计，控制 $ \mathscr{H}(t) $ 在 $ t \to 0^+ $ 时的初始行为。
• 应用次解的平均值不等式，将 $ \sup \frac{v(t,x,\lambda)}{t} $ 以 $ \mathscr{H}(t)/t $ 的形式有界，从而导出距离 $ d_Y(u(x),u(y)) $ 的点态估计。
• 通过在估计 $ \frac{d_Y(u(x),u(y))}{|xy|} \leq C_6 \cdot \mathscr{A}_{u,R} $ 中选择最优时间 $ t $，导出Lipschitz界，该估计在 $ B_q(R/16) $ 内一致成立。

实验结果

研究问题

• RQ1 能否将从CBB空间到NPC空间的调和映射的Hölder连续性改进为Lipschitz连续性？
• RQ2 在具有曲率下界的奇异度量测度空间中，调和映射是否存在统一的Lipschitz界？
• RQ3 热流技术与次解估计能否被适配以证明非光滑几何设定下的正则性？
• RQ4 在缺乏光滑结构的条件下，能量衰减与振幅控制是否足以建立精确的正则性？

主要发现

• 主要结果表明，任意从下有界曲率的亚历山德罗夫空间中的区域 $ \Omega $ 到完备长度空间的非正曲率的调和映射 $ u: \Omega \to Y $ 均为局部Lipschitz连续。
• 证明显示，对所有 $ x,y \in B_q(R/16) $，有 $ \frac{d_Y(u(x),u(y))}{|xy|} \leq C_6 \cdot \mathscr{A}_{u,R} $，其中 $ \mathscr{A}_{u,R} = \left( \frac{E^u_2(B_q(R))}{{\rm vol}(B_q(R))} \right)^{1/2} + {\rm osc}_{\overline{B_q(R)}} u $。
• 常数 $ C_6 $ 仅依赖于维数 $ n $、曲率下界 $ k $ 和半径 $ R $，确保在局部区域内具有统一控制。
• 该方法避免依赖线性PDE理论，因此适用于非线性目标空间与奇异定义域。
• 该结果证实了F. H. Lin（1997）的猜想，并解决了调和映射在奇异空间中正则性理论中的一个关键开放问题。
• 证明技术具有鲁棒性，可推广至满足Bakry-Émery曲率条件的空间，表明其适用范围超越亚历山德罗夫空间。