[论文解读] The relation between parameter curves and lines of curvature on canal surfaces

Fatih Doğan, Yusuf Yaylı|arXiv (Cornell University)|Mar 20, 2012

Geometric Analysis and Curvature Flows参考文献 8被引用 5

一句话总结

本论文研究了当沿脊线曲线移动且半径变化的球体生成的纹面（canal surface）的参数曲线何时也是主曲率线。利用曲面微分几何，推导出s-参数曲线（固定θ）与主曲率线重合的条件，表明这恰好在半径函数满足涉及脊线曲线曲率与挠率的特定常微分方程时发生。主要成果包括对Salkowski曲线等脊线曲线的显式半径函数，以及脊线曲线挠率相对于曲率的必要条件。

ABSTRACT

A canal surface is the envelope of a moving sphere with varying radius, defined by the trajectory C(t) (spine curve) of its center and a radius function r(t). In this paper, we investigate when parameter curves of the canal surface are also lines of curvature. Last of all, for special spine curves we obtain the radius function of canal surfaces.

研究动机与目标

• 确定纹面参数曲线亦为主曲率线的条件。
• 分析脊线曲线的曲率与挠率和生成球体半径函数之间的几何关系。
• 为特殊脊线曲线（如Salkowski曲线）推导出确保s-参数曲线为主曲率线的半径函数r(s)的显式表达式。
• 当r(s)单调递增时，建立脊线曲线挠率相对于曲率的必要条件，以使s-参数曲线为主曲率线。

提出的方法

• 使用脊线曲线C(s)、其Frenet标架{T, N, B}和半径函数r(s)对纹面进行参数化，采用弧长参数化。
• 利用参数化计算纹面的第一与第二基本形式，推导出系数E、F、G和f、g、h。
• 应用主曲率线的微分方程，要求F = f = 0，推导出条件gτ + hκsinθ = 0。
• 将g = r√(1−r′²)和h = rr′代入条件，得到一个涉及κ(s)、τ(s)和θ的一阶常微分方程。
• 对特殊脊线曲线（如具有恒定曲率但非恒定挠率的Salkowski曲线）求解所得常微分方程。
• 使用三角代换与积分技巧，推导出以s和θ表示的r(s)的闭式表达式。

实验结果

研究问题

• RQ1 在何种条件下，纹面的s-参数曲线（θ = 常数）亦为主曲率线？
• RQ2 纹面的θ-参数曲线（s = 常数）能否同时为主曲率线？
• RQ3 确保给定脊线曲线的s-参数曲线为主曲率线的半径函数r(s)的显式形式为何？
• RQ4 当r(s)单调递增时，脊线曲线必须满足何种几何约束，才能使s-参数曲线为主曲率线？
• RQ5 对于Salkowski曲线等特殊情况，半径函数r(s)如何依赖于脊线曲线的曲率与挠率？

主要发现

• 纹面的s-参数曲线为主曲率线，当且仅当条件gτ + hκsinθ = 0成立，其中g = r√(1−r′²)且h = rr′。
• 对于曲率恒为1、挠率τ(s) = tan(arcsin(ms))的Salkowski曲线，使s-参数曲线为主曲率线的半径函数为r(s) = (1/cos²θ)√(cos²θ·s² + sin²θ·tan²φ) + c。
• 当半径函数r(s)单调递增时，s-参数曲线为主曲率线的必要条件为|τ(s)/κ(s)| < 1，等价于−κ(s) < τ(s) < κ(s)。
• θ-参数曲线无法同时为主曲率线，因为当F = 0时，条件f = 0无法对所有s成立。
• 通过代换x = arcsin(ms求解r(s)的微分方程，得到一个可积分的表达式，其结果为包含平方根与常数的闭式表达式。
• 当满足推导出的条件gτ + hκsinθ = 0时，Vessiot方程给出的主曲率线族与s-参数曲线重合，验证了结果的一致性。