[论文解读] Translation surfaces of coordinate finite type

Hassan Al-Zoubi, Stylianos Stamatakis+2 more|arXiv (Cornell University)|Feb 7, 2019

Geometric Analysis and Curvature Flows参考文献 2被引用 4

一句话总结

本论文研究了三维欧几里得空间中关于第三基本形式 $III$ 为坐标有限型的翻译曲面，表明唯一满足 $\Delta^{III}\mathbf{x} = \Lambda\mathbf{x}$ 的此类曲面是谢尔克的极小曲面。分析采用嘉当的活动标架法推导第三基本形式的拉普拉斯算子，并通过求解常微分方程组对解进行分类，最终得出结论：仅极小翻译曲面——具体而言即谢尔克曲面——满足具有常矩阵 $\Lambda$ 的特征值方程。该结果完成了在 $III$-形式条件下对有限型翻译曲面的完整分类。

ABSTRACT

We consider translation surfaces in the 3-dimensional Euclidean space which are of coordinate finite type with respect to the third fundamental form $III$, i.e. their position vector $x$ satisfies the relation $Δ^{III}x = Λx$, where $Λ$ is a square matrix of order 3. We show that Sherk's minimal surface is the only translation surface satisfying $Δ^{III}x = Λx$.

研究动机与目标

• 对 $\mathbb{E}^3$ 中关于第三基本形式 $III$ 为坐标有限型的翻译曲面进行分类。
• 确定哪些翻译曲面满足常 $3 \times 3$ 矩阵 $\Lambda$ 的特征值方程 $\Delta^{III}\mathbf{x} = \Lambda\mathbf{x}$。
• 将有限型曲面的研究从第一基本形式扩展至第三基本形式，聚焦于第三基本形式及其几何意义。
• 解决在 $III$-形式条件下对有限型翻译曲面进行分类的开放问题，基于此前在 $\mathbb{E}^3$ 中对有限型曲面的研究成果。

提出的方法

• 利用嘉当的活动标架法推导拉普拉斯-贝尔特拉米算子 $\Delta^{III}$ 作用于位置向量 $\mathbf{x}$ 的表达式。
• 将翻译曲面参数化为 $\mathbf{x}(s,t) = (s,t,\widetilde{f}(s) + \widetilde{h}(t))$，其中 $f(s)$ 和 $h(t)$ 为光滑函数。
• 利用第三基本形式度量，将每个坐标函数 $x_i$ 的 $\Delta^{III}x_i$ 表示为 $f$、$h$ 及其导数的函数。
• 施加条件 $\Delta^{III}\mathbf{x} = \Lambda\mathbf{x}$，并比较分量，得到一组包含 $f_s$、$h_t$、$f$ 和 $h$ 的非线性常微分方程组。
• 对方程组关于 $s$ 和 $t$ 求导，推导出由拉普拉斯算子导出的函数 $M(s)$ 和 $N(t)$ 必须为常数。
• 求解约化后的常微分方程组，包括 $\frac{1+f^2}{f_s} = \frac{1}{a_1}$ 和 $\frac{1+h^2}{h_t} = \frac{1}{b_1}$，得到 $f(s) = \tan(a_1 s + a_2)$，$h(t) = \tan(b_1 t + b_2)$。

实验结果

研究问题

• RQ1 在 $\mathbb{E}^3$ 中，哪些翻译曲面满足常矩阵 $\Lambda$ 的 $\Delta^{III}\mathbf{x} = \Lambda\mathbf{x}$ 方程？
• RQ2 有限型曲面的分类能否从第一基本形式推广到第三基本形式？
• RQ3 当翻译曲面的位置向量是 $\Delta^{III}$ 的特征函数时，会引出哪些几何约束？
• RQ4 谢尔克的极小曲面是否是唯一的坐标有限 $III$-型翻译曲面？
• RQ5 在何种 $f(s)$ 和 $h(t)$ 条件下，位置向量的 $III$-拉普拉斯算子会给出具有常系数的坐标线性组合？

主要发现

• 唯一满足 $\Delta^{III}\mathbf{x} = \Lambda\mathbf{x}$ 的翻译曲面是谢尔克的极小曲面，对应于 $\Lambda = 0$ 的情形。
• 推导表明，代表 $III$-拉普拉斯分量的函数 $M(s)$ 和 $N(t)$ 必须为常数，从而导致方程组的简化。
• 得到函数 $f(s)$ 和 $h(t)$ 的形式为 $f(s) = \tan(a_1 s + a_2)$ 和 $h(t) = \tan(b_1 t + b_2)$，且满足约束 $a_1 + b_1 = 0$。
• 导出条件 $\frac{1}{a_1} + \frac{1}{b_1} = 0$，该条件意味着 $a_1 = -b_1$，并由此得出 $\lambda_{31} = \lambda_{33} = 0$ 且 $\lambda_{32} = 0$。
• 方程组迫使矩阵 $\Lambda$ 的所有元素为零，意味着唯一解为 $\Lambda = 0$ 的极小曲面。
• 最终解为极小翻译曲面，具体为谢尔克曲面，它是翻译曲面中满足 $III$-有限型条件的唯一解。