В математике , A вогнутая функция является отрицательным из функции выпуклой . Вогнутая функция также синонимично называется вогнутой вниз , вогнутой вниз , выпуклой вверх , выпуклой крышкой или верхней выпуклой .
Определение [ править ]
Вещественнозначная функция на интервале (или, более общо, выпуклое множество в векторном пространстве ) называется вогнутой , если для любого и в интервале и для любого , [1]
Функция называется строго вогнутой, если
для любого и .
Для функции это второе определение просто утверждает, что для каждого строго между и точка на графике находится над прямой линией, соединяющей точки и .
Функция является квазивогнутой, если верхние контурные множества функции являются выпуклыми множествами. [2]
Свойства [ править ]
Функции одной переменной [ править ]
1. Дифференцируемая функция f является (строго) вогнутой на интервале тогда и только тогда, когда ее производная функция f ′ (строго) монотонно убывает на этом интервале, то есть вогнутая функция имеет невозрастающий (убывающий) наклон . [3] [4]
2. Точки изменения вогнутости (между вогнутой и выпуклой ) являются точками перегиба . [5]
3. Если F является twice- дифференцируема , то F вогнута тогда и только тогда , когда е '' является неположительны (или, неформально, если « ускорение » не является положительным). Если его вторая производная отрицательна, то она строго вогнутая, но обратное неверно, как показано как f ( x ) = - x 4 .
4. Если f вогнутая и дифференцируемая, то она ограничена сверху своим приближением Тейлора первого порядка : [2]
5. Измеримая по Лебегу функция на интервале C вогнута тогда и только тогда, когда она вогнута в средней точке, то есть для любых x и y в C.
6. Если функция F является вогнутой, а F (0) ≥ 0 , то F есть субаддитивный на . Доказательство:
- Поскольку f вогнутая и 1 ≥ t ≥ 0 , полагая y = 0, имеем
- Для :
Функции n переменных [ править ]
1. Функция f вогнута над выпуклым множеством тогда и только тогда, когда функция −f является выпуклой функцией над множеством.
2. Сумма двух вогнутых функций сама является вогнутой, как и поточечный минимум двух вогнутых функций, т.е. набор вогнутых функций в данной области образует полуполе .
3. Вблизи локального максимума внутри области определения функции функция должна быть вогнутой; наоборот, если производная строго вогнутой функции в некоторой точке равна нулю, то эта точка является локальным максимумом.
4. Любой локальный максимум вогнутой функции также является глобальным максимумом . Строго вогнутая функция будет иметь максимум один глобальный максимум.
Примеры [ править ]
- Функции и являются вогнутыми на своих областях определения, как их вторые производные, и всегда отрицательны.
- Логарифм функция является вогнутой на своей области , так как его производная является строго убывающей функцией.
- Любая аффинная функция одновременно вогнута и выпукла, но не является ни строго вогнутой, ни строго выпуклой.
- Функция синуса вогнута на интервале .
- Функция , где есть определитель из неотрицательного определенной матрицы B , является вогнутой. [6]
Приложения [ править ]
- Изгиб лучей при вычислении затухания радиоволн в атмосфере имеет вогнутые функции.
- В ожидаемой полезности теории для выбора в условиях неопределенности , кардинальное подсобные функции к риску лиц , принимающих решения являются вогнутыми.
- В микроэкономической теории , производственные функции , как правило , предполагается, что вогнутая над некоторыми или всеми их доменами, в результате чего уменьшается возвращаются к входным факторам. [7]
См. Также [ править ]
- Вогнутый многоугольник
- Неравенство Дженсена
- Логарифмически вогнутая функция
- Квазивогнутая функция
- Вогнутость
Ссылки [ править ]
- ^ Lenhart, S .; Уоркман, JT (2007). Оптимальный контроль, применяемый к биологическим моделям . Математическая и вычислительная биология. Чепмен и Холл / CRC. ISBN 978-1-58488-640-2.
- ^ a b Вариан, Хэл Р. (1992). Микроэкономический анализ (3-е изд.). Нью-Йорк: Нортон. п. 489. ISBN. 0-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. ISBN. 978-0-13-443898-6. OCLC 965446428 .
- ^ Обложка, Томас М .; Томас, Дж. А. (1988). «Детерминантные неравенства через теорию информации». Журнал SIAM по матричному анализу и приложениям . 9 (3): 384–392. DOI : 10.1137 / 0609033 . S2CID 5491763 .
- ^ Пембертон, Малкольм; Рау, Николай (2015). Математика для экономистов: Вводный учебник . Издательство Оксфордского университета. С. 363–364. ISBN 978-1-78499-148-7.
Дальнейшие ссылки [ править ]
- Крузе, Ж.-П. (2008). «Квазивогнутость» . В Durlauf, Steven N .; Блюм, Лоуренс Э (ред.). Новый экономический словарь Пэлгрейва (второе изд.). Пэлгрейв Макмиллан. С. 815–816. DOI : 10.1057 / 9780230226203.1375 . ISBN 978-0-333-78676-5.
- Рао, Сингиресу С. (2009). Инженерная оптимизация: теория и практика . Джон Вили и сыновья. п. 779. ISBN 978-0-470-18352-6.