《CES04向量微分形式.docVIP

该部分内容取自： 0/jpkcgc/aao_53/index.jsp 微分形式介绍 (一) 微分形式问题的提出 我们已经学习过四个微积分的重要公式: Newton-Leibniz公式 Green公式, Gauss公式和 Stokes公式 它们都反映了类似的规律： 函数(或者向量函数)的“微分”在 区域上的“积分”, 可以用函数(或者向量函数)在该区域边界上的“积分”来表示。当然，这里的微分与积分，都是有特定定义的，因而我们加上了引号。 既然四个公式反映了类似规律，那么能否将这四个公式统一起来? 解决这些问题需要引进“微分形式”这一工具. 系统地讨论微分形式需要较深的代数和拓扑知识. 所以这里我们只是在的范围中以尽可能通俗的方式叙述微分形式的积分,并且特别注意联系已经学过的知识. (二) 流形及其定向 在三维空间中,我们给曲线、曲面和区域一个统一的名称：“流形”. “一维流形” 指满足一定条件的曲线(包括直线); “二维流形” 指满足一定条件的曲面(包括平面); “三维流形” 指中满足一定条件的区域. 流形都是有向的. 其定义是前面关于曲线、曲面和区域定向的一般化。 (1) 对于曲线.设曲线有参数方程: , 其中三个函数都是连续可微的,并且满足条件 在这个条件下,曲线在其上每个点都有非零的切向量. 规定就是曲线在这点处切线的正方向, 或者说确定为曲线的正向；这就意味着：参数增加方向确定了曲线正方向。 这时，弧微分向量 : (2) 对于曲面, 设有向曲面有参数方程 , 其中三个函数都是连续可微的,并且满足条件 则曲面在其上每点都有单位法向量 其中 今规定是的正向法向量, 或者说确定为曲面的正向； 这就意味着：参数增加方向确定了曲岛正方向。 这时，曲面的面微分向量: == = 其中 这里, 记: , , 记号表作“外积”. (3) 对于空间区域，我们也由变换的参数方程 , 定向：其体微分是一个有正负的标量： = (三) 微分形式及其外积 微分形式 设有函数：, 向量函数：, 在一维流形: , 上有零次和一次微分形式: 一维流形零次微分形式就是上的可微函数 . 称函数在上可微, 是指的函数 在上可微. (2)一维流形上有三个基本的一次微分形式,. 而上的一次微分形式的一般形状是 给定曲线参数方程后, 由 确定。其中都是上的可微函数. 二维流形: , 上有零次,一次和二次微形式. (1) 零次和一次微分形式与一维流形上类似，只是此时相应的函数取在二维流形上。可微也是指相应函数在上作为的函数,在相应区域可微. (2) 二维流形上有三个基本的二次微分形式: , , 错误！未定义书签。上二次微分形式的一般形状为 其中都是上的可微函数. 空间区域, , 有零次、一次、二次和三次微分形式. 其中零到二次微分形式与上述定义类似. 基本的三次微分形式为. 它的值等于 . 三次微分形式的一般形状是 . 其中是给定域上的可微函数. 外积 微分形式的外积“”是一种满足如下性质的代数运算：设 是任意的三个微分形式： (i)结合律成立，即 (ii)分配律成立，即 ,; (iii)反称性：对基本的一次微分形式有: ,,, ,,。 由二次微分形式的定义,反称性是显然的: 在二维流形上,一次微分形式的外积为 对于任意两个一次微分形式 由分配律得到 =+ + = =- (四) 外微分运算 对微分形式我们定义一种微分运算,称为外微分.微分形式的外微分记作. 对于零次微分形式(即可微函数),其外微分就是通常的全微分 对于一,二,三次微分形式的外微分定义是, 保持与等不动,只对于微分形