流形上的Green公式证明和数值模型 [附件1 分析和说明].doc

附件1流形上的Green公式证明和数值模型 分析和说明杨科中国 成都摘 要:Green公式是现代数学、物理体系的核心公式之一13456789.传统的Green公式证明逻辑体系, 建立了基于 (平面) 直角坐标系的二重积分与环路积分的公式关联. 但是基于(平面)直角坐标系的二重积分存在诸多明显的缺陷(例如计算过程繁琐、非标准化, 不适用于不对称、不规则的平面有界闭区域等), 以致于物理、工程领域的许多重要问题二维化的解决途径,均建立在直角坐标系或其它坐标系的偏微分方程组求解基础上.一个多世纪以来的数学、物理和工程实践已经证明,通过简单的直角坐标系积分、 直角坐标系或其它坐标系的偏微分方程组, 难于甚至不能获得关于复杂几何对象(流形)的解析解、数值解;传统的流形微积分学,用外微分形式推导出Green公式, -Gauss公式,Stokes公式,乃至关于n维空间积分的广义Stokes公式11,即但是这类用外微分形式推导出的公式只具有抽象的理论意义,并没有揭示积分的具体实现过程,更无具体数值模型可言;本稿件通过建立与具体几何对象(流形)匹配的个性化坐标系(即有什么样的几何形体,就建立什么样几何形体的坐标系,使用什么样几何形体的微元系数; 而不再依赖于已有的少数几个直角坐标系、极坐标系、 广义极坐标系及其相关微元系数等), 用积分以及和式极限的方法, 证明Green 公式在无穷多个任意参数曲线 (流形)坐标系 单连通闭合曲线坐标系(基于Poincare猜想)的存在, 使Green公式超越传统的直角坐标系框架, 建立基于个性化微元系数的二重积分与平面环路积分之间的新公式关联,并且在无限丰富、绚丽的公式数值模型运算中实现两种类型积分相互验证, 确立基于个性化微元系数的二重积分方法的理论逻辑依据和数值模型.证明流形上的Green 公式本身不是唯一目的,建立基于个性化微元系数的二重积分与平面环路积分之间的新公式关联,确立基于个性化微元系数的二重积分方法的理论逻辑依据和数值模型是根本目的.本稿件相关的数值模型表明,使用基于个性化微元系数的二重积分方法,能够获得关于复杂几何形体 流形 尤其是不对称、不规则平面有界区域的解析积分值或任意精度浮点积分值;实现任意平面有界闭区域二重积分,实现向量场(平面电场、平面磁场、平面流体场等)和数量场(平面电位场、平面温度场等) 在任意自由平面区域及其边界闭合路径的精确积分计算,确立两种类型积分的逻辑关联关系, 实现流形上的Green公式和工程意义上的流形积分.关键词:微积分学 拓扑学 物理学 Poincare猜想 向量场 数量场(平面)单连通闭合曲线坐标系 流形上的Green公式 证明 数值模型 和式极限基于个性化微元系数的二重积分方法基于个性化微元系数的二重积分与平面环路积分之间的新公式关联 解析积分值 任意精度浮点数积分值 工程意义上的流形积分中图分类号：O17/O412.3目录引言 证明的前提条件-(平面)单连通闭合参数曲线坐标系的建立. 21.流形上的Green公式证明 .72.流形上的Green公式数值模型. 11数值模型2.1 .11数值模型2.2 .14总结 . 20参考书籍. 21引言 证明的前提条件-(平面)单连通闭合参数曲线坐标系的建立 (一)考察证明的对象-Green公式:Green公式 设平面有界闭区域S的边界曲线L由有限条光滑或分段光滑的曲线所组成,如果函数P(x,y),Q(x,y) 构成平面向量场A 在平面有界闭区域S上具有一阶连续偏导数,则在公式的定义中,强调平面有界闭区域S的边界曲线L必须是闭合曲线.在传统的直角坐标系Green公式证明中,”抽象闭合曲线L”是这样定义的:抽象闭合曲线由a,b,y=1(x),y=2(x) 或 x=1(y),x=2(y),c,d的四个边界值限定.(参见高等数学(第六版)(下册) 同济大学数学系 高等教育版 2007 P142-145)也就是说,Green公式客观上要求,不论在平面直角坐标系,或者在其它坐标系,被证明的相关曲线必须具有两种属性:(1)单连通性;(2)闭合性. 离开传统的平面直角坐标系,怎样刻画抽象的、具有普遍意义的”单连通闭合曲线”并且进一步建立” 单连通闭合曲线坐标系”? 并没有现成的答案.Poincare猜想19断定任何与n维球面同伦的n维闭合流形必定同胚于n维球面,在Green 公式涉及的二维欧氏空间, 对应的判断为任何单连通1维闭合流形必定同胚于1维球面(即圆周).也就是说, 根据Poincare 猜想, 在Green公式涉及的二维欧氏空间, 任何单连通闭合曲线,不论其几何外观如何千变万化,必定有同胚于”圆周”这一普遍属性.进一步的问题自然是”在二维欧氏空间,能否根据Poincare 猜想这一普遍属性,定义单连通闭合曲线的抽象的、普遍意义的表达式?” 这也正是本 ”引言2” 讨论的中心内容.在平面解析几何学中, 上述1维球面(圆周)的参数表达式为 cos(t),sin(t),其中参数t的变化范围0,2*Pi(在严格意义上,该参数表达式是”1维球面”在”平面直角坐标系”和”极坐标系”之间的转换式;”1维球面”在极坐标系的表达式是常数1). 在拓扑学领域,同胚的定义为两个流形,如果可以通过弯曲、延展、剪切等操作把其中一个变为另一个，则认为两者是同胚的;从解析几何学和拓扑学的角度再理解Poincare猜想,既然1维球面的参数方程为cos(t),sin(t),其中参数变化范围t0,2*Pi, 则其变形a cos(t),b sin(t),t0,2*Pi(其中a,b为任意非零常数)即为任意椭圆的参数方程.在二维欧氏空间,任意椭圆皆同胚于圆周,这是拓扑学的常识,无需讨论.如果a,b为任意一阶可导连续函数,又可能出现怎样的情况? 参见下列图形:图例1:假设任意待定系数a = cos(2*t)+2*sin(t)/3, b = sin(3*t)/3,则目标参数曲面a*cos(t),b*sin(t) (其中t0,2)为(cos(2*t)+2*sin(t)/3)*cos(t), sin(3*t)/3*sin(t)(其中t0,2),其实际参数图形为:图例1 由待定系数a,b输入一阶可导连续函数,输出(平面)曲线呈非单连通闭合状态与”Poincare猜想”及”流形上的Green公式”讨论的内容无关图例2:假设任意待定系数a= cos(t-1)+sin(9*t-2)/12,b= sin(t-1)-cos(t),则目标参数曲面a*cos(t),b*sin(t) (其中t0,2)为(cos(t-1)+sin(9*t-2)/12)*cos(t),( sin(t-1)-cos(t)*sin(t)(其中t0,2),其实际参数图形为:图例2 由待定系数a,b输入一阶可导连续函数输出(平面)曲线呈单连通闭合状态可以作为”Poincare猜想”及”流形上的Green公式”讨论的对象实验数据从原始现象表明,同样属于参数曲线a cos(t),b sin(t),t0,2*Pi,因待定系数a,b的不同取值, 一部份曲线属于单连通闭合曲线,一部分曲线则例外.也就是说,参数曲线a cos(t),b sin(t),t0,2*Pi存在两种情况: (1)在待定系数a,b为任意非零常数的情况下,参数曲线为椭圆(自然同胚于圆周);(2)在待定系数a,b为任意一阶可导连续函数的情况下,参数曲线可以为单连通闭合曲线(同胚于圆周),也可以为非单连通闭合曲线(不同胚于圆周).进一步的问题自然是”在参数曲线a cos(t),b sin(t),t0,2*Pi模式中, 能否通过某种定义将非单连通闭合曲线(不同胚于圆周)的情况排除? (二)设定”任意曲线”为一集合, 则”任意单连通闭合曲线” 是前者的子集合. Poincare猜想是这一子集合的属性, 本论文”流形上的Green公式证明” 及其”和式极限证明” 则讨论Green公式是否适用于这一子集合. Poincare猜想为用参数方程方法描述”任意单连通闭合曲线”的某种属性(即”同胚于1维球面圆周”这一属性)提供了实现途径.基于上述情况,将无数具体的(平面)单连通闭合曲线抽象化为一个统一的表达式:a cos(t),b sin(t),t0,2*Pi(其中待定系数a,b也不能任意指定,而必须服从曲线的”单连通闭合”的拓扑学属性)也就是说, 如果待定系数a,b能够任意指定,则目标曲线a cos(t),b sin(t),t0,2*Pi可能是”单连通闭合曲线”,也可能不是;如果预先设定目标曲线 a cos(t),b sin(t),t0,2*Pi 本身就是”单连通闭合曲线”,则待定系数a,b就不能任意指定了.从几何意义解释上述现象 - 在平面直角坐标系, 圆周 (即cos(t),sin(t),t0,2*Pi) 沿x,y轴两个方向任意连续变化( 即a cos(t),b sin(t),t0,2*Pi,其中待定系数a,b 为任意一阶可导连续函数),不一定产生单连通闭合曲线;反过来, 在平面直角坐标系, 任一单连通闭合曲线 - 必定由圆周( 即 cos(t),sin(t),t0,2*Pi) 沿x,y轴两个方向连续变化而成(也必定能够沿x,y轴两个方向连续变回圆周)-Poincare猜想为依据.例如, 正方形、三角形也可以被视为单连通闭合曲线-但是正方形、三角形难于甚至不能用参数方程描述-但是不能否认,根据Poincare猜想, 正方形、三角形必定同胚于圆周,必定由圆周(即cos(t),sin(t),t0,2*Pi)沿x,y轴两个方向连续变化而成(也必定能够沿x,y 轴两个方向连续变回圆周); 根据Poincare猜想, 正方形、三角形同样可以用a cos(t),b sin(t),t0,2*Pi参数模式描述.用a cos(t), b sin(t),t0,2*Pi 模式描述抽象的、具有普遍意义的单连通闭合曲线, 实际上是用Poincare猜想来描述单连通闭合曲线的某种内在结构和属性(即同胚于圆周这一属性),为进一步的公式推导设定一个恰当的前提条件.在实际操作层面,用Plot指令属于Waterloo Maple计算机代数系统指令绘画出某一(平面)参数曲线, 必须在直观视觉上判定该曲线是否单连通闭合曲线以后, 才能决定是否适用于流形上的Green公式数值模型;从参数表达式本身无法判断曲线是否为单连通闭合曲线. “(平面)参数曲线是否为单连通闭合曲线”的决定因素在拓扑学领域而不在解析几何领域;单凭解析几何的参数方程方法并不能够推导、演绎出某一(平面)曲线的单连通闭合属性. (三)a cos(t), b sin(t),t0,2*Pi只是基于Poincare猜想定义的抽象的、普遍意义的单连通闭合曲线表达式,不属于坐标系;抽象单连通闭合曲线坐标系为r a cos(t),r b sin(t),r0,t0,2*Pi,其中r为向径,a,b为待定系数(因为a,b既可以为非零常数,也可以为一阶可导连续函数),具有不确定性.实际上,抽象单连通闭合曲线表达式 a cos(t), b sin(t),t0,2*Pi 与椭圆表达式a cos(t), b sin(t),t0,2*Pi 在形式上是完全一致的,只是两者对待定系数a,b的解释不同: 前者将a,b解释为任意非零常数或一阶连续可导函数(非任意,受曲线的单连通闭合属性限制)”,而后者将a,b解释为只是任意非零常数;故抽象单连通闭合曲线坐标系与直角坐标系的对应关系是x=r*a cos(t), y= r*b sin(t)(与椭圆坐标系-直角坐标系转换式是相同的).1.流形上的Green公式证明:Green公式 设平面有界闭区域S的边界曲线L由有限条光滑或分段光滑的曲线所组成,如果函数P(x,y),Q(x,y) 构成平面向量场A 在平面有界闭区域S上具有一阶连续偏导数,则 (1)证明:定义任意单连通闭合曲线L的参数表达式 a cos(t),b sin(t) (2)/ 不是”任意曲线L”的参数表达式,而是”任意单连通闭合曲线L”的参数表达式/ 在严格意义上,参数表达式a cos(t),b sin(t)是任意单连通闭合曲线L在”直角坐标系”和”任意单连通闭合曲线L坐标系”之间的转换式/ 详见”引言 证明的前提条件”说明 其中a,b为非零常数或一阶可导连续函数表达式,单连通闭合曲线L决定a,b的取值;设定参数t的变化范围0,2,使曲线L闭合.(参见Poincare猜想:任何与n维球面同伦的n维闭合流形必定同胚于n维球面)10 /Poincare猜想在这里被解释为”任何(平面)单连通闭合曲线必定同胚于圆周”/待定系数a,b均不是由任意的一阶可导连续函数表达式 构成;a,b的取值必须服从于参数曲线L的”单连通闭合”的拓扑学属性;详见”引言 证明的前提条件”说明 计算平面向量场A在边界曲线L的环路积分: (3)/相对于由具体的、千变万化的二元函数构成的具体平面向量场,抽象平面向量场P(x,y),Q(x,y)是一种均衡、对称的抽象数据结构.在流形上的Green公式证明中,客观上需要一种均衡、对称的抽象闭合曲线表达式与抽象平面向量场P(x,y),Q(x,y)匹配;Poincare猜想为抽象闭合曲线表达式的实现提供了理论依据/ 在传统的直角坐标系Green公式证明中, 则是抽象向量场P(x,y),Q(x,y)匹配抽象曲线(由a,b,y=1(x),y=2(x) 或 x=1(y),x=2(y),c,d四个边界值限定的抽象平面曲线) (参见高等数学(第六版)(下册) 同济大学数学系 高等教育版 2007 P142-145)/因为抽象向量场P(x,y), Q(x,y)具有普遍性和同质性,以抽象函数P(x,y)或Q(x,y)的变量x(或y)的内含子变量t为自变量积分,其积分结果仍然可以表述为P(x,y)或Q(x,y). 也就是说,以变量x,y的内含子变量t为自变量积分,不会改变抽象函数P(x,y)或Q(x,y本身的结构. 因为如此, 抽象函数结构P(x,y)或Q(x,y)能够在积分以后保持原形. (参见附件3,”流形上的Green公式和式极限证明”部分)/ “积分值为零”有明确的数学、物理意义:在数学意义上, 积分值为零是逻辑推导的必然结果,反映了积分诸元素之间的逻辑均衡状态;在物理意义上,积分值为零意味着”抽象平面向量场”在”抽象平面闭合曲线(路径)”上的环流量恒为静止、待定的零; 如果积分值为某一正数、负数或者某一表达式, 则意味着”抽象平面向量场” 在 ”抽象平面闭合曲线(路径)”上始终存在正向、反向的流量或者某一未知的值,这将是不可解释的现象.将边界曲线L的参数表达式(2)中的符号t改换为u;再通乘以向径r(设定r0),将x,y轴方向的曲线坐标参数转化为平面有界闭区域S坐标参数:ra cos(u),rb sin(u) (4)根据平面有界闭区域S坐标参数(4),定义并计算偏导数矩阵,获取平面有界闭区域S微元系数的一般表达式: = = abr (5)/ 在严格意义上,平面有界闭区域S微元系数是”曲线L坐标微元”和”直角坐标微元”之间的比值将平面向量场A的微分函数 由直角坐标形式转变为平面有界闭区域S坐标形式: (6)/在直角坐标系,抽象向量场P(x,y),Q(x,y)的微分函数为. 在本证明的逻辑推导中,需要将其引入抽象单连通闭合曲曲线坐标系.抽象微分函数 的两个组成单元 , ,其微分变量x,y皆含有子变量r,u.直角坐标系与抽象单连通闭合曲线坐标系之间的转换式为x = r a cos(u), y = r b sin(v)-与微分函数,的两个微分变量,对应的坐标转换微分函数分别为和.“微分函数, 与坐标转换微分函数的乘积”(即两种微分函数的乘积) 构成了抽象单连通闭合曲线坐标系的抽象微分函数./ 是”链式求导”还是”坐标转换”? / 如果是”链式求导”,根据”同链相乘,分链相加”的原则应为:/ 不论是”链式求导”还是求”微分函数”,解决的是抽象向量场P(x,y),Q(x,y)”如何求导” 、”求导的方式”问题; 而这里是要将抽象向量场P(x,y),Q(x,y)求导的结果从一个坐标转化到另一个坐标的问题;两个”问题”的性质和层次都是不同的,这里是”相乘”而不是”相加”,这是由坐标的空间属性决定的 平面向量场A的微分函数(6)与平面有界闭区域S微元的乘积对参数r,u的二重积分: (7)=/因为抽象向量场的微分函数 , 或者其组成单元 ,具有普遍性和同质性,以其变量x(或y)的内含子变量r(或u)为自变量积分, 其积分性质可以被理解为对 ”微分函数及其单元 即,、坐标转换微分函数、平面闭区域微元三者的乘积” 的积分. 以变量x,y的内含子变量r(或u)为自变量积分,不会改变抽象微分函数及其两个组成单元本身的结构. 抽象微分函数单元,或,能够在积分以后保持原形;而与其对应的两个坐标转换微分函数,即: 和则可以在积分以后被改变.(参见附件3,”流形上的Green公式和式极限证明”部分)/ 与一般的二重积分不同, 这里的第一重积分限始终为 r0,1, 而不是r0,n或r0,.因为1的存在,才能使a,b,r,u保持正确的比例关系 其中 即设定平面有界闭区域S微元本身对参数u,v的二重积分不能为零.也可以理解为设定平面有界闭区域S不能为零面积即(3)式=(7)式:亦可表述为 (1), 证毕2.流形上的Green公式数值模型数值模型2.1已知: 单连通闭合曲线(不规则、不对称)的参数表达式 (1)其中,t0,2; 以及积分(平面)向量场 (2)计算并验证流形上的Green公式图1 单连通闭合曲线（1）不规则、不对称解: 第一部分,自由环路积分实现:计算曲线(1)的切向量: (4)将曲线坐标参数(1)带入积分(平面)向量场(2); 并且实现积分(平面)向量场(2)与曲线(1)的切向量(4)的平面点积对曲线参数t的积分(5): = (5)第二部分,自由二重积分实现:将目标曲线的参数表达式(1)中的符号t改换为u;各项再通乘以向径r(设定r0),将x,y轴方向上的曲线坐标参数转化为平面有界闭区域坐标参数: (6)根据平面有界闭区域坐标参数(6),定义并计算偏导数矩阵,获取平面有界闭区域微元系数的一般表达式(7): =(7)/ 不同几何拓扑形状的平面有界闭区域, 有不同的平面有界闭区域微元系数; 如同圆形平面闭区域微元系数是r, 而其它几何拓扑形状的平面闭区域微元系数则千差万别计算平面向量场(2)的微分函数:(8)将平面有界闭区域坐标参数(6)带入微分函数(8),并且计算微分函数(8)与平面有界闭区域微元的乘积对变量r,u的二重积分(9):= (9)/ 和普通的二重积分不同, 这里的第一重积分限始终为r0,1,而不是r0,n或r0,.因为”1”的存在,才能使r,u保持正确的比例关系/ 与”公式证明”涉及的抽象微分函数不同,在”数值模型”中可以直接将平面有界闭区域坐标参数(6)带入具体微分函数(8), 继之以”具体微分函数(8)与平面有界闭区域微元的乘积”,进行二重积分积分向量场在目标曲线的积分精确值(5),等于该向量场的微分函数在目标曲线包含的平面有界闭区域的二重积分精确值(9),流形上的Green公式运算并验证完毕.数值模型2.2已知: 单连通闭合曲线(不规则、不对称)的参数表达式(1)其中,t0,14; 以及积分(平面)向量场 (2)计算并验证流形上的Green公式图2 单连通闭合曲线（1）不规则、不对称解: 第一部分,自由环路积分实现:计算曲线(1)的切向量: (4)将曲线坐标参数(1)带入积分(平面)向量场(2); 并且实现积分(平面)向量场(2)与曲线(1)的切向量(4)的平面点积对曲线参数t的积分(5): = (5)/由于被积分表达式出现cos(cos(.),sin(sin(.)之类结构,积分结果没有以初等函数式表达的解析值,而只有任意精度浮点数值第二部分,自由二重积分实现:将目标曲线的参数表达式(1)中的符号t改换为u;各项再通乘以向径r(设定r0),将x,y轴方向上的曲线坐标参数转化为平面有界闭区域坐标参数:(6)根据平面有界闭区域坐标参数(6),定义并计算偏导数矩阵,获取平面有界闭区域微元系数的一般表达式(7): = (7)计算平面向量场(2)的微分函数: (8) 将平面有界闭区域坐标参数(6)带入微分函数(8),并且计算微分函数(8)与平面有界闭区域微元的乘积对变量r,u的二重积分(9):= (9)/由于被积分表达式出现cos(cos(.),sin(sin(.)之类结构,积分结果没有以初等函数式表达的解析值,而只有任意精度浮点数值积分向量场在目标曲线的积分值(任意精度浮点数值)(5),等于该向量场的微分函数在目标曲线包含的平面有界闭区域的二重积分值(任意精度浮点数值)(9),流形上的Green公式运算并验证完毕.流形上的Green公式和式极限证明及其数值模型, 参见”附件3 流形上的Green公式和式极限证明和数值模型分析与说明”总结传统的Green公式证明逻辑体系, 建立了基于(平面)直角坐标系的二重积分与环路积分的公式关联. 但是基于(平面)直角坐标系的二重积分存在诸多明显的缺陷(例如计算过程繁琐、非标准化, 不适用于不对称、不规则的平面有界闭区域等), 以致于物理、工程领域的许多重要问题二维化的解决途径,均建立在直角坐标系或其它坐标系的偏微分方程组求解基础上.一个多世纪以来的数学、物理和工程实践已经证明,通过简单的直角坐标系积分、直角坐标系或其它坐标系的偏微分方程组,难于甚至不能获得关于复杂几何对象(流形) 的解析解、数值解;传统的流形微积分学, 用外微分形式推导出Green公式, -Gauss公式,Stokes公式,乃至关于n维空间积分的广义Stokes公式11,即但是这类用外微分形式推导出的公式只具有抽象的理论意义,并没有揭示积分的具体实现过程,更无具体数值模型可言;建立与具体几何对象(流形)匹配的个性化坐标系(即有什么样的几何形体,就建立什么样几何形体的坐标系,使用什么样几何形体的微元系数; 而不再依赖于已有少数几个直角坐标系、极坐标系、广义极坐标系及其相关微元系数等),证明Green公式在无穷多个任意参数曲线(流形)坐标系单连通闭合曲线坐标系(基于Poincare猜想)的存在,使Green公式超越传统的直角坐标系框架,建立基于个性化微元系数的二重积分与平面环路积分之间的新公式关联, 并且在无限丰富、 绚丽的公式数值模型运算中实现两种类型积分相互验证,确立新型的基于个性化微元系数的二重积分方法的理论逻辑依据和数值模型.证明流形上的Green公式本身不是唯一目的,建立基于个性化微元系数的二重积分与平面环路积分之间的新公式关联, 确立新型的基于个性化微元系数的二重积分方法的理论逻辑依据和数值模型是根本目的.本稿件相关的数值模型表明,使用基于个性化微元系数的二重积分方法,能够获得关于复杂几何形体 流形 尤其是不对称、不规则平面有界区域的解析积分值或任意精度浮点积分值; 实现任意平面有界闭区域二重积分 (尤其是不对称、不规则平面有界闭区域二重积分),甚至实现积分区间的艺术化; 寻找向量场(平面电场、平面磁场、平面流体场等)和数量场 (平面电位场、平面温度场等) 在任意自由平面区域及其边界闭合路径的积分计算途径和关联关系, 寻找微积分学、拓扑学和工程计算三者的直接衔接点,实现流形上的Green公式和工程意义上的流形积分, 实现更广大、更自由的物理、数学探索和工程实践.参考书籍:1数学分析简明教程(下册) 前苏联 . 高等教育版 1956.8 (P619-624)2工程数学: 矢量分析与场论谢树艺 高等教育版 1978.12 第1版 1985.3 第2版 2002.3 第23次印刷 (P85)3微积分(下册) 同济大学应用数学系 高等教育版 2002.1 (P145-151, P208-210)4高等数学 多元微积分及其教学软件上海市教委 组编 上海交通大学 同济大学 华东理工大学 上海大学 编 科学版 1999.6 (P249-251, P348-350,P351) 5工科微积分(下册) 丁晓庆 科学版 2002.9 (P235-239, P297-303) 6高等数学(第六版)(下册) 同济大学数学系 高等教育版 1978.10 第1版 2007.6 第6版 2009.8 第9次印刷 (P142-145)7托马斯微积分(第10版) Thomass Calculus(Tenth Edition) 高等教育版 2003.8 (P1025-1029, P1104-1114)8微积分 M.R.Spiegel Schaums Outline of Theory and Problems of Advanced CalculusMcGraw-Hill Companies, Inc Copyright 1963, 37thPrinting, 1998 科学版 2002.1 (P162-165, P183)9现代数值计算方法刘继军 科学版 2010.3 (P62-136)10庞加莱猜想暨几何化猜想的完全证明A complete proof of the Poincare and geometrization conjectures-Application of the Hamilton-Perelman theory of the ricci flow . . 朱熹平 曹怀东 Asian J. MathJune 2006, P165-49211流形上的微积分 M.Spivak 人民邮电版 2006.1 (P114-143)12Maple指令参考手册 国防工业版 2002.1Proof and Numerical Models ofGreen Theorem at Manifold Analysis and ExplanationYangkeChina Chengdu 610017 E-mail: Abstract:Green theorem is one of the hard core in modern mathematical and physical system 13456789.The logic system of Green Theorems traditional proof, established formular association between Double Integrals (Based on 2-Dimensional Cartesian coordinates) and Closed Curve Integral. But Double Integral (Based on 2-Dimensional Cartesian coordinates) possesses many obvious defects (e.g. complicated、 tedious and non-standard calculating course, be disable to calculate on asymmetrical、irregular plane bounded closed regions etc.), so that 2-Dimensional resolvents of many important questions in physics、engineering field are built on solving partial differential equations in Cartesian coordinates or other coordinates. For more than a century, countless mathematical、physical and engineering practices have proved: Depend on simple and crude integrals in 2-Dimensional Cartesian coordinates、partial differential equations in Cartesian coordinates or other coordinates, it is difficult or disable to obtain analytical solution or numerical solution about complicated geometric objects (Manifold);Traditional manifold calculus deducts out Green Theorem、 - Gauss Theorem and Stokes Theorem by exterior differential form, and even generalized Stokes Theorem about n-dimensional space integral 11, viz.But these theorems deducted by exterior differential form, scantly possess abstract academic meaning, and cant reveal idiographic course of integrals, leave alone idiographic numerical models.In this manuscript, constitute individual coordinates that matches with idiographic geometric object Manifold (Viz. What idiographic geometric shape, what coordinates of idiographic geometric shape, what element coefficient of idiographic geometric shape; no longer rely on a few existent coordinates: Cartesian coordinates、Polar coordinates and generalized Polar coordinates and their correlative element coefficients etc.), by methods of integral and finite sums limits, prove the presence of Green Theorem in countless free parametrized curve Manifold coordinates Simply connected orientable closed surface coordinates (Bases on Poincare conjecture), enable Green Theorem surpass traditional architecture of 2-Dimensional Cartesian coordinates, establish new formular association between double integrals (Bases on idiographic element coefficient) and plane closed curve integral, and realize mutual validation between two types of integral in infinitely plentiful and gorgeous formular numerical model operations, radicate theoretical logic basis and numerical model of new double integrals (Bases on idiographic element coefficient).Prove Green Theorem at Manifold itself is not sole purpose, Establish new formular association between double integrals (Bases on idiographic element coefficient), radicate theoretical logic basi