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

§4 张量算法一、张量概念［张量的一般定义］若一^量有nN个分量，而每个分量在n维空间Rn中的坐标变换Xi = Xi （x 1，•…,XnJ （i= 1 , , n）之下，按下面的规律变化：Tj ••• j 三l1 •"in °Xj1空沁…竺乜.j.°xji 6xi1 Qxi” l1'"l,n式中Tk"是Xi的函数,* T是Xi，的函数则量 （共有nN个分量）称为l阶逆变（或抗变）mi…i i…i1 m i1…皤 1 m阶协变的N（=l + m）阶混合张量（或称为（l + m）型混合张量）.张量概念是矢量和矩阵概念的推广，标量是零阶张量，矢量是一阶张量，矩阵（方阵）是二阶张量，而三阶张量（例如T ）好比“立体矩阵"（图8.18右）.更高阶的张量不能用图形表达.jk下面列出 n=2 时的张量示意图：ThTr,\图U麻吐（Af = 3>丁 C标負矢屋矩阵⑷二2〉［张量举例］1 °可乘张量 设由逆变分量和协变分量所给定的两个矢量a, b是已知的，则由等式Tik = aibk,T = a b ,T. = aib ,T• = a bik i k k k k k确定的都是二阶张量，称为可乘张量.2°克罗内克尔符号 克罗内克尔符号5 i是一阶逆变一阶协变的二阶混合张量，这是j因为从込巴=5 idx1' dxJ j可得Oxi' 0xi51.=J Oxi OxJOxi' OxJ二 51.Oxi OxJ' J［二阶对称张量与反对称张量］ 若张量满足等式T = T , T ik = T ki , T i = T kik ki k i则分别称为二阶对称协变张量、二阶对称逆变张量和二阶对称混合张量.若张量满足等式T =— T , T ik =— T ki , T i =— T kik ki k i则分别称为二阶反对称协变张量、二阶反对称逆变张量和二阶反对称混合张量.张量的逆变（协变）指标的对称性质在坐标变换下是不变的.在三维空间中，二阶反对称张量与矢量等价.二、张量代数［指标的置换］ 指标置换是张量代数的最简单运算，利用它可作出新的张量.例如，通过指标置换，可由张量Tki得到新的张量Tik ,它的矩阵是张量Tki的矩阵的转置矩阵.［加（减）法］ 同类型的若干个张量的对应分量相加（或相减）就得到一个新的同类型张量的 分量，这种运算称为张量的加法（或减法）.任何二阶张量可分解为对称张量与反对称张量两部分.例如T =1（Tik 2 ik ki 2 ik ki［张量的乘法］ 把两个张量的分量按各种可能情形相乘起来，就会得到一个新张量的分 量.这个张量的逆变与协变的阶数分别等于原来两个张量的逆变与协变的阶数之和.这种运算称为张量的乘法.例如r ・・・r s ・・・ s r ・・・ rT 1 i 1 k —T 1 i p ・・・ p t ・・・ t p ・・・ p1 m 1 h 1 m・Ts…s1 i k t…t 1h这是一个l + k阶逆变m + h阶协变的混合张量，它的阶数为l + m + k + h.注意，张量乘法的次序是不可交换的.［张量的缩并］ 对一个给定的混合张量，把它的一个逆变指标与一个协变指标相等的相加起来，得出阶数较低（逆变和协变各低一阶）的张量，这种运算称为张量的缩并.例如s・・・sT 2 lq2・・・q2m是一个l- 1阶逆变m - 1阶协变的混合张量.s s・・・sT 1 2 ls q…q1 2 m［指标的升降］在应用中经常用二阶逆变张量aj CetO o）的相乘与缩并来“升高”张 量的协变指标，用二阶协变张量a JetC L 0）相乘与缩并来“降低”张量的逆变指标.这种 ij ij运算称为指标的升降•例如T就可由aij和a升降:ijijkaiiT — Ti ,ijk jkaiia jmT —T im ,ijk k［张量的商律］a jiT — T i ,ijk ikaiiakmT —T im ,ijk jT jk — a T ijk , T k — a a T ijk ,ii im ii jm和Ti严;各为一组xi和xi'的函数，如果对任意逆变矢量九i与九i'及 j1' ... jm'lm ilakiT = T iijk ijan a jmakpT — T impijkT — a a a T ijklmp il jm kp任一指标 j ， j ' 使 kkT ii.九jk与T […匚 九j ... j ... j 1 iJ、 J 1 J • • • -»1 k m j1 ... j ...j jk1 k m k成为张量，则Ts....必为张量•这种判别张量的法则称为张量的商律. j1・・・jm例如Tij与Ti'j'各为xi ， xi'的函数，而且kim k i mTj初—Tj九i兰空竺巴k'l'm' klm dxi dxj dxk' dxm，Tj九i' — Ti初空兰空竺也k 'i'm' kim Qxi' dxi QxJ dxk' dxm'N dxi' dxk dxl dxm、九 i' = 0Tij — T jk'l'm' klm 8xi dxi dxk' dxl' dxm'对所有的九i'都成立，所以上式括号中的表达式等于零，因此Tj是张量.klm以任意协变矢量代替逆变矢量可得相仿的结果.dxl dxk'dxadxa'Ti……k…［张量密度］ 按下面规律变化的量称为张量密度，式中w为一常数，称为张量密度的权•张量就是权为零的张量密度•根据张量的 阶数，还可以定义标量密度和矢量密度.两个指标的数目相同，且权相同的张量密度之和是一个同类型的张量密度.两个张量相乘 时，权相加.三、张量分析上述张量都假定它的分量是空间Rn中点M（xi）的函数：当点M（xi）在空间Rn中某一区域D中变动时，则称Ti-.叫是区域D中的一个张量场•上面所建J…j立的张量代数的各种运算，都可以应用到张量场上来.对于张量场还有一个不变的运算——绝对微分（也称为协变微分），这就是张量分析要讨 论的内容.一个标量场的普通导数是一个协变矢量场（梯度场）的分量.但是，一般说来，一个张量场 的普通导数并不构成新的张量场.［仿射联络空间］若对空间Rn中的每一坐标系，在一已知点M给定了一组（n3个）数 r k，并在坐标变换Xi'下，它们按下列规律变化匸二竺+型竺竺r.k dxl'dxi' dxk dxl' dxJ' dxk j则称在点M给定了一个联络对象(或联络系数)，其中偏导数是在点M取值的.假定在空间Rn中给定了联络对象场r k(M )=「klj lj而且这些函数是连续可微的，则称Rn为仿射联络空间，记作Ln.—般说来，r k r klj jl［挠率张量］(i)式中r k的变换规律包括两项：第一项不依赖于旧坐标系中的r k ；第二 lj lj项依赖于r k，并和张量的变换规律的形式完全相同•由于第一项对两个下标i', j'是对称的，lj它一般不等于零，所以r k不是一个张量.但是ijt k = r k — r kij ij ji构成一个张量，称为仿射联络空间Ln的挠率张量.如果挠率张量r k等于零，即ijrk = rk ij ji则称所给定的空间是无挠率的仿射联络空间，记作Ln.0［矢量的绝对微分与平行移动］若在空间Ln中给定一个逆变矢量则在坐标变换下• fal =Ox1'、aiIOxi 丿这构成矢量t i｝在点M的变换规律•如果从点M( x i)移到点N(xi + dxi)，则有a l + da l =‘Oxi 八®丿MMdx jl + dal )i + da iOxiOx j 丿M 式中dai表示矢量;i 从M移到N时的改变量的分量.在上式中只取一次项就得到da：'=dai +aidxj(3)若变换的二阶偏导数在 M 不等于零，则一个矢量的改变量决不是一个矢量的分量.如果Rn为仿射联络空间，可由(1),⑵,(3)式得到dai'+r A'aj'dxk'=仁 +r dxk)这表明Dai = da： +T ： ajdxkjkjk M若矢量ba i ｝等于零，即是—个逆变无穷小矢量•称Da：为矢量.J在点M处关于分量为dxi的位移MN的绝对微分•如 果联络对象(i ) = 0，则绝对微分与普通微分一致.D = dai +r 斡dxk =°就称矢量关于联络r i 从点M平行地移动到点N.当 ，分量ai保持不变(dai = 0)jk Mjk时，矢量从点M平行移动到点N,就相当于欧氏空间中的平行移动.如果给定一条曲线C和一个逆变矢量，沿这条曲线c可以作伴随于的矢量Daidaidtdtdxk+ r i aj - jk dt称它为沿曲线C的导矢量•如果・i ｝的导矢量为零，即(4)+ r iaj 此=0 dt jk dt则矢量ai自身沿曲线C平行地移动，(4)式与坐标系的选择无关，就是说，矢量沿曲线的平行 移动在坐标变换下是不变的.同样地可以考虑协变矢量仁｝的绝对微分与平行移动称Da 二 da -T i a dxkj j jk i为协变矢量Li ｝关于位移dxi的绝对微分•平行移动的条件为或沿曲线 C 平行移动的条件为da dx kj - T i a -dt jk i dt［协变导数］ 从逆变矢量与协变矢量的绝对微分的定义公式可以得到量daidxk+ rj/j 和daj- T i a. dx k jk i它们是关于指标k协变的二阶张量，分别称为矢量 U和｝的协变导数，分别记作ai和;kaj;k［张量的绝对微分与平行移动及其协变微分法］由乘积的微分公式和张量的定义可以推出张量的平行移动规律.例如，三阶张量的平行移动规律为dTl = C rTl +T rTl -T lTr hik is rk ks ir rs ik四阶张量的平行移动规律为dTlk 二 C rTIk + T rTlk 一 T I Trk 一 T kTlr ^dx$ij is rj js ir rs ij rs ij可以看出,张量平行移动规律中所包含的项数与张量的阶数是相同的, 对于张量的逆变指标,类似于逆变矢量平行移动的规律; 对于张量的协变指标, 类似于协变矢量平行移动的规律.记DTlk 二 dTlk 一 C rTlk + T rTlk 一T ITrk 一T kTlr ^dx$ij ij is rj js ir rs ij rs ij则称DJ为张量6的绝对微分.ij ij［张量的协变导数及其运算法则］dTikT lk = V T lk = H— — r rT lk ——r rT Ik + r IT rk + r kT lrdxsij；s s ij Rxs is rj js ir rs ij。