浅谈微分方程的起源与发展史_第1页
浅谈微分方程的起源与发展史_第2页
浅谈微分方程的起源与发展史_第3页
浅谈微分方程的起源与发展史_第4页
浅谈微分方程的起源与发展史_第5页
已阅读5页,还剩17页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、浅谈微分方程的起源与发展史摘要:微分方程起源于17世纪,简单的微分方程分别是牛顿、莱布尼茨和伯努利从几何和力学问题上解决的问题。这些早期发现开始于1690年,这逐渐导致一些特殊的微分方程的“特殊技能”的发展。虽然这些特殊的技术只适用于相对较少的情况下,但是他们可以解决许多微分方程在力学和几何中的问题,所以,他们的研究具有非常重要的现实意义。这些特殊的方法和问题,将有助于我们解决很多问题。引言:很多的科学问题是需要人们根据事物的变化率来确定事物的特征。比如,我们可以试着用已知的速度或加速度来计算粒子的位置,又比如,一些放射性物质可能是已知的衰变率,这就要求我们在一个给定的时间内确定材料的总量。通

2、过这些例子,我们可以发现,如果知道自变量、未知函数以及函数的导数(或者微分)组成的关系式,得到的就是微分方程。最后再通过微分方程求出未知函数。关键字:微分方程 起源 发展史 一、微分方程的思想萌芽 微分方程就是联系着自变量,未知函数以及其导数的关系式。微分方程理论的发展是跟随着微积分理论的建立发展起来的,一般地,客观世界的时间要服从一定的客观规律,这种连接,用数学语言表达,即是抽象为微分方程,一旦获得或研究的解决方案是明确的空气动力学行为,变量之间的规律是一目了然的。例如在物体运动中,唯一的计算就与瞬间速度之间有着紧密的联系,其结果往往形成一个微分方程,一旦求出解或研究清楚气动力学行为,就明确

3、的掌握了物体的运动规律。 1.1微分方程的起源:微分方程起源于17世纪,简单的微分方程分别是牛顿、莱布尼茨和伯努利从几何和力学问题上解决的问题。这些早期发现开始于1690年,这逐渐导致一些特殊的微分方程的“特殊技能”的发展。1.2微分方程在实际问题中的应用:运用微分方程理论解决一些实际问题,即根据生物学,物理学,化学,几何学等学科的实际问题及相关知识建立微分方程,讨论该方程解的性质,并由所得的解或解的性质反过来解释该实际过程。物质运动和它的变化规律在数学上是用函数关系描述的,但是在实际问题中往往不能直接写出反映运动规律的函数,却比较容易建立这些变量与他们的导数之间的关系式,即微分方程。只有一个

4、自变量的微分方程称为常微分方程,简称微分方程。例1 传染病模型传染病(瘟疫)经常在全世界各地流行,假设传染病传播期间其他地区的总人数不变,为常数,最开始的染病人数为,在时的健康人数为,染病人数为。因为 总人数为常数所以可得到式子 假设单位时间内一个病人能传染的人数与当时的健康人数成正比,且比例常数为,称为传染系数,于是即可得到式子 由和可得 这个模型就是SI模型,即易感染者模型和已感染者模型。对于无免疫的传染性疾病如痢疾、伤风等等,病人在治愈以后还会有再次被感染的危险。所以我们可以假设单位时间内的治愈率为,那么方程就应该修改为 由和可得 , 这个模型称为SIS模型,就是这个传染病的平均传染期,

5、为整个传染期内每个病人有下接触的平均人数(平均接触数)。对于很强免疫性的传染性疾病例如天花、流感等等,病人治愈以后不会有再被传染的机会。我们就可以假设在时刻的治愈后的免疫人数为,称为移出者,且治愈率为常数,所以可得 根据、和可得 这个模型称为SIR模型,综上所述三个类型的传染病模型、和均为微分方程微分方程就是根据此种生物类型的实际问题和其他的物理、几何、化学等的实际问题所受到的启发。2、 微分方程的推导 1.1术语和记号 当我们用微分方程处理问题时,习惯性地用替代,用替代,更高阶的导数可以记为、等。当然其他字母,如,等等都可以用来代替.微分方程的阶,意思是出现在其中的导数的最高阶数。

