数值分析第9章常微分方程数值解法.ppt

《数值分析第9章常微分方程数值解法.ppt》由会员分享，可在线阅读，更多相关《数值分析第9章常微分方程数值解法.ppt（71页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、（Numerical Methods for Ordinary Differential Equations）问题驱动：蝴蝶效应问题驱动：蝴蝶效应 洛伦兹吸引子洛伦兹吸引子(Lorenz attractor)是由是由MIT大学的气象学家大学的气象学家Edward Lorenz在在1963年给出的，他给出第一个混沌现象年给出的，他给出第一个混沌现象蝴蝴蝶效应。蝶效应。图蝴蝶效应示意图图蝴蝶效应示意图 洛伦兹方程是大气流体动力学模型的一个简化的常微分方程组：洛伦兹方程是大气流体动力学模型的一个简化的常微分方程组：该方程组来源于模拟大气对流，该模型除了在天气预报中有显该方程组来源于模拟大气对流，该模

2、型除了在天气预报中有显著的应用之外，还可以用于研究空气污染和全球侯变化。洛伦著的应用之外，还可以用于研究空气污染和全球侯变化。洛伦兹借助于这个模型，将大气流体运动的强度兹借助于这个模型，将大气流体运动的强度x与水平和垂直方与水平和垂直方向的温度变化向的温度变化y和和z联系了起来。参数联系了起来。参数 称为普兰特数，称为普兰特数，是规范是规范 化的瑞利数，化的瑞利数，和几何形状相关。洛伦兹方程是非线性方程组，和几何形状相关。洛伦兹方程是非线性方程组，无法求出解析解，必须使用数值方法求解上述微分方程组。洛无法求出解析解，必须使用数值方法求解上述微分方程组。洛伦兹用数值解绘制结果图，并发现了混沌现象

3、。伦兹用数值解绘制结果图，并发现了混沌现象。1 1 引引 言言 微分方程数值解一般可分为：常微分方程数值解和偏微分微分方程数值解一般可分为：常微分方程数值解和偏微分方程数值解。自然界与工程技术中的许多现象，其数学表达式方程数值解。自然界与工程技术中的许多现象，其数学表达式可归结为常微分方程（组）的定解问题。一些偏微分方程问题可归结为常微分方程（组）的定解问题。一些偏微分方程问题也可以转化为常微分方程问题来（近似）求解。也可以转化为常微分方程问题来（近似）求解。Newton最早采最早采用数学方法研究二体问题，其中需要求解的运动方程就是常微用数学方法研究二体问题，其中需要求解的运动方程就是常微分方

4、程。许多著名的数学家，如分方程。许多著名的数学家，如 Bernoulli（家族），（家族），Euler、Gauss、Lagrange和和Laplace等，都遵循历史传统，研究重要等，都遵循历史传统，研究重要的力学问题的数学模型，在这些问题中，许多是常微分方程的的力学问题的数学模型，在这些问题中，许多是常微分方程的求解。作为科学史上的一段佳话，海王星的发现就是通过对常求解。作为科学史上的一段佳话，海王星的发现就是通过对常微分方程的近似计算得到的。本章主要介绍常微分方程数值解微分方程的近似计算得到的。本章主要介绍常微分方程数值解的若干方法。的若干方法。一一、初值问题的数值解法初值问题的数值解法1、

5、一阶常微分方程初值问题的一般形式、一阶常微分方程初值问题的一般形式常微分方程的数值解法分为常微分方程的数值解法分为（1 1）初值问题的数值解法）初值问题的数值解法 （2 2）边值问题的数值解法）边值问题的数值解法(2)一般构造方法：一般构造方法：离散点函数值集合离散点函数值集合离散点函数值集合离散点函数值集合+线性组合结构线性组合结构线性组合结构线性组合结构 近似公式近似公式近似公式近似公式2.迭代格式的构造迭代格式的构造(1)构构造造思思想想：将将连连续续的的微微分分方方程程及及初初值值条条件件离离散散为为线线性性方方程程组组加加以以求求解解。由由于于离离散散化化的的出出发发点点不不同同，产

