Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике ДЛЯ СТУДЕНТОВ И ШКОЛЬНИКОВ ЕСТЬ
ZADANIA.TO
3. Поиск минимума сильно выпуклой функции.Мы доказали, что сильно выпуклая функция Обратимся к построению и обоснованию алгоритма, с помощью которого отыскивается эта точка Аффиксируем произвольную точку
где Отправляясь от
В настоящем пункте мы докажем следующее утверждение. Основная теорема. Пусть функция при любом а, удовлетворяющем неравенствам (12.1.25), сходится к точке Подчеркнем, что эта теорема дает алгорит отыскания любого (внутреннего или краевого) локального минимума функции Доказательству основной теоремы предпошлем четыре леммы. Лемма 4. Если Q — выпуклое замкнутое множество
Доказательство. Предположим, что неравенство (12.1.27) несправедливо. Тогда существует точка у множества Q такая, что
Из (12.1.28) сразу же вытекает, что точка у не совпадает с В силу выпуклости множества Q любая точка
Так как x и у фиксированы,
При таком выборе
и мы получим из (12.1.29), что
Последнее неравенство противоречит тому, что точка Лемма 5. Пусть множество Q совпадает с точкой Доказательство. Используя лемму 4, запишем неравенство (12.1.27) для точек
Учитывая, что
Это соотношение, справедливое для любого вектора Лемма 5 доказана. Предположим, что функция
Фиксируем число
Множество Q как подмножество ограниченного множества Q само является ограниченным. Убедимся в том, что множество
Сильно выпуклая функция (см. гл. 3, следствие 2 из теоремы 3.13), а это и означает, что точка Итак, множество Q всех точек х из множества Q, для которых справедливы неравенства (12.1.30), является замкнутым и ограниченным. Докажем теперь следующую лемму. Лемма 6. Пусть функция
Тогда справедливо неравенство
Если же множество Q, кроме того, ограничено и точка х принадлежит подмножеству Q тех точек Q, для которых справедливы неравенства (12.1.30) при
Доказательство. Докажем сначала неравенство (12.1.33). Фиксируем произвольную точку х множества Q и, привлекая лемму 4, запишем неравенство (12.1.27), взяв в нем вместо х точку
которое с учетом обозначения
Из последнего неравенства и из свойств скалярного произведения вытекает, что
а это и приводит к неравенству (12.1.33). Остается доказать, что при дополнительном предположении о том, что Q ограничено и что х принадлежит подмножеству
Убедимся в том, что эта функция является непрерывной на множестве Q функцией точки х. Докажем сначала, что векторная функция
справедливое для любых векторов В силу леммы 4 справедливы неравенства
Используя эти неравенства и неравенство Коши—Буняковского получим цепочку соотношений
из которой и вытекает неравенство (12.1.36). Итак, доказано, что
является непрерывной на множестве Q векторной функцией точки х. Модуль указанной векторной функции, т. е. скалярная функция (12.1.35) тем более является непрерывной на множестве Q, а потому и на его подмножестве Итак, функция (12.1.35) непрерывна и неотрицательна всюду на замкнутом ограниченном множестве Лемма 6 полностью доказана. Лемма 7. Пусть функция
Если же множество Q, кроме того, ограничено и точка х принадлежит подмножеству Q тех точек Q, для которых справедливо неравенство (12.1.30) при
где Доказательство. Достаточно для любой точки х множества Q установить неравенство (12.1.37), ибо из этого неравенства и из неравенства (12.1.34) сразу вытекает и неравенство (12.1.38) (для точек х, принадлежащих Q, при условии, что Q ограничено). Сначала докажем неравенство (12.1.37) для случая, когда, точка х является внутренней точкой множества
где Используя неравенство (12.1.33) и правое неравенство (12.1.14), мы получим из формулы Тейлора (12.1.39)
так что для случая внутренней точки х неравенство (12.1.37) доказано. Пусть теперь х является граничной точкой множества Для каждой точки
где Учитывая, что правое неравенство (12.1.14) справедливо для Лемма 7 доказана. Перейдем теперь непосредственно к доказательству основной теоремы. Сначала докажем основную теорему при дополнительном предположении о том, что замкнутое выпуклое множество Q является также ограниченным. Возьмем произвольную точку Из леммы 7 (а точнее, из неравенства
Таким образом, последовательность Кроме того, поскольку все члены невозрастающей сходящейся последовательности не меньше ее предела (см. замечание 3 к теореме 3.15, гл. 3), то для всех номеров
Докажем, что для предела
Предположим, что это равенство несправедливо, т. е. предположим, что ц>т. Тогда если обозначить через
справедливому для любого номера k. Суммируя неравенства (12.1.42), записанное для номеров
или, что то же самое,
Неравенства (12.1.43), справедливые для любого номера Полученное противоречие доказывает ошибочность предположения Остается доказать, что сама итерационная последовательность Фиксируем произвольное положительное число Можно утверждать, что Далее, можно утверждать, что на множестве имеется лишь конечное число точек последовательности число элементов, удовлетворяющих неравенству Значит, мы доказали, что для любого Тем самым для случая ограниченного замкнутого выпуклого множества Q основная теорема доказана. Пусть теперь Q — неограниченное замкнутое выпуклое множество. Снова фиксируем произвольную точку При доказательстве теоремы о существовании локального минимума у сильно выпуклой функции (см.
Там же установлено, что подмножество Так как в силу леммы 7 (а точнее, в силу неравенства (12.1.37)) последовательность
Значит, итерационную последовательность (12.1.26) можно заменить на
после чего все дальнейшие рассуждения сведутся к ограниченному замкнутому выпуклому множеству Основная теорема полностью доказана. Замечание 1. Особенно просто выглядит последовательность (12.1.26) для случая, когда множество Q совпадает совсем пространством Ет. В этом случае для любой точки х справедливо равенство
|
1 |
Оглавление
|