三、    张量分析

    上述张量都假定它的分量是空间Rn中点M(xi)的函数:

当点M(xi)在空间Rn中某一区域D中变动时,则称是区域D中的一个张量场.上面所建立的张量代数的各种运算,都可以应用到张量场上来.

    对于张量场还有一个不变的运算——绝对微分(也称为协变微分),这就是张量分析要讨论的内容.

    一个标量场的普通导数是一个协变矢量场(梯度场)的分量.但是,一般说来,一个张量场的普通导数并不构成新的张量场.

    [仿射联络空间]  若对空间Rn中的每一坐标系(xi),在一已知点M给定了一组(n3),并在坐标变换

下,它们按下列规律变化

                            (1)

则称在点M给定了一个联络对象(或联络系数),其中偏导数是在点M取值的.

    假定在空间Rn中给定了联络对象场

而且这些函数是连续可微的,则称Rn为仿射联络空间,记作Ln.一般说来,

    [挠率张量]  (1)式中的变换规律包括两项:第一项不依赖于旧坐标系中的;第二项依赖于,并和张量的变换规律的形式完全相同.由于第一项对两个下标是对称的,它一般不等于零,所以不是一个张量.但是

构成一个张量,称为仿射联络空间Ln的挠率张量.如果挠率张量等于零,即

则称所给定的空间是无挠率的仿射联络空间,记作.

    [矢量的绝对微分与平行移动]  若在空间Ln中给定一个逆变矢量,则在坐标变换下有

                                    (2)

这构成矢量在点M的变换规律.如果从点M( x i)移到点N(xidxi),则有

式中dai表示矢量M移到N时的改变量的分量.

    在上式中只取一次项就得到

                             (3)

若变换的二阶偏导数在M不等于零,则一个矢量的改变量决不是一个矢量的分量.

    如果Rn为仿射联络空间,可由(1)(2)(3)式得到

这表明

是一个逆变无穷小矢量.Dai为矢量在点M处关于分量为dxi的位移MN的绝对微分.如果联络对象,则绝对微分与普通微分一致.

    若矢量等于零,即

=0

就称矢量关于联络从点M平行地移动到点N.,分量ai保持不变(dai = 0)时,矢量从点M平行移动到点N,就相当于欧氏空间中的平行移动.

    如果给定一条曲线C

x i = x i ( t )

和一个逆变矢量,沿这条曲线C可以作伴随于的矢量

称它为沿曲线C的导矢量.如果的导矢量为零,即

                                                     (4)

则矢量ai自身沿曲线C平行地移动,(4)式与坐标系的选择无关,就是说,矢量沿曲线的平行移动在坐标变换下是不变的.

    同样地可以考虑协变矢量的绝对微分与平行移动.

为协变矢量关于位移dxi的绝对微分.平行移动的条件为

或沿曲线C平行移动的条件为

    [协变导数]  从逆变矢量与协变矢量的绝对微分的定义公式可以得到量

它们是关于指标k协变的二阶张量,分别称为矢量的协变导数,分别记作.

    [张量的绝对微分与平行移动及其协变微分法]

    由乘积的微分公式和张量的定义可以推出张量的平行移动规律.

    例如,三阶张量的平行移动规律为

四阶张量的平行移动规律为

可以看出,张量平行移动规律中所包含的项数与张量的阶数是相同的, 对于张量的逆变指标, 类似于逆变矢量平行移动的规律; 对于张量的协变指标, 类似于协变矢量平行移动的规律.

则称为张量的绝对微分.

    [张量的协变导数及其运算法则]

称为张量的协变导数,它是一个五阶张量的分量.

    在普通导数中,对于已微分的张量的每个指标再加上一项就可以构成任意张量的协变导数,对于逆变指标,这项的形式是

对于协变指标是

    协变导数的运算法则如下:

    1  若干个同样结构的张量之和的协变导数等于各个张量的协变导数之和,即

    2  满足积的微分法则,即

    [自平行曲线]  在仿射联络空间中,如果切于曲线上一点M0的每个矢量沿这曲线平行移动时是切于这曲线的,则称这曲线为自平行曲线.

    设曲线的方程为xi=xi(t), 它的切矢量为,它沿曲线平行移动的条件为

这就是联络的自平行曲线的微分方程.

上面的微分方程可写成

系数显然关于jk是对称的,并构成一个仿射联络.构成伴随于的对称仿射联络,如果关于j , k也是对称的,则一致.