江西理工大学基础课教学部，江西 南昌

收稿日期：2022年10月15日；录用日期：2022年11月15日；发布日期：2022年11月24日

摘要

本文研究了改进集下的双层强向量均衡问题，运用改进集的相关结论，并结合拓扑空间知识，通过向量Thikhonov-type正则化过程得到了其解的存在性。这在一定程度上推广和发展了已有文献的结论。

关键词

改进集，双层强向量均衡问题，解的存在性，Thikhonov-Type正则化

The Existence of Bilevel Strong Vector Equilibrium Problem under Improved Set

Wenjun Huang, Lihua Zeng

Teaching Department of Basic Subjects, Jiangxi University of Science and Technology, Nanchang Jiangxi

Received: Oct. 15^th, 2022; accepted: Nov. 15^th, 2022; published: Nov. 24^th, 2022

ABSTRACT

In this paper, we study the bilevel strong vector equilibrium problem under the improved set. By using the relevant conclusions of the improved set and combining the knowledge of topological space, we obtain the existence of its solution through the vector Thikhonov-type regularization process. This extends and develops the conclusions of the previous literature to a certain extent.

Keywords:Improved Set, Bilevel Strong Vector Equilibrium Problem, The Existence of the Solution, Thikhonov-Type Regularization

Copyright © 2022 by author(s) and Hans Publishers Inc.

This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).

http://creativecommons.org/licenses/by/4.0/

1. 引言

均衡问题(也称为广义KyFan极大极小不等式)是优化领域研究中的一个重要组成部分。这一问题的研究历史可追溯到二十世纪七十年代Ky Fan等人对不等式问题的研究，它是由Blum和Oettli [1] 于1994年在有限维的欧几里得空间中正式提出的，随后Ansari [2]，Bianchi，Hadjisavvas和Schaible [3] 以及Oettli [4] 等多名学者将均衡问题推广到向量情形，提出了向量均衡问题。值得注意的是，向量均衡问题包含了向量最优化问题、向量变分不等式问题、向量鞍点问题、极小极大不等式问题以及不动点问题等诸多重要数学问题作为特例。这也就为研究和处理上述重要的数学问题提供了统一且简洁的框架，同时也为研究向量均衡问题提供了强有力的理论动机(参见文献 [5] [6] [7] [8] [9])。

另一方面，经典的数值优化由于目标单一，其最优解通常也是唯一的。与此不同的是向量优化问题，因为它目标是(有限或无限)多个的，所以导致向量优化的解具有多样性。到目前为止，不同的学者从不同的实际应用角度出发，针对向量优化问题，提出了多种解的概念，如：有效解、弱有效解、Benson真有效解、Hening真有效解、全局有效解等。然而最近，Chicco [10] 在有限维空间中用一个新的集合来代替由像空间中诱导出偏序的锥，称之为改进集。它可以将向量优化中的多种有效解概念统一起来，这为处理向量优化问题提供了统一而又简洁的框架。

受以上工作的启发，本文将结合改进集来研究双层强向量均衡问题解的存在性。这在一定程度上推广和发展了已有文献的结论。全文分为四小节，在第2小节给出文中要用到的一些概念和已知结论；第3小节考虑了改进集下双层强向量均衡问题，并得出了其解集的存在性结果；第4小节总结了本文的研究工作以及所获得的结论。

2. 预备知识

定义1 [11] 设 $X,Y$ 是两个拓扑空间，称集值映射 $F:X\to 2^Y$。

1) 在 $x_0\in X$ 点是上半连续的(简写为u.s.c.)，如果对包含 $F\left(x_0\right)$ 的每一开集V，都存在包含 $x_0$ 的开集U，使得 $\forall x\in U$，都有 $F\left(x\right)\subseteq V$ ；

