Выпуклая функция


Выпуклый надграфик означает, что отрезок между любыми двумя точками графика функции в векторном пространстве лежит не ниже соответствующей дуги графика; иногда такую функцию называют выпуклой вниз. Выпуклой вверх или вогнутой называют функцию с выпуклым подграфиком; некоторыми авторами вогнутыми называются выпуклые вниз функции[1].

Понятие имеет важное значение для классического математического анализа и функционального анализа, где особо изучаются выпуклые функционалы, а также для таких приложений, как теория оптимизации, где выделяется специализированный подраздел — выпуклый анализ.

Формально, для числовой функции на некотором интервале (в общем случае — на выпуклом подмножестве некоторого векторного пространства) выпуклость (вниз) можно определить как выполнение неравенства Йенсена — если для любых двух значений аргумента , и для любого числа имеет место:

Если неравенство Йенсена выполняется в строгом варианте для всех и , то функция называется строго выпуклой. Если выполняется обратное неравенство, функция называется вогнутой (соответственно, строго вогнутой для строгого случая).

Если для некоторого выполняется более сильное неравенство:

Функция , выпуклая на интервале , непрерывна на всём , дифференцируема на всём за исключением не более чем счётного множества точек и дважды дифференцируема почти всюду.