Схема методов спуска
1. Задать начальное приближение
.
Для
выполнить действия:
2. В точке
выбрать направление спуска
.
3. Произвести выбор шага спуска
.
4. Найти
-ое приближение по формуле
. (5.4.2)
Релаксационные процессы.Процесс построения последовательности точек
, назовем релаксационным, если
. (5.4.3)
В настоящем параграфе вопросы сходимости последовательности
к минимуму функции исследуются в предположении релаксационности процесса спуска.
Выбор направления. В релаксационных методах спуска направление спуска
выбирается таким образом, чтобы обеспечить возможность выполнения неравенства (5.4.3), по крайней мере, для малых значений
. Для дифференцируемой функции в некоторой окрестности точки
справедливо представление:
. (5.4.4)
Отсюда, при малых
в (5.4.2), убывание функции на итерации
обеспечивается выбором направления
из условия:
. (5.4.5)
В большинстве эффективных методов спуска выбор направления связан с вычислением градиента минимизируемой функции в точке
. На практике, при отсутствии процедур вычисления градиента, приходится пользоваться конечно-разностной аппроксимацией градиента по значениям функции.
Обозначим через
величину косинуса угла между направлением антиградиента
, то есть направлением наискорейшего убывания функции
в точке
, и направлением спуска
в точке
.
. (5.4.6)
Условие
, т.е. условие (3.2.5), является непременным условием выбора направления. При организации алгоритмов спуска на направление спуска накладывается более жесткое ограничение
, (5.4.7)
которое, в случае сильновыпуклых функций, гарантирует сходимость со скоростью геометрической прогрессии последовательности
к минимуму. Если условие (5.4.7) не выполняется, то направление спуска соответствующим образом корректируется, с тем чтобы удовлетворить (5.4.7).
Выбор длины шага
. С точки зрения оценок скорости сходимости методов спуска, как это мы увидим ниже, наилучшим является выбор
из условия минимума функции вдоль направления
. На практике применяют методы одномерной минимизации, гарантирующие лишь некоторую степень убывания функции
, (5.4.8)
где
, при условии
, (5.4.9)
так как точное решение может оказаться неоправданно дорогим по затратам машинного времени.
В некоторых задачах минимизации условие точного одномерного спуска может ухудшить характеристики скорости сходимости процесса минимизации. Поэтому на практике проводится настройка параметров процедур одномерной минимизации на определенный класс практических задач.