1.原始問題
假設
是定義在
上的連續可微函式,考慮約束最最佳化問題:
現在如果不考慮約束條件,原始問題就是:
而這種式子可直接對
求導,然後令導數為0,就可解出最優解,而偏偏有約束條件,所以就要想辦法去掉約束條件,所以拉格朗日函式就是幹這個的。
格朗日函式:
現在,把
看作是關於
的函式,要求其最大值:
經過我們最佳化,確定
的值使得取
得最大值(此過程把
看作常量),因為已經確
定,顯然最大值
就只是和有關的函式
,定義這個函式為:
下面透過
是否滿足約束條件兩方面分析
函式。
考慮某個
違反原始條件的約束,即
或者
,那麼:
注意中間的最大化式子就是確定
之後的結果,若
,則令
;如果,很
容易取值
使得。
。
考慮x滿足原始條件的約束,因為
且
,
,可以得到
,
,所以:
注意,我們的最大化是確定
的過程,
就是常量,常量的最大值就是其本身;
的最大值是0。
透過上面兩條分析可以得出:
那麼在約束條件下找最小值:
即
與原始問題等價,所以用
代表原始問題。
以上便把有約束問題轉變成無約束問題:
2.對偶問題
定義關於
的函式:
(關於
的函式最小化,
確定以後,最小值只與有
關,便於理解,假設
,
考慮極大化
,即:
這就是原始問題的對偶問題,再把原始問題寫出來:
定義對偶問題的最優值:
3.原始問題與對偶問題的關係
定理:
證明:對任意的
所以
,即對於任意
的值,都小於
:
就可以得出弱對偶的表示式:
也就是說,原始問題的最優解不小於對偶問題的最優解,但我們要透過對偶問題求原始問題的最優解就必須使得原始問題的最優值與對偶問題的最優值相等。到底滿足什麼樣的條件才能使得這兩個問題的最優值相等?當然是KKT條件啦!,下面證明一下為什麼?
對於原始問題,KKT條件給出了滿足原始問題最優解的判斷條件:
具體為什麼是這個式子可參考第一的章節原始問題中對
描述。
在滿足這個式子的前提下,再看一下原始問題和對偶問題。
原始問題:
對偶問題:
因為
與
無關,所以
所以原始問題等於對偶問題:
(這也叫做強對偶,在滿足KKT的條件下,弱對偶問題可以變成強對偶問題)之所以要把原始問題變成對偶問題,是因為在很多情況下原始問題無法求解,對偶問題很容易求解。