线性代数方程组的直接解法赖志柱
第三章 线性代数方程组的直接解法4ppt课件
b
例如: Hilbert矩阵就是一个著名的病态矩阵
1
1
1
2
2
1
1
3
4
1
1
n
1
Hn
1
n
3
1
( n 1)
n
1
( n 1)
(n 2)
6
1
8
对 称 正 定 矩 阵
( 2 n 1)
10
cond1(H) cond2(H) cond(H)
4 28375 15514 28375
2.9E+7 1. 5E+7 2.9E+7
3.39E+10 3.54E+13 1.53E+10 1.60E+13 3.39E+10 3.54E+13
Th362 .. 设A R
n n
非奇异,则
| | A | | 2 m i n :A A 奇 异 |A | | | 2 1 1 1 || A ||2|| A ||2 (A ) 2
n n
则
| | x | | ( A ) | | A | | | | b | | | | A | | | | |x | | |A | | | |b | | 1 ( A ) | |A | |
为满足条件
其中
I 1
的矩阵范数.
推论(补充)
在上述定理的条件下,
即在谱范数下,一个矩阵的条件数的倒数正好 等于该矩阵与全体奇异矩阵所成集合的相对距离
二、病态方程组的解法
常用的几种判定方程组为病态的经验方法 当 det( A ) 相对来说很小时,或者矩阵A
第3章线性方程组的直接解法1PPT课件
(3.5)
u x n1,n1 n1 un1,nxn bn1
unnxn bn
n
u iixi b i (u i,i 1 xi 1 u inxn) b i u ijxj
j i 1
xnbn/unn,
xi bijn i1uijxj/uii8,in1,n2,
返回LU
,2,1. 返回(3.20)
3.2.2 消去法的基本思想
(3.4)
返回式3.19
i1
liixi bi (li1x1li2x2 li,i1xi1)bi lijxj j1
i1
xi bi lijxj /lii, i 1,2, ,n.
j1
7
三、上三角方程组(返回Gauss)
u11x1 u12x2 u13x3 u1nxn b1
uiixi ui,i1xi1 uinxn bi
x3
78 26
3
x2 -28 10x3 -28 10(3)
x 1
16
(x2
2
4x 3 )
2
10
16
2 2
4(3)
1
3.2.3 高斯消元过程(即初等行变换) 记方程组(3.1)为
返回矩阵的三角分解
aa12((1111))xx11
a1(12)x2 a2(12)x2
an(11)x1an(12)x2
2
3.1 引 言
自然科学和工程计算中的很多问题的解决常常 归结为求解线性方程组。如三次样条插值函数问 题、用最小二乘原理确定拟合曲线、求解微分方 程的数值解等,最终都要转化为求解线性方程组。
求解线性方程组可采用:
1、直接法——经有限步算术运算可求得方 程组的精确解的方法(若计算过程无舍入误差)。
数值分析引论_赖志柱
第一章引论教学目标:1.了解科学与工程计算的一般过程,算法的基本概念,如算法的分类和算法的计算复杂性等;2.了解数值分析的研究对象、内容和意义,掌握该门课程的学习方法等;3.了解误差的来历,理解误差的分类以及原因;4.理解和掌握误差的几种度量方法,如绝对误差(界)、相对误差(界),有效数字等,理解几种度量之间的关系,并能运用相关概念和公式解决有关误差问题;5.了解误差传播的内涵与表现以及初值误差传播的含义,了解误差分析的几种方法,理解并掌握泰勒公式分析函数值和算术运算的误差分析方法;6.理解并掌握病态问题的含义及条件数的作用,并能分析一些简单数值方法的稳定性;7.掌握设计数值方法时避免误差危害的若干原则;8.通过复习线性代数的一些基本概念,掌握矩阵的特征值(向量)、线性空间、线性赋范空间、内积和范数等概念,能熟练计算内积和范数等简单问题;9.通过复习几种常见的矩阵,了解几种特殊矩阵的性质以备后续章节的学习。
教学重点:1.误差的分类及原因;2.误差的几种度量方式及相互关系;3.病态问题及条件数概念;4.避免误差危害的若干原则;5.内积及范数的概念、计算和相互关系。
教学难点:1.误差的几种度量方式及相互关系;2.避免误差危害的若干原则及经典例子讲解;3.内积及范数的计算。
教学方法:教具:§1.1 数值分析的研究对象、内容与意义1.1.1 科学与工程领域中问题求解的一般过程:1.提出实际问题;2.建立数学模型;3.提出数值问题;4.设计可靠、高效的算法;5.程序设计、上机实践计算结果;在具体问题的求解过程中,上述步骤形成一个循环。
随着计算机技术的发展,科学计算(数值模拟)与科学理论(分析)、科学实验(分析)一并被称为近代科学研究的三大基本手段。
1.1.2 算法1.算法:指把对数学问题的解法归结为只有加、减、乘、除等基本运算,并确定运算次序的完整而准确的描述。
2.算法分类:分类方法1:若算法只包含一个进程则称其为串行算法,否则为并行算法。
计算固体11
下面讨论x如何受A的影响,
由 (A A)(x x) b 和 Ax b相减得到
Ax A(x x) 0
从而有
x A1A(x x)
12
两边取范数
x A1A(x x)
因此得到
x A1 A ( x x )
如果A充分小,使得 A1 A 1 ,则上式化为
条件数,记为
cond( A) || A || || A1 ||
由于矩阵的范数定义不同,因而其条件 数也不同,但它们有等价的性质,即矩阵条 件数的大小是衡量矩阵“好”“坏”的标 志.
11
考虑线性方程组Ax b,若系数矩阵有
小扰动A,即原方程的系数矩阵成为A A,
这时方程的解也有扰动,即(A A)(x x) ,b
Ax b,x A1b 故有
x A1 b
14
又由 A x b ,可得到
x
A1
A
b
b
cond(A)
x
b
b
这里,条件数表示相对误差的放大率.
很自然,称 cond( A)大的矩阵为“坏”
矩阵.更确切地说,若A 为n 阶矩阵,当
cond( A) O(n2 ) 时,称 A 为病态矩阵.
(2) 对任意的实数 ,都有 A | | A ;
7
(3) 对任意两个n 阶方阵 A, B ,都有
AB A B , AB A B ;
(4) 相容性条件 AB A B .
则称 A 为矩阵 A的范数.
常用的矩阵范数有三种,是由三种常用
的向量范数诱导出的矩阵范数,设 A [aij ]
第三章 线性代数方程组的直接解法2
例2 考察方程组: 3 3.0001
1 1
x1 x2
4 4.0001
精确解为 x (1 1)T
方程组扰动后,
3 3.0001
1 1
x1 x2
4 4.0002
精确解为 x (2 2)T
x ( A) b 2.4001105 104 300%
三角不等性: A B A B , A, B Rnn
相容性: AB A B A, B Rnn
则称 A为 R中n矩n 阵 的范A数。
§6 线性方程组的敏度分析与病态方程组的解法
一、线性方程组的敏度分析 /*Sensitivity Analysis */
由实际问题得到的方程组的系数矩阵或者常数 向量的元素,本身会存在一定的误差或舍入;这些 初始数据的误差或舍入在计算过程中就会向前传播, 从而影响到方程组的解。
3 1 0.0001 0
4 0.0002
精确解为
x
(2
2)T
上例说明该方程组的解对初始元素的扰动非常敏感。
设方程组为 Ax b
系数矩阵 A 和常数向量 b 的扰动分别记为: A和 b 实际求解的方程组为 ( A A)x% (b b)
x% x x
其中 为满足条件 I 的矩1阵范数.
推论
在上述定理的条件下,
如果 A 0;,b则 0
x
b
( A)
x
b
❖如果 A 0;,b则 0
x
A
( A) (1 O( A ))
x
A
仅由 A或者 b引起的解的相对误差限可大致认为是
线性代数方程组的直接解法
n
谱半径
列范数:
A
1
max
1 jn
i 1
aij
n
( A)
max
1 i n
i
❖行范数:
A
max
1 i n
j 1
aij
1
谱范数: A 2
1 ( AT A) 2
其中
是
1
A的T A最大特征值
20
证明:
谱范数: A 2
1 其中是1 A的T A最大特征值
1
A max Ax max[( Ax)T Ax]2
x
x c2
x
x Rn
则称 • 和 是• 上等R价n 的向量范数。
例如 x x n x
2
1
2
7
性质4 向量范数的等价性具有传递性。
性质5 Rn 的所有向量范数是彼此等价的。
性质6 (向量序列的范数极限)
设 x(k) Rn ,则 lim x(k) 的x充要条0 件是 k
lim
k
x(k) i
18
相容性:
AB max ABx max A(Bx)
x 1
x 1
max( A Bx ) A B x 1
矩阵范数的一般定义形式:
A max Ax , A Rnn
p
x p 1
p
19
Th3.5.4上述一般定义形式中分别取 p 1, 2,
从而得到常用的3种分别从属于它们的矩阵范数:
记 A (aij )nn
Ax0 A x0
则称 A是 从属于向量范数 的x矩 阵范数。 A 从属于向量范数 x的必要条件:
I 1
16
Th3.5.3 设 是 中Rn的一种向量范数,若定义 A max Ax , A Rnn
第三章线性代数方程组的直接解法
由此看出,高斯消去法解方程组基本思想是设
法通消常去把方按程照组的先系消数元矩,阵后A回的代主两对个角线步下骤的求元解素线,而性 将方A程x=组b化的为方等法价称的上为三高角斯形(方G程a组us,s然)后消再去通法过。回
代过程便可获得方程组的解。换一种说法就是用矩 阵行的初等变换将原方程组系数矩阵化为上三角形 矩阵,而以上三角形矩阵为系数的方程组的求解比较 简单,可以从最后一个方程开始,依次向前代入求出 未知变量 xn , xn1 , , x1 这种求解上三角方程组的 方法称为回代, 通过一个方程乘或除以某个常数,以 及将两个方程相加减,逐步减少方程中的变元数,最 终将方程组化成上三角方程组,一般将这一过程称为 消元,然后再回代求解。
3.2.2 高斯消去法算法构造 我们知道,线性方程组(3.1)用矩阵形式表示为
a11 a12 a21 a22 an1 an2
a1n
a2n
ann
x1 b1
x
2
b2
xn bn
每个方程只含有一个未知数,从而得出所求的解。
整个过程分为消元和回代两个部分。
(1)消元过程 第1步:将方程①乘上(-2)加到方程 ②上去,将 方程 ①乘上 1 加到方程 ③上去,这样就消去
2
了第2、3个方程的 x1 项,于是就得到等价方程 组
2x1 x2 3x3 1
2
x1
x2
3x3
1
4x2 x3 2
5 2
x2
3 2
x3
13 2
第三章 线性代数方程组的直接解法
1 3 16 1 − 6
10
1 3 3 3 1 37 −9 5 10 10 1 − 9 191 10 37 74 2
1 1 1 3 L= 1 1 1 6 5 1 − 1 1 −9 37 6 10 1 −1 6 2 10 2 1 3 3 3 U= 37 −9 10 10 191 74
高斯( 二、 高斯(Gauss)变换 ) Gauss变换的定义 变换的定义 取下三角形矩阵
1
Lk =
1 −lk+1,k 1
−ln,k
1
T
则 Lk 可表示为 其中为
单位矩阵, I 单位矩阵 lk = ( 0,⋯ , 0, lk +1,k ,⋯ , ln,k ) 为高斯向量 l k 为高斯向量.
Lk = I − l e
∴ A = L L U = LU
其中
1 0 0 2 1 0 −1 − 1 L = L1 L2 = 3 2 1
Gauss消去法的矩阵表示 消去法的矩阵表示 设给定 n 阶矩阵 记
(1) (1) ij
A = aij ∈ R
( )
n× n
A = (a ) = (aij ) = A
证明:寻找满足条件的初等下三角阵 证明:寻找满足条件的初等 初等下三角阵 记
y = ( x1 ,⋯ , xk , 0,⋯ , 0)
Lk = I − l e
T k k
T
lk = (0,⋯ , 0, lk +1,k ,⋯ , ln ,k )
T k k T k k
T
Lk x = ( I − l e ) x = x − l e x = x − lk xk = y
第02讲:线性代数方程组求解(直接方法)
A(1) ( A(1)
§2.1 Gauss evaluation method
首先进行消去过程,对 A (1) 分别用-2,-3,-4乘第一行 后加到第2、3、4行有
例:试用高斯顺序消去法求解线性代数方程组:
x1 x2 x3 x4 4 2x x x x 5 1 2 3 4 3 x1 2 x2 x3 x4 7 4 x1 3 x2 2 x3 x4 10
解:线性方程组的增广矩阵为:
(2) a22 0时,用矩阵 第二步:等价于:若 左乘 A (1) 即有
(1) a 0 1 11 0 0 1 (1) l0 L A 1 L 0 2 32 0 0 l n2
(1) a 012 (2) a 022
1
(2) a 0n 2
基本思想 对线性代数方程组所对应的增广矩阵进行一系 列 “把某一行的常数倍加到另一行上去” 这样的 初等行变换,最后得到上三角矩阵所对应的线性代数 方程组,只要回代就可得到原方程组的解。
A
a
(1)
(A
(1)
b ) ( A b)
(1)
(1) ij
aij (i, j 1,2,3, , n)
, n)
§2.1 Gauss evaluation method
(1) a11 0 ( A(3) | b(3) ) 0 0 (1) a12 (2) a22 0 (1) a13 (2) a23 (3) a33 (1) a1(1) b n 1 (2) (2) a2 n b2 (3) (3) a3 b n 3 (3) (3) ann bn
数值分析线性代数方程组的直接解法公开课一等奖优质课大赛微课获奖课件
Step2 Step4 Step6
u1n Step1 u2n Step3 u3n Step5
unn Step2n-1
Step2(n-1)
对方程组求解,只要得到了系数矩阵三角分解形式,再利 用前代算法和回代算法解两个三角方程组即得.
第22页
例1:用Gauss消去 6 x1 2 x2 x3 x4 6
a (1) 11
0
A(1)
a (1) 11
c1
r1T A1
高斯变换
a (1) 11 0
r1T
第15页
取 L1 I l1e1T l1 (0, l21, , ln1 )T
其中
li1
a (1) i1
a (1) 11
i 2,3,
,n
记 A(2) L11 A(1)
1
A( 2 )
c1
a (1) 11
L11 I l1e1T
0
a (1) 11
r1T
I
n1
c1
A1
第16页
A( 2 )
a1(11) 0
A1
r1T c1r1T
a (1) 11
(ai(j2)
)
a(2) ij
a (1) ij
a a (1) (1) i1 1 j
a (1) 11
i, j 2,3,
,n
第12页
三、 三角分解计算
➢ Gauss消去法
设给定矩阵
1 4 7
A 2 5
8
取Gauss变换矩阵 3 6 10
1 0 0 L1 2 1 0
3 0 1
1 4 7
则有 L1A 0
3
6
第5章 求解线性代数方程组的直接法
数值计算与MATLAB1《数值计算与MATLAB 》第5章求解线性代数方程组的直接法§0 引言§1 线性代数方程组求解概论§2 恰定线性方程组求解§3 矩阵的三角分解§4 MATLAB实现《数值计算与MATLAB 》引言大量的科技与工程实际问题,常常归结为解线性代数方程组,有关线性方程组解的存在性和唯一性在“线性代数”理论中已经作过详细介绍,本章的主要任务是讨论系数行列式不为零的n阶非齐次线性方程组Ax=b的两类主要求解方法:直接法(精确法)和迭代法。
《数值计算与MATLAB 》5.1 线性代数方程组求解概论线性代数方程组的矩阵表示Ax=b⎪⎪⎩⎪⎪⎨⎧=+++=+++=+++mnmnmmnnnnbxaxaxabxaxaxabxaxaxa22112222212111212111《数值计算与MATLAB 》线性代数方程组解的性质AS≡b解的判别及其结构Ax=0:有非零解——系数矩阵的秩R(A)<n。
若R(A)=n,则方程组只有零解。
Ax=b:分三种类型:当R(A)=R(B)=n时,称方程组为恰定方程组,这时它有唯一解向量;当R(A)=R(B)<n时,称方程组为欠定方程组,这时它有无穷多解向量;当R(A)<R(B)时,称方程组为超定方程组或矛盾方程组,即保留方程个数大于未知量个数,一般意义下无解,但可求出其最小二乘解。
《数值计算与MATLAB 》5.2 恰定线性代数方程组求解克莱姆法则对于恰定方程组Ax=b,即满足R(A)=R(B)=n 的方程组求解,可用克莱姆(Cramer)法则得出唯一解。
利用Cramer法则求解所需乘除运算量为:N=(n+1)!(n-1)+n=n!(n2-1)+nAΔhhxdet《数值计算与MATLAB 》高斯消去法(消元法)消元过程回代过程顺序高斯消去法(Gauss-Jordan)列主元素消去法主元素消去法全主元素消去法《数值计算与MATLAB 》5.3 矩阵的三角分解高斯消去法和三角矩阵消元过程:实质上就是用一系列行初等变换,即P n-1P n-2...P1Ax= P n-1P n-2 (1)使方程组等价地变换成一个三角形回代过程:就是先求出,然后逐个由下往上进行回代,求得方程组的解。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
第二章线性代数方程组的直接解法教学目标:1.了解线性代数方程组的结构、基本理论以及相关解法的发展历程;2.掌握高斯消去法的原理和计算步骤,理解顺序消去法能够实现的条件,并在此基础上理解矩阵的三角分解(即LU分解),能应用高斯消去法熟练计算简单的线性代数方程组;3.在理解高斯消去法的缺点的基础上,掌握有换行步骤的高斯消去法,从而理解和掌握选主元素的高斯消去法,尤其是列主元素消去法的理论和计算步骤,并能灵活的应用于实际中。
教学重点:1. 高斯消去法的原理和计算步骤;2. 顺序消去法能够实现的条件;3. 矩阵的三角分解(即LU分解);4. 列主元素消去法的理论和计算步骤。
教学难点:1. 高斯消去法的原理和计算步骤;2. 矩阵的三角分解(即LU分解);3. 列主元素消去法的理论和计算步骤。
教学方法:教具:引言在自然科学和工程技术中,许多问题的解决常常归结为线性方程组的求解,有的问题的数学模型中虽不直接表现为线性方程组,但它的数值解法中将问题“离散化”或“线性化”为线性方程组。
例如,电学中的网络问题、船体数学放样中建立三次样条函数问题、最小二乘法用于求解实验数据的曲线拟合问题、求解非线性方程组问题、用差分法或有限元法求解常微分方程边值问题及偏微分方程的定解问题,都要导致求解一个或若干个线性方程组的问题。
目前,计算机上解线性方程组的数值方法尽管很多,但归纳起来,大致可以分为两大类:一类是直接法(也称精确解法);另一类是迭代法。
例如线性代数中的Cramer法则就是一种直接法,但其对高阶方程组计算量太大,不是一种实用的算法。
实用的直接法中具有代表性的算法是高斯(Gauss)消元法,其它算法都是它的变形和应用。
在数值计算历史上,直接法和迭代法交替生辉。
一种解法的兴旺与计算机的硬件环境和问题规模是密切相关的。
一般说来,对同等规模的线性方程组,直接法对计算机的要求高于迭代法。
对于中、低阶(200n )以及高阶带形的线性方程组,由于直接法的准确性和可靠性高,一般都用直接法求解。
对于一般高阶方程组,特别是系数矩阵为大型稀疏矩阵的线性方程组用迭代法有效。
§2.1 基本定理和问题设具有n 个未知数的n 个方程的线性方程组为11112211211222221122n n n n n n nn n na x a x a xb a x a x a x b a x a x a x b +++=⎧⎪+++=⎪⎨⎪⎪+++=⎩ (2.1)或1nij j i j a x b ==∑(1,2,,i n =) (2.1)’其矩阵形式可以表示为Ax b = (2.2)其中111212122212n n n n nn a a a a a a A a a a ⎛⎫ ⎪ ⎪= ⎪⎪⎝⎭12(,,,)T n x x x x = 12(,,,)T n b b b b =其增广矩阵为1,1111212,121222,112[|]n n n nn n n n nn a a a a a a a a A A b a a a a +++⎛⎫ ⎪⎪== ⎪ ⎪ ⎪⎝⎭(,1i n i a b +=,1,2,,i n =) (2.3) 则方程组(2.1)、(2.1)’或(2.2)和(2.3)是一一对应的。
若用()r A 表示矩阵A 的秩,则有关于线性方程组(2.2)的解的存在性的基本定理(在高等代数或线性代数中有证明):定理2.1 (1)方程组(2.2)有解的充分必要条件是()()r A r A =; (2)若()()r A r A k n ==<,则方程组(2.2)具有一族解,其解可表示为()1n ki i i x x c x -*==+∑其中x *为Ax b =的任一特解,()i x 是齐次方程组0Ax =的解,且(1)(2)(),,,n k x x x -线性无关,i c 为任意常数。
(3)若()()r A r A n ==,则方程组(2.2)有唯一解。
定义 2.1 如果两个方程组的解相同,则称这两个方程组为同解(等价)方程组。
不难证明:将方程组中任意两个方程交换次序,所得方程组和原方程组为同解方程组;将方程组中任一方程的一个倍数加到另一个方程上,所得方程组和原方程组为同解方程组。
用()i E 表示(2.1)的第i 个方程或(2.3)的第i 行,记(2.3)的第i 行与第j 行互换为()()i j E E ↔,而(2.3)的第j 行乘以0α≠加到第i 行记为()()j i i E E E α+→。
这是矩阵的初等变换,相当于[|]A b 左乘一个初等矩阵。
同样的运算符号,我们也理解为方程组(2.1)作相应的变换。
经过这些变换后得到的方程组与方程组(2.1)同解(或等价)。
对于线性方程组(2.2)的求解,在理论上并不存在困难。
若()r A n =,即A 为非奇异(可逆)矩阵,它的行列式det 0D A =≠,则应用Cramer 法则可求得i i Dx D =(1,2,,i n =)其中i D 是用b 代替A 中第i 列而得到的相应的行列式。
然而在实际中,当未知数的个数n 比较大时,按Cramer 法则进行计算,其工作量就会大得惊人,因而该方法在实际操作中并不可行。
n 阶行列式共有!n 项,每项都有n 个因子,所以计算一个n 阶行列式需要做(1)!n n -⋅次乘法,我们共需要计算1n +个行列式,要计算出i x ,还要做n 次除法,因此用Cramer 法则求解线性方程组(2.2)就要做2(1)(1)!(1)!N n n n n n n n =+⋅-⋅+=-⋅+次乘除法(不计加减法)。
如10n =时,359251210N =;当20n =时,209.707310N ≈⨯,可见,在实际计算中Cramer 法则几乎没有什么用处。
本章的主要目的就是研究求解线性方程组(2.2)的有效算法。
某一算法的效率可以用下列两个主要的准则来判断:(1)该算法的计算速度如何?即计算中要设计多少次运算?(2)计算所得到解的精度如何?这两个准则是针对在计算机上求解高阶方程组而提出的。
由于线性方程组阶数很高时求解所需要的计算量极其巨大,因而很自然地提出准则(1)。
准则(2)的提出,是由于在实际问题当中舍入误差的影响,可能使计算解产生偏离真实解的不可忽视的误差。
特别地,在解高阶方程组时涉及大量的运算,舍入误差潜在地积累有可能造成计算解对真实解的严重偏离。
后续章节还要详细地研究误差的影响。
在研究(2.2)的数值方法之前,先考察一下求解中会遇到的一些困难,这有助于理解后面将要提出的一些数值计算方法。
§2.2 Gauss 消去法从这一节开始,我们来讨论线性方程组(2.1)或(2.2)的直接解法。
所谓直接法,就是它只包含有限次的四则运算,若假定每一步运算过程中都不产生舍入误差,计算的结果就是方程组的精确解。
这种方法中最基本和最简单的就是Gauss 消去法及其变形。
2.2.1 Gauss 消去法的计算过程设方程组(2.1)或(2.2)的系数矩阵A 非奇异,并记(1)ij ij a a =,1,2,,i n =,1,2,,,1j n n =+(1)(1)[|][|]A b A b =这样方程组(2.2)又记为(1)(1)A x b =。
要完成Gauss 消去法的第1步须先假定(1)110a ≠,令(1)11(1)11i i a l a =(2,,i n =),则运算11()()i i i l E E E -+→(2,,i n =)将(1)(1)[|]A b 变换为(1)(1)(1)(1)1,111121(2)(2)(2)2,1(2)(2)222(2)(2)(2),12[|]n nn n n n n nn a a a a a a a A b a a a +++⎛⎫⎪ ⎪=⎪ ⎪ ⎪⎝⎭(2.4) 其中(2)(1)(1)11ijiji jaa l a =-,(1)11(1)11i i a l a =,2,,i n =,2,,1j n =+对应(2.4)的方程组是(2)(2)A x b =,它与(2.2)等价,而其第2至第n 个方程中的1x 项已经消去。
一般地,设消去法已进行了1k -步,得到方程组()()k k A x b =。
此时对应的增广矩阵为(1)(1)(1)(1)1,111121(2)(2)(2)2,1222()()()()(),1()()(),1[|]n nn nk k k k k k n kkkn k k k n n nknn a a a a a a a A b a a a a a a ++++⎛⎫ ⎪ ⎪⎪⎪= ⎪⎪ ⎪ ⎪⎝⎭(2.5) 假设()0k kka≠,令()()k ikik k kka l a =(1,,i k n =+),则运算()()ik k i i l E E E -+→(1,,i k n =+)的结果是方程组(1)(1)k k A x b ++=,对应增广矩阵为(1)(1)[|]k k A b ++,其中的元素为()(1)()(),1,,;1,,1,1,,;1,,10,1,,k ij k k k ijij ik kj a i k j n a a l a i k n j k n i k n +⎧==+⎪=-=+=++⎨⎪=+⎩(2.6)()()/,1,,k k ik ik kk l a a i k n ==+如果依次有()0k kka ≠(1,,1k n =-),则可进行第1n -步,得到与( 2.2)等价的方程组()()n n A x b =,其中()n A 是一个上三角阵,且(1)(1)(1)(1)1,111121(2)(2)(2)2,1()()222()(),1[|]n nn n n n n n n n nn a a a a a a a A b a a +++⎛⎫⎪ ⎪=⎪ ⎪ ⎪⎝⎭这样就完成了消去过程。
因为A 非奇异,故有()0n nna ≠。
接下来解()()n n A xb =,因为()n A 是上三角阵,这只要用逐次向后代入的方法即可,这个过程称为回代过程,其计算公式为(),1()()(),11(),1,2,,1n n n n n nnn i i i n ij jj i i i ii a x a a a x x i n n a ++=+⎧=⎪⎪⎪⎨-⎪⎪==--⎪⎩∑ (2.7) 以上有消去过程和回代过程合起来求出(2.2)的解的过程就称为Gauss 消去法,或称为顺序Gauss 消去法。
从(2.6)可以看出,消去过程的第k 步共含有除法运算n k -次,乘法和减法运算各()(1)n k n k -+-次,所以消去过程共含有乘除法次数为3211115()()(1)326n n k k n n nn k n k n k --==-+-+-=+-∑∑ 含加减法次数为311()(1)33n k n nn k n k -=-+-=-∑而回代过程含乘除法次数为(1)2n n +,加减法次数为(1)2n n -,所以Gauss 消去法总的乘除法次数为332333n n n n +-≈,加减法次数为32353263n n n n +-≈。