將有原始問題轉(zhuǎn)化成對偶問題,通過求解對偶問題解決原始問題。
原始問題
假設(shè),
,
是定義在
上的連續(xù)可微函數(shù),考慮約束最優(yōu)化問題
稱此約束最優(yōu)化問題為原始最優(yōu)化問題或原始問題。
如果只是極小化(1)是比較容易的,但是加上約束就不太好處理,于是首先引入廣義拉格朗日函數(shù)
和
是拉格朗日乘子,規(guī)定
。定義函數(shù)
這是一個關(guān)于的函數(shù)。首先把
看做一個常量,再此基礎(chǔ)上確定使(4)最大的
和
,然后帶入(5)就成為了一個關(guān)于
的函數(shù)。
如果滿足了約束,很容易得到。因為第二項中
,且條件
,所以乘積
,取最大則等于0,第三項滿足條件時為0,所以
。
如果不滿足條件,則會得到
因為如果,則可以使
。同理,如果
,也可以找到
使
。
所以(5)可以改寫成
于是原始問題就等于極小化問題
稱為廣義拉格朗日函數(shù)的極大極小問題。定義原始問題的最優(yōu)值
對偶問題
定義
類似的,這是一個關(guān)于和
的函數(shù)。首先把
和
看做一個常量,再此基礎(chǔ)上確定使(10)最大的
,然后帶入(10)就成為了一個關(guān)于
和
的函數(shù)。
對公式(10)極大化,即
稱為廣義拉格朗日函數(shù)的極大極小問題。(11)等價于約束最優(yōu)化問題
定義對偶問題的最優(yōu)值
原始問題和對偶問題的關(guān)系
定理1
若原始問題和對偶問題都有最優(yōu)值,則
證明略。即當(dāng)原始問題和對偶問題都有最優(yōu)值時,原始問題的最優(yōu)值大于等于對偶問題的最優(yōu)值。
推論1
設(shè)和
,
分別是原始問題(1)-(3)和對偶問題(12)-(13)的可行解,并且
,則
和
,
分別是原始問題和對偶問題的最優(yōu)解。
證明略。即兩者都是最優(yōu)解時,。
于是存在某些條件下可以用解對偶問題代替解原始問題,且
定理2
對于原始問題(1)-(3)和對偶問題(12)-(13)。假設(shè)函數(shù)和
是凸函數(shù),
是仿射函數(shù);并且假設(shè)不等式約束
是嚴(yán)格可行的,即存在
,對所有
有
,則存在
,
,
,使
是原始問題的解,
,
是對偶問題的解,并且
定理3
對于原始問題(1)-(3)和對偶問題(12)-(13)。假設(shè)函數(shù)和
是凸函數(shù),
是仿射函數(shù);并且假設(shè)不等式約束
是嚴(yán)格可行的,則
和
,
分別是原始問題和對偶問題的解充分必要條件是
,
,
滿足Karush Kuhn Tucker(KKT)條件:
(20)稱為KKT的對偶互補條件,由此條件可知,若,則
。
PS:
凸函數(shù):類似滿足條件
的函數(shù),二階導(dǎo)數(shù)大于等于0或海塞矩陣正定。
仿射函數(shù):最高次數(shù)為1的函數(shù),例如。