1. 引言
次微分作为研究最优化问题的重要工具,得到了国内外学者的广泛关注。Rockafellar [1]首先对于实值函数提出了次微分的概念。Borwein [2]利用锥序替代实数序将经典的次微分概念从实值函数的情形推广到向量值函数的情形,同时也提出了向量值函数的近似次微分,并讨论了向量值函数意义下的次微分与共轭函数之间的联系。1990年,Chen和Craven [3]用代数形式定义了一种向量值函数的弱次微分并利用凸集分离定理讨论了这种弱次微分的存在性。2012年,Mordukhovich和Rockafellar [4]建立了实值函数的二阶次微分链式法则,并讨论了其在约束优化问题的一些应用。2021年,İnceoğlu [5]定义了一种新的二阶弱次微分的概念,证明了该二阶弱次可微函数具有全局最小值的充要条件,并且证明了二阶弱次可微函数是下半连续和下Lipschitz的。2023年,Zhai等人[6]利用标量化函数推广文献[5]中的次微分。2024年,Wang和Zhang [7]通过标量化的方法引入了向量值映射的新的二阶弱次微分,探讨了其一些性质,并且借助该次微分建立了向量优化问题和复合向量优化问题的弱有效解最优性必要条件和充分条件。据我们所知,到目前为止,还没有利用向量值映射的二阶弱次微分[7]讨论向量优化问题Benson真有效解最优性条件。
2. 预备知识
在本文中,设
是实赋范线性空间,
是实拓向量空间。
和
分别为
和
的拓扑对偶空间。
和
分别为
和
的原点。设
为非空闭凸尖锥,
和
定义为
的闭包和
的内部。
的对偶锥
定义为
的严格对偶锥
定义为
设
为非空集合,
为
的生成锥。
定义2.1 [7] 设
为非空集合,
是一个向量值映射,
,
。如果
则称向量组
为
在
处的二阶弱次梯度。称集合
是
在
处的二阶弱次微分。如果
,则称
在
处是二阶弱次可微的。
定义2.2 [8] 设
为非空集合,
是一个向量值映射。如果存在
,使得对任意的
,
和
,存在
和
有
则称
在
上是广义K-次似凸的。
引理2.1 [8] 设
为非空集合,
是一个向量值映射。
在
上是广义K-次似凸的当且仅当
是凸的。
根据文献[9]中引理2.2和引理2.3,我们可以得到下面的引理2.2。
引理2.2 [9] 设
是凸锥且
。设
为非空集合,
是一个向量值映射,
,则
3. 最优性条件
设
是
的非空子集,
是一个向量值映射。本文考虑如下向量优化问题:
定义3.1 [10] 设
。如果
则称
为问题(VOP)的Benson真有效解。
为了讨论问题(VOP)的Benson真有效解的最优性条件,我们借助于标量化思想,构造如下复合优化问题:
其中
。
定义3.2 设
。如果
则称
是复合优化问题
的最优解。
引理3.1 [11] 设
是闭凸锥且
。若
是尖的且满足局部紧性,则
根据文献[8]中定理4.1,我们得到如下引理3.2。
引理3.2 [8] 设
。若存在
,使得
是问题
的最优解,则
是向量优化问题
的Benson真有效解。
首先,我们建立问题(VOP) Benson真有效解的最优性必要条件。
定理3.1 设
,
在
上是广义K-次似凸的且
是局部紧的。若
是向量优化问题
的Benson真有效解,则
在
处是二阶弱次可微的,存在
,使得
证明:设
是向量优化问题
的Benson真有效解,则
(3.1)
由
在
上是广义K-次似凸的,可得是凸的。根据引理2.2可知是闭凸锥。
因为
是闭凸尖锥且为局部紧集,则根据引理3.1与式(3.1)可知
因此,存在
,使得
因为
所以
(3.2)
设
。由式(3.2)可得
故
从而,
在
处是二阶弱次可微的。 (证毕)
注3.1 众所周知,广义K-次似凸性的存在条件比K-次似凸性的存在条件弱。因此定理3.1改进并推广了文献[7]中定理4.3,例3.1说明了这个情况。
例3.1 设
,
,
和
为恒等映射。取
。则
和
因此
在
上是广义K-次似凸的,并且
是向量优化问题
的Benson真有效解。
取
。则
和
因为
不是凸的,则根据[8]中命题3.2,我们可知
在
上不是K-次似凸的。于是,文献[7]中定理4.3在此处不适用。
根据定理3.1的证明可得如下推论。
推论3.1 设
,
在
上是广义
次似凸的且
是局部紧的。若
是向量优化问题
的Benson真有效解,则存在
,使得
是复合优化问题
的最优解。
定理3.2 设
。若存在
,使得
则
是向量优化问题
的Benson真有效解。
证明:因为
和
所以,由定义2.1可得
因此
故
是问题
的最优解。因为
,则根据引理3.2可知,
是向量优化问题
的Benson真有效解。 (证毕)
注3.2 由于文献[12]中定理3.1是在高阶锥凸的假设条件下得到的,而在定理3.2不涉及高阶锥凸的假设条件,因此定理3.2改进并推广了文献[12]中定理3.1。例3.2说明了这个情况。
例3.2 设
,
,
和
定义为
。取
和
。则
,
和
是向量优化问题
的Benson真有效解。
取
,
,
和
。则
和
因此
从而
在
上不是二阶K-凸的。于是文献[12]中定理3.1在此处不适用。
推论3.2 设
。若存在
,使得
则
是复合优化问题
的最优解。
基金项目
本文受重庆市教委科学技术研究计划项目(No.KJZD-K202300708)和重庆市研究生科研创新项目(No.CYS240517)资助。
NOTES
*通讯作者。