Вспомогательное утверждение

Пусть - замкнутое множество, функция непрерывна на , такое, что множество ограничено. Тогда существует точка функции на множестве .

Теорема (об ограниченности множеств Лебега сильно выпуклой функции)

Пусть - замкнутое выпуклое множество, сильно выпукла на с константой . Тогда множество ограничено.

Таким образом, и . Так как ограниченно и замкнуто, то . Таким образом, . Применим определение сильно выпуклой функции. 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-му дифф. критерию сильной выпуклости сильно выпукла в с константой

Методы безусловной многомерной оптимизации

Задача безусловной минимизации - это задача , . Полагаем, что сильно выпукла в

Метод циклического покоординатного спуска

Пусть - начальное приближение. Построим последовательность приближений по следующему правилу. Чтобы перейти от приближения к приближению выполним этапов.

Этап 1. Зафиксируем у все переменные, кроме . Тогда получим функцию одной переменной . Найдем точку функции в . Результат этапа 1 - переход из точки в точку . Этап 2. Зафиксируем у все перемнные, кроме получим функцию . Найдем точку функции в . Результат этапа 2 - переход из точки в точку . Этап n. Зафиксируем у все переменные, кроме получим функцию . Найдем точку функции в . Результат этапа - переход из точки в точку . Это и есть следующиее приближение .

Условие окончания поиска - выполнение неравенства , где - заданная точность. При этом полагаем, что

Замечание. Задачи одномерной минимизации решаются методами одномерной оптимизации