非线性规划的理论是在线性规划的基础上发展起来的。1951年,库恩(H.W.Kuhn)和塔克(A.W.Tucker)等人提出了非线性规划的最优性条件,为它的发展奠定了基础。以后随着电子计算机的普遍使用,非线性规划的理论和方法有了很大的发展,其应用的领域也越来越广泛,特别是在军事,经济,管理,生产过程自动化,工程设计和产品优化设计等方面都有着重要的应用。
一般来说,解非线性规划问题要比求解线性规划问题困难得多,而且也不像线性规划那样有统一的数学模型及如单纯形法这一通用解法。非线性规划的各种算法大都有自己特定的适用范围。都有一定的局限性,到目前为止还没有适合于各种非线性规划问题的一般算法。这正是需要人们进一步研究的课题。
5.1 非线性规划的实例及数学模型
[例题6.1] 投资问题:
假定国家的下一个五年计划内用于发展某种工业的总投资为b亿元,可供选择兴建的项目共有几个。已知第j个项目的投资为aj亿元,可得收益为cj亿元,问应如何进行投资,才能使盈利率(即单位投资可得到的收益)为最高?
解:令决策变量为xj,则xj应满足条件xjxj10
n同时xj应满足约束条件ajxjb
j1nc目标函数是要求盈利率fx1,x2,,xnj1njxj最大。
jaj1xj
[例题6.2] 厂址选择问题:
设有n个市场,第j个市场位置为pj,qj,它对某种货物的需要量为bjj1,2,,n。
现计划建立m个仓库,第i个仓库的存储容量为aii1,2,,m。试确定仓库的位置,使各仓库对各市场的运输量与路程乘积之和为最小。
解:设第i个仓库的位置为xi,yii1,2,,m,第i个仓库到第j个市场的货物供应量为ziji1,2,,m,j1,2,,n,则第i个仓库到第j个市场的距离为
dijxipjyiqj
mn22目标函数为
mni1j1zijdiji1j1zijxipjyiqj
22约束条件为:
(1) 每个仓库向各市场提供的货物量之和不能超过它的存储容量; (2) 每个市场从各仓库得到的货物量之和应等于它的需要量; (3) 运输量不能为负数。
因此,问题的数学模型为:
mnmini1j1nzijxipjyiqj 22s.t.
zj1mijai,i1,2,,m
zi1ijbj,j1,2,,n
zij0,i1,2,,m,j1,2,,n
一般非线性规划的数学模型可表示为:
minfx;
s.t. giX0 i1,2,,m, hjX0,j1,2,,l
式中Xx1,x2,,xnR是n维向量,f,gii1,2,,m,hjnTj1,2,,l都是
,且其中至少存在一个RR的映射(即自变量是n维向量,因变量是实数的函数关系)非线性映射。
与线性规划类似,把满足约束条件的解称为可行解。若记
n1XgiX0,i1,2,,m,hjX0,j1,2,,l
则称为可行域。因此上述模型可简记为
minfX
s.t. X
当一个非线性规划问题的自变量X没有任何约束,或说可行域即是整个n维向量空间,
即Rn,则称这样的非线性规划问题为无约束问题:
fminfX或minnXRX
有约束问题与无约束问题是非线性规划的两大类问题,它们在处理方法上有明显的不同。
5.2 无约束非线性规划问题
5.2.1无约束极值条件
对于二阶可微的一元函数fx,如果x是局部极小点,则fx0,并且
fx0;反之,如果fx0,fx0,则x是局部极大点。关于多元函数,
也有与此类似的结果,这就是下述的各定理。
考虑无约束极值问题:
minfx,xEn
定理6.1 (必要条件)设fx是n元可微实函数,如果x是以上问题的局部极小解,则fx0。
定理6.2 (充分条件)设fx是n元二次可微实函数,如果x是上述问题的局部最小解,则fx0,2fx半正定;反之,如果在x点有fx0,2fx正定,则x为严格局部最小解。
定理6.3 设fx是n元可微凸函数,如果fx0,则x是上述问题的最小解。
[例题6.3] 试求二次函数fx1,x22x18x12x24x220的极小点。
22解:由极值存在的必要条件求出稳定点:
fx14x18,
fx24x24,则由fx0得x12,x21
再用充分条件进行检验:
fx1224,
fx22244,0,则由fx1x2x2x10ff2220为正定矩阵得 4极小点为x2,1。
T5.2.3无约束极值问题的解法
5.2.3.1梯度法
0(i)给定初始点X,0;
(ii)
Xk计算fXk和fX,若fXkk2,迭代停止,得近似极小点
和近似极小值fXk;否则,进行下一步;
(iii) 做一维搜索或取kXfX作为近似最佳步长,fXfXfXfkk2TkTkk并计算X
k1XkkfX,令kk1,转向第二步。
k[例题6.4] 求解无约束极值问题 minfXx12x21 解:取X0220,0,fTX02x12,2x21,则
4,2,f2TfXT0X0200 20XfX1,
fXfXfX2f002TT00X1X00f1X02,1,
TTfX0,0,
故X为极值点,极小值为fX110。
5.2.3.2牛顿法
对正定二次函数,fX12XAXBXc,其中A为n阶方阵,B为n维列向量,
TTc为常数,设X为其极小点,则fXAXB0,所以AXB;任给X(0)En,
fX0AX0B,消去B,得
fXAXAX00
所以 XX0Af1X,
0这说明,从任意近似点出发,沿A1fX点。
0方向搜索,步长为1,一步即可达极小
[例题6.5] 求解无约束极值问题minfXx15x2
22解:任取X02,1,fTX02T4,10,A001,A101200, 110XX0AfT1X0,00T
由fX0,0可知,x确实为极小点。
牛顿法与梯度法的搜索方向不同,优点是收敛速度快,但有时不好用而需采取改进措施,当维数较高时,A1的计算量很大。
5.3 约束非线性规划问题
前面我们介绍了无约束问题的最优化方法,但实际问题中,大多数都是有约束条件的问题。求解带有约束条件的问题比起无约束问题要困难得多,也复杂得多。在每次迭代时,不仅要使目标函数值有所下降,而且要使迭代点都落在可行域内(个别算法除外)。求解带有约束的极值问题常用方法是:将约束问题化为一个或一系列的无约束极值问题;将非线性规划化为近似的线性规划;将复杂问题变为较简单问题等等。
5.3.1凸规划问题
约束问题的情况较为复杂,先讨论其中的一种较为特殊的情况,即凸规划问题。 一般来说,非线性规划的局部最优解和全局最优解是不同的,但是,对凸规划问题,局部最优解就是全局最优解。
定义6.1设fX1X为定义在非空凸集SE上的实值函数,如果对于任意的两点
nS,X2S和任意实数0,1,恒有
fX11X2fX1fX
12则称fX为S上的凸函数。
定理6.4 设S是n维欧氏空间En上的一个开凸集,f续导数的函数,那么,ff2X是定义在S上的具有二阶连
X在
S上为凸函数的充要条件是:对所有XS,海赛矩阵
S,f2X都是半正定的;如果对所有的XX都是正定的,则fX在
S上
为严格凸函数。
定义6.2 非线性规划问题:
minfX,XEn
s.t. giX0,i1,2,,m
hjX0,中,如果fj1,2, ,pX和giX(i1,2,,m)为x的凸函数,hjX(j1,2,,p)为X
的线性函数,则称此问题为一凸规划问题。
凸规划具有两个重要性质:
1. 凸规划的可行集是凸集
证:设凸规划的可行集为S,即
SXgiX0,i1,2,,m;hjX0,j1,2,,p;XEn
其中giX(i1,2,,m)为X的凸函数,hjX(j1,2,,p)为X的线性函数。
对于任意的X的凸性,对XX1S,X2S和任意实数0,1,利用giX(i1,2,,m)
11X2,有
1X2giXigiX21gX1gX
12i但giX10,gX0
所以giX0 同理hjX0 因此,XX
11X2S,故S为凸集。
2. 凸规划的局部最小解就是它的全局最小解
证:用反证法。
设X是凸规划的一个局部最小解,X是它的全局最小解,但XX。 因为 XS,XS,所以0,1,XX1XS
由fX为凸函数得,fXfX1XfX1fX
因为X是一个全局最小解,所以
fXfX1fXfX1fXfX
此式对一切0,1都成立。当1时,则XX,即在X的邻域内还有比
fX小的值,与X为局部极小解的假设矛盾。
因此,凸规划的局部最小解就是它的全局最小解。
[例题6.6] 验证下述非线性规划为凸规划,并求出最优解。
minfXx1x24x14
22s.t. g1Xx1x220 g2Xx1x210
2g3Xg4Xx10 x20
解:第1,3,4三个约束条件为线性函数,因此也是凸函数; 第2个约束条件应写成g2Xx1x210
2g2Xx1g2X22x1,
g2Xx21
x122,
g2X2x220,
g2X2x1x20
因此海赛矩阵为g2X2200,半正定,g2X0为凸函数
同理,fX2200,正定,f2X也为凸函数。
所以,该非线性规划为凸规划。 用图解法得
8x2642x=(0.58,1.34)*T0-4-20246x18-2
X0.58,1.34为其唯一极小点,fTX3.8
5.3.2其它类型的约束非线性规划问题
考虑只含不等式约束条件下求极小值问题的数学模型:
minfX,XEn
s.t. giX0,i1,2,,m 或写成
minfXX
n其中可行域{X|XE,gi(X)0,i1,2,,m}。
定义6.3对于上述问题,设X,若有giX01im,则称不等式约束giX0为点X处的起作用约束;若有giXgiX0为点X处的不起作用约束。
01im,则称不等式约束
定义6.4对于上述非线性规划问题,如果可行点X处,各起作用约束的梯度向量线性无关,则称X是约束条件的一个正则点。
库恩-塔克条件是非线性规划领域中的重要理论成果之一,是确定某点为局部最优解的
一阶必要条件,只要是最优点就必满足这个条件。但一般来说它不是充分条件,即满足这个条件的点不一定是最优点。但对于凸规划,库恩塔克条件既是必要条件,也是充分条件。 对于只含有不等式约束的非线性规划问题,有定理如下:
定理6.5 设X是非线性规划问题
minfXnX
{X|XE,gi(X)0,i1,2,,m}
的极小点,若X起作用约束的梯度giX线性无关(即X是一个正则点),则
1,2,,m,使下式成立
Tm***f(X)igi(X)0i1**igi(X)0,i1,2,,m 0,i1,2,,mi对同时含有等式与不等式约束的问题
minfx;
s.t. giX0 i1,2,,m, hjX0,j1,2,,l
为了利用以上定理,将hjX0,用
hjX0 hjX0来代替。这样即可得到同时含有等式与不等式约束条件的库恩塔克条件如下:
设X为上述问题的极小点,若X起作用约束的梯度giX和hjX线性无关,则1,2,,m和1,2,,m,使下式成立
TTmm*****f(X)igi(X)jhj(X)0i1j1** igi(X)0,i1,2,,m0,i1,2,,mi
[例题6.7] 求下列非线性规划问题的K-T点:
minfX2x12x1x2x210x110x2
222x12x25s.t.
3x1x26解:将上述问题的约束条件改写为giX0的形式:
22g1Xx1x250 g2X3x1x260设K-T点为Xx1,x2,有
TfX4x12x210, 2x2x1012g1X2x1 2x2g2X3 1304x12x2102x1122x2x2102x012215x2x20112由定理得
263x1x200120求解上述方程组,即可求出1,2,x1,x2,则可得到满足K-T条件的点。上述方程组是非线性方程组,求解时一般都要利用松紧条件(即上述方程组中的第3,4个方程),其实质是分析X点处,哪些是不起作用约束,以便得到i0,这样分情况讨论求解较为容易:
(1)
假设两个约束均是X点处的不起作用约束,即有
10,20 4x12x2100则有
2x2x10012x10解得
x52但将该点代入约束条件,不满足giX0,因此该点不是可行点。 (2)
若g1X0是起作用约束,g2X0是不起作用约束,则有20,则
4x12x21021x102x12x21021x20 2215x1x2001x1x2解得 121210T
代入原问题约束条件中检验,可知该点X1,2是可行点,且满足K-T定理的条件,又是一个正则点,故它是一个K-T点。
因为g1X0是起作用约束,此时10,可以是10,也可以是10,若10也成立,则结果同(1),已知求出的解不是可行点。
(3)
若g1X0是不起作用约束,g2X0是起作用约束,即有10,代
入方程组,有
4x12x2103202x12x21020 63xx012202解上述方程组,可得20或210同情形(1)的结果。
25,而225不满足20条件,而20及
(4)
假设两个约束均起作用,这时10,20。故有 4x12x21021x13202x12x21021x220 225xx01263xx012求解上述方程组,得到的解不满足10与20,故舍去。 因此本题的K-T点为:X1,2。
T同时本题fX为凸函数,而g1X0为凸函数,g2X0为线性函数,也为凸函
T数,所以本题是凸规划。对凸规划K-T也是充分条件。因此X1,2也是本题的全局最小点。
因篇幅问题不能全部显示,请点此查看更多更全内容