2) 在 $x_0\in X$ 点是下半连续的(简写为l.s.c.)，如果对每一开集V且 $F\left(x_0\right)\cap V\ne \varnothing$，都存在包含 $x_0$ 的开集U，使得 $\forall x\in U$，都有 $F\left(x\right)\cap V\ne \varnothing$ ；

3) 在 $x_0\in X$ 点是闭的，如果对任意的网

$\left\{\left(x_{\alpha },y_{\alpha }\right)\right\}\subseteq graph\left(F\right):=\left\{\left(x,y\right):x\in X,y\in F\left(x\right)\right\}$

且 $\left(x_{\alpha },y_{\alpha }\right)\to \left(x_0,y_0\right)$，则有 $\left(x_0,y_0\right)\in graph\left(F\right)$ 或 $y_0\in F\left(x_0\right)$ ；

4) 在X上是u.s.c.的(相应地，l.s.c.)，如果F在X上的每一点都是u.s.c.的(相应地，l.s.c.)；

5) 在X上是连续的，如果F在X上既是u.s.c.又是l.s.c.的。

引理1 [11] 设 $X,Y$ 是两个拓扑空间， $F:X\to 2^Y$ 是一集值映射。

1) 当Y是Hausdorff拓扑空间时，若F在给定的 $x_0\in X$ 处是u.s.c.的且有紧值(即 $F\left(x_0\right)$ 是紧集)，则F在 $x_0$ 处是闭的；进而，若F在X上是u.s.c.的且有紧值，即F在X上的每一点 $x\in X$ 是u.s.c.的且有紧值，则F在X上是闭的；

2) 对给定的 $x_0\in X$，若 $F\left(x_0\right)$ 是紧的，那么F在 $x_0$ 处是u.s.c.的充要条件是：对任意的网 $\left\{x_{\alpha }\right\}\subseteq X$ 满足 $x_{\alpha }\to x_0$，对任意的网 $\left\{y_{\alpha }\right\}$ 且 $y_{\alpha }\in F\left(x_{\alpha }\right)$，存在某个 $y_0\in F\left(x_0\right)$ 以及 $\left\{y_{\alpha }\right\}$ 的某个子网 $\left\{y_{\beta }\right\}$，使得 $y_{\beta }\to y_0$ ；

3) F在 $x_0\in X$ 点是l.s.c.的充要条件是：对任意的 $y_0\in F\left(x_0\right)$ 和任意的网 $\left\{x_{\alpha }\right\}\subseteq X$ 且 $x_{\alpha }\to x_0$，存在网 $\left\{y_{\alpha }\right\}$，使得 $y_{\alpha }\in F\left(x_{\alpha }\right)$ 且 $y_{\alpha }\to y_0$ ；

4) 如果 $X,Y$ 是两个Hausdorff拓扑线性空间且Y是紧的，F有非空闭值，那么F在X上为u.s.c.的充要条件是F为闭映射。

定义2 [12] 设X和Y是两个实的Hausdorff拓扑线性空间，K是X中的非空子集，C为Y中的非空闭凸锥，称向量值映射 $f:K\to Y$。

1) 在 $x_0\in K$ 处是C-上半连续的(简记为C-u.s.c.)，如果对于Y中零元的任意邻域V，都存在 $x_0$ 的邻域U，使得

$f\left(x\right)\in f\left(x_0\right)+V-C,\forall x\in U\cap K.$

若f在K中的每一点都是C-u.s.c.，则称f在K中是C-u.s.c.；

2) 在 $x_0\in K$ 处是C-下半连续的(简记为C-l.s.c.)，如果对于Y中零元的任意邻域V，都存在 $x_0$ 的邻域U，使得

$f(x)\in f\left(x_0\right)+V+C,\forall x\in U\cap K.$

若f在K中的每一点都是C-l.s.c.，则称f在X中是C-l.s.c.；

3) 如果f在K上既是C-u.s.c.的又是C-l.s.c.的，则称f在K上是C-连续的。

