Вспомогательное утверждение
Пусть - замкнутое множество, функция непрерывна на , такое, что множество ограничено. Тогда существует точка функции на множестве .
Обоснование замкнуто ограничено и замкнуто существует точка функции на множестве . Она же является точкой минимума функции на множестве .
Из условия
Теорема (об ограниченности множеств Лебега сильно выпуклой функции)
Пусть - замкнутое выпуклое множество, сильно выпукла на с константой . Тогда множество ограничено.
Доказательство , то условие очевидно. Пусть . Выберем . Пусть . Покажем, что такое, что .
Если
- Если , то
- Пусть . Соединим и отрезком и выберем на нём точку , где , Так как , то
Таким образом, и . Так как ограниченно и замкнуто, то . Таким образом, . Применим определение сильно выпуклой функции. f(\lambda x - (1-\lambda)x^0) \leq \lambda f(x) + (1-\lambda)f(x^0) - \gamma \lambda (1-\lambda) \lVert x-x^0 \rVert \leq$$\leq \lambda \beta + (1-\lambda)\beta - \gamma(1-\lambda)\lVert x-x^0 \rVert = \beta - \gamma(1-\lambda) \lVert x-x^0 \rVert = \beta - \gamma\left( 1-\frac{1}{|x-x^0|} \right) \lVert x-x^0 \rVert =$$\beta - \gamma \lVert x-x^0 \rVert + \gamma
Получили неравенство
Следствие
Пусть сильно выпукла с константой на замкнутом, выпуклом множестве , Тогда точка функции существует и единственна
Обоснование
Существование следует из утверждения и теоремы. Единственность следует из строгой выпуклости (строгая выпуклость вытекает из сильной выпуклости)
Дифференциальные критерии сильной выпуклости
Первый дифференциальный критерий сильной выпуклости
Пусть выпукло, . сильно выпукла на с константой
. Пусть сильно выпукла на с константой . Тогда . Перейдем к пределу при
??? ??? ??? :LiFileQuestion:
Геометрическая интерпретация сильной выпуклости. Пусть сильно выпукла в с константой у в существует единственная точка глобального . Согласно теореме. . согласно необходимому условию экстремума. , Таким образом, график в расположен не ниже, чем параболоид вращения, задаваемый уравнением
Пусть , . Тогда определена матрица Гессе , причем , . Так как , то симметрично на множестве .
Теорема (второй дифференциальный критерий сильной выпуклости)
- Пусть сильно выпукла с константой на выпуклом множестве и . Тогда
- Пусть выпукло и . Если для некоторого , то сильно выпукло на с константой
Доказательство множества и выберем . Тогда из первого дифференциального критерия сильной выпуклости , где мало и таково, что
Выберем любую внутреннюю точку
Согласно формуле Тейлора,
Делим на :
При получим
Если — предельная точка множества , не являющаяся внутренней, то рассмотрим последовательность , внутренних точек множества и такую, что , . Тогда .
Переходя к пределу при , получим .
- Выберем и запишем ряд Тейлора для в окрестности :
, .
Согласно 1-му дифференциальному критерию сильной выпуклости, сильно выпукла на с константой .
Рассмотрим квадратичную функцию , где - переменные, - положительно определенная матрица (то есть ) с элементами , ; .
В координатах примет вид
Известно, что
Пусть — наименьшее собственное число матрицы .
Тогда
Таким образом,
согласно 2-му дифф. критерию сильной выпуклости сильно выпукла в с константой
Методы безусловной многомерной оптимизации
Задача безусловной минимизации - это задача , . Полагаем, что сильно выпукла в
Метод циклического покоординатного спуска
Пусть - начальное приближение. Построим последовательность приближений по следующему правилу. Чтобы перейти от приближения к приближению выполним этапов.
Этап 1. Зафиксируем у все переменные, кроме . Тогда получим функцию одной переменной . Найдем точку функции в . Результат этапа 1 - переход из точки в точку . Этап 2. Зафиксируем у все перемнные, кроме получим функцию . Найдем точку функции в . Результат этапа 2 - переход из точки в точку . … Этап n. Зафиксируем у все переменные, кроме получим функцию . Найдем точку функции в . Результат этапа - переход из точки в точку . Это и есть следующиее приближение .
Условие окончания поиска - выполнение неравенства , где - заданная точность. При этом полагаем, что
Замечание. Задачи одномерной минимизации решаются методами одномерной оптимизации