从语境角度分析计算数学的发展.docxVIP

从语境角度分析计算数学的发展 计算从古代到现代是数学的重要组成部分，也是数学与生活现实密切相关的一部分。在计算机发明之前,由于受到计算工具的束缚,许多复杂的问题得不到解决,计算的发展一直比较缓慢。二十世纪四十年代电子计算机的出现引起了计算工具的根本性变革,极大地扩展了计算的应用领域,使计算获得了新的生命力。到二十世纪下半叶,许多科学和工程领域的发展都需要依赖于在计算机上进行大规模的科学计算。在不断实践的过程中,人们认识到计算方法的革新和计算机硬件的改进对于计算能力的提高同等重要,于是很多数学家把精力集中在计算方法的研究上,最终导致了以分散在各数学分支中的计算方法为基础的新的数学分支——计算数学的诞生。由于计算数学有极强的应用性,对于一个国家的经济发展和国防建设具有非同寻常的意义,所以世界各国都十分重视计算数学的发展,并投入大量资金加以支持。迄今为止,计算数学已成为数学中最活跃的分支之一。 语境(context)是二十世纪九十年代以来在语言哲学、分析哲学和科学哲学中普遍使用的一个概念。从哲学上讲,语境是一种实在,在语境的基底上,语形、语义和语用作为语言的三个要素实现了有机统一。从语境的角度分析问题就形成了语境分析法。“context”一词有“上下文”之义,所以与其他方法相比,语境分析法的长处在于不仅注重客体对象作为一个系统其内部诸要素的相互作用,而且注重客体对象作为整体与外部环境的相互关系。总的来说,语境是看待事物的一个非常重要的视角,语境分析法是分析事物的一个很有前途的方法。 计算数学作为一门新兴交叉学科,具有发展时间短,处于数学非中心地位的特点。并且我国计算数学发展相对落后,所以国内对计算数学发展史的研究很不充分,与计算数学在数学中的重要地位极不相称。有限元法是计算数学中一种成熟而有效的计算方法,本文研究的内容属于有限元法的发展史,限于结构与篇幅,文中暂不涉及有限元法后期的发展(这里后期是一个时间概念,包括有限元法在国内的发展,因为有限元法在我国提出较晚),仅在语境的视角下探讨有限元法的早期发展及其意义,希望能以此促进计算数学史的研究。 一、 有限元法的产生 语境论认为,“科学是内外语境相互作用的产物”,(,p.290)有限元法也不例外。它的产生有数学的内部原因,也有工程学的外部原因,下面我们来分析有限元法产生的内外语境。 从外部语境看,有限元法的产生主要是由于工程学的推动。二十世纪以来,大型民用设施的建设和军事设施的研发给科学技术的发展带来了一系列难题。首先,伴随着生产力的发展,在设计一些大型工程项目时,要用到新的工程学理论。比如虽然我们知道棒、梁、柱等简单组件在某些受力情况下的行为,但当大量的组件组成结构复杂的桥梁和其他建筑时,它们之间的受力关系就相当复杂,远超出了我们的分析能力。还有大型水坝建设中的应力计算问题也是当时的工程学理论不能解决的。其次,在第二次世界大战中,科技显示出了巨大的力量,战争双方为了军事斗争的需要,都十分重视军事设施的研发,这中间也产生了一些难题,比如下文提到的战斗机的机翼设计问题。上面的三个例子可分为两类:第一类,如何将简单的单元组成复杂的系统,第一个例子属于此类;第二类,如何将复杂的系统拆分成简单的单元,第二、三个例子属于此类。这两类问题均需要有限元法的理论来解决。 从内部语境看,有限元法的产生是为了解决黎兹(Ritz)-伽略金(Galerkin)方法在应用中遇到的困难。根据极小位能原理,求解某些微分方程时,可以求使微分方程相应的泛函达到极小值的函数,这个函数就是微分方程的解。实际应用此原理的困难在于如何使泛函在无穷维空间上达到极小值 1909年,黎兹发表了一篇文章,在其中他用有穷维空间近似代替无穷维空间。通过在有穷维空间中选取一组基函数,用基函数与未知参量的组合来表示微分方程的解,然后用极小位能原理求出未知参量,进而求解微分方程。这样得出的解在所选的有限维空间中是对真实解的最佳逼近。1915年,伽略金给出了在本质上完全一样的计算方法,不同的是他的理论基础是虚功原理。由于虚功原理比极小位能原理限制条件少,所以Galerkin方法比Ritz方法应用范围广。后来人们把他们的方法合称为黎兹-伽略金方法。 黎兹-伽略金方法在解决大型问题时会有许多原则性困难,主要有: 1.基函数的选取难以满足微分方程的边界条件。由于黎兹-伽略金方法在整个定义域上用单一的解析式定义基函数,所以当定义域不规则时,基函数很难满足边界条件。 2.计算量大。首先,在形成关于未知参量的方程时,要计算大量的积分;其次,解这些方程时,还要进行大量的计算。在没有计算机的情况下,稍微复杂点的方程就无法求解。 可以说,内外语境对有限元法产生的影响是双重的。一方面,很明显它们提出了一些旧理论不能解决的问题,刺激了有限元法的产生;另一方面,它们