张量分析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'
''''''
''''''kjjjikjiiikkjjAAAAAgg
' '''''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的指标可用度量张量升降。
事实上, ijrkrrjikrrkrjikjikijggggggggg (2.9.08)
同样地,
rijkrijkg (2.9.09)
(4)在直线坐标系中,
0ijk,0kij (2.9.10)
事实上,因为在斜角和直角坐标系中基矢量ii和ie均为常量,故0ijk和0kij。
(5)克里斯托弗尔符号可用度量张量表示。
事实上,由于
kjikijjkijikjikkijggggggg, (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)知,321gggg,故有
321gggiig
321321321gggggggggiii
rrirrirriggggggggg213312321
32gggrrir
grir (2.9.17)
由此可得
gggiirirlog (2.9.18)
(7)由于kjklgg,故有
0jkikjikjigggggg (2.9.19)
于是 35 kijjkigg (2.9.20)
pjipjigg (2.9.21)
2.10 协变导数逆变导数
在曲线坐标系下,哈密顿算子定义为
rrg (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)
不难证明下列结果:
0ijtg,0ijtg,ijt,tijk0,0ijkt (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)