数学において凸共役（とつきょうやく、）とは、ルジャンドル変換の一般化である。ルジャンドル＝フェンシェル変換あるいはフェンシェル変換としても知られる（アドリアン＝マリ・ルジャンドルとの名にちなむ）。
定義 以下、特に断りがなければ、ベクトル空間はすべて実係数のものを考える。また、我々は関数として拡大実数に値を取るものを考えるが、
が空集合でないとき、はプロパーであると呼ぶ。ここではの定義域である。凸共役性は以下のように定義される：上でがプロパーである事を仮定したが、この仮定がないとはになってしまい、値域がにならない。明らかに次が成立する：このため以下、本稿ではプロパーな関数のみを扱うものとする。
直観的意味 右|サムネイル|Sの支持超平面（点線） 上記の定義の直観的な意味を説明するため、位相ベクトル空間の図形のを定義する。超平面が集合の支持超平面（）とは、がの閉包の点を少なくとも１つ含み、しかもをで２つ切ったときに片方にはの点が入っていない事をいう。
凸共役の直観的な意味を考えるため、のエピグラフ
を考える。
すなわち、におけるの凸共役は「傾き」の支持超平面の「切片」にマイナスをつけたものと解釈できる。
滑らかな場合 が有限次元のベクトル空間で、が滑らかな凸関数であるとき、傾きの支持超平面を接平面として持つ点をとすると、すなわち
となる点をとすると、の凸性からそのにおいてが達成されるので、
が成立する。よってこの場合には、凸共役は通常のルジャンドル変換に一致する。
基本的性質 本節ではをノルム空間（例えば有限次元の計量ベクトル空間）とし、をプロパーな関数とする。
前述のように凸共役は直観的には支持超平面によって特徴づけられるが、集合の支持超平面は、の閉包の支持超平面やの凸包の支持超平面と一致するので、以下が成立する： また凸共役の定義から明らかに次が従う：上記の不等式を用いると、次が成立する事を簡単に示せる：一般にはは成立しないが、次節でが成立する条件を説明する。さらに以下が成立する： 二重共役 本節でもをノルム空間とする。凸共役を二度取ったは元のに一致する事は保証されない（なお、と違い、は無条件に成立する#Ekeland p.18）。本節の目標は、を満たすための条件を見る事である。しかし以下が成立する事を示せる：
は凸関数なので、プロパーな関数がを満たすのはが凸な場合に限られる。
そのような関数に対してが成立する条件を具体的に書き表す事で以下が成立する事がわかる：
ここでが点において下半連続であるとはを満たす事を言う#Borwein-Luke p.13（のでの値がの場合も下半連続性を定義できる）。
上記の定理は各点毎に成立する。すなわち、プロパーな凸関数が点においてを満たす必要十分条件は、がにおいて下半連続な事である。
なお、がバナッハ空間の場合、凸関数が下半連続であればの内点で連続である。とくに有限次元のベクトル空間であれば、（下半連続性の仮定がなくとも）の内点で連続である事が示せる#Borwein。よってこの場合、下半連続性を問われるのは境界点のみである。
また、（バナッハ空間とは限らない）ノルム空間の凸部分集合上定義された凸関数は一点で連続であればその凸部分集合上の全点で連続である事も知られている。
フェンシェルの双対性 本節では、凸共役を最適化問題に応用するうえで鍵となるフェンシェルの双対性について説明する。
定理のステートメント まずは応用について考えず、天下り的に定理を与える。
、をノルム空間とし、を有界線形作用素（例えば、が有限次元の計量ベクトル空間でが線形写像）とし、さらに、を２つのプロパーな関数とする。さらに下限を求める問題と上限を求める問題
を考える。これらの問題をフェンシェル問題（）#Borwein-Luke p.25.といい、後者を前者の（そして前者を後者の）双対問題という。このとき前述したフェンシェル・ヤングの不等式から次が成立する。さらに次が成立する：ここで集合に対し、
であり#Borwein-Luke p.3.、はの連続な点全体の集合である。
応用 、を閉凸集合とし、以下の問題を考える：すなわち、、という条件下の最小値を求めよ、という問題である。
上記の問題はフェンチェル問題の特殊な場合とみなす事ができる。実際、集合に対し、その指示関数（）を
と定義し、
とすると、問題1はフェンチェル問題に一致する。
したがってをその双対問題ので下から抑えたり、等号成立条件が成り立っていれば双対問題の方を具体的に調べる事でを求めたりする事が可能になる。
凸共役の例
アフィン函数
の凸共役は
である。冪函数
の凸共役は
である。ここで である。
絶対値函数
の凸共役は
である。指数函数 の凸共役は
である。指数函数の凸共役とルジャンドル変換は、凸共役の定義域が厳密に大きいことを除いて一致する。ルジャンドル変換は正の実数に対してのみ定義されるためである。
期待ショートフォール（リスク平均値）との関係
F を確率変数 X の累積分布函数とする。このとき、部分積分により
は次の凸共役を持つ。
順序
特別な解釈により次の変換が考えられる。
これは初期函数 f の非減少な書き換えである。特に、f に対する は非減少である。
性質
閉凸函数の凸共役は再び閉凸函数である。多面体的凸函数（多面体的エピグラフを持つ凸函数）の凸共役は、再び多面体的凸函数である。
凸性
二つの函数 と および数 に対し、次の凸関係が成立する。
この演算 はそれ自身が凸写像である。
極小畳み込み
二つの函数 f と g の極小畳み込み（infimal convolution）は、次で定義される（epi-sum とも呼ばれる）：
f1, …, fm は Rn 上の真凸かつ下半連続な函数とする。このとき、これらの極小畳み込みは凸かつ下半連続である（が、必ずしも真凸ではない）。さらに次が成立する。
二つの函数の極小畳み込みは、次のような幾何学的解釈がある：二つの函数の極小畳み込みの（厳密な）エピグラフは、それらの函数の（厳密な）エピグラフのである。
最大化引数
函数 が微分可能であるなら、その導函数は凸共役の計算における最大化引数（maximizing argument）である。すなわち、
と
が成り立つ。したがって
であり、さらに次が成立する。
スケーリング性
ある に対し、 であるなら、次が成り立つ。
さらにパラメータ α が追加される場合は、次が成り立つ。
ここで は最大化引数であるように選ばれる。
線型変換の下での挙動
A を X から Y への有界線型作用素とする。X 上の任意の凸函数 f に対して、次が成り立つ。
ここで
は f の A に関する原像であり、A* は A の共役作用素であるIoffe, A.D. and Tichomirov, V.M. (1979), Theorie der Extremalaufgaben. Deutscher Verlag der Wissenschaften. Satz 3.4.3。
閉凸函数 f は、ある与えられた直交線型変換の集合 G に関して対称である、すなわち
であるための必要十分条件は、凸共役 f* が G に関して対称であることである。
代表的な凸共役の表
次の表では、多くの有名な函数のルジャンドル変換で、有用な性質を持つものが示されている#Borwein pp.50-51。
(where ) (where ) (where ) (where ) (where ) (where )
関連項目 凸関数 双対問題 フェンシェルの双対性定理 ルジャンドル変換 ヤングの不等式
出典
参考文献
外部リンク