1. 引言
随机规划问题就是通过使用随机变量,在问题中引入不确定性的数学规划问题,最开始是由Dantzing和Ferguson [1] 在研究某航线航班的数量最优化问题中提出的,并在解决问题的过程中,建立了有偿的两阶段随机规划问题。Dai [2] 等人对一类两阶段随机规划问题进行了研究,并将其中的目标函数用其样本均值替代,其研究是将一个随机优化问题转化为一个确定的问题。关于对称锥优化问题,Faybusovich [3] 提出了利用内点法来解决线性对称锥规划问题,并指出了其中涉及到的多项式的复杂性,在此之后,Schmieta和Alizadeh [4] 提出了利用牛顿法对线性对称锥规划问题的KKT系统进行求解。随着对称锥优化问题研究的不断深入,许多问题都可以转化为对称锥优化模型,并可以进行求解,得到比较满意的结果,Lieven [5] 和Klerk [6] 等学者在对称锥优化问题中的半定规划的问题的研究上取得了很多的成果。Bastin [7] 等学者提出了带有等式和不等式约束的随机规划问题:
Bastin等学者利用了蒙特卡罗 [8] 工具来解决这个问题,得到了对应的样本均值近似问题:
其中,
,
。在本文中我们将要研究一类更广泛的随机对称锥
规划问题,考虑如下随机对称锥规划问题:
(p1)
其中,
是决策变量,X是
中的一个非空闭凸集且为这个问题的可行解集,
是定义在概率空间
上的实随机向量。F是
的实值函数,
表示数学期望,
是对称锥,如学者Faraut [9] 文章中所示,对称锥要满足如下条件:
1) K是齐次的,
2) K是自对偶的。
在本文的研究中,我们将对称锥用一个具体的模型表达 [9]:
其中,
是一个具有内积运算的有限维空间;
是一个双线性映射,且满足如下三个条件:对于所有的
,
a)
b)
c)
对于满足上述条件的
,我们称之为欧式Jordan代数。为解决(p1)问题,本文采取样本均值近似方法。对于
的N个独立同分布样本
,(p1)问题相应的样本均值近似问题为:
(p2)
我们将(p1)称为原问题,(p2)称为样本均值近似问题。
接下来我们研究样本均值近似问题的最优值的相容性以及一阶最优性条件的相容性。注意到问题(p1)和(p2)的稳定点条件均可写为下列广义方程的形式:
(p3)
其中,H是向量值函数,N是集值映射。
2. 一阶最优性条件的相容性分析
为研究方便,我们先给出如下假设。
A.0 对于
的抽样是满足独立同分布的。
A.1 对于每一个
,函数
和
在X上是连续可微的。
A.2 对于所有的
和几乎每个
,都有
是有限的,且
都小于等于
,其中
为P-可积函数。
A.3 每个梯度分量
和
是被P-可积函数控制的。
我们用
和
分别表示广义方程(p3)和SAA问题的解集,则我们可以根据 [10] 得到如下结果。
定理1.1:设C为
上的一个紧子集,如果
1) (p1)问题的最优解集为
且
。
2)
在C上是连续实值函数。
3) 当N足够大时,
。
则
当
时成立。
我们假设条件A.0~A.3成立,且对于其中每一个
,
关于
是凸的,对于每一个
来说,映射
是集值映射,并有下列约束条件成立:
根据Shapiro [11] 的研究成果可知,如果
为局部最优解,则存在
,使得
满足:
(1.1)
最优性条件(1.1)也可以写成如下形式:
其中,
P为
上的连续函数。相应地,如果
是问题(p2)的局部最优解,则应存在
且
满足如下条件:
(1.2)
其中,
下面我们建立SAA问题的一阶最优性条件的相容性。
令
定理1.2:X是
中的非空闭凸集,设假设A.0-A.1条件成立,如果有
是
的聚点且存在
的子列
收敛到
。
是
相应的一个Lagrange乘子且当N趋于无穷大时,
收敛到
,则有
,即
为原问题(p1)的稳定点。
证明:由于
,所以
。又因为在A.0-A.3条件下,g和
均为
的连续实值函数且
一致收敛到
,
在X上是连续可微的,不妨设当
时,有
,
。根据 [11] 命题5.1可知,
所以
进而
根据法锥的外半连续性,我们有
这可以得到
即
综上,
以概率1满足原问题的一阶最优性条件。
在定理1.2中,我们假设拉格朗日乘子是有界的,那么如果假设乘子是无界的,也可以通过增加条件得到类似的结果。
定理1.3:X是
中的非空闭凸集,在A.0~A.3的假设下,
是
的聚点。如果
满足SAA问题的一阶最优性条件,则在下列约束规范下,
有界且我们有
以概率1满足原问题的一阶最优性条件。
证明:假设
无界,不妨设
时,
,
。
在(1.2)式两侧同时乘
得
令
可得
由
,可知
,这与假设矛盾,所以
有界,所以不妨设
,接下来的证明同定理1.2。
3. 最优值的相容性分析
下面我们对(p1)和(p2)问题的最优值进行相容性分析。设
和
分别为(p1)和(p2)问题的最优值,我们给出如下定理。
定理2.1:在定理1.1假设的前提下,
为
的一个子集,令
是SAA问题的可行集,Z为原问题的可行集,满足:
(1) 如果
并且
,其中
,
(2) 对于某个点
,存在一个序列
使得
,
那么
,当
时。
证明:假设
,因为
为紧集,不妨假设
。因为
,有
。又条件(2)成立,所以
。根据 [11] 中命题5.1,有
并且
.
另一方面,由条件(3)得,存在一个序列
收敛到一个
。因此当
时,
因为
,所以当
,有
。
4. 结论
本文利用样本均值近似方法来对随机对称锥规划问题的相容性进行分析,建立了随机对称锥规划问题的样本均值近似问题的一阶最优性条件的相容性理论和最优值相容性理论。我们在Shapiro介绍的随机广义方程样本均值近似问题相容性的基础上,给出了我们的结论,并在一定约束规范条件下,建立了随机对称锥规划问题的一阶最优性条件的相容性理论。