1. 引言
变分不等式已成为当今非线性分析的重要组成部分,也是最优化理论领域内研究的热点之一。其中单调混合变分不等式是一类非常重要的变分不等式。其在管理学、交通运输等方面都有很多的应用,具体可以参考 [1] [2] [3] [4] 。Wu和Huang [5] [6] [7] 在巴拿赫空间中引入了广义f投影算子。这种投影算子可以作为研究混合变分不等式的一个有效的工具。Lescarret [8] 和Browder [9] 结合众多应用考虑带有非线性项的混合变分不等式,混合变分不等式是一般的变分不等式的一个有用且重要的推广。本文主要研究在算子单调情况下的单调混合变分不等式的解的存在唯一性及其解集的性质。
2. 预备知识
定义1.1 H为一实希尔伯特空间,K为H上的一非空闭凸集,
为一真凸下半连续泛函,
连续,寻找
,使得
.
其中
是单调,该变分不等式称为单调混合变分不等式。
定义1.2 映射
被定义为
这里的
为任意正实数,
为一真凸下半连续泛函,集值映射
称为f投影算子,如果
.
容易得到对于任意的
,
关于y是凸下半连续的。对于任意的
,
关于x是连续的。
根据Wu和Huang [5] [6] [7] 在巴拿赫空间中引入的广义f投影算子的一些性质我们容易得到在希尔伯特空间中的f投影算子有如下性质
定理1.3 1) 对于任意的
,
。
2) 对于任意的
,
为闭凸集。
3) 对于任意的
,
当且仅当
4) f投影算子
是单值的。
5)
是连续的并且
,
有
。
3. 主要内容
我们利用类似于研究单调变分不等式的方法得出了单调混合变分不等式的解集同样为凸集,在此之前我们先证明单调混合变分不等式问题等价于如下变分不等式问题。
定理2.1单调混合变分不等式问题等价于如下变分不等式问题寻找
使得
证明:由定理1.3易知该变分不等式和单调混合变分不等式的解一定在K上。若
为单调混合变分不等式的解,则有
由T单调,则有
故而此时x为后面一个变分不等式的解。若
为后面一个变分不等式的解,则对于任意的
有
此时有
两边同时除以t我们可以得到
令
,由T的连续性我们有
故而此时x为单调混合变分不等式的解。
我们利用上面的结论证明单调混合变分不等式解集为凸集。
定理2.2 若单调混合变分不等式解存在,则解集为凸集。
证明:由定理2.1我们只用证明如下集合为凸集。
若对于任意的
及任意的
故而S为凸集,故而单调混合变分不等式的解集为凸集。
同样,类似于单调变分不等式,我们可以得出单调混合变分不等式当算子为严格单调时,若解存在,则解一定唯一。
定理2.3 若单调混合变分不等式的解存在,且T为严格单调的,则解唯一。
证明:若不然存在不相同的
都为单调混合变分不等式的解。则对于任意的
有
第一个式子y取
,第二个式子y取
我们可以得到
两式相加有
由于T单调,故而有
再由T严格单调可知
,矛盾,故而单调混合变分不等式解唯一。
利用Banach压缩映像原理,我们可以得到如下单调混合变分不等式解的唯一性条件。
定理2.4 若单调混合变分不等式中,映射
是李普希兹的,李普希兹常数为L,且还为
强单调的,泛函
是真凸下半连续的。则当
时,MMVI有解且解唯一。其中
证明:由定理1.3单调混合变分不等式有解意味着
存在不动点。
对于任意的
。并且可知
为非空的且为单值的。可得
我们可以得到
由巴拿赫压缩映像原理可知映射
不动点存在且唯一,故而单调混合变分不等式有解且唯一。
巴拿赫压缩映像原理说明存在唯一性的好处在于,由此我们可以直接得到一种计算变分不等式解的算法。
算法2.1给定
,迭代序列由
产生。