微分几何 2.6曲面上的测地线.ppt

单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,第六节 曲面上的测地线,平面上的直线（1）任一点的切向量平行；（2）曲率为0；（3）直线段是连接点与点之间的最短线段。,曲面上的测地线相当于平面上的直线。,6.1 曲面上曲线的测地曲率,一、测地曲率的定义,给定曲面,S：（,c,）,是曲面上的一曲线：,在曲线上一点,P,有：,令 ，则 是两两正交的单位向量且成右手系，,都在,P,点的法面上。,定义：曲线（,c,）,在,P,点的曲率向量 上的投影（即在,S,上,P,点的切平面上的投影）,称为曲线在,P,点的测地曲率。,二、性质,命题1：,证明：,注意：都在,P点的法面上。,测地曲率的几何意义：曲面,S,上的曲线（,C,），,它在,P,点的测地,曲率,绝对值等于,（,C,）,在,P,点的切平面上的正投影曲线 的曲率。,证明：过（,C,）,的每一点作曲面,S,在,P,点的切平面的垂线，于是得到一柱面，这个柱面和,S,在,P,点的交线是 ，（,C,）,和 都是柱面上的曲线。在这个柱面上用梅尼埃定理。,取 为柱面上,P,点的法向量，由于柱面垂直于切平面，所以柱面上任一点的法向量平行于切平面，又,P,在切平面上，所以柱面在,P,的法向量 应在切平面上，而（,C,）,点的切向量 也在切平面上，所以柱面在,P,的法截面就是切向量 与法向量 所确定的平面，,法截面与柱面的交线就是法截线 ，因此柱面在 方向的法曲率,由于 ，其中,k,为（,C,）,在,P,点的曲率，为（,C,）,的主法向量和柱面在,P,点的法向量 之间的角，即,推论：曲面上的直线的测地曲率为0。,这是因为曲面上的直线在任一点的切平面上的投影还是直线，所以曲率为0。,习题3。,三、测地曲率的计算公式,特别地，当曲面上的坐标网为正交网时，,F,=0，,代入上式并整理得,这,就是测地曲率的一般计算公式。,下面给出一个简单一点的形式。设曲线的切方向与,u,-,线所成的角为 ，则,同理,代入前面的,k,g,的计算公式可得,这个公式称为刘维尔(,liouville,),公式。也可写为,其中 分别为u,线和,v,线的测地曲率。事实上，对于,u,线和,v,线来说，分别有 ，代入测地曲率的计算公式有,6、2 曲面上的测地线,一、定义：曲面上的一条曲线，如果它的每一点处的测地曲率,为 0，则称为测地线。,二、性质1）如果曲面上有直线，则必为测地线。,2）命题3：曲面上非直线的曲线是测地线的充要条件是，除,了曲率为 0 的点外，曲线的主法线重合于曲面的法线。,证明：设曲线（,c）,为测地线（不是直线），则,但,即 ，所以主法线重合于法线。,反之，若主法线重合于法线，则 ，得,所以曲线是测地线。,推论：如果两曲面沿一曲线相切，并且此曲线是其中一个曲面的测地线，则它也是另一个曲面的测地线。,证明：因为这两个曲面沿曲线相切，所以曲面沿曲线的法线,重合，又此曲线的主法线只有一条，所以此曲线的主法 线同时与两个曲面沿此曲线的法线重合，由命题知推论成立。,例：球面上的大园一定是测地线，因为大园的主法线,重合于 法线。,三、测地线的方程,设（,C,）,为测地线，则它的主法线重合于法线，即,但,又,g,=,det,(,g,kl,),不为0，于是得到测地线方程为,特别地，当坐标曲线正交时，由刘维尔公式也得到曲面上测地线的微分方程为,若给出了初始条件：,则有唯一解,例题1，2。,四、定理：,过曲面上任一点，给定曲面上一个切方向，则存在唯一一条测地线切于此方向。,证明：设测地线方程为,满足上述方程的曲线都是测地线，给出了初始条件：,s,=,s,0,，,即,一个点 和一个切方向,由常微分方程理论，方程组有唯一解，即存在唯一一条测地线,（,C,）：,过已知点并切于定方向。,6.3 曲面上的半测地坐网,一、定义：曲面上的一个坐标网，其中一族是测地线，另一族是 这族测地线的正交轨线，则这个坐标网称为半测地坐标网。,极坐标网是它的特例。,二、命题4：给出曲面上的一条曲线，则总存在一个半测地坐标,网，它的非测地坐标曲线族中包含给定的一条曲线。,证明：由定理1，过曲面上给定的曲线（,C,）,上的每一点，沿着（,C,），,在切平面上对应于垂直于（,C,）,的方向，存在唯一条测地线 ，然后再作这一族曲面的正交轨线，则这族测地线和它的正交轨线组成了曲面上的一个半测地坐标网，并且 的正交轨线族中包含了（,C,）。,三、在前一节习题6（5）中提到，对于曲面上的半测地坐标网，有 ，我们现在证明这个结论。,首先，由于半测地坐标网是正交的，所以,F,=0，,半测地坐标网中有一簇坐标曲线是测地线，不妨设为,u,线，,dv,=0,即 ，它满足测地线微分方程,但,由,P,165，,当坐标曲线正交时，,即,E,与,v,无关，只与,u,有关，可设,在曲面上引进新参数 从而第一基本形式变为,6.4 曲面上测地线的短程性,定理2：若给出曲面上充分小的邻域内的两点,P,、,Q,则过这两点 在小邻域内的测地线是连结这两点的曲面上的曲线中弧长最短的曲线。,证明：设（,C,）,是,曲面上连结,P,，,Q,的一条测地线，在曲面上选,取半测地坐标网，使曲面上包含（,C,）,在内的一测地线族为,u,-,线，,它的正交轨线为,v,-,线，于是曲面的第一基本形式为,不妨设曲线（,C,）,的方程为,v=0,，,P,和,Q,的坐标分别为(,u,1,0).(,u,2,0),(,u,1,u,2,)，,于是沿测地线（,C,）,由,P,到,Q,的弧长为,又在这个小邻域内连结,P,和,Q,的任意曲线 的方程为,v,=,v,(,u,)，,于是沿 ，从,P,到,Q,的弧长为,只有当 时，上式等号才成立，但此时,v,为常数，即为,u,-,线，而且是过,P，Q,的,u,-,线，即（,C,），,表示此时 重合，所以（,C,）,是连结,P，Q,的最短线。,（,C,）,由这个定理，我们又称测地线为短程线。,注意：定理若不是限制在一个小邻域内则不一定成立。,如球面上的大园是测地线，所以球面上不是直径两端的两点，连结它们的大园弧有两段，显然长的不是连结它们两点的最,短线，而短的是。,6.5 高斯-崩涅(,Gauss-Bonnet,),公式,在平面上，三角形的内角和等于180度，,但在曲面上的情形可能不大一样，如图：,这一节就是把平面上的结果推广,到曲面上去。,在曲面,S,上给出了一个由,k,条光滑曲线段,所围成的曲线多边形，它围成了一个单连通的曲面域,G,。,多边形的边缘记为 。,设曲面的高斯曲率和测地曲第分别为,K,k,g,，,曲面的面积元素和弧长元素为 ，则的下面的高斯-崩涅公式成立。,其中 是 的第,i,个内角的角度，是外角的角度。,引理：若在曲面上引进半测地坐标网，有,则,证明：由于坐标网正交，,F=0,，,由刘维尔公式,定理证明：,在,曲面上引进半测地坐网并由引理得,两边沿边缘积分,对第二个积分用格林公式,令,又面积元素,并由第五节习题6（5）（,P,144）,知,因此第二个积分为,对于（*）式中的第三个积分，可设 的切向量 和,u,-,线所成的角为 ，且由于 ，所以为单位向量，,其中正负号的产生是由沿边界积分时有两种不同的方向，如果我们采用逆时针方向时，可只取正号，即,这时第三个积分变为,（*）,式变为,当 绕转一周后，的增量是 ，即边界曲线的切向量转过了 ，它等于 （即分,段曲线所转过的角之和）加上所有外角。即,于是（*）式变成了,推论1：如果 为一条光滑的曲线，则外角为0，有,其中 表示三角形的内角和。,故当,特别地，当曲面为平面，,K,=0，,多边形的边界为直线（平面上的测地线）所组成时，得到平面上的多边形的外角和公式为,推论2：如果 是一个测地三角形，即三条边由三条测地线组成 的三角形，则有,对于平面上的三角形有,即三角形内角和为,6.6 曲面上向量的平行移动,在前面我们看到曲面上的测地线相当于平面上的直线，这里简单对比一下：,平面直线,1）曲率为0；,2）两点间最短距离是直线段；,3）给定一个方向和一点决定一条直线；,曲面上的测地线,1）测地曲率为0；,2）两点间（小范围）最短距离是测地线；,3）给定一个方向和一点决定一条测地线；,但直线还有一个性质就是直线上任一点处的切向量都是平行的，这个性质是否也可以推广到测地线上去呢？另一个问题是，欧氏空间中的平移具有两条基本的性质：保持线性关系和保持内积，我们希望曲面上的平移至少保持两个性质。这一节就讨论这个问题。,一、曲面上的向量及平行移动,1、曲面上的向量：曲面上给定点处切于该曲面的向量，也就,是给定点的切平面上的向量。,2、绝对微分及勒维-基维塔平移,设,曲面上一曲线（,C,）：,沿它上面的点,M,，,给出一向量,它在点,M,处切于曲面，且沿此曲线给出一向量场。,微分 ，从点,M,引 ，一般来说，这个向量不在点,M,的切平面上，因此它不再是曲面在,M,点的切向量，现在分解它为切平面和沿曲面的法向量 方向上的两个分量。,当 从,M,点按通常意义下的移动到邻近点 时，得一增量，其主要部分等到于,沿,法线方向的分量为 ，则 为 在 方向上的射影，且,为单位向量，所以它就是它们的内积，,即设切线分量为,这实际上就是 到点,M,的切平面上的投影向量。,我们称点,M,处的向量 和向量 的差为向量 从点,M,沿曲线（,C,）,移动到 的绝对微分，记为 ，即：,当,向量从点,M,沿曲线移动到 时，等到于把它的通常微分 投影到点,M,处的切平面上的部分，因此还是曲面上的向量。,当 时，表示向量 从点,M,沿（,C,）,的方向移动到点 时，微分 沿法线 的方向，换言之，把向量,投影到点,M,的切平面时，我们得到向量 ，这时称向量,是向量 从,M,点沿（,C,）,的方向到邻近点 经过平行移动而得到的向量。,这样定义的平移概念与所取的曲线 有关，因此,与 称为沿曲线在勒维基维塔意义下的平行向量，即称向量 与 沿曲线 是勒维基维塔平行移动。,特别地，在平面上向量的勒维基维塔平行移动和通常意义下的平移一致，这是由于在平面上 ，所以勒维基维塔平行移动是平面上通常平移在曲面上的推广。,3、绝对微分及平行移动的分析表达式,沿曲线（,C,）,上的每个点，由于 为切向量，在这个切平面上，以 为基向量建立坐标系，并设 的坐标为,由于,从式中可看出，只要在上面的式子中去掉法线分量就得到 ，,如果它的坐标用 来表示，则,这,就是绝对微分的表达式。,特别地，若向量 作平行移动，则 ，即,从而得到向量 由点,M,沿方向 作平行移动到邻近一点 的分析表达式：,即在平移下，的坐标微分 可用坐标微分 来表达。,4、绝对微分的运算性质,设 是沿曲线（,C,）,的向量场，,f,是定义在（,C,）,上的数量函数，则有,证明：（1）（2）直接验证。,二、平行移动的性质,对于欧氏平面上的平行移动，它(1)保持向量的长度和角度不变，(2)直线上的切向量都是平行的。下面说明曲面上的平移也具有这两个性质。,1、,levi,-,civita,平移保持两个向量的内积不变，因而保持向量的长度和夹角不变。,证明：设 是由曲面,S,上沿曲线（,C,）,的平行的向量场，则,有,这说明,levi,-,civita,平移保持内积不变。由于向量的长度与夹角都是由内积所定义的，故也保持向量的长度和夹角不变。,2、曲线（,C,）,为测地线的充要条件是它的切向量在,levi,-,civita,平行移动的意义下沿（,C）,是相互平行的。,证明：设（,C,）：，s,为自然参数，现设它,的切向量沿（,C,）,作平行移动，以,代入平移表达式,除以,ds,得到,这是测地线方程。即充分性成立。反之逆推可知必要性成立。,定理：向量沿一条已知曲面曲线作平行移动的充要条件是,沿此曲线所作的切平面的包络所得可展曲面展开在平面上时，所得的向量在平面上为平行移动。,由这个定理可得沿曲线平行移动的向量的作图法，这个作图法在理论上成立。,P,165。,6、7,极小曲面。,