1、毕业论文文献综述 信息与计算科学 浅谈常微分方程的数值解法及其应用 一、 前言部分 微分方程差不多是和微积分同时先后产生的,苏格兰数学家耐普尔创立 对数的时候,就讨论过微分方程的近似解 .牛顿在建立微积分的同时,对简单的微分方程用级数来求解 .后来瑞士数学家雅各布 贝努利、欧拉、法国数学家克雷洛、达朗贝尔、拉格朗日等人又不断地研究和丰富了微分方程的理论 . 微分方程的理论逐步完善的时候,利用它就可以精确地表述事物变化所遵循的基本规律,只要列出相应的微分方程,有了解方程的方法 .微分方程也就成了最有生命 力的数学分支 .总之 , 力学、天文学、几何学等领域的许多问题都导致微分方程 .在当代,甚至
2、许多社会科学的问题亦导致微分方程,如人口发展模型、交通流模型 等 .因而微分方程的研究是与人类社会密切相关的 . 1 “ 常微分方程 ” 是理学院数学系所有专业学生的重要专业基础课之一,也是工科、经济等专业必学内容之一 .其重要性在于它是各种精确自然科学、社会科学中表述基本定律和各种问题的根本工具之一,换句话说,只要根据实际背景,列出了相应的微分方程,并且能(数值地或定性地)求出这种方程的解,人们就可以预见到,在已知条件下这种或那种 “ 运动 ” 过程将怎样进行,或者为了实现人们所希望的某种 “ 运动 ” 应该怎样设计必要的装置和条件等等 .例如,我们要设计人造卫星轨道,首先,根据力学原理,建
3、立卫星运动的微分方程,列出初始条件,然后求出解,即卫星运行轨道 .随着物理科学所研究的现象在广度和深度两方面的扩展,微分方程的应用范围更广泛 . 2从数学自身的角度看,微分方程的求解促使数学在函数论、变分法、级数展开、常微分方程、代数、微分几何等各方面进行发展 .从这个角度说,微分方程变成了数学的中心 . 3 总之,微分方程从它诞生起即日益成为人类认识并进而改造 自然、社会的有力工具,成为数学科学联系实际的主要途径之一 .文章就常微分的数值解法以及应用展开简单的论述。 二、 主体部分 2.1微分方程 概念介绍 2.1.1 微分方程概况 由一元函数得到的方程 .即:称含有自变量,未知函数及其导数
4、的关系式 22( , , , , ., ) 0nnd y d y d yF x y d x d x d x . ( 1) 为常微分方程 .其中出现的最高阶导数的阶数,叫做常微分方程的阶 .例如 dydx x ,dy ydx ,是一阶常微分方程 . 2 2 sin 0dgdt p 是二阶常微分方程 .设 )(xy 定义于 区间 J 上,有直到 n 阶的导数,将它代入( 1),使( 1)变成关于 x 的恒等式,即 ( ) ( )( , ( ) , , . . . , ) 0 ,n nd x d xF x x x Jd x d x . 就称 y ()x 为( 1)的一个定义于 J 上的解,并称 J
5、为该解的定义区间 . 4 如果一个微分方程中出现多元函数的偏导数,或者说如果未知函数和几个变量有关,而且方程中出现未知函数对几个变量的导数,那么这种微分方程就是偏微分方程 . 2.2微分方程产生的历史背景 微分方程差不多是和微积分同时先后产生的,苏格兰数学家耐普尔创立 对数的时候,就讨论过微分方程的近似解 .牛顿 在建立微积分的同时,对简单的微分方程用级数来求解 。 后来瑞士数学家雅各布 贝努利、欧拉、法国数学家克雷洛、达朗贝尔、拉格朗日等人又不断地研究和丰富了微分方程的理论 。 微分方程的形成与发展是和力学、天文学、物理学,以及其他科学技术的发展密切相关的 .数学的其他分支的新发展,如复变函
6、数、李群、组合拓扑学等,都对微分方程的发展产生了深刻的影响,当前计算机的发展更是为常微分方程的应用及理论研究提供了非常有力的工具 . 5 牛顿研究天体力学和机械力学的时候,利用了微分方程这个工具,从理论上得到了行星运动规律 .后来,法国 天文学家勒维烈和英国天文学家亚当斯使用微分方程各自计算出那时尚未发现的海王星的位置 .这些都使数学家更加深信微分方程在认识自然、改造自然方面的巨大力量 . 微分方程的理论逐步完善的时候,利用它就可以精确地表述事物变化所遵循的基本规律,只要列出相应的微分方程,有了解方程的方法 .微分方程也就成了最有生命力的数学分支 .总之 , 力学、天文学、几何学等领域的许多问
7、题都导致微分方程 .在当代,甚至许多社会科学的问题亦导致微分方程,如人口发展模型、交通流模型 等 .因而微分方程的研究是与人类社会密切相关的 . 6 2.3 微分方程 发展现状及其基本功能 在数学学科内部的许多分支中,微分方程是常用的重要工具之一,微分方程进一步发展的需要,有推动着其它数学分支的发展;相反,微分方程每一步进展都离不开其他数学分支的支援 .数学的其他分支的新发展,如复变函数、李群、组合拓扑学等,都对微分方程的发展产生了深刻的影响 .当前计算机的发展更是为微分方程的应用及理论研究提供了非常有力的工具 .时至今日,可以说微分方程在所有自然科学领域和众多社会科学领域都有着广泛的应用 ,
8、 如 自动控制、各种电子学装置的设计、弹道的计算、飞机和导弹飞行的稳定性的研究、化学反应过程 稳定性的研究等 .只要 能够 列出相应的微分方程,有了解方程的方法 , 利用它就可以精确地表述事物变化所遵循的基本规律 .从微积分理论形成以来,人们一直用微分方程来描述、解释或预见各种自然现象,不断的取得了显著的成效 . 7 2.4常微分方程的数值求解方法 2.4.1 Euler 法 Euler 法是最简单的数值方法, , ab 为求解良态初值问题 ( , )y f t y , 0()ya y 的区间。实际上,下面的过程 不是要找到满足该初值问题的可微函数,而是要生成点集( , )kkty ,并且将这
9、些点作为近似解,即 ()kkyt y 。如何构造“近似满足微方程”的“点集”呢?首先为这些点选择横坐标,为方便起见,将区间 , ab 划分为 M 个等距子区间,并选择网络点 kt a kh , k=0, 1, , M 其中 bah M ( 1) 值 h 称为步长。然后近似解 ( , )y f t y 在 0 , Mtt 上, 00()yt y ( 2) 设 ()yt , ()yt和 ()yt连续,;利用泰勒定理将 ()yt 在 0tt 处展开,对每个值 t ,存在一个 0t 和 t 之间的值 1c ,使得 2 100 0 0 ( ) ( )( ) ( ) ( ) ( ) 2y c t ty t
10、 y t y t t t ( 3) 将 00( ) ( , ( )y t f t y t 和 10h t t代人等式( 3),得到 1()yt 的表示: 211 0 0 0 ()( ) ( ) ( , ( ) ) 2y c hy t y t h f t y t ( 4) 如果步长 h 足够小,则可以忽略 2 次项(包含 2h 的项),得到 1 0 0 0( , )y y hf t y ( 5) 这就是欧拉近似。 重复该过程,就能得到近似解曲线 ()y yt 的一个点序列。欧拉方法的一般步骤是 1kkt t h , 1 ( , )k k k ky y hf t y 其中 k = 0, 1, ,
11、M-18( 6) 2.4.2 泰勒级数法 泰勒级数法有着广泛的应用,并且是比较求解初值问题的各种不同数值方法的标准,它可设计为任意指定的精度。下面首先将泰勒定理用新的公式表示,使之适合于求解微分方程。 定理 9.5(泰勒定理)设 1() Ny t C 0 , tb,且 ()yt 在不动点 0 , kt t t b 处有 N 次泰勒级数展开: 1( ) ( ) ( , ( ) ) ( )Nk k N k ky t h y t h T t y t O h ( 1) 其中, () 11()( , ( ) ) !jN jkN k kjytT t y t hj ( 2) ( ) 1( ) ( , ( )
12、jjy t f t y t 表示函数 f 关 t 的( 1j )次全导数。求导公式可以递归地计算: ( 3 ) 2 2( 4 ) 2 32 3 2()()( ) 2 ( ) 2 ( )3 3 ( ) 3 3 ( )( 3 3 ) ( 2 )t y t ytt y t y y y tt y t y y y t yttt y tt y y t ty y y y y y yttt y tt y y t y y y y tt y t y yy t fy t f f y f f fy t f f y f y f y f f f f f f f f fy f f y f y f y f y f y y f
13、 yf f f f f f f f f f f f f 23 ( ) ( ) ( )t y y t y y y t yf f f f f f f f f f ( 3) 并且一般有 ( ) ( 1 )( ) ( , ( )NNy t P f t y t ( 4) 其中 P 为导数算子 ()Pfty区间 0 , Mtt 上的初值问题 ( ) ( , )y t f t y 的近似数值解可由各子区间 1 , kktt 上的公式( 1)来推导。 N 次泰勒方法的一般步骤为 32 3211 .2 ! 3 ! !NNkk d h d hdhy y d h N ( 5) 其中在各步 0,1,., 1kM有 (
14、) ( ) , 1 , 2 , .,jjkd y t j N。 N 次泰勒方法的最终全局误差是 1()NOh 阶的,因此可选择所需大小的 N ,使得误差足够小。如果 N 是固定,则理论上可以推导出步长 h ,使之满足任意的最终全局误差。然而在实际运算中,通常用 h 和 /2h 计算两个近似结果集,然后比较其结果 9。 2.4.3 龙格 库塔方法 泰勒方法的优点是最终全局误差的 阶为 ()NOh ,并且可以通过选择较大的 N 来得到较小的误差。然而泰勒方法的缺点是,需要先确定 N ,并且要计算高阶导数,它们可能十分复杂。每个龙格一库塔( Runge-Kutta )方法都由一个合适的泰勒方法推导而
15、来,使得其最终全局误差为 ()NOh 。一种折中方法是每步进行若干次函数求值,从而省去高阶导数计算。这种方法可构造任意 N 阶精度的近似公式。最常用的是 N= 4 的龙格一库塔方法,它适用于一般的应用,因为它非常精确、稳 定,且易于编程。许多专家声称,没有必要使用更高阶的方法,因为提高的精度与增加的计算量相抵消。如果需要更高的精度,则应该使用更小的步长或某种自适应方法。 4 阶龙格一库塔方法( RK4)可模拟 N=4 的泰勒方法的精度。它基于如下对 1ky ,的计算: 1 1 1 2 2 3 3 4 4kky y w k w k w k w k ( 1) 其中 1k , 2k , 3k 和 4
16、k 形如 12 1 1 13 2 2 1 3 24 3 4 1 5 2 6 3( , )( , )( , )( , )kkkkkkkkk h f t yk h f t a h y b kk h f t a h y b k b kk h f t a h y b k b k b k ( 2) 通过与 N = 4 阶的泰勒级数方法的系数匹配,使得局部误差为 5()Oh ,龙格和库塔得出了如下方程组: 112 3 24 5 6 31 2 3 42 1 3 2 4 32222 1 3 2 4 311213bab b ab b b aw w w ww a w a w aw a w a w a ( 3) 3
17、332 1 3 2 4 33 1 3 4 1 5 2 63 1 2 3 4 3 1 5 2 62 2 23 1 3 4 1 5 2 64 1 3 6141()61()81()12124w a w a w aw a b w a b a bw a a b w a a b a bw a b w a b a bw a b b 该方程组有 11 个方程和 13 个未知量,必须补充两个条件才可以求解。最有用的选择是 1 12a, 2 0b ( 4) 其余变量的解为 2 3 1 3 4 5 61 2 3 41 1 1, 1 , , , 0 , 0 , 12 2 21 1 1 1, , ,6 3 3 6a a
18、 b b b b bw w w w ( 5) 将式( 4)和( 5)中的值代入式( 2)和式( 1),得到标 准的 4N 阶龙格 库塔方法,其描述如下。自初始点 00( , )ty 开始,利用 1 2 3 41 ( 2 2 )6kk h f f f fyy ( 6) 生成近似值序列,其中 10 1213243( , )( , )22( , )22( , )kkkkkkkkf f t yhhf f t y fhhf f t y ff f t h y hf ( 7) 2.4.4 预报 校正方法 欧拉方法、休恩方法、泰勒方 法以及龙格一库塔方法都称为单步长方法,因为它们只利用前一个点的信息来计算下一
19、个点,即计算 11( , )ty 时只使用了初始点 00( , )ty 。一般地,只有 ky 用来 1ky 。当 计算出若干个点之后,就可以利用几个已计算出的点来计算下一个点。以亚当斯一巴什福斯 4 步法的推导为例,计算 1ky 需要 3ky , 2ky , 1ky 和 ky 。该方法不是自启动的,要生成点 ( , ) : 4kkt y k ,必须先给出其 4个初始点 00( , )ty , 11( , )ty , 22( , )ty ,33( , )ty (可用前面各节中的方法完成)。 多步法的一个优点是,可以确定它的局部截断误差( local truncation error ,简称 L.
20、T.E.),并可以包含一个校正项,用于在每一步计算中改善解的精确度。该方法还可以确定步长是否小到能得到 1ky 的精确值,同时又大到能够免除不必要的和费时的计算。使用预报子和校正子的组合在每一步只需要进行两次函数 (, )f t y 求值 11。 2.4.4.1亚当斯一巴什福斯一莫尔顿方法 亚当斯 一巴什福斯一莫尔顿方法( Adams Bashforth Moulton)是由基本微积分定理推导出的多步法: 11( ) ( ) ( , ( ) )kktkk ty t y t f t y t d t (1) 预报子使用基于点 3 3 2 2 1 1( , ) , ( , ) , ( , )k k
21、k k k kt f t f t f 和 ( , )kktf 的 ( , ( )f t yt 的拉格朗日多项式逼近值,并在区间 1 , kktt 上对式( 1)积分,这个过程产生亚当斯一巴什福斯预报子: 1 3 2 1( 9 3 7 5 9 5 5 )24k k k k k khp y f f f f ( 2) 校正子的推导类似。这时可以实用刚刚计算出的值 1kp 。基于点 22( , )kktf,11( , )kktf( , )kktf 和新的点 1 1 1 1 1( , ) ( , ( , ) )k k k k kt f t f t p 构造 ( , ( )f t yt 的一个新的拉格朗日
22、多项式逼近,然后在区间 1 , kktt 上对该多项式积分,即可得到亚当斯一莫尔顿校正子12: 1 2 1 1( 5 1 9 9 )24k k k k k khy y f f f f ( 3) 2.4.4.2 米尔恩 辛普森方法 米尔恩 辛普森方法是预报子基于区间 31 , kktt上的对 ( , ( )f t yt 的积分: 1313( ) ( ) ( , ( ) )kktkk ty t y t f t y t d t ( 4) 预报子使用 ( , ( )f t yt 基于 3 3 2 2 1 1( , ) , ( , ) , ( , )k k k k k kt f t f t f 和 (
23、, )kktf 的拉格朗日多项式逼近,在区间 31 , kktt上对它积分,得到米尔恩预报子: 1 3 2 14 ( 2 2 )3k k k k khp y f f f (5) 校正子的推导类似。此时值 1kp 已知,基于点 11( , )kktf, ( , )kktf 和新点1 1 1 1 1( , ) ( , ( , ) )k k k k kt f t f t p 构造 (, ( )f t yt 的新的拉格朗日多项式,然后在区间11 , kktt上对该多项式积分,结果为大家所熟悉的辛普森公式13: 1 1 1 1( 4 )3k k k k khy y f f f ( 6) 2.5 常微分方
24、程的应用 2.5.1 微分方程在传染病模型中的应用 随着卫生设施的改善、医疗水平的提高以及人类文明的不断发展,诸如霍乱、天花、等曾经肆虐全球的传染性疾病已经得到有效的控制。但是一些新的、不断变异着的传染病毒却悄悄向人类袭来。 20 世纪 80 年代四分险恶的艾滋病毒开始肆虐全球,至今仍在蔓延; 2003 年春来历不明的非典病毒突袭人间,给人们的生命财产带来极大的危害。长期以来,建立传染病的数学模型来描述传染病的传播过程,分 析受感染人数的变化规律,探索制止传染病蔓延的手段等,一直是各国有关专家和官员关注的问题。这里我们介绍的是按照一般传播机理建立的数学模型如下。 )()()()()()()()
25、(21313211 tptptptdptptptpbdt tdp , )()()()()( 2212 tpddtptpdt tdp , ( 1) )()()()( 3323 tpdtpdt tdp , )3,2,1(0,:0 0033022011 ipppppppt i其中 对上述常微分方程组进行分析求解,就可以了解不同时刻传染病的动力学特征 (比如:传染病病情的发展趋势,即各类人的人口数量 )(tpi 的分布情况 )14. 2.5.2常微分方程在捕鱼业的应用 设某水域现有鱼量 x ,由于受资源限制所能容纳的最大鱼量 mx ,高自然增长率 r ,捕捞增长率 k ,按人口的逻辑模型建立微分方程。
26、 kxxxrxdtdx m )1(要 保持鱼量平衡 0dtdx ,设平衡点为 0x ,解得mxrkrx 0设 ),(xfdtdx 考虑 )(xf 在 0x 的泰勒展式 )(0)()( 000 xxxxxfxf rkxf )( 0 当 )( 0xf 0 时 )(xf 与 0xx 同号 0x 为不稳定平衡点 当 )( 0xf 0 时 )(xf 与 0xx 异号 0x 为稳定平衡点 )( 0xf 0 即 r k 设 )1()(1 mxxrxxf kxxf )(2 由于 k r 曲线 )(1xf 与 )(2xf 有交点,因 )(1xf 在原点切线为 rxy 解得,易知当 20 mxx 时,取得最大捕捞
27、量 rk 21 , mxrrxxf 421)( 02 最大捕捞量为mxr415 三、总结部分 微分方程是在解决实际问题的过程中产生的,微分方程的研究又促进实际问题的解决, 同时也促进其他学科的发展 .微分方程在物理、 工程、 力学、天文学、生物学、 医学、 经济学等诸多领域都有重要作用 .目前,微分方程的实际背景广、应用性强的特点 已受到广泛关注 .由于同一类型的微分方程往往可以用来描述许多性质上颇不相同的自然现象,对一些重要的微分方程开展研究,可以有多方面的应用前景,并可望在新兴学科或边缘学科的开发中及时地发挥作用 . 16 微分方程在几百年的发展史上, 在每个时期最新的技术科学中建立了自已
28、的落脚点, 得到了实际的应用,从而刺激它飞跃地发展,在完善理论的同时继续深入其它新兴技术学科领域近几十年来,世界科学技术进入核能、火箭、人造卫星、数字时代,微分方 程定性理论及方法不论在应用上、理论上均不断地扩展着自身的领域,显示出前所未有的强大生 命力 .它的理论和方法,过去和现在都对力学、天文、物理、化学、生物、各种技术科学 (如自动控制、无线电电子学等 )及若干社会科学 ( 如人口理论、经济预测等 )提供了有力的工具,后者反过来也不断地向它提出新的间题,刺激着它不断地向前发展 . 17 四、参考文献 1 张良勇 ,董晓芳 . 常微分方程的起源与发展 J. 高等函授学报 (自然科学版 ),
29、2006(3): 34-38. 2 黄赛 .常微分方程发展的主要历史沿革 J.教育与职业 .2006(2):36-41. 3 黄焕福 .常微分方程课程建设初探 J.教 育与职业 ,2007(14):146-148. 4 林建平 .常微分方程早期发展概观 J. 南京工程学院学报 ,2001(2):1-4. 5 周仲旺 .几类特殊的常微分方程 J.潍坊学院学报 .2003(6): 7. 6 邵晓锋 ,徐卫卫 ,李龙星 .试析常微分方程模型的归结方法 J. 黄冈职业技术学院报 , 2007(1):37-39. 7 张同斌 ,管军军 ,焦万堂 . 基本微分方程的应用研究 J.河南科学 ,2007(6)
30、:888-890. 8 胡建伟 ,汤怀民 .微分方程数值解方法 M.科学出版社 ,2003(4). 9 John H. Mathews,Kurtis D.Fink.Numerical Methods Using MATLAB Fourth EditionM.电子工业大学出版社 .2005(12). 10 王高雄 ,周之铭等 .常微分方程 M.高等教育出版社 ,2008(1). 11 John H. Mathews,Kurtis D.Fink.Numerical Methods Using MATLAB Fourth EditionM.电子工业大学出版社 .2005(12). 12 J.W.Th
31、omas.偏微分方程的数值解法 M.世界图书出版公司 ,1995(8). 13 郭晓梅 .常微分方程的数值解法 J.网络财富, 2009(8). 14 姜启源 ,谢金星 ,叶俊 .数学模型 M.高等教育出版社 .2003(8). 15 James Stewart. CalculusM.Fifth Edition. Beijing:高等教育出版社 .2004(7): 1141- 1161. 16 欧阳瑞 ,孙要伟 .常微分方程在数学建模中的应用 J. 宿州教育学院学报 ,2008(2): 17 James Stewart. CalculusM.Fifth Edition. Beijing:高等教育出版社 .2004(7): 1141- 1161.