6、例如,是一阶,微分方程就是一个二阶方程。 1.2 微分方程的推导 三、微分方程有哪些类型微分方程的类型:常微分方程(自变量的个数 1个);偏微分方程(自变量的个数2或2个以上) 1.1 常微分方程(自变量的个数只有1个): 上述两个常微分方程(自变量: 未知函数:) 常微分方程的发展阶段: 发展初期就是对具体的常微分方程希望能用初等函数或超越函数表示其解,属于“求通解”时代。莱布尼茨(Leibniz)曾经专门有研究利用变量变换解决一阶微分方程的求解问题。 早期的常微分方程的求解热潮被刘维尔(Liouville)于1841年证明里卡帝方程不存在一般的初等解而中断。再加上柯西(Cauchy)初值问

7、题的提出,常微分方程从“求通解”转向了“求定解”时代。首先是对常微分方程定解问题包括初值和边值问题的解的存在性、唯一性等解的性质的研究;其次,是针对线性微分方程,特别是二阶线性微分方程,通过专门定义一些特殊函数以求解特殊方程,比如贝塞尔(Bessel)函数、勒让德(Legendre)多项式等,这就促成了微分方程与复变函数论结合产生微分方程解析理论。最后,因为天文计算的需要促进了常微分方程摄动理论以及小参数、幂级数等近视方法的研究。 19世纪末,天体力学中的太阳系稳定性问题需要研究常微分方程解的大范围形态,从而使常微分方程的研究从“求定解问题”转为“求所有解”的新时代。 首先,庞加莱创立了定性理

8、论和方法研究常微分方程解的大范围性态。因为希尔伯特(Hilbert)提出20世纪23个数学问题中关于极限环个数的第16问题,大大促进了定性理论的发展。 然后,就是李雅普诺夫(Lyapunov)提出的运动稳定性理论,用于解决方程解的初值扰动不影响原方程解得趋势问题,在工程技术、天文、以及物理中得到广泛应用,先后在前苏联,美国都受到了很大的重视。 最后,20世纪初,伯克霍夫(Birkhoff)在动力系统方面开创了一个新的领域,因为拓扑方法的渗入,20世纪50年代后经阿诺的(Arnold)、斯梅尔(Smale)等数学界的加入和参与,从而得到了蓬勃发展。 20世纪六七十年代以后,常微分方程由于计算机技

9、术的发展从而迎来了一个新的时期,从“求所有解”转化为“求特殊解”的一个时代,还发现了具有新性质的特殊的解和方程。在20世纪60年代洛伦兹发现了成为Lorenz方程的常微分方程,对初值敏感的特性导致了混沌现象发现引起了科学界的巨大震动,斯梅尔称之为“利用牛顿的定律推翻了牛顿决定论”。 常微分方程的研究还跟其他领域和学科相结合,从而出现各种新的研究分支,比如说时标微分方程、脉动微分方程、分支理论、控制论、泛函微分方程、种群生态学、广义微分方程等。例2 化学动力模型 1972年,化学家Schlogt提出了分子反省的化学动力学模型。设想一个化学反应体系内部包含三种化学成分、和,、是反应物,为中间产物,

10、进行这样一组化学反应: , 即类的一个分子反应后变为类的一个分子;类得一个分子与类的两个分子反应后变成3个类分子,相应的反应率分别为和;同时假定反应是可逆的,相应的反应率分别为和,此处、均为正常数;、分别代表类、类和类的分子数。 既定反应过程不涉及任何热效应,所有成分组成一个理想溶液,反应动力学满足质量作用定律,于是有反应引起的各组成成分浓度的变化速率为 当反映的条件是固定时,所有速率系数都是恒定的,设除了由于化学反应以外各成分的浓度还是可以通过和外界环境的交换而变化,其中成分与外界的交换速率为,于是各成分浓度的变化方程为 如果只有成分和成分可以和外界交换,并通过交换而维持它们在体系中的浓度恒

11、定,成分并不能和外界交换,它的浓度完全决定与体系内部的动力学,所以就有方程 在这种情况下体系的状态仅有单个变量来表征,并且有 这就是Schlogt单分子化学动力学模型。 考虑有两个中间变量的化学反应体系 但这些发行步骤的总结果是 其中和是反应物和产物,假定他们的浓度可由外界控制为恒定,和是两种反应中的中间产物,他们的浓度可以自由发展,逆反应过程可以完全忽略(自催化),则有反应方程 这是一类双分子化学动力学模型。 现设一开放的体系中进行着下面一系列化学反应 假定反应过程是恒定和均匀的,产物,一经产生即可除去,反应物浓度很高,无扩散,此时对和的反应动力学方程为 化简上述式子可得: 此式子是3分子化

