1. 引言
分式优化问题广泛应用在实际生活中的金融领域、工程设计领域、计算机图像处理等诸多领域。通过应用分式优化理论和方法,可以找到更加有效的解决方案,提高实际问题的求解效率和质量,这对推动科技进步和社会发展具有重要意义。为此,产业部门和科研机构对分式优化问题的研究引起了高度重视。诸多学者先利用Dinkelbach的方法,将分式优化问题转化为非分式约束优化问题,再利用上图类条件、次微分性质、闭性条件等对此进行研究,对分式优化问题的最优性条件进行刻画(参看文献 [1] [2] [3] [4] [5] )。与此同时,目标函数为复合函数的问题相较于一般约束问题,展现出更高的普遍性。例如,优化问题中的凸优化问题、多目标分式规划问题、极大极小问题以及鲁棒优化问题等,均可视为复合优化的特例。这些问题因其复合性而在求解过程中具有更高的挑战性,引起学者们的极大兴趣,利用上图类条件、Fréchet次微分性质等对此进行诸多研究,得到了复合优化问题的
类最优性条件、
-最优解等(参看文献 [6] [7] )。在函数不一定连续,集合不一定闭的情形下,将分式优化问题分为DC和凸优化两类讨论,学者利用上图类闭性条件、次微分性质等对DC类分式优化进行研究,得到了最优性条件,局部和全局最优解(参看文献 [8] [9] );受此启发,本文将研究带复合函数的分式优化问题的KKT类最优性条件。
2. 预备知识
设
是实局部凸
拓扑向量空间,用
分别表示他们的共轭空间,分别赋予弱*拓扑
和
。用
表示泛函
在点
的值,即
。设
和
分别是Y和Z的闭凸锥,Y和Z分别是
和
所定义的序空间。对于Y和Z中的
,记
,其中
分别表示Y和Z中的最大元。设
是
的非空子集,记
的凸锥包和闭包分别为 和
。集合
的对偶锥定义为:
,示性函数为:
设
是真函数,定义
的有效定义域、共轭函数分别为:
。当
是凸函数时,
在点
的次微分定义为
特别地,由定义有
。
由文 [10] 的定理2.3.1(ii)和定理2.4.2(iii)知
不等式和
等式成立,即
设
是真函数且满足
,对任意的
,则
(1)
设
是一个实值函数,点
且满足
。由文 [11] 知,定义函数
在
点的Fréchet次微分为:
特别地,当
是凸函数时,
即为凸分析中经典的次微分。由定义可知
(2)
为
的局部最优解
(3)
且
为
的整体最优解
(4)
特别地,当
为凸函数时,对于
。令
为另一实值函数,若
和
在
处有限,则由文献 [8] 中的定理3.1可得
(5)
引理2.1.1 [10] 令
是真凸函数且满足
。若
或
在
上有连续点,则
3. 带复合函数的分式优化问题的最优性条件
设
是真凸K-增函数,
是真K-凸函数,
是真凸函数。记
显然,
是真凸函数。
在上述条件下,考虑下面带复合函数的分式优化问题
的最优性条件,利用Dinkelbach的方法,先将分式优化问题转化为下面的非分式的约束优化问题
其中
显然,问题
的目标函数跟
的取值相关。当
时,问题
的目标函数
为DC函数;而当
时,易知
为凸函数,问题
就是复合凸规划问题。令A表示系统
的可行解集,即
设
。没有特殊说明情形下,均假设
,函数
设
为简便起见,记
由定义可知
引理3.1.1 [8] 当
时,
是问题
的最优解当且仅当
是问题
的最优解。
证明 令
,即
是问题
的最优解等价于
由于
故上式等价于
显然,上式等价于
因此,
是问题
的最优解。
3.1. μ0 > 0的情形
本节主要对问题
的最优解的特征进行刻画。首先引进下列约束规范条件:
定义3.1.1
设
若下列包含关系
(6)
成立,则称系统
在
处满足
条件。
若包含关系
(7)
成立,则称系统
在
处满足
条件。
注3.1.1 (i)当
时,
条件和
条件分别转化为文 [5] 中的
条件和
条件。
(ii) 当
时,
条件和
条件一致并转化为文 [12] 中的
条件,即
定义3.1.2 若包含关系
成立,则称系统
在
处满足
条件。
对任意的
文 [6] 引入以下约束规范条件,即
条件:
(8)
命题3.1.1 令
若系统
在
处满足
条件,则系统
在
处满足
条件和
条件。
证明 假设系统
在
处满足
条件,则(8)式成立。若
或
,则(6)式自动成立。下设
或
。任取
注意到
和g都是凸函数。故有(5)式有
再结合(8)式有
因此,则(6)式成立,即
条件成立。又由(2)式有
则有
即
条件成立。证毕。
下面定理刻画了问题
的局部最优性条件。
定理3.1.1 令
假设系统
在
处满足
条件,若
是问题
的局部最优解,则对任意的
存在
和
使得
且
(9)
证明 设
是问题
的局部最优解,由引理3.1.1可知,
是问题
的局部最优解。故由(3)式有
。由于系统
在
处满足
条件,因此
。从而对任意的
,存在
和
使得
且(9)式成立。证毕。
根据命题3.1.1和定理3.1.1可得以下结论。
推论3.1.1 设
假设系统
在
处满足
条件,若
是问题
的局部最优解,则对任意的
,存在
和
使得
且(9)式成立。
下面定理刻画了问题
的全局最优性条件。
定理3.1.2 令
假设在
处,系统
满足
条件,若
是问题
的全局最优解当且仅当对任意的
存在
和
使得
且(9)式成立。
证明 由引理3.1.1和(4)式可知,
是问题
的全局最优解当且仅
由于
条件成立,因此上式又等价于
。即对任意的
存在
和
使得
且(9)式成立。证毕。
由命题3.1.1和定理3.1.2可的得下面定理。
定理3.1.3 令
若在
处,系统
满足
条件,则
是问题
的全局最优解必满足:对任意的
,存在
和
使得
且(9)式成立。
3.2. μ0 ≤ 0的情形
当
时,问题
的目标函数
是凸函数,由于凸函数的局部最优解与整体最优解完全一致,因此本节只需考虑问题
的全局最优性条件即可。为方便起见,记
,其中
。
引理3.2.1 [10] 设
是真凸函数,
是真
凸函数,
为真凸函数且在
上是
增函数。若存在点
使得函数
在
处连续,则对任意的
,有
。
故由引理3.2.1作以下定义。
定义3.2.1 若
(10)
成立,则称系统
在
处满足
条件。
注3.2.1 (i) 当
时,
条件转化为文 [6] 中的
条件,即(8)式成立。
(ii) 当
时,
条件分别转化为文 [5] 中的
条件。
(iii) 当
时,
条件一致并转化为文 [11] 中的
条件。
命题3.2.1 设
若系统
在
处满足
条件当且仅当
(11)
证明 设
欲证系统满足
条件与(11)式等价只需证
(12)
由文( [6] ,引理3.1)可得
两边同时加上
从而由(1)式可得(12)式成立。证毕。
命题3.2.2 设
假设在
处系统
满足
条件。若 在
上有连续点,则系统
在
处满足
条件。
证明 假设g在
上有连续点,由于
和g都是凸函数,故结合引理2.1.1有
由
条件可知(11)式成立。从而由命题3.2.1可知
条件成立。证毕。
定理3.2.1 设
假设在
处,系统
满足
条件,则
是问题
的最优解必满足存在
和
使得
且
(13)
证明 由引理3.1.1和(4)式可知,
是问题
的最优解必满足
(14)
由于
条件成立,(14)式等价于
,即存在
和
使得
且(13)式成立。由此可知结论成立。
根据命题3.2.2和定理3.2.1可得以下结论。
推论3.2.1 若
在
上存在连续点,如果在
处,系统
满足
条件,那么
是问题
的最优解当且仅当存在
和
使得
且(13)式成立。
4. 总结
本文主要研究了带复合函数的分式优化问题的最优性条件。在函数不一定是下半连续,集合不一定是闭集的情形下,利用次微分性质,通过寻找新的约束规范性条件,等价刻画了带复合函数的分式优化问题的最优性条件,推广了一般分式优化问题和复合凸优化的相关结果。在现实中很多问题的条件并不是确定的,因此,后续作者将在约束条件不确定和目标函数与约束条件都不确定的条件下,研究带复合函数的分式优化问题的最优性条件。
基金项目
国家自然科学基金项目(11861033)。
NOTES
*通讯作者。