1. 引言
1.1. 研究背景
变分不等式是优化理论和非线性分析中的重要课题。1933年,Signorini [1]在研究线性弹性体和刚性体的无摩擦问题时,首次导出了变分不等式问题。1966年,Stampacchia等[2]首次在有限维空间中提出了第一个变分不等式,称为Hartman-Stampacchia变分不等式,该形式的变分不等式是指:寻找
,满足
其中
是一个映射,
是
空间上的非空闭凸子集。此后经众多学者的研究、拓展、创新和延伸,变分不等式进一步发展。
向量变分不等式作为变分不等式的重要分支,其概念始于1980年,Giannessi [3]在有限维欧式空间首次引入:设
是
中的非空闭凸子集,
为连续向量值映射,
是
中闭凸锥,找到
使得
其中
是锥
的内部。此后,大量学者对向量变分不等式开展了广泛而深入的研究。
向量变分不等式解的存在性是所研究的基本问题之一。1992年,Chen [4]在凸假设下研究了向量变分不等式解的存在性,并对一类特殊的向量变分不等式,在不考虑凸性的假设条件下,得到了向量变分不等式解的存在性。2001年,Chen等学者[5]研究了在凸锥拟函数假设下的两种广义向量变分不等式,利用非标准化方法和不动点定理,得到了向量变分不等式的存在性。2005年,Li等学者[6]研究了一类具有广义向量变分不等式解的存在性。
向量变分不等式不仅在理论层面丰富了变分不等式与多目标优化之间的联系,更为复杂系统中的冲突目标建模提供了统一框架。通过引入锥偏序结构,向量变分不等式能够自然刻画多个目标函数之间不可比的偏好关系,尤其适用于多目标决策、非合作博弈与资源调度等问题,具体参见[7]-[9]。在多目标优化与决策分析问题中,决策者往往需要权衡多个相互冲突的目标,如成本最小化、效率最大化、公平性等。向量变分不等式可通过引入偏序关系,将多目标优化问题转化为向量变分不等式,从而寻找非支配解。博弈论与均衡问题中,常涉及多个决策者的策略交互。向量变分不等式可用于描述多主体竞争或协作下的均衡状态,如在交通网络均衡问题汇中不同出行者的路径选择行为如何影响整体拥堵。
1.2. 本文主要工作
本文的主要工作是证明向量变分不等式的存在性,并给出向量变分不等式该性质实际应用。
第一章介绍了向量变分不等式及其存在性的研究背景。
第二章给出本文用到的常用符号,基本概念和引理。
第三章以两个定理的形式介绍向量变分不等式在不同条件下的存在性。
第四章介绍了向量变分不等式在车辆资源调度问题的实际应用。
2. 预备知识
在本文中
表示有限维的欧几里得向量空间,
表示
空间上的范数,
是
中的非空闭凸子集,
的内部和凸包分别用
和
表示,“
”表示强收敛,
表示
的双线性映射。
定义2.2 [10]:设
是向量空间
中的集合,如果满足
则称集合
为锥。
定义2.3 [10]:若给定一个集合
,则所有包含
的凸集的交集称为集合
的凸包,记作
,等价地表示为
即
中所有有限凸组合生成的集合。
此外,我们回顾将用于证明向量变分不等式存在性的重要结果:KKM原理。
引理2.4 [11]:设
是Hausdorff拓扑向量空间
中的非空子集,若
是一个集值映射且满足如下条件:
是一个KKM映射,即对于任意
,其凸包
;
对任意
,
是在
上的闭集;
对某些
,
是
上的紧集。
则
。
3. 向量变分不等式解的存在性
设
是
中的非空闭凸子集,
为连续向量值映射,
是
中闭凸锥。本文考虑如下形式的经典向量变分不等式(VVI):找到
使得
(1)
下面给出关于该向量变分不等式的存在性证明。
定理3.1:设
是
中的非空闭凸有界子集,
为连续向量值映射,
是
中具有非空内部的闭凸锥,则存在
是VVI的一个解。
证明:考虑集值映射
定义如下
(2)
我们利用KKM原理证明解的存在性。
首先证明对于任意
,其凸包
。我们采用反证法证明,假设存在
但
。因此
可表示为
那么
而
,由(2)可知
由
的凸性可知
为凸,则
与
矛盾,因此条件成立。
其次证明对
,
是在
上的闭集,即对于
上任意收敛序列
满足
时
,有
。由
,
,
而根据向量值映射
及内积的连续性,当
时下式成立
由于
是具有非空内部的闭凸锥,可说明
是开集,若
,则存在
使得对
时,
与
矛盾,故
,即
,因此条件成立。
此外,
是有界集,故
是有界集,同时
是闭集,因此
是紧集。
最后,由引理2.5可知
即存在
,使得
因此向量变分不等式VVI的解存在。
定理3.2:设
是
中的非空闭凸子集,
为连续向量值映射,
是
中具有非空内部的闭凸锥,若存在
满足强制性条件,即存在
,使得对任意
当
时有
,则存在
是VVI的一个解。
证明:对于任意正数
,定义有界闭凸子集:
则由定理3.1可知在每一个
上,存在一个解
,使得
(3)
下面说明解序列
有界,我们利用反证法,假设当
时
,因此存在
,当
时,由强制性条件可知,存在
满足
而
,令
,代入(3)有
推出矛盾,故解序列
有界。因此存在一个子列,我们同样记作
,它满足
,其中
,接着证明该极限点
是VVI的解,即证明
对任意的
,定义
,即
为
在
上的投影,使得
。因为
,令
,代入(3)有
由
,
以及
的连续性可推断
得证。
4. 向量变分不等式的应用
在大型城市地铁系统中,不同线路之间共享部分轨道或换乘站点,这对车辆调度存在很大挑战,往往需要在多个目标之间进行平衡与协调。其中出行效率与能源消耗是比较重要的一环,可将其作为需优化的两个目标。因此,我们在理想假设下进行理论建模,旨在抽象出调度系统中的目标冲突与资源约束结构,从而利用向量变分不等式理论进行解的存在性分析与均衡性刻画。
令
表示地铁系统中每条线路在高峰期每小时的发车频率,其中
表示第
条线路在高峰期每小时安排的发车次数,即调度频率。由于每条线路调度能力有限,故存在发车频率上限
,同时,总系统负荷不超出阈值
,线路会受容量限制约束。因此可设置可行集为
其中
表示第
条线路单位频率所需的资源负荷指标,
反映线路间换乘站及区域共线情况,
表示该换乘区域的最大调度负载能力。
考虑两个调度优化目标:首先是乘客通勤时间目标函数
;假设乘客平均等待时间和拥挤度随发车频率
减小,用下列凸函数近似模拟其效率损失:
其中
表示第
条线路乘客流量规模,
表示存在换乘关系的线路,
表示线路不同步时引起的换乘延误代价。其次是系统总能量消耗目标函数
,假设单位调度消耗能量
,则
于是构造向量目标函数
定义如下
综合上述形式,我们需要找到一个最优调度
,使得
该最优调度即为向量变分不等式的解。而在此问题中,我们所做假设均满足定理3.1的条件,因此存在一个最优调度
。