注1由定义易知，f在 $x_0\in K$ 处是C-上半连续的充要条件是-f在 $x_0$ 处是C-下半连续的，进而可知f在K上是C-连续的充要条件是-f在K上是C-连续的。

定义3 [10] 设Z是一实的Hausdorff拓扑线性空间，K是X中的非空子集，C为Y中的非空闭凸锥。

1) 给定集合 $E\subseteq Z$，记 $u\text{\_}comper\left(E\right):=E+C$，并称之为E的上方集。

2) 如果有 $u\text{\_}comper=E$，那么称E是Z中的上全集。

3) 进一步，若上全集E满足 $0\notin E$，则称E是一个改进集。

下面给出几个改进集的引理，这在第三节——主要结果中起到了重要的作用。。

引理2 [12] 假设 $E\subseteq Z$ 是改进集，若 $0\notin cl\left(E\right)\subseteq C$，则有 $int\left(C\right)\subseteq E\subseteq C\backslash 0$。

引理3 [13] 改进集有下述基本性质：

1) $int\left(C\right)+E\subseteq int\left(E\right)$ 且 $int\left(E\right)\ne \varnothing$。进一步， $C+int\left(E\right)\subseteq int\left(E\right)$ ；

2) $int\left(C\right)+cl\left(E\right)\subseteq int\left(E\right)$ ；

3) $C+cl\left(E\right)\subseteq cl\left(E\right)$。

3. 主要结果——改进集下双层强向量均衡问题解的存在性

在本节中，假设 $X,Y,Z$ 是三个实的Hausdorff拓扑线性空间，并用 $int\left(K\right)$ 和 $cl\left(K\right)$ 分别表示一个集合K的内部和闭包。再设A是X中的一个非空闭凸子集，C是Z中的闭凸点锥且内部非空，即 $int\left(C\right)\ne \varnothing$。

考虑下述的双层强向量均衡问题：分别求 $\bar{x}\in S_s$，使得

(BSVEP) $g\left(\bar{x},y\right)\in E,\forall y\in S_s;$

其中 $S_s$ 是下面向量均衡问题的解集：求 $\bar{z}\in A$ 使得

(SVEP) $f\left(\bar{z},z\right)\in E,\forall z\in A;$

当 $Z=R,C=\left[0,+\infty \right),E=\left(0,+\infty \right)$，(BSVEP)退化为双层向量均衡问题：

求 $\bar{x}\in S$，使得

$g\left(\bar{x},y\right)>0,\forall y\in S$

其中 $S=\left\{\bar{z}\in K:f\left(\bar{z},z\right)>0,\forall z\in K\right\}$。

接下来将借助于向量Thikhonov-type正则化过程来考虑双层强向量均衡问题解的存在性。为此，我们引入对应的混合向量均衡问题： $\forall \epsilon >0$，求 ${\bar{x}}_{\epsilon }\in A$，使得

(MSVEP) $f\left({\bar{x}}_{\epsilon },y\right)+\epsilon g\left({\bar{x}}_{\epsilon },y\right)\in E,\forall y\in A$。

定理1假定向量值映射 $f,g:A\times A\to Z$ 满足下列条件：

1) $\forall y\in A,x\to f\left(x,y\right)$ 是C-上半连续的；

2) $\forall x,y\in A,f\left(x,y\right)\in E$ 蕴含着 $f\left(y,x\right)\in -E$ ；

3) $\forall y\in A,x\to g\left(x,y\right)$ 是C-上半连续的；

4) $\forall \epsilon >0$，(MSVEP)有解 ${\bar{x}}_{\epsilon }$。

则 ${\left\{{\bar{x}}_{\epsilon }\right\}}_{\epsilon >0}$ 的每一个聚点 $\bar{x}$ 是(BSVEP)的一个解。

证明：设 $\bar{x}$ 是网 ${\left\{{\bar{x}}_{\epsilon }\right\}}_{\epsilon >0}$ 的一个聚点。 $\forall \epsilon >0$，令 $S_{\epsilon }$ 为(MSVEP)的解集，即

