曲线论基本定理课件.ppt

《曲线论基本定理课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、§5曲线论基本定理一．一般结果曲线论基本定理给定区间I(a,b)上的连续可微函数`(s)>0和连续函数`(s)，则在E3中①　存在弧长s参数化曲线C:rr(s)，使其曲率函数(s)`(s)，并且其挠率函数(s)`(s)；②　上述曲线C在合同意义下是唯一的．曲线论基本定理的考虑对象实际上是无逗留点的正则曲线；其含义明显分为存在性和唯一性两个方面；其证明将分成若干步骤进行．曲线论基本定理证明的过程中在本质上需要用到适当的微分方程组求解的存在唯一性结果．——只要考虑到曲率、挠率和弧长

2、微元与位置向量微分运算的关系，并注意到Frenet公式．一．一般结果因此，下面将不加证明地引用关于齐次线性常微分方程组的解的存在唯一性定理．围绕着存在性，首先建立并考察联立的两个齐次线性常微分方程组联立方程组中所包含的未知向量函数组{r(s);e1(s),e2(s),e3(s)}可以理解成由12个普通未知函数而构成．联立方程组在给定的初值条件下有满足初始条件的唯一解（且在整个区间上延拓有定义）．一．一般结果引理1给定单位正交右手标架{r0;T0,N0,B0}，在曲线论基本定理条件下任取一点s0I

3、，则联立方程组(6.1)-(6.2)的满足初始条件{r(s0);e1(s0),e2(s0),e3(s0)}{r0;T0,N0,B0}的唯一解恰好为一条弧长s参数化曲线C:rr(s)的Frenet标架场．首先证明所讨论的解函数组{r(s);e1(s),e2(s),e3(s)}构成单位正交标架场．再证明参数曲线C:rr(s)为一条弧长s参数化曲线．进一步证明解函数组{r(s);e1(s),e2(s),e3(s)}是曲线C的Frenet标架场．一．一般结果引理1给定单位正交右手标架{r0;T0,N

4、0,B0}，在曲线论基本定理条件下任取一点s0I，则联立方程组(6.1)-(6.2)的满足初始条件{r(s0);e1(s0),e2(s0),e3(s0)}{r0;T0,N0,B0}的唯一解恰好为一条弧长s参数化曲线C:rr(s)的Frenet标架场．从上述证明过程可以看到，确定曲线的过程可以表现为确定其附属的标架场的过程；从中可以体会标架空间在几何学中的合理运用．一．一般结果引理1给定单位正交右手标架{r0;T0,N0,B0}，在曲线论基本定理条件下任取一点s0I，则联立方程组(6.1)-

5、(6.2)的满足初始条件{r(s0);e1(s0),e2(s0),e3(s0)}{r0;T0,N0,B0}的唯一解恰好为一条弧长s参数化曲线C:rr(s)的Frenet标架场．曲线论基本定理给定区间I(a,b)上的连续可微函数`(s)>0和连续函数`(s)，则在E3中①　存在弧长s参数化曲线C:rr(s)，使其曲率函数(s)`(s)，并且其挠率函数(s)`(s)；②　上述曲线C在合同意义下是唯一的．曲线论基本定理的证明引理1说明存在性结论①成立．以下证明唯一性结论②.设两条

6、曲线C:rr(s)和C*:rr*(s)同时以s为弧长参数并具有相同的曲率函数(s)*(s)>0和相同的挠率函数(s)*(s)；要证这两条曲线合同．任取定点s0I，这两条曲线在此对应点的Frenet标架分别记为{r(s0);T(s0),N(s0),B(s0)}和{r*(s0);T*(s0),N*(s0),B*(s0)}，则两个标架之间相差的正交变换对应于一个刚体运动:E3E3．由于弧长、曲率和挠率在刚体运动下都不变，故不妨设C*在下的像(C*)在点s0处的Frenet标架重

7、合于{r(s0);T(s0),N(s0),B(s0)}．再由引理1，可知(C*)与C重合；此即C*与C合同，结论得证．□一．一般结果曲线论基本定理说明，无逗留点曲线的曲率>0和挠率分别作为弧长s的函数而共同确定了不计位置意义下的唯一一条曲线；因而，函数组(s)>0,(s)通常称为曲线的内在方程或自然方程．一般而言，从内在方程出发而去确定参数方程往往是比较困难的，因为通常要归结为求解曲线论基本方程的通解或特解．当然，对于已知内在方程的曲线，有时就可以采取反验的方法确定其参数方程全体

8、．例1已知曲线C具有常值曲率0>0和常值挠率00，试确定其参数方程．二．平面曲线的相对曲率平面曲线在非逗留点处的挠率恒为零，故而按照曲线论基本定理，有更为简单的内在方程．一个不容忽视的事实是，在逗留点及其附近并没有找到能够确定空间曲线的一般的完全不变量系统．当然，处处为逗留点的曲线只能是直线．观察第一章图1-5以及相关例题可见，空间曲线在逗留点附近有可能具有相当任意的“自由度”——允许单侧相差围绕逗留点处切线的旋转；而图2-10所示的平面曲线在孤立逗留点附近只有有限的