WikiDer > Выпуклый конъюгат

В математика и математическая оптимизация, то выпуклый сопряженный функции является обобщением Превращение Лежандра который применяется к невыпуклым функциям. Он также известен как Преобразование Лежандра – Фенхеля, Преобразование фенхеля, или же Конъюгат фенхеля (после Адриан-Мари Лежандр и Вернер Фенчель). Это позволяет, в частности, сделать далеко идущее обобщение лагранжевой двойственности.

Определение

Позволять ${ displaystyle X}$ быть настоящий топологическое векторное пространство, и разреши ${ Displaystyle X ^ {*}}$ быть двойное пространство к ${ displaystyle X}$. Обозначим двойное соединение к

${ displaystyle langle cdot, cdot rangle: X ^ {*} times X to mathbb {R}.}$

Для функции

${ displaystyle f: X to mathbb {R} cup {- infty, + infty }}$

принимая ценности на расширенная строка действительных чисел, то выпуклый сопряженный

${ displaystyle f ^ {*}: X ^ {*} to mathbb {R} cup {- infty, + infty }}$

определяется в терминах супремум к

${ displaystyle f ^ {*} left (x ^ {*} right): = sup left { left. left langle x ^ {*}, x right rangle -f left ( x right) right | x in X right },}$

или, что то же самое, с точки зрения инфимум к

${ displaystyle f ^ {*} left (x ^ {*} right): = - inf left { left.f left (x right) - left langle x ^ {*}, x right rangle right | x in X right }.}$

Это определение можно интерпретировать как кодировку выпуклый корпус функции эпиграф с точки зрения его поддерживающие гиперплоскости.^[1][2]

Примеры

Дополнительные примеры см. § Таблица выбранных выпуклых сопряженных.

• Выпуклое сопряжение аффинная функция ${ Displaystyle е (х) = влево langle a, x right rangle -b}$ является

${ displaystyle f ^ {*} left (x ^ {*} right) = { begin {case} b, & x ^ {*} = a + infty, & x ^ {*} neq a. end {case}}}$

