热门问题
时间线
聊天
视角
凸分析
来自维基百科,自由的百科全书
Remove ads
凸分析是研究凸函數與凸集性質的數學分支,其應用稱作凸優化,是最優化理論的子分支。

凸集
某向量空間X的子集,若滿足下列任意一條等價條件,就稱其是凸的(convex):
- 若是實數,,則[1]
- 若是實數,則

始終是以擴展實數線為值域、以某向量空間的凸子集為定義域的映射。 映射,若
- (凸性)
對所有實數、所有都成立,稱映射f是凸函數。若此不等式被替換為嚴格不等式
- (凸性)
對f仍成立,則稱f是嚴格凸的。[1] 凸函數與凸集有關。特別地,當且僅當函數f的上圖(epigraph)


是凸集時,函數f是凸的。[2]擴展實值函數的上圖在凸分析中的作用類似於實值函數圖像在實分析中的作用。特別地,擴展實值函數的上圖提供了幾何直覺,可用於形式化或證明猜想。
函數,當且僅當,稱函數是真凸函數。[2]這意味着在f的定義域中存在x使,f也永遠不等於。換句話說,若函數的定義域非空、永遠不取、不等於,則就是真凸函數。若是真凸函數,則存在向量、實數使得
其中表示向量的點積。
Remove ads
凸共軛
擴展實值函數(不必凸)的凸共軛是來自X的(連續)對偶空間函數[3]
其中,括號表示規範對偶性。f的雙共軛是映射,定義為 將X上的Y值函數記作,則定義的映射乘坐勒讓德-芬切爾變換。
Remove ads
若,則次微分集(subdifferential set)為
例如,在是X上的範數這一重要特例中,可以證明[proof 1]
若,則此定義可簡化為:
- ;
這就是芬切爾-揚不等式,當且僅當時是等式。正是通過這種方式,次微分集與凸共軛直接相關。
Remove ads
函數的雙共軛是共軛的共軛,一般寫作。雙共軛有助於顯示強對偶或弱對偶何時成立(通過擾動函數)。
不等式符合芬切爾-揚不等式。對緊合(proper)的函數,當且僅當f是凸的下半連續函數時,(芬切爾–莫羅定理)。[3][4]
Remove ads
凸最小化
凸最小化(主)問題形如
- 給定凸函數與凸子集,求
Remove ads
優化理論中,對偶原則(duality principle)指出,優化問題可以從兩個角度分別視作主問題與對偶問題。
一般來說,給定一對分離的局部凸空間、,以及函數,可以把主問題定義為求x使得
可令(其中I是示性函數)將約束嵌入f。那麼讓是擾動函數,使得。[5]
關於所選擾動函數的對偶問題由下式給出:
其中是F兩個變量的凸共軛。
此原理同弱對偶。若兩側相等,則問題滿足強對偶。 強對偶成立的條件有很多,如
Remove ads
對不等式約束的凸最小化問題,
- subject to ,其中
其拉格朗日對偶問題是
- subject to ,其中
其中目標函數是如下定義的拉格朗日對偶函數:
Remove ads
另見
- 凸性 (經濟學)
- 非凸 (經濟學)
注釋
參考文獻
外部連結
參考資料
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads