Псевдовыпуклая функция
Псевдовыпуклая функция — это функция, которая ведёт себя подобно выпуклой функции с точки зрения нахождения её локального минимума, но не обязательно выпукла. Неформально, дифференцируемая функция псевдовыпукла, если она возрастает в любом направлении, где имеет положительную производную по направлению.
Формальное определение
Вещественнозначная функция ƒ, определённая на (непустом) выпуклом открытом множестве X в конечномерном евклидовом пространстве , называется псевдовыпуклой, если для всех Шаблон:Nowrap, таких что , мы имеем Шаблон:Sfn. Здесь является градиентом ƒ, определённым формулой
Свойства
Любая выпуклая функция псевдовыпукла, но обратное неверно. Например, функция псевдовыпукла, но не выпукла. Любая псевдовыпуклая функция квазивыпукла, но обратное не верно, поскольку функция квазивыпукла, но не псевдовыпукла. Псевдовыпуклость представляют в первую очередь интерес, поскольку точка x* является локальным минимумом псевдовыпуклой функции ƒ тогда и только тогда, когда она является стационарной точкой функции ƒ, что случается при обращении градиента функции ƒ в нуль на x*:
Обобщения на недиффиренцируемые функции
Понятие псевдовыпуклости может быть обобщено на недифференцируемые функции следующим образомШаблон:Sfn. Если дана функция , то можно определить её верхнюю производную Дини как
где u является любым единичным вектором. Говорят, что функция псевдовыпукла, если она возрастает в любом направлении, где верхняя производная Дини положительна. Более точно, её можно описать в терминах субдифференциала следующим образом:
- Для всех , если существует , такая что то для всех z на отрезке, соединяющем x и y.
Связанные понятия
Псевдовогнутая функция — это функция, отрицательная для которой псевдовыпукла. Псевдолинейная функция — это функция, которая одновременно псевдовыпукла и псевдовогнутаШаблон:Sfn. Например, задачи дробно-линейного программирования имеют псевдолинейные целевые функции и линейные ограничения-неравенства. Эти свойства позволяют решать задачи дробного программирования вариантом симплекс-метода (Джорджа Б. Данцига)Шаблон:SfnШаблон:SfnШаблон:Sfn.