[论文解读] Examples of area-minimizing surfaces in the subriemannian Heisenberg group H^1 with low regularity

Manuel Ritoré|ArXiv.org|Mar 10, 2008

Geometric Analysis and Curvature Flows参考文献 12被引用 9

一句话总结

本文在次黎曼海森堡群 ℍ¹ 中构造了具有低正则性的面积最小化曲面的新例子，利用定义在水平直线或射线上的连续、单调的夹角函数。关键贡献在于构造了一类具有预设奇点集（由单条水平直线或有限条射线组成）的欧几里得局部利普希茨面积最小化锥面，推广了已知例子，并首次提供了具有受控奇点结构的此类锥面。

ABSTRACT

We give new examples of entire area-minimizing t-graphs in the subriemannian Heisenberg group H^1. Most of the examples are locally lipschitz in Euclidean sense. Some regular examples have prescribed singular set consisting of either a horizontal line or a finite number of horizontal halflines extending from a given point. Amongst them, a large family of area-minimizing cones is obtained.

研究动机与目标

• 在次黎曼海森堡群 $\mathbb{H}^1$ 中构造具有低正则性的整体面积最小化 $t$-图的新例子。
• 探讨面积最小化曲面的正则性与结构，特别关注奇点集由水平直线或射线组成的曲面。
• 通过允许非恒定夹角函数，推广 $\mathbb{H}^1$ 中面积最小化锥面的已知例子，包括 Cheng、Hwang 和 Yang 的例子。
• 建立具有预设奇点集的 $C^{1,1}$ 面积最小化锥面的存在性，扩展子黎曼几何中已知极小曲面的类。

提出的方法

• 在 $xy$-平面上的水平直线 $L$ 上定义一个连续、非增的夹角函数 $\alpha: L \to (0, \pi)$，其中 $L$ 是从某一点出发的直线或射线。
• 对每个点 $p \in L$，从 $p$ 出发作两条与 $L$ 成 $\pm \alpha(p)$ 夹角的水平射线，形成一个楔形。
• 构造一个函数 $u_\alpha: \mathbb{R}^2 \to \mathbb{R}$，其在 $xy$-平面上的图像在 $\mathbb{H}^1$ 中构成一个拓扑曲面，且该曲面在欧几里得意义下是局部利普希茨的。
• 当多个楔形在公共点相接时，在相邻楔形的角平分线 $L_i$ 上定义夹角函数 $\alpha_i$，并确保其连续性和单调性。
• 通过逼近光滑夹角函数的标定法证明面积最小化性质，利用标定向量场的连续性。
• 将定义在各个楔形上的曲面拼接在一起，特殊情况下也包括平面 $t=0$，以形成具有受控奇点集的整体 $t$-图。

实验结果

研究问题

• RQ1 能否在 $\mathbb{H}^1$ 中构造出具有低正则性的面积最小化 $t$-图，例如仅在欧几里得意义下为局部利普希茨？
• RQ2 面积最小化曲面在 $\mathbb{H}^1$ 中的奇点集结构如何？是否可以将其预设为有限条水平射线？
• RQ3 是否存在奇点集不只是一条射线的面积最小化锥面？能否显式构造？
• RQ4 是否可以将已知的具有奇点射线的极小锥面例子推广到具有更复杂奇点结构的更广类锥面？
• RQ5 标定技术能否应用于非光滑夹角函数，以在子黎曼几何中证明面积最小化性质？

主要发现

• 本文构造了在 $\mathbb{H}^1$ 中整体的面积最小化 $t$-图，其在欧几里得意义下为局部利普希茨，即使底层夹角函数 $\alpha$ 仅为连续且非增。
• 对于单条水平直线 $L$ 及连续、非增的夹角函数 $\alpha$，所构造的曲面为沿 $L$ 具有奇点集的面积最小化 $t$-图。
• 当夹角函数 $\alpha$ 为常数时，构造结果为一个在每个楔形内部为 $C^{1,1}$、在奇点集外部为 $C^\infty$ 的最小化锥面。
• 通过将多个具有常数夹角函数的楔形拼接，得到一大类面积最小化锥面，其奇点集由从同一点出发的有限条射线组成。
• 证明了函数 $u(x,y) = \max(0, -xy + \beta_0 y|y|)$ 定义的曲面为一个面积最小化锥面，其奇点射线位于 $x = \beta_0 |y|$ 上，推广了文献 [9, Ex. 7.2] 中的例子。
• 通过用光滑函数逼近非光滑夹角函数，成功地将标定法应用于非光滑情形，确保标定向量场在竖直平面上保持连续，从而证明了面积最小性。