张量定义及算法

a j i a i i j和 jk ai jk a k k x x
它们是关于指标 k 协变的二阶张量，分别称为矢量 a i 和 a j 的协变导数，分别记作 a i ;k 和

a j ;k 或 k a i 和 k a j .
[张量的绝对微分与平行移动及其协变微分法] 由乘积的微分公式和张量的定义可以推出张量的平行移动规律. 例如，三阶张量的平行移动规律为
'iຫໍສະໝຸດ T ji1ijl1
k jm
jk 与 T i i
1 l
j1 jk jm jk


il 成为张量，则 Tji11 jm 必为张量.这种判别张量的法则称为张量的商律.
例如
与 Tkiljm 各为 x i ， x i 的函数，而且 Tkijl m
阶协变的 N(=l＋m)阶混合张量(或称为(l＋m)型混合张量). 张量概念是矢量和矩阵概念的推广，标量是零阶张量，矢量是一阶张量，矩阵(方阵)是
i 二阶张量，而三阶张量(例如 Tjk )好比“立体矩阵”(图 8.18 右).更高阶的张量不能用图形表达.
下面列出 n=2 时的张量示意图： [张量举例]
即
i j ij x k x l x m l ij x x Tk lm Tklm 0 x i x j x k ' x l x m
ij 对所有的 l 都成立，所以上式括号中的表达式等于零，因此 Tklm 是张量.
以任意协变矢量代替逆变矢量可得相仿的结果. [张量密度] 按下面规律变化的量
i
x j1 x jl x i1 x im j1 jl j j T i1im x 1 x l x i1 x im
N

j1 jl i1 im
jl 是 x i 的函数， 则量 Ti1j1 im (共有 n 个分量)称为 l 阶逆变(或抗变)m

x i i a i x i a M
这构成矢量 a i 在点 M 的变换规律.如果从点 M( x )移到点 N(x ＋dx )，则有
(2)
i i

i
x i 2 x i a da i i j x M x x


Da i da i dx k i jk aj dt dt dt
称它为沿曲线 C 的导矢量.如果 a i 的导矢量为零，即

da i dx k i jk aj 0 dt dt
i
(4)
则矢量 a 自身沿曲线 C 平行地移动，(4)式与坐标系的选择无关，就是说，矢量沿曲线的平行 移动在坐标变换下是不变的. 同样地可以考虑协变矢量 a i 的绝对微分与平行移动.称
ij l Tkiljm l Tklm
x i x j x k x m x i x j x k x m
则
ij l Tkiljm l Tklm
x l x i x j x k x m x l x i x j x k x m
§4
一、 张量概念
张量算法
[张量的一般定义] 若一个量有 n 个分量，而每个分量在 n 维空间 R 中的坐标变换
N
n
x i x i x1 , , x n
之下，按下面的规律变化：



(i= 1 , · · ·, n)
Ti j1i jl 1 m
jl 式中 Ti1j1 T im 是 x 的函数，
k Tijk ijk ji
构成一个张量，称为仿射联络空间 L 的挠率张量.如果挠率张量 ijk 等于零，即
n
ijk jik
则称所给定的空间是无挠率的仿射联络空间，记作 Ln 0. [矢量的绝对微分与平行移动] 有 若在空间 L 中给定一个逆变矢量 a i ，则在坐标变换下
n
i
n
立的张量代数的各种运算，都可以应用到张量场上来. 对于张量场还有一个不变的运算——绝对微分(也称为协变微分)，这就是张量分析要讨 论的内容. 一个标量场的普通导数是一个协变矢量场(梯度场)的分量.但是，一般说来，一个张量场 的普通导数并不构成新的张量场. n i 3 [仿射联络空间] 若对空间 R 中的每一坐标系(x )，在一已知点 M 给定了一组(n 个)数
Tlk
x l x k x a l k a Tlk x x x
w
称为张量密度，式中 w 为一常数，称为张量密度的权.张量就是权为零的张量密度.根据张量的 阶数，还可以定义标量密度和矢量密度. 两个指标的数目相同，且权相同的张量密度之和是一个同类型的张量密度.两个张量相乘 时，权相加.
i j a dx M
(3)
若变换的二阶偏导数在 M 不等于零，则一个矢量的改变量决不是一个矢量的分量. n 如果 R 为仿射联络空间，可由(1)，(2)，(3)式得到
x i i i j k da i jik a j dx k x i da jk a dx M
i i
i
dx j a i da i M


式中 da 表示矢量 a i 从 M 移到 N 时的改变量的分量. 在上式中只取一次项就得到

x i 2 x i da i da i x i x i x j M
1

可乘张量
设由逆变分量和协变分量所给定的两个矢量 a , b 是已知的，则由等式
i T ik a i b k , Tik ai bk , T.k a i bk , Tki ak b i
确定的都是二阶张量，称为可乘张量. 2

