跳至內容

李導數

本頁使用了標題或全文手工轉換
維基百科,自由的百科全書

微分幾何中,李導數(Lie derivative)是一個以索甫斯·李命名的算子,作用在流形上的張量場,向量場或函數,將該張量沿著某個向量場的方向導數。因為該作用在座標變換下保持不變,因此,該李導數在一般的流形上都是定義良好的。

所有李導數組成的向量空間對應於如下的李括號構成一個無限維李代數

李導數用向量場表示,這些向量場可看作M上的流(flow, 也就是時變微分同胚)的無窮小生成元。從另一角度看,M上的微分同胚組成的,有其對應的李導數的李代數結構,在某種意義上和李群理論直接相關。

定義

[編輯]

李導數有幾種等價的定義。在本節,為簡便起見,我們用純量場和向量場的李導數的定義開始。李導數也可定義在一般的張量上,如後面的章節所述。

李導數的定義可以從函數的微分開始。這樣,給定一個函數和一個M上的向量場X , f在點的李導數定義為

其中f的微分。也就是,是由下式給出的[1-形式]

.

這裡,餘切叢基向量。這樣,記號表示取f(在M中的點p)的微分和向量場X(在點p)的內積

或者,可以先表明M上的光滑向量場X定義了一個M上的單參數曲線族。也就是,可以表明存在曲線M上使得

其中對於所有M中的點p成立。這個一階常微分方程式的解的存在性由皮卡-林德洛夫定理給出(更一般的,這種曲線的存在性是弗比尼斯定理給出)。然後可以定義李導數為

.

第三個可能的定義可以通過先定義一對向量場的李括號給出。首先注意到切空間的基向量可以寫為,所以一個向量場,用一組選定的基向量可以表示為

定義李括號

然後定義向量場Y的李導數等於XY的李括號,也就是,

.

根據上面任選的一個定義,其他的定義可被證明為其等價形式。 例如,可以證明,對於一個可微函數f

並且

.

我們用在1-形式上的李導數的定義來結束本節:

.

性質

[編輯]

李導數有一些屬性。令流形M上的函數組成的代數。則

是一個在代數上的導數。也就是, R-線性的,並且

.

類似的,它是上的一個導數,其中M上的向量場的集合:

也可寫為等價形式

其中張量積符號用於強調函數和向量場的積在整個流形上取。

另外的性質和李括號的一致。所以,例如,作為向量場的導數,

容易發現上面就是雅可比恆等式。這樣,就可以得到「裝備了李括號的M上的向量空間是李代數」的重要結果。

和外導數的關係、微分形式的李導數

[編輯]

李導數和外導數密切相關,因此和埃里·嘉當微分流形理論相關。 兩個都試圖給出導數的思想,其差別幾乎只是記號上的。這個區別可以通過引入反導數或等效的內積來消除。 這之後,兩者的關係就體現在一組恆等式上。

M為一個流形,XM上一個向量場。令為一k+1-形式。 X和ω的內積

注意

以及-反導數。也就是,R-線性的,並且

對於和另一個微分形式η成立。另外,對於一個函數,那是一個實或複值 的M上的函數,有

外導數和李導數的關係可以總結為以下這些。對於一般函數f,李導數就是外導數和向量場的內積:

對於一般的微分流形,李導數類似於內積,加上X的變化:

.

當ω為1-形式,上述恆等式經常寫作

導數的乘積是可分配的

張量場的李導數

[編輯]

微分幾何中,如果我們有一個可微張量場(我們可以把它當作餘切叢光滑截面切線束的截面的線性映射 ),使得對於任何函數

),

而且如果進一步有一個可微向量場(也就是切線束的一個光滑截面),則線性映射

獨立於聯絡∇;只要它是無扭率的,事實上,這個映射是一個張量。這個張量稱為關於李導數

換句話說,如果你有一個張量場和一個由向量場給出的微分同胚的無窮小生成元,則就是在這個無窮小微分同胚下的無窮小變化。

或者,給定向向量場,令ψ為的積分曲線族,向上面那樣。注意ψ是一個局部單參數局部微分同胚。令為由ψ誘導的拉回(pullback)。則張量點的李導數如下

.

參見

[編輯]

參考

[編輯]
  • Jurgen Jost, Riemannian Geometry and Geometric Analysis, (2002) Springer-Verlag, Berlin ISBN 3-540-4267-2 See section 1.6.
  • Ralph Abraham and Jerrold E. Marsden, Foundations of Mechanics, (1978) Benjamin-Cummings, London ISBN 0-8053-0102-X See section 2.2.
  • David Bleecker, Gauge Theory and Variational Principles, (1981), Addison-Wesley Publishing, ISBN 0-201-10096-7. See Chapter 0.