李导数

✍ dations ◷ 2025-04-03 11:02:33 #微分几何,黎曼几何,二元运算,导数的推广

在微分几何中,李导数(Lie derivative)是一个以索甫斯·李命名的算子,作用在流形上的张量场,向量场或函数,将该张量沿着某个向量场的流做方向导数。因为该作用在坐标变换下保持不变,因此,该李导数在一般的流形上都是定义良好的。

所有李导数组成的向量空间对应于如下的李括号构成一个无限维李代数。

李导数用向量场表示,这些向量场可看作上的流(flow, 也就是时变微分同胚)的无穷小生成元。从另一角度看,上的微分同胚组成的群,有其对应的李导数的李代数结构,在某种意义上和李群理论直接相关。

李导数有几种等价的定义。在本节,为简便起见,我们用标量场和向量场的李导数的定义开始。李导数也可定义在一般的张量上,如后面的章节所述。

李导数的定义可以从函数的微分开始。这样,给定一个函数 f : M R {\displaystyle f:M\rightarrow \mathbb {R} } 上的向量场 , 在点 p M {\displaystyle p\in M} 的微分。也就是, d f : M T M {\displaystyle df:M\rightarrow T^{*}M} (在中的点)的微分和向量场(在点)的内积。

或者,可以先表明上的光滑向量场定义了一个上的单参数曲线族。也就是,可以表明存在曲线 γ ( t ) {\displaystyle \gamma (t)} 上使得

其中 p = γ ( 0 ) {\displaystyle p=\gamma (0)} 中的点成立。这个一阶常微分方程的解的存在性由皮卡-林德洛夫定理给出(更一般的,这种曲线的存在性是弗罗贝尼乌斯定理给出)。然后可以定义李导数为

第三个可能的定义可以通过先定义一对向量场的李括号给出。首先注意到切空间的基向量可以写为 x a {\displaystyle {\frac {\partial }{\partial x^{a}}}} 的李导数等于和的李括号,也就是,

根据上面任选的一个定义,其他的定义可被证明为其等价形式。例如,可以证明,对于一个可微函数,

并且

我们用在1-形式 ω = ω a d x a {\displaystyle \omega =\omega _{a}dx^{a}} 上的函数组成的代数。则

是一个在代数 F ( M ) {\displaystyle {\mathcal {F}}(M)} 上的向量场的集合:

也可写为等价形式

其中张量积符号 {\displaystyle \otimes } 上的向量空间是李代数”的重要结果。

李导数和外导数密切相关,因此和埃里·嘉当的微分流形理论相关。两个都试图给出导数的思想,其差别几乎只是记号上的。这个区别可以通过引入反导数或等效的内积来消除。这之后,两者的关系就体现在一组恒等式上。

令为一个流形,为上一个向量场。令 ω Λ k + 1 ( M ) {\displaystyle \omega \in \Lambda ^{k+1}(M)} +1-形式。和ω的内积为

注意

以及 i X {\displaystyle i_{X}} 上的函数,有

外导数和李导数的关系可以总结为以下这些。对于一般函数,李导数就是外导数和向量场的内积:

对于一般的微分流形,李导数类似于内积,加上的变化:

当ω为1-形式,上述恒等式经常写作

导数的乘积是可分配的

在微分几何中,如果我们有一个 ( p , q ) {\displaystyle (p,q)} 阶可微张量场(我们可以把它当作余切丛 T M {\displaystyle T^{*}M} 的光滑截面 α , β , {\displaystyle \alpha ,\beta ,\ldots } 和切丛 T M {\displaystyle TM} 的截面 X , Y , {\displaystyle X,Y,\ldots } 的线性映射 T ( α , β , , X , Y , ) {\displaystyle T(\alpha ,\beta ,\ldots ,X,Y,\ldots )} ),使得对于任何函数 f 1 , , f p , f p + 1 , , f p + q {\displaystyle f_{1},\ldots ,f_{p},f_{p+1},\ldots ,f_{p+q}}

