自由平面坐标系Green公式证明和计算实例.docVIP

自由平面曲线坐标系Green公式证明和计算实例 杨科 四川 成都 610017 028E-mail: HYPERLINK mailto:more2010e@ more2010e@ 摘 要: 用符号逻辑的方式,证明在无穷多个任意平面曲线坐标系[包括正交曲线坐标系和非正交曲线坐标系]Green公式的存在,将二重积分推广到无穷多个任意平面曲线坐标系,实现任意平面区域二重积分, 实现向量场(平面静电场、平面磁场、平面流体场等)和数量场(二元函数)在任意自由平面的积分计算. 关键词: 向量场 数量场 自由平面曲线坐标系 Green公式 证明 计算实例 中图分类号：O17/O412.3 1.1自由平面曲线坐标系[广义极坐标系]Green公式证明: Green公式 设平面有界闭区域S的边界曲线L由有限条光滑或分段光滑的曲线所组成,如果函数P(x,y),Q(x,y) [构成平面向量场A] 在平面有界闭区域S上具有一阶连续偏导数,则 (1) 证明: 定义边界曲线L的参数表达式 [a cos(t),b sin(t)] (2), 其中a,b为任意非零常数或一阶可导连续函数(以t为自变量的三角函数)表达式;设定参数t的变化范围[0,2], 使边界曲线L闭合. (参见Poincare猜想:任何与n维球面同伦的n维闭合流形必定同胚于n维球面) [8] 计算平面向量场A在边界曲线L的环路积分: (3) 将边界曲线L的参数表达式(2)中的符号t改换为u;再通乘以向径r(设定r0),将x,y轴方向的曲线坐标参数转化为平面区域坐标参数: [ra cos(u),rb sin(u)] (4) 定义并计算偏导数矩阵M,获取平面有界闭区域S微元系数的一般表达式: M = = = abr (5) 将平面向量场A的微分函数由直角坐标形式转变为自由平面区域坐标形式: (6) 平面向量场A的微分函数(6)与平面有界闭区域S微元的乘积对参数r,u的二重积分: (7) = 即(3)式=(7)式: 亦可表述为 (1), 证毕 1.2极坐标系Green公式证明: Green公式 设平面有界闭区域S的边界曲线L由有限条光滑或分段光滑的曲线所组成,如果函数P(x,y),Q(x,y) [构成平面向量场A] 在平面有界闭区域S上具有一阶连续偏导数,则 (1) 证明: 定义边界曲线L的参数表达式 [cos(t),sin(t)] (2), 设定参数t的变化范围[0,2],使边界曲线L闭合. 计算平面向量场A在边界曲线L的环路积分: = (3) 将边界曲线L的参数表达式(2)中的符号t改换为u;再通乘以向径r(设定r0),将x,y轴方向的圆弧坐标参数转化为圆面区域坐标参数: [r cos(u),r sin(u)] (4) 定义并计算偏导数矩阵M,获取平面有界闭区域S微元系数的一般表达式: M = = = r (5) 将平面向量场A的微分函数 由直角坐标形式转变圆面区域坐标形式: (6) 平面向量场A的微分函数(6)与平面有界闭区域S微元的乘积对参数r,u的二重积分: (7) 即(3)式=(7)式: = 亦可表述为 (1), 证毕 1.3自由平面曲线坐标系[广义极坐标系]Green公式证明 [Maple 11计算机代数系统格式] 符号表达系统: 任意平面闭合曲线CO, 平面向量场PV,平面向量场PV的微分函数dPV1,dPV2, 平面闭合曲线CO圈围的平面区域S,平面区域S微元系数的一般表达式J restart; # 系统复位 with(linalg): # 加载线性代数符号分析库 CO:=[a*cos(t),b*sin(t)]; # 定义任意平面参数曲线CO,其中a,b为任意非零常数或一阶可导连续函数(以t为自变量的三角函数)表达式. [8] rgt:=[0,2*Pi]; # 设定参数t的变化范围,使任意平面参数曲线CO闭合 PV:=[(P)(x,y),(Q)(x,y)]; # 定义任意平面向量场PV(该平面向量场在包含参数曲线CO的平面区域具有一阶连续偏导数) Diff(PV[2],x)-Diff(PV[1],y);dPV:=%; # 对任意平面向量场PV求导,其结果为二元(数量)函数dPV1 x:=CO[1];y:=CO[2]; Int(PV[1]*Diff(CO[1],t)+PV[2]*Diff(CO[2],t),t=rgt[1]..rgt[2]); # 平面向量