曲线论基本定理

曲线论基本定理第1页，共16页，2023年，2月20日，星期六一．一般结果曲线论基本定理

给定区间

I

(a,b)上的连续可微函数`(s)>0和连续函数`(s)，则在E3中①存在弧长s参数化曲线C:r

r(s)，使其曲率函数(s)`(s)，并且其挠率函数(s)`(s)；②上述曲线C在合同意义下是唯一的．曲线论基本定理的考虑对象实际上是无逗留点的正则曲线；其含义明显分为存在性和唯一性两个方面；其证明将分成若干步骤进行．曲线论基本定理证明的过程中在本质上需要用到适当的微分方程组求解的存在唯一性结果．——只要考虑到曲率、挠率和弧长微元与位置向量微分运算的关系，并注意到Frenet公式．第2页，共16页，2023年，2月20日，星期六一．一般结果因此，下面将不加证明地引用关于齐次线性常微分方程组的解的存在唯一性定理．围绕着存在性，首先建立并考察联立的两个齐次线性常微分方程组联立方程组中所包含的未知向量函数组{r(s);e1(s),e2(s),e3(s)}可以理解成由12个普通未知函数而构成．联立方程组在给定的初值条件下有满足初始条件的唯一解（且在整个区间上延拓有定义）．第3页，共16页，2023年，2月20日，星期六一．一般结果引理1给定单位正交右手标架{r0;T0,N0,B0}，在曲线论基本定理条件下任取一点s0I，则联立方程组(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标架场．第4页，共16页，2023年，2月20日，星期六一．一般结果引理1给定单位正交右手标架{r0;T0,N0,B0}，在曲线论基本定理条件下任取一点s0I，则联立方程组(6.1)-(6.2)的满足初始条件{r(s0);e1(s0),e2(s0),e3(s0)}{r0;T0,N0,B0}的唯一解恰好为一条弧长s参数化曲线C:r

r(s)的Frenet标架场．从上述证明过程可以看到，确定曲线的过程可以表现为确定其附属的标架场的过程；从中可以体会标架空间在几何学中的合理运用．第5页，共16页，2023年，2月20日，星期六一．一般结果引理1给定单位正交右手标架{r0;T0,N0,B0}，在曲线论基本定理条件下任取一点s0I，则联立方程组(6.1)-(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在合同意义下是唯一的．第6页，共16页，2023年，2月20日，星期六曲线论基本定理的证明引理1说明存在性结论①成立．以下证明唯一性结论②.设两条曲线C:r

r(s)和C*:r

r*(s)同时以s为弧长参数并具有相同的曲率函数(s)

*(s)>0和相同的挠率函数(s)

*(s)；要证这两条曲线合同．任取定点s0I，这两条曲线在此对应点的Frenet标架分别记为{r(s0);T(s0),N(s0),B(s0)}和{r*(s0);T*(s0),N*(s0),B*(s0)}，则两个标架之间相差的正交变换对应于一个刚体运动:E3E3．由于弧长、曲率和挠率在刚体运动下都不变，故不妨设C*在下的像(C*)在点s0处的Frenet标架重合于{r(s0);T(s0),N(s0),B(s0)}．再由引理1，可知(C*)与C重合；此即C*与C合同，结论得证．□第7页，共16页，2023年，2月20日，星期六一．一般结果曲线论基本定理说明，无逗留点曲线的曲率>0和挠率分别作为弧长s的函数而共同确定了不计位置意义下的唯一一条曲线；因而，函数组

(s)>0,

(s)通常称为曲线的内在方程或自然方程．一般而言，从内在方程出发而去确定参数方程往往是比较困难的，因为通常要归结为求解曲线论基本方程的通解或特解．当然，对于已知内在方程的曲线，有时就可以采取反验的方法确定其参数方程全体．例1已知曲线C具有常值曲率

0>0和常值挠率

0

0，试确定其参数方程．第8页，共16页，2023年，2月20日，星期六二．平面曲线的相对曲率平面曲线在非逗留点处的挠率恒为零，故而按照曲线论基本定理，有更为简单的内在方程．一个不容忽视的事实是，在逗留点及其附近并没有找到能够确定空间曲线的一般的完全不变量系统．当然，处处为逗留点的曲线只能是直线．观察第一章图1-5以及相关例题可见，空间曲线在逗留点附近有可能具有相当任意的“自由度”——允许单侧相差围绕逗留点处切线的旋转；而图2-10所示的平面曲线在孤立逗留点附近只有有限的“自由度”——允许单侧相差关于逗留点处切线的反射．第9页，共16页，2023年，2月20日，星期六二．平面曲线的相对曲率平面曲线在非逗留点处，有更为简单的内在方程．在逗留点及其附近并没有找到能够确定空间曲线的一般的完全不变量系统．处处为逗留点的曲线是直线．空间曲线在逗留点附近有可能具有相当任意的“自由度”；而平面曲线在孤立逗留点附近只有有限的“自由度”．这种行为的直观表现，就是曲线在逗留点处“迷失”了方向；其解析表现，就是曲线的Frenet标架在逗留点处没有定义，并且其在逗留点两侧的单侧极限有可能不相等．如果想象曲线在三维空间内被弧长、曲率、挠率三个量“限定”，那么，平面曲线将被弧长、曲率“限定”，一般固定曲面上的任意曲线也将被弧长和另外一个几何量“限定”．第10页，共16页，2023年，2月20日，星期六二．平面曲线的相对曲率平面曲线在非逗留点处，有更为简单的内在方程．在逗留点及其附近并没有找到能够确定空间曲线的一般的完全不变量系统．处处为逗留点的曲线是直线．空间曲线在逗留点附近有可能具有相当任意的“自由度”；而平面曲线在孤立逗留点附近只有有限的“自由度”．下面将完善平面曲线的完全不变量系统，而曲面上曲线的相关讨论将在第六章深入进行．在所在的平面上，平面曲线在每一点处有唯一的一条法线（即过该点且垂直于切线的直线）；其连续可微的单位法向量场可由单位切向和所在平面的定向如下确定．第11页，共16页，2023年，2月20日，星期六二．平面曲线的相对曲率下面将完善平面曲线的完全不变量系统．在所在的平面上，平面曲线在每一点处有唯一的一条法线（即过该点且垂直于切线的直线）；其连续可微的单位法向量场可由单位切向和所在平面的定向如下确定．不妨考虑右手直角坐标系Oxyz下坐标平面xOy之上的弧长参数化曲线

C:r

r(s)，其参数方程简记为r(s)(x(s),y(s))；则其单位切向T(s)(x(s),y(s))．第12页，共16页，2023年，2月20日，星期六二．平面曲线的相对曲率定义1给定二阶连续可微的弧长s参数化平面曲线C:r

=

r(s)=(x(s),y(s))=

x(s)i

+y(s)j，其中{i,j,k}为E3的单位正交右手系的基向量，称x轴的正向i到C的单位切向T的有向夹角为C的有向切线方向角，简称切向角，即对有(6.10)T(s)=(x(s),y(s))=(cos(s),sin(s)).从局部来看，C的切向角函数在C的任一点的附近总可取到可微的单值支，这只要注意到局部总可取之为多值函数Arctan(y/x)或Arccot(x/y)的单值支．第13页，共16页，2023年，2月20日，星期六二．平面曲线的相对曲率在C的可以取到可微切向角函数的局部，利用可微性可以获得许多方便．此时，(6.10)式对弧长参数求导，得曲率向量(6.11)T

(s)=

(s)(sin(s),cos(s))

=

(s)(

y(s),x(s)).定义2对上述平面曲线C，分别称(6.12)Nr

=(cos(

+/2),sin(

+/2))=(y(s),x(s)),(6.13)r

=

(s)为C的相对主法向和相对曲率．(6.10)T(s)=(x(s),y(s))=(cos(s),sin(s)).C的切向角函数在C的任一点的附近总可取到可微的单值支．第14页，共16页，2023年，2月20日，星期六二．平面曲线的相对曲率显然，此时曲率是相对曲率的绝对值；相对主法向在逗留点仍然有定义，并且使{T,Nr}与所在平面的定向相符，即TNr

ij

k．相对曲率是平面上刚体运动（即平移变换和旋转变换的有限次复合）的不变量；而切向角不是（参见习题），但可以“控制”．(6.10)T(s)=(x(s),y(s))=(cos(s),sin(s)).(6.11)T

(s)=

(s)(sin(s),cos(s))=

(s)(

y(s),x(s)).定义2对上述平面曲线C，分别称(6.12)Nr

=(cos(

+/2),sin(

+/2))=(y(s),x(s)),(6.13)r

=

(s)为C的相对主法向