本文研究如下的凸优化问题
其中$X$与$Y$均为局部凸的拓扑向量空间, $K\subseteq Y$为非空闭凸锥, $f : X \rightarrow {\Bbb R}$为凸函数, $g:X\rightarrow Y$为$K$-凸函数.凸优化问题$\mbox{(P)}$的可行集定义为
众所周知, 在过去的几十年里, 此类优化问题模型$(\mbox{P})$已经得到了广泛的深入研究, 如文献[1-8].然而现实生活中, 许多优化问题模型都面临各种不确定性数据的影响, 如交通网络优化问题, 调度问题, 以及网络设计问题等.因此不确定性优化问题 (即问题模型的目标函数或约束函数的取值事先未知) 得到了越来越多学者的重视, 譬如文献[9-16].针对凸优化问题$(\mbox{P})$, 若其约束条件中含有不确定性数据, 则$(\mbox{P})$变为如下的不确定性优化问题
其中$Z$为局部凸的拓扑向量空间. $v\in {\cal V}$为不确定参数并且${\cal V}\subseteq {Z}$为紧凸的不确定集.本文中, 总是假设$f$为连续的凸函数, $g :X\times Z\rightarrow Y$为连续的$K$-凸凹函数, 即对于任意的$v\in {\cal V}$, $g(\cdot, v)$为$K$-凸函数; 对于任意的$x\in X$ $g(x, \cdot)$为$K$-凹函数.
目前处理不确定优化问题的方法很多, 其中鲁棒优化方法为一种常用的方法.因此本文将借助鲁棒优化方法刻划不确定凸优化问题$({\rm UP})$的鲁棒有效解.为此, 本文首先引入$\mbox{(UP)}$的鲁棒对应 (robust counterpart)
我们称鲁棒对应$\mbox{(RUP)}$为鲁棒优化问题.显然, 鲁棒优化问题致力于保证最坏的解 (worst-case solution) 不受不确定性数据对该优化问题的干扰.关于鲁棒优化问题的详细介绍, 详见文献[10].
本文将首先引入一类鲁棒型次微分约束品性, 并得到其存在的充分条件.随后建立此鲁棒型次微分约束品性与不确定凸优化问题$\mbox{(UP)}$的鲁棒最优性条件之间的等价关系.最后将建立不确定性凸优化问题$({\rm UP})$与其对偶问题之间的Wolfe型鲁棒对偶性.
设$X$为局部凸的拓扑向量空间, 其对偶空间定义为$X^*$, 并且对其赋予弱星拓扑$\omega(X^*, X)$.记$\langle x^*, x\rangle=x^*(x)$为连续线性函数$x^*\in X^*$在$x\in X$处的函数值.设$C$为$X$中的非空子集, $C$的闭包和凸包分别定义为$\mbox{cl } C $和$\mbox{co } C $.给定集合$D\subseteq X^*$或$D\subseteq X^*\times {\Bbb R}$, $\mbox{cl } D $代表$D$的弱星闭包.特别的, 非空子集$C\subseteq X$的指示函数$\delta_C:X\rightarrow {\Bbb {R}}\cup\{+\infty\}$定义为
$C$的支撑函数$\sigma_{C}:X^*\rightarrow {\Bbb {R}}\cup\{+\infty\}$定义为$\sigma_{C}(x^*)=\sup_{x\in C}\;\langle x^*, x\rangle.$
给定延拓的实值函数$f:X\rightarrow {\Bbb R}\cup \{+\infty\}$, 其有效域和上图分别定义为
若$\mbox{dom }f\not=\emptyset$, 则称$f$为真函数.若对于任意的$x, y\in X$以及$\alpha\in[0,1]$,
则称$f$为凸函数.若$-f$为凸函数, 则称$f$为凹函数.函数$f$的共轭函数$f^*:X^*\rightarrow {\Bbb R}\cup \{+\infty\}$定义为
显然, 若函数$f$为真的下半连续函数, 则函数$f^*$为真的下半连续函数.
对于任意的$\varepsilon\geq 0, $函数$f$在$\bar{x}\in \mbox{dom }f$处的$\varepsilon$-次微分定义为
若$\bar{x}\not\in \mbox{dom }l$, 则令$\partial_\varepsilon l(\bar{x})=\emptyset$.若$\varepsilon=0$, 则$\partial f(\bar{x}):=\partial_0 f(\bar{x})$退化为经典的次微分, 即
特别的, 由文献[17, 命题2.1]可知
设$Y$为另一局部凸向量空间, 其对偶空间亦定义为$Y^*$, 并且赋予其弱星拓扑$\omega(Y^*, Y)$.假设$K\subseteq Y$为非空闭凸锥.其对偶锥定义为
给定向量值函数$g:X\rightarrow Y$, 若对于任意的$x, y\in X$以及$ \alpha\in [0,1]$, 有
则称$g$为$K$-凸函数.类似的, 若$-g$为$K$-凸函数, 则称$g$为$K$-凹函数.
设$\lambda \in K^*$. $\lambda$与函数$g$的复合$\lambda\circ g$简记为$\lambda g$.显然, 函数$g$为$K$-凸函数当且仅当对于任意的$\lambda \in K^*$, $\lambda g$为凸函数.类似的, 函数$g$为$K$-凹函数当且仅当对于任意的$\lambda \in K^*$, $\lambda g$为凹函数.
引理2.1[3] 设函数$f_1, f_2: X\rightarrow {\Bbb {R}}\cup\{+\infty\}$为满足${\rm dom ~} f_1 \; \cap\;{\rm dom~ } f_2 \not=\emptyset$的真凸函数.
(ⅰ) 若$f_1$和$f_2$均为下半连续函数, 则
(ⅱ) 若$f_1$和$f_2$中至少有一个在$\bar{x}\in {\rm dom ~} f_1 \;\cap\;{\rm dom~ } f_2 $处连续, 则
借助次微分的性质, 本节中将首先引入一类鲁棒型次微分约束品性.随后将建立该鲁棒型次微分约束品性的充分条件.
定义3.1 若对于$x\in {\cal F}$, 有
则称鲁棒型次微分约束品性${\rm (RSCQ)}$在$x\in {\cal F}$处成立.
注3.1 (ⅰ) 设$x\in {\cal F}$.则易证
事实上, 设
则存在$\lambda\in K^*$, $v\in{\cal V}$以及$(\lambda g)(x, v)=0$使得$\alpha\in\partial \left((\lambda g)(\cdot, v)\right)(x).$因此对于任意的$y\in{\cal F}$, 由次微分的定义可得
从而$\alpha\in\partial\delta_{\cal F}(x)$.因此鲁棒型次微分约束品性$\mbox{(RSCQ)}$在$x\in {\cal F}$处成立等价为如下的包含关系
(ⅱ) 若不确定集${\cal V}$为单点集, 则鲁棒型次微分约束品性${\rm (RSCQ)}$退化为次微分约束品性${\rm (SCQ)}$, 即
值得注意的是, 次微分约束品性${\rm (SCQ)}$实际上为文献[3-4]所引入的约束品性${\rm GBCQ_1(0, {\cal A})}$.
下述结论在建立鲁棒型次微分约束品性$\mbox{(RSCQ)}$的充分条件中起着十分重要的作用.
引理3.1[16] 设$f : X\rightarrow {\Bbb {R}}$为连续凸函数, $g: X\times Z\rightarrow Y$为连续的$K$-凸凹函数.若${\cal V}\subseteq Z$并且${\cal F}\not=\emptyset$.则下列结论等价:
(ⅰ) $g(x, v)\in - K, v\in {\cal V}, x\in X$ (i.e., $x\in {\cal F})\Longrightarrow f(x)\geq0$;
(ⅱ) $(0, 0)\in {\rm epi~}f^*+{\rm cl}\Big({\rm co}\bigcup\limits_{v\in {\cal V}, \lambda\in K^*}{\rm ~epi~}\left((\lambda g)(\cdot, v)\right)^*\Big)$.
命题3.1 设$f : X\rightarrow {\Bbb {R}}$为连续凸函数, $g: X\times Z\rightarrow Y$为连续的$K$-凸凹函数.对于$x\in {\cal F}$.若
为凸弱星闭集, 则鲁棒型次微分约束品性${\rm (RSCQ)}$在$x\in {\cal F}$处成立.
证 对于$x\in {\cal F}$.设$\alpha\in \partial\delta_{\cal F}(x)$.令$f(x)=\langle-\alpha, y-x\rangle.$则由$\partial\delta_{\cal F}(x)$的定义, 显然有$f(x)\geq0.$因此由引理3.1以及$\bigcup\limits_{v\in {\cal V}, \lambda\in K^*}{\rm ~epi~}\left((\lambda g)(\cdot, v)\right)^*$为凸弱星闭集可得
又因为
以及
所以存在$v\in {\cal V}$, $\lambda\in K^*$, $\varepsilon\geq0$, $\epsilon\geq0$以及$\beta\in\partial_{\epsilon}((\lambda g)(\cdot, v))(x)$使得
从而$\alpha\in \partial_{\epsilon}((\lambda g)(\cdot, v))(x)$以及$\varepsilon+\epsilon-(\lambda g)(x, v)=0.$又因为$\varepsilon\geq0$, $\epsilon\geq0$以及$-(\lambda g)(x, v)\geq0$, 所以$\epsilon=\varepsilon=(\lambda g)(x, v)=0.$命题得证.
本节中将建立鲁棒型次微分约束品性$\mbox{(RSCQ)}$与不确定凸优化问题$\mbox{(UP)}$的鲁棒最优性条件之间的等价关系.下面首先回顾本节中将要用到的一些重要概念.
定义4.1 不确定凸优化问题$({\rm UP}) $的鲁棒可行集定义为
定义4.2 若$\hat{x}\in {\cal F}$为鲁棒对应${\rm (RUP)}$的最优解, 则称$\hat{x}\in {\cal F}$为不确定凸优化问题${\rm (UP)}$的鲁棒最优解.不确定凸优化问题${\rm (UP)}$的所有鲁棒最优解的全体称为不确定凸优化问题${\rm (UP)}$的鲁棒最优解集, 即
定理4.1 对于不确定优化问题${\rm (UP)}$.设$f :X\rightarrow {\Bbb R}$为连续凸函数, $g :X\times Z\rightarrow Y$为连续函数并且对于任意的$v\in Z$, $g(\cdot, v)$为$K$-凸函数.则下列结论等价:
(ⅰ) 鲁棒型次微分约束品性${\rm (RSCQ)}$在$\bar{x}\in {\cal F}$处成立;
(ⅱ) $\bar{x}$为${\rm (UP)}$的鲁棒最优解当且仅当存在$\bar{v}\in {\cal V}$以及$\bar{\lambda}\in K^*$使得
证 $\mbox{(ⅰ)}\Rightarrow \mbox{(ⅱ)}$:设$\bar{x}$为${\rm (UP)}$的鲁棒最优解.则有
又因为$f$为连续凸函数以及$\delta_{{\cal F}}$为真凸下半连续函数, 所以$ \partial (f+\delta_{{\cal F}})(\bar{x})=\partial f (\bar{x})+\partial \delta_{{\cal F}} (\bar{x}). $从而$ 0\in \partial f (\bar{x})+\partial \delta_{{\cal F}} (\bar{x}). $因此由鲁棒型次微分约束品性${\rm (RSCQ)}$在$\bar{x}\in {\cal F}$处成立可得
即存在$\bar{\lambda}\in K^*$以及$ \bar{v}\in {\cal V}$使得$ 0\in\partial f(\bar{x})+\partial \left(\left(\bar{\lambda} g\right)(\cdot, \bar{v})\right)(\bar{x})$和$ \left(\bar{\lambda} g\right)(\bar{x}, \bar{v})=0. $
反之, 假设存在$\bar{\lambda}\in K^*$和$ \bar{v}\in {\cal V}$使得 (4.1) 和 (4.2) 式成立.则由 (4.1) 式可知, 存在$\eta\in \partial f(\bar{x})$以及$\xi\in \partial \left(\left(\bar{\lambda} g\right)(\cdot, \bar{v})\right)(\bar{x})$, 使得
由$\eta\in \partial f (\bar{x})$和$\xi\in \partial \left(\left(\bar{\lambda} g\right)(\cdot, \bar{v})\right)(\bar{x})$可得对于任意的$ x\in {\cal F}$,
从而对于任意的$ x\in {\cal F}$,
于是由$\left(\bar{\lambda} g\right)(x, \bar{v})\leq0$, $\left(\bar{\lambda} g\right)(\bar{x}, \bar{v})=0$以及 (4.3) 式可知对于任意的$ x\in {\cal F}$,
因此$\bar{x}$为${\rm (UP)}$的鲁棒最优解.
$\mbox{(ⅱ)}\Rightarrow\mbox{(ⅰ)}:$只需证明
事实上, 设$\gamma\in\partial\delta_{\cal F}(\bar{x})$.则对于任意的$x\in {\cal {\cal F}}, $有$\langle\gamma, x-\bar{x}\rangle\leq0. $令$f(x):=-\langle\gamma, x \rangle$.则对于任意的$x\in {\cal F}$,
所以$\bar{x}$为${\rm (UP)}$的鲁棒最优解.因此由$\mbox{(ⅱ)}$可知, 存在$\bar{\lambda}\in K^*$以及$ \bar{v}\in {\cal V}$使得
又因为$\partial f(\bar{x})=\{-\gamma\}$, 所以$\gamma\in \partial \left(\left(\bar{\lambda} g\right)(\cdot, \bar{v})\right)(\bar{x}) $以及$\left (\bar{\lambda} g\right)(\bar{x}, \bar{v})=0.$从而
定理得证.
若定理4.1中不确定集${\cal V}$为单点集, 则有如下结果.
推论4.1 对于问题${\rm (P)}$.若$f :X\rightarrow {\Bbb R}$为连续凸函数, $g :X\rightarrow Y$为连续$K$-凸函数.则下列结论等价:
(ⅰ) 次微分型约束品性${\rm (SCQ)}$在$\bar{x}\in {\cal F}$处成立;
(ⅱ) $\bar{x}$为${\rm (P)}$的最优解当且仅当存在$\bar{\lambda}\in K^*$使得
借助鲁棒优化方法, 本节将首先引入$\mbox{(RUP)}$的Wolfe型鲁棒对偶问题$({\rm OD_W} )$.随后将建立相应的鲁棒弱对偶性以及鲁棒强对偶性.
设$y\in X$以及$\lambda\in K^*$.对于固定的$v\in {\cal V}$, 不确定优化问题$\mbox{(UP)}$的经典Wolfe型对偶问题为
不确定对偶问题$({\rm D_{W}})$的最优对应 (optimistic counterpart) 为如下的确定优化问题
注5.1 若不确定凸优化问题${\rm (UP)}$的鲁棒对应${\rm (RUP)}$的最优值等于其最优对应$({\rm OD_{W}})$的最优值, 并且$({\rm OD_{W}})$可以达到其最优解, 则称不确定优化问题${\rm (UP)}$与其不确定对偶问题$({\rm D_{W}})$之间的鲁棒强对偶成立.
定理5.1 (鲁棒弱对偶) 对于${\rm (RUP)}$的任意可行解$x$以及$({\rm OD_{W}})$的任意可行解$(y, \lambda, v)$, 总有
证 设$(y, \lambda, v)$为$({\rm OD_{W}})$的可行解.则存在$y\in X, $ $ \lambda\in K^*$以及$ v\in {\cal V}$使得
由上式可知存在$\eta\in \partial f(y)$以及$\xi\in \partial \left(\left({\lambda} g\right)(\cdot, {v})\right)(y)$使得$\eta+\xi=0.$进一步的, 由$\eta\in \partial f(y)$可知
因此, 由上式以及$\xi\in \partial \left(\left({\lambda} g\right)(\cdot, {v})\right)(y) $可知
又因为$x$为$({\rm RUP})$的可行解, 所以$g(x, v)\in -K$.从而$\left({\lambda} g\right)({x}, {v})\leq0.$于是$f(x)\geq f(y)+(\lambda g)(y, v).$定理得证.
定理5.2 (鲁棒强对偶) 设$f :X\rightarrow {\Bbb R}$为连续凸函数, $g :X\times Z\rightarrow Y$为连续函数并且对于任意的$v\in Z$, $g(\cdot, v)$为$K$-凸函数.设鲁棒型次微分约束品性${\rm (RSCQ)}$在$\bar{x}\in {\cal F}$处成立.如果$\bar{x}$为${\rm (UP)}$的鲁棒最优解, 则存在$\bar{v}\in {\cal V}$和$\bar{\lambda}\in K^*$使得$(\bar{x}, \bar{\lambda}, \bar{v})$为$({\rm OD_{W}})$的鲁棒最优解.
证 设$\bar{x}$为${\rm (UP)}$的鲁棒最优解.则由定理4.1可知存在$\bar{v}\in {\cal V}$以及$\bar{\lambda}\in K^*$使得
所以$(\bar{x}, \bar{\lambda}, \bar{v})$为$({\rm OD_{W}})$的可行解.于是由鲁棒弱对偶性可知, 对于$({\rm OD_{W}})$的任意可行解$(y, \lambda, v)$,
因此$(\bar{x}, \bar{\lambda}, \bar{v})$为$({\rm OD_{W}})$的鲁棒最优解.定理得证.