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

涉涉及及坐坐标标变变换换的的微微分分多多项项式式在在求求和和约约定定下下的的化化简简和和标标准准型型 刘姜, 李洪波 and 曹源昊 Citation: 中 科学A辑: 数学 39, 471 (2009); doi: 10.1360/za2009-39-4-471 View online: htt :///doi/10.1360/za2009-39-4-471 View Table of Contents: htt :/// ublisher/sc /journal/Sci Sin Math A2/39/4 Published by the 《中 科学》杂志社 Articles you may be interested in 实多项式方程有解的非标准判定 * Science in China Series A-Mathematics (in Chinese) 29, 807 (1999); 二阶多项式系统微分Galois理论的一个尝试与Möbius 变换可解子群 Science in China Series A-Mathematics (in Chinese) 37, 64 (2007); 基于非线性最小二乘估计-坐标变换的斜视InISAR 成像 SCIENTIA SINICA Technologica 42, 38 (2012); 带任意阶非完整约束的力学系统准坐标下的Mac-Millan型方程 Chinese Science Bulletin 32, 1279 (1987); 二阶两个自变数两个未知函数的常系数线性偏微分方程組的标准型 Chinese Science Bulletin 15, 1100 (1964); 中国科学 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