12、学动力学模型。 终上所述、和分子的化学反应模型均为常微分方程。 1.2偏微分方程:偏微分方程是微分方程中出现的未知函数只含一个自变量,如果一个微分方程中出现多元函数的偏导数,或者说如果未知函数和几个变量有关,而且方程中出现未知函数对应几个变量的导数,那么这种微分方程就是偏微分方程(自变量的个数为2个或2个以上)。 上述微分方程的自变量:、 未知函数: 因为上述微分方程的自变量个数为3,所以该微分方程为偏微分方程。 此微分方程的自变量:、 未知函数:因为此微分方程的自变量个数为2,所以该微分方程为偏微分方程。1.2.1 偏微分方程为题的来源 偏微分方程是由最初研究直接来源于几何和物理的问题最后发

13、展到一个独立的数学分支,它的内容比较庞大复杂,方法多种多样。偏微分方程所讨论的问题也不仅仅是来源于几何、化学、物理、生物、力学等学科的问题,而且再解答这些问题是运用到了现代数学的许多工具。近几十年来,在这个领域研究的工作,特别是对非线性方程的理论、运用以及计算方法的研究都能起到了极大的推动作用,十分活跃。 自然界中的各种运输现象,比如分子扩散过程和热传导过程等等,都是可以用票无形偏微分方程的。自然界中各种稳定的物理现象,比如浓度分布、稳定的温度分布、无旋稳定恒电流场、静电场等与时间无关的自然现象,那么这就可以建立位势方程这样的数学模型了,这就是纯正的数学中椭圆型微分方程进入稳定的物理现象的中间

14、桥梁。自然界是一个特别大的系统,所以必然现象不过只是他其中的一个子系统。然而波动系统、运输现象和稳定的物理现象又是必然现象的下一层次的三个子系统。与之相对应的用来描述必然现象的数学模型的经典数学,它们分别是双曲型、抛物型以及椭圆型偏微分方程这三个字系统。所以,同样是自然界中的必然现象,但还是存在着层次上的差别。我们最后在建立数学模型的时候,应该建立那种模型,这就需要我们具体问题具体分析了。1.2.2偏微分方程的发展过程 在十八世纪,欧拉在他的著作中最早的提出了弦振动的而解方程而后不就,法国数学家达朗贝尔也在他的著作论动力学中提出了特殊的偏微分方程。在1747年的时候,达朗贝尔又在他的论文张紧的

15、弦振动时形成的曲线的研究中有明确的说出弦的震动所满足的偏微分方程,并且还给出了其通解。而且还提议说证明无穷多种和正弦曲线不同的曲线是振动的模式。就这样由对弦振动的研究开创了偏微分方程这门学科。所以说,达朗贝尔那次所发表的论文张紧的弦振动时形成的曲线的研究就被看作为偏微分方程论的开端。不仅如此,丹尼尔·贝努利也有研究数学物理方面的问题,并且还提出了了解弹性系振动问题的一般方法,这对偏微分方程的发展也起了比较大的作用。还有拉格朗日也有讨论一阶偏微分方程,更加丰富了这门学科的内容。 偏微分方程是在十九世纪得到了迅速的发展,因为那时候有许多的数学物理问题的研究都多了起来,而且也有许多的数学家

16、对那些问题的解决都做出了贡献。现在我们就谈一谈这其中的一位,他就是法国的数学家傅里叶,在他年轻的时候,他就是一个很出色的数学学者。他在对热流动的研究中,写出了热的解析理论,并且他在文章中提出了三维空间的热方程,而且他还解决它特殊条件下的热传导问题,也就是满足边界条件和初始条件的偏微分方程的求解。这种热方程就是一种偏微分方程。他的研究对于偏微分方程的发展有着非常大的影响。1.2.3 偏微分方程的发展趋势 随着物理学研究现象的广度和深度的拓展,偏微分方程的运用范围就更加的广泛。我们从数学自身的角度看,可以发现偏微分方程的求解促使着数学在函数论、常微分方程、微分几何、变分法、代数、级数展开的方面进行

17、发展。由此可见,偏微分方程就变成了数学的中心。 20世纪很多数学家和物理学家在关于数学物理方程的研究有着前所未有的发展,这些发展有着如下的特点以及趋势: 1.在很多大自然科学以及工程技术中所提及的数学问题大多都是非线性偏微分方程,即使是有部分的线性偏微分方程的问题,但是由于最后研究的深入,我们还是要考虑非线性偏微分方程的问题,而且研究非线性偏微分方程难度很大,但是对线性偏微分方程的已有结论很有启示。 2.实践中的问题大多数都是由多种因素相互影响、相互作用的。所以有很多数学模型都是由非线性偏微分方程组成的。比如说:电磁流体力学方程组、反应扩散方程组、辐射流体方程组、流体力学方程组等等,这在数学上

