[3单步法的收敛性与稳定性.pptVIP

一、收敛性 /*Convergence*/ §3 单步法的收敛性、相容性和绝对稳定性 对于初值问题 的一种 单步法 产生的近似解，如果 对于任一固定的 ，均有 ， 则称该单步法是收敛的。 类似地可以定义隐式单步法、多步法（§4）的收敛性 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 设初值问题（*）对应的下列单步法是 阶的， 且函数 满足对 的Lipschitz条件，即存在常数 则该单步法是收敛的，且 证明： 记 由截断误差的定义 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 因为单步法是 阶的： 满足 其中 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 二、相容性 /*Consistency*/ 对于 阶方法： 若方法（**）的增量函数满足： 则称该方法与初值问题（*）相容。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 设方法（**）与初值问题（*）相容，且 满足L-条件， 则该方法（**）是收敛的，即当 固定， 时 再由相容性得： 上式说明：当 时，方法（**）趋于原微分方程 本章讨论的数值方法都是与原初值问题相容的 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 三、绝对稳定性 /*Absolute Stibility*/ 计算过程中产生的舍入误差对计算结果的影响 首先以Euler公式为例，来讨论一下舍入误差的传播: 设实际计算得到的点 的近似函数值为 ， 其中 为精确值， 为误差 如果 ，则误差是不增的，故可认为是稳定的 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例如： 对于初值问题 精确解为 而实际求解的初值问题为 精确解为 在 处的误差为 可见误差随着 的增加呈指数函数增长 如果初值问题为 精确解为 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 实际求解的初值问题为 精确解为 在 处的误差为 可见误差随着 的增加呈指数函数递减 当 时，微分方程是不稳定的； 而 时，微分方程是稳定的。 上面讨论的稳定性，与数值方法和方程中 有关 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 实验方程： 对单步法 应用实验方程， 如果 ，当 时，则称该 单步法是绝对稳定的，在复平面