运筹学
在中国战国时期,曾经有过一次流传后世的赛马比赛,相信大家都知道,这就是田忌赛马。田忌赛马的故事说明在已有的条件下,经过筹划、安排,选择一个最好的方案,就会取得最好的效果。可见,筹划安排是十分重要的。
现在普遍认为,运筹学是近代应用数学的一个分支,主要是将生产、管理等事件中出现的一些带有普遍性的运筹问题加以提炼,然后利用数学方法进行解决。前者提供模型,后者提供理论和方法。
运筹学的思想在古代就已经产生了。敌我双方交战,要克敌制胜就要在了解双方情况的基础上,做出最优的对付敌人的方法,这就是“运筹帷幄之中,决胜千里之外”的说法。
但是作为一门数学学科,用纯数学的方法来解决最优方法的选择安排,却是晚多了。也可以说,运筹学是在二十世纪四十年代才开始兴起的一门分支。
运筹学主要研究经济活动和军事活动中能用数量来表达的有关策划、管理方面的问题。当然,随着客观实际的发展,运筹学的许多内容不但研究经济和军事活动,有些已经深入到日常生活当中去了。运筹学可以根据问题的要求,通过数学上的分析、运算,得出各种各样的结果,最后提出综合性的合理安排,已达到最好的效果。
运筹学作为一门用来解决实际问题的学科,在处理千差万别的各种问题时,一般有以下几个步骤:确定目标、制定方案、建立模型、制定解法。
虽然不大可能存在能处理及其广泛对象的运筹学,但是在运筹学的发展过程中还是形成了某些抽象模型,并能应用解决较广泛的实际问题。
随着科学技术和生产的发展,运筹学已渗入很多领域里,发挥了越来越重要的作用。运筹学本身也在不断发展,现在已经是一个包括好几个分支的数学部门了。比如:数学规划(又包含线性规划;非线性规划;整数规划;组合规划等)、图论、网络流、决策分析、排队论、可靠性数学理论、库存论、对策论、搜索论、模拟等等。
各分支简介
数学规划的研究对象是计划管理工作中有关安排和估值的问题,解决的主要问题是在给定条件下,按某一衡量指标来寻找安排的最优方案。它可以表示成求函数在满足约束条件下的极大极小值问题。
数学规划和古典的求极值的问题有本质上的不同,古典方法只能处理具有简单表达式,和简单约束条件的情况。而现代的数学规划中的问题目标函数和约束条件都很复杂,而且要求给出某种精确度的数字解答,因此算法的研究特别受到重视。
这里最简单的一种问题就是线性规划。如果约束条件和目标函数都是呈线性关系的就叫线性规划。要解决线性规划问题,从理论上讲都要解线性方程组,因此解线性方程组的方法,以及关于行列式、矩阵的知识,就是线性规划中非常必要的工具。
线性规划及其解法—单纯形法的出现,对运筹学的发展起了重大的推动作用。许多实际问题都可以化成线性规划来解决,而单纯形法有是一个行之有效的算法,加上计算机的出现,使一些大型复杂的实际问题的解决成为现实。
非线性规划是线性规划的进一步发展和继续。许多实际问题如设计问题、经济平衡问题都属于非线性规划的范畴。非线性规划扩大了数学规划的应用范围,同时也给数学工作者提出了许多基本理论问题,使数学中的如凸分析、数值分析等也得到了发展。还有一种规划问题和时间有关,叫做“动态规划”。近年来在工程控制、技术物理和通讯中的最佳控制问题中,已经成为经常使用的重要工具。
排队论是运筹学的又一个分支,它有叫做随机服务系统理论。它的研究目的是要回答如何改进服务机构或组织被服务的对象,使得某种指标达到最优的问题。比如一个港口应该有多少个码头,一个工厂应该有多少维修人员等。
排队论最初是在二十世纪初由丹麦工程师艾尔郎关于电话交换机的效率研究开始的,在第二次世界大战中为了对飞机场跑道的容纳量进行估算,它得到了进一步的发展,其相应的学科更新论、可靠性理论等也都发展起来。
因为排队现象是一个随机现象,因此在研究排队现象的时候,主要采用的是研究随机现象的概率论作为主要工具。此外,还有微分和微分方程。排队论把它所要研究的对象形象的描述为顾客来到服务台前要求接待。如果服务台以被其它顾客占用,那么就要排队。另一方面,服务台也时而空闲、时而忙碌。就需要通过数学方法求得顾客的等待时间、排队长度等的概率分布。
排队论在日常生活中的应用是相当广泛的,比如水库水量的调节、生产流水线的安排,铁路分成场的调度、电网的设计等等。
对策论也叫博弈论,前面讲的田忌赛马就是典型的博弈论问题。作为运筹学的一个分支,博弈论的发展也只有几十年的历史。系统地创建这门学科的数学家,现在一般公认为是美籍匈牙利数学家、计算机之父——冯·诺依曼。
最初用数学方法研究博弈论是在国际象棋中开始的——如何确定取胜的着法。由于是研究双方冲突、制胜对策的问题,所以这门学科在军事方面有着十分重要的应用。近年来,数学家还对水雷和舰艇、歼击机和轰炸机之间的作战、追踪等问题进行了研究,提出了追逃双方都能自主决策的数学理论。近年来,随着人工智能研究的进一步发展,对博弈论提出了更多新的要求。
搜索论是由于第二次世界大战中战争的需要而出现的运筹学分支。主要研究在资源和探测手段受到限制的情况下,如何设计寻找某种目标的最优方案,并加以实施的理论和方法。在第二次世界大战中,同盟国的空军和海军在研究如何针对轴心国的潜艇活动、舰队运输和兵力部署等进行甄别的过程中产生的。搜索论在实际应用中也取得了不少成效,例如二十世纪六十年代,美国寻找在大西洋失踪的核潜艇“打谷者号”和“蝎子号”,以及在地中海寻找丢失的氢弹,都是依据搜索论获得成功的。
运筹学有广阔的应用领域,它已渗透到诸如服务、库存、搜索、人口、对抗、控制、时间表、资源分配、厂址定位、能源、设计、生产、可靠性、等各个方面。
分形几何
分形几何的产生
客观自然界中许多事物,具有自相似的“层次”结构,在理想情况下,甚至具有无穷层次。适当的放大或缩小几何尺寸,整个结构并不改变。不少复杂的物理现象,背后就是反映着这类层次结构的分形几何学。
客观事物有它自己的特征长度,要用恰当的尺度去测量。用尺来测量万里长城,嫌太短;用尺来测量大肠杆菌,又嫌太长。从而产生了特征长度。还有的事物没有特征尺度,就必须同时考虑从小到大的许许多多尺度(或者叫标度),这叫做“无标度性”的问题。
如物理学中的湍流,湍流是自然界中普遍现象,小至静室中缭绕的轻烟,巨至木星大气中的涡流,都是十分紊乱的流体运动。流体宏观运动的能量,经过大、中、小、微等许许多度尺度上的漩涡,最后转化成分子尺度上的热运动,同时涉及大量不同尺度上的运动状态,就要借助“无标度性”解决问题,湍流中高漩涡区域,就需要用分形几何学。
在二十世纪七十年代,法国数学家曼德尔勃罗特在他的著作中探讨了英国的海岸线有多长?这个问题这依赖于测量时所使用的尺度。
如果用公里作测量单位,从几米到几十米的一些曲折会被忽略;改用米来做单位,测得的总长度会增加,但是一些厘米量级以下的就不能反映出来。由于涨潮落潮使海岸线的水陆分界线具有各种层次的不规则性。海岸线在大小两个方向都有自然的限制,取不列颠岛外缘上几个突出的点,用直线把它们连起来,得到海岸线长度的一种下界。使用比这更长的尺度是没有意义的。还有海沙石的最小尺度是原子和分子,使用更小的尺度也是没有意义的。在这两个自然限度之间,存在着可以变化许多个数量级的“无标度”区,长度不是海岸线的定量特征,就要用分维。
数学家寇赫从一个正方形的“岛”出发,始终保持面积不变,把它的“海岸线”变成无限曲线,其长度也不断增加,并趋向于无穷大。以后可以看到,分维才是“寇赫岛”海岸线的确切特征量,即海岸线的分维均介于1到2之间。
这些自然现象,特别是物理现象和分形有着密切的关系,银河系中的若断若续的星体分布,就具有分维的吸引子。多孔介质中的流体运动和它产生的渗流模型,都是分形的研究对象。这些促使数学家进一步的研究,从而产生了分形几何学。
电子计算机图形显示协助了人们推开分形几何的大门。这座具有无穷层次结构的宏伟建筑,每一个角落里都存在无限嵌套的迷宫和回廊,促使数学家和科学家深入研究。
法国数学家曼德尔勃罗特这位计算机和数学兼通的人物,对分形几何产生了重大的推动作用。他在1975、1977和1982年先后用法文和英文出版了三本书,特别是《分形——形、机遇和维数》以及《自然界中的分形几何学》,开创了新的数学分支——分形几何学。
分形几何的内容
分形几何学的基本思想是:客观事物具有自相似的层次结构,局部与整体在形态、功能、信息、时间、空间等方面具有统计意义上的相似性,成为自相似性。例如,一块磁铁中的每一部分都像整体一样具有南北两极,不断分割下去,每一部分都具有和整体磁铁相同的磁场。这种自相似的层次结构,适当的放大或缩小几何尺寸,整个结构不变。
维数是几何对象的一个重要特征量,它是几何对象中一个点的位置所需的独立坐标数目。在欧氏空间中,人们习惯把空间看成三维的,平面或球面看成二维,而把直线或曲线看成一维。也可以稍加推广,认为点是零维的,还可以引入高维空间,对于更抽象或更复杂的对象,只要每个局部可以和欧氏空间对应,也容易确定维数。但通常人们习惯于整数的维数。
分形理论认为维数也可以是分数,这类维数是物理学家在研究混沌吸引子等理论时需要引入的重要概念。为了定量地描述客观事物的“非规则”程度,1919年,数学家从测度的角度引入了维数概念,将维数从整数扩大到分数,从而突破了一般拓扑集维数为整数的界限。
维数和测量有着密切的关系,下面我们举例说明一下分维的概念。
当我们画一根直线,如果我们用 0维的点来量它,其结果为无穷大,因为直线中包含无穷多个点;如果我们用一块平面来量它,其结果是 0,因为直线中不包含平面。那么,用怎样的尺度来量它才会得到有限值哪?看来只有用与其同维数的小线段来量它才会得到有限值,而这里直线的维数为 1(大于0、小于2)。
对于我们上面提到的“寇赫岛”曲线,其整体是一条无限长的线折叠而成,显然,用小直线段量,其结果是无穷大,而用平面量,其结果是 0(此曲线中不包含平面),那么只有找一个与“寇赫岛”曲线维数相同的尺子量它才会得到有限值,而这个维数显然大于 1、小于 2,那么只能是小数了,所以存在分维。经过计算“寇赫岛”曲线的维数是1.2618……。
分形几何学的应用
分形几何学已在自然界与物理学中得到了应用。如在显微镜下观察落入溶液中的一粒花粉,会看见它不间断地作无规则运动(布朗运动),这是花粉在大量液体分子的无规则碰撞(每秒钟多达十亿亿次)下表现的平均行为。布朗粒子的轨迹,由各种尺寸的折线连成。只要有足够的分辨率,就可以发现原以为是直线段的部分,其实由大量更小尺度的折线连成。这是一种处处连续,但又处处无导数的曲线。这种布朗粒子轨迹的分维是 2,大大高于它的拓扑维数 1
在某些电化学反应中,电极附近成绩的固态物质,以不规则的树枝形状向外增长。受到污染的一些流水中,粘在藻类植物上的颗粒和胶状物,不断因新的沉积而生长,成为带有许多须须毛毛的枝条状,就可以用分维。
自然界中更大的尺度上也存在分形对象。一枝粗干可以分出不规则的枝杈,每个枝杈继续分为细杈……,至少有十几次分支的层次,可以用分形几何学去测量。
有人研究了某些云彩边界的几何性质,发现存在从 1公里到1000公里的无标度区。小于 1公里的云朵,更受地形概貌影响,大于1000公里时,地球曲率开始起作用。大小两端都受到一定特征尺度的限制,中间有三个数量级的无标度区,这已经足够了。分形存在于这中间区域。
近几年在流体力学不稳定性、光学双稳定器件、化学震荡反映等试验中,都实际测得了混沌吸引子,并从实验数据中计算出它们的分维。学会从实验数据测算分维是最近的一大进展。分形几何学在物理学、生物学上的应用也正在成为有充实内容的研究领域。
突变理论
突变理论是20世纪70年代发展起来的一个新的数学分支。
突变理论的产生
许多年来,自然界许多事物的连续的、渐变的、平滑的运动变化过程,都可以用微积分的方法给以圆满解决。例如,地球绕着太阳旋转,有规律地周而复始地连续不断进行,使人能及其精确地预测未来的运动状态,这就需要运用经典的微积分来描述。
但是,自然界和社会现象中,还有许多突变和飞跃的过程,飞越造成的不连续性把系统的行为空间变成不可微的,微积分就无法解决。例如,水突然沸腾,冰突然融化,火山爆发,某地突然地震,房屋突然倒塌,病人突然死亡……。
这种由渐变、量变发展为突变、质变的过程,就是突变现象,微积分是不能描述的。以前科学家在研究这类突变现象时遇到了各式各样的困难,其中主要困难就是缺乏恰当的数学工具来提供描述它们的数学模型。那么,有没有可能建立一种关于突变现象的一般性数学理论来描述各种飞跃和不连续过程呢?这迫使数学家进一步研究描述突变理论的飞跃过程,研究不连续性现象的数学理论。
1972年法国数学家雷内·托姆在《结构稳定性和形态发生学》一书中,明确地阐明了突变理论,宣告了突变理论的诞生。
突变理论的内容
突变理论主要以拓扑学为工具,以结构稳定性理论为基础,提出了一条新的判别突变、飞跃的原则:在严格控制条件下,如果质变中经历的中间过渡态是稳定的,那么它就是一个渐变过程。
比如拆一堵墙,如果从上面开始一块块地把砖头拆下来,整个过程就是结构稳定的渐变过程。如果从底脚开始拆墙,拆到一定程度,就会破坏墙的结构稳定性,墙就会哗啦一声,倒塌下来。这种结构不稳定性就是突变、飞跃过程。又如社会变革,从封建社会过渡到资本主义社会,法国大革命采用暴力来实现,而日本的明治维新就是采用一系列改革,以渐变方式来实现。
对于这种结构的稳定与不稳定现象,突变理论用势函数的洼存在表示稳定,用洼取消表示不稳定,并有自己的一套运算方法。例如,一个小球在洼底部时是稳定的,如果把它放在突起顶端时是不稳定的,小球就会从顶端处,不稳定滚下去,往新洼地过渡,事物就发生突变;当小球在新洼地底处,又开始新的稳定,所以势函数的洼存在与消失是判断事物的稳定性与不稳定性、渐变与突变过程的根据。
托姆的突变理论,就是用数学工具描述系统状态的飞跃,给出系统处于稳定态的参数区域,参数变化时,系统状态也随着变化,当参数通过某些特定位置时,状态就会发生突变。
突变理论提出一系列数学模型,用以解是自然界和社会现象中所发生的不连续的变化过程,描述各种现象为何从形态的一种形式突然地飞跃到根本不同的另一种形式。如岩石的破裂,桥梁的断裂,细胞的分裂,胚胎的变异,市场的破坏以及社会结构的激变……。
按照突变理论,自然界和社会现象中的大量的不连续事件,可以由某些特定的几何形状来表示。托姆指出,发生在三维空间和一维空间的四个因子控制下的突变,有七种突变类型:折迭突变、尖顶突变、燕尾突变、蝴蝶突变、双曲脐突变、椭圆脐形突变以及抛物脐形突变。
例如,用大拇指和中指夹持一段有弹性的钢丝,使其向上弯曲,然后再用力压钢丝使其变形,当达到一定程度时,钢丝会突然向下弯曲,并失去弹性。这就是生活中常见的一种突变现象,它有两个稳定状态:上弯和下弯,状态由两个参数决定,一个是手指夹持的力(水平方向),一个是钢丝的压力(垂直方向),可用尖顶突变来描述。
尖顶突变和蝴蝶突变是几种质态之间能够进行可逆转的模型。自然界还有些过程是不可逆的,比如死亡是一种突变,活人可以变成死人,反过来却不行。这一类过程可以用折迭突变、燕尾突变等时函数最高奇次的模型来描述。所以,突变理论是用形象而精确的得数学模型来描述质量互变过程。
英国数学家奇曼教授称突变理论是“数学界的一项智力革命——微积分后最重要的发现”。他还组成一个研究团体,悉心研究,扩展应用。短短几年,论文已有四百多篇,可成为盛极一时,托姆为此成就而荣获当前国际数学界的最高奖——菲尔兹奖。
突变理论的应用
突变理论在在自然科学的应用是相当广泛的。在物理学研究了相变、分叉、混沌与突变的关系,提出了动态系统、非线性力学系统的突变模型,解释了物理过程的可重复性是结构稳定性的表现。在化学中,用蝴蝶突变描述氢氧化物的水溶液,用尖顶突变描述水的液、气、固的变化等。在生态学中研究了物群的消长与生灭过程,提出了根治蝗虫的模型与方法。在工程技术中,研究了弹性结构的稳定性,通过桥梁过载导致毁坏的实际过程,提出最优结构设计……。
突变理论在社会现象的一个用归纳为某种量的突变问题,人们施加控制因素影响社会状态是有一定条件的,只有在控制因素达到临界点之前,状态才是可以控制的。一旦发生根本性的质变,它就表现为控制因素所无法控制的突变过程。还可以用突变理论对社会进行高层次的有效控制,为此就需要研究事物状态与控制因素之间的相互关系,以及稳定区域、非稳定区域、临界曲线的分布特点,还要研究突变的方向与幅度。
模糊数学
二十世纪六十年代,产生了模糊数学这门新兴学科。
模糊数学的产生
现代数学是建立在集合论的基础上。集合论的重要意义就一个侧面看,在与它把数学的抽象能力延伸到人类认识过程的深处。一组对象确定一组属性,人们可以通过说明属性来说明概念(内涵),也可以通过指明对象来说明它。符合概念的那些对象的全体叫做这个概念的外延,外延其实就是集合。从这个意义上讲,集合可以表现概念,而集合论中的关系和运算又可以表现判断和推理,一切现实的理论系统都一可能纳入集合描述的数学框架。
但是,数学的发展也是阶段性的。经典集合论只能把自己的表现力限制在那些有明确外延的概念和事物上,它明确地限定:每个集合都必须由明确的元素构成,元素对集合的隶属关系必须是明确的,决不能模棱两可。对于那些外延不分明的概念和事物,经典集合论是暂时不去反映的,属于待发展的范畴。
在较长时间里,精确数学及随机数学在描述自然界多种事物的运动规律中,获得显著效果。但是,在客观世界中还普遍存在着大量的模糊现象。以前人们回避它,但是,由于现代科技所面对的系统日益复杂,模糊性总是伴随着复杂性出现。
各门学科,尤其是人文、社会学科及其它“软科学”的数学化、定量化趋向把模糊性的数学处理问题推向中心地位。更重要的是,随着电子计算机、控制论、系统科学的迅速发展,要使计算机能像人脑那样对复杂事物具有识别能力,就必须研究和处理模糊性。
我们研究人类系统的行为,或者处理可与人类系统行为相比拟的复杂系统,如航天系统、人脑系统、社会系统等,参数和变量甚多,各种因素相互交错,系统很复杂,它的模糊性也很明显。从认识方面说,模糊性是指概念外延的不确定性,从而造成判断的不确定性。
在日常生活中,经常遇到许多模糊事物,没有分明的数量界限,要使用一些模糊的词句来形容、描述。比如,比较年轻、高个、大胖子、好、漂亮、善、热、远……。在人们的工作经验中,往往也有许多模糊的东西。例如,要确定一炉钢水是否已经炼好,除了要知道钢水的温度、成分比例和冶炼时间等精确信息外,还需要参考钢水颜色、沸腾情况等模糊信息。因此,除了很早就有涉及误差的计算数学之外,还需要模糊数学。
人与计算机相比,一般来说,人脑具有处理模糊信息的能力,善于判断和处理模糊现象。但计算机对模糊现象识别能力较差,为了提高计算机识别模糊现象的能力,就需要把人们常用的模糊语言设计成机器能接受的指令和程序,以便机器能像人脑那样简洁灵活的做出相应的判断,从而提高自动识别和控制模糊现象的效率。这样,就需要寻找一种描述和加工模糊信息的数学工具,这就推动数学家深入研究模糊数学。所以,模糊数学的产生是有其科学技术与数学发展的必然性。
模糊数学的研究内容
1965年,美国控制论专家、数学家查德发表了论文《模糊集合》,标志着模糊数学这门学科的诞生。
模糊数学的研究内容主要有以下三个方面:
第一,研究模糊数学的理论,以及它和精确数学、随机数学的关系。察德以精确数学集合论为基础,并考虑到对数学的集合概念进行修改和推广。他提出用“模糊集合”作为表现模糊事物的数学模型。并在“模糊集合”上逐步建立运算、变换规律,开展有关的理论研究,就有可能构造出研究现实世界中的大量模糊的数学基础,能够对看来相当复杂的模糊系统进行定量的描述和处理的数学方法。
在模糊集合中,给定范围内元素对它的隶属关系不一定只有“是”或“否”两种情况,而是用介于0和1之间的实数来表示隶属程度,还存在中间过渡状态。比如“老人”是个模糊概念,70岁的肯定属于老人,它的从属程度是 1,40岁的人肯定不算老人,它的从属程度为 0,按照查德给出的公式,55岁属于“老”的程度为0.5,即“半老”,60岁属于“老”的程度0.8。查德认为,指明各个元素的隶属集合,就等于指定了一个集合。当隶属于0和1之间值时,就是模糊集合。
第二,研究模糊语言学和模糊逻辑。人类自然语言具有模糊性,人们经常接受模糊语言与模糊信息,并能做出正确的识别和判断。
为了实现用自然语言跟计算机进行直接对话,就必须把人类的语言和思维过程提炼成数学模型,才能给计算机输入指令,建立和是的模糊数学模型,这是运用数学方法的关键。查德采用模糊集合理论来建立模糊语言的数学模型,使人类语言数量化、形式化。
如果我们把合乎语法的标准句子的从属函数值定为1,那么,其他文法稍有错误,但尚能表达相仿的思想的句子,就可以用以0到1之间的连续数来表征它从属于“正确句子”的隶属程度。这样,就把模糊语言进行定量描述,并定出一套运算、变换规则。目前,模糊语言还很不成熟,语言学家正在深入研究。
人们的思维活动常常要求概念的确定性和精确性,采用形式逻辑的排中律,既非真既假,然后进行判断和推理,得出结论。现有的计算机都是建立在二值逻辑基础上的,它在处理客观事物的确定性方面,发挥了巨大的作用,但是却不具备处理事物和概念的不确定性或模糊性的能力。
为了使计算机能够模拟人脑高级智能的特点,就必须把计算机转到多值逻辑基础上,研究模糊逻辑。目前,模糊罗基还很不成熟,尚需继续研究。
第三,研究模糊数学的应用。模糊数学是以不确定性的事物为其研究对象的。模糊集合的出现是数学适应描述复杂事物的需要,查德的功绩在于用模糊集合的理论找到解决模糊性对象加以确切化,从而使研究确定性对象的数学与不确定性对象的数学沟通起来,过去精确数学、随机数学描述感到不足之处,就能得到弥补。在模糊数学中,目前已有模糊拓扑学、模糊群论、模糊图论、模糊概率、模糊语言学、模糊逻辑学等分支。
模糊数学的应用
模糊数学是一门新兴学科,它已初步应用于模糊控制、模糊识别、模糊聚类分析、模糊决策、模糊评判、系统理论、信息检索、医学、生物学等各个方面。在气象、结构力学、控制、心理学等方面已有具体的研究成果。然而模糊数学最重要的应用领域是计算机职能,不少人认为它与新一代计算机的研制有密切的联系。
目前,世界上发达国家正积极研究、试制具有智能化的模糊计算机,1986年日本山川烈博士首次试制成功模糊推理机,它的推理速度是1000万次/秒。1988年,我国汪培庄教授指导的几位博士也研制成功一台模糊推理机——分立元件样机,它的推理速度为1500万次/秒。这表明我国在突破模糊信息处理难关方面迈出了重要的一步。
模糊数学还远没有成熟,对它也还存在着不同的意见和看法,有待实践去检验。
偏微分方程
偏微分方程的起源 如果一个微分方程中出现的未知函数只含一个自变量,这个方程叫做常微分方程,也简称 微分方程;如果一个微分方程中出现多元函数的偏导数,或者说如果未知函数和几个变量 有关,而且方程中出现未知函数对几个变量的导数,那么这种微分方程就是偏微分方程。
在科学技术日新月异的发展过程中,人们研究的许多问题用一个自变量的函数来描述已经 显得不够了,不少问题有多个变量的函数来描述。比如,从物理角度来说,物理量有不同 的性质,温度、密度等是用数值来描述的叫做纯量;速度、电场的引力等,不仅在数值上 有不同,而且还具有方向,这些量叫做向量;物体在一点上的张力状态的描述出的量叫做 张量,等等。这些量不仅和时间有关系,而且和空间坐标也有联系,这就要用多个变量的 函数来表示。
偏微分方程的内容
偏微分方程是什么样的?它包括哪些内容?这里我
们可从一个例子的研究加以介绍。
弦振动是一种机械运动,当然机械运动的基本定律是质点力学的 F=ma,但是弦并不是质 点,所以质点力学的定律并不适用在弦振动的研究上。然而,如果我们把弦细细地分成若 干个极小极小的小段,每一小段抽象地看作是一个质点,这样我们就可以应用质点力学的 基本定律了。
弦是指又细又长的弹性物质,比如弦乐器所用的弦就是细长的、柔软的、带有弹性的。演 奏的时候,弦总是绷紧着具有一种张力,这种张力大于弦的重量几万倍。当演奏的人用薄 片拨动或者用弓在弦上拉动,虽然只因其所接触的一段弦振动,但是由于张力的作用,传 播到使整个弦振动起来。
用微分的方法分析可得到弦上一点的位移是这一点所在的位置和时间为自变量的偏微分 方程。偏方程又很多种类型,一般包括椭圆型偏微分方程、抛物型偏微分方程、双曲型偏 微分方程。上述的例子是弦振动方程,它属于数学物理方程中的波动方程,也就是双曲型 偏微分方程。
偏微分方程的解一般有无穷多个,但是解决具体的物理问题的时候,必须从中选取所需要 的解,因此,还必须知道附加条件。因为偏微分方程是同一类现象的共同规律的表示式, 仅仅知道这种共同规律还不足以掌握和了解具体问题的特殊性,所以就物理现象来说,各 个具体问题的特殊性就在于研究对象所处的特定条件,就是初始条件和边界条件。
拿上面所举的弦振动的例子来说,对于同样的弦的弦乐器,如果一种是以薄片拨动弦,另 一种是以弓在弦上拉动, 那么它们发出的声音是不同的。 原因就是由于“拨动”或“拉动”的那 个“初始”时刻的振动情况不同,因此产生后来的振动情况也就不同。
天文学中也有类似情况,如果要通过计算预言天体的运动,必须要知道这些天体的质量, 同时除了牛顿定律的一般公式外,还必须知道我们所研究的天体系统的初始状态,就是在 某个起始时间,这些天体的分布以及它们的速度。在解决任何数学物理方程的时候,总会 有类似的附加条件。
就弦振动来说,弦振动方程只表示弦的内点的力学规律,对弦的端点就不成立,所以在弦 的两端必须给出边界条件,也就是考虑研究对象所处的边界上的物理状况。边界条件也叫 做边值问题。 当然,客观实际中也还是有“没有初始条件的问题” 如定场问题(静电场、稳定浓度分布、 , 稳定温度分布等) ,也有“没有边界条件的问题” 如着重研究不靠近两端的那段弦,就抽象 , 的成为无边界的弦了。 在数学上,初始条件和边界条件叫做定解条件。偏微分方程本身是表达同一类物理现象的 共性,是作为解决问题的依据;
定解条件却反映出具体问题的个性,它提出了问题的具体 情况。方程和定解条件合而为一体,就叫做定解问题。
求偏微分方程的定解问题可以先求出它的通解,然后再用定解条件确定出函数。但是一般 来说,在实际中通解是不容易求出的,用定解条件确定函数更是比较困难的。
偏微分方程的解法还可以用分离系数法,也叫做傅立叶级数;还可以用分离变数法,也叫 做傅立叶变换或傅立叶积分。分离系数法可以求解有界空间中的定解问题,分离变数法可 以求解无界空间的定解问题;也可以用拉普拉斯变换法去求解一维空间的数学物理方程的 定解。对方程实行拉普拉斯变换可以转化成常微分方程,而且初始条件也一并考虑到,解 出常微分方程后进行反演就可以了。
应该指出,偏微分方程的定解虽然有以上各种解法,但是我们不能忽视由于某些原因有许 多定解问题是不能严格解出的,只可以用近似方法求出满足实际需要的近似程度的近似 解。
常用的方法有变分法和有限差分法。变分法是把定解问题转化成变分问题,再求变分问题 的近似解;有限差分法是把定解问题转化成代数方程,然后用计算机进行计算;还有一种 更有意义的模拟法,它用另一个物理的问题实验研究来代替所研究某个物理问题的定解。 虽然物理现象本质不同,但是抽象地表示在数学上是同一个定解问题,如研究某个不规则 形状的物体里的稳定温度分布问题,在数学上是拉普拉斯方程的边值问题,由于求解比较 困难,可作相应的静电场或稳恒电流场实验研究,测定场中各处的电势,从而也解决了所 研究的稳定温度场中的温度分布问题。
随着物理科学所研究的现象在广度和深度两方面的扩展,偏微分方程的应用范围更广泛。 从数学自身的角度看,偏微分方程的求解促使数学在函数论、变分法、级数展开、常微分 方程、代数、微分几何等各方面进行发展。从这个角度说,偏微分方程变成了数学的中心。
篇幅有限,还有一些大的数学分支尚未介绍,比如 分析学(实分析,复分析,调和分析),随机数学等,具体到应用数学的二级分支,均未涉及到。
转载于算法与数学之美
数学英才
中学生英才计划
数学学科官方公众号
推送数学微慕课和学习资料
*shuxueyingcai