来自当知百科
跳转到: 导航搜索

  微分几何中研究张量场的微分运算的一个分支。它提供了微分几何研究中的一种重要工具。黎曼几何就是在张量分析的基础上发展起来的。

  在了解了张量的定义及其代数运算后,人们自然地要对张量场的微分进行研究。然而,将 (r,s)型张量场在局部坐标系下的分量求导后一般并不能得到一个(r,s+1)型张量场。为了能得到一个(r,s+1)型张量场,就必须在普通导数的基础上加上一定的补偿项。设 (r,s)型张量场K的分量为2007112101ooq.gif,令

2007112102oow.gif

式中Г2007112103ooe.gif称为联络系数,它在坐标变换xi=xi(塣)下的变换规则是

2007112104oor.gif

于是2007112105oot.gif满足(r,s+1)型张量的变换规则

2007112106ooy.gif

也把2007112107oou.gif记为2007112108ooi.gif,因此墷l是一个算子,它把(r,s)型张量场K变成一个(r,s+1)型张量场墷K,称墷K为张量场K的协变微分,称墷lK为K关于变量xl的协变导数。例如,对反变向量(即一阶反变张量)场2007112109ooo.gif

2007112110oop.gif

对协变向量场(即一阶协变张量场)2007112111ool.gif

2007112112ook.gif

对一阶反变、一阶协变张量场2007112113ooj.gif

207112114ooh.gif

  一般地说,算子墷k与墷l不可交换,墷kl与墷lk的差与联络的曲率、挠率有关。由此可导出一系列有用的恒等式,如里奇恒等式等,这些恒等式及各种协变导数之间的相互关系就形成了张量分析的主要内容。例如当ƒ,ξ,α分别为数量场、反变向量场及协变向量场时,它们满足下列关系:

2007112115oog.gif

式中

2007112116oof.gif

分别是联络Г2007112117ood.gif的挠率张量和曲率张量。特别,当挠率为零时,有

2007112118oos.gif

称这些公式为里奇恒等式。

  在黎曼流形中联络Г2007112119ooa.gif常取为列维-齐维塔联络,这时,Г2007112120oom.gif就是第二类克里斯托费尔记号。

2007112121oon.gif

式中gij是黎曼度量张量的分量。当欧氏空间中采用笛卡儿直角坐标系时,{2007112122oob.gif}=0,这时协变微分就化成为普通微分。

  微分几何中一些重要的微分算子在局部坐标系下可用协变导数表达出来。如向量场2007112123oov.gif的散度为

2007112124ooc.gif

式中g=det(gij)。如α为p形式,则α 的外微分dα及伴随外微分δα分别为

2007112125oox.gif

式中“∧”表示缺掉相应的指标。因而拉普拉斯算子Δ=dδ+δd的表示式为

2007112126ooz.gif

式中2007112127oqo.gif。当p=0时,即对数量场ƒ,有 

2007112128owo.gif

作用在数量场ƒ上的算子

20071121129oeo.gif

称为第二类贝尔特拉米微分算子。有Δ2ƒ=-Δƒ。作用在数量场ƒ上的第一类贝尔特拉米微分算子Δ1

2007112130oro.gif
个人工具
名字空间

变换
查看
操作
导航
工具箱