克罗内克尔符号
克罗内克尔符号 ij 是一阶逆变一阶协变的二阶混合张量，这是
ijk M ijk x1 , , x n
而且这些函数是连续可微的，则称 R 为仿射联络空间，记作 L .一般说来，
n n
ijk jik
[挠率张量] (1)式中 ijk 的变换规律包括两项：第一项不依赖于旧坐标系中的 ijk ；第二
项依赖于 ijk ，并和张量的变换规律的形式完全相同.由于第一项对两个下标 i , j 是对称的， 它一般不等于零，所以 ijk 不是一个张量.但是
ijk ，并在坐标变换
x i x i x i
下，它们按下列规律变化
ik j

(1)
2 x k x k x i x j x k k i j k i j k ij x x x x x x
则称在点 M 给定了一个联络对象(或联络系数)，其中偏导数是在点 M 取值的. n 假定在空间 R 中给定了联络对象场
sl s2 sl Tqs2q Tss1 q q
2 m 1 2 m
是一个 l－1 阶逆变 m－1 阶协变的混合张量. [指标的升降] 在应用中经常用二阶逆变张量 a ij det a ij 0 的相乘与缩并来“升高”张

量的协变指标，用二阶协变张量 aij det aij 0 相乘与缩并来“降低”张量的逆变指标.这种 运算称为指标的升降.例如 Tijk 就可由 a 和 aij 升降：
[张量的商律] 任一指标 jk， j k' 使
' ' 1 m
k Tlm ail a jmT ijk , Tlmp ail a jm akpT ijk
i1 il il i i i 设 Tji11 jm 和 Tj ' j ' 各为一组 x 和 x 的函数，如果对任意逆变矢量 与 及
Tik Tki , T ik T ki , Tki Ti k
则分别称为二阶反对称协变张量、二阶反对称逆变张量和二阶反对称混合张量. 张量的逆变(协变)指标的对称性质在坐标变换下是不变的. 在三维空间中，二阶反对称张量与矢量等价.
二、 张量代数
[指标的置换] 指标置换是张量代数的最简单运算，利用它可作出新的张量.例如，通过
i i 就称矢量 a i 关于联络 jk 从点 M 平行地移动到点 N.当 jk



M
0 ，分量 a 保持不变(da = 0)
i
i
时，矢量从点 M 平行移动到点 N，就相当于欧氏空间中的平行移动. 如果给定一条曲线 C i i x =x (t) 和一个逆变矢量 a i ，沿这条曲线 C 可以作伴随于 a i 的矢量
r1 rl s1 s k r1 rl s1 s k Tp p t t T p p Tt t
1 m 1 h 1 m 1 h
这是一个 l＋k 阶逆变 m＋h 阶协变的混合张量，它的阶数为 l＋m＋k＋h. 注意，张量乘法的次序是不可交换的. [张量的缩并] 对一个给定的混合张量，把它的一个逆变指标与一个协变指标相等的相 加起来，得出阶数较低(逆变和协变各低一阶)的张量，这种运算称为张量的缩并.例如
因为从
x i x i ij i j x x
可得
ij
x i x i x i x j i j x i x j x i x j
[二阶对称张量与反对称张量]
若张量满足等式
Tik Tki , T ik T ki , Tki Ti k
则分别称为二阶对称协变张量、二阶对称逆变张量和二阶对称混合张量.若张量满足等式
三、 张量分析
上述张量都假定它的分量是空间 R 中点 M(x )的函数：
il i1 il i Tji11 jm Tj1 jm x
n
i

il 当点 M(x )在空间 R 中某一区域 D 中变动时，则称 Tji11 jm 是区域 D 中的一个张量场.上面所建
i Da j da j jk ai dx k

为协变矢量 a i 关于位移 dx 的绝对微分.平行移动的条件为
i da j jk ai dx k 0

i
或沿曲线 C 平行移动的条件为
da j dt
[协变导数]
i jk ai
dx k 0 dt
从逆变矢量与协变矢量的绝对微分的定义公式可以得到量
指标置换，可由张量 T ki 得到新的张量 T ik ，它的矩阵是张量 T ki 的矩阵的转置矩阵. [加(减)法] 同类型的若干个张量的对应分量相加(或相减)就得到一个新的同类型张量的 分量，这种运算称为张量的加法(或减法). 任何二阶张量可分解为对称张量与反对称张量两部分.例如 1 1 Tik Tik Tki Tik Tki 2 2 [张量的乘法] 把两个张量的分量按各种可能情形相乘起来，就会得到一个新张量的分 量.这个张量的逆变与协变的阶数分别等于原来两个张量的逆变与协变的阶数之和.这种运算 称为张量的乘法.例如
l a il Tijk T jk , l a jl Tijk Tik ,

ij
a klTijk Tijl
a il a jmTijk Tklm , a il a kmTijk T jlm , a il a jm a kpTijk T lmp Tl jk ail T ijk ,
这表明
i Dai da i jk a j dx k


是一个逆变无穷小矢量.称 Da 为矢量 a i 在点 M 处关于分量为 dx 的位移 MN 的绝对微分.如
i 果联络对象 jk
i

i

M
0 ，则绝对微分与普通微分一致.
若矢量 Da i 等于零，即
i Dai da i jk a j dx k =0