椭圆形偏微分方程毕业论文

科普中国·科学百科：偏微分方程

数学研究性学习报告 (妙趣横生的数学)一：数学史上的三次危机。毕达哥拉斯是公元前五世纪古希腊的著名数学家与哲学家。他曾创立了一个合政治、学术、宗教三位一体的神秘主义派别：毕达哥拉斯学派。由毕达哥拉斯提出的著名命题“万物皆数”是该学派的哲学基石。而“一切数均可表成整数或整数之比”则是这一学派的数学信仰。然而，具有戏剧性的是由毕达哥拉斯建立的毕达哥拉斯定理却成了毕达哥拉斯学派数学信仰的“掘墓人”。毕达哥拉斯定理提出后，其学派中的一个成员希帕索斯考虑了一个问题：边长为1的正方形其对角线长度是多少呢？他发现这一长度既不能用整数，也不能用分数表示，而只能用一个新数来表示。希帕索斯的发现导致了数学史上第一个无理数√2 的诞生。小小√2的出现，却在当时的数学界掀起了一场巨大风暴。它直接动摇了毕达哥拉斯学派的数学信仰，使毕达哥拉斯学派为之大为恐慌。实际上，这一伟大发现不但是对毕达哥拉斯学派的致命打击。对于当时所有古希腊人的观念这都是一个极大的冲击。这一结论的悖论性表现在它与常识的冲突上：任何量，在任何精确度的范围内都可以表示成有理数。这不但在希腊当时是人们普遍接受的信仰，就是在今天，测量技术已经高度发展时，这个断言也毫无例外是正确的！可是为我们的经验所确信的，完全符合常识的论断居然被小小的√2的存在而推翻了！这应该是多么违反常识，多么荒谬的事！它简直把以前所知道的事情根本推翻了。更糟糕的是，面对这一荒谬人们竟然毫无办法。这就在当时直接导致了人们认识上的危机，从而导致了西方数学史上一场大的风波，史称“第一次数学危机”。 第二次数学危机导源于微积分工具的使用。伴随着人们科学理论与实践认识的提高，十七世纪几乎在同一时期，微积分这一锐利无比的数学工具为牛顿、莱布尼兹各自独立发现。这一工具一问世，就显示出它的非凡威力。许许多多疑难问题运用这一工具后变得易如翻掌。但是不管是牛顿，还是莱布尼兹所创立的微积分理论都是不严格的。两人的理论都建立在无穷小分析之上，但他们对作为基本概念的无穷小量的理解与运用却是混乱的。因而，从微积分诞生时就遭到了一些人的反对与攻击。其中攻击最猛烈的是英国大主教贝克莱。 罗素悖论与第三次数学危机。 十九世纪下半叶，康托尔创立了著名的集合论，在集合论刚产生时，曾遭到许多人的猛烈攻击。但不久这一开创性成果就为广大数学家所接受了，并且获得广泛而高度的赞誉。数学家们发现，从自然数与康托尔集合论出发可建立起整个数学大厦。因而集合论成为现代数学的基石。“一切数学成果可建立在集合论基础上”这一发现使数学家们为之陶醉。1900年，国际数学家大会上，法国著名数学家庞加莱就曾兴高采烈地宣称：“………借助集合论概念，我们可以建造整个数学大厦……今天，我们可以说绝对的严格性已经达到了……” 可是，好景不长。1903年，一个震惊数学界的消息传出：集合论是有漏洞的！这就是英国数学家罗素提出的著名的罗素悖论。 罗素构造了一个集合S：S由一切不是自身元素的集合所组成。然后罗素问：S是否属于S呢？根据排中律，一个元素或者属于某个集合，或者不属于某个集合。因此，对于一个给定的集合，问是否属于它自己是有意义的。但对这个看似合理的问题的回答却会陷入两难境地。如果S属于S，根据S的定义，S就不属于S；反之，如果S不属于S，同样根据定义，S就属于S。无论如何都是矛盾的。 其实，在罗素之前集合论中就已经发现了悖论。如1897年，布拉利和福尔蒂提出了最大序数悖论。1899年，康托尔自己发现了最大基数悖论。但是，由于这两个悖论都涉及集合中的许多复杂理论，所以只是在数学界揭起了一点小涟漪，未能引起大的注意。罗素悖论则不同。它非常浅显易懂，而且所涉及的只是集合论中最基本的东西。所以，罗素悖论一提出就在当时的数学界与逻辑学界内引起了极大震动。如G.弗雷格在收到罗素介绍这一悖论的信后伤心地说：“一个科学家所遇到的最不合心意的事莫过于是在他的工作即将结束时，其基础崩溃了。罗素先生的一封信正好把我置于这个境地。”戴德金也因此推迟了他的《什么是数的本质和作用》一文的再版。可以说，这一悖论就象在平静的数学水面上投下了一块巨石，而它所引起的巨大反响则导致了第三次数学危机。 危机产生后，数学家纷纷提出自己的解决方案。人们希望能够通过对康托尔的集合论进行改造，通过对集合定义加以限制来排除悖论，这就需要建立新的原则。“这些原则必须足够狭窄，以保证排除一切矛盾；另一方面又必须充分广阔，使康托尔集合论中一切有价值的内容得以保存下来。”1908年，策梅罗在自已这一原则基础上提出第一个公理化集合论体系，后来经其他数学家改进，称为ZF系统。这一公理化集合系统很大程度上弥补了康托尔朴素集合论的缺陷。除ZF系统外，集合论的公理系统还有多种，如诺伊曼等人提出的NBG系统等。公理化集合系统的建立，成功排除了集合论中出现的悖论，从而比较圆满地解决了第三次数学危机。但在另一方面，罗素悖论对数学而言有着更为深刻的影响。它使得数学基础问题第一次以最迫切的需要的姿态摆到数学家面前，导致了数学家对数学基础的研究。而这方面的进一步发展又极其深刻地影响了整个数学。如围绕着数学基础之争，形成了现代数学史上著名的三大数学流派，而各派的工作又都促进了数学的大发展等等。二：经典数学问题：七桥问题 著名古典数学问题之一。在哥尼斯堡的一个公园里，有七座桥将普雷格尔河中两个岛及岛与河岸连接起来。问是否可能从这四块陆地中任一块出发，恰好通过每座桥一次，再回到起点?欧勒于1736年研究并解决了此问题，他把问题归结为如下右图的“一笔画”问题，证明上述走法是不可能的。 有关图论研究的热点问题。18世纪初普鲁士的柯尼斯堡，普雷格尔河流经此镇，奈发夫岛位于河中，共有7座桥横跨河上，把全镇连接起来。当地居民热衷于一个难题：是否存在一条路线，可不重复地走遍七座桥。这就是柯尼斯堡七桥问题。L.欧拉用点表示岛和陆地，两点之间的连线表示连接它们的桥，将河流、小岛和桥简化为一个网络，把七桥问题化成判断连通网络能否一笔画的问题。他不仅解决了此问题，且给出了连通网络可一笔画的充要条件是它们是连通的，且奇顶点(通过此点弧的条数是奇数)的个数为0或2。 当Euler在1736年访问Konigsberg, Prussia(now Kaliningrad Russia)时，他发现当地的市民正从事一项非常有趣的消遣活动。Konigsberg城中有一条名叫Pregel的河流横经其中，这项有趣的消遣活动是在星期六作一次走过所有七座桥的散步，每座桥只能经过一次而且起点与终点必须是同一地点。 Euler把每一块陆地考虑成一个点，连接两块陆地的桥以线表示。 后来推论出此种走法是不可能的。他的论点是这样的，除了起点以外，每一次当一个人由一座桥进入一块陆地（或点）时，他（或她）同时也由另一座桥离开此点。所以每行经一点时，计算两座桥（或线），从起点离开的线与最后回到始点的线亦计算两座桥，因此每一个陆地与其他陆地连接的桥数必为偶数。 七桥所成之图形中，没有一点含有偶数条数，因此上述的任务无法完成. 欧拉的这个考虑非常重要，也非常巧妙，它正表明了数学家处理实际问题的独特之处——把一个实际问题抽象成合适的“数学模型”。这种研究方法就是“数学模型方法”。这并不需要运用多么深奥的理论，但想到这一点，却是解决难题的关键。 接下来，欧拉运用网络中的一笔画定理为判断准则，很快地就判断出要一次不重复走遍哥尼斯堡的7座桥是不可能的。也就是说，多少年来，人们费脑费力寻找的那种不重复的路线，根本就不存在。一个曾难住了那么多人的问题，竟是这么一个出人意料的答案！ 1736年，欧拉在交给彼得堡科学院的《哥尼斯堡7座桥》的论文报告中，阐述了他的解题方法。他的巧解，为后来的数学新分支——拓扑学的建立奠定了基础。 数学的世界奥妙无穷，大家尽情驰骋吧！附录：永远的大师—欧拉欧拉(Euler，1707－1783)，瑞士数学家及自然科学家。在1707年4月15日出生於瑞士的巴塞尔，1783年9月18日於俄国的彼得堡去逝。 欧拉出生於牧师家庭，自幼已受到父亲的教育。13岁时入读巴塞尔大学，15岁大学毕业，16岁获得硕士学位。 欧拉的父亲希望他学习神学，但他最感兴趣的是数学。在上大学时，他已受到约翰第一．伯努利的特别指导，专心 研究数学，直至18岁，他彻底的放弃当牧师的想法而专攻数学，於19岁时（1726年）开始创作文章，并获得巴黎科学院奖金。1727年，在丹尼尔．伯努利的推荐下，到俄国的彼得堡科学院从事研究工作。并在1731年接替丹尼尔第一．伯努利 ，成为物理学教授。在俄国的14年中，他努力不懈地投入研究，在分析学、数论及力学方面均有出色的表现。此外，欧拉还应俄国政府 的要求，解决了不少如地图学、造船业等的实际问题。1735年，他因工作过度以致右眼失明。在1741年，他受到普鲁士 腓特烈大帝的邀请到德国科学院担任物理数学所所长一职。他在柏林期间，大大的扩展了研究的内容，如行星运动、刚体运动、热力学、弹道学、人口学等，这些工作与他的数学研究互相推动着。与此同时，他在微分方程、曲面微分几何 及其他数学领域均有开创性的发现。 1766年，他应俄国沙皇喀德林二世敦聘重回彼得堡。在 1771年，一场重病使他的左眼亦完全失明。但他以其惊人的 记忆力和心算技巧继续从事科学创作。他通过与助手们的讨论以及直接口授等方式完成了大量的科学着作，直至生命的最后一刻。 欧拉是18世纪数学界最杰出的人物之一，他不但为数学界作出贡献，更把数学推至几乎整个物理的领域。此外，他 是数学史上最多产的数学家，写了大量的力学、分析学、几何学、变分法的课本，《无穷小分析引论》（1748），《微分学原理》（1755），以及《积分学原理》（1768-1770)都成为数学中的经典着作。 欧拉最大的功绩是扩展了微积分的领域，为微分几何及分析学的一些重要分支（如无穷级数、微分方程等）的产生 与发展奠定了基础。 欧拉把无穷级数由一般的运算工具转变为一个重要的研究科目。他计算出ξ函数在偶数点的值： 。他证明了a2k是有理数，而且可以伯努利数来表示。 此外，他对调和级数亦有所研究，并相当精确的计算出欧拉常数γ的值，，其值近似为 0.57721566490153286060651209... 在18世纪中叶，欧拉和其他数学家在解决物理方面的问过程中，创立了微分方程学。当中，在常微分方程方面，他 完整地解决了n阶常系数线性齐次方程的问题，对於非齐次方程，他提出了一种降低方程阶的解法；而在偏微分方程方面，欧拉将二维物体振动的问题，归结出了一、二、三维波动方程的解法。欧拉所写的《方程的积分法研究》更是 偏微分方程在纯数学研究中的第一篇论文。 在微分几何方面（微分几何是研究曲线、曲面逐点变化性质的数学分支），欧拉引入了空间曲线的参数方程，给 出了空间曲线曲率半径的解析表达方式。在1766年，他出版了《关於曲面上曲线的研究》，这是欧拉对微分几何最重要的贡献，更是微分几何发展史上一个里程碑。他将曲面表为 z=f(x,y)，并引入一系列标准符号以表示z对x，y的偏导数 ，这些符号至今仍通用。此外，在该着作中，他亦得到了曲面在任意截面上截线的曲率公式。 欧拉在分析学上的贡献不胜枚举，如他引入了G函数和B 函数，这证明了椭圆积分的加法定理，以及最早引入二重积 分等等。在代数学方面，他发现了每个实系数多项式必分解为一次或二次因子之积，即a+bi的形式。欧拉还给出了费马小定 理的三个证明，并引入了数论中重要的欧拉函数φ(n)，他研究数论的一系列成果奠定了数论成为数学中的一个独立分支。欧拉又用解析方法讨论数论问题，发现了ξ函数所满足的函数方程，并引入欧拉乘积。而且还解决了着名的柯尼斯 堡七桥问题。欧拉对数学的研究如此广泛，因此在许多数学的分支中也可经常见到以他的名字命名的重要常数、公式和定理。

对二阶线性偏微分方程在（x0，y0）处 ， △<0 时称方程在点（x0，y0）为椭圆型的。在（x0，y0）处 ， △=0 时称方程在点（x0，y0）为抛物型的。在（x0，y0）处 ， △>0 时称方程在点（x0，y0）为双曲型的。