第6章 微分方程数值.pptVIP

第6章 常微分方程的数值解法 数值分析 实际中，很多问题的数学模型都是微分方程。我们可以研究它们的一些性质。但是，只有极少数特殊的方程有解析解。对于绝大部分的微分方程是没有解析解的。 因此，需要研究和掌握微分方程的数值解法，即计算解域 内离散点上的近似值的方法。 ? 考虑一阶常微分方程的初值问题 首先考虑微分方程解的存在性。 只要 f (x, y) 在[a, b] ? R1 上连续，且关于 y 满足 Lipschitz 条件，即存在与 x, y 无关的常数 L 使 对任意定义在 [a, b] 上的 y1(x) 和 y2(x) 都成立，则上述问题存在唯一解。 要计算出解函数 y(x) 在一系列节点 a = x0 x1… xn= b 处的近似值 节点间距 为步长，通常采用等距节点， 即取 hi = h (常数)。 在这些节点上采用离散化方法，（通常用数值积分、微分、 泰勒展开等）将上述初值问题化成关于离散变量的相应问题。 把这个相应问题的解yn作为y(xn)的近似值。这样求得的yn就是 上述初值问题在节点xn上的数值解。一般说来，不同的离散化 导致不同的方法。 这些方法 ，统称为数值离散方法。求的是在一系列离散点列上，未知函数y(x)，在这些点上的值的近似。 为了考察数值方法提供的数值解，是否有实用价值，需要知道如下问题： ① 步长充分小时，所得到的数值解能否逼近问题得真解； 即收敛性问题 ② 误差估计 产生的舍入误差，在以后得各步计算中，是否会无限制扩大；稳定性问题 6.1 欧拉Euler 法与改进欧拉法 1.欧拉法： x0 x1 向前差商近似导数 记为 定义 　　　在假设 yi = y(xi)，即第 i 步计算是精确的前提下，考虑的截断误差 ? i+1 = y(xi+1) ? yi+1 称为局部截断误差 定义 　　　若某算法的局部截断误差为O(hp+1)，则称该算法有p 阶精度。 亦称为欧拉折线法 ? 欧拉法的局部截断误差： 欧拉法具有 1 阶精度。 用向后差商公式代替导数项 是隐格式，一般解不得显示表达；要迭代求解 2. 隐式 Euler法 隐式欧拉法也具有 1 阶精度。（也可利用二元函数的泰勒展开） 例6.1 6.1.2、数值积分法 对微分方程 计算定积分，则： 用左矩形公式 用右矩形公式，得 得欧拉公式和隐式欧拉公式 类似，可以算出其误差估计式： 2阶的方法 所以，有格式为： 梯形法是二阶、隐式单步的方法，要用迭代法求解 局部截断误差 数值积分使用梯形求积公式 方 法 ? ? 显式欧拉 隐式欧拉 梯形公式 简单 精度低 稳定性最好 精度低, 计算量大 精度提高 计算量大 ? 改进欧拉格式 /* modified Euler’s Formula */ Step 1: 先用显式欧拉格式作预测，算出 ) , ( 1 i i i i y x f h y y + = + Step 2: 再将 代入隐式梯形公式的右边作校正，得到 1 + i y )] , ( ) , ( [ 2 1 1 1 + + + + + = i i i i i i y x f y x f h y y ? 考察改进的欧拉法，可以将其改写为： 注：此法亦称为预测-校正法 /* predictor-corrector method */。可以证明该算法具有 2 阶精度，同时可以看到它是个单步递推格式，比隐式公式的迭代求解过程简单。后面将看到，它的稳定性高于显式欧拉法。 程序见p123 6.2 龙格 - 库塔法 建立高精度的单步递推格式。 单步递推法的基本思想是从 ( xi , yi ) 点出发，以某一斜率沿直线达到 ( xi+1 , yi+1 ) 点。欧拉法及其各种变形所能达到的最高精度为2阶。 ? 考察改进的欧拉法，可以将其改写为： 首先希望能确定系数 ?1、?2、p，使得到的算法格式有2阶精度，即在 的前提假设下，使得 Step 1: 将 K2 在 ( xi , yi ) 点作 Taylor 展开 将改进欧拉法推广为： ) , ( ) , ( ] [ 1 2 1 2 2 1 1 1 phK y ph x f K y x f K K K h y y i i i i i i + + = = + + = + l l Step 2: 将 K2 代入第1式，得到 Step 3: 将 yi+1 与 y( xi+1 ) 在 xi 点的泰勒展开作比较 要求