6、产生生出出各各种种不不同同的的数数值值方方法法。基基本本方方法法有有：有有限限差差分分法法（数数值值微微分分）、有有限限体体积积法法（数值积分）、有限元法（函数插值）等等。（数值积分）、有限元法（函数插值）等等。(3)如何保证迭代公式的稳定性与收敛性如何保证迭代公式的稳定性与收敛性?3.微分方程的数值解法需要解决的主要问题微分方程的数值解法需要解决的主要问题(1)如何将微分方程离散化，并建立求其如何将微分方程离散化，并建立求其数值解的迭代公式？数值解的迭代公式？(2)如何估计迭代公式的局部截断误差与整体误差？如何估计迭代公式的局部截断误差与整体误差？称称 在区域在区域D上对上对 满足满足Lip

7、schitz条件条件是指是指:记记4、相关定义、相关定义二、初值问题解的存在唯一性二、初值问题解的存在唯一性 考虑一阶常微分方程的初值问题考虑一阶常微分方程的初值问题/*Initial-Value Problem*/:则上述则上述IVP存在唯一解。存在唯一解。只要只要 在在 上连续上连续,且关于且关于 y 满足满足 Lipschitz 条件，条件，即存在与即存在与 无关的常数无关的常数 L 使使对任意定义在对任意定义在 上的上的 都成立，都成立，求函数求函数 y(x)在一系列节点在一系列节点 a=x0 x1 xn=b 处的近似值处的近似值 的方法称为微分方程的数值解法。的方法称为微分方程的数值