• Выпуклое сопряжение a степенная функция ${ displaystyle f (x) = { frac {1} {p}} | x | ^ {p}, 1$

  является

${ displaystyle f ^ {*} left (x ^ {*} right) = { frac {1} {q}} | x ^ {*} | ^ {q}, 1$

• Выпуклое сопряжение абсолютная величина функция ${ Displaystyle е (х) = влево | х вправо |}$ является

${ displaystyle f ^ {*} left (x ^ {*} right) = { begin {case} 0, & left | x ^ {*} right | leq 1 infty, & left | x ^ {*} right |> 1. end {case}}}$

• Выпуклое сопряжение экспоненциальная функция ${ Displaystyle е (х) = е ^ {х}}$ является

${ displaystyle f ^ {*} left (x ^ {*} right) = { begin {case} x ^ {*} ln x ^ {*} - x ^ {*}, & x ^ {*} > 0 0, & x ^ {*} = 0 infty, & x ^ {*} <0. end {cases}}}$

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

Связь с ожидаемым дефицитом (средняя величина риска)

Видеть эта статья например.

Позволять F обозначить кумулятивная функция распределения из случайная переменная Икс. Тогда (интегрируя по частям),

${ displaystyle f (x): = int _ {- infty} ^ {x} F (u) , du = operatorname {E} left [ max (0, xX) right] = x- operatorname {E} left [ min (x, X) right]}$

имеет выпуклый сопряженный

${ displaystyle f ^ {*} (p) = int _ {0} ^ {p} F ^ {- 1} (q) , dq = (p-1) F ^ {- 1} (p) + operatorname {E} left [ min (F ^ {- 1} (p), X) right] = pF ^ {- 1} (p) - operatorname {E} left [ max (0, F ^ {- 1} (p) -X) right].}$

Заказ

Конкретная интерпретация имеет преобразование

${ displaystyle f ^ { text {inc}} (x): = arg sup _ {t} t cdot x- int _ {0} ^ {1} max {tf (u), 0 } , ду,}$

так как это неубывающая перестановка исходной функции f; особенно, ${ displaystyle f ^ { text {inc}} = f}$ за ƒ неубывающая.

Характеристики

Выпуклое сопряжение a замкнутая выпуклая функция снова является замкнутой выпуклой функцией. Выпуклое сопряжение a многогранная выпуклая функция (выпуклая функция с многогранник эпиграф) снова является многогранной выпуклой функцией.

Реверс заказа

Выпуклое сопряжение изменение порядка: если ${ displaystyle f leq g}$ тогда ${ displaystyle f ^ {*} geq g ^ {*}}$. Здесь

${ Displaystyle (е Leq g): iff ( forall x, f (x) Leq g (x)).}$

Для семейства функций ${ Displaystyle влево (е _ { альфа} вправо) _ { альфа}}$ из того факта, что супремумы можно менять местами, следует, что

${ displaystyle left ( inf _ { alpha} f _ { alpha} right) ^ {*} (x ^ {*}) = sup _ { alpha} f _ { alpha} ^ {*} ( х ^ {*}),}$

и из max – min неравенство который

${ displaystyle left ( sup _ { alpha} f _ { alpha} right) ^ {*} (x ^ {*}) leq inf _ { alpha} f _ { alpha} ^ {*} (x ^ {*}).}$

Двояковыпуклый

Выпуклое сопряжение функции всегда нижний полунепрерывный. В двусопряженный ${ displaystyle f ^ {**}}$ (выпуклое сопряжение выпуклого сопряженного) также является замкнутая выпуклая оболочка, т.е. самый большой нижний полунепрерывный выпуклая функция с ${ displaystyle f ^ {**} leq f}$. За надлежащие функции ж,

${ displaystyle f = f ^ {**}}$ если и только если ж выпукла и полунепрерывна снизу, Теорема Фенхеля – Моро..

Неравенство Фенхеля

Для любой функции ж и его выпуклый сопряженный ж *, Неравенство Фенхеля (также известный как Неравенство Фенхеля – Юнга) выполняется для каждого Икс ∈ Икс и п ∈ Икс * :

${ displaystyle left langle p, x right rangle leq f (x) + f ^ {*} (p).}$

Доказательство непосредственно следует из определения выпуклого сопряженного: ${ displaystyle f ^ {*} (p) = sup _ { tilde {x}} { langle p, { tilde {x}} rangle -f ({ tilde {x}}) } geq langle p, x rangle -f (x)}$.

Выпуклость

Для двух функций ${ displaystyle f_ {0}}$ и ${ displaystyle f_ {1}}$ и ряд ${ displaystyle 0 leq lambda leq 1}$ отношение выпуклости

${ displaystyle left ((1- lambda) f_ {0} + lambda f_ {1} right) ^ {*} leq (1- lambda) f_ {0} ^ {*} + lambda f_ {1} ^ {*}}$

держит. В ${ displaystyle {*}}$ операция сама по себе является выпуклым отображением.

Инфимальная свертка

В инфимальная свертка (или эпи-сумма) двух функций ж и грамм определяется как

${ Displaystyle left (е OperatorName { Box} g right) (x) = inf left {f (xy) + g (y) mid y in mathbb {R} ^ {n} верно}.}$

Позволять ж₁, …, ж_м быть правильным, выпуклым и полунепрерывный снизу функции на р^п. Тогда инфимальная свертка будет выпуклой и полунепрерывной снизу (но не обязательно собственной),^[3] и удовлетворяет

${ displaystyle left (f_ {1} operatorname { Box} cdots operatorname { Box} f_ {m} right) ^ {*} = f_ {1} ^ {*} + cdots + f_ { m} ^ {*}.}$

Инфимальная свертка двух функций имеет геометрическую интерпретацию: (строгая) эпиграф инфимальной свертки двух функций является Сумма Минковского (строгих) эпиграфов этих функций.^[4]

Максимальный аргумент

Если функция ${ displaystyle f}$ дифференцируема, то ее производная является максимальным аргументом при вычислении выпуклого сопряженного:

${ displaystyle f ^ { prime} (x) = x ^ {*} (x): = arg sup _ {x ^ {*}} { langle x, x ^ {*} rangle} -f ^ {*} (х ^ {*})}$ и

${ displaystyle f ^ {{*} prime} (x ^ {*}) = x (x ^ {*}): = arg sup _ {x} { langle x, x ^ {*} rangle } -f (x);}$

откуда

${ Displaystyle х = набла е ^ {*} ( набла ф (х)),}$

${ displaystyle x ^ {*} = nabla f ( nabla f ^ {*} (x ^ {*})),}$

и более того

${ Displaystyle е ^ { прайм прайм} (х) cdot е ^ {{*} прайм прайм} (х ^ {*} (х)) = 1,}$

${ displaystyle f ^ {{*} prime prime} (x ^ {*}) cdot f ^ { prime prime} (x (x ^ {*})) = 1.}$

Масштабирующие свойства

Если для некоторых ${ displaystyle gamma> 0}$, ${ Displaystyle г (х) = альфа + бета х + гамма CDOT F ( лямбда х + дельта)}$, тогда

${ displaystyle g ^ {*} (x ^ {*}) = - alpha - delta { frac {x ^ {*} - beta} { lambda}} + gamma cdot f ^ {*} left ({ frac {x ^ {*} - beta} { lambda gamma}} right).}$

Поведение при линейных преобразованиях

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

${ displaystyle left (Af right) ^ {*} = f ^ {*} A ^ {*}}$

куда

${ displaystyle (Af) (y) = inf {f (x): x in X, Ax = y }}$

это прообраз ж w.r.t. А и А^* это сопряженный оператор из А.^[5]

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

${ displaystyle f left (Ax right) = f (x), ; forall x, ; forall A in G}$

тогда и только тогда, когда его выпукло сопряженное ж^* симметричен относительно грамм.

Таблица избранных выпуклых конъюгатов

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

${ displaystyle g (x)}$	${ displaystyle operatorname {dom} (g)}$	${ Displaystyle г ^ {*} (х ^ {*})}$	${ displaystyle operatorname {dom} (g ^ {*})}$
${ Displaystyle f (топор)}$ (куда ${ displaystyle a neq 0}$)	${ displaystyle X}$	${ displaystyle f ^ {*} left ({ frac {x ^ {*}} {a}} right)}$	${ Displaystyle X ^ {*}}$
${ displaystyle f (x + b)}$	${ displaystyle X}$	${ displaystyle f ^ {*} (x ^ {*}) - langle b, x ^ {*} rangle}$	${ Displaystyle X ^ {*}}$
${ displaystyle af (x)}$ (куда ${ displaystyle a> 0}$)	${ displaystyle X}$	${ displaystyle af ^ {*} left ({ frac {x ^ {*}} {a}} right)}$	${ Displaystyle X ^ {*}}$
${ Displaystyle альфа + бета х + гамма CDOT F ( лямбда х + дельта)}$	${ displaystyle X}$	${ displaystyle - alpha - delta { frac {x ^ {*} - beta} { lambda}} + gamma cdot f ^ {*} left ({ frac {x ^ {*} - beta} { gamma lambda}} right) quad ( gamma> 0)}$	${ Displaystyle X ^ {*}}$
${ displaystyle { frac {| x | ^ {p}} {p}}}$ (куда ${ displaystyle p> 1}$)	${ Displaystyle mathbb {R}}$	${ displaystyle { frac {| x ^ {*} | ^ {q}} {q}}}$ (куда ${ displaystyle { frac {1} {p}} + { frac {1} {q}} = 1}$)	${ Displaystyle mathbb {R}}$
${ displaystyle { frac {-x ^ {p}} {p}}}$ (куда ${ displaystyle 0$ )	${ Displaystyle mathbb {R} _ {+}}$	${ displaystyle { frac {- (- х ^ {*}) ^ {q}} {q}}}$ (куда ${ displaystyle { frac {1} {p}} + { frac {1} {q}} = 1}$)	${ Displaystyle mathbb {R} _ {-}}$
${ displaystyle { sqrt {1 + x ^ {2}}}}$	${ Displaystyle mathbb {R}}$	${ displaystyle - { sqrt {1- (x ^ {*}) ^ {2}}}}$	${ displaystyle [-1,1]}$
${ Displaystyle - журнал (х)}$	${ displaystyle mathbb {R} _ {++}}$	${ displaystyle - (1+ log (-x ^ {*}))}$	${ Displaystyle mathbb {R} _ {-}}$
${ displaystyle e ^ {x}}$	${ Displaystyle mathbb {R}}$	${ displaystyle { begin {cases} x ^ {*} log (x ^ {*}) - x ^ {*} & { text {if}} x ^ {*}> 0 0 & { text {if}} x ^ {*} = 0 end {case}}}$	${ Displaystyle mathbb {R} _ {+}}$
${ Displaystyle журнал влево (1 + е ^ {х} вправо)}$	${ Displaystyle mathbb {R}}$	${ displaystyle { begin {cases} x ^ {*} log (x ^ {*}) + (1-x ^ {*}) log (1-x ^ {*}) & { text {если }} 0$	${ displaystyle [0,1]}$
${ Displaystyle - журнал влево (1-е ^ {х} вправо)}$	${ Displaystyle mathbb {R} _ {-}}$	${ displaystyle { begin {cases} x ^ {*} log (x ^ {*}) - (1 + x ^ {*}) log (1 + x ^ {*}) & { text {если }} x ^ {*}> 0 0 & { text {if}} x ^ {*} = 0 end {case}}}$	${ Displaystyle mathbb {R} _ {+}}$

Смотрите также

• Двойная проблема
• Теорема двойственности Фенхеля
• Превращение Лежандра
• Неравенство Юнга для продуктов

Рекомендации

• Арнольд Владимир Игоревич (1989). Математические методы классической механики (Второе изд.). Springer. ISBN 0-387-96890-3. МИСТЕР 0997295.
• Рокафеллар, Р. Тирелл (1970). Выпуклый анализ. Принстон: Издательство Принстонского университета. ISBN 0-691-01586-4. МИСТЕР 0274683.

дальнейшее чтение

• Тушетт, Хьюго (2014-10-16). «В двух словах о трансформации Лежандра-Феншеля» (PDF). Архивировано из оригинал (PDF) на 2017-04-07. Получено 2017-01-09.

• Тушетт, Хьюго (21 ноября 2006 г.). «Элементы выпуклого анализа» (PDF). Архивировано из оригинал (PDF) на 2015-05-26. Получено 2008-03-26.

• «Трансформации Лежандра и Лежандра-Феншеля в пошаговом объяснении». Получено 2013-05-18.

• Эллерман, Дэвид Паттерсон (1995-03-21). «Глава 12: Параллельное сложение, последовательно-параллельная двойственность и финансовая математика». Интеллектуальное вторжение как образ жизни: очерки философии, экономики и математики (PDF). Мирская философия: исследования на стыке философии и экономики. G - Справочная, информационная и междисциплинарная серия предметов (иллюстрированное издание). Rowman & Littlefield Publishers, Inc. С. 237–268. ISBN 0-8476-7932-2. В архиве (PDF) из оригинала на 2016-03-05. Получено 2019-08-09. [1] (271 стр.)

• Эллерман, Дэвид Паттерсон (Май 2004 г.) [1995-03-21]. «Введение в последовательно-параллельную двойственность» (PDF). Калифорнийский университет в Риверсайде. CiteSeerX 10.1.1.90.3666. В архиве из оригинала на 2019-08-10. Получено 2019-08-09. [2] (24 страницы)