第八章矢量算法与场论初步张量算法与黎曼几何初步SECTION4.

1、蛍张量算法、张量概念张量的一般定义若一个量有nN个分量，而每个分量在n维空间Rn中的坐标变换xi xi x1, , xn （i= 1 , , n）之下，按下面的规律变化：xji T Ji Jixi1 imx JixJlxJlxi1XimTi1叮1式中T.Jii Jl是xi的函数，TiJiiJl是xi的函数，则量T.JiiJl （共有nN个分量）称为I阶逆变（或抗变）m1 mi i i m1 m阶协变的N（=l + m）阶混合张量（或称为（I + m）型混合张量）.张量概念是矢量和矩阵概念的推广，标量是零阶张量，矢量是一阶张量，矩阵（方阵）是二阶张量，而三阶张量（例如Tjk）好比“立体矩阵”（图

2、8.18右）更高阶的张量不能用图形表达.下面列出n=2时的张量示意图：FT, Tt；7；张量举例可乘张量设由逆变分量和协变分量所给定的两个矢量a , b是已知的，则由等式Tikaibk，Tk3ibk,T.kaibk,Tkiakbi确定的都是二阶张量，称为可乘张量2 克罗内克尔符号克罗内克尔符号j是一阶逆变一阶协变的二阶混合张量，这是因为从IIxxi xx可得i i xxjxxjx x ij jx x二阶对称张量与反对称张量若张量满足等式TikTki，Tik Tki,TkT/则分别称为二阶对称协变张量、二阶对称逆变张量和二阶对称混合张量若张量满足等式TikTki,Tik Tki,TkiTk则分别

3、称为二阶反对称协变张量、二阶反对称逆变张量和二阶反对称混合张量张量的逆变（协变）指标的对称性质在坐标变换下是不变的在三维空间中，二阶反对称张量与矢量等价、张量代数指标的置换指标置换是张量代数的最简单运算，利用它可作出新的张量 例如，通过 指标置换，可由张量Tki得到新的张量Tik，它的矩阵是张量Tki的矩阵的转置矩阵.加（减）法同类型的若干个张量的对应分量相加（或相减）就得到一个新的同类型张量的 分量，这种运算称为张量的加法（或减法）.任何二阶张量可分解为对称张量与反对称张量两部分例如11Tik 匚 TikTki 匚 Tik 丁总22张量的乘法把两个张量的分量按各种可能情形相乘起来，就会得到一

4、个新张量的分量这个张量的逆变与协变的阶数分别等于原来两个张量的逆变与协变的阶数之和这种运算T r 1 rI s1 skt r1 r 1T S1 skPlPmt1 th P1 Pm “1 th称为张量的乘法.例如这是一个I + k阶逆变m+ h阶协变的混合张量，它的阶数为I + m+ k+ h.注意，张量乘法的次序是不可交换的.张量的缩并对一个给定的混合张量，把它的一个逆变指标与一个协变指标相等的相加起来，得出阶数较低（逆变和协变各低一阶）的张量，这种运算称为张量的缩并.例如T s2T S|S2 slG qm （心2 qm是一个II阶逆变mI阶协变的混合张量.指标的升降在应用中经常用二阶逆变张量

5、ajdetaj 0的相乘与缩并来“升高”张量的协变指标，用二阶协变张量aij det aj0相乘与缩并来“降低”张量的逆变指标.这种运算称为指标的升降.例如Tijk就可由aij和aij升降:iIIa T ijk T jk ,iI jmIma aTijkTk,aTjk,T|jkjlIklIa T ijk T ik ,a T ijk T jiI kmIm iI jm kpImpa aTjkTj , a a a TjkTTmaiI a jmT, Tmp aiI a jma kpT张量的商律和T：1 j1各为一组和xi的函数，如果对任意逆变矢量i与i及j1 jm任一指标jk， jk使成为张量，则Tj

6、jI必为张量.这种判别张量的法则称为张量的商律例如Tkijm与Tkjm各为xi，xiTkIm则的函数，而且I TjijkmI X XXx1 kImijkmXXXXTj IIijkmXXXXXkImIijkmXXXXXi j k l m x x x x x对所有的都成立，所以上式括号中的表达式等于零，因此 丁监是张量.以任意协变矢量代替逆变矢量可得相仿的结果张量密度按下面规律变化的量称为张量密度，式中W为一常数，称为张量密度的权张量就是权为零的张量密度根据张量的 阶数，还可以定义标量密度和矢量密度两个指标的数目相同，且权相同的张量密度之和是一个同类型的张量密度两个张量相乘时，权相加.三、张量分析

