Explicit harmonic and wave maps into variable-curvature surfaces

技术摘要：向变曲率曲面的显式调和映射与波动映射

问题陈述
调和映射与波动映射显式解的构造已发展为一套成熟的定性理论，但在显式公式方面仍 largely 是一个未解难题，尤其是在高度对称或常曲率情形之外。在变曲率几何中，那些在常曲率目标（如球面或双曲平面）中促进显式积分的经典可积结构与对称约化通常会失效。因此，针对真正具有变曲率的目标（如椭球面、双曲面和施瓦西外部区域）的显式构造极为稀缺且难以获取。

方法论
作者发展了一个伪黎曼曲面的约化框架，将显式构造推广至一类具有几何重要性的变曲率目标。该方法论依赖以下组成部分：

1. 几何设定：定义域 $(M, g)$ 是一个伪黎曼曲面，配备等温度量 $g = e^f(x,y)(dx^2 - \epsilon^2 dy^2)$，其中 $\epsilon \in \{1, i\}$ 用于区分洛伦兹号差（$\epsilon=1$）与黎曼号差（$\epsilon=i$）。目标 $(N, h)$ 是一个具有形式 $h = A(R)dR^2 - \delta^2 B(R)dS^2$ 度量的曲面，其中 $A$ 和 $B$ 为光滑正函数，且 $\delta \in \{1, i\}$。该类涵盖了广泛的变曲率几何，包括旋转曲面和相对论模型。
2. 首次积分：作者利用欧拉 - 拉格朗日系统的首次积分。对于调和映射 $u=(R,S)$，存在函数 $F(v)$ 和 $G(w)$，使得 $A(R)R_v^2 - \delta^2 B(R)S_v^2 = F(v)$ 且 $A(R)R_w^2 - \delta^2 B(R)S_w^2 = G(w)$。
3. 行波假设：为实现可解约化，作者采用特定的行波假设，其中映射剖面沿特征组合 $t = ay - bx$ 演化。具体而言，映射定义为：
   • $R(x, y) = R(t)$
   • $S(x, y) = ax + by + H(t)$
     该假设并非仅仅是临时的计算工具，而是对应于一个单参数约化，其中第二个目标分量保留了对原始坐标的仿射依赖。
4. 约化为常微分方程：通过将假设代入首次积分（假设首次积分 $F$ 和 $G$ 为常数），耦合的欧拉 - 拉格朗日偏微分方程组约化为一阶常微分方程组。该系统解耦，使得 $H'(t)$ 可代数地由 $R(t)$ 确定，而 $R(t)$ 满足一个可分离的一阶常微分方程。

主要贡献与结果
本文的主要结果是定理 4，它提供了向上述指定类伪黎曼曲面的调和映射与波动映射的约化原理。在引入的对称假设下，系统约化为径向分量 $R(t)$ 的一个可解一阶方程，而角分量 $S$ 则通过积分恢复。

作者通过四个在真正变曲率设定下的显式构造展示了该框架的有效性：

1. 向椭球面的调和映射：作者构造了从黎曼曲面到 $\mathbb{R}^3$ 中非圆椭球面的显式调和映射。这填补了一个空白，因为在椭球面上缺乏传递等距群，导致基于标准对称性的方法失效。
2. 向双曲面的洛伦兹波动映射：构造了从洛伦兹曲面到单叶双曲椭球面的显式波动映射，展示了该方法对不定度量的适用性。
3. 向施瓦西外部的波动映射：该框架导出了向施瓦西时空二维洛伦兹约化（$R > 2M$）的显式波动映射。该示例将几何约化与数学物理中直接相关的背景联系起来。
4. 混合号差示例：提供了一个构造，其中定义域和目标具有不同的号差（$\delta \neq \epsilon$），证实了约化机制独立于流形的相对号差。

意义与主张
本文声称填补了文献中的特定空白，提供了针对此类变曲率伪黎曼曲面的首组显式调和映射与波动映射。该工作的重要性在于：

• 统一性：该方法在单一框架内统一处理椭圆型（调和）与双曲型（波动）情形。
• 可及性：它为那些此前显式构造极难获取的目标生成了闭式解，超越了仅依赖常曲率模型或对称空间的局限。
• 几何适应性：行波假设被呈现为一种几何自然的约化，它在保持目标变量间非平凡耦合的同时，使系统变得可处理。

作者指出，虽然所利用的共形不变性特定于二维，但用代数约束和可分离常微分方程替代偏微分方程组的核心机制暗示了其在更高维度的潜在适应性，他们将其确定为未来工作的方向。本文明确区别于作者之前的贡献（后者通过贝尔特拉米方程关注常曲率微分同胚）；当前工作利用首次积分和对称约化，处理向变曲率几何的非微分同胚映射。