1. 引言和预备知识
求解变分不等式问题一直是学者们研究的热点课题之一,在文献 [2] 中作者已经成功的应用最经典的互补函数
来求解了带约束的变分不等式。文献 [3] 中,又给我们介绍了四类新的NCP函数,并给出了应用这几类NCP函数来求解带约束的变分不等式问题的方法。本文将采用其中的一类NCP函数
来求解该问题。
定义1:函数
称为Fischer-Burmeister (FB)函数,如果满足下面的条件:
(1)
其中
,此函数在(0,0)点是不光滑的,作为一个互补函数,广泛的应用于处理非线性互补问题和锥约束变分不等式问题 [4] - [10] ,如下函数被称为广义FB函数:
(2)
其中
,
,当
时,就是特殊的FB函数 [11] 。很多学者已经研究了基于广义FB函数的非线性互补问题的几个NCP函数,并应用到于互补问题 [12] [13] 。众所周知函数(1)和(2)在(0,0)点是不可微的。这给我们在数值实验中带来了不便。如下函数是由FB函数变形得到的,本文采用该函数求解变分不等式问题:
(3)
现在我们给出变分不等式问题的定义。令
是
维欧式空间,其内积定义为:
范数为:
设
为
维欧式空间
中的非空闭凸集,映射
,
为线性函数,
为二次连续可微凸函数,则变分不等式(VI)问题:
求
,使
,
(4)
其中可行集为:
(5)
变分不等式(VI)问题与其它数学规划有着密切的联系:
1) 如果
取为
中的开集,VI为广义方程组,即:
2) 假设
的梯度
为对称阵,此时VI (4)~(5)对应于凸规划的KKT条件是:
(6)
其中
,
,
,
,当
是凸连续二次可微函数,问题(6)等价于以下VI问题:
求
,使
其中集合
可表示为:
自从VI问题被提出来以后,其数值解的研究发展也非常迅速,学者们已经提出了许多有效的算法来解决经典变分不等式和互补问题,其中包括投影法、内点法、非光滑方程组法、光滑方程组法和价值函数法等 [11] [14] [15] 。本文通过利用
函数将非线性互补问题转化成一个非线性方程组
来求解,采用了基于NCP函数的光滑牛顿算法。
2. KKT条件的方程重构
变分不等式问题(4)~(5)的KKT条件是:
(7)
应用NCP函数(3),从而VI等价于下述的KKT方程组:
(8)
其中
,
是VI的拉格朗日函数,如果
是光滑方程组(8)的解,
是变分不等式问题(4)~(5)的KKT点。因此,我们的目标是获得平滑方程组(8)的数值解。对于
,
,
的雅可比矩阵如下 [3] [16] :
(9)
根据(9),我们可以推出
的形式。
定理1:令
被定义的映射(8),设
,
是任意给定的点,
我们计算出
的Jacobian矩阵如下:
其中
(10)
现在我们研究Jacobian矩阵
在点
处的非奇异性。
定理2:设
为任意给定的点,且
如果
(a) 梯度
是线性无关的。
(b)
在梯度
的零空间内是正定的。
那么,Jacobian矩阵
是非奇异的。
证明:由定理1,
是非奇异的当且仅当下面的矩阵是非奇异的,即
是奇异的,因此,我们只要证明出
是非奇异的。设
是
的零空间内的任意一个向量。
(11)
我们只要证明
,
和
即可,由(11),我们可以得到如下三个式子:
(12)
(13)
(14)
由公式(13),可以推出
´ (12),可以得到
(15)
´ (14),可以得到
(16)
由定理1中
定义可知,
是半负定的,我们可以得到:
由于
,我们计算式子(15)的右半部分
之后,我们可以得到:
由假设条件(b)可得:
(17)
因此,(12)和(14)分别成为:
(18)
和
(19)
对于任意的
,通过(19)式不难得到
和
。令
,(18)式等价于下面的式子:
其中
(20)
根据假设条件(a)和(18),不难得到:
证明完毕。
3. 光滑牛顿算法
下面我们来研究一种光滑算法,用于求解方程组(18),并标明该算法定义明确。令
表示所有非负正数的合集。对于任意点
,
,除非另有说明,否则我们总是在本文中使用以下符号:
算法1
Step1:任意选取常数
,与
。取
,故
。
令
,
,
与
。
Step2:如果
,则终止计算,否则,令
。
Step3:求解下述方程组得到
(21)
其中
表示在点
处的函数
的雅可比矩阵。
Step4:设
是满足下述不等式的最小的非负整数
(22)
计算
Step5:置
,转到步1。
接下来我们考虑算法1的适定性及收敛性。
备注1
根据定理2,我们知道
对于任意的
是非奇异的,故方程(21)的解存在且唯一,从而算法1的步2是适定的。
备注2
下面证明步3的适定性,即有限终止。
(23)
上式表明对于所有的
,
,通过备注1,我们知道当
时,
是非奇异的,因此,(21)对于所有
是可解的。另一方面,令
(24)
由
的一致连续性知,对于
,有
,故对所有的
及
,有
(25)
由(24)式知能找到
,使得对所有
及
,有
(26)
成立,这就证明了步3的有限终止性,证明完毕。
(a) 由(23)式不难看出序列
是单调递减的,这也暗示着序列
是单调递减的。
(b) 设
与
。实际上,对于所有的
,
,由于
(c) 结合式(23)与备注2的(4),可以得到
因此,序列
是单调递减的。
4. 数值实验
本节给出一个数值例子来验证算法1的有效性。我们的数值实验是应用Matlab软件进行计算。
算例1:我们考虑下面的变分不等式问题:找到
满足
其中
是
正定矩阵,
和
分别是
和
维矩阵。
是一个
维向量,
和
分别是
和
维向量,并且
。
我们确定常数如下:
和
的元素是从间隔[1,2]中随机选择的,
的主对角线元素取[1,2],其他元素取[0,1]。为了满足定理2的条件,我们设
是满秩的,并且
。每个问题实例由算法1使用初始点求解,其中元素从间隔[0,1]中随机生成。在实现中,我们在方法中使用以下参数:
数值结果总结在表1中,其中n,l,Iter和Time分别表示变量的数量,
的行向量的数量,迭代次数和CPU运行时间。
Table 1. System resulting data of example 1
表1. 例1的数据结果
上述实验计算的是
时的结果,和文献 [2] 中应用
函数求解的同一个变分不等式的结果相比较,显然,本文应用
的算法迭代次数更少,收敛速度更快一些。
5. 总结
本文中,我们使用了一种新的NCP函数求解了变分不等式问题,在此函数的帮助下,我们将变分不等式问题的KKT条件转化成一个方程组问题,并且在严格互补的条件下证明了映射
的Jacobian矩阵的非奇异性,在此建立了求解NCP函数非线性互补问题的一个光滑化牛顿法,获得算法的收敛性和局部收敛性结果,并给出数值实验结果验证理论分析的准确性。
基金项目
国家自然科学基金(11301348);航空基金(2014ZE54023)。