[理学]3线性方程组解法课件

《[理学]3线性方程组解法课件》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、第3章线性方程组的解法本章探讨大型线性方程组计算机求解的常用数值方法的构造和原理，主要介绍在计算机上有效快速地求解线性方程组的有关知识和方法.重点论述Jacobi迭代法、Seidel迭代法、Guass消元法及LU分解法的原理、构造、收敛性等内容。1283.1实际案例3.2问题的描述与基本概念解线性方程组问题在线性代数中已有很优美的行列式解法，但对大型的线性方程组（阶数n>40）的求解问题使用价值并不大，因为其计算量太大。实际问题中经常遇到自变量个数n都很大的线性方程组求解问题，这些线性方程组要借助计算机的帮助才能求出解

2、。128n个变元的线性方程组的一般形式为（3.3）式中，aij称为系数，bi称为右端项，它们都是已知的常数。如果有使方程组（3.3）成立，则称值为线性方程组的（3.3）的一组解。128本章在不作特别说明的情况下，主要讨论m=n的线性方程组的求解问题，且假设它有唯一解。线性方程组的矩阵表示式中A称为系数矩阵，b称为右端项。128数值分析中，线性方程组的数值解法主要分为直接法和迭代法两大类。直接法是用有限次计算就能求出线性方程组“准确解”的方法（不考虑舍入误差）；迭代法是由线性方程组构造出迭代计算公式，然后以一个猜测的向量

3、作为迭代计算的初始向量逐步迭代计算，来获得满足精度要求的近似解。迭代法是一种逐次逼近的方法。1283.3线性方程组的迭代解法线性方程组迭代解法有Jocobi迭代法、Seidel迭代法及Sor法等基本思想（与简单迭代法类比）将线性方程组等价变形为以构造向量迭代格式用算出的向量迭代序列去逼近解。1281.构造原理1）Jacobi迭代法（1)将线性方程组（3.4）的第i个变元用其他n-1个变元表出，可得（3.5）称（3.5）为不动点方程组。128（2）将（3.5）式写成迭代格式（3.6）Jacobi迭代格式（3）取定初始向量

4、，代入，可逐次算出向量序列，这里。1282）Seidel迭代法Seidel迭代格式Seidel迭代并不能取代Jacobi迭代。1283）Sor法用Seidel迭代算出的与相减得到差向量采用加速技术做下一步迭代：得Sor法的迭代格式式中参数w称为松弛因子，可以任意选取，当w=1时，Sor法就是Seidel迭代法。128例如对线性方程组先将其写成不动点方程组128Jacobi迭代Seidel迭代128Sor迭代1282.迭代分析及向量收敛1）三种迭代法的向量迭格式对Ax=b，将系数矩阵A作如下分解128则Ax=b可以写成。

5、假设存在，得Ax=b的等价方程组由此可得到Jacobi迭代的向量迭代格式，称为Jacobi迭代矩阵。128Seidel向量迭代格式式中矩阵称为Seidel迭代矩阵，。Sor法的向量迭代格式式中矩阵称为超松弛迭代矩阵，，。三种迭代格式可用一个迭代格式1282）向量收敛定义定义3.1设向量序列及向量都是中的向量，如果有成立，,则称收敛于。简记为。1283）范数定义与科学计算中的常用范数定义3.2设L是数域K上的一个线性空间，如果定义在L上的实值函数满足1)任取，有,且；2)任取，有；3)任取，有,则称是L上的一个范数，称为

6、x的一个范数。128范数的定义很象绝对值函数，故常用或表示范数，而范数常记为或。这样，上面范数定义中的3个条件常写为1）任取，有,且；2）任取，有；3）任取，有将其与绝对值比较，是否很象？实际上，很多有关绝对值的运算和结论可以平行引进到有关范数的运算和证明问题中。128数值分析中常用的线性空间有ln维向量空间l矩阵空间连续函数空函数空间是由闭区间上所有连续函数组成的集合，其线性运算定义为加法数乘，为数128在这些空间上，数值分析中常用的范数有(1)的向量范数1)，2)，3）式中向量。128(2)的矩阵范数矩阵范数要满足

7、如下四条1）任取，有,且；2）任取，有；3）任取，有4）任取，有（相容性）与向量范数做对比128由于线性方程组求解问题中，系数矩阵总是与向量联系在一起的，为描述这种联系，引入如下的算子范数概念。定义3.3设矩阵，称为矩阵A的算子范数。容易证明，矩阵A的算子范数也是矩阵范数，且满足不等式关系.128常用的矩阵范数有如下4种1）列范数：2）行范数：3）F范数：4）2范数：是最大特征值以上4个矩阵范数中，是算子范数，不是算子范数。1283）范数等价与向量极限定义3.4设是线性空间L上的两个范数，若存在正常数m和M，成立则称范

8、数是等价范数。定理3.1上的所有范数都是等价的。定理3.2。式中是上任何一种范数。1284）谱半径及其与范数的关系定义3.5设，是A的n个特征值，则称实数为矩阵A的谱半径。注意如果是复数，表示复数模。128定理3.3设，则有，为矩阵A的任意算子范数。证明设是A的任意一个特征值，为对应的特征向量，则有取范数，得因为，上式同除，得由