涉及坐标变换的微分多项式在求和约定下的化简和标准型.pdfVIP

中国科学 A 辑 : 数学 2009 年 第 39 卷 第 4 期 : 471 ∼ 488 涉及坐标变换的微分多项式在求和约定下的 化简和标准型 刘姜 ∗, 李洪波, 曹源昊 中国科学院数学机械化重点实验室, 北京 100190 * E-mail: datouwawa113@ 收稿 日期: 2008-07-14; 接受 日期: 2008-09-09 国家重点基础研究发展计划 (编号: 2004CB318001) 资助项 目 摘要 在 n 维微分几何 中, 基本 的几何结构和性质常常用 Einstein 求和约定的带指标 函 数局部刻画. 这种 函数的符号计算虽然是计算机代数里最古老 的研 究课题之一, 但直到现 在也没有一个完全 的算法来判定涉及不 同坐标 系的两个指标 多项式是否相等. 这是计算机 代数里的一个挑战性问题. 本文针对一种典型的框架: 当涉及 的坐标变换矩阵的偏导不超过二次时 (例如普通 的 曲率和挠率的局部计算), 提 出了一个能消去指标 多项式中所有冗余指标 的消元算法, 以及 一个将指标 多项式化为标准型, 从而能完全判定两个指标 多项式是否相等的算法. 我们在 Maple10 中实现 了以上算法, 并用于研究微分几何 中的张量判定等坐标变换下的规律 问题. 关键词 n 维符号计算 求和约定 机器证 明 微分几何 张量判定 MSC(2000) 主题分类 68W30, 53-99 1 引言 在微分流形 的研究 中, 可微 的坐标变换是一个基本 的工具. 设微分流形 M n 在某点附近 1 n 1 n i j 有两个局部坐标卡 (x ,. . . ,x ) 和 (x ,. . . ,x ). 坐标变换的切映射是矩阵 (∂x /∂x )i,j=1,...,n. 一个 (r, s) 型张量 由它的分量在坐标变换下具有 r 阶反变和 s 阶协变的性质决定; 一个仿射 联络 由它的分量 Γi 在坐标变换下具有以下性质决定: kh i 2 i h k ∂x ∂ x ∂x ∂x Γi = Γi − . (1) k h kh ∂xi ∂xh∂xk ∂xh ∂xk (1) 式 中采用了 Einstein 求和约定: 在 同一个指标单项式 中, 如果一个指标出现了两次, 一次作为上指标, 另一次作为下指标, 则需要对这个指标所有 的可能值进行求和, 这样 的指 标称为哑指标, 否则称为 自由指标. 一个 自然 的符号计算 问题是: 给定两个不 同坐标系中的不 同形式 的带哑指标 的微分多 项式, 如何完全地判断它们是相等的？显然这是哑指标表达式 的一个基本问题. 指标表达式 引用格式: 刘姜, 李洪波, 曹源昊. 涉及坐标变换 的微分多项式在求和约定下 的化简和标准型. 中国科学 A, 2009, 39(4): 471–488 Liu J, Li H B, Cao Y H. Simplification and normalization of indexed differentials involving coordinate transformation. Sci China Ser A, 2009, 52, DOI: 10.1007/s11425-009-0005-y 刘姜等: