Ch4 古典迭代法
4.1 单步线性定常迭代法
4.1.1 一般定义
新的近似解xk是已知近似解xk−1的线性函数,并且只与xk−1有关;
单步线性定常迭代法有如下形式:
xk=Txk−1+g(4.1)
其中T是迭代矩阵,g是常数项
4.1.2 Jacobi迭代与Gauss-Seidel迭代
考虑Ax=b,令A=D−L−U,则
TJ=D−1(L+U),gJ=D−1b(4.2)
x∗=TJx(k)+gJ⟹x(k+1)=(1−ω)x(k)+ωx∗
Tω=(1−ω)I+ωD−1(L+U)(4.3)
TGS=(D−L)−1U,gGS=(D−L)−1b(4.4)
TBGS=(D−U)−1L,gBGS=(D−U)−1b(4.5)
注意在具体实现时,两种方法的分量计算顺序不尽相同!!!
Jacobi迭代法是每次完全只用第k−1次的,而G-S迭代法是使用混杂的分量:
aiixi(k+1)=−j=i;j=1∑naijxj(k)+bi(4.6)
aiixi(k+1)=−j=1∑i−1aijxj(k+1)−j=i+1∑naijxj(k)+bi(4.7)
aiixi(k+1)=−j=1∑i−1aijxj(k)−j=i+1∑naijxj(k+1)+bi(4.8)
4.1.3 收敛性理论
- (一般性理论)单步线性定常迭代法收敛的充要条件是Mk→0,
- 进一步,充要条件是ρ(M)<1。
- Jacobi迭代法:
- 若A对称,且其对角元均大于0,则Jacobi收敛的充要条件是A与2D−A均正定。
- G-S迭代法:
- 若A对称正定,则G-S收敛。
- 若A严格对角占优或不可约对角占优,则Jacobi和G-S都收敛。
4.1.4 收敛速度
R∞(M)=−lnρ(M)
4.2 超松弛迭代法
4.2.1 迭代形式
分量形式:xi(k+1)=(1−ω)xi(k)+ωxiGS,wherexiGSequalsxi(k+1)in(4.7).
总形式:
xk+1=TSORxk+ω(D−ωL)−1b(4.9)
其中TSOR=(D−ωL)−1[(1−ω)D+ωU]称为松弛迭代法的迭代矩阵,ω称为松弛因子:
- ω=1:G-S迭代法;ω>1:超松弛(SOR);ω<1:低松弛.
4.2.2 收敛性分析
- SOR迭代法收敛的充要条件是ρ(Lω)<1;
- SOR迭代法收敛的必要条件是0<ω<2;
- 若A严格对角占优或不可约对角占优,且ω∈(0,1),则SOR收敛;
- 若A是实对称矩阵,则当ω∈(0,2)时,SOR收敛。
4.2.3 最佳松弛因子
随着ω从0开始增加,ρ(TSOR)逐渐减小,直至
ω=ωopt=1+1−ρ2(B)2
此时ρ(TSOR)达到极小:
ρ(Topt)=1+1−ρ2(B)1−1−ρ2(B)
此后ω增加,ρ也随之增加。