线性方程组-read.pptVIP

* （充分条件）若存在一个矩阵范数使得 || G || 1, 则迭代公式 对于任意初值x (0)均收敛，且有下列误差估计： 定理 ① ② 证明思路 误差控制 ? 解存在唯一性 对于任意初值x (0)均收敛于x* ? ? 误差估计 §2 收敛条件 ? 解存在唯一性 当|| G || 1方程组 有唯一解x*，即Ax=b有唯一解x* 设I-G奇异，则存在非零向量x，使（I-G）x=0 即x=Gx ||x||=||Gx||≤||G||||x|| 故1≤||G|| 显然矛盾 有非零解 有非零解 当 非奇异 ② 首先证当||G||1, I-G非奇异（反证法） ① 对于任意初值x (0)均收敛于x* ? 迭代过程收敛 ? 误差估计 ① ② 证 ① ② 例：判断用Jacobi 法和 Gauss - Seidel 法解方程组的收敛性 解 Jacobi法迭代矩阵G Jacobi迭代收敛 Gauss - Seidel 法迭代矩阵G Gauss - Seidel迭代收敛 证: (1)对于Jacobi迭代法,其迭代矩阵为 定理 定义 系数矩阵A 为严格对角占优阵 故Jacobi迭代法收敛 充分条件 (2)对于G—S迭代法,其迭代矩阵为 判断较复杂 可