1. 引言
众所周知,许多重要的实际问题,如通信网络、产品设计、统计与财务等数学模型可以表示为如下概率约束优化问题。
,(SCCP)
其中x是d维的决策随机向量,
是支撑
上的k维随机向量,并且
,
,
,
。
表示问题(SCCP)的可行集。在问题(SCCP)中,要求约束被满足的概率至少为
。
为了简便记法,将问题(SCCP)改写成如下形式:
(P)
其中,
。
由于问题(P)通常是非凸和非光滑的[1],解决这类问题一般比较困难,一种有效的方法就是寻找特征函数的近似函数[2],具有代表性的近似函数有:二次近似[3],D.C.近似[4],和光滑近似[5]等。本文构造了一个特征函数的光滑D.C.近似函数,并建立了问题 (P)的等价近似问题。
2. 光滑函数
当
时,考虑函数:
和
,
定义函数:
从图1和图2可以看出,当t足够小时,
是特征函数
的一个光滑近似。
Figure1.Characteristic function
图1.特征函数
Figure2.Function
(t= 0.1,t= 0.01,t= 0.001)
图2.函数
(t= 0.1,t= 0.01,t= 0.001)
下述命题刻画了函数
的性质。
命题1对于
函数
具有以下性质:
是关于z的D.C.函数。
在定义域内单调递增。
当
时,
在t中是单调递减的,当
时,
在t中是单调递增的。
是关于z的无穷阶连续可微的。
证明(1) 很容易证明
和
是x中的凸函数。
函数
关于z的一阶导为:
关于z的二阶导为:
当
,分子
是正的且分母
也为正,因此
总是非负的,
是z中的凸函数。类似的
也是z中的凸函数。显然
是关于z的D.C.函数。
(2) 函数
关于z的微分函数。
由于
是递增的,所以
,同时分母
也大于0,
大于0,
在定义域内单调递增。
(3) 关于t的微分函数
,有
由于
单调递减,
总是小于0,分母
恒大于0。当
时,
,
在t中是单调递减的,当
时,
,
在t中是单调递增的。
(4) 我们知道
是关于z的无穷阶连续可微的,因此
也是关于z的无穷阶连续可微的,故
是关于z的无穷阶连续可微的。类似的,
也是关于z的无穷阶连续可微函数。
是关于z的无穷阶连续可微的。
定理1对于
时,对任意
,
,且当对任意
,
。
证明对
,
由命题1(2)可知,
在定义域内单调递增。
当
时,
故
。
当
时,
故
。
因此,对任意
,
。
对
,当
时,
当
时,
因此,
,
。
3. 问题(P)的光滑近
令
,
考虑如下问题
(
)
为了证明问题(
)和问题(P)的等价性,给出如下假设。
假设1集合
是凸紧集,
的支撑集
包含于
且是闭集,
,
,
,关于
都是连续可微且是凸的,其中O是一个有界开集,且
。
假设2函数
是Carathoédory函数,即:对于每一个
,
都是可测的,且
对于几乎每一个
都是连续的。
假设3
,集合
的概率测度为0,即
。
下述问题描述了问题(
)和问题(P)的等价性。
定理2假设1~假设3均成立,则对任意的t趋于0,问题(
)和问题(P)是等价的。
证明由假设1~假设3和定理1可知,
时,
;当
时,
。
令
,可得
即
。
因此问题(
)和问题(P)等价。
基金项目
辽宁师范大学本科生科研训练项目(项目编号:CX202302014)。