Математическое

[ny_quant]

Рассмотрим задачу минимизации в Rn:

F(x) -> min

при ограничениях

G(x)=0 Edit: обсуждение показало, что это условие лишнее.
H(x)>=0

Хочется сформулировать такого типа теорему, что при разумных ограничениях на функции F,G,H (скажем F, видимо, должна быть выпуклой) решение задачи (Edit: под этим понимается точка, где достигается инфимум по допустимой области если таковая существует) либо совпадает с глобальным минимумом F(x) либо лежит на границе допустимой области.

Поскольку я это придумал сегодня по дороге на работу, я вижу два варианта. Либо это совсем неверно по каким-то очевидным причинам, которые мне с утра не пришли в голову. Либо это давно все знают и умные люди легко подскажут где найти соответствующую теорему.

Comments

[ex-juan-gan.livejournal.com]

В смысле шар.

Начнем с выпуклости функции. Тогда (локальный) максимум один, это как бы очевидно (а то прямая между двумя локальными не входит в надграфик). Ну и взять этот глобальный максимум; он или внутри фигуры, или нет (логика у нас пока что булева). Если нет, то ни один открытый шар внутри фигуры не содержит максимума - доказывать? А раз нет, то максимум по фигуре будет на границе.

[ny-quant.livejournal.com]

Именно.