一类步数为2（k2b1）的次黎曼流形上测地线的分析.pdfVIP

颈士论文 一类步数为2(1【+1)的次黎曼流形上测地线的研究 曼几何中的一个基本而又重要的问题．那么，次黎曼流形满足什么样的条件才存在测 地线?换句话说，任给次黎曼流形上两点是否存在次黎曼测地线连接它们?更一般的， 次黎曼流形上任意两点之间是否存在一条水平曲线连接?第二个问题是我们在次黎曼 流形上寻找测地线的一个必不可少的前提条件，在20世纪30年代就由Chow解决．对 于次黎曼流形(M，D,g)，如果M是连通的，水平分布D由括号生成，郎对膨中任意 意两点都可由一条水平曲线连接，此时肘中任意充分靠近的两点都可由一条极小测 地线连接([30])．进一步若水平分布D由强括号生成，且次黎曼流形M关于次黎曼 度量是完备的，则肘上任意两点都可由一条极小测地线连接([30])．此即测地线的 局部存在性与整体存在性定理． 在测地线存在的前提下，进一步可以讨论测地线是正规测地线还是奇异测地 线．文献[121，[251，【27】等对次黎曼测地线的结构做了较为系统地讨论，从是否满足次 和奇异测地线，从端点映射的微分在极小测地线处是否为满射分为正则极小测地线与 奇异极小测地线． 在变分学中，次黎曼测地线问题是有约束的Lagrange问题，可描述为； 问题 求次黎曼能量泛函 ￡(厂)=寺rg(，：厂7净 a．e． 在约束O)z’(，)∈D，乱e【a,b】；(2)，(r)平方可积， 【a,b】： (3)，(口)=qo；(4)，，(6)=gl 下的极小． 很多文章都对正规测地线和奇异测地线的特征做了讨论，Nikifia在1996年从最 优控制论的角度出发，利用变分法得到次黎曼流形只存在正规测地线的充分条件，见 参考文献【35】． 点固定时正规测地线的特征，同时得到了两端点分别在两个光滑子流形上自由移动时 正规测地线的特征．一般情况下，容许空问砖。(【口，6】，D，M)不具有光滑流形的结构， 但在正则曲线的邻域内，具有无限维Hilbert流形结构，因而正则曲线r是次黎曼能 量泛函E在容许空间日‰(a，6】，D，M)内的临界点，当且仅当它是连接鳊，吼两点的 此时所有的次黎曼测地线都是正规的，且次黎曼能量泛函E在此容许空间内的临界点 2 硕士论文 一共步敷为2fk卅)舶次黎曼流形上测地线的研究 其中r为y的提升([27])． 在一定的条件下，正规测地线可由次黎曼能量泛函E在相应容许空间内的l}缶界点 来刻划，那么E的临界点的存在性与多重性就可以反映正规测地线的存在性与多解 起点在材的一个光滑子流形P上自由移动的正规测地线(称之为P．正规测地线)的 每条次黎曼测地线都是正规的．然而，Piccione等人并没有假设水平分布D满足这 一强不可积条件，而是要求子流形，横切于分布D，从而排除了奇异测地线的存在(详 见文献【27】)．进一步如果光滑子流形，的维数是l，此时P就是一条光滑曲线 ，：f以61_置，利用临界点的经典理论以及不同于Morse理论的ks畴数理论，还可 得到在点q与曲线，之间至少有cat(H；，，(【口6】，D，肘))条正规测地线；并且如果 见文献【32】)． 文献[2】给出奇异测地线存在的一个必要条件即如果水平曲线，：【口，6卜+M是奇 异测地线，则它一定是奇异曲线，且为奇异极小．同时给出奇异曲线存在的充要条件 即水平曲线，：【口，b1一M是奇异曲线当且仅当存在非正规极值曲线：r：『口，b1专T‘M。 使得y是r在膨上的投影． 对于特殊的次黎曼流形，我们可以得到更好的结果．Heisenbaog群作为最简单 的非平凡的次黎曼流形，由于其水平分布是由强括号生成的，因此Heisenberg群上的 和(而，2f2，t)的测地线的方程，条数以及相应测地线的长度，特别地，得到了群上两点 (0,0，0)和(o，0，t)的测地线的方程，条数以及相应测地线的长度，同时给出最短的测 正规测地线的条数和相应正规测地线的长度以及连接两点(o，0，0)和(0,0，t)的正规测 地线的长度． 给出一个定性的描述，其中由Heisenberg流形诱导的自然的度量起了重要的作用，同 时在Heisenberg群上得到一个和Gauss公式类似的一