[论文解读] A discrete version of the Darboux transform for isothermic surfaces

Udo Hertrich-Jeromin, Tim Hoffmann+1 more|ArXiv.org|Nov 25, 1996

Advanced Mathematical Modeling in Engineering参考文献 8被引用 36

一句话总结

本文通过从光滑理论推导出的四元数 Riccati 型系统，引入了四维欧几里得空间中等温曲面的离散 Darboux 变换。它建立了离散常平均曲率（CMC）网可通过同时进行 Christoffel 变换和 Darboux 变换来定义，并证明了多重 Darboux 变换的可交换定理，表明 CMC 网可拥有 ∞³ 个相同平均曲率的 Darboux 变换。

ABSTRACT

We study Christoffel and Darboux transforms of discrete isothermic nets in 4-dimensional Euclidean space: definitions and basic properties are derived. Analogies with the smooth case are discussed and a definition for discrete Ribaucour congruences is given. Surfaces of constant mean curvature are special among all isothermic surfaces: they can be characterized by the fact that their parallel constant mean curvature surfaces are Christoffel and Darboux transforms at the same time. This characterization is used to define discrete nets of constant mean curvature. Basic properties of discrete nets of constant mean curvature are derived.

研究动机与目标

• 开发四维欧几里得空间中等温曲面的光滑 Darboux 变换的离散类比。
• 通过在光滑情况下观察到的 Christoffel 与 Darboux 变换的联合性质，定义离散常平均曲率（CMC）网。
• 在离散设置中建立多重 Darboux 变换的可交换定理，以确保一致性和可积性。
• 证明离散 CMC 网可拥有 ∞³ 个相同平均曲率的 CMC Darboux 变换，从而将光滑理论推广至离散设置。

提出的方法

• 使用四元数方法对四维欧几里得空间中控制 Darboux 变换的光滑 Riccati 型偏微分方程进行离散化。
• 通过交比条件定义离散等温网，并利用六面体引理确保几何一致性。
• 通过初始条件和交比约束，构造由等腰梯形四边形构成的平行 CMC 网。
• 应用梯形引理及六面体引理的补充，证明 Darboux 变换可生成具有常平均曲率的网。
• 应用多重 Darboux 变换的可交换定理，通过四边形构型的几何一致性进行验证。
• 通过涉及参数 λ 和 λᵖ 的交比恒等式验证 Christoffel 变换性质，确保平行网同时是 Christoffel 变换与 Darboux 变换。

实验结果

研究问题

• RQ1 能否通过四元数 Riccati 系统在四维欧几里得空间中一致地离散化等温曲面的光滑 Darboux 变换？
• RQ2 如何通过 Christoffel 与 Darboux 变换表征离散常平均曲率网？
• RQ3 离散 CMC 网的多重 Darboux 变换的结构是什么？可交换定理是否成立？
• RQ4 离散 CMC 网是否具有连续族（∞³）的相同平均曲率 CMC Darboux 变换？这与初始条件有何关联？

主要发现

• 离散 Darboux 变换通过四维欧几里得空间中的离散 Riccati 型系统定义，保留了光滑情况下关键的几何与可积性质。
• 离散 CMC 网的特征在于：其平行 CMC 曲面同时是原始网格的 Christoffel 变换与 Darboux 变换。
• 建立了多重 Darboux 变换的可交换定理，表明一个离散 CMC 网的两个 Darboux 变换可组合成第三个网格，该网格同时是两者的 Darboux 变换。
• 证明了离散 Darboux 变换的平行 CMC 网是该变换的 Christoffel 变换，从而确认其 CMC 性质。
• 对于平均曲率 H ≠ 0 的离散 CMC 网，可证明其存在 ∞³ 个相同平均曲率 H 的 Darboux 变换，该结论通过可交换定理及交比构型的几何一致性得到验证。
• 通过几何引理（梯形引理与六面体引理补充）验证了构造过程，确保由对应边构成的四边形为等腰梯形，从而保持恒定距离与曲率。