一类参数变分系统解映射的静态性质

Calmness of Solution Mapping for a Class of Parametric Variational Systems

摘要: 本文在有限维欧几里得空间中讨论了一类参数变分系统解映射的稳定性性质。不同于借助Fréchet上导数和图导数来讨论静态性质充分条件的方法，本文利用度量正则性的导数准则以及现代变分分析技术给出了关于此类参数变分系统在给定点具有静态性质新的充分条件。

Abstract: This paper discusses the stability properties of parametric variational systems in a finite dimen-sional Euclidean space. Unlike the method of using Fréchet derivatives and graph derivatives to discuss the sufficient conditions for calmness, this paper uses derivative criteria for metric regu-larity and modern variational analysis techniques to provide new sufficient conditions for such parametric variational systems to have calmness at a given point.

1. 引言

参数变分系统解映射适定性的研究已被公认为变分理论及其应用中的一个基本问题，它包括：类Lipschitz性质、度量正则性、静态性质、度量次正则性等，其核心问题是研究广义方程

$0\in f\left(x\right)+Q(\; x\; )$

(其中f，Q为Banach空间之间的映射，且f为单值的，Q为集值的)及其在扰动参数发生扰动时的局部灵敏性。当 $Q\left(x\right)$ 为凸集C生成的法锥时，则广义方程问题归结为经典的变分不等式问题，即

求 $x\in C$ ，使得 $\langle f\left(x\right),u-x\rangle \ge 0,\forall u\in C$

特别地，当C为非负象限 ${ℝ}^n$ 时，问题便转化为经典的互补问题。在非线性规划问题中，广义方程形式包含了满足一阶最优必要条件Lagrange乘子的最优解集，其扰动下的广义参数方程形式

$0\in f\left(p,x\right)+Q\left(p,x\right),$

(其中p为扰动参数)可以描述驻点和Karush-Kuhn-Tucher (KKT)点的扰动集合。因此，基于广义方程提供的参数扰动下最优解灵敏性分析的模型，适定性的研究对集值分析、优化理论及其应用发展便显得尤为关键，其中静态性质的研究具有非常重要的作用。静态性质的概念，最早由Clarke [1] 为研究特定的优化问题而引入的，发展到今天，静态性质在广义方程的灵敏性分析、变分不等式、必要的最优条件等方面起到了关键性的作用，大量的学者对静态性质都做了许多相关的研究 [2] - [10] 。本文中，主要研究参数变分系统解映射

$S\left(p\right):=\left\{x\in {ℝ}^n|0\in F\left(p,x\right)\right\}$ (1.1)

的静态性质，其中，P为度量空间， $p\in P$ 为参向量， $F:P\times {ℝ}^n\rightrightarrows {ℝ}^m$ 为集值映射。

文献 [7] ，Chuong等人在Asplund空间中，借助Fréchet上导数构造了关键正则假设，给出了参向量优化问题有效解映射在给定点具有静态性质的充分条件。不同于 [7] 中的Fréchet上导数的角度，文献 [8] 在一般的Banach空间中，从图导数的有界性的角度得到了在给定点具有静态性质的新的充分条件。在文献 [11] 中，Dontchev等人在有限维欧几里得空间中，研究了集值映射度量正则性的导数准则。借助这一导数准则，本文在有限维欧几里得空间中考虑问题，利用现代变分技术以及极限上导数工具给出关于此类参数变分系统在给定点具有静态性质新的充分条件。

2. 预备知识

文本文中，使用的变分分析的标准符号，参见Rockafellar [2] 和Mordukhovich [12] 的著作。向量x的范数表示为 $\Vert x\Vert$ ，向量x与y的内积表示为 $\langle x,y\rangle$ 。 $\mathbb{B}$ 表示欧几里得空间中的单位球。用 ${\mathbb{B}}_{\delta }\left(x\right)$ 表示以x为心以 $\delta$ 为半径的闭球，其中 $\delta \in \left(0,+\infty \right)$ 。用 $e\left(A,B\right)$ 表示集合A相对于非空集合B的余量，即 $e\left(A,B\right):=\sup \left\{d\left(x,B\right):x\in A\right\}$ ，我们约定当 $A=\varnothing$ 时， $e\left(A,B\right):=0$ 。用 ${\delta }_A$ 表示A的指示函数，即

