微分幾何學習筆記:曲面幾何學
寫在前面:本文是一些結果的羅列,主要是為了後續做些準備工作, 文章中涉及一些幾何和測度的相關預備知識,讀者可以在下面的公眾號中找到
本節我們主要總結一些
切向量 組成在處切空間 ()的一組基. 其中的度量定義為
逆度量定義為
的面積元定義為
我們能夠對具有緊支集的函數在properly嵌入超曲面上進行積分,積分定義為:
這裡 上的是維 Hausdorff測度 . 特別注意
其中是任意緊集.函數 的切向梯度定義為:
上式中,指標重複代表求和. 對於上一個光滑切向量場
(注意 ) 我們可以定義張量的共變導數:
其中Christoffel 符號 由下式決定
(角標 表示向量切向分量)或者用度量表示:
向量場在上的切向散度定義為:
上的的 Laplace-Beltrami 算子定義為:
對於一個光滑向量場 ,這時未必與相切,我們同樣可以定義的散度 :
這和前面的定義是相一致的.
設 是 的單位法向量,則有
因為是單位向量, 則 也是的切向量.
的第二基本型可以定義為
則 Weingarten 映射可定義為
我們稱Weingarten 映射的特徵值 為主曲率. 平均曲率有多種表示形式:
的平均曲率向量為:
我們可以很容易得到
在特殊情況下,比如,(即, 向上的單位法向量為
的平均曲率則為
這裡,和表示上的梯度和散度.
對於滿足, 的圖, 上式的平均曲率則變為
這裡指的是對求導.
的黎曼曲率張量定義為
其中是的切向量場, 且
表示在局部正交標架下的Hessian算子. 黎曼曲率張量有下面的對稱關係:
和
此時,的Gauss方程為
Codazzi方程表明第二基本型的共變導數:是完全對稱的.
現在我們需要計算Laplace算子和第二基本型的平方範數
為了簡便, 我們在局部正交標架下計算.這樣,我們就可以只用下指標.由黎曼曲率張量的定義
我們現在開始計算
其中, . 因此上面的計算可以重寫為
由 縮並可得 Bochner型公式
這裡表示張量的平方範數.
下面我們推導單位法向量的Laplace.為此,我們在的測地法坐標系下運算, 因此在 處
且
從而在點處,
進一步,有
由Codazzi方程,
計算可得
因此,我們得到
這個等式經常稱之為Jacobi場方程.
曲面上函數和向量場的導數也可以通過從往的切空間上做投影得到.
對於, 定義投影
設是可微映射,其中, 是中的開集.
定義的切向梯度為
這裡, 表示在中的通常梯度. 上式也可寫為
其中表示 關於的方向導數. 這裡是的一組正交基.
對於一個可微向量場, 它在方向的方向導數為:
此處 指的是向量的轉置. 向量場關於的切向散度定義為
或者
這和我們之前用內蘊方式的定義是一致的.
Laplace-Beltrami算子作用在上的一個二次可微函數的定義為
由等式
我們計算可得
其中
是在的法向的二階導數.
如果 , 可簡單計算可得
(是 中的第個基向量),從而有
由散度定理,對任意向量場,我們有
這裡是的單位外法向量, 如果有緊支集,或者 , 則
如果函數,由散度定理可得
或者等價地
對於 , , 我們也可以得到
如果在邊界不是零, 則
其中我們用到了
下面我們介紹 Coarea公式,我們在後面的學習中,會多次用到. 設 是proper Lipschitz函數. 即 是 中的相對緊集. 令 是上關於維Hausdorff測度的可積函數.那麼對任意, 我們有
兩邊微分,則有
對幾乎所有的成立. 注意到,由 Rademacher定理, 在上幾乎處處有定義, 其中是上的一個Lipschitz連續函數.
我們考慮做為一個特殊情形, 可以看做是歐式距離在上的限制. 在這種情形,因為是proper嵌入,則 (u<r)對每一個是相對緊的. 那麼 coarea 公式則變為
由Sard定理,對幾乎所有的, 是中的一個光滑曲面. 這裡我們假定 .