複製鏈接
請複製以下鏈接發送給好友
https://baike.baidu.hk/item/外微分/1802695
複製
複製成功

外微分

鎖定
數學上，微分拓撲的外微分算子，把一個函數的微分的概念推廣到更高階的微分形式的微分。它在流形上的積分理論中極為重要，並且是德拉姆和Alexander-Spanier上同調中所使用的微分算子。其現代形式是由嘉當發明的。 [1] 
中文名
外微分
外文名
exterior differentiation
別    名
微分形式
性    質
反對稱協變張量場
應用學科
微分幾何

目錄

  1. 1 定義
  2. 2 性質
  3. 3 座標不變公式
  1. 4 微積分中
  2. ▪ 梯度
  3. ▪ 旋度
  4. ▪ 散度
  1. 5 範例
  2. 6 參看

外微分定義

一個k階微分形式的外微分是一個k+1階的微分形式。對於一個k-形式ω =fIdxI在R上，其定義如下：
對於一般的k-形式 ΣIfIdxI（其中多重指標I取遍所有{1, ...,n}的基數為k的有序子集），我們只作了線性推廣。注意如果上面有i=I則
。

外微分性質

外微分滿足三個重要性質：
（1）線性
（2）楔積法則
（3）d2=0，藴涵了混合偏導數的恆等式的公式，所以總有
可以證明外微分由這些性質和其與0形式（函數）上的微分的一致性唯一決定。d的核由閉形式組成，而其像由恰當形式組成 。

外微分座標不變公式

給定一個k-形式ω和任意光滑向量場V0,V1, …, Vk我們有
其中
表示李括號，而帽子記號表示省略該元素:
特別的有，對於1-形式，我們有：
更一般的，李導數由李括號定義：
而一般微分形式的李導數和外微分密切相關。區別主要是記號上的。

外微分微積分中

下面的對應關係揭示了向量微積分的諸多公式實際上只是上述外微分的三個法則的特殊情況而已。

外微分梯度

對於一個0-形式，也就是一個光滑函數f:R→R，我們有
所以，對於向量場V
其中grad f代表f的梯度而<·, ·>是標量積。

外微分旋度

對於一個1-形式
在R上，
它限制到三維情況
就是
因此，對於向量場U, V=[u,v,w]和W我們有
其中curl V代表V的旋度×是向量積，而<·, ·>是標量積。

外微分散度

對於一個2-形式
對於三維，若
我們得到

其中V是一個向量場定義為V=[p,q,r].

外微分範例

對於1-形式
onR我們有
這剛好就是在格林定理中被積分的2-形式。
向量微積分的恆等式：
與
皆是外微分第三性質——
的特例。 [2] 

外微分參看

參考資料
  • 1.    H.Flanders，Differential Forms with Applications to the Physical Sciences, Academic Press,New York, 1963.
  • 2.    S.Sternberg,Lectures on Differential Geometry,Prentice-Hall, Englewood Clliffs, N. J. 1964.