张量分析3

  • 格式:doc
  • 大小:939.50 KB
  • 文档页数:10

34 2.9 克里斯托弗尔符号

在基矢量组1g,2g,3g中把jig按下式分解

pijpjigg (2.9.01)

pijpjigg (2.9.02)

这里分解系数ijp和pij分别称为第一类和第二类克里斯托弗尔(Christoffel)符号。在某些文献中,第一类和第二类克里斯托弗尔符号分别用pij,和ijp表示。

用kg和kg分别点乘式(2.9.01)和式(2.9.02)两边,则得

kjiijkkpijpkpijpgggg (2.9.03)

kjiijkgg (2.9.04)

现述克里斯托弗尔符号的性质如下。

(1)克里斯托弗尔符号不是张量。

现以kij为例加以说明,设两个坐标系iy和 'iy间的变换系数为iiA和Aii',于是

kkkjjjikjikjiAAgggg

'''''''''

kjkkkjjikjikkjjAAAAggggg'

''''''



''''''kjjjikjiiikkjjAAAAAgg



' '''''kjjjikijkkjjiiAAAAA (2.9.05)

由于上式中右边第二项的存在,说明kij不是张量。同样,可证ijk也不是张量。

(2)ijk和kij关于指标i和j对称。

事实上,由于 kjikjikjiijkgpgPgg,, (2.9.06)

kijijkgP, (2.9.07)

根据偏导数的性质,ijji,,PP,故有ijkjik。同样地,ijkjik。

(3)ijk和kij的指标可用度量张量升降。

事实上, ijrkrrjikrrkrjikjikijggggggggg (2.9.08)

同样地,

rijkrijkg (2.9.09)

(4)在直线坐标系中,

0ijk,0kij (2.9.10)

事实上,因为在斜角和直角坐标系中基矢量ii和ie均为常量,故0ijk和0kij。

(5)克里斯托弗尔符号可用度量张量表示。

事实上,由于

kjikijjkijikjikkijggggggg, (2.9.11)

对指标进行轮换,则有

ikjijkijkg, (2.9.12)

jikjkijkig, (2.9.13)

把式(2.9.12)和式(2.9.13)相加,再减去式(2.9.11),则得

kjijkiijkijkggg,,,21 (2.9.14)

另外,

rijjriijrkrijrkrkijggggg,,,21 (2.9.15)

(6) girirlog (2.9.16)

事实上,由式(2.8.36)知,321gggg,故有

321gggiig

321321321gggggggggiii

rrirrirriggggggggg213312321

32gggrrir

grir (2.9.17)

由此可得

gggiirirlog (2.9.18)

(7)由于kjklgg,故有

0jkikjikjigggggg (2.9.19)

于是 35 kijjkigg (2.9.20)

pjipjigg (2.9.21)

2.10 协变导数逆变导数

在曲线坐标系下,哈密顿算子定义为

rrg (2.10.01)

1.协变导数

设T为任意张量,则T构成新的张量,称为T的梯度。为简单起见,现以kjiijkTgggT为例给出它的梯度的并矢形式如下:

kjiijkttTggggT

ktjikjtikjitijkkjiijkttTTggggggggggggg

pjiktpkpiptjkjpptiijkkjiijkttTTggggggggggggg

kjitijpptkipkjtppjkitpijktTTTTgggg

kjitijktTgggg (2.10.02)

其中

ijpptkipkjtppjkitpijktijktTTTTT (2.10.03)

称为张量ijkT的协变导数。在某些文献中,有的把协变导数写成

tijkijktTT; (2.10.04)

tijkijktTT (2.10.05)

不难证明下列结果:

0ijtg,0ijtg,ijt,tijk0,0ijkt (2.10.06)

可见,度量张量和爱丁顿张量对于t或t有如常数可以移进或移出于其内或外。

对于矢量a,这是特殊情形。此时,我们可写出

kkiiagga pkipkkkiiaaggg

kipikpkiaagg

kikiagg (2.10.07)

这里

kippkiikikkiaaaaa; (2.10.08)

称为协变矢量ka的协变导数。

另一方面,我们也可以写出

kkiiagga

ppikkkkiiaaggg

kikippkiaagg

kikiagg (2.10.09)

这里

kippkiikkikiaaaaa; (2.10.10)

称为逆变矢量ka的协变导数。

2.逆变导数

由于协变导数的指标是张量指标,故可应用逆变度量张量把它的指标升高而得到逆变导数如下:

ijktrijkrTgT (2.10.11)

2.11 不变性微分算子

任意张量T(为书写简单起见,以三阶混合张量为例)在曲线坐标系下的不变性微分算子定义如下。

1.梯度

kjirijkrTgradggggTT (2.11.01)

2.散度

kjrjkrTdivggTT (2.11.02)

若T为矢量a,则由式(2.10.10)知 36 prrprrrraaa (2.11.03)

考虑到式(2.9.16),则有

pprrrrrragaaalog;

rragg,1 (2.11.04)