曲线论（七）.docVIP

四 空间曲线在一点邻近的结构 在这里我们研究空间曲线在某一个正常点的邻近的形状。在类曲线上取一点，为研究邻近的形状，在它的邻近取一点，利用泰勒公式有： 。所以 由上式可得 现在取为新坐标系，并取为计算弧长的始点，则有。如果用表示曲线上的邻近点的新坐标，则…………(*) 可以看作在点邻近曲线的近似方程，它在的基本三棱形的三个平面上的投影分别是： 在法平面上：，是半立方抛物线； 在从切面上：，是立方抛物线； 在密切平面上：，是抛物线。 由上可知： ①可正可负，所以曲线穿过法平面和密切平面，但不穿过从切面。 ② 主法向量总是指向曲线凹入的方向，这是主法向量正向的几何意义 。 ③ 挠率符号对曲线的影响：,曲线右旋；,曲线左旋. 如图所示。 （注：切向量的正向与参数t的增值方向一致，而s(t)又是t的增值函数，故与s的增值方向一致。） ④ 由上面讨论知，曲线的形状局部地大体上由曲线的曲率与挠 率所决定。 五 空间曲线论的基本定理 曲线上每一点都有确定的曲率和挠率，如果以弧长为参数，则 有。这两个关系式只与曲线本身有关，而与曲线的刚体运动及空间坐标变换无关。我们称为空间曲线的自然方程。 上面已说明了空间曲线的形状局部地大体上由曲线的曲率和挠率确定。下面的定理说明，曲线的自然方程局部上完全的确定了曲线。 定理 （间曲线论的基本定理—也称唯一存在定理）：给定闭区间上的两个连续函数，则除了空间的位置差别外，存在唯一一条曲线，使得参数s为曲线的自然参数，并且分别为曲线的曲率和挠率，即曲线的自然方程为。 为确定曲线的位置，不妨设时，曲线对应空间点：，基本矢量。这里彼此垂直且按这顺序成右手系。 分析：如果所说曲线存在的话，它的基本矢量必须满 足Frenet公式，即， 而曲线的方程必须满足 因此证明可按下面的顺序： 作微分方程组（3），由此得满足初始条件（2）的解。 证明总是三个右旋的彼此垂直的幺矢。 把（4）式积分，得满足初始条件的解。 证明具有曲率，挠率，s 为自然参数。 证明 ① 以为系数建立一个微分方程组： … … … … … …（3） 根据微分方程组解的存在定理,此方程组对于初始条件(2)有唯一一组连续解: . 注：方程组（3）存在唯一解依据的是下面一阶线性齐次常微分方程组解的存在定理： 定理 设已给微分方程组 其中系数在闭区间[]里连续。设为任意n个常数，则该微分方程组有唯一的一组解，这n个函数在闭区间[]里连续，而且满足初始条件。 方程组（3）用分量表示，可得三个以上定理中的线性方程组，每个都有唯一解，所以（3）就有唯一一组解。 ②证明是三个右旋的彼此垂直的幺矢。 设… … … …（4） 由于是（3）的解，因此有：， ，。 此外，，同理， 。故也是（3）的解，并且满足初始条件(2), 根据解的唯一性知 ，将其带入（4）得： 。显然都是非零矢量。（因为它们是连续的，而时都是单位向量），所以是三个右旋的彼此垂直的幺矢。（见吕林根《解析几何》习3）。 ③ 把两边积分，利用得确定的： … … … … ⑤ ④ 证明这曲线的曲率是，挠率是。S是自然参数。 首先由于，，所以弧长。 即，这就是说s为曲线的自然参数。 设曲线（5）的基本向量为它的曲率是，挠率是。由（5），由（3）的第一式得：。但，而 都是单位向量，所以得：，，于是，。两边求微商，再由（3）的最后一式有。证毕。 习题：P54 8, 15 . 思考：16，18 ，21 微分几何教案（七） 4.4 空间曲线在一点邻近的结构 4.5空间曲线论基本定理 35