第四章 线性方程组迭代解法 (2)精选PPT.ppt
《第四章 线性方程组迭代解法 (2)精选PPT.ppt》由会员分享,可在线阅读,更多相关《第四章 线性方程组迭代解法 (2)精选PPT.ppt(75页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、第四章 线性方程组迭代解法第1页,此课件共75页哦第四章目录1 向量序列与矩阵序列的极限向量序列与矩阵序列的极限2 Jacobi迭代法迭代法3 GaussSeidel迭代法迭代法4 松驰法松驰法5 迭代法的收敛条件及误差估计迭代法的收敛条件及误差估计 5.1 矩阵的谱半径矩阵的谱半径 5.2 迭代法的收敛条件迭代法的收敛条件 5.3 误差估计误差估计第2页,此课件共75页哦第四章 方程组的迭代解法概述 这一章讨论线性方程组的另一类解法这一章讨论线性方程组的另一类解法这一章讨论线性方程组的另一类解法这一章讨论线性方程组的另一类解法迭代法,由于迭代法,由于迭代法,由于迭代法,由于迭代法能充分避免系
2、数矩阵中零元的存贮与计算,因此特别迭代法能充分避免系数矩阵中零元的存贮与计算,因此特别迭代法能充分避免系数矩阵中零元的存贮与计算,因此特别迭代法能充分避免系数矩阵中零元的存贮与计算,因此特别适用于求解系数矩阵阶数很高而零元素又很多(即大型稀疏)适用于求解系数矩阵阶数很高而零元素又很多(即大型稀疏)适用于求解系数矩阵阶数很高而零元素又很多(即大型稀疏)适用于求解系数矩阵阶数很高而零元素又很多(即大型稀疏)的线性方程组。的线性方程组。的线性方程组。的线性方程组。解线性方程组的迭代法的基本思想与解方程的迭代法相解线性方程组的迭代法的基本思想与解方程的迭代法相解线性方程组的迭代法的基本思想与解方程的迭
3、代法相解线性方程组的迭代法的基本思想与解方程的迭代法相似,首先将方程组似,首先将方程组似,首先将方程组似,首先将方程组AxAx=b b化为等价方程组化为等价方程组化为等价方程组化为等价方程组x x=MxMx+g g,其中,其中,其中,其中MM为为为为n n阶方阵,阶方阵,阶方阵,阶方阵,b b=(=(b b1 1,b b2 2,b bn n)T T,g g R Rn n,任取初始向量,任取初始向量,任取初始向量,任取初始向量x x(0)(0)R Rn n,代入迭代公式:代入迭代公式:代入迭代公式:代入迭代公式:产生向量序列产生向量序列产生向量序列产生向量序列 x x(k k),若此序列收敛于,
4、若此序列收敛于,若此序列收敛于,若此序列收敛于x x*,则有,则有,则有,则有x x*=*=MxMx*+g+g,即,即,即,即x x*为原方程组的解。因此,可根据精度要求选择一个合适的为原方程组的解。因此,可根据精度要求选择一个合适的为原方程组的解。因此,可根据精度要求选择一个合适的为原方程组的解。因此,可根据精度要求选择一个合适的x x(k k)(k k充分大时)作为近似解,这就是解线性方程组的迭代法,充分大时)作为近似解,这就是解线性方程组的迭代法,充分大时)作为近似解,这就是解线性方程组的迭代法,充分大时)作为近似解,这就是解线性方程组的迭代法,上式称为迭代格式,上式称为迭代格式,上式称
5、为迭代格式,上式称为迭代格式,MM称为迭代矩阵,若序列称为迭代矩阵,若序列称为迭代矩阵,若序列称为迭代矩阵,若序列 x x(k k)极限存极限存极限存极限存在,称此迭代过程收敛,否则称为发散。在,称此迭代过程收敛,否则称为发散。在,称此迭代过程收敛,否则称为发散。在,称此迭代过程收敛,否则称为发散。第3页,此课件共75页哦1 向量与矩阵的范数 与求解方程类似,需要讨论的问题是:如何建与求解方程类似,需要讨论的问题是:如何建立迭代公式,向量序列的收敛条件是什么,若向量立迭代公式,向量序列的收敛条件是什么,若向量立迭代公式,向量序列的收敛条件是什么,若向量立迭代公式,向量序列的收敛条件是什么,若向
6、量序列序列序列序列 x(k)收敛,如何进行误差估计?收敛,如何进行误差估计?第4页,此课件共75页哦4.1 向量与矩阵的范数 这三个性质刻画了向量长度的基本特征,并可以用其将平面向这三个性质刻画了向量长度的基本特征,并可以用其将平面向这三个性质刻画了向量长度的基本特征,并可以用其将平面向这三个性质刻画了向量长度的基本特征,并可以用其将平面向量长度的概念推广到一般量长度的概念推广到一般量长度的概念推广到一般量长度的概念推广到一般n维向量,于是有如下定义:维向量,于是有如下定义:维向量,于是有如下定义:维向量,于是有如下定义:定义定义定义定义1下屏将给出范数的种类:下屏将给出范数的种类:下屏将给出
7、范数的种类:下屏将给出范数的种类:第5页,此课件共75页哦常用的向量范数 容易证明它们都满足上述三条性质。可以看出,容易证明它们都满足上述三条性质。可以看出,容易证明它们都满足上述三条性质。可以看出,容易证明它们都满足上述三条性质。可以看出,2范范范范数是平面向量长度计算公式在形式上的推广,也是线性代数是平面向量长度计算公式在形式上的推广,也是线性代数是平面向量长度计算公式在形式上的推广,也是线性代数是平面向量长度计算公式在形式上的推广,也是线性代数中的内积定义。此处引入多种范数来刻画向量的大小,数中的内积定义。此处引入多种范数来刻画向量的大小,数中的内积定义。此处引入多种范数来刻画向量的大小
8、,数中的内积定义。此处引入多种范数来刻画向量的大小,是为了在不同情况下用不同的范数研究问题。是为了在不同情况下用不同的范数研究问题。是为了在不同情况下用不同的范数研究问题。是为了在不同情况下用不同的范数研究问题。向量范数的证明:(只对第三条)向量范数的证明:(只对第三条)向量范数的证明:(只对第三条)向量范数的证明:(只对第三条)对对对对 范数:前面范数:前面范数:前面范数:前面2 2条显然,对第三条,由于对任意实数条显然,对第三条,由于对任意实数条显然,对第三条,由于对任意实数条显然,对第三条,由于对任意实数x,y y,绝,绝,绝,绝对值不等式:对值不等式:对值不等式:对值不等式:|x x+
9、y|y|x|+|y|x|+|y|成立,因而有成立,因而有成立,因而有成立,因而有:分别称为向量分别称为向量x的的2范数,范数,1范数,无穷范数。范数,无穷范数。第6页,此课件共75页哦对2范数利用实数的柯西不等式利用实数的柯西不等式:于是,有:于是,有:常用的向量范数(续)常用的向量范数(续)第7页,此课件共75页哦Rn中范数的等价性 例如可证明如下等价性:例如可证明如下等价性:所以,所以,所以,所以,2 2范范范范数与数与 范数范数范数范数是等价的。是等价的。是等价的。是等价的。不难证明:不难证明:不难证明:不难证明:亦即亦即1范数与范数与 范数是等价的范数是等价的。事实上事实上事实上事实上
10、:Rn 中任意中任意两种范数两种范数都是等价都是等价的的。第8页,此课件共75页哦矩阵范数 定义定义2对任意对任意对任意对任意n n阶方阵阶方阵阶方阵阶方阵A=(a aij ij)n n n n,若对应一个非负实数,若对应一个非负实数|A A|,满足:,满足:,满足:,满足:则称则称|A|为矩阵为矩阵A的范数。的范数。与向量范数定义比较,前三条性质只是向量范与向量范数定义比较,前三条性质只是向量范数定义的推广,而第四条性质则是矩阵乘法性质数定义的推广,而第四条性质则是矩阵乘法性质的要求,它使矩阵范数在数值计算中使用更方便。的要求,它使矩阵范数在数值计算中使用更方便。第9页,此课件共75页哦常用
11、的矩阵范数常用的矩阵范数有:常用的矩阵范数有:常用的矩阵范数有:常用的矩阵范数有:它们分别叫做矩阵的它们分别叫做矩阵的它们分别叫做矩阵的它们分别叫做矩阵的 范数,范数,1 1范数,范数,范数,范数,2 2范数,范数,范数,范数,F F范数,范数,范数,范数,矩阵矩阵F F范数是向量范数是向量范数是向量范数是向量2 2范数的推广,矩阵范数的推广,矩阵范数的推广,矩阵范数的推广,矩阵 范数,范数,范数,范数,1 1范数计算范数计算范数计算范数计算容易,而矩阵容易,而矩阵容易,而矩阵容易,而矩阵2 2范数与范数与范数与范数与A AT TA A的特征值有关,所以又称为谱的特征值有关,所以又称为谱的特征
12、值有关,所以又称为谱的特征值有关,所以又称为谱范数,它的计算较困难,但因为它有一些好的性质,所范数,它的计算较困难,但因为它有一些好的性质,所范数,它的计算较困难,但因为它有一些好的性质,所范数,它的计算较困难,但因为它有一些好的性质,所以也是常用的范数。以也是常用的范数。以也是常用的范数。以也是常用的范数。第10页,此课件共75页哦常用的矩阵范数(续)可以证明,这些范数都满足定义可以证明,这些范数都满足定义2。以以|A A|为例,前为例,前2条性质显然成立,而对:条性质显然成立,而对:第11页,此课件共75页哦最大行和矩阵范数的证明第12页,此课件共75页哦最大行和矩阵范数的证明第13页,此
13、课件共75页哦范数的相容性 在误差估计中,由于矩阵与向量会同时用到,我们总在误差估计中,由于矩阵与向量会同时用到,我们总希望有上面的不等式成立,希望有上面的不等式成立,但对任意的向量范数与矩阵范数却未但对任意的向量范数与矩阵范数却未但对任意的向量范数与矩阵范数却未但对任意的向量范数与矩阵范数却未必如此,因而特别地把满足此不等式的范数称为相容的,可以证必如此,因而特别地把满足此不等式的范数称为相容的,可以证必如此,因而特别地把满足此不等式的范数称为相容的,可以证必如此,因而特别地把满足此不等式的范数称为相容的,可以证明,上述常用的范数是相容的,即有:明,上述常用的范数是相容的,即有:明,上述常用
14、的范数是相容的,即有:明,上述常用的范数是相容的,即有:在使用范数时,应选用相容的矩阵范数与向量范数。在使用范数时,应选用相容的矩阵范数与向量范数。在使用范数时,应选用相容的矩阵范数与向量范数。在使用范数时,应选用相容的矩阵范数与向量范数。分别称为分别称为 的关于的关于P范数的范数的绝对误差与相对误差。绝对误差与相对误差。有了矩阵范数,就可以用它描述矩阵的误差,设有了矩阵范数,就可以用它描述矩阵的误差,设 是是A的的近似矩阵,近似矩阵,称为称为 的的残差阵残差阵,则:,则:第14页,此课件共75页哦求范数举例例例10第15页,此课件共75页哦 向量序列与矩阵序列的极限 与求解方程类似,需要讨论
15、的问题是:如何建与求解方程类似,需要讨论的问题是:如何建立迭代公式,向量序列的收敛条件是什么,若向量立迭代公式,向量序列的收敛条件是什么,若向量序列序列序列序列x(k)收敛,如何进行误差估计?收敛,如何进行误差估计?收敛,如何进行误差估计?收敛,如何进行误差估计?1 向量序列与矩阵序列的极限向量序列与矩阵序列的极限 由于由于由于由于R Rn中的向量可与中的向量可与Rn n的点建立一一对应关系,的点建立一一对应关系,的点建立一一对应关系,的点建立一一对应关系,因此由点列的收敛概念及向量范数的等价性,可得因此由点列的收敛概念及向量范数的等价性,可得因此由点列的收敛概念及向量范数的等价性,可得因此由
16、点列的收敛概念及向量范数的等价性,可得到向量序列的收敛概念。到向量序列的收敛概念。到向量序列的收敛概念。到向量序列的收敛概念。定义定义定义定义3 3第16页,此课件共75页哦 向量序列与矩阵序列的极限(续)n n维点列收敛的一种等价描述是其对应坐标序列均维点列收敛的一种等价描述是其对应坐标序列均维点列收敛的一种等价描述是其对应坐标序列均维点列收敛的一种等价描述是其对应坐标序列均收敛,向量序列也有类似的结论。收敛,向量序列也有类似的结论。收敛,向量序列也有类似的结论。收敛,向量序列也有类似的结论。定理定理定理定理1 1 第17页,此课件共75页哦矩阵序列的收敛概念及定理定义定义定义定义3完全类似
17、地,可以定义矩阵序列的收敛:完全类似地,可以定义矩阵序列的收敛:与向量序列类似,也有:与向量序列类似,也有:与向量序列类似,也有:与向量序列类似,也有:定理定理定理定理2 2 第18页,此课件共75页哦4.3 矩阵的谱半径矩阵的谱半径 迭代法的收敛性与迭代矩阵的特征值有关:迭代法的收敛性与迭代矩阵的特征值有关:迭代法的收敛性与迭代矩阵的特征值有关:迭代法的收敛性与迭代矩阵的特征值有关:设设设设A A为为为为n阶方阵,阶方阵,阶方阵,阶方阵,i i(i i=1,2,,n n)为为为为A A的特征值,的特征值,的特征值,的特征值,称特征值模的最大值为矩阵称特征值模的最大值为矩阵称特征值模的最大值为
18、矩阵称特征值模的最大值为矩阵A A的谱半径,记为:的谱半径,记为:的谱半径,记为:的谱半径,记为:定义定义定义定义5 5第19页,此课件共75页哦矩阵的谱半径(续)矩阵的谱半径与范数之间有如下关系:矩阵的谱半径与范数之间有如下关系:矩阵的谱半径与范数之间有如下关系:矩阵的谱半径与范数之间有如下关系:设设设设x x为对应于特征值为对应于特征值 的的的的A的特征向量,则由:的特征向量,则由:的特征向量,则由:的特征向量,则由:这个不等式对这个不等式对A A的任何范数、任意特征值都成立,的任何范数、任意特征值都成立,因此,可得矩阵因此,可得矩阵因此,可得矩阵因此,可得矩阵A A的谱半径与的谱半径与A
19、 A的范数之间的一个重要的范数之间的一个重要的范数之间的一个重要的范数之间的一个重要关系:关系:关系:关系:A的谱半径不超过的谱半径不超过的谱半径不超过的谱半径不超过A A的任一种范数。即:的任一种范数。即:第20页,此课件共75页哦公式 的重要性说明 它之所以重要是因为:它之所以重要是因为:它之所以重要是因为:它之所以重要是因为:(A)难计算,而难计算,而难计算,而难计算,而|A A|、|A A|1计算容易,并且对于任意正数计算容易,并且对于任意正数 ,存在一种矩阵范数,存在一种矩阵范数,存在一种矩阵范数,存在一种矩阵范数很接近很接近很接近很接近 (A),使得成立:,使得成立:对任意对任意对
20、任意对任意n n阶方阵阶方阵阶方阵阶方阵A A,一般不存在矩阵范数使,一般不存在矩阵范数使 (A A)=|A|A|,但若,但若,但若,但若A为对称矩阵,则有:为对称矩阵,则有:为对称矩阵,则有:为对称矩阵,则有:下面的结论对建立迭代法的收敛条件十分重要下面的结论对建立迭代法的收敛条件十分重要下面的结论对建立迭代法的收敛条件十分重要下面的结论对建立迭代法的收敛条件十分重要 :定理定理定理定理3 3第21页,此课件共75页哦定理3(续)证明:证明:第22页,此课件共75页哦由由由由5.1 5.1 的结果,可以得到如下收敛定理的结果,可以得到如下收敛定理的结果,可以得到如下收敛定理的结果,可以得到如
21、下收敛定理 :定理定理定理定理4对任意初始向量对任意初始向量x(0)和右端项和右端项g,由迭代格式:,由迭代格式:证明:证明:证明:证明:第23页,此课件共75页哦推论推论推论推论1 1第24页,此课件共75页哦 可以看出,后两个方程组与第一个方程组相可以看出,后两个方程组与第一个方程组相比,系数矩阵或右端向量仅有比,系数矩阵或右端向量仅有0.0005以下的误差,以下的误差,但准确解却相差很大。但准确解却相差很大。4.2 方程组的误差分析 数值稳定的算法是否一定能求得精度比较高数值稳定的算法是否一定能求得精度比较高的解呢?回答是不一定,解的精度还与方程组本的解呢?回答是不一定,解的精度还与方程
22、组本身的性态有关,下面来考察几个例:身的性态有关,下面来考察几个例:例例11第25页,此课件共75页哦例例12若其系数,常数项改用三位有效数字的小数表示,若其系数,常数项改用三位有效数字的小数表示,则方程组为则方程组为:第26页,此课件共75页哦右端项右端项b产生产生0.1%的变化的变化引起解的变化引起解的变化最大变化最大变化184%。初始数据的误差(相对)初始数据的误差(相对)0.3%=0.003,而解的相对误差却超过,而解的相对误差却超过50%。例例13第27页,此课件共75页哦方程组的性态讨论 病态、良态 在许多实际问题中,线性方程组的系数矩阵和在许多实际问题中,线性方程组的系数矩阵和右
23、端项的元素大多为前面计算的结果,因此上述右端项的元素大多为前面计算的结果,因此上述例中的微小误差是避免不了。而对上述例中的方例中的微小误差是避免不了。而对上述例中的方程组,无论用多么稳定的算法求解,计算中产生程组,无论用多么稳定的算法求解,计算中产生的微小误差就使解面目全非,所以这些方程组的的微小误差就使解面目全非,所以这些方程组的性态是很差的。性态是很差的。当方程组当方程组Ax=b的系数矩阵与右端向量的系数矩阵与右端向量b的微的微小变动(小扰动)而引起解严重失真时,称此方小变动(小扰动)而引起解严重失真时,称此方程组为病态方程组,其系数矩阵程组为病态方程组,其系数矩阵A称为病态矩阵,称为病态
24、矩阵,否则称为良态方程组,否则称为良态方程组,A称为良态矩阵,为了定量称为良态矩阵,为了定量刻画方程组刻画方程组“病态病态”的程度,下面对方程组的程度,下面对方程组Ax=b在在系数矩阵系数矩阵A及右端项及右端项b有扰动的几种情形进行讨论。有扰动的几种情形进行讨论。第28页,此课件共75页哦 此不等式表明,当右端项有扰动时,解的相对误差不此不等式表明,当右端项有扰动时,解的相对误差不超过超过b的相对误差的的相对误差的 倍。倍。首先考察右端项首先考察右端项b的扰动对解的影响,设的扰动对解的影响,设b有扰有扰动动 b,A为准确为准确,记引起解记引起解x的扰动为的扰动为 x,即:即:第29页,此课件共
25、75页哦方程组的性态讨论(续2)当当b为精确的而为精确的而A有微小扰动有微小扰动 A时,在时,在 A充分小时也充分小时也同样可推得:同样可推得:紧接下屏讨论:紧接下屏讨论:第30页,此课件共75页哦第31页,此课件共75页哦方程组的性态讨论续(3)而当而当而当而当A A,b b同时有微小扰动同时有微小扰动同时有微小扰动同时有微小扰动 A A,b时,则可进一步导出更一般的时,则可进一步导出更一般的时,则可进一步导出更一般的时,则可进一步导出更一般的误差估计式:误差估计式:误差估计式:误差估计式:注意到:注意到:第32页,此课件共75页哦在在 b充分小时,充分小时,此式右端实际上此式右端实际上即为
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 第四章 线性方程组迭代解法 2精选PPT 第四 线性方程组 解法 精选 PPT
限制150内