Применение временных рядов для анализа больших данных. Учебное пособие по курсу «Математические методы анализа больших данных»
.pdf
1.11. Чебышёвский итерационный метод
T |
(x)+T |
(x) = 2cos(marccos(x))cos(arccos(x))= 2T |
(x)T |
(x ), |
m+1 |
m−1 |
m |
1 |
|
Сучётом начальных условий T0(x) = cos(0) = 1, T1(x) = cos(arccos(x)) =
=x, можно получить выражение для полинома Чебышёва любого порядка
T |
(x ) = 2T |
|
(x )T |
(x )− T |
(x ) = 2xT |
(x )−T |
(x ). |
|
|||||||||||
m+1 |
|
m |
1 |
|
|
|
|
m−1 |
|
|
m |
|
|
m−1 |
|
|
|
|
|
Например, |
T |
(x) = 2x |
2 |
−1 |
, |
T |
(x) = 4x |
3 |
− 3x , |
T |
(x)= 8x |
4 |
− 8x |
2 |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
2 |
|
|
|
|
|
|
3 |
|
|
|
|
4 |
|
|
|
|
|
…
+1
,
Видно, что выражение всегда будет полиномиальным, несмотря на первоначальное определение через тригонометрические функции. Заметим также, что произошло расширение области определения и области значений. Первоначально область определения определялась функцией y = arccos(x), а область значений – функцией y = cos(x). Полиномы определены при любом действительном x. Значения полиномов также не ограничены. Но интерес будут представлять именно отрезки −1,+1 области
определения и области значений.
Можно точно указать значения корней полинома Чебышёва любого порядка:
T |
(x)= cos |
( |
narccos(x) |
) |
= 0, |
marccos(x ) = |
1 |
|
|
arccos(x) = |
1+ 2l |
, |
|||||||
m |
|
|
|
|
|
2 + l , |
2m |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
1 + 2l |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= cos |
|
|
|
0 l |
m −1 |
|
|
|
|
|||||||
|
|
|
l |
|
|
|
|
2m |
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
( |
|
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
или |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
2k −1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k |
= cos |
2m |
|
|
|
|
1 k m |
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
( |
), |
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
причем все они расположены в интервале (−1,+1). |
|
|
|
|
|
||||||||||||||
|
Верно также следующее. Если предписать корням полинома m-й |
||||||||||||||||||
степени P (x) и занять в точности положения корней полинома Чебышёва, |
|||
m |
|
|
|
то на месте Pm (x) мы получим полином Чебышёва Pm (x) = Tm (x). |
|
||
Таким образом, если спроецировать границы спектра |
min |
|
max |
матрицы СЛАУ в отрезок −1,+1 области определения полинома Чебышёва, то для всех собственных чисел (для всех компонент невязки в базисе из
21
1. Численные методы решения систем линейных алгебраических уравнений
собственных векторов матрицы СЛАУ) будет выполняться
m ( )
1. При
этом корни полинома ( ), которые очевидны ( k m
должны соответствовать корням полинома Чебышёва вестны. Это решит поставленную задачу.
=
Tm
−1 |
, 1 k |
k |
|
(x ), которые |
|
m ),
из-
1.11. Чебышёвский итерационный метод
Чебышёвскому итерационному методу присущи черты и стационарного, и нестационарного метода. От итерации к итерации τs изменяется, как в нестационарных методах. Но следующий пакет из m итераций в точности повторяет предыдущий пакет из m итераций, что присуще ста-
ционарным методам. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
Отображение |
|
|
области |
|
определения |
|
полинома |
|
Чебышёва |
||||||||||||||||||||||||||||||||
−1 x +1 |
|
на спектральный интервал |
|
|
min |
|
|
max |
выразим интерпо- |
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
ляционным полиномом первого порядка в форме Лагранжа |
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
(x)= |
|
(+1)− x |
|
|
|
|
+ |
x − (−1) |
|
|
|
|
|
|
= |
1 − x |
|
|
|
+ |
x +1 |
|
|
= |
||||||||||||||||||
|
|
|
|
|
|
|
min |
|
|
|
|
|
|
max |
|
|
|
|
|
min |
|
max |
|||||||||||||||||||||
|
(+1)− (−1) |
(+1)− (−1) |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
2 |
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
= |
1 |
( |
|
|
+ |
|
)+ |
1 |
|
( |
|
|
− |
|
|
)x. |
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
2 |
|
min |
max |
|
|
2 |
|
|
|
|
max |
|
|
|
min |
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
Выразим отображение корней |
|
|
полинома |
|
Чебышёва |
на отрезок |
|||||||||||||||||||||||||||||||||||
|
min |
|
max |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
= |
|
1 |
( |
|
|
|
+ |
|
|
)+ |
|
1 |
( |
|
|
|
− |
|
|
|
|
)x = |
|
|
|
|
|||||||||
|
|
|
|
|
|
k |
|
2 |
min |
max |
2 |
max |
min |
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k |
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
2k −1 |
|
|
|
|
1 k |
m. |
|
||||||||
|
|
= |
( min + max )+ |
( max − min )cos |
|
|
|
|
|
|
|
, |
|
|
|||||||||||||||||||||||||||||
|
|
2 |
2 |
|
|
2m |
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Представим убывания множителя невязки в формате полинома Чебышёва
|
m |
(x)= (1− )(1− ) (1− |
m |
)= AT |
( )= |
|||
|
|
1 |
1 |
m |
|
|
||
= B( − 1 )( − 2 ) |
( − m )= (1− 1−1 )(1− 2−1 ) |
(1− m−1 ). |
||||||
22
1.12. Нестационарные итерационные методы решения СЛАУ
Оптимальный Чебышёвский набор итерационных параметров име-
ет вид
|
|
= |
1 |
= |
|
|
2 |
|
|
|
, |
1 k m. |
|
k |
|
( |
+ |
) + ( |
|
− |
)x |
||||||
|
|
|
|
|
|||||||||
|
|
|
|
k |
|
||||||||
|
|
|
k |
|
min |
max |
|
max |
min |
|
|
За приближение к решению СЛАУ следует принимать результат последней итерации пакета. Для сравнения эффективности методов следует иметь в виду, что одна макроитерация Чебышёвского итерационного метода соответствует m итерациям метода простых итераций.
Условие убывания невязки выполняется для пакета итераций в целом, но на отдельных итерациях пакета оно может нарушаться. Это приводит также к тому, что если использовать корни полинома Чебышёва в порядке их возрастания или убывания, то после последней итерации пакета нас ожидало бы снижение невязки, но мы можем получить «floating point overflow», не дотянув до последней итерации пакета. Для исключения подобной ситуации применяют перемешивания корней полинома Чебышёва.
Существуют различные схемы перемешивания (полная тасовка – название одной из адресных функций в Computer Sciences).
В случае степени двойки |
m = 2 |
p |
[34] за стартовый порядок при- |
|
нимается
x |
, |
1 |
|
x2 
. Порядок
x |
, x |
, x |
, x |
1 |
4 |
2 |
3 |
получается полной тасовкой
x |
, x |
2 |
1 |
|
и обратного порядка
x |
4 |
, x |
|
3 |
для второй половины. Далее,
x |
, x |
, x |
4 |
, x |
, x |
2 |
, x |
, x |
, x |
1 |
8 |
|
5 |
|
7 |
3 |
6 |
получается полной тасовкой предыдущего
порядка |
x |
, x |
, x |
2 |
, |
1 |
4 |
|
|
рой половины. Аналогично,
x |
и обратного ему порядка |
x |
, x |
, x |
7 |
, x |
6 |
для вто- |
|||||||||||||||
3 |
|
8 |
|
5 |
|
|
|||||||||||||||||
x |
, x |
, x |
, x |
, x |
4 |
, x |
, x |
, x |
, x |
2 |
, x |
|
, x |
, x |
, x |
, x |
|
, x |
6 |
, x |
|||
1 |
16 |
8 |
9 |
|
13 |
5 |
12 |
|
15 |
|
7 |
|
10 |
|
3 |
14 |
|
11 |
|||||
получается полной тасовкой
x1, x8 , x4 , x5 , x2 , x7 , x3 , x6 и обратного |
x |
, |
16 |
|
второй половины. Далее аналогично.
предыдущего
x |
, x |
, x |
, x |
, x |
, x |
, |
9 |
13 |
12 |
15 |
10 |
14 |
|
порядка
x |
для |
11 |
23
1. Численные методы решения систем линейных алгебраических уравнений
В случае степени тройки m = 3p [35] за стартовый порядок прини-
мается |
x |
, x |
, x |
2 |
. Порядок |
x |
, x |
, x |
|
, x |
, x |
, x |
4 |
, x |
2 |
, x |
, x |
получается сле- |
|||||
1 |
3 |
|
1 |
|
7 |
|
6 |
3 |
9 |
|
|
8 |
5 |
||||||||||
дующим образом. Для первой |
|
x |
, x |
2 |
, x |
и последней |
x |
, x |
, x |
третей |
|||||||||||||
|
1 |
|
|
|
3 |
7 |
8 |
9 |
|||||||||||||||
порядки соответствуют предыдущему, т.е.
x |
, x |
, x |
2 |
1 |
3 |
|
и |
x |
, x |
, x |
|
7 |
9 |
8 |
, после
чего производится их полная тасовка, а средняя
x4 , x5 , x6
треть, упоря-
доченная в обратном порядке |
x |
, x |
4 |
, x |
, распределяется по местам с |
6 |
|
5 |
номерами, кратными тройке. Далее аналогично.
1.12. Нестационарные итерационные методы решения СЛАУ
Рассматриваются следующие нестационарные итерационные методы решения СЛАУ:
−Метод скорейшего спуска.
−Метод минимальных невязок.
−Метод сопряжённых направлений.
Воснове рассматриваемых методов лежит следующий итерационный процесс
|
|
x |
(s+1) |
x |
(s) |
+ |
d |
(s) |
. |
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
s |
|
|
|
|
При этом в качестве направления d(S) в методах скорейшего спуска |
||||||||||
и минимальных |
невязок используется вектор |
невязки ξ(s ) = b − Ax(s )на |
||||||||
приближении x |
(s ) |
к решению СЛАУ |
Ax = b , |
а в методе сопряжённых |
||||||
|
||||||||||
направлений так называемое сопряжённое направление. Итерационные
параметры |
|
s |
изменяются от итерации к итерации. Отсюда и прилага- |
|
тельное «нестационарные», характеризующее группу методов. Между собой методы различаются идеей, лежащей в основе получения опти-
мального значения
s
.
24
1.14. Метод минимальных невязок
1.13. Метод скорейшего спуска
Итак, задачи (1) и (23) эквивалентны:
= 1 2
(Ax,x)− (b,x) → min,
|
(A + A |
)x −b = 0. |
1 |
T |
|
2 |
|
|
|
Выразим |
приближении |
|
ξ |
(s ) = b − 1 (A + A |
|
2 |
значение |
|
(s +1) |
квадратичного функционала на |
|||||||||
|
||||||||||||
|
x |
(s +1) |
= x |
(s ) |
+ |
ξ |
(s ) |
к решению СЛАУ (2 |
||||
|
|
|
|
|
|
|
s |
|
|
|
|
|
T |
)x |
(s ) |
– вектор невязки на приближении x |
(s ) |
: |
|||||||
|
||||||||||||
|
|
|
||||||||||
(s
),
+
1)-м
где
(s +1) = 1 |
(Ax |
(s +1), x(s +1))− (b, x(s +1))= 1 |
(A(x(s ) + |
ξ |
(s )), x(s ) + |
ξ |
(s ))− (b, x(s ) + |
ξ(s ) |
2 |
|
2 |
s |
|
s |
|
s |
|
=12 (Ax(s ), x(s ))− (b, x(s ))+ 12 s (Aξ(s ), x(s ))+ 12 s (Ax(s ), ξ(s ))− s (b, ξ(s ))+ 12 2s (Aξ(s ), ξ(s )
=(s ) + 12 s (ξ(s ), AT x(s ))+ 12 s (Ax(s ), ξ(s ) )− s (b, ξ(s ))+ 12 2s (Aξ(s ), ξ(s ) )=
)
)
=
=
(s
+1)
= ( ) + |
( |
1 |
( + ) ( ) − , ( )) + |
1 |
2 |
(( ), ( )) = |
|
2 |
|||||
|
2 |
|
|
|
||
=( ) − (( ), ( )) + 1 2(( ), ( )).
2
Видим, что при положительно определённой матрице A значение
представляет собой квадратичную функцию |
|
s : |
|
(s+1) |
(s) |
− s (ξ |
(s) |
,ξ |
(s) |
)+ |
1 |
2 |
(Aξ |
(s) |
,ξ |
(s) |
)= |
1 |
2 |
− s |
+ , |
|
= |
|
|
2 |
s |
|
|
2 |
s |
минимальное значение которой достигается в вершине соответствующей параболы
|
(s+1) |
= −(ξ |
(s) |
|
(s) |
)+ s (Aξ |
(s) |
|
(s) |
)= s |
|
|
|
|
,ξ |
,ξ |
− = 0, |
||||||||
|
|
|
|
|
|
|||||||
s |
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
т.е. при оптимальном значении
|
|
|
(ξ |
(s) |
,ξ |
(s) |
) |
|
|
|||
|
|
|
|
|
|
|
|
|
||||
|
s |
= |
(Aξ |
(s) |
,ξ |
(s) |
) |
. |
||||
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|||||
Заметим, что требования положительной определённости и симметрии матрицы СЛАУ существенны.
Заметим также, что невязка ξ(s +1) следующим образом выражается через невязку ξ(s ) :
25
1. Численные методы решения систем линейных алгебраических уравнений
ξ(s +1) = b − |
1 |
(A + AT )x(s +1) = b − 1 |
(A + AT )(x(s ) + |
ξ(s ))= |
|
|
|||||||||||||||||
|
|
|
2 |
|
|
|
|
|
|
2 |
|
|
|
|
|
|
s |
|
|
|
|
|
|
= b − |
1 |
(A + A |
T |
)x |
(s) |
− |
1 |
|
T |
)ξ |
(s) |
= ξ |
(s) |
− |
1 |
|
(A + A |
T |
)ξ |
(s) |
, |
||
2 |
|
|
2 |
(A + A |
|
|
|
2 |
|
|
|||||||||||||
|
|
|
|
|
|
s |
|
|
|
|
|
|
|
s |
|
|
|
|
|
|
|||
т.е. изменение невязки определяется следующим процессом
|
|
|
|
ξ |
(s+1) |
= ξ |
(s) |
|
|
|
|
|
|
|
|
||
|
Для симметричной |
A = |
1 |
|||||
|
|
|||||||
|
|
|
|
|
|
|
2 |
|
ние (ξ |
(s +1) |
,ξ |
(s) |
) равно |
|
|
|
|
|
|
|
|
|
|
|||
(ξ(s +1),ξ(s))= (ξ(s),ξ(s))− s (12 (A +
при оптимальном значении |
|
s |
= |
ξ |
(s ) |
ортогональны. |
|
||
|
|
−1 s (A + AT )ξ(s).
2
(A + AT ) матрицы скалярное произведе-
AT )ξ(s),ξ(s))= (ξ(s),ξ(s))− s (Aξ(s),ξ(s))= 0
(ξ |
(s ) |
, ξ |
(s ) |
) |
(Aξ |
(s ) |
, ξ |
(s ) |
), т.е. невязки |
ξ |
(s +1) |
и |
|
|
|
|
|
1.14. Метод минимальных невязок
Среди методов оптимизации можно выделить два подхода. Первый связан непосредственно с оптимизацией самой целевой функции. Примером может служить метод скорейшего спуска. Второй связан со стремлением добиться равенства нулю квадрата модуля градиента целевой функции. Можно сказать, что в своём развитии первый подход приводит к так называемым двойственным методам. Второй подход приводит к так называемым методам штрафных функций.
Как правило, квадрат модуля градиента целевой функции оказывается более чувствительным к отклонению от нулевого значения, чем сама целевая функция к отклонению от своего оптимального значения. Это приводит к тому, что методы второго типа, как правило, оказываются эффективнее методов первого типа.
Таким образом, в основе метода минимальных невязок лежит тот же самый итерационный процесс
x(s+1) = x(s) + sξ(s),
26
1.15. Метод сопряжённых направлений
где
ξ |
(s ) |
|
=
b −
Ax(s
)
, который лежит в основе метода скорейшего спуска. Но
оптимальное значения |
|
s |
определяется из условия достижения миниму- |
|||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||||||||
ма квадратом модуля градиента (невязки) на следующем шаге |
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
ξ(s +1) 2 = b − Ax(s +1) 2 = b − A(x(s) + sξ(s))2 = b − Ax(s) − s Aξ(s) 2 = ξ(s) − s Aξ(s) 2 = |
||||||||||||||||||||||||||||||||||||||||
= (ξ |
(s ) |
− |
Aξ |
(s ) |
, ξ |
(s ) |
− |
Aξ |
(s ) |
)= (ξ |
(s ) |
, ξ |
(s ) |
)− |
|
(ξ |
(s ) |
, Aξ |
(s ) |
)− |
(Aξ |
(s ) |
, ξ |
(s ) |
)+ |
2 |
(Aξ |
(s ) |
, Aξ |
(s ) |
)= |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
s |
|
|
|||||||||||||||||||||||||
|
|
s |
|
|
|
|
s |
|
|
|
|
|
|
|
|
|
|
s |
|
|
|
|
|
|
s |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
= ( |
ξ |
(s) |
,ξ |
(s) |
)− 2 s (Aξ |
(s) |
,ξ |
(s) |
|
2 |
(Aξ |
(s) |
,Aξ |
(s) |
). |
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
)+ s |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
В данном случае также получаем квадратичную функцию с графиком – параболой. Если равенство нулю не достигается, то, по крайней мере, минимальное положительное значение достигается в вершине параболы
|
|
(s+1) |
2 |
= −2(Aξ |
(s) |
,ξ |
(s) |
)+ 2 s (Aξ |
(s) |
, Aξ |
(s) |
)= 0, |
ξ |
|
|||||||||||
|
|
|
|
|
|
|
||||||
s |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
т.е. при оптимальном значении
|
|
|
(Aξ |
(s) |
,ξ |
(s) |
) |
|
|
|||
|
|
|
|
|
|
|
|
|
||||
|
s |
= |
(Aξ |
(s) |
|
|
|
(s) |
) |
. |
||
|
|
, Aξ |
|
|||||||||
|
|
|
|
|
|
|
|
|||||
Почему невязка была названа градиентом, видно из системы необходимых условий минимума (2).
Заметим также, что в методе минимальных невязок нигде не возникло требования симметрии матрицы.
1.15. Метод сопряжённых направлений
Методы скорейшего спуска и минимальных невязок характеризуются линейной скоростью сходимости. Смысл термина «линейная скорость сходимости» станет понятен, если изобразить график убывания модуля невязки от итерации к итерации в координатах с логарифмическим масштабом вертикальной оси. На таком графике снижению невязки в 100 раз будет соответствовать убывание графика ниже уровня «–2», а снижению в 1000 раз – ниже уровня «–3» и т.д. За неимением лучшего линейная скорость сходимости является приемлемой. Но если есть воз-
27
1. Численные методы решения систем линейных алгебраических уравнений
можность ускорения сходимости, то стремление к этому является естественным. Линейной скоростью сходимости, в общем, характеризуются методы оптимизации первого порядка. Доведение скорости сходимости до предела, граничащего со скоростью сходимости методов второго порядка, выражается в методе сопряжённых направлений, являющегося усовершенствованием метода скорейшего спуска.
С другой стороны, если изобразить траекторию сходимости (методов скорейшего спуска и минимальных невязок) в пространстве приближений к решению, то для СЛАУ с достаточно большим числом обусловленности она будет выглядеть как пила (причём как пила не с несколькими десятками зубьев, а с несколькими сотнями или даже тысячами зубьев). Можно также сравнить эту траекторию с траекторией движения шарика по поверхности цилиндрического жёлоба с небольшим наклоном оси жёлоба в однородном поле тяжести (как дождевые водостоки под кровлями домов). В этом движении можно выделить колебательные движения шарика вокруг оси жёлоба и медленный дрейф вдоль его оси. В данном случае возникает стремление сделать сходимость более монотонной. И если движение на следующей итерации практически противоположно движению на предыдущей итерации, то по двум последовательным итерациям можно получить представление о направлении этого медленного
дрейфа. Поэтому за направление |
d |
(s ) |
принимается линейная комбинация |
||
|
|
||||
направления скорейшего спуска |
ξ |
(s ) |
и направление предыдущей итерации |
||
|
|
||||
d(s−1), т.е. d(s) = (s) + |
d(s −1). |
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
s |
|
|
|
|
|
|
|
|
|
|
|
|
|
Оказывается, что если положить в основу определения параметра |
||||||||||||||
|
s |
условие минимизации значения квадратичного функционала вдоль |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
направления d |
(s ) |
, а в основу определения параметра |
s – условие A-ор- |
||||||||||||||
|
|||||||||||||||||
тогональности направления |
d |
(s ) |
предыдущему направлению d |
(s −1) |
, т.е. |
||||||||||||
|
|
|
|||||||||||||||
(Ad |
(s ) |
, d |
(s −1) |
)= 0 , то направление скорейшего спуска |
ξ |
(s +1) |
на следующей |
||||||||||
|
|||||||||||||||||
|
|
||||||||||||||||
|
|
|
|
||||||||||||||
итерации будет (евклидово) |
ортогонально не только направлению d(s ) , |
||||||||||||||||
но также всем предыдущим направлениям d(s −1) , d(s −2), …, |
d(0) , и |
||||||||||||||||
направление d(s ) будет A-ортогонально также |
|
всем предыдущим |
|||||||||||||||
направлениям d(s −1) , d(s −2), …, d(0) . Докажем это. |
|
|
|
|
|
||||||||||||
28
1.15. Метод сопряжённых направлений
|
|
Уточнение приближения |
|
|
|
x |
(s +1) |
|
на шаге |
s +1 |
определяется следу- |
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
ющим образом |
x |
(s |
+1) |
= x |
(s) |
+ |
d |
(s) |
. Значение |
|
|
s |
определяется из условия |
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
s |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
минимизации значения |
(s +1) |
квадратичного функционала |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( +1) = |
|
1 |
( ( +1), ( +1)) − ( , ( +1)) = |
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
2 |
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
= |
( ( ( ) + ( )), ( ) + ( )) − ( , ( ) + ( )) = |
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
= (s ) + s ( |
1 |
(A + AT |
|
)x(s ) − b, d(s ))+ |
1 |
2s (Ad(s ), d(s ))= |
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
2 |
|
2 |
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
= |
(s) |
− s (ξ |
(s) |
,d |
(s) |
)+ |
1 |
|
2 |
(Ad |
(s) |
,d |
(s) |
)→ min, |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 s |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
что |
эквивалентно |
|
|
|
ортогональности |
|
|
|
следующего |
|
|
направления |
|||||||||||||||||||||||||||||||||||||||||||||||||
ξ |
(s +1) |
= ξ |
(s ) |
− |
Ad |
(s ) |
направлению |
|
d |
(s ) |
: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
s |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(ξ |
(s+1) |
,d |
(s) |
)= (b − Ax |
(s+1) |
,d |
(s) |
)= |
(b − A(x |
(s) |
+ |
d |
(s) |
),d |
(s) |
)= |
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
s |
|
|
|
|
|
|
|
|
|
|
|
= ((b − Ax |
(s) |
)− s Ad |
(s) |
,d |
(s) |
)= |
(ξ |
(s) |
,d |
(s) |
)− s (Ad |
(s) |
,d |
(s) |
)= 0, |
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
откуда (здесь учитывается симметрия матрицы A, т.е. |
|
1 |
(A + A |
T |
)= A ) |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(ξ |
|
|
|
,d |
|
|
) |
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(s) |
(s) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
s |
= |
(Ad |
(s) |
|
|
(s) |
) |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
,d |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
За
невязки
направление
ξ |
(s ) |
(s |
|
= b − Ax |
d |
(s ) |
принимается комбинация |
d |
(s ) |
= ξ |
||||
|
|||||||||
|
|
||||||||
) |
и направления |
d |
(s −1) |
предыдущего |
|||||
|
|||||||||
|
|
||||||||
(s ) |
+ |
d |
(s −1) |
|
|
||
|
s |
|
|
шага (для
стартового шага считается d |
(0) |
= ξ |
(0) |
). Значение |
|
s |
определяется из |
|||||
|
||||||||||||
|
|
|
||||||||||
условия A-ортогональности (ортогональности относительно скалярного |
||||||||||||
произведения, порождаемого симметричной A |
T |
= A |
положительно опре- |
|||||||||
|
||||||||||||
делённой x 0 : (Ax, x) 0 матрицей A) направления |
d |
(s ) |
направлению |
|||||||||
|
||||||||||||
d(s −1) |
(из A-ортогональности следует линейная независимость d(s ) и |
|||||||||||
d |
(s −1) |
): |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
(Ad(s),d(s−1) )= (A (ξ(s) + sd(s−1) ),d(s−1) )= (Aξ(s),d(s−1) )+ s (Ad(s−1),d(s−1) )= 0,
откуда
29
1. Численные методы решения систем линейных алгебраических уравнений
|
|
|
(Aξ |
(s) |
,d |
(s−1) |
) |
|
||||
|
|
|
|
|
|
|
|
|
|
|||
|
s |
= − |
(Ad |
(s−1) |
|
|
(s−1) |
) |
. |
|||
|
|
,d |
|
|||||||||
|
|
|
|
|
|
|
|
|
||||
Таким образом, последовательность вычислений следующая:
ξ(s) = b − Ax(s), |
|
|
|
( |
Aξ |
(s) |
,d |
(s−1) |
) |
|
d(s) = ξ(s) + sd(s−1), |
||||
|
|
|
|
|
|
|
|||||||||
|
s |
= − |
|
(s−1) |
|
|
|
, |
|||||||
|
|
|
(Ad |
,d |
(s−1) |
) |
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|||||
(ξ(s),d(s) )s = (Ad(s),d(s) ),
x |
(s+1) |
= x |
(s) |
+ |
d |
(s) |
. |
|
|
|
|||||
|
|
|
|
s |
|
|
|
Шаг s = 0 :
x |
(0) |
|
– начальное приближение,
0
ξ(0) = b − Ax(0), |
d(0) = ξ(0), |
|
|
|
|
|
(ξ |
(0) |
,d |
(0) |
) |
|
|
||||
|
|
|
= |
|
|
|
|
|
, |
||||||||
|
|
|
|
0 |
(Ad |
(0) |
|
|
(0) |
) |
|||||||
|
|
|
|
|
|
|
,d |
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
определяется из условия |
(ξ |
(1) |
, d |
(0) |
)= 0 . |
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|||||||
Шаг s =1 |
: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
(1) |
= x |
(0) |
+ |
d |
(0) |
. |
|
|
|
|||||
|
|
|
|
0 |
|
|
|
1
1
ξ |
(1) |
= b − Ax |
(1) |
, |
|
|
( |
Aξ |
(1) |
,d |
(0) |
) |
|
|
|
|
( ) |
|
|
|
( ) |
|
( |
) |
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
, |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
d |
= ξ |
+ d |
||||||||||||||||||
|
|
|
|
|
= − |
|
|
|
|
|
|
|
|
|
|
, |
|
|
|
1 |
|
|
|
1 |
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
(0) |
|
|
|
(0) |
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|||
|
|
|
|
|
1 |
|
(Ad |
,d |
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
1 = |
(ξ(1),d(1) ) |
|
|
|
x |
(2) |
= x |
(1) |
+ d |
(1) |
. |
|
|
|
|
|
|||||||||||
|
|
|
|
|
, |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
(Ad(1),d(1) ) |
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
||||||
определяется из этого условия |
|
|
|
(1) |
, d |
(0) |
)= 0 . |
|
|
|
|
|
|
|
|
|
|||||||||||||
|
(Ad |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
определяется из условия (ξ |
(2) |
, d |
(1) |
)= 0 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
Кроме того,
(ξ(2),d(0) )= (ξ(1) − 1Ad(1),d(0) )= (ξ(1),d(0) )− 1 (Ad(1),d(0) )= 0.
Шаг S = 2:
30
