数值分析课件-num_3.3迭代法的收敛定理.pdfVIP

第三章 线性方程组迭代解法 § 3.3 迭代法的收敛定理 §3.3 迭代法的收敛性  基本数学问题描述  一、基本收敛定理  定理3.2的证明  实例求解  二、Jacobi 迭代法和Gauss-Seidel迭代法的收敛速度 基本数学问题描述 迭代法的收敛性，是指方程组 从任意初始向量X (0) 出发，由迭代算法 算出向量序列 随着k 的增加而趋向于解向量X * 。 记各次误差向量 显然，迭代法的收敛性与误差向量序列 随着k 的增加而趋向于零向量是等价的。 由于精确解X * 自然满足 因此有 或 再递推出 k 所以，迭代法收敛性与迭代矩阵的幂B ，随着k 的增加 而趋向于零矩阵是等价的。 返回节 前一章的内容： 谱半径的相关定理 谱半径的相关定理 A R nn || A || (谱半径有界) 设 ,则对任一种算子范数 , 均有 (A) || A || 定理1 nn Bk 0(k ) 设 , 则 的充分条件是B的 B R 谱半径 (B ) 1 定理2 一、基本收敛定理 由 X (k+1)=BX(k)+f 及 X *=B X *+f 可推知 ε = X (k+1) - X *= B （X (k) - X *） k+1 = · · · · · · · · · · · · · = B k+1 （X (0) -X *） = B k+1 ε 0 (k) * k 可见 X  X  B  0 (k∞ ) (B) 注： 1. 定理3.1为判断迭代法的收敛性提供 了强有力的手段： 注意是充分必要条件！ 2. 定理3.1 的条件往往不易验证： 矩阵的谱半径不易求出！ 3. 利用谱半径的有界性可以给出另外一 个条件较弱的结果： 即定理3.2 (1) 矩阵A的谱半径不超过矩阵的任何一种算子范数! 进一步，我们可以推知： 式(1)说明，当||B||1 且不接近1并且相邻两次迭 代向量X