$S_{\epsilon }:=\left\{{\bar{x}}_{\epsilon }\in :f\left({\bar{x}}_{\epsilon },y\right)+\epsilon g\left({\bar{x}}_{\epsilon },y\right)\in E,\forall y\in A\right\}.$

证明过程分成两步来完成。

1) $\forall y\in A$ 有 $f\left(\bar{x},y\right)\in E$，也就是 $\bar{x}\in S_s$。

对任意给定的 $y\in A$，由条件(4)，有 ${\bar{x}}_{\epsilon }\in S_{\epsilon }$，即 ${\bar{x}}_{\epsilon }\in A$ 且

$f\left({\bar{x}}_{\epsilon },y\right)+\epsilon g\left({\bar{x}}_{\epsilon },y\right)\in E.$ (1)

由条件(3)，函数 $g\left(x,y\right)$ 关于x是C-上半连续的。那么对Z中零点的任一平衡邻域V，存在 ${\gamma }_1>0$，$\bar{x}$ 的邻域 $U_1$，使得对任意的 $\epsilon \in \left(0,{\gamma }_1\right)$ 都有 ${\bar{x}}_{\epsilon }\in U_1$ 而且有

$g\left({\bar{x}}_{\epsilon },y\right)\in g\left(\bar{x},y\right)+V-C$

因为 $\epsilon \in \left(0,\gamma \right)$，不难得到 $\epsilon g\left({\bar{x}}_{\epsilon },y\right)\in \epsilon g\left(\bar{x},y\right)+\epsilon V-\epsilon C$。

又因为C是凸锥，有 $\epsilon g\left({\bar{x}}_{\epsilon },y\right)\in \epsilon g\left(\bar{x},y\right)+\epsilon V-C\subseteq V-C$。

结合(1)式，我们有

$f\left({\bar{x}}_{\epsilon },y\right)\in E-\epsilon g\left({\bar{x}}_{\epsilon },y\right)\subseteq E-\epsilon g\left(\bar{x},y\right)-\epsilon V+C\subseteq E-V+C\subseteq E-V.$

再根据f的C-上半连续性，可知对上述的邻域，存在 $y_2>0$，$\bar{x}$ 的邻域 $U_2$，使得对任意的 $\epsilon \in \left[0,{\gamma }_2\right]$ 都有 ${\bar{x}}_{\epsilon }\in U_2$ 而且有

$f\left({\bar{x}}_{\epsilon },y\right)\in f\left(\bar{x},y\right)+V-C.$

那么对上述的邻域，我们令 $V=-C$，存在 $\gamma >0$，$\bar{x}$ 的邻域U，使得对任意的 $\epsilon \in \left[0,\gamma \right]$ 都有 ${\bar{x}}_{\epsilon }\in U$ 而且有

$f\left(\bar{x},y\right)\in f\left({\bar{x}}_{\epsilon },y\right)-V+C\subseteq E-V-V+C.$

注意到V是平衡邻域，C是锥，上式可写成

$f\left(\bar{x},y\right)\in E+V+C\subseteq E+C+C=E.$

这也就表明对给定的 $y\in A$，我们有 $f\left(\bar{x},y\right)\in E$。又由y的任意性，我们得到 $\forall y\in A$ 有 $f\left(\bar{x},y\right)\in E$，也就是 $\bar{x}\in S_s$。

2) 现在我们需要证明 $g\left(\bar{x},y\right)\in E,\forall y\in S_s$，其中 $S_s:=\left\{x\in K:f\left(x,z\right)\in E,\forall z\in A\right\}$。

注意到 ${\bar{x}}_{\epsilon }\in S_{\epsilon }$，又任取一向量 $z\in S_s$，有

$f\left({\bar{x}}_{\epsilon },z\right)+\epsilon g\left({\bar{x}}_{\epsilon },z\right)\in E.$

