[论文解读] Symmetries of Canal Surfaces and Dupin Cyclides

Juan Gerardo Alcázar, Heidi E. I. Dahl+1 more|arXiv (Cornell University)|Nov 21, 2016

Geometric and Algebraic Topology被引用 1

一句话总结

本文通过分析脊线曲线和半径函数，对有理可展曲面和杜宾双曲面的对称性进行了表征，从而实现对这些对称性的计算算法。主要贡献在于对杜宾双曲面对称性的完整分类，以及一种基于有理参数化和脊线曲线之间等距变换，构造具有指定对称性的有理可展曲面片和拼接的算法。

ABSTRACT

We develop a characterization for the existence of symmetries of canal surfaces defined by a rational spine curve and rational radius function. In turn, this characterization inspires an algorithm for computing the symmetries of such canal surfaces. For Dupin cyclides in canonical form, we apply the characterization to derive an intrinsic description of their symmetries and symmetry groups, which gives rise to a method for computing the symmetries of a Dupin cyclide not necessarily in canonical form. As a final application, we discuss the construction of patches and blends of rational canal surfaces with a prescribed symmetry.

研究动机与目标

• 表征由有理脊线曲线和有理半径函数定义的可展曲面中对称性的存在条件。
• 开发一种计算此类可展曲面对称性的算法。
• 为处于标准形式的杜宾双曲面对称群提供内在描述。
• 将该表征方法扩展至非标准形式的杜宾双曲面对称性计算。
• 实现具有指定对称性的有理可展曲面片和拼接的构造，以用于几何建模。

提出的方法

• 依赖于有理曲线的对称性与相似性，特别是将可展曲面对称性与脊线曲线之间的等距变换相关联。
• 使用参数化 F(t,s) = c(t) + r(t)N(t,s) 描述可展曲面，其中 N(t,s) 为单位法向量场。
• 应用 Hermite 插值以满足可展曲面片之间连接处的连续性条件。
• 通过条件 r²(t) = r²(1−t) 和 f∘c = c∘ϕ（ϕ(t)=1−t）施加对称性约束，确保在等距变换下保持不变。
• 使用次数为 2N+1 的 Bézier 曲线表示脊线曲线，并使用有理半径函数以满足 C^N 连续性。
• 使用闵可夫斯基空间 R³,¹ 将定向可展曲面表示为曲线，尽管该方法在对称性计算中未被充分应用。

实验结果

研究问题

• RQ1 脊线曲线和半径函数需满足何种条件，才能使可展曲面具有非平凡对称性？
• RQ2 如何从其标准形式内在地分类杜宾双曲面对称群的完整结构？
• RQ3 在何种条件下，两个可展曲面可通过一个对称的有理可展曲面片实现拼接？
• RQ4 脊线曲线之间的等距变换在决定可展曲面对称性方面起什么作用？
• RQ5 如何构造有理可展曲面片以保持给定的对称群？

主要发现

• 在一般情况下，杜宾双曲面的唯一对称性是与包含其脊线曲线的平面以及这些平面交线相关的对称性。
• 额外对称性仅在特殊情况下出现，例如当脊线曲线具有额外对称性时，本文对这些情况进行了完整分类。
• 通过使用二次脊线曲线和满足 r(t) = (2−3t²+2t³)/4 的半径函数，可在两个轴线互相垂直的圆柱体之间构造出对称的可展曲面片。
• 该方法成功地构造出一个对称的拼接曲面片，用以替换可展曲面中奇异部分，同时保持对称性，如示例6所示，其中 r(t) = t²−t+1/2。
• 对称性计算算法具有可实现性，并已在在线 Sage 工作表中进行了测试。
• 该表征方法可扩展至半径函数为有理函数平方根的情况，尽管本文主要关注有理 r 和 c 的情形。