流形上的散度公式证明和计算实例.DOCVIP

流形上的散度公式证明和计算实例 杨科 中国 成都 610017 028E-mail: more2010e@ 摘 要: 用符号逻辑的方式,证明在无穷多个任意参数曲面坐标系[包括单连通曲面坐标系和复连通曲面坐标系]散度公式的存在,将曲面积分和三重积分推广到无穷多个任意参数曲面坐标系,实现任意曲面积分和任意空间区域三重积分,实现流形上的散度公式和流形积分,实现向量场(电场、磁场、流体场、引力场等)和数量场在任意自由空间区域的积分计算. 关键词: 向量场 数量场 自由参数曲面坐标系 单连通曲面坐标系 复连通曲面坐标系 流形上的散度公式 流形积分 证明 计算实例 中图分类号：O17/O412.3 引言 通用的第一型曲面积分[数量场曲面积分]和第二型曲面积分[向量场曲面积分]的计算,多是采用空间直角坐标系投影法(包括Остроградский-Gauss公式和Stokes公式的证明). 其基本思路是将三维欧氏空间区域中的曲面积分,转化为某一直角坐标平面上的二重积分,以间接的方式达到目的. 空间直角坐标系投影法(简称投影法)的缺陷是明显的: 第一,积分曲面在某一坐标平面的投影区域不能有重叠,这就决定了积分曲面只能是非常简单的函数曲面; 在现实世界和物理、工程领域更为普遍存在复杂参数曲面, 投影法则无能为力; 第二,投影法通常要求积分曲面具有某种对称性(点对称、轴对称和面对称等[2]), 计算诸如以三维坐标原点为中心的球面上侧、下侧、左侧、右侧曲面类型的简单曲面积分,再乘以某一常数, 得到整个球面的积分值; 在现实世界和物理、工程领域更为普遍存在的不对称、不规则曲面, 用投影法(或者有限差分法、有限元法等[18])计算非常繁琐, 在绝大多数情况下不能计算[1][2][3][4][5][6][7][8][9]; 第三,因不同积分曲面的几何差异,投影的方向、投影的次数千差万别[尤其是分面投影法].有100实例,就可能有100种投影方案.计算过程不可能标准化、模块化,不利于电子计算机编程; 第四,不论积分曲面复杂程度,投影法实际计算过程普遍繁琐; 第五,在物理、数学分析领域至关重要的Остроградский–Gauss公式,Stokes公式(在某种意义上也包括Green公式),投影法几乎没有直接计算实例(即使有,也是极个别的特例,没有代表性. 如正方体、长方体表面外观的闭合“曲面”[12][13][15][16][17], 数条正方体不同表面截线段围成的闭合“曲线”[12][13][15][16],平面“x+y+z=1”与三个直角坐标平面的相交三角形构成的闭合“曲线”[12][13][14][15][16]等). 通常的思路是, 先用符号逻辑的方式证明在直角坐标系中三大公式的存在,然后是如何应用这三大公式简化计算. 非常遗憾、困惑的是,没有这三大公式的丰富而 在球面坐标系,有向量场参数曲面积分[13]、球体空间区域三重积分[即通过三阶Jaccobi行列式变量变换]; 在极坐标系,有平面区域二重积分[即通过二阶Jaccobi行列式变量变换]等计算方法[12][13][14][16][17]. 但是存在下列问题: 第一,在球面坐标系内, 向量场闭合曲面积分与数量场闭合空间区域三重积分彼此孤立, 没有通过散度公式关联,并且两者的计算结果不能相互验证; 第二,向量场闭合曲面积分与数量场闭合空间区域三重积分局限于正交曲线坐标系[即球面坐标系和柱面坐标系][12][13][14][16][17]或广义球面坐标系[14],没有扩展到无穷多个任意参数曲面坐标系; 第三,在极坐标系内, 向量场环路积分与数量场平面区域二重积分彼此孤立, 没有通过Green公式关联, 并且两者的计算结果也不能相互验证; 第四,数量场[二元函数]闭合平面区域二重积分局限于正交曲线坐标系[即极坐标系][11], 没有扩展到无穷多个任意单连通闭合曲线坐标系. 基于上述问题,探索用符号逻辑的方式,证明在无穷多个任意参数曲面坐标系[包括单连通曲面坐标系(即任意单连通可定向闭合曲面坐标系和球面坐标系)和复连通曲面坐标系(即环面坐标系)]散度公式的存在,将曲面积分和三重积分推广到无穷多个任意参数曲面坐标系,实现任意曲面积分和任意空间区域三重积分,实现流形上的散度公式和流形积分,实现向量场(电场、磁场、流体场、引力场等)和数量场在任意自由空间区域的积分计算. 1.1流形上的散度公式证明: 散度公式 设空间闭区域Ω是由光滑或分片光滑的闭曲面S围成,函数 P(x,y,z),Q(x,y,z),R(x,y,z) [构成向量场A] 及其偏导数在空间闭区域Ω上连续,则