${\delta }_A\left(x\right)=\{\begin{array}{l}0x\in A.\hfill \\ +\infty x\notin A.\hfill \end{array}$

定义2.1称集值映射 $H:{ℝ}^n\rightrightarrows {ℝ}^m$ 在给定点 $\left(\bar{x},\bar{u}\right)\in gphH$ 具有静态性质，如果存在一常数 $\kappa >0$ ， $\bar{x}$ 的邻域U和 $\bar{u}$ 的邻域V满足

$H\left(x\right)\cap V\subseteq H\left(\bar{x}\right)+\kappa \Vert x-\bar{x}\Vert \mathbb{B},\forall x\in U,$

常数 $\kappa$ 称之为静态系数。

集值映射 $H:{ℝ}^n\rightrightarrows {ℝ}^m$ 的图和定义域分别定义为 $gphH:=\left\{\left(x,u\right):u\in H\left(x\right)\right\}$ ， $domH:=\left\{x:H\left(x\right)\ne \varnothing \right\}$ 。称 $gphH$ 在点 $\left(x,y\right)$ 处是局部闭的，若存在 $\left(x,y\right)$ 的邻域U，使得 $gphH\cap U$ 为闭集。设 $x\in A$ ，我们用 $T_A\left(x\right)$ 表示A在x处的切锥，定义为

$T_A\left(x\right):=\left\{w:\exists t_k\downarrow 0,\left\{w_k\right\}\subset {ℝ}^n\text{,}满足w_k\to w,且x+t_k{w}_k\in A\forall k\right\}.$

称 $T_A\left(x\right)$ 的极锥 ${\hat{N}}_A\left(x\right)$ 为正则法锥。我们用 $N_A\left(x\right)$ 表示A在x处的极限法锥，定义为

$N_A\left(x\right):=\left\{v:\exists x_k\to x,v_k\to v,满足x_k\in A,且v_k\in {\hat{N}}_A\left(x\right)\forall k\right\}$ .

称S是正齐次的，若对任意的 $x,\lambda >0$ ，都有 $0\in H\left(0\right)$ 且 $H\left(\lambda x\right)=\lambda H\left(x\right)$ 即 $gphH$ 为一锥。若H为正齐次映射，定义H的外范数和内范数 [11] 分别为

${\Vert H\Vert }^{+}:=\underset{x\in \mathbb{B}}{\sup }\underset{u\in H\left(x\right)}{\sup }\Vert u\Vert =\inf \left\{\kappa >0|y\in H\left(x\right)\Rightarrow \Vert y\Vert \le \kappa \Vert x\Vert \right\}.$

${\Vert H\Vert }^{-}:=\underset{x\in \mathbb{B}}{\sup }\underset{u\in H\left(x\right)}{\inf }\Vert u\Vert =\inf \left\{\kappa >0|H\left(x\right)\cap \kappa \mathbb{B}\ne \varnothing \forall x\in \mathbb{B}\right\}.$

定义2.2设集值映射 $H:{ℝ}^n\rightrightarrows {ℝ}^m$ ，H在点 $\left(\bar{x},\bar{u}\right)\in gphH$ 处的图导数 $DH\left(\bar{x}|\bar{u}\right):{ℝ}^n\rightrightarrows {ℝ}^m$ 在定义为

$z\in DH\left(\bar{x}|\bar{u}\right)\left(v\right)\iff \left(v,z\right)\in T_{gphH}\left(\bar{x},\bar{u}\right).$

定义2.3设集值映射 $H:{ℝ}^n\rightrightarrows {ℝ}^m$ ，点 $\bar{x}\in domH$ 的。H在 $\bar{x}$ 点关于 $\bar{u}\in S\left(\bar{x}\right)$ 的Fréchet上导数 ${\hat{D}}^{*}H\left(\bar{x}|\bar{u}\right):{ℝ}^m\rightrightarrows {ℝ}^n$ 在定义为

$x^{*}\in {\hat{D}}^{*}H\left(\bar{x}|\bar{u}\right)\left(u^{*}\right)\iff \left(x^{*},-u^{*}\right)\in {\hat{N}}_{gphH}\left(\bar{x},\bar{u}\right),$

极限上导数 $D^{*}H\left(\bar{x}|\bar{u}\right):{ℝ}^m\rightrightarrows {ℝ}^n$ 定义为

$x^{*}\in D^{*}H\left(\bar{x}|\bar{u}\right)\left(u^{*}\right)\iff \left(x^{*},-u^{*}\right)\in N_{gphH}\left(\bar{x},\bar{u}\right).$

引理2.1 [14] (Ekelassnd变分原理)设E为完备度量空间且 $f:E\to ℝ\cup \left\{+\infty \right\}$ 为正常下半连续广义实值函数。若 $\epsilon >0$ 和 $\bar{x}\in E$ 满足

$d\left(\bar{x}\right)\le \underset{x\in E}{\inf }f\left(x\right)+\epsilon .$

则对任意的 $\lambda >0$ ，都存在 $x\in E$ 使得

(i) $d\left(x,\bar{x}\right)\le \lambda$ ；

(ii) $f\left(x\right)\le f\left(\bar{x}\right)$ ；

(iii) $f\left(x\right)<f\left(u\right)+\frac{\epsilon }{\lambda }d\left(u,x\right),\forall u\in E\backslash \left\{x\right\}$ 。

定义2.4给定点 $\left(\bar{x},\bar{u}\right)\in gphH$ ，如果存在常数 $\kappa >0$ ， $\bar{x}$ 的邻域U和 $\bar{u}$ 的邻域V，使得

$d\left(x,H^{-1}\left(u\right)\right)\le \kappa d\left(u,H\left(x\right)\right),\forall x\in U,u\in V,$

则称H在点 $\left(\bar{x},\bar{u}\right)$ 处是度量正则的，称满足上式的常数 $\kappa$ 的下确界为正则模，记为 $reg\left(H;\bar{x}|\bar{u}\right)$ 。

引理2.2 [11] (度量正则性的导数准则)设集值映射 $G:{ℝ}^n\rightrightarrows {ℝ}^m$ ， $\left(\bar{x},\bar{y}\right)\in gphG$ 且 $gphG$ 在点 $\left(\bar{x},\bar{y}\right)$ 是局部闭的，则

$\underset{\begin{array}{c}\left(x,y\right)\to \left(\bar{x},\bar{y}\right)\\ \left(x,y\right)\in gphG\end{array}}{\lim \sup }{\Vert DG{\left(x|y\right)}^{-1}\Vert }^{-}={\Vert D^{*}G{\left(\bar{x}|\bar{y}\right)}^{-1}\Vert }^{+}.$

定义2.5 [12] 映射 $f:X\to Y$ 在 $\bar{x}$ 处是严格可微的，如果

$\underset{\begin{array}{c}x\to \bar{x}\\ u\to \bar{x}\end{array}}{\lim }\frac{f\left(x\right)-f\left(u\right)-\nabla f\left(\bar{x}\right)\left(x-u\right)}{\Vert x-u\Vert }=0.$

3. 参数变分系统解映射的静态性质

在这部分我们将讨论变分系统(1.1)在其图 $gphS$ 上某点具有静态性质的充分条件。为了方便起见，我们采用符号 $F_p:=F\left(p,\cdot \right),p\in P$ 。

下面引理源自于文献 [8] ，这里做了一些变化：

引理3.1 [8] 设P为度量空间， $p\in P$ 为参向量， $F:P\times {ℝ}^n\rightrightarrows {ℝ}^m$ 为集值映射，考虑点 $\left(\bar{p},\bar{x}\right)\in gphS$ ，假设如下条件成立：

(i) $gph{F}_{\bar{p}}$ 在点 $\left(\bar{x},0\right)$ 附近是局部闭的；

(ii) 存在 $\mathcal{l}>0$ 以及 $\delta >0$ 使得

$F\left(p,x\right)\subseteq F\left(\bar{p},x\right)+\mathcal{l}d\left(p,\bar{p}\right)\mathbb{B},\forall x\in {\mathbb{B}}_{\delta }\left(\bar{x}\right),\forall p\in {\mathbb{B}}_{\delta }\left(\bar{p}\right);$

(iii) 对任意正数c，有 $\underset{\begin{array}{c}\left(x,y\right)\to \left(x,0\right)\\ \left(x,y\right)\in gphF\end{array}}{\lim \sup }{\Vert D{F}_{\bar{p}}{\left(x|y\right)}^{-1}\Vert }^{-}<c$ 。

则存在正数 $\epsilon c<1$ ，集值映射S在点 $\left(\bar{p},\bar{x}\right)$ 处具有静态性质，且静态系数为 $\frac{\mathcal{l}}{\epsilon }$ 。

结合引理2.2以及引理3.1，可以得到此类参数变分系统具有静态性质的充分条件的新的表述。这里，我们不借助上述图导数与极限上导数的等价结果，而是利用现代变分分析技术和极限上导数的定义，给出更为精确的刻画。为此，我们先给出下面的命题。

命题3.1设 $G:{ℝ}^n\rightrightarrows {ℝ}^m$ 为集值映射，考虑点 $\left(\bar{x},\bar{y}\right)\in gphG$ ，假设如下条件成立：

(i) $gphG$ 在点 $\left(\bar{x},\bar{y}\right)$ 附近是局部闭的，

(ii) ${\Vert D^{*}G{\left(\bar{x}|\bar{y}\right)}^{-1}\Vert }^{+}<c<\infty$ 。

则存在 $0<\eta <\frac{1}{4}$ ， $\tilde{c}>\frac{c}{1-4\eta }$ ，对于任意 $\left(x,y\right),\left(x_{\nu },y_{\nu }\right)\in gphG\cap \left({\mathbb{B}}_{\eta }\left(\bar{x}\right)\times {\mathbb{B}}_{\eta }\left(\bar{y}\right)\right)$ 满足 $y_{\nu }\ne y$ ，都有

$\Vert x_{\nu }-x\Vert \le \tilde{c}\Vert y_{\nu }-y\Vert .$

证明：首先，我们证明，存在 $\delta >0$ ，对于任意 $\left(x,y\right)\in gphG\cap \left({\mathbb{B}}_{\delta }\left(\bar{x}\right)\times {\mathbb{B}}_{\delta }\left(\bar{y}\right)\right)$ ，有

$\left(0,v\right)\in {\hat{N}}_{gphG}\left(x,y\right)\Rightarrow v=0.$ (3.1)

反证，假设存在序列 $\left(x_k,y_k\right)\in gphG$ ， $\left(x_k,y_k\right)\to \left(\bar{x},\bar{y}\right)$ 以及 $v_k\in {ℝ}^m$ ，对所有的k， $\Vert v_k\Vert =1$ ，都有 $\left(0,v_k\right)\in {\hat{N}}_{gphG}\left(x_k,y_k\right)$ 。由 $gphG$ 在点 $\left(\bar{x},\bar{y}\right)$ 附近是局部闭的，可得存在 $v\ne 0$ 使得 $\left(0,v\right)\in N_{gphG}\left(\bar{x},\bar{y}\right)$ 。因此存在 $v\ne 0$ 使得 $v\in D^{*}G{\left(\bar{x}|\bar{y}\right)}^{-1}\left(0\right)$ 。又由集值映射的外范数等价定义可得：

${\Vert D^{*}G{\left(\bar{x}|\bar{y}\right)}^{-1}\Vert }^{+}=\inf \left\{\kappa >0|y^{*}\in D^{*}G{\left(\bar{x}|\bar{y}\right)}^{-1}\left(x^{*}\right)\Rightarrow \Vert y^{*}\Vert \le \kappa \Vert x^{*}\Vert \right\}$

代入，可得 $\Vert v\Vert =0$ 与 $v\ne 0$ 矛盾。于是(3.1)式成立。

接下来，我们通过(3.1)式来证明，存在 $\delta >0$ ，对于任意 $\left(x,y\right)\in gphG\cap \left({\mathbb{B}}_{\delta }\left(\bar{x}\right)\times {\mathbb{B}}_{\delta }\left(\bar{y}\right)\right)$ ，都有

$\left(x^{*},-y^{*}\right)\in {\hat{N}}_{gphG}\left(x,y\right)\Rightarrow \Vert y^{*}\Vert \le c\Vert x^{*}\Vert .$ (3.2)

反证，假设存在序列 $\left(x_k,y_k\right)\to \left(\bar{x},\bar{y}\right)$ 使得对于每个k，都存在 $\left(x_k^{*},-y_k^{*}\right)\in {\hat{N}}_{gphG}\left(x_k,y_k\right)$ 满足 $\Vert y_k^{*}\Vert >c\Vert x_k^{*}\Vert$ 。如果存在k使得 $x_k^{*}=0$ ，则由(3.1)可知，相应的 $y_k^{*}=0$ ，与假设矛盾。于是对所有的k， $x_k^{*}\ne 0$ 。

因此，不是一般性，这里假设 $\Vert x_k^{*}\Vert =1$ 。

情形1：如果 $y_k^{*}$ 无界，设u为 $\frac{y_k^{*}}{\Vert y_k^{*}\Vert }$ 的聚点，于是 $\Vert u\Vert =1$ 。因为 $\left(\frac{x_k^{*}}{\Vert y_k^{*}\Vert },-\frac{y_k^{*}}{\Vert y_k^{*}\Vert }\right)\in {\hat{N}}_{gphG}\left(x_k,y_k\right)$ ，所以对

其两端同时取极限，由 $gphG$ 在点 $\left(\bar{x},\bar{y}\right)$ 附近的局部闭性以及正则法锥与极限法锥的定义，可得 $\left(0,-u\right)\in N_{gphG}\left(\bar{x},\bar{y}\right)$ ，于是，由(3.1)可知 $u=0$ 与假设矛盾。

情形2：如果 $y_k^{*}$ 有界，则由假设可得，存在子序列 $\left(x_k^{*},y_k^{*}\right)\to \left(x^{*},y^{*}\right)$ ， $\Vert x^{*}\Vert =1$ ， $\left(x^{*},-y^{*}\right)\in N_{gphG}\left(\bar{x},\bar{y}\right)$ 且 $\Vert y^{*}\Vert \ge c$ 与(ii)矛盾。

因此，对于所有充分接近于点 $\left(\bar{x},\bar{y}\right)$ 的点 $\left(x,y\right)\in gphG$ 都有(3.2)成立。

于是，设 $\left(x^{*},-y^{*}\right)\in {\hat{N}}_{gphG}\left(x,y\right)$ ， $\left(x,y\right)\in gphG\cap \left({\mathbb{B}}_{\delta }\left(\bar{x}\right)\times {\mathbb{B}}_{\delta }\left(\bar{y}\right)\right)$ ，结合(3.2)，对于任意 $\left(x^{\prime },y^{\prime }\right)\in gphG$ 且 $y^{\prime }\ne y$ ，我们有

$\langle y^{*},\frac{y^{\prime }-y}{\Vert y^{\prime }-y\Vert }\rangle \le \Vert y^{*}\Vert \Vert \frac{y^{\prime }-y}{\Vert y^{\prime }-y\Vert }\Vert \le c\Vert x^{*}\Vert .$ (3.3)

最后，我们来证明命题的结论。

反证，令 $0<\eta <\frac{\tilde{c}-c}{4\tilde{c}}<\delta$ ，设对于任意的 $\left(x,y\right)\in gphG\cap \left({\mathbb{B}}_{\eta }\left(\bar{x}\right)\times {\mathbb{B}}_{\eta }\left(\bar{y}\right)\right)$ ，存在

$\left(x_{\nu },y_{\nu }\right)\in gphG\cap \left({\mathbb{B}}_{\eta }\left(\bar{x}\right)\times {\mathbb{B}}_{\eta }\left(\bar{y}\right)\right)$ ， $\left(x_{\nu },y_{\nu }\right)\ne \left(x,y\right)$ ，使得

$\Vert x_{\nu }-x\Vert >\tilde{c}\Vert y_{\nu }-y\Vert :=\lambda .$ (3.4)

于是，我们有 $0<\lambda \le 2\tilde{c}\eta$ 。

定义 $\phi :{ℝ}^n\times {ℝ}^m\to ℝ\cup \left\{+\infty \right\}$ 为

$\phi \left(u,v\right):=\Vert v-y\Vert +{\delta }_{gphG\cap \left({\mathbb{B}}_{\eta }\left(\bar{x}\right)\times {\mathbb{B}}_{\eta }\left(\bar{y}\right)\right)}\left(u,v\right).$

由 $gphG$ 在点 $\left(\bar{x},\bar{y}\right)$ 附近是局部闭性，容易验证 $\phi$ 是下半连续的， $\inf \phi$ 为有限数，且

$\phi \left(x_{\nu },y_{\nu }\right)\le \inf \phi +\frac{\lambda }{\tilde{c}}.$

定义乘积空间 ${ℝ}^n\times {ℝ}^m$ 中的范数为 $h\left(x,y\right):=\Vert x\Vert +\lambda \Vert y\Vert$ ，于是，由Ekeland变分原理可以得到，存在 $\left(\tilde{x},\tilde{y}\right)\in {ℝ}^n\times {ℝ}^m$ 使得

$h\left(\tilde{x}-x_{\nu },\tilde{y}-y_{\nu }\right)\le \frac{c+\tilde{c}}{2}\frac{\lambda }{\tilde{c}},$ (3.5)

$\phi \left(\tilde{x},\tilde{y}\right)\le \phi \left(x_{\nu },y_{\nu }\right),$ (3.6)

${\text{argmin}}_{u,v}\left\{\phi \left(u,v\right)+\frac{2}{c+\tilde{c}}h\left(u-\tilde{x},v-\tilde{y}\right)\right\}=\left\{\left(\tilde{x},\tilde{y}\right)\right\}.$ (3.7)

由(3.6)可知， $\left(\tilde{x},\tilde{y}\right)\in gphG\cap \left({\mathbb{B}}_{\eta }\left(\bar{x}\right)\times {\mathbb{B}}_{\eta }\left(\bar{y}\right)\right)$ ，因此， $\Vert \tilde{y}-y\Vert \le \Vert y_{\nu }-y\Vert$ 。由三角不等式，我们有

$\Vert \tilde{y}-\bar{y}\Vert \le \Vert \tilde{y}-y\Vert +\Vert y-\bar{y}\Vert \le \Vert y_{\nu }-y\Vert +\Vert y-\bar{y}\Vert \le \Vert y_{\nu }-\bar{y}\Vert +2\Vert y-\bar{y}\Vert \le 3\eta .$ (3.8)

由(3.5)，可以得到 $\Vert \tilde{x}-x_{\nu }\Vert \le \frac{c+\tilde{c}}{2}\frac{\lambda }{\tilde{c}}<\lambda \le 2\tilde{c}\eta$ ，由三角不等式，我们有

$\Vert \tilde{x}-\bar{x}\Vert \le \Vert \tilde{x}-x_{\nu }\Vert +\Vert x_{\nu }-\bar{x}\Vert \le \left(2\tilde{c}+1\right)\eta .$ (3.9)

于是，我们有 $\tilde{y}\ne y$ ，事实上，如果 $\tilde{y}=y$ ，则有

$d\left(x_{\nu },G^{-1}\left(y\right)\right)=d\left(x_{\nu },G^{-1}\left(\tilde{y}\right)\right)\le \Vert \tilde{x}-x_{\nu }\Vert <\lambda ,$

与(3.4)矛盾。定义 $\psi \left(u,v\right):=\Vert v-y\Vert +\frac{2}{c+\tilde{c}}\left(\Vert u-\tilde{x}\Vert +\lambda \Vert v-\tilde{y}\Vert \right)$ ，于是由广义费马引理和(3.7)，我们有

$\left(0,0\right)\in \partial \left(\psi +{\delta }_{gphG}\right)\left(\tilde{x},\tilde{y}\right).$ (3.10)

容易验证， $\psi$ 为凸函数， $\psi$ 在 ${\mathbb{B}}^1\times {\mathbb{B}}^2\subseteq {ℝ}^n\times {ℝ}^m$ 上是Lipschitz连续的。且有

$\partial \psi \left(\tilde{x},\tilde{y}\right)=\frac{2}{c+\tilde{c}}{\mathbb{B}}^1\times \left(\frac{\tilde{y}-y}{\Vert \tilde{y}-y\Vert }+\frac{2\lambda }{c+\tilde{c}}{\mathbb{B}}^2\right).$ (3.11)

由Lipschitz函数的次梯度微分和法则，从而(3.10)可以改写为

$\left(0,0\right)\in \partial \psi \left(\tilde{x},\tilde{y}\right)+N_{gphG}\left(\tilde{x},\tilde{y}\right).$

由(3.11)，存在 $\left(z_1,z_2\right)\in {\mathbb{B}}^1\times {\mathbb{B}}^2\subseteq {ℝ}^n\times {ℝ}^m$ ，使得

$\left(x_0^{*},-y_0^{*}\right)\in {\hat{N}}_{gphG}\left(\tilde{x},\tilde{y}\right)\subset N_{gphG}\left(\tilde{x},\tilde{y}\right),$

其中 $x_0^{*}=\frac{2}{c+\tilde{c}}{z}_1$ ， $y_0^{*}=-\frac{\tilde{y}-y}{\Vert \tilde{y}-y\Vert }-\frac{2\lambda }{c+\tilde{c}}{z}_2$ 。

因为， $\left(\tilde{x},\tilde{y}\right),\left(x,y\right)\in gphG$ 且 $\tilde{y}\ne y$ ，所以，我们设

$w:=\frac{y-\tilde{y}}{\Vert y-\tilde{y}\Vert },\Vert w\Vert =1.$

于是，我们有

$\begin{array}{c}\langle y_0^{*},w\rangle -c\Vert x_0^{*}\Vert =\langle -\frac{\tilde{y}-y}{\Vert \tilde{y}-y\Vert }-\frac{2\lambda }{c+\tilde{c}}{z}_2,w\rangle -\frac{2c}{c+\tilde{c}}\Vert z_1\Vert \\ =1-\frac{2\lambda }{c+\tilde{c}}\langle z_2,w\rangle -\frac{2c}{c+\tilde{c}}\Vert z_1\Vert \\ \ge 1-\frac{2\lambda }{c+\tilde{c}}-\frac{2c}{c+\tilde{c}}\\ \ge 1-\frac{4\tilde{c}\eta +2c}{c+\tilde{c}}\\ >0,\end{array}$

与(3.3)矛盾，于是，对于任意 $\left(x,y\right),\left(x_{\nu },y_{\nu }\right)\in gphG\cap \left({\mathbb{B}}_{\eta }\left(\bar{x}\right)\times ({\mathbb{B}}_{\eta }\left(\bar{y}\right)\right)$ 满足 $y_{\nu }\ne y$ ，都有

$\Vert x_{\nu }-x\Vert \le \tilde{c}\Vert y_{\nu }-y\Vert .$

命题3.1证闭。

接下来，我们给出此类参数变分系统具有静态性质的充分条件。

定理3.1设P为度量空间， $p\in P$ 为参向量， $F:P\times {ℝ}^n\rightrightarrows {ℝ}^m$ 为集值映射，考虑点 $\left(\bar{p},\bar{x}\right)\in gphS$ ，假设如下条件成立：

(i) $gph{F}_{\bar{p}}$ 在点 $\left(\bar{x},0\right)$ 附近是局部闭的，

(ii) 存在 $\mathcal{l}>0$ ， $0<\delta <\frac{1}{4}$ 使得

$F\left(p,x\right)\subseteq F\left(\bar{p},x\right)+\mathcal{l}d\left(p,\bar{p}\right)\mathbb{B},\forall x\in {\mathbb{B}}_{\delta }\left(\bar{x}\right),\forall p\in {\mathbb{B}}_{\delta }\left(\bar{p}\right);$ (3.12)

(iii) ${\Vert D^{*}{F}_{\bar{p}}{\left(\bar{x}|\bar{y}\right)}^{-1}\Vert }^{+}<c<\infty$ 。

则对于任意的 $\tilde{c}>\frac{c}{1-4\delta }$ ，集值映射S在点 $\left(\bar{p},\bar{x}\right)$ 处具有静态性质，且静态系数为 $\mathcal{l}\tilde{c}$ 。

证明：下面我们证明

$S\left(p\right)\cap {\mathbb{B}}_{\delta }\left(\bar{x}\right)\subset S\left(\bar{p}\right)+\mathcal{l}\tilde{c}d\left(p,\bar{p}\right)\mathbb{B},\forall d\left(p,\bar{p}\right)<\delta .$ (3.13)

设任意 $p\in P$ 满足 $d\left(p,\bar{p}\right)<\delta$ ，任意 $x\in S\left(p\right)\cap {\mathbb{B}}_{\delta }\left(\bar{x}\right)$ ，则 $p\in {\mathbb{B}}_{\delta }\left(\bar{p}\right)$ ， $x\in {\mathbb{B}}_{\delta }\left(\bar{x}\right)$ ， $0\in F\left(p,x\right)$ 。

于是，要证(3.13)，只需要证明，对 $x\in S\left(p\right)\cap {\mathbb{B}}_{\delta }\left(\bar{x}\right)$ ，存在 $\hat{x}\in S\left(\bar{p}\right)$ 使得

$\Vert \hat{x}-x\Vert \le \mathcal{l}\tilde{c}d\left(p,\bar{p}\right).$ (3.14)

由(3.12)可知，存在 $y\in F_{\bar{p}}\left(x\right)\cap {\mathbb{B}}_{\delta }\left(0\right)$ 使得

$\Vert y\Vert \le \mathcal{l}d\left(p,\bar{p}\right).$ (3.15)

情形1：当 $y=0$ 时，则 $0\in F\left(\bar{p},x\right)$ ，对于上述任意x，都有 $x\in S\left(\bar{p}\right)$ ，于是，存在 $\hat{x}=x\in S\left(\bar{p}\right)$ ，使得(3.14)成立。

情形2：当 $y\ne 0$ 时，取 $\hat{x}=\bar{x}$ ，于是 $\left(\bar{x},0\right),\left(x,y\right)\in gph{F}_{\bar{p}}\cap \left({\mathbb{B}}_{\delta }\left(\bar{x}\right)\times {\mathbb{B}}_{\delta }\left(0\right)\right)$ ，由命题3.1可得

$\Vert \bar{x}-x\Vert \le \tilde{c}\Vert y-0\Vert .$ (3.16)

结合(3.15)，从而(3.14)成立

定理3.1证闭。

注：文献 [13] 中指出：当G为有限维Hilbert空间之间的集值映射，且 $gphG$ 在参考点 $\left(\bar{x},\bar{y}\right)$ 是局部

闭的时，有 $\underset{\begin{array}{c}\left(x,y\right)\to \left(\bar{x},\bar{y}\right)\\ \left(x,y\right)\in gphG\end{array}}{\lim \sup }{\Vert DG{\left(x|y\right)}^{-1}\Vert }^{-}<\infty$ 等价于G在点 $\left(\bar{x},\bar{y}\right)$ 处是度量正则的。因此，结合定理3.1，我们可以从度量正则性的角度出发，得到如下推论。

推论3.1设P为度量空间， $p\in P$ 为参向量， $F:P\times {ℝ}^n\rightrightarrows {ℝ}^m$ 为集值映射，考虑点 $\left(\bar{p},\bar{x}\right)\in gphS$ ，假设如下条件成立：

(i) $gph{F}_{\bar{p}}$ 在点 $\left(\bar{x},0\right)$ 附近是局部闭的；

(ii) 存在 $\mathcal{l}>0$ 以及 $\delta >0$ 使得

$F\left(p,x\right)\subseteq F\left(\bar{p},x\right)+\mathcal{l}d\left(p,\bar{p}\right)\mathbb{B},\forall x\in {\mathbb{B}}_{\delta }\left(\bar{x}\right),\forall p\in {\mathbb{B}}_{\delta }\left(\bar{p}\right);$

(iii) $F_{\bar{p}}$ 在点 $\left(\bar{x},0\right)$ 处是度量正则的，正则系数为 $\kappa >reg\left(F_{\bar{p}};\bar{x}|0\right)$ 。

则集值映射S在点 $\left(\bar{p},\bar{x}\right)$ 处具有静态性质，且静态系数为 $\mathcal{l}\kappa$ 。

证明：由文献 [13] 以及定理3.1，直接可以得到。

推论3.1证闭。

下面，我们讨论一种具体特殊结构的参数变分系统在参考点具有静态性质的充分条件。它在优化问题中有着重要作用 [7] 。

考虑 $F\left(p,x\right)=f\left(p,x\right)+H\left(p\right)$ ，于是，参数变分系统(1.1)可以表示为

$S\left(p\right)=\left\{x\in {ℝ}^n|0\in f\left(p,x\right)+H\left(p\right)\right\}.$ (3.17)

其中 $f:P\times {ℝ}^n\to {ℝ}^m$ 为向量映射， $H:P\rightrightarrows {ℝ}^m$ 为集值映射。给出以下两个条件：

(a) f在点 $\left(\bar{p},\bar{x}\right)$ 处严格可微；

(b) H在点 $\bar{p}$ 处是局部上Lipschitz的。

注意到，由条件(a)：f在点 $\left(\bar{p},\bar{x}\right)$ 处严格可微，可知f在点 $\left(\bar{p},\bar{x}\right)$ 附近是局部Lipschitz的，即，存在 $\left(\bar{p},\bar{x}\right)$ 的邻域 $U_{px}=U_p\times U_x$ 和常数 ${\kappa }_1\ge 0$ ，满足

$\Vert f\left(p,x\right)-f\left(\tilde{p},\tilde{x}\right)\Vert \le {\kappa }_{1}d\left(\left(p,x\right),\left(\tilde{p},\tilde{x}\right)\right),\forall p,\tilde{p}\in U_p,\forall x,\tilde{x}\in U_x$

特别地，取 $\tilde{p}=\bar{p},\tilde{x}=x$ ，我们有

$\Vert f\left(p,x\right)-f\left(\bar{p},x\right)\Vert \le {\kappa }_{1}d\left(p,\tilde{p}\right),\forall p\in U_p,\forall x\in U_x$ (3.18)

由(3.18)我们得到 $f\left(p,x\right)-f\left(\bar{p},x\right)\in {\kappa }_{1}d\left(p,\bar{p}\right)\mathbb{B},\forall p\in U_p,\forall x\in U_x$ ，即

$f\left(p,x\right)\in f\left(\bar{p},x\right)+{\kappa }_{1}d\left(p,\bar{p}\right)\mathbb{B},\forall p\in U_p,\forall x\in U_x.$ (3.19)

由条件(b)可以得到，存在 ${\kappa }_2,\gamma >0$ ，对于任意的 $p\in {\mathbb{B}}_{\gamma }\left(\bar{p}\right)$ ，都有

$H\left(p\right)\subset H\left(\bar{p}\right)+{\kappa }_{2}d\left(p,\bar{p}\right)\mathbb{B}.$ (3.20)

结合(3.19)，(3.20)，我们可以得到

$f\left(p,x\right)+H\left(p\right)\subset f\left(\bar{p},x\right)+H\left(\bar{p}\right)+\left({\kappa }_1+{\kappa }_2\right)d\left(p,\bar{p}\right)\mathbb{B},\forall x\in U_x,\forall p\in U_p\cap {\mathbb{B}}_{\gamma }\left(\bar{p}\right)$ ，即

$F\left(p,x\right)\subset F\left(\bar{p},x\right)+\left({\kappa }_1+{\kappa }_2\right)d\left(p,\bar{p}\right)\mathbb{B}.$ (3.21)

于是，选取合适的 $\delta >0$ 使得 ${\mathbb{B}}_{\delta }\left(\bar{x}\right)\subset U_x$ ， ${\mathbb{B}}_{\delta }\left(\bar{p}\right)\subset U_p\cap {\mathbb{B}}_{\gamma }\left(\bar{p}\right)$ ，以及 $\mathcal{l}\ge {\kappa }_1+{\kappa }_2$ ，便可以得到(3.12)的结果。于是条件(a)，(b)蕴含定理3.1中的条件(ii)。从而，可以给出具有这种特殊结构的参数变分系统在参考点具有静态性质的充分条件。

推论3.2设P为度量空间， $p\in P$ 为参向量， $F:P\times {ℝ}^n\rightrightarrows {ℝ}^m$ 为集值映射，且 $F\left(p,x\right)=f\left(p,x\right)+H\left(p\right)$ ，考虑点 $\left(\bar{p},\bar{x}\right)\in gphS$ ，假设条件(a)，(b)成立，并且如下条件也成立：

(i) $gph{F}_{\bar{p}}$ 在点 $\left(\bar{x},0\right)$ 附近是局部闭的；

(ii) ${\Vert D^{*}{F}_{\bar{p}}{\left(\bar{x}|\bar{y}\right)}^{-1}\Vert }^{+}<c<\infty$ 。

则对于任意的 $\tilde{c}>\frac{c}{1-4\delta }$ ，集值映射S在点 $\left(\bar{p},\bar{x}\right)$ 处具有静态性质，且静态系数为 $\mathcal{l}\tilde{c}$ 。

证明：由条件(a)，(b)蕴含定理3.1中的条件(ii)，因此，根据定理3.1的结论直接可以推出S在点 $\left(\bar{p},\bar{x}\right)$ 处具有静态性质。

推论3.2证闭。