“设 $\alpha:I\to\mathbb R^3$ 是 $C^3$ 单位速曲线,且曲率 $\kappa(s) 0$。它的 Frenet 标架满足 $$ T s=\kappa N,\qqua…”
形式陈述
设
在
曲率衡量切向转动,挠率衡量密切平面
若撇号表示对任意正则参数
曲率公式允许分子为零;挠率公式只用于
直觉
一辆车可以沿直线加速,也可以匀速转弯。只有第二种动作改变切向,曲率因此应消去“加速”的影响。挠率进一步问:转弯所在的平面有没有沿途抬起、旋转?圆有曲率而挠率零;螺旋线不断转弯,同时离开任何固定平面。
从速度分解推出计算公式
写
因
由
对
分母为
哪些变化改变符号
本段为使用三阶链式法则,要求重参数
环境中的平移和旋转也保持两者。对正交矩阵
例子与边界
把螺旋线算到底
对
叉积模为
标架为
曲率为零不是曲线不光滑
两侧主法向的极限方向相反,标准 Frenet 主法向不能在零点连续接合。两侧挠率都为零,但零点处按本定义没有挠率。直线也有良好单位切向与零曲率,却没有由
推论与应用
在连通区间上,
运动中的法向加速度大小为
参考资料
- Theodore Shifrin,Differential Geometry,April 2021,Ch. 1 §2,pp. 10–17,Propositions 2.2–2.4:Frenet定义、任意参数曲率及直线/平面判据。
- Neil Donaldson,Math 162A, Curves,Winter 2024,§§1.4–1.5:任意参数的挠率、Theorem 1.38 的刚体与镜像变换。