1. 引言
二阶锥规划作为数学规划领域的一个重要问题,具有广泛的应用价值和实际意义,这个问题可以应用到金融、对策论、经济学等众多领域。学者们已经对二阶锥规划进行了广泛深入的研究,Gu [1] 利用非线性规划问题分析了提出的非线性Lagrange函数的性质,建立了非凸二阶锥规划的重新尺度化方法的理论框架。Fang [2] 分析了二阶锥规划的中心路径条件,定义了中心路径的一个宽领域,并给出二阶锥规划问题的一个宽领域原始–对偶路径跟踪内点算法。Lu [3] 讨论了基于空间分解的随机二阶锥规划问题的样本均值近似方法,并基于分解理论给出了SAA问题的超线性收敛算法框架。Ren [4] 探讨了两阶段随机二阶锥规划问题的最优性条件,并给出了具有离散分布的两阶段随机二阶锥规划问题的最优性条件。本文的研究目的是利用样本均值近似方法对随机二阶锥规划的最优解集以及稳定点条件进行相容性分析。
本文我们考虑如下形式的二阶锥规划问题:
(1.1)
其中S是
上的一个非空闭凸集,
为
上的二阶锥,
和
是两个实值连续函数,
是一个定义在概率空间
上的实值随机向量,
是期望,
,
。
而在实际中,通常取
的独立同分布的样本
,则问题(1)的样本均值近似问题为:
(1.2)
其中
,
,
。
我们将问题(1.1)称为真问题,问题(1.2)称为样本均值近似(SAA)问题。
接下来,我们研究它们最优解集的相容性以及稳定点的相容性。
2. 最优解集的相容性
首先让我们给出一些概念:
在下面的命题中我们给出一个关于当
时,
的一个收敛结论。
命题2.1对于
,
,
行满秩,则
w.p.1。
证明:假设
是SAA问题的可行解,则
(2.1)
假设
,则有,
(2.2)
则
外半连续收敛到
,即
(2.3)
对于
,
,
行满秩,所以存在
满足
,且
,因此由
任意性,
(2.4)
综上所述,
。
接下来,受到 [5] 的启示,我们得到如下定理:
定理2.1 假设对于每一个N,
是SAA问题的最优解,
是序列
的聚点,如果命题2.1的条件成立且
有限,则
以概率1是真问题(1.1)的最优解。
证明:因为
有限,则
,且
上图收敛于
(根据 [6],定理7.31),则意味着
w.p.1. (2.5)
除此之外,
意味着
,则存在
使
是有限的,那么我们可以得到
(2.6)
根据命题1.1,当N足够大时,
w.p.1且存在
w.p.1使得
是有限的。那么我们由(2.5)和(2.6)能够得到
(2.7)
因此是真问题(1.1)的最优解.
3. 稳定点的相容性
在本节我们将研究二阶锥规划问题的SAA稳定点的相容性。
首先给出真问题(1.1)的Lagrange函数:
(3.1)
记
是问题(1.1)的KKT点,则
满足如下KKT条件:
(3.2)
则称
是真问题(1.1)的一个稳定点。其中
。
下面给出随机二阶锥规划问题的Robinson约束规范和一阶最优性条件:
· Robinson约束规范:
(3.3)
·
满足一阶最优性条件:
(3.4)
满足一阶最优性条件当且仅当
满足下列广义方程:
(3.5)
其中
假设
满足SAA问题的最优性条件,则
满足下列广义方程:
(3.6)
接下来,我们做出如下假设:
假设1. 样本
是独立同分布的。
假设2. 对于几乎每一个
,
在S上是连续可微的。
假设3. 对于所有
和几乎每一个
,
,其中
是P-可积函数。
在假设1~3都满足的情况下,根据 [7] 我们能得到如下定理:
定理3.1 设S是
中的紧子集,使
,假设
时,
,
,则
w.p.1.
现在我们建立随机二阶锥规划问题的SAA稳定点的相容性。
定理3.2 若假设1~3都成立,
是独立同分布的,
是SAA问题(1.2)的一个稳定点,
是
的聚点,则一定存在
的子列
收敛到
,
是关于
的Lagrange乘子,
如果有一个极限点
,则
以概率为1是真问题(1.1)的一个稳定点。
证明:由于
是SAA问题的一个稳定点,因此有
(3.7)
其中
,
。
由一致大数定律知,当
时,w.p.1,
(3.8)
因此w.p.1,
(3.9)
又因为G是实值连续函数,所以有w.p.1,
(3.10)
于是当
时,
,
,
。
w.p.1.
然后根据法锥的外半连续性,有
(3.11)
所以
(3.12)
其中
因此
是真问题(1.1)的稳定点。
定理3.3 若假设1~3都成立,
是独立同分布的,
是SAA问题(1.2)的一个稳定点,
是
的聚点,
是关于
的Lagrange乘子,则在Robinson约束规范(3.3)下,
以概率为1是真问题(1.1)的稳定点。
证明:不妨设
,由于
是SAA问题的一个稳定点,则
满足KKT条件,即
(3.13)
不妨假设
无界,即
,
。
又因为
且
,在(3.13)两端同时乘以
得
(3.14)
(3.15)
令
,则
(3.16)
(3.17)
由Robinson约束规范得
,与
矛盾, 故
有界。不妨设
,则由定理3.2,
以概率为1是真问题(1.1)的稳定点。证毕。
4. 结论
本文基于样本均值近似的方法分析了随机二阶锥规划问题样本均值近似问题的相容性,建立了随机二阶锥规划问题的样本均值近似问题的最优解集以及稳定点的相容性理论。我们在随机二阶锥规划问题的Robinson约束规范和一阶最优性条件、以及真问题和SAA问题的随机广义方程的基础上,证明了随机二阶锥规划问题的样本均值近似问题的最优解集以及稳定点的相容性。