在微分幾何中,李導數(Lie derivative)是一個以索甫斯·李命名的算子,作用在流形上的張量場,向量場或函數,將該張量沿著某個向量場的流做方向導數。因為該作用在座標變換下保持不變,因此,該李導數在一般的流形上都是定義良好的。
所有李導數組成的向量空間對應於如下的李括號構成一個無限維李代數。
![{\displaystyle [A,B]{\overset {def}{=}}{\mathcal {L}}_{A}B-{\mathcal {L}}_{B}A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b1f43caf1cb380cfe630dbebc810e6be97e0bb5d)
李導數用向量場表示,這些向量場可看作M上的流(flow, 也就是時變微分同胚)的無窮小生成元。從另一角度看,M上的微分同胚組成的群,有其對應的李導數的李代數結構,在某種意義上和李群理論直接相關。
李導數有幾種等價的定義。在本節,為簡便起見,我們用標量場和向量場的李導數的定義開始。李導數也可定義在一般的張量上,如後面的章節所述。
李導數的定義可以從函數的微分開始。這樣,給定一個函數
和一個M上的向量場X , f在點
的李導數定義為
![{\displaystyle {\mathcal {L}}_{X}f(p)=df(p)\,[X(p)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3f12304bb253bd604bb51089308cd0a3c9c3364f)
其中
是f的微分。也就是,
是由下式給出的[1-形式]
.
這裡,
是餘切叢
的基向量。這樣,記號
表示取f(在M中的點p)的微分和向量場X(在點p)的內積。
或者,可以先表明M上的光滑向量場X定義了一個M上的單參數曲線族。也就是,可以表明存在曲線
在M上使得
![{\displaystyle {\frac {d\gamma }{dt}}(t)=X(\gamma (t))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e85d26f9c19a3807c6dfc02f5830f73b42c6b1b1)
其中
對於所有M中的點p成立。這個一階常微分方程的解的存在性由皮卡-林德洛夫定理給出(更一般的,這種曲線的存在性是弗羅貝尼烏斯定理給出)。然後可以定義李導數為
.
第三個可能的定義可以通過先定義一對向量場的李括號給出。首先注意到切空間的基向量可以寫為
,所以一個向量場,用一組選定的基向量可以表示為
![{\displaystyle X=X^{a}{\frac {\partial }{\partial x^{a}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a1bbb5d7c345d497612c763c91c84e61ed0b278)
定義李括號
為
![{\displaystyle [X,Y]=X^{a}{\frac {\partial Y^{b}}{\partial x^{a}}}{\frac {\partial }{\partial x^{b}}}-Y^{a}{\frac {\partial X^{b}}{\partial x^{a}}}{\frac {\partial }{\partial x^{b}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/085e6bda13ab09009117f9b996af53070429d523)
然後定義向量場Y的李導數等於X和Y的李括號,也就是,
.
根據上面任選的一個定義,其他的定義可被證明為其等價形式。
例如,可以證明,對於一個可微函數f,
![{\displaystyle {\mathcal {L}}_{X}(f)=df(X)=X(f)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba107ecde95a3679f04a646d17ae2a2e264c74ce)
並且
.
我們用在1-形式
上的李導數的定義來結束本節:
.
李導數有一些屬性。令
為流形M上的函數組成的代數。則
![{\displaystyle {\mathcal {L}}_{X}:{\mathcal {F}}(M)\rightarrow {\mathcal {F}}(M)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/be33b9f3aaf58c7b89f2a5ef979fc552eff0e2d7)
是一個在代數
上的導數。也就是,
是R-線性的,並且
.
類似的,它是
上的一個導數,其中
是M上的向量場的集合:
![{\displaystyle {\mathcal {L}}_{X}(fY)=({\mathcal {L}}_{X}f)Y+f{\mathcal {L}}_{X}Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e1fadf9d64cfd40ec4b4a4874c8c4e9bee2fb0f)
也可寫為等價形式
![{\displaystyle {\mathcal {L}}_{X}(f\otimes Y)=({\mathcal {L}}_{X}f)\otimes Y+f\otimes {\mathcal {L}}_{X}Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/11355c8ee7c3080f6c1946ccc949ed8aec34a608)
其中張量積符號
用於強調函數和向量場的積在整個流形上取。
另外的性質和李括號的一致。所以,例如,作為向量場的導數,
![{\displaystyle {\mathcal {L}}_{X}[Y,Z]=[{\mathcal {L}}_{X}Y,Z]+[Y,{\mathcal {L}}_{X}Z]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ce151ef322e8727038ae45f7707ab407ba60b01)
容易發現上面就是雅可比恆等式。這樣,就可以得到「裝備了李括號的M上的向量空間是李代數」的重要結果。
李導數和外導數密切相關,因此和埃里·嘉當的微分流形理論相關。
兩個都試圖給出導數的思想,其差別幾乎只是記號上的。這個區別可以通過引入反導數或等效的內積來消除。
這之後,兩者的關係就體現在一組恆等式上。
令M為一個流形,X為M上一個向量場。令
為一k+1-形式。
X和ω的內積為
![{\displaystyle i_{X}\omega (X_{1},\ldots ,X_{k})=\omega (X,X_{1},\ldots ,X_{k})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8071213b700bb1d72dfa75c1107da38bef213205)
注意
![{\displaystyle i_{X}:\Lambda ^{k+1}(M)\rightarrow \Lambda ^{k}(M)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c9da2ef3dd982f771251849473eb904dad680a70)
以及
是
-反導數。也就是,
是R-線性的,並且
![{\displaystyle i_{X}(\omega \wedge \eta )=(i_{X}\omega )\wedge \eta +(-1)^{k}\omega \wedge (i_{X}\eta )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ce5eeaaaf15cb5a42fb29d8ecc5abbed28cd5a37)
對於
和另一個微分形式η成立。另外,對於一個函數
,那是一個實或復值
的M上的函數,有
![{\displaystyle i_{fX}\omega =fi_{X}\omega }](https://wikimedia.org/api/rest_v1/media/math/render/svg/75d29a75cf47c6b82cea6f479f0bd152baab977e)
外導數和李導數的關係可以總結為以下這些。對於一般函數f,李導數就是外導數和向量場的內積:
![{\displaystyle {\mathcal {L}}_{X}f=i_{X}df}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b950989979e69f56a55bc0a80782f2b320dc632e)
對於一般的微分流形,李導數類似於內積,加上X的變化:
.
當ω為1-形式,上述恆等式經常寫作
![{\displaystyle d\omega (X,Y)=X(\omega (Y))-Y(\omega (X))-\omega ([X,Y]).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/399bd76b017a9702fb0fa4b7ff9584c17bfd3099)
導數的乘積是可分配的
![{\displaystyle {\mathcal {L}}_{fX}\omega =f{\mathcal {L}}_{X}\omega +df\wedge i_{X}\omega }](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa187c91131aba07dde476cffa435171c6e97643)
在微分幾何中,如果我們有一個
階可微張量場(我們可以把它當作餘切叢
的光滑截面
和切叢
的截面
的線性映射
),使得對於任何函數
有
),
而且如果進一步有一個可微向量場(也就是切叢的一個光滑截面)
,則線性映射
![{\displaystyle ({\mathcal {L}}_{A}T)(\alpha ,\beta ,\ldots ,X,Y,\ldots )\equiv \nabla _{A}T(\alpha ,\beta ,\ldots ,X,Y,\ldots )-\nabla _{T(\cdot ,\beta ,\ldots ,X,Y,\ldots )}\alpha (A)-\ldots +T(\alpha ,\beta ,\ldots ,\nabla _{X}A,Y,\ldots )+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5d9e553292156f131bbae961dadaabe89cc5570)
獨立於聯絡∇;只要它是無撓率的,事實上,這個映射是一個張量。這個張量稱為
關於
的李導數。
換句話說,如果你有一個張量場
和一個由向量場
給出的微分同胚的無窮小生成元,則
就是
在這個無窮小微分同胚下的無窮小變化。
或者,給定向向量場
,令ψ為
的積分曲線族,向上面那樣。注意ψ是一個局部單參數局部微分同胚群。令
為由ψ誘導的拉回(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.