В математике вогнутая функция — это функция, для которой значение функции в любой выпуклой комбинации элементов в области определения больше или равно этой выпуклой комбинации этих элементов области определения. Эквивалентно, вогнутая функция — это любая функция, для которой гипограф является выпуклым. Класс вогнутых функций в некотором смысле противоположен классу выпуклых функций . Вогнутая функция также синонимично называется вогнутой вниз , вогнутой вниз , выпуклой вверх , выпуклой крышкой или верхней выпуклой .
Для функции это второе определение просто утверждает, что для каждого значения строго между и точка на графике находится выше прямой линии, соединяющей точки и .
Функция является квазивогнутой , если верхние контурные множества функции являются выпуклыми множествами. [2]
Если f вогнута и дифференцируема, то она ограничена сверху своим приближением Тейлора первого порядка : [2]
Измеримая по Лебегу функция на интервале C является вогнутой тогда и только тогда, когда она является вогнутой в средней точке, то есть для любых x и y в C
Если функция f вогнута и f (0) ≥ 0 , то f субаддитивна на . Доказательство:
Так как f вогнута и 1 ≥ t ≥ 0 , то, положив y = 0, мы имеем
Сумма двух вогнутых функций сама по себе вогнута, как и поточечный минимум двух вогнутых функций, т.е. множество вогнутых функций на данной области образует полуполе .
Вблизи строгого локального максимума внутри области определения функции функция должна быть вогнутой; как частичное обратное утверждение, если производная строго вогнутой функции равна нулю в некоторой точке, то эта точка является локальным максимумом.
В термодинамике и теории информации энтропия является вогнутой функцией. В случае термодинамической энтропии без фазового перехода энтропия как функция экстенсивных переменных является строго вогнутой. Если система может претерпеть фазовый переход и если ей разрешено разделиться на две подсистемы с различной фазой ( разделение фаз , например, кипение), максимальные по энтропии параметры подсистем приведут к объединенной энтропии точно на прямой линии между двумя фазами. Это означает, что «эффективная энтропия» системы с фазовым переходом является выпуклой оболочкой энтропии без разделения фаз; следовательно, энтропия системы, включающей разделение фаз, будет нестрого вогнутой. [8]
^ Ленхарт, С.; Воркман, Дж. Т. (2007). Оптимальное управление, применяемое к биологическим моделям . Серия «Математическая и вычислительная биология». Chapman & Hall/CRC. ISBN 978-1-58488-640-2.
^ ab Varian, Hal R. (1992). Микроэкономический анализ (3-е изд.). Нью-Йорк: Norton. стр. 489. ISBN0-393-95735-7. OCLC 24847759.
^ Рудин, Уолтер (1976). Анализ . стр. 101.
^ Градштейн, И.С.; Рыжик, И.М.; Хейс, Д.Ф. (1976-07-01). "Таблица интегралов, рядов и произведений". Журнал технологии смазки . 98 (3): 479. doi : 10.1115/1.3452897 . ISSN 0022-2305.
^ Хасс, Джоэл (13 марта 2017 г.). Исчисление Томаса. Хейл, Кристофер, 1960-, Вейр, Морис Д., Томас, Джордж Б. младший (Джордж Бринтон), 1914-2006. (Четырнадцатое изд.). [Соединенные Штаты]. стр. 203. ISBN978-0-13-443898-6. OCLC 965446428.{{cite book}}: CS1 maint: location missing publisher (link)