18、称之为双曲-抛物线方程组。 3.偏微分方程现在不仅仅只是描述力学、物理等的数学模型,而且还能描述生物学、化学、农业、医学以及环保领域,甚至还在经济等社会科学领域都能不断的提出一些重要的偏微分方程。 4.随着科技的不断发展,偏微分方程也在不断的发展、进步和完善。 例3马尔萨斯模型(偏微分方程在人口问题中的应用)人口问题是大家都很感兴趣的问题(这里所说的人口是广义的,并不一定限于人,可以是任何一个与人有类似性质的生命群体)。对人口的发展进行研究最先所采用的大多是常微分方程模型。设想表示时刻的人口总数,为初始时刻时人口总数,表示人口净增长率。马尔萨斯模型只在群体总数不太大时才合理。因为当生物群体总数

19、增大时,生物群体的各成员之间由于有限的生存空间、有限的自然资源及食物等原因,就要进行生存竞争。而马尔萨斯模型仅考虑了群体总数的自然线性增长项,没有考虑生存竞争对群体总数增长的抵消作用。因此在群体总数大了以后,马尔萨斯模型就不再能预见群体发展趋势,这时就要采用威尔霍斯特模型: 其中,称为生命系数,而且比要小很多。就是考虑到生存竞争而引入的竞争项。当群体总数不太大时,由于比小很多,则可以略去上面方程中右端的第二项而回到马尔萨斯模型。但是当群体总数增大到一定的程度时,上面方程中右端的第二项所产生的影响就不能忽略。 不论是马尔萨斯模型还是维尔霍斯特模型,它们都是将生物群体中的每一个个体视为同等地位来对

20、待,这个则只适用于低等动物。对于人类群体来说,必须考虑不同个体之间的差别,特别是年龄因素的影响。人口的数量不仅和时间有关,还应该和年龄有关,而且人口的出生、死亡等都和年龄有关。不考虑年龄因素就不能正确的把握人口的发展动态。这时,就必须给出用偏微分方程描述的人口模型: 其中,表示任意时刻按年龄的人口分布密度,表示年龄为的人口死亡率,表示年龄为的人的生育率,表示可以生育的最低年龄,表示人的最大年龄。 对于上述偏微分方程模型成立如下结论:定理1:对偏微分方程的处置问题,如果下列条件成立:A. 在区间上,且适当光滑;B. 在区间上,且适当光滑,并且当时,及;C. ;D. 。则该初边值问题存在唯一的整体

21、解并且满足且。 该模型在经过适当的简化假设后,例如假设,就可以回到前面的常微分方程模型。但在偏微分方程模型中、均与年龄有关,这与现实情况相符。因此,片微分方程模型确实更进一步、更能精确地描述人口分布的发展过程。四求微分方程的解1.1 基本概念 微分方程的解:代入微分方程能使其两端成为恒等式的函数,称为微分方程的解(这个函数的图形,称为该微分方程的积分曲线)。微分方程的通解:如果微分方程的解中含有独立的任意常数,且任意常数的个数与微分方程的阶数相同,则这样的解称为微分方程的通解。附注:所为函数含有个独立常数、,是指存在()的某个邻域,使得行列式,其中表示对的阶导数。微分方程的初始条件:确定微分方

22、程通解中任意常数所给出的条件,称为定解条件. 如果这样的定解条件是在同一时刻给出的,称为微分方程的初始条件。 微分方程的特解:由初始条件定出通解中的任意常数后得到的解,称为微分方程的特解. 附注:有的参考书上将微分方程的特解定义为:由初始条件定出通解中的任意常数后得到的解或不含任意常数的解,称为微分方程的特解. 这个定义比教材上更广泛些. 例如,对于微分方程,其通解为.易证函数也是该方程的解,但他不能由通解中去适当的常数得到。按照教材的定义,他就不是特解。1.2 微分方程的类型及解法1.2.1一阶微分方程 .可变量分离的微分方程。 形如 或 的微分方程,称为可变量分离的微分方程。这里可假设,分

