Выпуклая функция — функция, надграфик или подграфик которой является выпуклым множеством.
![Thumb](http://upload.wikimedia.org/wikipedia/commons/thumb/d/df/Convex_supergraph.svg/320px-Convex_supergraph.svg.png)
Выпуклый надграфик означает, что отрезок между любыми двумя точками графика функции в векторном пространстве лежит не ниже соответствующей дуги графика; иногда такую функцию называют выпуклой вниз. Выпуклой вверх или вогнутой называют функцию с выпуклым подграфиком; некоторыми авторами вогнутыми называются выпуклые вниз функции[1].
Понятие имеет важное значение для классического математического анализа и функционального анализа, где особо изучаются выпуклые функционалы, а также для таких приложений, как теория оптимизации, где выделяется специализированный подраздел — выпуклый анализ.
![Thumb](http://upload.wikimedia.org/wikipedia/commons/thumb/c/c7/ConvexFunction.svg/320px-ConvexFunction.svg.png)
Формально, для числовой функции на некотором интервале (в общем случае — на выпуклом подмножестве некоторого векторного пространства) выпуклость (вниз) можно определить как выполнение неравенства Йенсена — если для любых двух значений аргумента , и для любого числа имеет место:
- .
Если неравенство Йенсена выполняется в строгом варианте для всех и , то функция называется строго выпуклой. Если выполняется обратное неравенство, функция называется вогнутой (соответственно, строго вогнутой для строгого случая).
Если для некоторого выполняется более сильное неравенство:
- ,
то функция называется сильно выпуклой.
Функция , выпуклая на интервале , непрерывна на всём , дифференцируема на всём за исключением не более чем счётного множества точек и дважды дифференцируема почти всюду.
Любая выпуклая функция является субдифференцируемой (имеет субдифференциал) на всей области определения.
У выпуклой функции через любую точку проходит опорная гиперплоскость её надграфика.
Непрерывная функция выпукла на тогда и только тогда, когда для всех точек выполняется неравенство:
Непрерывно дифференцируемая функция одной переменной выпукла на интервале тогда и только тогда, когда её график лежит не ниже касательной (опорной гиперплоскости), проведённой к этому графику в любой точке промежутка выпуклости.
Выпуклая функция одной переменной на интервале имеет левую и правую производные; левая производная в точке меньше или равна правой производной; производная выпуклой функции — неубывающая функция.
Дважды дифференцируемая функция одной переменной выпукла на интервале тогда и только тогда, когда её вторая производная неотрицательна на этом интервале. Если вторая производная дважды дифференцируемой функции строго положительна, такая функция является строго выпуклой, однако обратное неверно (например, функция строго выпукла на , но её вторая производная в точке равна нулю).
Если функции , выпуклы, то любая их линейная комбинация с положительными коэффициентами , также выпукла.
Локальный минимум выпуклой функции является также глобальным минимумом (соответственно, для выпуклых вверх функций локальный максимум является глобальным максимумом). Любая стационарная точка выпуклой функции будет глобальным экстремумом.
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.