Frenet 方程与空间曲线重建

想象沿曲线搬动一副小坐标架。$\kappa$ 规定前进轴朝主法向转动得多快，$\tau$ 规定法向平面扭转得多快。先按指令转动架子，再沿其前进轴走单位速度，就画出了曲线。初始位置和朝向只是把整条作品摆在哪里，不影响内部形状。

先证明标架不会歪斜 ​

线性常微分方程的存在唯一性理路Picard–Lindelöf 存在唯一性定理Picard-Lindelof theorem · Cauchy-Lipschitz theorem连续且对状态变量局部一致 Lipschitz 的向量场给出常微分方程初值问题的唯一局部解。给 $F_s=FA$ 的局部唯一解；连续系数在每个紧子区间有界，线性增长估计让解延拓到整个 $I$。设 $G=F^{T}F$，则

常矩阵 $G=I_3$ 满足此方程，因为 $A^T=-A$，而初值也是 $I_3$。线性方程唯一性给 $F^{T}F=I_3$。于是 $\det F$ 连续且只能为 $\pm 1$，由初值知处处为 $1$。这一步保证解出的三个向量始终是右手正交单位架，并非凭图像假定。

再把切向积分成位置 ​

取 $F$ 的第一列 $T$，定义

于是 ${\alpha }_s=T$ 且速率一。方程给 ${\alpha }_{ss}=\kappa N$，由于 $\kappa >0$，其曲率恰为给定 $\kappa$，主法向恰为 $N$；$B=T\times N$，第三式保证挠率是 $\tau$。$F$ 至少 $C^1$，$T_s=\kappa N$ 又为 $C^1$，故 $\alpha$ 为 $C^3$，经典挠率公式确有意义。

若另一曲线具有同一数据和初值，它的标架解同一 ODE，故标架相同，积分后位置也相同。不固定初值时，两初始标架间有唯一旋转 $Q={\tilde{F}}_0{F}_0^T$；再取 $c={\tilde{p}}_0-Q{p}_0$，唯一性说明 $\tilde{\alpha }=Q\alpha +c$。正向刚体运动保 $\kappa ,\tau$ 的反方向已由曲率挠率计算验证。

常系数数据恢复螺旋线 ​

给定常数 $k>0,t\in \mathbb{R}$，令

曲线

单位速，曲率 $a/c^2=k$，挠率 $b/c^2=t$，因此重建定理说明所有具有这些常数据的曲线都与它保向合同。$k=2/5,t=1/5$ 恢复 $a=2,b=1,c=\sqrt{5}$。$t=0$ 时成为半径 $1/k$ 的圆。

重建不是闭合判据 ​

周期的 $\kappa ,\tau$ 不保证曲线闭合。常数就是周期函数，但 $t\ne 0$ 的圆柱螺旋线沿轴不断上升。若希望周期 $L$ 的标架和位置都闭合，至少要核验

在周期系数下，这两条件使标架和位置按唯一性周期延拓；自交是否发生仍是另一个全局问题。基本定理并不保证嵌入，也不保证曲线简单闭合。

为什么要求正曲率与足够正则性 ​

若 $\kappa =0$，方程仍可当作一个移动标架系统求解，但 $N$ 不再由曲线唯一决定；把该架的系数称作曲线经典挠率就失去依据。直线可配许多旋转的法向架，得到不同的第三方向变化，而位置完全相同。

仅给连续 $\kappa >0,\tau$ 仍能构造 $C^2$ 曲线和 $C^1$ 标架，并用 $-B_s\cdot N$ 描述挠率；它不自动保证 ${\alpha }^{‴}$ 存在。本页为让三重积的经典挠率公式也可使用，明确采用 $\kappa \in C^1,\tau \in C^0$ 的版本。更高光滑数据给更高光滑解。

一条正曲率曲线在同一弧长坐标中由两项标量数据刻画，但“给出曲率常数”本身不够：相同曲率可配不同挠率，产生不同曲线。若 $\tau /\kappa =m$ 为常数，向量 $mT+B$ 的导数为零，单位切向与固定轴保持恒定夹角。这给出广义螺旋线的判据，不要求曲率常数。

数值重建可积分标架再积分位置；普通离散步进可能破坏 $F^{T}F=I$，因此应监测正交误差，不能把近似矩阵直接当作精确 Frenet 架。理论中保持正交的机制正是反对称生成矩阵。

两基本形式的曲面重建理路两基本形式的曲面重建定理Fundamental theorem of surface theory · Bonnet surface reconstruction · 曲面基本定理用矩形上的两次线性ODE与零残差证明二维标架可积，再核验Gram矩阵、位置闭合和刚体唯一性，区分全域浸入与单射嵌入。与本页形成一个关键对照：曲线沿一个变量解标架 ODE，曲面却要使两个方向的矩阵微分彼此相容，因此必须先验证 Gauss–Codazzi。曲面证明还需把两支切向组成的闭一形式积分成位置，并分别检查全局回路的旋转和位移；本页的单变量存在性不能直接当作这项二维结论。