Lipschitz regularity of harmonic quasiconformal maps between Lyapunov domains in $\mathbb{R}^n$

技术摘要：Lyapunov 域间调和拟共形映射的 Lipschitz 正则性

问题陈述
本文研究了 $\mathbb{R}^n$ 中有界域之间调和拟共形（HQC）映射的正则性。具体而言，它研究了一个保持方向的调和 $K$-拟共形同胚 $f: D \to \Omega$ 在源域 $D$ 和靶域 $\Omega$ 均为 Lyapunov 域（等价于有界的 $C^{1,\alpha}$ 域，其中 $\alpha \in (0, 1]$）时，是否具有全局 Lipschitz 连续性。

虽然之前的研究（特别是 [11]）已经确立了当源域为单位球 $B^n$ 且靶域具有 $C^{1,\alpha}$ 边界时的 Lipschitz 连续性，但当源域 $D$ 是任意 $C^{1,\alpha}$ 域时的一般情况仍然是一个开放问题。作者旨在将这一结果扩展到任意 $C^{1,\alpha}$ 源域和靶域的情况。

方法论
证明依赖于一种边界迭代方案，该方案将边界迹的初始 Hölder 连续性转化为更高阶的正则性，最终实现边界处的梯度有界。该方法论通过以下阶段进行：

1. 全局 Hölder 连续性： 作者首先建立 $f$ 是全局 $\beta$-Hölder 连续的，其中 $\beta \in (0, 1)$。这是基于有界 $C^{1,\alpha}$ 域是均匀域（因此也是 John 域）的事实，从而可以应用关于均匀域与 John 域之间映射的现有定理。
2. 从边界到内部的梯度估计： 核心分析工具是靠近边界点 $x_0 \in \partial D$ 的局部估计。
   • 引理 3.1： 如果调和函数 $u$ 的边界迹在 $x_0$ 处满足 $\mu$-Hölder 条件（$0 < \mu < 1$），则其梯度 $|\nabla u(x)|$ 沿内法向射线以 $t^{\mu-1}$ 的速度衰减，其中 $t$ 是到边界的距离。
   • 引理 3.2： 如果 Hölder 指数 $\mu > 1$，则梯度估计在边界附近变为一致（有界）。
   • 这些引理利用了 $C^{1,\alpha}$ 域上的调和测度估计，通过将边界平坦化为图（graph），并应用标准的边界 Lipschitz 估计。
3. 通过拟共形性提升指数：
   • 作者在边界点 $q = f(\xi)$ 处旋转坐标系，使得靶域边界 $\partial \Omega$ 在局部被表示为 $C^{1,\alpha}$ 图 $y_n = \Phi(y')$。
   • 映射的法向分量 $f_n$ 受边界几何形状的约束：$f_n(\eta) = \Phi(\tilde{f}(\eta))$。由于 $\Phi$ 是 $C^{1,\alpha}$ 且切向分量是 $\beta$-Hölder 的，因此法向分量获得了更高的正则性，满足指数为 $\beta_1 = (1+\alpha)\beta$ 的 Hölder 条件。
   • 随后利用拟共形性将这种控制从法向分量传播到全微分 $|Df|$。具体而言，微分的最小奇异值控制了全范数，而法向分量的边界梯度估计提供了必要的界限。
4. 迭代： 提升后的 Hölder 指数 $\beta_1$ 被反馈回梯度估计中。通过迭代此过程 ($\beta_{m+1} = (1+\alpha)\beta_m$)，该指数最终会超过 1。一旦 $\beta_m > 1$，引理 3.2 即可适用，从而在边界的领圈（collar）邻域内得到一致的 $|Df|$ 估计。
5. 全局化： 将边界附近的局部界限与标准内部梯度估计（由于 $f$ 是调和的且在内部光滑，故该估计有效）相结合，从而建立全局 $|Df|$ 的界限。

主要贡献与结果

• 主定理 (Theorem 2.1)： 作者证明，如果 $D$ 和 $\Omega$ 是 $\mathbb{R}^n$ 中的有界 $C^{1,\alpha}$ 域（$\alpha \in (0, 1)$），那么任何调和 $K$-拟共形同胚 $f: D \to \Omega$ 都是全局 Lipschitz 连续的。
• 对前人工作的扩展： 该结果推广了 [11] 的发现，移除了源域必须为单位球的限制。
• 技术框架： 本文提供了一个详细的“边界迭代方案”，明确地将 $\partial D$ 的 $C^{1,\alpha}$ 正则性与法向分量的 Hölder 指数增益以及随后的全梯度有界性联系起来。
• 辅助估计： 本文建立了精确的定量估计（引理 3.1 和 3.2），将 $C^{1,\alpha}$ 域中调和函数的边界 Hölder 控制与内部梯度界限联系起来，并区分了 $\mu < 1$ 和 $\mu > 1$ 的情况。

意义与主张
本文声称解决了任意 Lyapunov 域之间 HQC 映射的正则性问题。其意义在于：

• 消除几何约束： 通过允许源域为任意 $C^{1,\alpha}$ 域而非仅限于单位球，该结果适用于更广泛的几何配置。
• 统一方法： 该论证综合了调和分析（调和测度、边界估计）和拟共形几何（导数的畸变、奇异值）的工具，将正则性从边界传播到内部。
• 范围适度： 作者将这项工作定位为在仅假设源端具有 $C^{1,\alpha}$ 边界的情况下对 [11] 的改进。他们并未声称解决了对于正则性较低的域（例如没有 $C^{1,\alpha}$ 光滑性的 Lipschitz 域）的问题，也未提供双 Lipschitz 常数，而是专注于严格的全局 Lipschitz 性。

论文最后指出，在平面情形下，类似的结果此前已通过归约为单位圆盘和共形映射理论得到解决，但本文呈现的高维证明依赖于上述内在的迭代方案。