5.2.2 Jacobi 迭代法和 Gauss-Seidel 迭代法的收敛性教案.pptVIP

第五章线性方程组迭代解法 5.2.2 Jacobi 迭代法和 Gauss-Seidel 迭代法的收敛性 5.2.1 一般迭代法的收敛性 5.2 迭代法的收敛性 设 是方程组（5.1.2）的解，即 。该式与（5.1.3）式相 减，并记误差向量 ，则有 由此可推出 （5.2.1） 其中 与 k 无关。所以，迭代法（5.1.3）收敛就意味着对任 意初始向量 ，都有 下面给出迭代法收敛的充分必要条件。 5.2.1 一般迭代法的收敛性 证 根据距阵 Jordan 标准型的结论，对距阵 B ，存在非奇异距阵 P ，使得 其中 显然， 因此， 的充分必要条件是 定理 5.1 设距阵 ，则 的充分必要条件是 B 的 谱半径 。 记 ，则有 其中第1行的第 k+1 个元素为1。于是有 其中， 。 由于 所以 的充分必要条件 是 。定理得证。 定理 5.2 对于任意的初始向量 和右端向量 f ，解方程组（5.1.2） 的迭代法（5.1.3）收敛的充分必要条件是 。 证 先证充分性。设 ，则矩阵 非奇异，方程组 （5.1.2）有惟一解 ，从而的（5.2.1）。由定理 5.1 知 ，因此 ， ，即 。 再证必要性。设对任意初始向量 和右端顶 f ，均有 ， 则得 。因此，对任意 都有 ，由此推出 ，即得 。定理得证。 例 5.2 判断用 J 法和 GS 法解方程组 的收敛性，其中 解 （1）按（5.1.6）和（5.1.11）有 的特征值为： 的特征值为： 因此，两种迭代法均发散。 （2） 按（5.1.6）和（5.1.11）求得 的特征值为： 的特征值为： 因 此，J 法发散，而 GS 法收敛。 有时实际判别一个迭代法是否收敛，条件 是很难检验的。而 一些矩阵范数 可以用 B 的元素表示，所以用 作为收敛的充分条 件较为方便。 定理 5.3 对某种算子范数，若 则迭代法（5.1.3）式产生的向 量序列 收敛于（5.1.2）的精确解 ，且有误差估计式 （5.2.2） （5.2.3） 证 由 知迭代法是收敛的，且