23、别是,的连续函数。 当时,方程可写成 两端分别积分可以得到原方程的通解 如果存在使得,则也是该方程的解。附注:这种形式的解,有时可能包含在通解中(即可在通解中取适当的常数得到),有时不包含在通解中(即在通解中取任意常数都得不到这种解). 另一方面,若只求方程的通解,可不考虑这种形式的解。例4.求解方程解: 将变量分离,得到 两边同时积分,可得 因而,通解可得 这里为任意正常数。或者解出,写出显函数形式的解 例5.求解人口增长的logistic模型 解:应用变量方法并对分式分解化为 两边积分可得 其中为任意常数,化解方程可得 解得 其中将初值条件时,,代入得 最后得解 .齐次微分方程 如果一阶微

24、分方程中的可以写成的函数,即 则称这方程为齐次微分方程。求解方法是作变量代换后将其化为可分离变量方程,然后求解。令,即,于是将此代入可得 ,即 ,两边同时积分,可得 ,求出积分后,再用代替便可以得到齐次微分方程的通解。例6.求解方程解: 这是齐次微分方程,以及代入,则原微分方程变为 即 将上式分离变量,既有 两边积分可得 这里是任意常数,化简方程可得 令,可得 此外方程还有解 即 如果在中允许,则也就包括在中,这就是说,方程的通解为。 带回原来的变量,得到原微分方程的通解为 例7.探照灯反射镜面的形状。 在制造探照灯的反射镜面时,总是要求将点光源射出的光线平行地反射出去,以保证探照灯有良好的方

25、向性,试求反射镜面的几何形状。解:取光源所在处为坐标原点,而轴平行于光的反射方向,如图(1),设所求曲面有曲线 绕轴旋转而成,则求反射镜面的问题归结为求平面上的曲线的问题。过曲线上任一点做切线,则由光的反射定律:入射角等于反射角,可推出 从而 注意到 及,就得到函数所应满足的微分方程式为 这是齐次线性方程组。令可将它化为变量分离方程,以和代入,则原微分方程可变为 于是 经化简后可得 其中为任意正常数。微分方程就是所求的平面曲线,它就是抛物线,所以反射镜面的形状为旋转抛物面 .一阶线性微分方程 形如 的方程,称为一阶线性微分方程。其中,在考虑的区间上是的连续函数。若,则式可变为 则式称为一阶齐次

26、线性微分方程。式是变量分离方程,并且它的通解为 这里的为任意常数。若,则式就称为一阶非齐次线性微分方程。不难看出,是的特殊情形,所以可以设想:在中,将常数变易为的待定函数。令 微分后可得 将和代入可得 即 积分后可得 这里的为任意的常数,将代入,得到方程的通解: 这种将常数变易为待定函数的方法,我们通常称为常数变易法。附注:与非线性方程不同,线性方程的通解包含了方程的所有解。求方程例8.求方程的通解,这里为常数。 解:将原方程改写为 首先,求齐次线性微分方程 的通解,由,经变量分离后得到此齐次线性微分方程的通解为 其次应用常数易变法求非齐次线性微分方程的通解,为此,在上式中把看成为的待定函数,

27、即 微分后可得 把和代入可得 因此将所求的代入,即可得原方程的通解 这里为任意常数。.伯努利微分方程形如 的方程称为伯努利微分方程,这里,为的连续函数,是常数。利用变量变化可将伯努利微分方程化为线性微分方程。事实上,对于,用乘以公式可得 引入变量变换 从而 将和代入可得 例9.求方程的通解。解:这是时的伯努利微分方程,令 算得 代入原微分方程可得 这是线性微分方程,求得它的通解为 或这就是原方程的通解。此外,方程还有解.恰当微分方程形如 写成微分的形式 或把,平等看待,写成下面具有对称形式的一阶微分方程 这里假设,在某矩形域内,的连续函数,且具有连续的一阶偏导数。如果方程的左端恰好是某个二元函

28、数的全微分,即 则称为恰当微分方程。例10.求的通解。 解:令,,这时 ,因此方程是恰当微分方程。现在求,是它同时满足如下两个方程: 由对积分,得到 为了确定,将对求导数,并使它满足,既得 于是 积分后可得 将代入,得到 因此,方程的通解为 这里是任意函数。5 定性理论和稳定性理论.定性理论:几何方法研究微分方程,在不求解的情况下,直接考察微分方程的系数和方程本身的结构,从而研究解的性质(比如曲线的形状、结构与趋势等)。由法国数学家庞加莱(Poincaré,1854-1912)在19世纪80年代所创立.稳定性理论:定性理论的延伸和发展。由俄国数学家李雅普罗夫(Liapunov,1857-1918)在同年代所创立,所以也称为李雅普诺夫。让我们从一个简单的方程谈起,考虑一阶非

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论