4.6Riemann-Christoffel张量(曲率张量).pptVIP

* 张量分析 及连续介质力学 4.6 Riemann-Christoffel 张量(曲率张量) 4.6.1 Euclidean 空间与 Riemann 空间 Euclidean 空间是指 Euclidean 几何学能够成立的空 间。例如：平面、平面经等距变换而成的可展曲面（如 圆柱面、圆锥面等）都是三维 Euclidean 空间的二维子 空间，在其上，Euclidean 几何学仍然适用。 对于 Euclidean 空间，必定存在一个适用于全空间 的笛卡儿坐标系，其他的坐标系与此笛卡儿坐标系满足 一一对应的坐标转换关系。 在 Euclidean 空间中可以定义两个矢量的点积： 两点距用连接两点的矢量 u 的模定义： 度量张量实体 G = gijgi gj 是常张量，但一般 gij 是随点变化的。 只有在全空间采用直线坐标系时，在空间每个点处 gij= const， 使得 笛卡儿坐标系是直线坐标系的一个特例，此时gij= ?ij， 。 Riemann 空间是 Euclidean 几何学不能成立的空间。例 如：球面是三维 Euclidean 空间的二维子空间，但在其上， Euclidean 几何学不再适用：球面上三角形三内角之和大于 180o。 二维的Riemann 空间（除柱面、锥面外的一般曲面）是 三维 Euclidean 空间的子空间，曲面上的点可以用三维Euc- lidean 空间中的坐标 ( x1，x2，x3 ) 的参数方程表达为 ? ? 1，? 2 ? 称为Gauss 坐标，xi 是 ? ? 的单值函数。 切平面 ? ? 1 ? 2 d? ds P ( ? 1，? 2 ) Q ( ? 1+d? 1，? 2+d? 2 ) 曲面上相邻两点之间的距离的平方 式中 ds2 是与坐标无关的标量，aab 是一个正定二次型，称为 曲面的第一基本型系数。对于这种距离的平方 ds2 的由一个正 定二次型决定的空间，定义为 Riemann 空间。Euclidean 空间 本身也是一中特殊的 Riemann 空间。 对于一个 m 维的 Riemann 空间，必定有一个 维的 Euclidean 空间包容它，使 m 维的 Riemann 空间是嵌入 n 维 Euclidean 空间的一个子空间。 在 Riemann 空间中，一般来说找不到一个适用于全空间的 笛卡儿坐标系（即其度量张量的分量 gij 不一定能通过一种线性 变换变为gk?l?=const），即找不到一个坐标系使 。 4.6.2 Euclidean 空间应满足的条件 给定一组曲线坐标系 xi，从而得到它的度量张量 gjk 及 全部（共18个） ，寻找一组新坐标系 使满足 方程的可积性条件就是空间是否为 Euclidean 空间的条件。 若在上式中固定 i?，j?，考察 l ? =1，2，3 三个方程，令 可以看作是 的一组（三个）齐次线性代数方程组 新老坐标系一一对应，故应满足行列式 则 上式中 是坐标 x p(yi ?) 的函数，故表示了一组18个 x p 对于 yi ? 的非线性微分方程组。这组方程的可积性条件是 x p 对 yi ? 混合偏导数与求导次序无关，此时这18个方程彼此是协调的。 即 因此可积性条件可以写作 代入可积性条件 可积性条件可写成 用同样的方法（运用三次），由上式求证得可积性条件是 定义 称为 Rieann-Christoffel 张量（曲率张量）。 是 Euclidean 空间任一曲线坐标系都应满足的条件。 对于二维曲面，则是检验该曲面是否为可展曲面的条件。 对于可变形固体，在变形前属于 Euclidean 空间，满足 变形后仍应满足此式，此式是固体变形的协调条件。 4.6.3 证明 是张量分量 设任意矢量函数 其梯度为 设 T 的梯度为 式中，S－S T 是三阶张量，a 是矢量，根据商法则，R 是四 阶张量。 在 Euclidean 空间，R=0，S=ST ，则 而在 Riemann 空间 4.6.4 Riemann-Christoffel 张量的性质 Riemann-Christoffel 张量的81个（三维空间）或16个 （二维空间）分量并非完全独立。 式中 代入得 上式表明，Riemann-Christoffel 张量 R 可以通过度量张量及 其导数表示，这些分量不全是相互独立的。张量 R 具有以下 性质： 即81个分量中，有27个分量（i = j 时）为零，其余54个分量 中