同伦内点方法求解一类无界区域上的多目标规划问题

2019-11-28 11:40苏孟龙吕显瑞
吉林大学学报(理学版) 2019年6期
关键词:内点有界收敛性

苏孟龙,吕显瑞

(1.洛阳师范学院 数学学院,河南 洛阳 471934;2.吉林大学 数学学院,长春 130012)

0 引 言

自文献[1]提出用组合同伦内点法求解一类凸规划问题后,组合同伦内点法作为一种新的、高效的内路径跟踪算法,在求解各种非线性问题中被广泛应用[2-8],目前已取得了丰富的成果:Song等[9]提出了一种新的组合同伦内点法求解一类多目标规划问题,利用目标函数的梯度,给出了一组无界性条件,从而在无界约束集上得到了算法的全局收敛性结果;Shang等[10]发现文献[9]考虑的乘子向量λ∈p实质上是常值向量,通过进一步考虑当λ为可变向量的情形,在新的无界性条件下给出了求解问题(1)的动约束同伦方法.但文献[9-10]给出的无界性条件在很多情形下并不容易验证,为了克服该困难,本文利用目标函数的Hessian矩阵给出一组新的无界性条件,举例说明该条件更容易验证,并在此基础上给出连接给定初始点和多目标规划KKT(Karush-Kuhn-Tucker)点的内路径存在性的构造性证明,从而得到了同伦内点法的全局收敛性结果.

考虑如下多目标规划问题:

其中f:n→p,g:n→m,h:n→l是三次连续可微的.令Ω={x∈n:g(x)0,h(x)=0}为问题(1)的可行集,Ω0={x∈n:g(x)<0,h(x)=0}为问题(1)的严格可行集,B(x)={j∈{1,2,…,m}:gj(x)=0}为x∈Ω处的积极指标集.给定x∈n,记‖x‖为x处的2-范数.m的非负象限和正象限分别记为和

若x,y∈n,则有

1 主要结果

针对多目标规划问题(1),文献[10]把乘子向量λ视为变量,考虑如下形式的规划问题:

其中λ-p=(λ1,…,λp-1)T,f-p(x)=(f1(x),…,fp-1(x))T.

若x为多目标规划问题的Pareto最优解,本文考虑规划问题(2)对应的KKT系统:

为了求解系统(3),需要构造如下组合同伦方程:

H(P,P(0),μ)=

(4)

其中:

P=(x,u,v,w,λ-p)∈n+m+l+p×Λ+;

为了求解无界区域上的多目标规划问题,文献[9-10]分别提出了如下两个无界性条件:

在很多情形下,条件(H1)和(H2)不容易验证,为了克服这一困难,本文给出一个新的无界性条件:

(H3)Ω0非空;存在ρi>0(i=1,2,…,p),使得对任意的x∈n和d∈n,均有

dT2fi(x)dρi‖d‖2,i=1,2,…,p.

下面举例说明条件(H3)很容易验证,而条件(H1)和(H2)不易验证.

例1设目标函数为

约束区域为

对任意给定的η∈Ω,记

引理1若假设(H3)成立,gj(x)(j=1,2,…,m)是凸函数,hk(x)(k=1,2,…,l)是线性函数,则对任意给定的η∈Ω,Ω-(η)是有界集.

证明: ∀x∈Ω-(η),存在i∈{1,2,…,p},使得

fi(x)-fi(η)0.

(5)

根据Taylor展式,有

(6)

其中

ζi=η+θi(x-η)=θix+(1-θi)η, 0<θi<1.

从而由式(5)和假设(H3)得

(7)

进而

(8)

(9)

若x=η,由η的有限性知x也是有限的.当x≠η时,由不等式(9)得

(10)

‖x(k)-η‖2-‖x(0)-η‖22(x(k)-η)T(x(k)-x(0)).

(11)

将式(4)的第一个等式两边同时乘以(x(k)-η)T,则有

根据引理1、式(12)、g(η)Tu(k)0及同伦方程(3)的第四个等式,则有

当x(k)∈Ω+(η)时,有

fi(η)-fi(x(k))<0, ∀i=1,2,…,p.

由式(13)得

如果‖x(k)‖→∞,因为‖x(0)-η‖2,g(x(0))T和u(0)都是常量,μk有界,则存在某个k,使得‖x(k)-η‖>M,此时式(14)的右边严格大于0,而式(14)的左边严格小于0,矛盾.当x(k)∈Ω-(η)时,由引理1知Ω-(η)有界.

综上所述,w在同伦曲线Γw(0)上的x分量是有界的.证毕.

类似于文献[10]的证明,可得如下同伦内点方法的全局收敛性结果:

H(P(s),P(0),μ(s))=0, (P(0),μ(0))=(P(0),1),

(15)

猜你喜欢
内点有界收敛性
指数有界双连续n阶α次积分C群的次生成元及其性质
拓扑空间中五类特殊点的比较
Lp-混合阵列的Lr收敛性
WOD随机变量序列的完全收敛性和矩完全收敛性
有序树的计数及其应用
一类具低阶项和退化强制的椭圆方程的有界弱解
区分平面中点集的内点、边界点、聚点、孤立点
END随机变量序列Sung型加权和的矩完全收敛性
基于罚函数内点法的泄露积分型回声状态网的参数优化
浅谈正项有界周期数列的一些性质