1. 引言
概率约束优化方法在众多实际领域取得了广泛应用,其影响力遍及计算机科学、通信网络、网络优化、能源管理等多个行业。例如,在航空和铁路调度中,概率约束优化可以帮助制定调度计划,考虑到天气变化、设备故障等不确定性因素。为了应对约束条件中的不确定因素,一种合理的策略是确保所有约束在给定的高概率水平上得到满足。接下来,我们考虑如下的概率约束优化问题[1]:
(JCCP)
设x是l维的决策随机向量,
,
是支撑
的k维随机向量,
。其中,
和
是实值函数并且对于
,函数
和
关于x都是凸连续可微的,设集合
表示问题(JCCP)的可行集。
设
,
。从而,问题(JCCP)就可以改写为如下形式:
(P)
为了方便记法,将问题(P)改写为:
(1.1)
其中,
。
我们可以看到在处理问题(JCCP)时,求取特征函数的光滑近似函数至关重要。由于特征函数本身具有非光滑性质,因此,寻找特征函数的光滑近似函数成为研究该问题的重点。本文基于双曲正切函数,构建特征函数
的光滑近似函数。与sigmoid函数进行比较,sigmoid函数因其连续性和单调性在光滑近似中得到了广泛应用。通过分析,我们发现双曲正切近似函数在以下方面表现出了优势:
1) 收敛速度:与sigmoid函数相比,双曲正切函数在迭代初期就能更快地接近真实特征函数,从而加快了整体优化过程的收敛速度。
2) 灵活性:双曲正切函数的参数调整更为灵活,使得其在适应不同类型的概率约束优化问题时具有更高的适应性。
Figure 1. Image of the characteristic function
图1. 特征函数
的图像
Figure 2. Image of function
图2. 函数
的图像
2. 特征函数
的光滑近似函数
定义1 [2]令
是一个非负的实值函数,
满足以下两个条件:
1) 函数
是一光滑函数,其中
是一个参数;
2)
。
则称函数
是
的一个光滑近似函数。
本文主要构建有如下性质的特征函数
,
的光滑近似函数。
命题1 [3]当
时,假设函数
有如下性质:
对于任意
,
,且
。
当
时,
关于t单调递减;当
时,
关于t单调递增;
关于z是单调递增的。
关于z是无穷阶连续可微的。
下面讨论满足上述性质的特征函数
,
的光滑近似函数,及其构造方法。
例1 考虑函数
由图1、图2可知,当
时,
是特征函数
,
的一个光滑近似函数。
Figure 3. Image of the hyperbolic tangent function
图3. 双曲正切函数
的图像
构造满足上述性质的函数:
设函数
,
,这是我们常见的双曲正切函数,由双曲正切函数的性质和图3可知
。引入t,
,有
。对式子整体加1,可得,
。对式子整体乘以
,得
。设函数
。
验证函数
是否满足上述性质:
第1条:由上述构造方法可知,对于任意
,
;且当
可得
。
第2条:判断当
时,是否有
成立。
当
时,
。
当
时,
。
第3条:判断当
时,
是否关于t单调递减;当
时,
是否关于t单调递增。
.
首先,我们将计算
关于t的偏导数。计算得到
关于t的导数为:
.
接下来,我们需要分析这个导数的符号。当
时,由于
,我们可以得到分子
总是正的,分母
也总是正的,因此,导数
总是负的,即当
时,
是否关于t单调递减。同理可得,当
时,
是否关于t单调递增。
第4条:判断
关于z是否是单调递增的。
首先,我们需要计算函数
关于z的导数,计算得到函数
关于z的导数为:
。
接下来,我们需要分析这个导数的符号。由于
,我们可以看到分母
总是正的,分子
也总是正的。因此,导数
总是正的,即
关于z是单调递增的。
第5条:判断
关于z是否是无穷阶连续可微的。
要判断
是否关于z是无穷阶连续可微的,我们需要考虑其组成部分:指数函数
和
。由于指数函数
对于所有实数x都是无穷阶连续可微的,且
是由指数函数的组合构成的(通过加法、减法、乘法和除法),因此
也是无穷阶连续可微的。
综上,
是特征函数
,
的一个光滑近似函数。
3. 问题(P)的等价问题
设
,并且有
。从而我们可以建立问题(P)的近似问题[1]:
(
)
接下来,为了证明问题(P)与问题(
)等价,给出以下假设:
假设1 集合X是
的紧致凸子集,并且随机变量
的支撑集
是
闭子集。对于任意的
,函数
和
,
,关于
都是凸连续可微的,其中D是集合X一个有界的开集。
假设2 对于
,函数
都是可测的,并且
对于几乎所有的
都是连续的。
假设3 对于任意
,集合
的P测度为零,即
几乎必然成立。
定理1 [4]:若假设1~3成立。那么,对于任何
和
,有
成立,即问题(P)与问题(
)等价。
证明:令
,由例1和Lebsgue收敛定理可知,
从而,问题(P)与问题(
)等价。