[論文レビュー] Principles of Differential Geometry

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

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

ひとこと要約

この論文は、平坦なユークリッド空間に埋め込まれた2次元曲面と3次元空間を対象として、テンソル計算を用いた微分幾何学の包括的な導入を提示する。曲線座標、基底ベクトル、クリストッフェル記号のための一貫性のある表記法を確立し、計量テンソルおよびその行列式を用いて、絶対微分と共変微分、測地的座標、および発散やラプラシアンなどの曲面微分作用素といった主要な概念を導出する。

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.

研究の動機と目的

• 2次元曲面と3次元空間に対して、テンソル計算を用いた統一的かつ一貫性のある微分幾何学の枠組みを提供すること。
• インデックス表記の標準化（2次元にはギリシャ文字、3次元にはラテン文字を用いる）とテンソルの種類の明確化により、微分幾何学における一般的な表記の曖昧さを解消すること。
• 絶対微分と共変微分の概念を混合テンソルおよび曲面に埋め込まれた曲線へと拡張し、多様体の種別にわたって一貫性を保つこと。
• 基本的な空間テンソル（計量、クロネッカー、反対称）が曲面の共変微分に関して定数として振る舞うことを示すこと。
• 勾配、発散、ラプラシアンといった標準的な微分作用素を、計量行列式や共変成分といった内在的な幾何的量を用いて曲面上に適用可能にするための基盤を提供すること。

提案手法

• 混合座標系を用いる：曲面の曲線座標として$u^1, u^2$、空間の直交座標または曲線座標として$x^1, x^2, x^3$を定義する。
• 曲面の基底ベクトル$\mathbf{E}_\alpha$と空間の基底ベクトル$\mathbf{E}_i$を定義し、多様体の種別を区別するための異なる添字規則を採用する。
• それぞれの第一基本形式から導かれるクリストッフェル記号$\Gamma_{\alpha\beta}^\gamma$（曲面用）および$\Gamma_{ij}^k$（空間用）を適用する。
• $t$パrameter化された曲線に沿ったテンソル場の絶対微分を、$\frac{\delta A_\alpha}{\delta t} = \frac{dA_\alpha}{dt} - \Gamma_{\alpha\beta}^\gamma A_\gamma \frac{du^\beta}{dt}$を用いて導出する。共変および混合テンソルに対しても同様の形を適用する。
• 曲面上の測地的座標を導入し、テンソル微分を簡略化する。特に極点において共変微分が偏微分に帰着する。
• 曲面上のナブラ作用素を、$\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 2次元曲面と3次元空間の両方において、テンソル計算を用いて一貫性があり曖昧さのない表記を確立するにはどうすればよいか？
• RQ2 曲面または空間に埋め込まれた曲線に沿ったテンソル場の絶対微分の正しい定式化は何か？
• RQ3 空間テンソル（計量、クロネッカー、反対称）は、曲面の共変微分に関してどのように振る舞うか？
• RQ4 測地的座標は、曲面上のテンソル微分をどのように簡略化するか？
• RQ5 第一基本形式を用いて、発散やラプラシアンといった標準的な微分作用素を2次元曲面上で内在的にどのように表現できるか？

主な発見

• パrameter $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}$。この式は、曲面と空間の接続を統合的に組み合わせたものである。