自由曲面坐标系ostrogradskii-gauss公式.docVIP

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