[论文解读] Discrete CMC surfaces in R^3 and discrete minimal surfaces in S^3. A discrete Lawson correspondence

Alexander I. Bobenko, Pascal Romon|arXiv (Cornell University)|May 2, 2017

Computational Geometry and Mesh Generation参考文献 11被引用 11

一句话总结

本文建立了 ℝ³ 中离散等温常平均曲率（CMC）曲面与 S³ 中离散等温极小曲面之间的离散 Lawson 对应关系，表明该对应关系保持了离散共形度量系数，因而作为等距同构。该对应关系通过相同的浸入公式和共享的 Lax 矩阵定义，与光滑情形相一致，并利用等温网理论将经典 Lawson 等距同构推广至离散设置。

ABSTRACT

The main result of this paper is a discrete Lawson correspondence between discrete CMC surfaces in R^3 and discrete minimal surfaces in S^3. This is a correspondence between two discrete isothermic surfaces. We show that this correspondence is an isometry in the following sense: it preserves the metric coefficients introduced previously by Bobenko and Suris for isothermic nets. Exactly as in the smooth case, this is a correspondence between nets with the same Lax matrices, and the immersion formulas also coincide with the smooth case.

研究动机与目标

• 建立 ℝ³ 中 CMC 曲面与 S³ 中极小曲面之间经典 Lawson 对应关系的离散类比。
• 为等温网定义一种保持共形度量系数的离散等距同构。
• 表明该对应关系在 Lax 矩阵和浸入公式方面与光滑情形一致。
• 将离散对应关系与基于 Calapso 变换和守恒量的现有框架相协调。
• 提供一种几何上明确且计算上可访问的离散 Lawson 对应关系形式化表达。

提出的方法

• 对应关系在 ℤ² 索引的具有四边形平面面的离散等温网（Q-网）之间建立。
• 该方法使用了极小曲面在 S³ 和 CMC 曲面在 ℝ³ 中的离散 Lax 对，其源自相同的谱参数和框架方程。
• 两种曲面类型的浸入公式被证明与光滑情形一致，从而确保了几何一致性。
• 度量系数 s 在对应关系下被保持，其通过基于边的函数 u 和 v 定义，从而在离散共形意义下实现等距同构。
• 通过与 [BuHRS, BuHR] 中的 Calapso 变换框架的一致性验证了该构造，尽管形式不同。
• 该构造依赖于局部几何的平移记号，其中 F、F₁、F₂、F₁₂ 分别表示 (0,0)、(1,0)、(0,1)、(1,1) 处的顶点。

实验结果

研究问题

• RQ1 是否可以在 ℝ³ 中的离散 CMC 曲面与 S³ 中的离散极小曲面之间定义离散 Lawson 对应关系？
• RQ2 该对应关系是否保持离散共形度量系数，从而作为等距同构？
• RQ3 在对应关系下，两种曲面类型的 Lax 矩阵和浸入公式是否与光滑情形相同？
• RQ4 离散对应关系与 [BuHRS, BuHR] 中使用的 Calapso 变换框架有何关联？
• RQ5 该对应关系是否可在离散设置下提升至关联族的层次？

主要发现

• 离散 Lawson 对应关系被确立为一种等距同构，保持了对应极小曲面在 S³ 与 CMC 曲面在 ℝ³ 之间的离散共形度量系数 s。
• 两种曲面类型的浸入公式与光滑情形完全一致，确保了几何一致性。
• 两种曲面的 Lax 矩阵相同，证实了该对应关系在可积系统层面的一致性。
• 该对应关系与 [BuHRS, BuHR] 中的 Calapso 变换框架一致，通过匹配平均曲率、度量和边标签行为得以验证。
• 当球面半径趋于无穷大时，该对应关系在极限下是良定义的，从而从球面极小曲面恢复出欧几里得 CMC 曲面。
• 该方法适用于具有四边形平面面的 Q-网，利用平移记号描述局部几何和基于边的函数。