On Brezis Open Problem 3.1

技术摘要：具有纬圈迹的弱调和映射的唯一性

问题陈述
本文探讨了关于单位圆盘 $B_1 \subset \mathbb{R}^2$ 到单位球面 $S^2$ 的弱调和映射唯一性的一个长期悬而未决的问题。具体而言，它考虑了如下狄利克雷问题（Dirichlet problem）下的调和映射方程：
$$-\Delta u = |\nabla u|^2 u \quad \text{在 } B_1 \text{ 内}, \quad u|_{\partial B_1} = g_R,$$
其中边界迹 $g_R(e^{i\theta}) = (R \cos \theta, R \sin \theta, \sqrt{1-R^2})$ 描述了一个以恒定速度绕行一次的纬圈，且 $0 < R < 1$。

1983年，Brézis 和 Coron 确定了两个显式解 $u_+$ 和 $u_-$，它们分别对应于由该边界迹定义的球面帽的共形（conformal）和反共形（anti-conformal）填充。他们证明了这两个映射在其各自的相对同伦类（度数为 $\pm 1$）中是能量极小值。然而，问题在于对于相同的边界数据，是否存在非极小值的临界点（鞍点）。这在 Brézis 的“最喜欢的开放问题”名单中被正式列为开放问题 3.1。本文旨在确定 Brézis–Coron 映射是否穷尽了具有该特定迹的所有弱调和映射。

方法论
作者采用了一种结合了几何分析、复分析和变分不等式的“边界刚性”（boundary rigidity）论证方法。证明过程主要分为两个阶段：

1. 通过辅助势函数与等周不等式实现的边界刚性：

   • 辅助势函数： 与调和映射 $u$ 相关联，作者定义了一个全局势函数 $X: B_1 \to \mathbb{R}^3$，满足 $X_x = -u \times u_y$ 且 $X_y = u \times u_x$。这一构造植根于高斯映射/常平均曲率（CMC）的对应关系。
   • 投影曲线与代数面积： 他们分析了边界曲线 $\Gamma = X|_{\partial B_1}$ 及其在水平面 $x_3=0$ 上的正交投影 $\gamma$。利用投影-雅可比恒等式，他们证明了 $\gamma$ 所围成的有向面积（algebraic area）恰好为 $\pi R^2$。
   • Pohozaev 恒等式与长度界限： 对于 Hopf 微分，Pohozaev 恒等式给出了关于 $\Gamma$ 长度的一个精确积分界限。具体而言，$\int_0^{2\pi} |u_r(1, \theta)|^2 d\theta = 2\pi R^2$。
   • 等周饱和： 通过将平面等周不等式应用于投影曲线 $\gamma$（将其长度与其代数面积联系起来），并将其与 $\Gamma$ 的长度进行比较，作者建立了一系列不等式链：
     $$4\pi^2 R^2 \leq L_h^2 \leq L^2 \leq 4\pi^2 R^2.$$
     由于下界（来自精确的代数面积）与上界（来自 Pohoзоev 恒等式）相重合，所有的不等式必须取等号。这种“饱和”现象强制了边界上的逐点恒等式：$|u_r| \equiv R$ 且 $u_r \cdot u_\theta \equiv 0$。

2. 共形分类：

   • Hopf 微分消失： 上述边界恒等式意味着 Hopf 微分 $q(z) = u_z \cdot u_z$ 在 $\partial B_1$ 上消失。由于 $q$ 在 $B_1$ 内是全纯的，最大模原理迫使 $q \equiv 0$ 在整个圆盘内成立。因此，该映射是弱共形的。
   • 立体投影与洛朗级数： 利用南极立体投影，该映射可以用一个在边界邻域上的复值函数 $w$ 来表示。Hopf 微分的消失意味着 $w$ 或者是全纯的，或者是反全纯的。
   • 邻域内的唯一性： 给定非零的边界导数和特定的迹 $w(e^{i\theta}) = \rho e^{i\theta}$，通过洛朗级数展开可以得出 $w$ 必为 $\rho z$（全纯）或 $\rho/\bar{z}$（反全纯）。
   • 全局扩张： 利用椭圆系统的实解析性，该邻域内的识别可以扩张到整个圆盘，从而得出恰好是两个 Brézis–Coron 解。

主要贡献与结果

• 解决开放问题 3.1： 本文证明了 定理 1.1，即对于 $0 < R < 1$，具有迹 $g_R$ 的 $H^1(B_1; S^2)$ 中的弱调和映射仅有这两个显式的 Brézis–Coron 映射。这通过排除非极小值临界点的存在，明确回答了该问题。
• 边界刚性机制： 作者引入了一种新的刚性论证方法，将投影势曲线的精确代数面积转化为 Hopf 微分的消失。这种机制隔离了“绕行一次”纬圈的一个几何特征，而这一特征在标准的变分分类方法中是无法察觉的。
• 在 H-系统中的应用： 本文推导出了 推论 1.2，将唯一性结果应用于二维 $H$-系统（具有常平均曲率的共形浸入），证明具有预设单位法向量迹的共形浸入 $Y: B_1 \to \mathbb{R}^3$ 必须是模型圆盘 $Z_+$ 或 $Z_-$ 的刚性平移。
• 端点分析： 作者分析了 $R \to 1$（赤道）和 $R \to 0$（极点）的极限情况。他们表明该结果对于 $R=1$（非退化）仍然成立，而 $R=0$ 代表一个退化情况，即边界塌缩为一个点，产生唯一的常数映射。

意义
本文为 Brézis 的开放问题 3.1 提供了肯定的最终回答。其重要性在于展示了对于“绕行一次”的纬圈，在更高绕数或更一般的非凸边界数据中观察到的“多重性”现象并不发生。证明确立了这两个自然的共形和反共形填充穷尽了所有的临界点，而不仅仅是极小值。

这项工作突出了“绕行一次”迹所具有的一种特殊的几何刚性，这种刚性是由 Pohozaev 恒等式、Hopf 微分与尖锐的平面等周不等式之间的相互作用所驱动的。这种方法为调和映射中的唯一性问题提供了一个全新的视角，区分了那些仅靠变分方法不足以解决、而需要几何刚性来强制唯一性的情形。作者指出，当绕数 $m \geq 2$ 时，这种机制会失效，届时预计会出现多个临界点，从而阐明了该领域内唯一性的拓扑与几何边界。