7、上述张量都假定它的分量是空间 Rn中点M（x）的函数:ii ilj1 jm-il il j 1 j m当点M&）在空间Rn中某一区域D中变动时，则称Tj I是区域D中的一个张量场.上面所建立的张量代数的各种运算，都可以应用到张量场上来对于张量场还有一个不变的运算一一绝对微分（也称为协变微分），这就是张量分析要讨 论的内容.一个标量场的普通导数是一个协变矢量场（梯度场）的分量.但是，一般说来，一个张量场 的普通导数并不构成新的张量场仿射联络空间若对空间Rn中的每一坐标系（x），在一已知点M给定了一组（n3个）数kij ，并在坐标变换下，它们按下列规律变化2 kXiX XkX-kXi j kXXX

8、 k -ij k ijXXX则称在点M给定了一个联络对象(或联络系数)，其中偏导数是在点M取值的.假定在空间Rn中给定了联络对象场kk 1nij M j x , ,x而且这些函数是连续可微的，则称 Rn为仿射联络空间，记作Ln.般说来,kkijji挠率张量(1)式中jk的变换规律包括两项:第一项不依赖于旧坐标系中的kj ；第项依赖于,，并和张量的变换规律的形式完全相同.由于第一项对两个下标i ,j是对称的,它一般不等于零，所以；不是一个张量.但是kkT ij ijk ji构成一个张量，称为仿射联络空间Ln的挠率张量.如果挠率张量jk等于零，即kkijji则称所给定的空间是无挠率的仿射联络空间，

9、记作L；.矢量的绝对微分与平行移动若在空间Ln中给定一个逆变矢量 ai ，则在坐标变换下iXi aX M这构成矢量ai在点M的变换规律.如果从点M( xi)移到点N(xi + dxi)，则有ii . iXa da-X M2 i式中dai表示矢量ai从M移到N时的改变量的分量.在上式中只取一次项就得到dada2 iXi jX XadxjM若变换的二阶偏导数在M不等于零，则一个矢量的改变量决不是一个矢量的分量如果Rn为仿射联络空间，可由(1)，(2),式得到dai；k aj dxkdaiMjkajdxk这表明Dai daijk aj dxk是一个逆变无穷小矢量称Dai为矢量ai在点M处关于分量为d

10、xi的位移MN的绝对微分.如果联络对象jk M 0，则绝对微分与普通微分一致若矢量Dai等于零，即Dai daijikajdxk=0就称矢量ai关于联络jk从点M平行地移动到点N.当jk M 0，分量ai保持不变(dai = 0) 时，矢量从点M平行移动到点N,就相当于欧氏空间中的平行移动.如果给定一条曲线Cxi = x(t )和一个逆变矢量ai ，沿这条曲线C可以作伴随于ai的矢量i . i. kDa da i j dxjk adt dtdt称它为沿曲线C的导矢量.如果ai的导矢量为零，即dadti j dxk jk adt则矢量ai自身沿曲线C平行地移动,(4)式与坐标系的选择无关，就是说

11、，矢量沿曲线的平行移动在坐标变换下是不变的同样地可以考虑协变矢量 ai的绝对微分与平行移动.称Daj dajjkaidxk为协变矢量ai关于位移dx1的绝对微分.平行移动的条件为dajjkaidxk 0或沿曲线C平行移动的条件为协变导数从逆变矢量与协变矢量的绝对微分的定义公式可以得到量oajikkaJ 和 kjkaixkjkx它们是关于指标k协变的二阶张量，分别称为矢量o和aj的协变导数，分别记作ai；k和aj；k 或 kai 和ka j .dajdtdxk70张量的绝对微分与平行移动及其协变微分法由乘积的微分公式和张量的定义可以推出张量的平行移动规律例如，三阶张量的平行移动规律为dTk四阶张

12、量的平行移动规律为dTjlkr lk is T rjr lk js T irl rk rs T ijk IrJ dx可以看出，张量平行移动规律中所包含的项数与张量的阶数是相同的，对于张量的逆变指标类似于逆变矢量平行移动的规律；对于张量的协变指标，类似于协变矢量平行移动的规律记DTjlk dTjlk则称DTjIk为张量Tjlk的绝对微分.r lk r lk is T rjjs T irl rk rs T ijk lrrs、dx张量的协变导数及其运算法则TlkIkIk 1 ij1 ij ；s sT ijsxr Ik is I rjl rkk lrrs T ijrs I ij称为张量T；的协变导数，它是一个五阶张量的分量在普通导数中，对于已微分的张量的每个指标再加上一项就可以构成任意张量的协变导 数，对于逆变指标，这项的形式是iTr rsksT rTi ；s对于协变指标是T k ;s协变导数的运算法则如下:若干个同样结构的张量之和的协变导数等于各个张量的协变导数之和，即sTi1；： uj：；”|ii i|STjl jmSU jl I满足积的微分法则，即s ABCsA BC A sB CAB sC自平行曲线在仿射联络空间中，如果切于曲线上一点Mo的每个矢量a0沿这曲线平行移动时是切于这曲线的，贝U称这曲线为自平行曲线dx i设曲线的方程为xi=xi，它的切矢量