《第六章线性方程组的迭代法PPT讲稿.ppt》由会员分享,可在线阅读,更多相关《第六章线性方程组的迭代法PPT讲稿.ppt(65页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、第六章线性方程组的迭代法第1页,共65页,编辑于2022年,星期三6.1 迭代法的基本思想 迭代法的基本思想是将线性方程组转化为便于迭代的等价方程组,对任选一组初始值 ,按某种计算规则,不断地对所得到的值进行修正,最终获得满足精度要求的方程组的近似解。第2页,共65页,编辑于2022年,星期三设 非奇异,则线性方程组 有惟一解 ,经过变换构造出一个等价同解方程组将上式改写成迭代式选定初始向量 ,反复不断地使用迭代式逐步逼近方程组的精确解,直到满足精度要求为止。这种方法称为迭代法第3页,共65页,编辑于2022年,星期三 如果 存在极限则称迭代法是收敛的,否则就是发散的。收敛时,在迭代公式中当
2、时,,则,故 是方程组 的解。对于给定的方程组可以构造各种迭代公式。并非全部收敛 第4页,共65页,编辑于2022年,星期三例1 用迭代法求解线性方程组 解 构造方程组的等价方程组据此建立迭代公式 取 计算得 迭代解离精确解 越来越远 迭代不收敛 第5页,共65页,编辑于2022年,星期三6.2 雅可比(Jacobi)迭代法6.2.16.2.1雅可比迭代法算法构造 例2 用雅可比迭代法求解方程组 解:从方程组的三个方程中分离出 和 建立迭代公式 第6页,共65页,编辑于2022年,星期三取初始向量进行迭代,可以逐步得出一个近似解的序列:(k=1,2,)直到求得的近似解能达到预先要求的精度,则迭
3、代过程终止,以最后得到的近似解作为线性方程组的解。当迭代到第10次有计算结果表明,此迭代过程收敛于方程组的精确解x*=(3,2,1)T。第7页,共65页,编辑于2022年,星期三考察一般的方程组,将n元线性方程组 写成 若 ,分离出变量 据此建立迭代公式 上式称为解方程组的Jacobi迭代公式。第8页,共65页,编辑于2022年,星期三6.2.2 雅可比迭代法的矩阵表示 设方程组 的系数矩阵A非奇异,且主对角元素 ,则可将A分裂成 记作 A=D-L-U 第9页,共65页,编辑于2022年,星期三则 等价于即因为 ,则这样便得到一个迭代公式令则有(k=0,1,2)称为雅可比迭代公式,B称为雅可比
4、迭代矩阵第10页,共65页,编辑于2022年,星期三雅可比迭代矩阵表示法,主要是用来讨论其收敛性,实际计算中,要用雅可比迭代法公式的分量形式。即(k=0,1,2,)第11页,共65页,编辑于2022年,星期三6.2.1 雅可比迭代法的算法实现 第12页,共65页,编辑于2022年,星期三 6.3 高斯-塞德尔(Gauss-Seidel)迭代法 6.3.1 高斯-塞德尔迭代法的基本思想 在Jacobi迭代法中,每次迭代只用到前一次的迭代值,若每次迭代充分利用当前最新的迭代值,即在求 时用新分量 代替旧分量 ,就得到高斯-赛德尔迭代法。其迭代法格式为:(i=1,2,n k=0,1,2,)第13页,
5、共65页,编辑于2022年,星期三例例3 用用GaussSeidel 迭代格式解方程组迭代格式解方程组 精确要求为精确要求为=0.005=0.005 解解 Gauss GaussSeidel Seidel 迭代格式为迭代格式为取初始迭代向量取初始迭代向量 ,迭代结果为:迭代结果为:x*第14页,共65页,编辑于2022年,星期三 6.3.2 GaussSeidel 迭代法的矩阵表示 将A分裂成A=D-L-U,则 等价于 (D-L-U)x=b 于是,则高斯塞德尔迭代过程 因为 ,所以 则高斯-塞德尔迭代形式为:故 令 第15页,共65页,编辑于2022年,星期三 6.3.3 高斯塞德尔迭代算法实
6、现 高斯-塞德尔迭代算法的计算步骤与流程图与雅可比迭代法大致相同,只是一旦求出变元的某个新值 后,就改用新值 替代老值 进行这一步剩下的计算。第16页,共65页,编辑于2022年,星期三 6.4 超松弛迭代法(SOR方法)使用迭代法的困难在于难以估计其计算量。有时迭代过程虽然收敛,但由于收敛速度缓慢,使计算量变得很大而失去使用价值。因此,迭代过程的加速具有重要意义。逐次超松弛迭代(Successive Over relaxatic Method,简称SOR方法)法,可以看作是带参数的高斯塞德尔迭代法,实质上是高斯-塞德尔迭代的一种加速方法。第17页,共65页,编辑于2022年,星期三 6.4.
7、1超松弛迭代法的基本思想 超松弛迭代法目的是为了提高迭代法的收敛速度,在高斯塞德尔迭代公式的基础上作一些修改。这种方法是将前一步的结果 与高斯-塞德尔迭代方法的迭代值 适当加权平均,期望获得更好的近似值 。是解大型稀疏矩阵方程组的有效方法之一,有着广泛的应用。其具体计算公式如下:用高斯塞德尔迭代法定义辅助量。第18页,共65页,编辑于2022年,星期三把 取为 与 的加权平均,即 合并表示为:式中系数称为松弛因子,当=1时,便为高斯-塞德尔迭代法。为了保证迭代过程收敛,要求0 2。当0 1时,低松弛法;当1 2时称为超松弛法。但通常统称为超松弛法(SOR)。第19页,共65页,编辑于2022年
8、,星期三 6.4.2超松弛迭代法的矩阵表示设线性方程组 Ax=b 的系数矩阵A非奇异,且主对角元素 ,则将A分裂成A=d-L-U,则超松弛迭代公式用矩阵表示为或 故 显然对任何一个值,(D+L)非奇异,(因为假设 )于是超松弛迭代公式为 第20页,共65页,编辑于2022年,星期三令则超松弛迭代公式可写成 第21页,共65页,编辑于2022年,星期三例例4 用用SOR法求解线性方程组法求解线性方程组 取取=1.46,要求,要求 解:SOR迭代公式 k=0,1,2,,初值 该方程组的精确解只需迭代20次便可达到精度要求 如果取=1(即高斯塞德尔迭代法)和同一初值 ,要达到同样精度,需要迭代110
9、次第22页,共65页,编辑于2022年,星期三 6.5 迭代法的收敛性迭代法的收敛性 我们知道我们知道,对于给定的方程组可以构造成简单对于给定的方程组可以构造成简单迭代公式、雅可比迭代公式、高斯迭代公式、雅可比迭代公式、高斯-塞德尔迭代公式塞德尔迭代公式和超松弛迭代公式,但并非一定收敛。现在分析它和超松弛迭代公式,但并非一定收敛。现在分析它们的收敛性。们的收敛性。对于方程组对于方程组 经过等价变换构造出的等价方程组经过等价变换构造出的等价方程组 在什么条件下迭代序列在什么条件下迭代序列 收敛?先引入收敛?先引入如下定理如下定理 第23页,共65页,编辑于2022年,星期三定理定理 对给定方阵对
10、给定方阵G,若若 ,则则 为非奇异矩阵为非奇异矩阵,且且 证证:用反证法用反证法,若若 为奇异矩阵为奇异矩阵,则存在非零向则存在非零向 量量x,使使 ,即有即有 由相容性条件得由相容性条件得 由于由于 ,两端消去两端消去 ,有有 ,与已知条件与已知条件矛盾矛盾,假设不成立假设不成立,命题得证。命题得证。又由于又由于 有有 即即 将将G分别取成分别取成G和和-G,再取范数,再取范数 又已知又已知 ,有有 第24页,共65页,编辑于2022年,星期三第25页,共65页,编辑于2022年,星期三基本定理基本定理5 5 迭代公式迭代公式 收敛收敛的的充分必要条件充分必要条件是迭代矩阵是迭代矩阵G的谱半
11、径的谱半径证:必要性 设迭代公式收敛,当k时,则在迭代公式两端同时取极限得记 ,则 收敛于0(零向量),且有 于是 由于 可以是任意向量,故 收敛于0当且仅当 收敛于零矩阵,即当 时 于是 所以必有 第26页,共65页,编辑于2022年,星期三充分性充分性:设设 ,则必存在正数则必存在正数,使使则存在某种范数则存在某种范数 ,使使 ,则则 ,所以所以 ,即即 .故故 收敛于收敛于0,收敛于收敛于 .由此定理可知,不论是雅可比迭代法、高斯由此定理可知,不论是雅可比迭代法、高斯塞德尔迭代法还是超松弛迭代法,它们收敛的塞德尔迭代法还是超松弛迭代法,它们收敛的充要条件是其迭代矩阵的谱半径充要条件是其迭
12、代矩阵的谱半径 。事实上事实上,在例在例1中中,迭代矩阵迭代矩阵G=,其特征多项式为其特征多项式为 ,特征值为特征值为-2,-3,,所以迭代发散所以迭代发散 第27页,共65页,编辑于2022年,星期三定理定理6(6(迭代法收敛的充分条件迭代法收敛的充分条件)若迭代矩阵若迭代矩阵G G的一种范数的一种范数 ,则迭代公式则迭代公式收敛收敛,且有误差估计式且有误差估计式,且有误差估计式且有误差估计式 及及 证证:矩阵的谱半径不超过矩阵的任一种范数矩阵的谱半径不超过矩阵的任一种范数,已知已知 ,因此因此 ,根据定理根据定理4.94.9可知迭代公式收敛可知迭代公式收敛第28页,共65页,编辑于2022
13、年,星期三又因为又因为 ,则则det(I-G)0,I-G为非奇异矩阵为非奇异矩阵,故故xGxd有惟一解有惟一解 ,即即 与迭代过程与迭代过程 相比较相比较,有有两边取范数两边取范数 第29页,共65页,编辑于2022年,星期三由迭代格式,有由迭代格式,有 两边取范数,代入上式,得两边取范数,代入上式,得 证毕证毕 由定理知,当由定理知,当 时,其值越小,迭代收敛时,其值越小,迭代收敛越快,在程序设计中通常用相邻两次迭代越快,在程序设计中通常用相邻两次迭代 (为给定的精度要求)作为为给定的精度要求)作为控制迭代结束的条件控制迭代结束的条件 第30页,共65页,编辑于2022年,星期三例例5 5
14、已知线性方程组已知线性方程组 考察用考察用JacobiJacobi迭代和迭代和G-SG-S迭代求解时的收敛性迭代求解时的收敛性解解:雅可比迭代矩阵雅可比迭代矩阵 故故JacobiJacobi迭代收敛迭代收敛 第31页,共65页,编辑于2022年,星期三 将系数矩阵分解将系数矩阵分解 则高斯则高斯-塞德尔迭代矩阵塞德尔迭代矩阵 故高斯故高斯塞德尔迭代收敛。塞德尔迭代收敛。第32页,共65页,编辑于2022年,星期三定理定理8 设设n阶方阵阶方阵 为严格对角占优阵为严格对角占优阵,则则 非奇异非奇异证证:因因A为对角占优阵为对角占优阵,其主对角元素的绝对值大其主对角元素的绝对值大 于同行其它元素绝
15、对值之和于同行其它元素绝对值之和,且主对角元素且主对角元素 全不为全不为0,故对角阵故对角阵 为非奇异。为非奇异。作矩阵作矩阵 第33页,共65页,编辑于2022年,星期三利用对角占优知利用对角占优知 由定理知由定理知 非奇异非奇异,从而从而A非奇异非奇异,证毕证毕 系数矩阵为严格对角占优阵的线性方程组称作对角系数矩阵为严格对角占优阵的线性方程组称作对角占优方程组占优方程组。第34页,共65页,编辑于2022年,星期三结论结论:严格严格对角占优线性方程组对角占优线性方程组 的雅可比的雅可比 迭代公式和高斯迭代公式和高斯-赛德尔迭代公式均收敛。赛德尔迭代公式均收敛。第35页,共65页,编辑于20
16、22年,星期三定理定理9 9 若矩阵A A按行(或列)严格对角占优,或按行(或列)弱对角占优不可约;则Jacobi迭代、Gauss-Seidel迭代都收敛。第36页,共65页,编辑于2022年,星期三证明证明 若矩阵A按行严格对角占优,或按行(或列)弱对角占优不可约,则则GSGS迭代收敛迭代收敛。假若不然,(BG)1,即迭代矩阵BG的某一特征值使得|1,并且第37页,共65页,编辑于2022年,星期三类似地,若矩阵A按行严格对角占优,或按行(或列)弱对角占优不可约,则则JacobiJacobi迭代收敛迭代收敛。假若不然,(BJ)1,即迭代矩阵BJ的某一特征值使得|1,并且第38页,共65页,编
17、辑于2022年,星期三第39页,共65页,编辑于2022年,星期三定理定理1212 对于线性方程组AxAx=b b,若A A为对称正定矩阵,则当02时,SOR迭代收敛.证明证明 只需证明1(其中为L的任一特征值).第40页,共65页,编辑于2022年,星期三定理定理1313 对于线性代数方程组Ax=b,若A按行(或列)严格对角占优,或按行(或列)弱对角占优不可约;则当0w1时,SOR迭代收敛。第41页,共65页,编辑于2022年,星期三第42页,共65页,编辑于2022年,星期三例例6 设设 ,证明证明,求解方程组求解方程组 的的JacobiJacobi迭代与迭代与G-SG-S迭代同时收敛或发
18、散迭代同时收敛或发散 证证:雅可比迭代矩阵雅可比迭代矩阵 其谱半径其谱半径 第43页,共65页,编辑于2022年,星期三例例6设设 ,证明证明,求解方程组求解方程组 的的JacobiJacobi迭代与迭代与G-SG-S迭代同时收敛或发散迭代同时收敛或发散 证证:G-S:G-S迭代矩阵迭代矩阵 其谱半径其谱半径 显然显然,和和 同时小于、等于或大于同时小于、等于或大于1,1,因而因而JacobiJacobi迭代法与迭代法与G-SG-S迭代法具有相同的收敛性迭代法具有相同的收敛性 第44页,共65页,编辑于2022年,星期三例例7 设求解线性方程组的设求解线性方程组的雅可比迭代雅可比迭代 x(k+
19、1)=B x(k)+f k=0,1,求证当求证当BB 1时时,相应的相应的G-S迭代收敛迭代收敛证证 这里以这里以BB 为例为例,BB1 1类似类似 由于由于B是是雅可比迭代的雅可比迭代的迭代矩阵,故有迭代矩阵,故有 Ax=b 的系数矩阵按行严格对角占优的系数矩阵按行严格对角占优,故故高斯高斯-塞德尔迭代收敛塞德尔迭代收敛第45页,共65页,编辑于2022年,星期三例例 8 考察用考察用雅可比迭代法和雅可比迭代法和高斯高斯-塞德尔迭代塞德尔迭代 法解线性方程组法解线性方程组Ax=bAx=b的收敛性,其中的收敛性,其中解:解:先计算迭代矩阵先计算迭代矩阵第46页,共65页,编辑于2022年,星期
20、三求特征值求特征值雅可比矩阵雅可比矩阵 (B)=0 1)=21 用高斯用高斯-塞德尔迭代塞德尔迭代法求解时,迭代过程发散法求解时,迭代过程发散高斯高斯-塞德尔迭代矩阵塞德尔迭代矩阵求特征值求特征值第48页,共65页,编辑于2022年,星期三 Ax=b的系数矩阵按行严格对角占优的系数矩阵按行严格对角占优,故故高斯高斯-塞德尔迭代收敛塞德尔迭代收敛例例9 设有迭代格式设有迭代格式 X(k+1)=B X(k)+g (k=0,1,2)其中其中B=I-A,如果如果A和和B的特征值全为正数,的特征值全为正数,试证:该迭代格式收敛。试证:该迭代格式收敛。分析:根据A,B和单位矩阵I之间的特征值的关系导出()
21、1,从而说明迭代格式收敛。证:因为B=I-A,故(B)=(I)-(A)=1-(A)(A)+(B)=1 由于已知(A)和(B)全为正数,故 0(B)1,从而(B)1 所以该迭代格式收敛。第49页,共65页,编辑于2022年,星期三当时当时 a a 11时时,Jacobi矩阵矩阵 G GJ J 1,1,对初值对初值x x(0)(0)均收敛均收敛例例10 设设 方程组方程组 写出解方程组的写出解方程组的Jacobi迭代公式和迭代矩阵迭代公式和迭代矩阵 并讨论迭代收敛的条件。并讨论迭代收敛的条件。写出解方程组的写出解方程组的Gauss-Seidel迭代矩阵迭代矩阵,并讨并讨 论迭代收敛的条件。论迭代收
22、敛的条件。解解 Jacobi迭代公式和迭代公式和Jacobi矩阵分别为矩阵分别为 第50页,共65页,编辑于2022年,星期三例例 10设设 方程组方程组 写出解方程组的写出解方程组的Gauss-Seidel迭代矩阵,并讨论迭代矩阵,并讨论 迭代收敛的条件。迭代收敛的条件。解解 Gauss-Seidel矩阵为矩阵为 当时当时a a11时时,Gauss-Seidel,Gauss-Seidel矩阵矩阵 G Gs s 1,1,所以对任意初值所以对任意初值x x(0)(0)均收敛。均收敛。也可用矩阵的谱半径也可用矩阵的谱半径p(GS)1来讨论来讨论第51页,共65页,编辑于2022年,星期三解:解:先
23、计算迭代矩阵先计算迭代矩阵例例11 讨论用讨论用雅可比迭代法和雅可比迭代法和高斯高斯-塞德尔迭代塞德尔迭代 法解线性方程组法解线性方程组Ax=bAx=b的收敛性。的收敛性。第52页,共65页,编辑于2022年,星期三求特征值求特征值雅可比矩阵雅可比矩阵 (B)=1 用用雅可比迭代法求解时,迭代过程不收敛雅可比迭代法求解时,迭代过程不收敛 1=-1,2,3=1/2第53页,共65页,编辑于2022年,星期三求特征值求特征值高斯高斯-塞德尔迭代矩阵塞德尔迭代矩阵 (G1)=0.3536 1 用用高斯高斯-塞德尔迭代塞德尔迭代法求解时,迭代过程收敛法求解时,迭代过程收敛 1=0,第54页,共65页,
24、编辑于2022年,星期三求解求解AX=b,AX=b,当当 取何取何值时迭代收敛?值时迭代收敛?解解:所给迭代公式的迭代矩阵为所给迭代公式的迭代矩阵为 例例12 12 给定线性方程组给定线性方程组 AX=b AX=b 用迭代公式用迭代公式 X X(K+1)(K+1)=X=X(K)(K)+(b-A(b-AX X(K)(K)(k=0,1,)(k=0,1,)第55页,共65页,编辑于2022年,星期三即即 2-(2-5 )+1-5 +4+4 2 2=0=0 2-(2-5 )+(1-)(1-4)=0)=0 -(1-)-(1-4)=0=0 1=1-2=1-4 (B)=max|1-|,|1-4|1取取0 1
25、/21/2迭代收敛迭代收敛第56页,共65页,编辑于2022年,星期三例例13 设求解线性方程组设求解线性方程组Ax=b的简单迭代法的简单迭代法 x(k+1)=Bx(k)+g (k=0,1,2,)收敛收敛,求证求证:对对0 1,迭代法迭代法 x(k+1)=(1-)I+Bx(k)+g (k=0,1,2,)收敛。收敛。证证:设设C=(1-)I+B,(C)和和(B)分别为分别为C和和B 的特征值,则显然的特征值,则显然 (C)=(1-)+(B)因为因为0 1,(C)是是1和和(B)的加权平均的加权平均,且由迭代法且由迭代法 x(k+1)=Bx(k)+g (k=0,1,2,)收敛知收敛知|(B)|1,
26、故故|(C)|1,从而从而(C)1,即即x(k+1)=(1-)I+Bx(k)+g (k=0,1,2,)收敛收敛k=0,1,第57页,共65页,编辑于2022年,星期三 本章小结本章小结本章介绍了解线性方程组本章介绍了解线性方程组 迭代法的迭代法的一些基本理论和具体方法。迭代法是一种逐次逼一些基本理论和具体方法。迭代法是一种逐次逼近的方法,即对任意给定的初始近似解向量,按近的方法,即对任意给定的初始近似解向量,按照某种方法逐步生成近似解序列,使解序列的极照某种方法逐步生成近似解序列,使解序列的极限为方程组的解。注意到在使用迭代法限为方程组的解。注意到在使用迭代法解方程组时,其迭代矩阵解方程组时,
27、其迭代矩阵B B和迭代向量和迭代向量f f在计算过在计算过程中始终不变程中始终不变,迭代法具有循环的计算公式迭代法具有循环的计算公式,方法方法简单,程序实现方便,它的优点是能充分利用系简单,程序实现方便,它的优点是能充分利用系数的稀疏性数的稀疏性,适宜解大型稀疏系数矩阵的方程组。适宜解大型稀疏系数矩阵的方程组。第58页,共65页,编辑于2022年,星期三 迭代法不存在误差累积问题。使用迭代法的迭代法不存在误差累积问题。使用迭代法的关键问题是其收敛性与收敛速度,收敛性与迭代关键问题是其收敛性与收敛速度,收敛性与迭代初值的选取无关,这是比一般非线性方程求根的初值的选取无关,这是比一般非线性方程求根
28、的优越之处。在实际计算中,判断一种迭代格式收优越之处。在实际计算中,判断一种迭代格式收敛性较麻烦,由于求迭代的谱半径时需要求特征敛性较麻烦,由于求迭代的谱半径时需要求特征值,当矩阵的阶数较大时,特征值不易求出,通值,当矩阵的阶数较大时,特征值不易求出,通常采用矩阵的任一种范数都小于常采用矩阵的任一种范数都小于1 1或对角占优来判或对角占优来判断收敛性。有时也可边计算边观察其收敛性。如断收敛性。有时也可边计算边观察其收敛性。如何加快迭代过程的收敛速度是一个很重要的问题何加快迭代过程的收敛速度是一个很重要的问题,实用中更多的采用,实用中更多的采用SORSOR法,选择适当的松驰因子法,选择适当的松驰
29、因子有赖于实际经验。我们应针对不同的实际问题有赖于实际经验。我们应针对不同的实际问题,采用适当的数值算法。,采用适当的数值算法。第59页,共65页,编辑于2022年,星期三第第6 6章章 解线性方程组的迭代法解线性方程组的迭代法 基本内容及基本要求基本内容及基本要求 1.了解迭代法及其收敛性的概念。2.掌握雅可比(Jacobi)迭代法、高斯-赛德尔(Gauss-Seidel)迭代法和超松弛(SOR)迭代法。3.了解一阶定常迭代法的基本定理,掌握特殊方程组迭代法的收敛条件。第60页,共65页,编辑于2022年,星期三雅可比迭代法雅可比迭代法计算公式:对k=0,1,第61页,共65页,编辑于2022年,星期三高斯高斯塞德尔迭代法塞德尔迭代法计算公式:对k=0,1,第62页,共65页,编辑于2022年,星期三SORSOR迭代法的计算公式:对k=0,1,第63页,共65页,编辑于2022年,星期三Thank you very much!Thank you very much!第64页,共65页,编辑于2022年,星期三作业作业P209 1,7,9第65页,共65页,编辑于2022年,星期三
限制150内