8、解法。称节点间距称节点间距 为步长，为步长，通常采用通常采用等距节点等距节点，即取，即取 hi=h(常数常数)。称为微分方程的称为微分方程的数值解数值解。三三、初值问题的离散化方法初值问题的离散化方法 离散化方法的基本特点是依照某一递推公式，离散化方法的基本特点是依照某一递推公式，值值 ,取取 。按节点从左至右的顺序依次求出按节点从左至右的顺序依次求出 的近似的近似 如果计算如果计算 ，只用到前一步的值，只用到前一步的值 ，则称这则称这类方法为类方法为单步方法单步方法。如果计算如果计算 需用到前需用到前r步的值步的值 ,则称这类方法为则称这类方法为r步方法步方法。2 2 欧拉方法欧拉方法 /*

9、Eulers Method*/*Eulers Method*/欧拉公式欧拉公式(单步显示公式）：单步显示公式）：向前差商近似导数向前差商近似导数记为记为x0 x1亦称为亦称为欧拉折线法欧拉折线法/*Eulers polygonal arc method*/在在假假设设 yi=y(xi)，即即第第 i 步步计计算算是是精精确确的的前前提提下下，考考虑虑的的截截断断误误差差 Ri=y(xi+1)yi+1 称称为为局局部部截截断断误差误差/*local truncation error*/。若若某某算算法法的的局局部部截截断断误误差差为为O(hp+1)，则则称称该该 算法有算法有p 阶精度。阶精度。

10、欧拉法的局部截断误差：欧拉法的局部截断误差：Ri 的的主项主项/*leading term*/欧拉法具有欧拉法具有 1 阶精度。阶精度。例例1:1:用欧拉公式求解初值问题用欧拉公式求解初值问题取步长取步长 。解解:应用应用EulerEuler公式于题给初值问题的具体形式为：公式于题给初值问题的具体形式为：其中其中 。计算结果列于下表：计算结果列于下表：可用来检验近似解的准确程度。可用来检验近似解的准确程度。进行计算，数值解已达到了一定的精度。进行计算，数值解已达到了一定的精度。这个初值问题的准确解为这个初值问题的准确解为 ，从上表最后一列，我们看到取步长从上表最后一列，我们看到取步长 欧拉公式

11、的改进：欧拉公式的改进：隐式欧拉法隐式欧拉法/*implicit Euler method*/向后差商近似导数向后差商近似导数x0 x1)(,()(1101xyxfhyxy+由于未知数由于未知数 yi+1 同时出现在等式的两边，不能直接同时出现在等式的两边，不能直接得到，故称为得到，故称为隐式隐式/*implicit*/欧拉公式，而前者欧拉公式，而前者称为称为显式显式/*explicit*/欧拉公式。欧拉公式。一般先用显式计算一个初值，再一般先用显式计算一个初值，再迭代迭代求解。求解。隐式隐式欧拉法的局部截断误差：欧拉法的局部截断误差：即隐式欧拉公式具有即隐式欧拉公式具有 1 阶精度。阶精度。

12、梯形公式梯形公式 /*trapezoid formula*/*trapezoid formula*/显、隐式两种算法的显、隐式两种算法的平均平均注：注：的确有局部截断误差的确有局部截断误差 ，即梯形公式即梯形公式具有具有2 阶精度阶精度，比欧拉方法有了进步。，比欧拉方法有了进步。但注意到该公式是但注意到该公式是隐式公式隐式公式，计算时不得不用到，计算时不得不用到迭代法，其迭代收敛性与欧拉公式相似。迭代法，其迭代收敛性与欧拉公式相似。中点欧拉公式中点欧拉公式/*midpoint formula*/中心差商近似导数中心差商近似导数x0 x2x1假设假设 ,则可以导出则可以导出即中点公式具有即中点公

13、式具有 2 阶精度。阶精度。方方 法法 显式欧拉显式欧拉隐式欧拉隐式欧拉梯形公式梯形公式中点公式中点公式简单简单精度低精度低稳定性最好稳定性最好精度低精度低,计算量大计算量大精度提高精度提高计算量大计算量大精度提高精度提高,显式显式多一个初值多一个初值,可能影响精度可能影响精度 Cant you give me a formula with all the advantages yet without any of the disadvantages?Do you think it possible?Well,call me greedy OK,lets make it possible.改进

14、欧拉法改进欧拉法/*modified Eulers method*/Step 1:先用显式欧拉公式作预测，算出先用显式欧拉公式作预测，算出Step 2:再将再将 代入代入隐式隐式梯形公式的右边作梯形公式的右边作校正校正，得到，得到1+iy注注:此法亦称为此法亦称为预测预测-校正法校正法 /*predictor-corrector method*/*predictor-corrector method*/可以证明该算法可以证明该算法具有具有 2 阶精度阶精度，同时可以看到它，同时可以看到它是个是个单步单步递推格式，比隐式公式的迭代求解过程递推格式，比隐式公式的迭代求解过程简单简单。后面将看到，它

15、的。后面将看到，它的稳定性高于稳定性高于显式欧拉法。显式欧拉法。在实际计算时，可将欧拉法与梯形法则相结合，在实际计算时，可将欧拉法与梯形法则相结合，计算公式为计算公式为 应用改进欧拉法应用改进欧拉法,如果序列如果序列 收敛收敛,它的极限便满足方程它的极限便满足方程因此，改进欧拉法公式具有因此，改进欧拉法公式具有 2 2 阶精度阶精度例例2:2:用改进用改进Euler公式求解例公式求解例1中的初值问题，中的初值问题，取步长取步长 。解：解：对此初值问题采用改进对此初值问题采用改进EulerEuler公式，公式，其具体形式为其具体形式为计算结果列于下表：计算结果列于下表：改进的改进的Euler法法

16、Euler法法通过计算结果得比较可以看出，改进的通过计算结果得比较可以看出，改进的Euler方法方法的计算精度比的计算精度比Euler方法要高。方法要高。3 3 龙格龙格 -库塔法库塔法 /*/*Runge-KuttaRunge-Kutta Method*/Method*/建立高精度的单步递推格式。建立高精度的单步递推格式。单步递推法的单步递推法的基本思想基本思想是从是从(xi,yi)点出发，点出发，欧拉法及其各种变形所能达到的最高精度为欧拉法及其各种变形所能达到的最高精度为2 2阶。阶。以以某一斜率某一斜率沿直线达到沿直线达到 点。点。考察改进的欧拉法，可以将其改写为：考察改进的欧拉法，可以

17、将其改写为：斜率斜率一定取一定取K1 K2 的的平均值平均值吗？吗？步长一定是一个步长一定是一个h 吗吗？将改进欧拉法推广为：将改进欧拉法推广为：),(),(12122111phKyphxfKyxfKKKhyyiiiiii+=+=+首先希望能确定系数首先希望能确定系数 1、2、p，使得到的算法格，使得到的算法格式有式有2阶精度，即在阶精度，即在 的前提假设下，使得的前提假设下，使得 Step 1:将将 K2 在在(xi,yi)点作点作 Taylor 展开展开Step 2:将将 K2 代入第代入第1式，得到式，得到Step 3:将将 yi+1 与与 y(xi+1)在在 xi 点的点的泰勒泰勒展开

18、作比较展开作比较要求要求 ，则必须有：，则必须有：这里有这里有 个未知个未知数，数，个方程。个方程。32存在存在无穷多个解无穷多个解。所有满足上式的格式统称为。所有满足上式的格式统称为2阶阶龙格龙格-库塔格式库塔格式。注意到，注意到，就是改进的欧拉法。就是改进的欧拉法。为获得更高的精度，应该如何进一步推广？为获得更高的精度，应该如何进一步推广？).,(.),(),(),(.1122112321313312122122111 +=+=+=+=mm mmmmimiiiiiimmiihKhKhKyhxfKhKhKyhxfKhKyhxfKyxfKKKKhyy 其中其中 i (i=1,m)，i (i=2

19、,m)和和 ij(i=2,m;j=1,i 1)均为待定系数，确定这些均为待定系数，确定这些系数的步骤与前面相似。系数的步骤与前面相似。v考虑一阶常微分方程初值问题考虑一阶常微分方程初值问题将区域将区域a,ba,b进行分划：进行分划：若若则则n n级显式级显式Runge-KuttaRunge-Kutta方法方法二阶二阶Runge-KuttaRunge-Kutta方法方法取取n=2n=2记记由此得由此得另一方面另一方面为使局部截断误差为为使局部截断误差为 ,应取应取改进的改进的EulerEuler方法方法v取取中点方法中点方法取取 二阶二阶HeunHeun方法方法取取 二级二级Runge-Kutt

20、aRunge-Kutta方法不超过二阶方法不超过二阶v记记则则因此局部截断误差只能达到因此局部截断误差只能达到三级三级Runge-KuttaRunge-Kutta方法方法取取n=3n=3记记v又由于又由于因此要使局部截断误差为因此要使局部截断误差为 ，必须，必须 KuttaKutta方法方法取取三阶三阶HeunHeun方法方法v取取三级三级Runge-KuttaRunge-Kutta方法不超过三阶方法不超过三阶v完全类似于二级完全类似于二级Runge-KuttaRunge-Kutta方法的分析方法的分析只能达到只能达到三级三级Runge-KuttaRunge-Kutta方法的局部截断误差方法的

21、局部截断误差将将 和和 都展开到都展开到 项项,易证易证 四级四级R-KR-K方法方法取取n=4n=4局部截断误差为O(h5)四阶四阶经典龙格经典龙格-库塔法库塔法 /*Classical Runge-Kutta Method*/：附注：附注：二阶二阶Runge-KuttaRunge-Kutta方法的局部截断误差方法的局部截断误差 只能达到只能达到 五阶五阶Runge-KuttaRunge-Kutta方法的局部截断误差方法的局部截断误差 只能达到只能达到 四阶四阶Runge-KuttaRunge-Kutta方法的局部截断误差方法的局部截断误差 只能达到只能达到 三阶三阶Runge-KuttaR

22、unge-Kutta方法的局部截断误差方法的局部截断误差 只能达到只能达到 注：注：龙格龙格-库塔法的主要运算在于计算库塔法的主要运算在于计算 的值，即的值，即计算计算 的值。的值。Butcher 于于1965年给出了计算量与年给出了计算量与可达到的最高精度阶数的关系：可达到的最高精度阶数的关系：753可达到的最高精度可达到的最高精度642每步须算每步须算Ki 的个数的个数 由于龙格由于龙格-库塔法的导出基于泰勒展开，故精库塔法的导出基于泰勒展开，故精太好的解，最好采用太好的解，最好采用低阶算法低阶算法而将步长而将步长h 取小取小。度主要受解函数的光滑性影响。对于光滑性不度主要受解函数的光滑性

23、影响。对于光滑性不4 4 单步方法的收敛性与稳定性单步方法的收敛性与稳定性 /*/*Convergency and StabilityConvergency and Stability*/*/收敛性收敛性/*Convergency*/若若某某算算法法对对于于任任意意固固定定的的 x=xi=x0+i h，当当 h0(同同时时 i )时时有有 yi y(xi)，则则称称该该算算法法是是收敛收敛的。的。例：例：就初值问题就初值问题 考察欧拉显式格式的收敛考察欧拉显式格式的收敛性。性。解：解：该问题的精确解为该问题的精确解为 欧拉公式为欧拉公式为对任意固定的对任意固定的 x=xi=i h，有，有 稳定

24、性稳定性/*Stability*/例：例：考察初值问题考察初值问题 在区间在区间0,0.5上的上的解解.分别用欧拉显、隐式格式和改进的欧拉格式计分别用欧拉显、隐式格式和改进的欧拉格式计算数值解。算数值解。0.00.10.20.30.40.5精确解精确解改进欧拉法改进欧拉法 欧拉隐式欧拉隐式欧拉显式欧拉显式 节点节点 xi 1.0000 2.0000 4.0000 8.0000 1.6000 101 3.2000 101 1.00002.5000 10 1 6.2500 10 21.5625 10 23.9063 10 39.7656 10 41.00002.50006.25001.5626 1

25、013.9063 1019.7656 1011.00004.9787 10 22.4788 10 31.2341 10 46.1442 10 63.0590 10 7What is wrong?!An Engineer complains:Math theorems are so unstable that a small perturbation on the conditions will cause a crash on the conclusions!若若某某算算法法在在计计算算过过程程中中任任一一步步产产生生的的误误差差在在以以后后的的计计算算中中都都逐逐步步衰衰减减，则则称称该该算

26、算法法是是绝绝对对稳稳定定的的/*absolutely stable*/。一般分析时为简单起见，只考虑一般分析时为简单起见，只考虑试验方程试验方程/*test equation*/常数，可以常数，可以是复数是复数我们称我们称算法算法A 比算法比算法B 稳定稳定，就是指，就是指 A 的绝对稳定的绝对稳定区域比区域比 B 的的大大。当步长取为当步长取为 h 时，将某算法应用于上式，并假设只在时，将某算法应用于上式，并假设只在初值产生误差初值产生误差 ，则若此误差以后逐步衰减，则若此误差以后逐步衰减,就称该算法相对于就称该算法相对于 绝对稳定，绝对稳定，的全体构成的全体构成h h=h绝对稳定区域绝对

27、稳定区域。例：例：考察显式欧拉法考察显式欧拉法0-1-2ReImg由此可见，要保证初始误差由此可见，要保证初始误差 0 以后逐步衰减，以后逐步衰减，必须满足：必须满足：例：例：考察隐式欧拉法考察隐式欧拉法可见绝对稳定区域为：可见绝对稳定区域为：210ReImg注：注：一般来说，隐式欧拉法的绝对稳定性比同阶一般来说，隐式欧拉法的绝对稳定性比同阶的显式法的好。的显式法的好。例：例：隐式龙格隐式龙格-库塔法库塔法其中其中2阶方法阶方法 的绝对稳定的绝对稳定区域为区域为0ReImg无条件稳定无条件稳定而而显式显式 1 4 阶方法的绝对稳定区域为阶方法的绝对稳定区域为k=1k=2k=3k=4-1-2-3-123ReImg