![流形上的Green公式证明_第1页](http://file3.renrendoc.com/fileroot_temp3/2022-4/18/da2d59c5-27ec-4e21-8d47-c9debd26ad0b/da2d59c5-27ec-4e21-8d47-c9debd26ad0b1.gif)
![流形上的Green公式证明_第2页](http://file3.renrendoc.com/fileroot_temp3/2022-4/18/da2d59c5-27ec-4e21-8d47-c9debd26ad0b/da2d59c5-27ec-4e21-8d47-c9debd26ad0b2.gif)
![流形上的Green公式证明_第3页](http://file3.renrendoc.com/fileroot_temp3/2022-4/18/da2d59c5-27ec-4e21-8d47-c9debd26ad0b/da2d59c5-27ec-4e21-8d47-c9debd26ad0b3.gif)
![流形上的Green公式证明_第4页](http://file3.renrendoc.com/fileroot_temp3/2022-4/18/da2d59c5-27ec-4e21-8d47-c9debd26ad0b/da2d59c5-27ec-4e21-8d47-c9debd26ad0b4.gif)
![流形上的Green公式证明_第5页](http://file3.renrendoc.com/fileroot_temp3/2022-4/18/da2d59c5-27ec-4e21-8d47-c9debd26ad0b/da2d59c5-27ec-4e21-8d47-c9debd26ad0b5.gif)
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、流形上的Green公式证明杨科中国 成都 610017E-mail: 摘要:Green公式是现代数学、物理体系的核心公式之一13456789. 传统的Green公式证明逻辑体系, 建立了基于 (平面) 直角坐标系的二重积分与环路积分的公式关联. 但是基于(平面)直角坐标系的二重积分存在诸多明显的缺陷(例如计算过程繁琐、非标准化, 不适用于不对称、不规则的平面有界闭区域等), 以致于物理、工程领域的许多重要问题二维化的解决途径,均建立在直角坐标系或其它坐标系的偏微分方程组求解基础上.一个多世纪以来的数学、物理和工程实践已经证明,通过简单的直角坐标系积分、 直角坐标系或其它坐标系的偏微分方程组,
2、难于甚至不能获得关于复杂几何对象(流形)的解析解、数值解;传统的流形微积分学,用外微分形式推导出Green公式,-Gauss公式,Stokes公式,乃至关于n维空间积分的广义Stokes公式11,即但是这类用外微分形式推导出的公式只具有抽象的理论意义,并没有揭示积分的具体实现过程,更无具体数值模型可言;本稿件通过建立与具体几何对象(流形)匹配的个性化坐标系(即有什么样的几何形体,就建立什么样几何形体的坐标系,使用什么样几何形体的微元系数;而不再依赖于已有的少数几个直角坐标系、极坐标系、广义极坐标系及其相关微元系数等), 用积分以及和式极限的方法, 证明Green公式在无穷多个任意参数曲线 (流
3、形)坐标系单连通闭合曲线坐标系(基于Poincare猜想)的存在,使Green公式超越传统的直角坐标系框架,建立基于个性化微元系数的二重积分与平面环路积分之间的新公式关联,并且在无限丰富、绚丽的公式数值模型运算中实现两种类型积分相互验证,确立基于个性化微元系数的二重积分方法的理论逻辑依据和数值模型."证明流形上的Green公式"本身不是唯一目的,"建立基于个性化微元系数的二重积分与平面环路积分之间的新公式关联,确立基于个性化微元系数的二重积分方法的理论逻辑依据和数值模型"是根本目的.本稿件相关的数值模型表明,使用基于个性化微元系数的二重积分方法,能够获得
4、关于复杂几何形体 流形 尤其是不对称、不规则平面有界区域的解析积分值或任意精度浮点积分值;实现任意平面有界闭区域二重积分(尤其是不对称、不规则平面有界闭区域二重积分), 实现向量场(平面电场、平面磁场、平面流体场等)和数量场(平面电位场、平面温度场等)在任意自由平面区域及其边界闭合路径的精确积分计算,确立两种类型积分的逻辑关联关系,实现流形上的Green公式和工程意义上的流形积分.关键词:微积分学拓扑学物理学Poincare猜想向量场数量场(平面)单连通闭合曲线坐标系流形上的Green公式证明数值模型 和式极限基于个性化微元系数的二重积分方法基于个性化微元系数的二重积分与平面环路积分之间的新公
5、式关联解析积分值任意精度浮点数积分值工程意义上的流形积分中图分类号:O17/O412.3目录引言1 (参见 流形上的散度公式证明 引言1)引言2 证明的前提条件-(平面)单连通闭合参数曲线坐标系的建立.2流形上的Green公式证明 . 7总结.9参考书籍.10引言2 证明的前提条件-(平面)单连通闭合参数曲线坐标系的建立(一)考察证明的对象-Green公式:Green公式 设平面有界闭区域S的边界曲线L由有限条光滑或分段光滑的曲线所组成,如果函数P(x,y),Q(x,y) 构成平面向量场A 在平面有界闭区域S上具有一阶连续偏导数,则在公式的定义中,强调平面有界闭区域S的边界曲线L必须是&quo
6、t;闭合"曲线在传统的直角坐标系Green公式证明中,”抽象闭合曲线L”是这样定义的:抽象闭合曲线由"a,b,y=1(x),y=2(x)" 或 "x=1(y),x=2(y),c,d"的四个边界值限定(参见高等数学(第六版)(下册) 同济大学数学系 高等教育版 2007 P142-145)也就是说,Green公式客观上要求,不论在平面直角坐标系,或者在其它坐标系,被证明的相关曲线必须具有两种属性:(1)单连通性;(2)闭合性 离开传统的平面直角坐标系,怎样刻画抽象的、具有普遍意义的”单连通闭合曲线”并且进一步建立”单连通闭合曲线坐标系”? 并没有
7、现成的答案Poincare猜想19断定"任何与n维球面同伦的n维闭合流形必定同胚于n维球面",在Green公式涉及的二维欧氏空间,对应的判断为"任何单连通1维闭合流形必定同胚于1维球面(即圆周)"也就是说, 根据Poincare 猜想, 在Green公式涉及的二维欧氏空间, 任何单连通闭合曲线,不论其几何外观如何千变万化,必定有同胚于”圆周”这一普遍属性进一步的问题自然是”在二维欧氏空间,能否根据Poincare 猜想这一普遍属性,定义单连通闭合曲线的抽象的、普遍意义的表达式?” 这也正是本 ”引言2” 讨论的中心内容在平面解析几何学中,上述"
8、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
9、,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输入"一阶可导连续函数",输出(
10、平面)曲线呈非单连通闭合状态与”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公式”讨论的对象实验数据从
11、原始现象表明,同样属于参数曲线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模式中, 能否通过某种定义将非单连通闭合曲线(不同胚于圆周)的
12、情况排除?(二)设定”任意曲线”为一集合, 则”任意单连通闭合曲线” 是前者的子集合. Poincare猜想是这一子集合的属性, 本论文”流形上的Green公式证明” 及其”和式极限证明”则讨论Green公式是否适用于这一子集合.Poincare猜想为用参数方程方法描述”任意单连通闭合曲线”的某种属性(即”同胚于1维球面圆周”这一属性)提供了实现途径.基于上述情况,将无数具体的(平面)单连通闭合曲线抽象化为一个统一的表达式:a cos(t),b sin(t),t0,2*Pi(其中待定系数a,b也不能任意指定,而必须服从曲线的”单连通闭合”的拓扑学属性)也就是说, 如果待定系数a,b能够任意指定
13、,则目标曲线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轴两个方向任意连续变化( 即acos(t),b sin(t),t0,2*Pi,其中待定系数a,b为任意一阶可导连续函数),不一定产生单连通闭合曲线;反过来, 在平面直角坐标系, 任一单连通闭合曲线 - 必定由圆周( 即cos(t),sin(t),t0,2*P
14、i) 沿x,y轴两个方向连续变化而成(也必定能够沿x,y轴两个方向连续变回圆周)-Poincare猜想为依据例如, 正方形、三角形也可以被视为单连通闭合曲线-但是正方形、三角形难于甚至不能用参数方程描述-但是不能否认,根据Poincare猜想, 正方形、三角形必定同胚于圆周,必定由圆周(即cos(t),sin(t),t0,2*Pi)沿x,y轴两个方向连续变化而成(也必定能够沿x,y轴两个方向连续变回圆周);根据Poincare猜想,正方形、三角形同样可以用acos(t),b sin(t),t0,2*Pi参数模式描述用acos(t),b sin(t),t0,2*Pi模式描述抽象的、具有普遍意义的
15、单连通闭合曲线,实际上是用Poincare猜想来描述单连通闭合曲线的某种内在结构和属性(即同胚于圆周这一属性),为进一步的公式推导设定一个恰当的前提条件在实际操作层面,用Plot指令属于Waterloo Maple计算机代数系统指令绘画出某一(平面)参数曲线,必须在直观视觉上判定该曲线是否单连通闭合曲线以后,才能决定是否适用于流形上的Green公式数值模型;从参数表达式本身无法判断曲线是否为单连通闭合曲线.“(平面)参数曲线是否为单连通闭合曲线”的决定因素在拓扑学领域而不在解析几何领域;单凭解析几何的参数方程方法并不能够推导、演绎出某一(平面)曲线的单连通闭合属性.(三)acos(t),b s
16、in(t),t0,2*Pi只是基于Poincare猜想定义的抽象的、普遍意义的单连通闭合曲线表达式,不属于坐标系;抽象单连通闭合曲线坐标系为r acos(t),r b sin(t),r0,t0,2*Pi,其中r为向径,a,b为待定系数(因为a,b既可以为非零常数,也可以为一阶可导连续函数),具有不确定性.实际上,抽象单连通闭合曲线表达式acos(t),b sin(t),t0,2*Pi与椭圆表达式acos(t),b sin(t),t0,2*Pi在形式上是完全一致的,只是两者对待定系数a,b的解释不同:前者将a,b解释为"任意非零常数或一阶连续可导函数(非任意,受曲线的单连通闭合属性限制
17、)”,而后者将a,b解释为只是"任意非零常数"故抽象单连通闭合曲线坐标系与直角坐标系的对应关系是x=r*acos(t),y= r*b sin(t)(与椭圆坐标系-直角坐标系转换式是相同的)流形上的Green公式证明:Green公式 设平面有界闭区域S的边界曲线L由有限条光滑或分段光滑的曲线所组成,如果函数P(x,y),Q(x,y)构成平面向量场A在平面有界闭区域S上具有一阶连续偏导数,则 (1)证明:定义任意单连通闭合曲线L的参数表达式 acos(t),bsin(t)(2)其中a,b为非零常数或一阶可导连续函数表达式,单连通闭合曲线L决定a,b的取值;设定参数t的变化范围0
18、,2,使曲线L闭合.(参见Poincare猜想:"任何与n维球面同伦的n维闭合流形必定同胚于n维球面")10计算平面向量场A在边界曲线L的环路积分:(3)将边界曲线L的参数表达式(2)中的符号t改换为u;再通乘以向径r(设定r>0),将x,y轴方向的曲线坐标参数转化为平面有界闭区域S坐标参数:racos(u),rbsin(u) (4)根据平面有界闭区域S坐标参数(4),定义并计算偏导数矩阵,获取平面有界闭区域S微元系数的一般表达式: = = abr (5)将平面向量场A的微分函数由直角坐标形式转变为平面有界闭区域S坐标形式: (6)平面向量场A的微分函数(6)与平面有
19、界闭区域S微元的乘积对参数r,u的二重积分:(7)=其中,即设定平面有界闭区域S微元本身对参数u,v的二重积分不能为零.也可以理解为设定平面有界闭区域S不能为零面积即(3)式=(7)式:亦可表述为 (1), 证毕流形上的Green公式数值模型, 参见”附件1 流形上的Green公式证明和数值模型(分析与说明)”;流形上的Green公式和式极限证明及其数值模型, 参见”流形上的Green公式和式极限证明和数值模型附件3 分析与说明”总结传统的Green公式证明逻辑体系,建立了基于(平面)直角坐标系的二重积分与环路积分的公式关联. 但是基于(平面)直角坐标系的二重积分存在诸多明显的缺陷(例如计算过
20、程繁琐、非标准化,不适用于不对称、不规则的平面有界闭区域等),以致于物理、工程领域的许多重要问题二维化的解决途径,均建立在直角坐标系或其它坐标系的偏微分方程组求解基础上.一个多世纪以来的数学、物理和工程实践已经证明,通过简单的直角坐标系积分、直角坐标系或其它坐标系的偏微分方程组,难于甚至不能获得关于复杂几何对象(流形) 的解析解、数值解;传统的流形微积分学,用外微分形式推导出Green公式,-Gauss公式,Stokes公式,乃至关于n维空间积分的广义Stokes公式11,即但是这类用外微分形式推导出的公式只具有抽象的理论意义,并没有揭示积分的具体实现过程,更无具体数值模型可言;建立与具体几何
21、对象(流形)匹配的个性化坐标系(即有什么样的几何形体,就建立什么样几何形体的坐标系,使用什么样几何形体的微元系数;而不再依赖于已有少数几个直角坐标系、极坐标系、广义极坐标系及其相关微元系数等),证明Green公式在无穷多个任意参数曲线(流形)坐标系单连通闭合曲线坐标系(基于Poincare猜想)的存在,使Green公式超越传统的直角坐标系框架,建立基于个性化微元系数的二重积分与平面环路积分之间的新公式关联,并且在无限丰富、绚丽的公式数值模型运算中实现两种类型积分相互验证,确立新型的基于个性化微元系数的二重积分方法的理论逻辑依据和数值模型."证明流形上的Green公式"本身不
22、是唯一目的,"建立基于个性化微元系数的二重积分与平面环路积分之间的新公式关联,确立新型的基于个性化微元系数的二重积分方法的理论逻辑依据和数值模型"是根本目的.本稿件相关的数值模型表明,使用基于个性化微元系数的二重积分方法,能够获得关于复杂几何形体流形尤其是不对称、不规则平面有界区域的解析积分值或任意精度浮点积分值;实现任意平面有界闭区域二重积分,甚至实现积分区间的艺术化;寻找向量场(平面电场、平面磁场、平面流体场等)和数量场(平面电位场、平面温度场等)在任意自由平面区域及其边界闭合路径的积分计算途径和关联关系,寻找微积分学、拓扑学和工程计算三者的直接衔接点,实现流形上的Gr
23、een公式和工程意义上的流形积分,实现更广大、更自由的物理、数学探索和工程实践.参考书籍: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工科微积分(
24、下册) 丁晓庆 科学版 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 Cop
25、yright 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 人民邮
26、电版 2006.1 (P114-143)12Maple指令参考手册 国防工业版 2002.1ProofofGreen Theorem at ManifoldYangkeChinaChengdu 610017E-mail: Abstract:Green theorem isone of the hard core in modern mathematical and physical system13456789.The logic system of Green Theorems traditional proof,establishedformularassociation between
27、DoubleIntegrals (Based on 2-Dimensional Cartesian coordinates) andClosed CurveIntegral. But DoubleIntegral (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、irregularpla
28、ne 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 engineeringpractice
29、s have proved: Depend onsimple 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 complicatedgeometric objects (Manifold);Traditi
30、onalmanifoldcalculusdeductsout Green Theorem、- Gauss Theorem and Stokes Theorem by exterior differential form, and even generalized Stokes Theorem about n-dimensional space integral11,viz.But these theorems deducted by exterior differential form, scantlypossess abstract academic meaning, and cant re
31、vealidiographiccourse of integrals, leave aloneidiographiccalculational examplesIn this manuscript, constitute individual coordinates that matches with idiographic geometric objectManifold (Viz. What idiographic geometric shape, what coordinates of idiographic geometric shape, what element coefficie
32、nt ofidiographic geometric shape; no longer rely on a few existentcoordinates: 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 f
33、ree parametrized curve Manifoldcoordinates Simply connectedorientable closed surface coordinates (Bases on Poincareconjecture), enable Green Theoremsurpass traditional architecture of 2-Dimensional Cartesian coordinates, establish new formularassociation between double integrals (Bases on idiographi
34、c element coefficient) and plane closed curve integral, andrealize mutual validation between two types of integral in infinitely plentiful and gorgeous formularnumerical modeloperations, radicate theoretical logic basis and numerical model of new double integrals (Bases on idiographic element coeffi
35、cient).Prove Green Theorem at Manifold itself is not sole purpose, Establish new formularassociation between double integrals (Bases on idiographic element coefficient),radicate theoretical logic basis and numerical model of new double integrals (Bases on idiographic element coefficient) is prime purpose.Correlative numerical models of these seriesmanuscripts have indicated, by double integrals (Bases on idiographic element coefficient), we ca
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 保健第二章 学前儿童生长发育及健康评价练习试题附答案
- 保健病房N1-N4理论测试题【附答案】
- 中班健康洗手歌教案反思
- 综合布线线缆和线槽规格型号及桥架选用步骤
- -浅析黄自艺术歌曲风格特点-以《思乡》为例
- 十里四香·休闲田园-宁波东钱湖美丽乡村规划方案设计
- 2025届新高考语文冲刺热点复习:高考选修文言文9篇
- 人教版农业的区位选择
- 中学生评语大全(非常全面)
- 秋季六上语文教研组备课组工作计划
- 隧道工程工程质量通病及防治措施-
- 房地产运营 -龙湖地产集团地产体系员工职业序列及职业等级管理
- 两篇古典英文版成语故事惊弓之鸟
- 2023高中学生暑假社会实践活动报告总结(4篇)
- 2023年军队文职(收发员兼通信员)科目考试名师预测卷(二)附详解
- 2023年八年级物理竞赛试卷及答案
- GA/T 1028.3-2022机动车驾驶人考试系统通用技术条件第3部分:场地驾驶技能考试系统
- 发展经济学 马工程课件 8.第八章 农业发展与农业现代化
- GB/T 30146-2013公共安全业务连续性管理体系要求
- GB/T 20430-2006声学开放式工厂的噪声控制设计规程
- GA/T 72-2013楼寓对讲电控安全门通用技术条件
评论
0/150
提交评论