[论文解读] Principles of Differential Geometry

Taha Sochi|arXiv (Cornell University)|Sep 9, 2016

Mathematics and Applications参考文献 9被引用 5

一句话总结

本文使用张量微积分对微分几何进行了全面介绍，重点聚焦于嵌入在平坦欧几里得空间中的二维曲面和三维空间。文中建立了曲线坐标、基向量和克里斯托费尔符号的一致记号体系，并基于度量张量及其行列式推导了绝对导数与协变导数、测地坐标以及曲面微分算子（如散度和拉普拉斯算子）等关键概念。

ABSTRACT

The present text is a collection of notes about differential geometry prepared to some extent as part of tutorials about topics and applications related to tensor calculus. They can be regarded as continuation to the previous notes on tensor calculus as they are based on the materials and conventions given in those documents. They can be used as a reference for a first course on the subject or as part of a course on tensor calculus.

研究动机与目标

• 为使用张量微积分的微分几何提供统一且一致的框架，尤其针对二维曲面和三维空间。
• 通过标准化索引使用（二维用希腊字母，三维用拉丁字母）并澄清张量类型，解决微分几何中常见的记号模糊问题。
• 将绝对导数与协变导数的概念扩展至混合张量及嵌入曲面的曲线，确保在不同流形类型间保持一致性。
• 证明基本空间张量（度量、克罗内克符号、反对称张量）在曲面协变微分下表现为常数。
• 通过内在几何量（如度量行列式与逆变分量）实现标准微分算子（梯度、散度、拉普拉斯算子）在曲面上的应用。

提出的方法

• 采用混合坐标系：$u^1, u^2$ 表示曲面的曲线坐标，$x^1, x^2, x^3$ 表示空间的笛卡尔或曲线坐标。
• 定义曲面的基向量 $\mathbf{E}_\alpha$ 和空间的基向量 $\mathbf{E}_i$，并采用不同的索引约定以区分流形类型。
• 应用由各自第一基本形式导出的克里斯托费尔符号 $\Gamma_{\alpha\beta}^\gamma$（曲面）和 $\Gamma_{ij}^k$（空间）。
• 通过 $\frac{\delta A_\alpha}{\delta t} = \frac{dA_\alpha}{dt} - \Gamma_{\alpha\beta}^\gamma A_\gamma \frac{du^\beta}{dt}$ 推导沿 $t$-参数化曲线的张量场的绝对导数，其对逆变张量和混合张量形式亦有类似表达。
• 在曲面上引入测地坐标以简化张量微分，此时协变导数在极点处退化为偏导数。
• 通过 $\nabla \cdot \mathbf{A} = \frac{1}{\sqrt{a}} \partial_\alpha (\sqrt{a} A^\alpha)$ 和 $\nabla^2 f = \frac{1}{\sqrt{a}} \partial_\alpha (\sqrt{a} a^{\alpha\beta} \partial_\beta f)$ 将斜矢算符应用于曲面，其中使用了曲面度量行列式 $a$ 与逆变度量 $a^{\alpha\beta}$。

实验结果

研究问题

• RQ1 如何通过张量微积分在二维曲面与三维空间之间建立一致且无歧义的微分几何记号体系？
• RQ2 张量场沿嵌入在曲面或空间中的曲线的绝对导数的正确表述是什么？
• RQ3 空间张量（度量、克罗内克符号、反对称张量）在曲面协变微分下如何表现？
• RQ4 测地坐标在何种方式下可简化曲面上的张量微分？
• RQ5 如何利用第一基本形式在二维曲面上内在地表达标准微分算子（如散度与拉普拉斯算子）？

主要发现

• 沿 $t$-参数化曲线的曲面矢量场 $\mathbf{A}$ 的绝对导数为 $\frac{\delta A_\alpha}{\delta t} = \frac{dA_\alpha}{dt} - \Gamma_{\alpha\beta}^\gamma A_\gamma \frac{du^\beta}{dt}$，其对逆变形式与混合形式亦有类似表达式。
• 空间度量张量 $g_{ij}$、克罗内克符号 $\delta_j^i$、反对称张量 $\underline{\epsilon}_{ijk}$ 以及基向量 $\mathbf{E}_i$ 在曲面微分下恒为零：$g_{ij|\gamma} = 0$，$\delta_j^{i}|\gamma = 0$ 等。
• 曲面矢量场的散度为 $\nabla \cdot \mathbf{A} = \frac{1}{\sqrt{a}} \partial_\alpha (\sqrt{a} A^\alpha)$，其中 $a$ 为曲面度量张量的行列式。
• 曲面上标量场的拉普拉斯算子为 $\nabla^2 f = \frac{1}{\sqrt{a}} \partial_\alpha (\sqrt{a} a^{\alpha\beta} \partial_\beta f)$，其由曲面度量及其逆矩阵导出。
• 在曲面上的测地坐标系中，混合张量 $A_\alpha^i$ 的绝对导数因克里斯托费尔符号在极点处消失而得以简化，退化为全导数形式。
• 混合张量如 $A_\alpha^i$ 可获得一致的绝对导数表达式：$\frac{\delta A_\alpha^i}{\delta t} = \left( \frac{\partial A_\alpha^i}{\partial u^\beta} + \Gamma_{jk}^i A_\alpha^k \frac{\partial x^j}{\partial u^\beta} - \Gamma_{\alpha\beta}^\gamma A_\gamma^i \right) \frac{du^\beta}{dt}$，该式结合了曲面与空间的联络。