2 9 9 张量分析 第 十 章 本章将主要围绕Maple的张量分析工具包,向大家介绍如何用Maple解决数学、力学和理论物理中的张量分析问题。将主要介绍Maple的张量分析工具包中常用的张量运算函数。 本章具体包括以下内容: 张量数据类型 张量的输入输出 张量的代数运算 张量的导数 坐标变换 三 Maple V Release 5 起步与进阶 。300. 自从爱因斯坦1915 年发表著名的广义相对论以来,张量分析一直在理论物理领域起着无可替代的重要作用。而张量分析在物理学中的应用,又反过来推动着张量分析本身的发展。近几十年来,张量分析更是被广泛地应用到力学和数学的各个方面。 介于张量分析的广泛应用,Maple 中也加入了张量分析软件包tensor,本章将就这个软件包,介绍应用Maple 解决张量分析问题或者辅助张量分析研究的方法。 1 3 .1 张量数据类型 13.1.1 张量数据类型及其建立 Maple 中的张量分析软件包tensor 中包含张量运算的各种常用函数,它们所使用的数据类型也是一个专门的类型——tensor_type。从一般意义的复合数据类型上讲,tensor_type 是一个映射表,它包含有两个域,其一是分量域——compts,用来存储张量的各个分量;其二是指标域——index_char,用来指明对应的指标是协变指标(covariant index)或是逆变指标(contravariant index)。 举例来说,一个n 阶张量,它的分量域必须是一个n 维数组,而且必须是一个“方”的数组,就是说数组的每一维的分量个数必须相同。实际上,数组每一维的分量个数就是该张量所在空间的维数。 而它的指标域则必须是一个长度为 n 的一维数组,数组中的元素不是1 就是 – 1。如果第 i 个位置上是1,就表示张量的第 i 个指标是逆变指标;反之,则为协变指标。例如,一个4 阶张量的指标域是[-1, 1, 1, -1],这就表示张量的第 2 个和第 3 个指标是逆变指标(写成上指标),而第 1 个和第 4 个指标是协变指标(写成下指标)。 特别地,对于0 阶张量,也就是标量,指标域是一个空数组[ ],相应的分量域就是不是一个数组而仅仅是一个代数表达式了。 上面介绍的是张量数据类型的构成,在Maple 中,建立一个张量对象需要调用tensor工具包中的函数create,它的第一个参数是表明指标类型的数组,第二个参数就是张量分量的数组。 作为例子,我们用create 函数生成一个理论物理中的Schwarzschild 协变度量张量。它是一个二阶张量,首先载入tensor 工具...