拉格朗日乘子法和KKT條件的理解學習

如果本文有錯誤,特別歡迎大家指出。

目標: 我們的目標是在一定的限制條件下找到一個函數的最大、最小值。
正式的描述: 給定目標函數ff和定義在ΩRn\Omega \in R^n上的函數g1,g2,...,gmg_1,g_2,...,g_mh1,h2,...,hlh_1,h_2,...,h_l,求函數ff的極值。數學表示爲:
在這裏插入圖片描述
對於這個問題,下面會在以下4種情況下,得出(局部)最優的充分必要條件

  • 沒有限制
  • 只有等式限制(拉格朗日)
  • 只有不等式限制(KKT)
  • 有不等式和等式限制

1.沒有限制的優化

假設:f:ΩRf:\Omega \rightarrow \R是一個連續可微函數。
局部最小的充分必要條件是:
xx^*是函數f(x)f(x)局部最小點,當且僅當:

  1. ffxx^*處的梯度爲0,即
    在這裏插入圖片描述
  2. 函數ff的Hessian陣在xx^*是半正定的,即
    在這裏插入圖片描述

xx^*是函數f(x)f(x)局部最大點,當且僅當:

  1. ffxx^*處的梯度爲0,即
    在這裏插入圖片描述
  2. 函數ff的Hessian陣在xx^*是半負定的,即
    在這裏插入圖片描述

2 受限的優化:等式約束

受限等式約束優化問題:
在這裏插入圖片描述
函數ff的等值線:
在這裏插入圖片描述
加上可行區域(feasible region):
在這裏插入圖片描述
加上可行點XFX_F:
在這裏插入圖片描述

尋找一個δx\delta x滿足h(XF+αδx)=0h(X_F+\alpha \delta x)=0f(XF+αδx)<f(XF)f(X_F+\alpha \delta x)<f(X_F),就可以實現優化的一小步。
從點xx移動δx\delta x需要滿足:
在這裏插入圖片描述
圖示爲:
在這裏插入圖片描述
留在約束面上的條件:求約束hh的法線xh(x)\nabla_xh(x)。如圖:
在這裏插入圖片描述
留在約束面上的條件如圖:
在這裏插入圖片描述
爲了讓在約束面上的點移動δx\delta x後依然在約束面上,這個點移動的方向要和法線正交。
總結:
如果點XFX_F在約束面上,

  • 設置δx\delta xxh(xF)\nabla_xh(x_F)正交,可以保證h(xF+δx)=0h(x_F+\delta x)=0
  • 只有當δx(xf(xF))>0\delta x*(-\nabla_xf(x_F))>0,纔有f(xF+δx)<f(xF)f(x_F+\delta x)<f(x_F)

xf(x)\nabla_xf(x^*)xh(x)\nabla_xh(x^*)平行的時候,xx^*就是局部最小點。如圖:
在這裏插入圖片描述
還記得我們的優化問題是:
在這裏插入圖片描述
在這裏插入圖片描述
多個不等式限制的問題爲:在這裏插入圖片描述
構造Lagrangian(對每個等式限制引入一個乘子):
在這裏插入圖片描述


3 受限優化:不等式約束

考慮問題:
在這裏插入圖片描述
圖示一下:
在這裏插入圖片描述
我們怎麼認定XFX_F是局部最小值呢?
在這裏插入圖片描述
所以最小值的條件和無限制情況下相同,即:

問題(滿足上述條件的可行解不在可行閾之內):
在這裏插入圖片描述
圖示一下:
在這裏插入圖片描述
怎麼確定XFX_F是一個局部最小值?
在這裏插入圖片描述
這相當於把不等式約束轉化爲等式約束。如圖:
在這裏插入圖片描述
總結:
在這裏插入圖片描述
最後KKT條件爲:
在這裏插入圖片描述

發佈了11 篇原創文章 · 獲贊 0 · 訪問量 821
發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章