有向域上积分的外微分算法.pdfVIP

_______________________________________________________________________________ 有向域上积分的外微分算法 1 2 曹维玺 曹剑光 （1.长安大学理学院 西安710064；2.中国科学院研究生院 北京100039） [摘 要] 本文给出在n 维空间积分形式的转换原理与各种积分统一的变量替换公式， 开辟了用外微分理论进行积分计算的新途径。 [关键词] 转换原理，替换公式，有向域，积分，外微分，机械化算法。 0 ． 引言 19 世纪末，H.Poincare 指出多重积分的体积元应有一个正负定向，导致了外微分形式的出现，使微积 分基本定理到多变量的推广步入坦途。1899 年，E．Cartan 首先明确地定义了外微分形式、外微分等；1922 年，他十分明确地写出了外微分形式的Stokes 公式。微积分经过创立、严格化到外微分形式，向统一性、高 维化发展。到目前，用外微分形式进行积分计算还不够完善。由于外积运算的反对称性有别于乘法的交换律， 所以形成外微分形式的积分与普通微分形式的积分之间的鸿沟。本文给出n 维空间两种积分形式的转换原理， 并定义了外导数，构造了各种积分的统一表示及变量替换公式，开辟了用外微分理论进行积分计算的新途径。 1．基本概念 （1）．我们约定本文中的函数（包括表示区域的函数）都有k (1 k n) 价连续偏导数；区域均指可定 向区域。记Ok1 为k+1 维闭区域； OK 是Ok1 的边界，是k 维区域。 （2）定义微分之间的一种乘法运算，称为外积，用符号 表示，其满足反交换律：dx dy dy dx ， 则有交错性： dx dx 0. （3）．设i , i ,..., i 都是正整数，1 i i ... i n ，I 是k 元有序组{i , i ,..., i }，称I 为递增 1 2 k 1 2 k 1 2 k k- 指标，记dxI dxi dxi ... dxi 。 在 n 维空间R n 中，k (k 1) 次外微分形式是和式 1 2 k w a (x )dx ，其外微分是 ( ) 。 I I dw daI x dxI I I (x ,y ) （4）设变换T：x x (u, v) , y y (u, v). J 0. (u ,v ) 则 dx dy Jdu dv . （I） （I）式说明向量dx dy 与du dv 线性相关。当J 0( 0) 时，二向量同向（反向），T 是保向（反向） 作者：曹维玺. 通信地址：710064 西安市长安大学本部南院124信箱。 电话：029 E-mail:a5261171@ - 1 - _______________________________________________________________________________中国科技论