对于一般性的有约束的优化问题,我们可以写出其一般模式:
此式代表在m个等式约束和n个不等式约束下对f(x)最小化的问题。
下面我们通过构造广义的拉格朗日函数对其进行分析:
我们构造这样的拉格朗日函数:
其中
我们最大化L(x,α,β)有:
我们来分析一下上面这个式子:
1. 对于原始的优化问题,在可行解区域内,有 并且
,所以:
那么,
2.在可行解区域外。那么两种约束共m+n个,至少有一个没有满足。若是有没有满足的,那么
,我们就可以调节它所对应的参数
,来使得
;若是
没有满足,我们同样可以调节
,使得
。
综上所述,我们可以得到这么一个结论,令
在可行区域内与f(x)是相等的,在非可行区域内
是趋向于正无穷大的,所以我们在可行区域内最小化
就等同于最小化f(x)。
到此我们就把约束条件下的最小化问题变成没有约束条件的最小化问题。
即: