Рассмотрим одно обобщение метода Зейделя, позволяющее иногда в несколько раз ускорить сходимость итерационной последовательности. Пусть zi(k) – обозначение i-й компоненты k-го приближения к решению системы (1) по методу Зейделя, а обозначение xi(k) будем использовать для i-й компоненты k-го приближения новым методом. Этот метод определим равенством
xi(k+1)=xi(k)+ω(zi(k+1)- xi(k)), (17)
где i=1,2,…,n; k=0,1,2,…; xi(0) – задаваемые начальные значения; ω – числовой параметр, называемый параметром релаксации. Очевидно, при ω=1 метод (3), называемый методом релаксации (ослабления) совпадает с методом Зейделя.
Пользуясь ведёнными здесь обозначениями, запишем на основе метода Зейделя дополнительное к (17) равенство для выражения компонент векторов z(k)=(zi(k))ni=1 через компоненты векторов x(k)= (xi(k))ni=1:
, i=1,2,…, n. (18)
Таким образом, метод релаксации можно понимать как поочерёдное применение формул (3) и (4) при каждом k=0,1,2,…. Действительно, задав начальные значения x1(0), x2(0),…,xn(0) и параметр ω, при k=0, полагая i=1,2,…,n, вычислим z1(1),x1(1); z2(1),x2(1); …; zn(1),xn(1). Далее вычисляем при k=1, также полагая i=1,2,…,n: z1(2),x1(2); z2(2),x2(2); …; zn(2),xn(2), т.д.
Теорема о сходимости метода релаксации (теорема Островского-Рейча).
Для нормальной системы Ax=b метод релаксации, определяемый формулами (17), (18), сходится при любом х(0) и любом ωε(0;2).
Система Ax=bназывается нормальной, если матрица А – симметричная (A¢=A) и положительно определённая ((Ax,x)>0 для любого x¹0). Поскольку итерационный процесс (17), (18) содержит параметр, естественно распорядится им так, чтобы сходимость последовательности (х(k)) была наиболее быстрой. Исследование показывает, что оптимальное значение параметра релаксации лежит в интервале ωε(1;2). При этом метод (17),(18) называют методом последовательной верхней релаксации (ПВР). Ввиду неэффективности метода при ωε(0;1), называемого в этом случае методом нижней релаксации, название метод ПВР в последнее время относят ко всему семейству методов (17),(18), т.е. для любых ωε(0;2). При этом случай ωε(1;2) называют сверхрелаксацией.