常微分方程初值问题的数值解法.pptVIP

常微分方程初值问题的数值解法 第1页，共39页。 引言 在实际问题中，常需要求解微分方程(如发电机转子运动方程)。只有简单的和典型的微分方程可以求出解析解，而在实际问题中的微分方程往往无法求出解析解。 常微分方程： -----------(1) -----------(2) 一阶常微分方程 第2页，共39页。 -----------(3) (1),(2)式称为初值问题,(3)式称为边值问题 -----------(4) 另外,在实际应用中还经常需要求解常微分方程组: 本课程主要研究问题一阶常微分方程(1)的数值解法, 我们首先介绍初值问题(1)的解存在的条件 第3页，共39页。 定理 只要 f (x, y) 连续，且关于 y 满足 Lipschitz 条件，即存在与 x, y 无关的常数 L 使 对任意定义在 [a, b] 上的 y1(x) 和 y2(x) 都成立，则初值问题（1）存在唯一解。 （通常采用等距节点） 对于问题(1) 要求它的数值解 第4页，共39页。 常微分方程数值解公式的推导 求初值问题数值解的方法是步进法，即从已知的初值y0出发，通过一定的计算求y1 ，然后由y1或y0和y1求出y2 ，依次计算到yn ，即在计算出yk后计算yk+1 ，这时有 单步法：计算yk+1时，只利用yk 多步法：计算yk+1时，用到yk, yk-1, yk-2,… 常微分方程数值解公式的主要推导方法 泰勒展开 利用差商 利用数值积分法 第5页，共39页。 1、泰勒展开的求解思路： 将 按泰勒级数展开 用 的近似值 代入上式右端，记所得结果为 ，则得到数值解序列的计算公式： 第6页，共39页。 2、化导数为差商的求解方法思路： 若在点 处的导数用差商来近似代替，如向前差商 则微分方程初值问题化为 将近似号改为等号，精确解 改为近似解 ，得 第7页，共39页。 3、数值积分的求解思路： 如果将微分方程 在各小区间 上对其两边进行积分，即 如用矩形数值积分公式可得： 第8页，共39页。 以上三种方法推导出同一个数值求解公式: 这个数值公式称为欧拉(Euler)公式。 第9页，共39页。 §7.1 欧拉方法 一、 欧拉格式： x0 x1 向前差商近似导数 记为 欧拉公式几何意义 用一条通过初始点的折线近似表示解曲线 ,亦称为欧拉折线法 ，或称为矩形法。 一般形式 1、显式欧拉公式 第10页，共39页。 第11页，共39页。 　　　在假设 yk = y(xk)，即第 k 步计算是精确的前提下，考虑的截断误差 Rk = y(xk+1) ? yk+1 称为局部截断误差 。 定义 　　　若某算法的局部截断误差为O(hp+1)，则称该算法有p 阶精度。 定义 ? 欧拉法的局部截断误差： 欧拉法具有 1 阶精度。 局部截断误差和阶数 第12页，共39页。 2、隐式欧拉格式 向后差商近似导数 x0 x1 )) ( , ( ) ( 1 1 0 1 x y x f h y x y + ? ) 1 , ... , 0 ( ) , ( 1 1 1 - = + = + + + n k y x f h y y k i i k 由于未知数 yk+1 同时出现在等式的两边，不能直接得到，故称为隐式 欧拉公式，而前者称为显式 欧拉公式。 一般先用显式计算一个初值，再迭代求解。 ? 隐式欧拉法的局部截断误差： 即隐式欧拉公式具有 1 阶精度。 第13页，共39页。 二、两步欧拉格式（中点公式） 中心差商近似导数 x0 x2 x1 假设 ,则可以导出 即两步欧拉格式具有 2 阶精度。 该方法需要2个初值 y0和 y1来启动递推过程，这样的算法称为双步法。 第14页，共39页。 三、 梯形公式 — 显、隐式两种算法的平均 注：有局部截断误差 ， 即梯形公式具有2 阶精度，比欧拉方法有了进步。但注意到该公式是隐式公式，计算时不得不用到迭代法，不易求解。 对欧拉法进行改进，用梯形公式计算右侧积分，即 计算公式 第15页，共39页。 梯形格式算法计算步骤： 先用(1)式计算出 处 。 再用(2)式反复进行迭代，得到 计算公式 -----------(1) -----------(2) 类似地得到 用 控制迭代次数