[理学]微分几何曲面局部理论.pptVIP

第二章 曲面：局部理论 命题 设 是曲面 上一条参数曲 线，且 ，切向量 。则沿着 存在唯一的平行向量场 使得 。 证明：不妨设曲线 包含在某个参数表示 中，有 。进一步假设 第二章 曲面：局部理论 由于 ，我们计算 第二章 曲面：局部理论 是沿着 的平行向量场当且仅当 是下列方程组的解： 由微分方程解的存在唯一性定理，只要取定了 ，使得 ， 我们就得到唯一的平行向量场 满足 。 第二章 曲面：局部理论 定义 设 是曲面 上一条参数曲 线，且起始点为 。 是沿 的平行向量场，则向量 称为 沿 到点 的平行移动。 之前的命题的存在唯一性结论保证了平行移动定义的合理性。 如果曲线 是正则的，则平行移动不依赖于 的参数表示。 第二章 曲面：局部理论 例3 单位球面 上纬线圆 ，考虑向量 从点 出发沿着纬线逆时针的平行移动。 第二章 曲面：局部理论 解：将单位球面Christoffel记号的计算结果带入 方程(eq-1)中得到 加上初始值条件 ，解得 观察到 。平行移动保持切向量的长度不变？ 第二章 曲面：局部理论 命题 假设 和 是沿 的两个平 行向量场，则内积 为常数。 推论 平行移动保持向量的长度和夹角。 证明：向量场 沿 平行，则 与 平行，则 同理 第二章 曲面：局部理论 平面中“直线”在曲面的推广－－“测地线”。 曲面上两点之间的最短连线是什么？ 定义 曲面 上一条非常值参数曲线 称为测地线（geodesic），如果切向量场 沿 平行，即 测地线满足 ，参数曲线正则，可以引进弧长参数 。 第二章 曲面：局部理论 曲面上以弧长为参数的测地线 的曲率向量 在曲面的切平面上投影为零，即测地线在每点的 主法向量与曲面的法向量平行。 这里曲线的曲率向量在曲面法向量上的投影 恰好是曲线的法曲率。 第二章 曲面：局部理论 曲面 上一条弧长参数曲线 在考虑法曲率时，我们实际上引入了有别于 Frenet标架的另一个标架 （Darboux 标架）。 第二章 曲面：局部理论 此时，曲率向量可以分解为 其中法曲率 是曲率的法分量，而 是曲率 的切分量，称为曲面上曲线的测地曲率 （geodesic curvature)。 曲线是曲面测地线当且仅当它的测地曲率为零。例1证明球面上的大圆是测地线。 第二章 曲面：局部理论 定理（Liouville公式）假设 是曲面 上的正交参数表示， 是 上的 一条曲线，其中 是弧长参数。 假定曲线 与 曲线的夹角为 ，则曲 线 的测地曲率为 第二章 曲面：局部理论 证明： 曲线和 曲线的单位切向量为 曲线 的切向量 夹角 满足 Darboux标架中 第二章 曲面：局部理论 曲率向量 计算测地曲率得到 其中 第二章 曲面：局部理论 于是定理成立。特别的， 曲线和 曲线的测地 曲率分别为 因此Liouville公式可以改写成 ■ 第二章 曲面：局部理论 一般情况，利用(eq-1)，其中 我们得出测地线 满足方程 由常微分方程组解的存在唯一性得到以下推论 第二章 曲面：局部理论 命题 在曲面 上给定点 和非零切向量 存在 和唯一的测地线