而且如果进一步有一个可微向量场(也就是切丛的一个光滑截面) A {\displaystyle A} ,则线性映射

独立于联络∇;只要它是无挠率的,事实上,这个映射是一个张量。这个张量称为 T {\displaystyle T} 关于 A {\displaystyle A} 的李导数。

换句话说,如果你有一个张量场 T {\displaystyle T} 和一个由向量场 U {\displaystyle U} 给出的微分同胚的无穷小生成元,则 L U T {\displaystyle {\mathcal {L}}_{U}T} 就是 T {\displaystyle T} 在这个无穷小微分同胚下的无穷小变化。

或者,给定向向量场 U {\displaystyle U} ,令ψ为 U {\displaystyle U} 的积分曲线族,向上面那样。注意ψ是一个局部单参数局部微分同胚群。令 ψ {\displaystyle \psi ^{*}} 为由ψ诱导的拉回(pullback)。则张量 T {\displaystyle T} p {\displaystyle p} 点的李导数如下

相关

  • 顺行性遗忘症顺行性遗忘症(英语:Anterograde amnesia)是一种失忆症,与忘记发病前事物的逆行性遗忘症不同,此病病患会遗忘患病后发生的事物。很大程度上来说,人们对于记忆的机理研究得不是很透
  • 达特穆尔达特穆尔是(Dartmoor)英格兰德文郡中部穆尔兰的一个地区,面积368平方英里(953平方公里),是一个受保护的国家公园。花岗岩高地的历史可以追溯到地质时代的石炭纪。穆尔兰被很多暴露
  • 永康县坐标:28°53′27″N 120°02′33″E / 28.89083°N 120.04250°E / 28.89083; 120.04250永康市位于中华人民共和国浙江省中部。三国吴时置永康县,1992年撤县设市。目前隶属于
  • 山河狸科山河狸(学名:Aplodontia rufa)是一种生活在北美洲太平洋沿岸山地的啮齿类动物,山河狸科(Aplodontiidae)中现存唯一的一种,可能是最原始的一种啮齿动物。山河狸喜欢凉爽潮湿的环境,善
  • 讽刺与幽默《讽刺与幽默》是中华人民共和国的一份周报,由人民日报社主管,环球时报社主办。《讽刺与幽默》也是中国大陆创刊最早的漫画报纸,是迄今中国大陆持续时间最长的漫画刊物。《讽刺
  • 1983年苏联核警报误报事件1983年9月26日,苏联的核子预警雷达侦测到多枚美国空军的LGM-30义勇兵洲际弹道导弹从美国的基地发射。这些导弹攻击警告被一位苏联国土防空军的军官斯坦尼斯拉夫·彼得罗夫判
  • 街头强迫推销街头强迫推销是发生在街头的,以慈善、爱心、宗教为名的强迫式推销和募捐,有时是拥有组织性的,往往是一种欺骗和犯罪行为。在台湾的街头上经常发生一种强暴式推销乱象。此一现象
  • 亚历山大·彼得罗维奇·卡尔平斯基亚历山大·彼得罗维奇·卡尔平斯基 (俄语:Алекса́ндр Петро́вич Карпи́нский;1847年1月7日–1936年7月15日) 是俄罗斯/前苏联著名的地质学家、
  • 玛蕾特·阿尼玛蕾特·阿尼(爱沙尼亚语:Maret Ani,1982年1月31日-),爱沙尼亚女子职业网球选手,现在居住于爱沙尼亚塔林,生涯单打最高排名为63(2008年5月15日)。她是曾青少年的篮球冠军,她14岁开始打
  • 弗兰克·卢卡斯弗兰克·卢卡斯(英语:Frank Lucas,1930年9月9日-2019年5月30日)是一名美国毒品商人,1960年代末至1970年代初活跃于哈林区。他以绕过中间商直接从金三角购入海洛因的商法闻名。卢卡