複製鏈接
請複製以下鏈接發送給好友
https://baike.baidu.hk/item/拉普拉斯-貝爾特拉米算子/19136598
複製
複製成功

拉普拉斯-貝爾特拉米算子

鎖定
在微分幾何中，拉普拉斯算子可以推廣為定義在曲面，或更一般地黎曼流形與偽黎曼流形上，函數的算子。這個更一般的算子叫做拉普拉斯－貝爾特拉米算子（Laplace–Beltrami operator）。與拉普拉斯算子一樣，拉普拉斯–貝爾特拉米算子定義為梯度的散度。這個算子作為共變導數的散度，可以延拓到張量上的算子。或者，利用散度與外導數，這個算子可以推廣到微分形式上的算子，所得的算子稱為拉普拉斯－德拉姆算子（Laplace–de Rham operator）。 [1] 
中文名
拉普拉斯-貝爾特拉米算子
外文名
Laplace–Beltrami operator
學    科
數學
領    域
數學

目錄

  1. 1 定義
  2. 2 拉普拉斯－德拉姆算子
  1. ▪ 定義
  2. ▪ 性質
  3. 3 張量上的拉普拉斯算子
  1. 4 例子
  2. 5 相關條目

拉普拉斯-貝爾特拉米算子定義

就像拉普拉斯算子一樣，定義拉普拉斯－貝爾特拉米算子為梯度的散度。為了寫出這個算子的一個公式，首先需寫出流形上的散度與梯度。 [1] 
設g表示流形上的（偽）-度量張量，我們發現在局部座標中體積形式由
給出，這裏
是局部座標系基向量
的對偶基1-形式，而
是楔積。這裏
是度量張量行列式的絕對值。流形上一個向量場X的散度可以定義為
這裏
是沿着向量場X的李導數。在局部座標中，我們得到
這裏（下面同樣如此）使用了愛因斯坦求和約定，所以上式其實是一個關於i的和式。一個數量函數f的梯度利用流形上內積可定義為
對位於流形在x點的切空間中所有向量
成立。這裏df是函數f的外導數；它是變量
的一個函數。在局部座標中有
綜上，對一個數量函數f的拉普拉斯–貝爾特拉米算子在局部座標中公式為
這裏
是度量張量 g之逆的分量，所以
，這裏
為克羅內克函數。
注意到如上定義中，只對數量函數
有效。我們欲將對函數的拉普拉斯算子，延拓到微分形式上；為此，我們必須回到拉普拉斯–德拉姆算子，將在下一節定義。可以證明拉普拉斯–貝爾特拉米算子在歐幾里得空間退化通常的拉普拉斯算子，利用乘積法則與鏈式法則將其重寫為
當|g|=1，比如笛卡兒座標下的歐幾里得空間，容易得到
這就是通常的拉普拉斯算子。利用符號為 (+++-) 的閔可夫斯基度量，得到達朗貝爾算子。在局部參數化
中，拉普拉斯–貝爾特拉米算子利用度量張量與克里斯托費爾符號可表示如下：
注意到通過使用球座標與圓柱座標的度量張量，我們類似地可重新得到拉普拉斯算子在球座標與圓柱座標下的表達式。拉普拉斯–貝爾特拉米算子不僅在彎曲空間中存在，而且在曲線座標系下的通常平坦空間中也存在。
另外注意到外導數d與 -div伴隨：
（證明）
這裏最後一個等式利用了斯托克斯定理。另外注意拉普拉斯–貝爾特拉米算子是負的且對稱：
對函數f與h。因此，許多作者定義拉普拉斯–貝爾特拉米算子時添一個減號，將其變成正的。
利用共變導數
拉普拉斯–貝爾特拉米算子也可利用與列維-奇維塔聯絡相伴的迭代共變導數的跡寫出來。從這個觀點來看，設Xi是切向量場的一個基（不必由座標系誘導）。則一個函數f的黑塞矩陣是一個 2-張量，分量由
給出。容易看出有張量性變換，因為對每個變量Xi與Xj都是線性的。則拉普拉斯–貝爾特拉米算子是黑塞矩陣關於度量的跡：
在抽象指標記號中，此算子經常寫成
需要理解清楚的是這個跡其實就是黑塞張量的跡。

拉普拉斯-貝爾特拉米算子拉普拉斯－德拉姆算子

拉普拉斯-貝爾特拉米算子定義

更一般地，我們可以在微分流形的外代數上定義一個拉普拉斯微分算子。在黎曼流形上它是一個橢圓型算子，而在洛倫茲流形上是雙曲型的。拉普拉斯–德拉姆算子定義為
這裏 d 是外導數而 δ 是餘微分。當作用在數量函數上，餘微分可以定義為 δ = −
，這裏* 是霍奇星算子；更一般地，餘微分可能包含與所作用的k-形式的階數有關的一個符號。
可以證明拉普拉斯–德拉姆算子作用在數量函數f上時與前面的拉普拉斯–貝爾特拉米算子定義相同；細節參見證明。注意拉普拉斯–德拉姆算子事實上是負拉普拉斯–貝爾特拉米算子；這個符號來自定義餘微分的習慣。不幸的是，兩者都用 Δ 表示，經常成為混亂之源。

拉普拉斯-貝爾特拉米算子性質

給定數量函數f與h，以及一個實數a，拉普拉斯–德拉姆算子有如下性質：
（證明）

拉普拉斯-貝爾特拉米算子張量上的拉普拉斯算子

利用與列維-奇維塔聯絡相伴的共變導數，拉普拉斯–貝爾特拉米算子可推廣到偽黎曼流形上任意張量。這個推廣的算子可以作用在反對稱張量上。但所得的算子與拉普拉斯–德拉姆算子給出的不同：兩者通過外森比克恆等式相關。

拉普拉斯-貝爾特拉米算子例子

拉普拉斯–貝爾特拉米算子許多特例可以明白地寫出來。
  • 球面拉普拉斯算子
球面拉普拉斯算子是帶截面曲率為 1 的典範度量n-1 維球面上的拉普拉斯–貝爾特拉米算子。通常將其視為等距嵌入R中，作為以原點為中心的單位球面。則對S上一個函數f，其球面拉普拉斯算子定義為
這裏f(x/|x|) 是函數f次數為零的齊次延拓到R，而 Δ 是周圍歐幾里得空間的拉普拉斯算子。具體地，這由歐幾里得拉普拉斯算子在球極座標下熟知的公式所藴含：
更一般地，利用法叢可進行類似的技巧，定義任何黎曼流形作為等距嵌入歐幾里得空間中的超平面上的拉普拉斯–貝爾特拉米算子。
我們也可以給出球面上拉普拉斯–貝爾特拉米算子在法座標系中一個內藴描述。設 (t,ξ) 是球面上關於球面上特定點p（北極）的球座標，這就是關於p的測地極座標。這裏t表示從p出發沿着單位速度測地線的緯度，ξ是表示S中測地線的方向的一個參數。則球面拉普拉斯算子具有如下形式
這裏
是通常n- 1 球面上的拉普拉斯算子。

拉普拉斯-貝爾特拉米算子相關條目

  • 微分幾何中的拉普拉斯算子（Laplacian operators in differential geometry）
參考資料
  • 1.    Flanders, H. Differential forms with applications to the physical sciences. Dover. 1989. ISBN 978-0486661698.