我们断言对任意的 $y\in S_s$ 都有 $\epsilon g\left({\bar{x}}_{\epsilon },y\right)\in E$。

注意到 ${\bar{x}}_{\epsilon }\in A,z\in S_s$，我们可以得到 $f\left(z,{\bar{x}}_{\epsilon }\right)\in E$。又由条件(2)，可以得到 $f\left({\bar{x}}_{\epsilon },z\right)\in -E$。

因此有

$\epsilon g\left({\bar{x}}_{\epsilon },z\right)\in E-f\left({\bar{x}}_{\epsilon },z\right)\subseteq E-\left(-E\right)\subseteq E+C=E.$

那么对任意的 $y\in S_s$，我们有 $\epsilon g\left({\bar{x}}_{\epsilon },y\right)\in E$。进而我们可以得到

$g\left({\bar{x}}_{\epsilon },y\right)\in E,\forall y\in S_s.$ (2)

接下来我们证明 $g\left(\bar{x},y\right)\in E$，$\forall y\in S_s$。由假设条件向量值映射 $x\to g\left(x,z\right)$ 是C-上半连续的和条件 $\bar{x}$ 是解集 ${\left\{{\bar{x}}_{\epsilon }\right\}}_{\epsilon >0}$ 的一个聚点。那么对任意取定的邻域W，令 $W=-C$，存在Z中的零点开邻域 $\tilde{U}$ 和 ${\epsilon }_0>0$ 使得 $\forall \epsilon <{\epsilon }_0$，我们有

$g\left({\bar{x}}_{\epsilon },z\right)\in g\left(\bar{x},z\right)+W-C.$

结合(2)式，我们有

$g\left(\bar{x},z\right)\in g\left({\bar{x}}_{\epsilon },z\right)-W+C\subseteq E+C+C=E+C=E.$

由此我们得到 $g\left(\bar{x},y\right)\in E$，$\forall y\in S_s$。

综上所述，我们已经证得(MSVEP)解集 ${\left\{{\bar{x}}_{\epsilon }\right\}}_{\epsilon >0}$ 的每一个聚点 $\bar{x}$ 是(BSVEP)的一个解。

下面我们将给出一个例子来说明定理1中的条件(2)是可以满足的：

例1 设 $X=R,Z=R^2,K=\left(0,+\infty \right),E=\left\{\left(x,y\right)\in R^2:x>0,y>0\right\}$。

对任意的 $x,y\in K$，定义向量值映射 $f:K\times K\to Z$ 为 $f\left(x,y\right)=\left(x-y,x\left(x-y\right)\right)$。

我们现在来考虑条件(2)是否成立。首先对任意的 $x,y\in K$ 有 $f\left(x,y\right)\notin -int\left(E\right)$。注意到 $int\left(E\right)=E$，也就是 $f\left(x,y\right)\notin -E$，那么可以知道其解集是 $\left\{\left(x,y\right)\in Z:x>y>0\right\}$。进而我们可以得到 $f\left(y,x\right)=\left(y-x,y\left(y-x\right)\right)\in -E$。故条件(2)成立。

4. 结论与展望

本文介绍了改进集的一些特性，并在此基础上研究了改进集下的双层强向量均衡问题，借助向量Thikhonov-type正则化过程获得了其解的存在性。改进集是一个新兴的研究课题，它可以将向量优化问题的多种有效解概念统一起来，为研究和处理向量优化问题带来极大的方便。可以深入探讨基于改进集的各类向量优化问题。

基金项目

江西省教育厅科学基金项目(GJJ210866、GJJ210827)。

文章引用

黄文君,曾丽华. 改进集下双层强向量均衡问题的存在性
The Existence of Bilevel Strong Vector Equilibrium Problem under Improved Set[J]. 理论数学, 2022, 12(11): 1948-1953. https://doi.org/10.12677/PM.2022.1211210

参考文献